#BEGIN: [Wed Aug 30 20:59:28 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/qg.order40.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/qg.order40.col /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat
c /benchmark/2022benchmark/benchmark/color04/qg.order40.col
c /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat
TIMEOUT 1800
c send SIGTERM to CID 3443a9175b1faf6051632072171f47fffd1926d8f286bc7a9107714c1e986907
s 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1548 1595 
t 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Wed Aug 30 21:29:29 2023]