#BEGIN: [Thu Aug 31 22:31:05 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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 9535b31e4eaca5d9bd83569be42e8f78e77983fc24ec24eed4ebb2e8dc0f0359
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 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 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 1559 1595
a 27 71 104 146 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 1559 1595
a 27 71 104 146 180 225 277 301 343 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 1559 1595
a 27 71 104 146 180 225 301 343 397 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 1559 1595
a 27 71 104 146 180 225 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 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 569 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 569 604 673 685 756 789 832 874 908 935 978 1008 1050 1118 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 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 1133 1176 1230 1246 1282 1360 1361 1412 1457 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 1133 1176 1230 1246 1282 1360 1361 1412 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 1133 1176 1230 1246 1282 1360 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 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 225 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 908 935 978 1008 1071 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 789 832 874 908 935 978 1008 1071 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 874 908 935 978 1008 1071 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 1071 1097 1133 1230 1246 1282 1360 1361 1412 1462 1499 1559 1595
a 27 50 104 146 180 216 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1071 1097 1133 1230 1246 1282 1360 1361 1412 1462 1499 1559 1595
a 27 104 146 180 216 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1071 1097 1133 1170 1230 1246 1282 1360 1361 1412 1462 1499 1559 1595
a 27 79 104 146 180 216 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1071 1097 1133 1170 1230 1246 1282 1360 1361 1412 1462 1499 1595
a 27 79 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1071 1097 1133 1170 1230 1246 1282 1360 1361 1412 1462 1499 1595
a 27 79 104 146 180 277 301 343 371 407 454 483 558 569 604 673 685 756 789 832 874 908 935 978 1008 1071 1097 1133 1170 1230 1246 1282 1360 1361 1412 1462 1499 1545 1595
a 27 79 104 146 180 216 277 301 343 371 407 454 483 558 569 604 673 756 789 832 874 908 935 978 1008 1071 1097 1133 1170 1230 1246 1282 1360 1361 1412 1462 1499 1545 1595
a 27 79 104 146 180 216 277 301 343 371 407 454 483 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1170 1230 1246 1282 1360 1412 1462 1499 1545 1595
a 27 45 104 146 180 216 277 301 343 371 407 454 483 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1170 1230 1246 1282 1360 1412 1462 1499 1545 1595
a 27 45 104 146 180 216 277 301 343 371 407 454 483 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1170 1230 1246 1282 1360 1412 1462 1499 1559 1595
a 27 45 104 146 180 216 277 301 343 371 407 454 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1170 1230 1246 1282 1360 1385 1412 1462 1499 1559 1595
a 27 45 104 146 180 216 277 301 343 371 407 454 490 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1230 1246 1282 1360 1385 1412 1462 1499 1559 1595
a 27 45 104 146 180 216 277 301 343 371 407 454 490 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1230 1246 1282 1360 1385 1412 1443 1499 1559 1595
a 27 45 104 146 180 277 301 343 371 407 454 490 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1176 1230 1246 1282 1360 1385 1412 1443 1499 1559 1595
a 27 45 104 146 180 225 277 301 343 371 407 454 490 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1176 1230 1246 1282 1360 1412 1443 1499 1559 1595
a 27 45 104 146 180 225 277 301 343 371 407 454 490 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1176 1230 1282 1360 1366 1412 1443 1499 1559 1595
a 27 45 104 146 180 225 277 301 343 407 454 490 558 569 604 673 681 756 789 832 874 908 935 978 1008 1071 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 1499 1559 1595
a 27 45 104 146 180 225 277 301 343 407 454 490 558 569 604 673 681 756 789 832 874 908 935 978 1011 1071 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 1499 1559 1595
a 27 45 104 146 180 225 277 301 343 368 454 490 558 569 604 673 681 756 789 832 874 908 935 978 1011 1071 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 1499 1559 1595
a 27 45 104 146 180 225 277 301 343 368 454 490 558 567 604 673 681 756 789 832 874 908 935 978 1011 1071 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 1499 1559 1595
a 27 45 104 146 180 225 277 301 343 368 454 490 558 567 604 673 681 756 789 832 874 908 935 978 1011 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 1499 1559 1595
a 27 104 146 180 225 277 301 343 368 405 454 490 558 567 604 673 681 756 789 832 874 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: 41
#END: [Thu Aug 31 23:01:05 2023]