#BEGIN: [Thu Aug 31 11:32:54 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen040x040.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen040x040_02_9487.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_02_9487.dat
c /benchmark/2022benchmark/benchmark/queen/queen040x040.col
c /benchmark/2022benchmark/benchmark/queen/queen040x040_02_9487.dat
TIMEOUT 1800
c send SIGTERM to CID 929e34c51c4f10989f0772f8c95c3dbdbd2de90f87c61c5785546f27c439e180
s 1360 1246 1008 371 604 1361 407 908 27 874 1462 1559 935 277 1595 301 1050 1282 1499 789 832 756 483 71 343 558 673 978 225 104 1176 1230 1133 180 146 454 1412 1097 685
t 454 104 405 1133 301 567 1412 1559 673 71 343 490 1595 1176 935 1230 180 908 558 146 789 1282 27 681 1499 756 368 1443 1049 1366 604 277 1360 225 832 978 1097 1262 1011
a YES
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 604 673 685 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1230 1246 1282 1360 1361 1412 1462 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1050 1097 1176 1230 1246 1282 1360 1361 1412 1462 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1050 1097 1159 1176 1230 1246 1282 1360 1361 1412 1462 1499 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1230 1246 1282 1360 1361 1412 1462 1499 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1097 1133 1176 1230 1246 1282 1360 1361 1412 1462 1499 1559 1595
a 27 50 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1097 1133 1176 1230 1246 1282 1360 1361 1412 1462 1499 1559 1595
a 27 50 104 146 180 231 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1097 1133 1176 1230 1246 1282 1360 1361 1412 1462 1499 1559 1595
a 27 50 104 146 180 231 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1046 1097 1133 1176 1230 1282 1360 1361 1412 1462 1499 1559 1595
a 27 50 104 146 180 231 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1282 1360 1361 1412 1462 1499 1559 1595
a 27 50 104 146 180 231 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1282 1360 1361 1434 1462 1499 1559 1595
a 27 50 104 146 180 231 277 301 343 371 407 454 483 558 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1361 1434 1462 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 407 454 483 558 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1361 1434 1462 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 407 454 483 558 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1361 1434 1462 1490 1559 1595
a 27 52 104 146 180 231 277 301 343 371 454 483 558 567 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1361 1434 1462 1490 1559 1595
a 27 52 104 146 180 231 277 301 343 371 454 483 558 567 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1361 1434 1462 1490 1539 1595
a 27 52 104 146 180 231 277 301 343 371 407 454 483 558 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1361 1434 1462 1490 1539 1595
a 27 52 104 146 180 231 277 301 343 371 407 454 483 599 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1361 1434 1462 1490 1539 1595
a 27 52 104 180 231 277 301 343 371 407 454 483 546 599 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1361 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 483 546 599 604 673 685 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 483 546 599 604 673 685 756 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1389 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 483 546 599 604 673 685 758 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1389 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 483 546 599 604 673 685 758 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 483 546 599 636 673 685 758 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 483 546 599 636 673 685 758 789 832 865 908 935 978 1004 1046 1097 1133 1176 1230 1249 1282 1360 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 546 599 636 673 685 758 789 832 865 908 935 978 1004 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 546 599 636 673 685 758 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 546 599 604 673 685 758 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 497 546 599 604 673 685 758 789 832 865 908 935 978 1008 1046 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 497 546 599 604 673 685 756 789 832 865 908 935 978 1008 1046 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 497 546 599 604 673 718 756 789 832 865 908 935 978 1008 1046 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 407 454 546 599 604 673 718 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 405 454 546 599 604 673 718 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 405 454 546 567 604 673 718 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1539 1595
a 27 52 104 121 180 231 277 301 343 371 405 454 546 567 604 673 718 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1490 1559 1595
a 27 52 104 121 180 231 277 301 343 371 405 454 546 567 604 673 718 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1499 1559 1595
a 27 52 104 180 231 277 301 343 371 405 454 490 546 567 604 673 718 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1499 1559 1595
a 27 52 104 180 231 277 301 343 371 405 454 490 546 567 604 673 681 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 405 454 490 567 604 673 681 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1249 1282 1360 1363 1434 1462 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1008 1046 1097 1133 1230 1249 1282 1360 1363 1434 1462 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1282 1360 1363 1434 1462 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1262 1282 1360 1363 1434 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1008 1046 1097 1133 1176 1230 1262 1282 1360 1434 1443 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1008 1097 1133 1176 1230 1262 1282 1360 1366 1434 1443 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1049 1097 1133 1176 1230 1262 1282 1360 1366 1434 1443 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 371 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1034 1049 1097 1133 1176 1230 1262 1282 1360 1366 1443 1499 1559 1595
a 27 52 104 146 180 231 277 301 343 368 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1034 1049 1097 1133 1176 1230 1262 1282 1360 1366 1443 1499 1559 1595
a 27 104 146 180 231 277 301 343 368 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1034 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 1499 1559 1595
a 27 71 104 146 180 277 301 343 368 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1034 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 1499 1559 1595
a 27 71 104 146 180 277 301 343 368 405 454 490 558 567 604 673 681 756 789 832 865 908 935 978 1011 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 368 405 454 490 558 567 604 673 681 756 789 832 908 935 978 1011 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 1499 1559 1595
c Step: 49
#END: [Thu Aug 31 12:02:54 2023]