#BEGIN: [Thu Aug 31 11:35:09 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen040x040.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen040x040_04_8369.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_04_8369.dat
c /benchmark/2022benchmark/benchmark/queen/queen040x040.col
c /benchmark/2022benchmark/benchmark/queen/queen040x040_04_8369.dat
TIMEOUT 1800
c send SIGTERM to CID d2a60b98ba173a91da1666ac98ade76c1e0dbe997213c24521d4daa37099f42d
s 343 673 832 978 225 604 1595 1450 935 1362 412 104 1246 1176 1510 789 579 71 1283 367 1360 681 1559 908 301 1405 454 1022 146 1133 1209 491 756 558 1048 27 1097 874 180
t 567 1366 1205 225 104 874 558 343 491 369 277 1282 1441 146 27 412 832 1499 180 604 454 71 301 1176 1430 935 1133 1262 756 1595 908 1008 1050 978 1097 1559 683 673 1360
a YES
a 27 71 104 146 180 225 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1595
a 27 71 104 146 180 225 277 301 343 367 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1595
a 27 71 104 146 180 225 277 301 332 367 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1595
a 27 71 104 146 180 225 277 301 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1595
a 27 71 104 146 180 225 277 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559
a 27 71 104 146 180 225 277 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559
a 27 71 104 146 180 225 277 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1579
a 27 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1579
a 27 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1271 1283 1360 1362 1405 1450 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1271 1283 1360 1362 1450 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1271 1285 1360 1362 1450 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1271 1285 1360 1362 1450 1510 1559 1563
a 27 46 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1271 1360 1362 1405 1450 1510 1559 1563
a 27 46 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1271 1360 1362 1405 1450 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1271 1290 1360 1362 1405 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1133 1176 1209 1271 1290 1360 1362 1405 1457 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1133 1176 1209 1271 1290 1360 1363 1405 1457 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1271 1290 1360 1363 1405 1510 1559 1579
a 27 46 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1271 1290 1360 1363 1405 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 908 935 995 1022 1048 1097 1133 1176 1209 1290 1360 1363 1405 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1290 1360 1363 1405 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 367 412 454 491 558 578 673 681 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1244 1290 1360 1363 1405 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 367 412 454 491 558 578 673 681 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1244 1290 1360 1388 1405 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 367 412 454 491 558 578 604 673 681 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1290 1360 1388 1405 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 367 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1290 1360 1388 1405 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 367 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1281 1360 1388 1405 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 367 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1245 1281 1360 1388 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1245 1281 1360 1388 1407 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1281 1360 1388 1407 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1048 1097 1133 1176 1209 1279 1281 1360 1388 1407 1464 1510 1579
a 27 46 82 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1050 1097 1133 1176 1209 1279 1281 1360 1388 1407 1464 1510 1579
a 27 46 82 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1050 1097 1133 1176 1209 1281 1360 1388 1407 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 365 408 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1050 1097 1133 1176 1209 1281 1360 1388 1407 1464 1510 1559 1579
a 27 46 82 146 180 225 277 301 343 365 408 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1050 1097 1133 1176 1209 1279 1281 1360 1388 1407 1464 1510 1579
a 27 46 82 146 180 225 277 301 343 365 408 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1097 1133 1176 1209 1279 1281 1360 1388 1407 1464 1510 1532 1579
a 27 46 82 146 180 225 277 301 343 365 408 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1050 1097 1133 1176 1209 1279 1360 1388 1407 1464 1510 1532 1579
a 27 46 146 180 225 277 301 343 365 408 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1050 1097 1133 1176 1209 1279 1282 1360 1388 1407 1464 1510 1532 1579
a 27 46 146 180 225 277 301 343 365 408 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1022 1050 1097 1133 1176 1209 1279 1282 1360 1388 1407 1441 1510 1532 1579
a 27 46 104 146 180 225 277 301 343 365 408 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1050 1097 1133 1176 1209 1279 1282 1360 1388 1407 1441 1510 1532 1579
a 27 46 104 146 180 225 277 301 343 365 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1008 1050 1097 1133 1176 1209 1279 1282 1360 1388 1407 1441 1510 1532 1579
a 27 46 104 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1008 1050 1097 1133 1176 1209 1279 1282 1360 1388 1407 1441 1510 1579
a 27 46 104 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 911 935 995 1008 1050 1097 1133 1176 1209 1282 1360 1388 1407 1441 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 935 995 1008 1050 1097 1133 1176 1209 1262 1282 1360 1388 1407 1441 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 908 935 995 1008 1050 1097 1133 1176 1209 1262 1282 1360 1407 1441 1510 1559 1579
a 27 46 104 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 908 935 995 1008 1050 1097 1133 1176 1209 1262 1282 1360 1407 1441 1511 1559 1579
a 27 46 104 146 180 225 277 301 343 365 412 454 491 558 578 604 673 683 756 789 832 874 908 935 995 1008 1050 1097 1133 1176 1209 1262 1282 1360 1430 1441 1511 1559 1579
a 27 46 104 146 180 225 277 301 343 365 412 454 491 558 567 604 673 683 756 789 832 874 908 935 995 1008 1050 1097 1133 1176 1209 1262 1282 1360 1430 1441 1511 1559 1579
a 27 104 146 180 225 277 301 343 365 412 454 491 558 567 604 673 683 756 789 832 874 908 935 995 1008 1050 1097 1133 1176 1209 1262 1282 1360 1366 1430 1441 1511 1559 1579
a 27 71 104 146 180 225 277 301 343 365 412 454 491 558 567 604 673 683 756 789 832 874 908 935 995 1008 1050 1097 1133 1176 1209 1262 1282 1360 1366 1430 1441 1559 1579
a 27 71 104 146 180 225 277 301 343 365 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1209 1262 1282 1360 1366 1430 1441 1559 1579
a 27 71 104 146 180 225 277 301 343 365 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1209 1262 1282 1360 1366 1430 1441 1499 1559
a 27 71 104 146 180 225 277 301 343 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1209 1262 1282 1360 1366 1430 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1262 1282 1360 1366 1430 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595
c Step: 53
#END: [Thu Aug 31 12:05:10 2023]