#BEGIN: [Thu Aug 31 12:05:11 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen080x080.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen080x080_04_4954.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/queen080x080.col /benchmark/2022benchmark/benchmark/queen/queen080x080_04_4954.dat
c /benchmark/2022benchmark/benchmark/queen/queen080x080.col
c /benchmark/2022benchmark/benchmark/queen/queen080x080_04_4954.dat
TIMEOUT 1800
c send SIGTERM to CID 1f6c8b11b8aadfdd68dd33fdb3433fe99125458aa5de129a5757579a2d9df3bb
s 2471 3621 6377 505 5102 60 144 2954 1076 2693 1762 695 2235 2158 3576 1687 5290 5512 610 947 6081 4600 1475 4812 3426 3193 2362 1534 1412 5386 5154 219 2268 3860 1844 2800 2030 5227 6291 5693 1128 6046 1023 3029 4283 3471 819 3804 4909 3117 2868 378 1937 2608 6201 769 3686 3350 3944 2556 4518 4742 4178 4677 3265 4039 454 5925 1623 301 5615 4096 1233 4432 5771 5007 4365 5849 5599
t 3926 2608 4439 2556 4680 3860 1634 4909 508 144 1064 1967 4742 4283 6046 695 3690 1687 4042 3804 4105 5615 2868 5849 2158 5693 4997 2259 1023 2800 3029 454 6192 3426 4497 2954 3576 1236 3265 378 4812 1844 219 1475 2027 610 2693 4178 5771 3621 6285 3117 5223 4361 1762 2358 5512 5331 2471 2235 301 5386 3471 5102 3350 5153 1412 1123 1534 947 4590 6377 5599 3193 769 1296 808 6081 60
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 12:35:11 2023]