#BEGIN: [Thu Aug 31 00:39:59 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen020x020.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen020x020_04_0961.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen020x020.col /benchmark/2022benchmark/benchmark/queen/queen020x020_04_0961.dat
c /benchmark/2022benchmark/benchmark/queen/queen020x020.col
c /benchmark/2022benchmark/benchmark/queen/queen020x020_04_0961.dat
TIMEOUT 1800
c send SIGTERM to CID 2c2d8dab1cb7fdbb7567031b6fbf7cbf3633378f8317d05109a89d43a525e590
s 9 344 68 107 138 303 362 146 179 216 193 52 321 397 260 285 234 270 91
t 31 237 285 344 362 179 321 86 72 108 138 394 260 147 303 270 49 193 16
a YES
a 9 52 68 91 107 138 146 179 193 216 234 260 270 285 303 321 344 362 397
a 9 52 68 91 107 138 146 179 193 216 234 260 270 285 315 321 344 362 397
a 9 35 52 68 91 107 138 146 179 193 216 234 260 270 285 321 344 362 397
a 9 35 52 63 91 107 138 146 179 193 216 234 260 270 285 321 344 362 397
a 9 35 52 91 107 138 146 179 193 216 234 260 270 285 303 321 344 362 397
a 9 35 52 68 91 107 138 146 179 193 216 234 260 270 285 303 321 362 397
a 9 35 52 68 107 138 146 179 193 216 234 260 270 285 303 321 351 362 397
a 9 35 52 68 97 107 138 146 179 193 216 234 260 270 285 303 321 351 362
a 9 35 52 68 97 107 138 146 179 193 216 234 270 285 303 321 351 362 400
a 9 52 68 97 107 138 146 179 193 216 234 244 270 285 303 321 351 362 400
a 9 52 68 97 107 138 146 179 193 216 234 244 270 285 303 321 351 362 395
a 29 52 68 97 107 138 146 179 193 216 234 244 270 285 303 321 351 362 395
a 1 29 52 68 97 107 138 146 179 193 216 234 244 270 285 303 351 362 395
a 1 29 52 68 97 107 138 146 179 193 234 244 270 285 303 336 351 362 395
a 1 29 52 68 97 107 140 146 179 193 234 244 270 285 303 336 351 362 395
a 1 29 52 68 97 107 140 146 193 219 234 244 270 285 303 336 351 362 395
a 1 29 52 68 97 107 138 146 193 219 234 244 270 285 303 336 351 362 395
a 1 29 52 68 97 107 138 146 193 219 234 244 280 285 303 336 351 362 395
a 1 29 52 68 97 107 138 146 179 193 234 244 280 285 303 336 351 362 395
a 1 29 52 68 97 107 138 146 179 193 216 234 244 280 285 303 351 362 395
a 1 29 52 68 97 107 138 146 179 193 216 244 280 285 303 334 351 362 395
a 1 29 52 68 97 107 138 146 179 193 216 244 270 285 303 334 351 362 395
a 1 29 52 68 97 107 138 146 179 216 240 244 270 285 303 334 351 362 395
a 1 29 52 68 97 107 138 146 179 196 240 244 270 285 303 334 351 362 395
a 1 29 52 68 97 107 138 146 179 193 240 244 270 285 303 334 351 362 395
a 1 29 52 68 97 107 138 179 193 216 240 244 270 285 303 334 351 362 395
a 1 29 52 68 97 107 138 179 193 216 226 244 270 285 303 334 351 362 395
a 1 29 52 68 97 120 138 179 193 216 226 244 270 285 303 334 351 362 395
a 1 29 68 97 120 138 147 179 193 216 226 244 270 285 303 334 351 362 395
a 1 29 72 97 120 138 147 179 193 216 226 244 270 285 303 334 351 362 395
a 1 29 72 97 108 138 147 179 193 216 226 244 270 285 303 334 351 362 395
a 1 49 72 97 108 138 147 179 193 216 226 244 270 285 303 334 351 362 395
a 1 31 49 72 97 108 138 147 179 193 216 226 244 270 285 303 334 362 395
a 1 31 49 72 97 108 138 147 179 193 216 226 260 270 285 303 334 362 395
a 1 31 49 72 108 138 147 179 193 216 226 260 270 285 303 334 344 362 395
a 1 31 49 72 86 108 138 147 179 193 216 260 270 285 303 334 344 362 395
a 1 31 49 72 86 108 138 147 179 193 237 260 270 285 303 334 344 362 395
a 16 31 49 72 86 108 138 147 179 193 237 260 270 285 303 334 344 362 395
a 16 31 49 72 86 108 138 147 179 193 237 260 270 285 303 321 344 362 395
a 16 31 49 72 86 108 138 147 179 193 237 260 270 285 303 321 344 362 394
c Step: 39
#END: [Thu Aug 31 01:09:59 2023]