#BEGIN: [Thu Aug 31 01:13:55 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen080x080.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen080x080_02_2368.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen080x080.col /benchmark/2022benchmark/benchmark/queen/queen080x080_02_2368.dat
c /benchmark/2022benchmark/benchmark/queen/queen080x080.col
c /benchmark/2022benchmark/benchmark/queen/queen080x080_02_2368.dat
TIMEOUT 1800
c send SIGTERM to CID b131be91becda455cc593de1c20849229cd95f8dfd07abdb28808273810f50fc
s 5771 2158 2344 6081 5512 144 4909 1545 3265 5102 2608 5849 4042 6293 4365 3967 1023 5232 1844 2556 1762 4812 454 4756 1412 301 4178 3686 2471 4115 5386 5599 517 6201 4987 5302 2010 1687 1123 1963 5615 3426 1233 60 3471 4416 610 769 695 4691 2954 5925 4518 4263 6377 1448 2268 2680 3029 3576 3350 3117 5137 1074 219 819 2235 378 1614 6046 2800 5693 1319 3621 2868 947 3193 4590 3804
t 3860 5849 1283 3686 4680 5007 4592 1762 6201 144 4283 3804 1147 5599 2344 610 5693 2800 1023 517 4178 5153 5771 1075 4042 1634 5615 3426 3621 1208 5223 4439 2693 6081 3350 5512 3471 378 695 301 1687 1942 4096 5386 819 1454 3576 4812 4756 2030 5290 2556 4909 60 454 3193 6377 5102 2268 3029 947 6291 1545 3958 4365 219 4497 3265 2868 2158 2954 2608 3117 2471 1412 6046 2235 5925 1844
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 01:43:56 2023]