#BEGIN: [Thu Aug 31 11:33:11 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen040x040.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen040x040_03_7037.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/queen/queen040x040.col /benchmark/2022benchmark/benchmark/queen/queen040x040_03_7037.dat
c /benchmark/2022benchmark/benchmark/queen/queen040x040.col
c /benchmark/2022benchmark/benchmark/queen/queen040x040_03_7037.dat
TIMEOUT 1800
c send SIGTERM to CID 6a7bf63f4b2b47123d5f3739d92f3c96eeb3cf3b29f0ea10031d6490caf97179
s 935 1499 408 1412 604 874 454 673 180 1285 1206 27 371 301 1270 1176 558 104 1450 483 277 1361 756 71 343 789 1097 978 832 1595 562 225 1009 1133 908 1047 146 1360 702
t 1411 673 1008 454 225 104 277 146 180 604 1282 1441 558 832 908 1270 412 756 301 1176 702 343 1595 935 483 569 1499 1050 1366 978 1097 874 1360 789 367 1133 1559 71 1205
a YES
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 702 756 789 832 874 908 935 978 1033 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 489 558 562 604 702 756 789 832 874 908 935 978 1033 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 489 558 562 604 673 702 756 789 832 874 908 935 978 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1206 1270 1285 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 881 935 978 1009 1097 1133 1176 1206 1270 1285 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 454 483 528 562 604 673 702 756 789 832 874 881 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1398 1412 1450 1499 1559 1561
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1206 1270 1285 1360 1398 1412 1450 1499 1559 1561
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1206 1270 1285 1360 1398 1435 1450 1499 1559 1561
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1049 1097 1133 1176 1206 1270 1285 1360 1398 1435 1450 1499 1559 1561
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1049 1097 1133 1176 1206 1270 1285 1360 1398 1412 1450 1499 1559 1561
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1049 1097 1133 1176 1206 1270 1285 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1049 1097 1133 1176 1206 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1206 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1206 1270 1281 1360 1398 1405 1450 1499 1559 1595
a 27 52 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1206 1270 1281 1360 1398 1405 1450 1499 1559 1595
a 27 52 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 908 935 978 1009 1074 1097 1133 1176 1206 1270 1281 1360 1398 1405 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 908 935 978 1009 1074 1097 1133 1176 1206 1270 1281 1360 1398 1405 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 908 935 978 1009 1074 1097 1133 1176 1206 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 859 908 935 978 1009 1074 1097 1133 1176 1206 1270 1281 1360 1398 1412 1450 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 859 908 935 978 1009 1074 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 908 935 978 1009 1074 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1077 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1077 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 246 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 1009 1077 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 246 301 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1077 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 246 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 978 1009 1077 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 246 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1077 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1559 1595
a 27 71 104 146 180 225 246 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1077 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1539 1595
a 27 71 104 146 180 225 246 301 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1077 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1503 1539 1595
a 27 71 104 146 180 225 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1077 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1503 1539 1595
a 27 71 104 146 180 225 277 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1503 1539 1595
a 27 71 104 146 180 225 277 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1205 1270 1281 1360 1398 1412 1450 1503 1559 1595
a 27 71 104 146 180 225 277 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1045 1097 1133 1176 1270 1281 1360 1398 1412 1450 1503 1559 1595
a 27 71 104 146 180 225 277 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1045 1097 1133 1176 1238 1270 1281 1360 1412 1450 1503 1559 1595
a 27 71 104 146 180 225 277 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1045 1097 1133 1176 1238 1270 1360 1361 1412 1450 1503 1559 1595
a 27 71 104 146 180 277 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1045 1097 1133 1176 1238 1270 1305 1360 1361 1412 1450 1503 1559 1595
a 27 71 104 146 180 277 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1045 1097 1133 1176 1238 1270 1305 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 205 277 301 326 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1238 1270 1305 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 205 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1238 1270 1305 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 205 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1238 1270 1305 1360 1366 1412 1450 1499 1559 1595
a 27 71 104 146 180 205 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1238 1270 1305 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 205 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1050 1097 1133 1176 1238 1270 1305 1360 1366 1412 1441 1499 1559 1595
a 9 71 104 146 180 205 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1050 1097 1133 1176 1238 1270 1305 1360 1366 1412 1441 1499 1559 1595
a 9 71 104 146 180 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1050 1097 1133 1176 1238 1270 1305 1360 1366 1412 1441 1499 1559 1595
a 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1050 1097 1133 1176 1238 1270 1305 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1050 1097 1133 1176 1238 1270 1305 1360 1412 1441 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1050 1097 1133 1176 1238 1270 1305 1360 1361 1412 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1097 1133 1176 1238 1270 1305 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1097 1133 1176 1238 1270 1305 1360 1366 1412 1450 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1097 1133 1176 1238 1270 1305 1321 1366 1412 1450 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1050 1097 1133 1176 1238 1270 1305 1321 1366 1412 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1050 1097 1133 1176 1238 1270 1305 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1005 1050 1097 1133 1176 1270 1305 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 528 562 604 673 702 756 789 832 874 908 935 978 1050 1097 1133 1176 1205 1270 1305 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1441 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1411 1441 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 412 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1411 1441 1499 1559 1595
a 27 71 104 146 180 209 277 301 343 367 412 454 483 558 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1411 1441 1499 1559 1595
a 27 71 104 146 180 277 301 343 367 412 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1305 1360 1366 1411 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1360 1366 1411 1441 1499 1559 1595
a 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595
c Step: 72
#END: [Thu Aug 31 12:03:12 2023]