#BEGIN: [Thu Aug 31 12:02:38 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen080x080.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen080x080_01_0297.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_01_0297.dat
c /benchmark/2022benchmark/benchmark/queen/queen080x080.col
c /benchmark/2022benchmark/benchmark/queen/queen080x080_01_0297.dat
TIMEOUT 1800
c send SIGTERM to CID 4130887e6ea2bcf01c1633b5ab58eed3e5879607f02c462694d5504331ec3852
s 6377 3350 4909 4178 3686 3621 1687 2344 1147 819 1942 3265 4096 3576 6201 5599 1634 1454 6081 2608 3471 4592 6291 219 769 2235 2868 2556 378 1208 3193 4497 1075 2030 144 3029 3958 610 5693 5615 5925 1762 5771 5512 947 2471 5849 4812 2693 1412 5386 3804 5007 3860 301 1844 4365 2158 5102 2954 2800 4756 4283 4439 1283 454 1545 5153 4042 1023 3117 3426 517 5290 60 4680 6046 2268 5223
t 6211 1208 2800 5386 2471 6293 5771 947 60 3471 2268 5849 1147 695 610 1844 5102 3926 5290 4518 4115 3621 3117 4812 2954 2868 219 3722 1687 1614 3804 3350 5512 5615 517 4909 3193 3265 4663 6081 4365 2017 1762 2235 2556 4178 2344 769 4590 3029 144 1283 1023 6046 819 1942 4283 301 3426 5693 378 2608 1545 2680 1473 1412 4039 4416 3576 5232 1081 4756 5007 6377 454 5925 2158 5154 5599
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 12:32:39 2023]