#BEGIN: [Thu Aug 31 07:51:50 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/qg.order60.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/qg.order60_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/qg.order60.col /benchmark/2022benchmark/benchmark/color04/qg.order60_02.dat
c /benchmark/2022benchmark/benchmark/color04/qg.order60.col
c /benchmark/2022benchmark/benchmark/color04/qg.order60_02.dat
TIMEOUT 1800
c send SIGTERM to CID c4aeabd67f3e0375a92902a4a88e79ad4f4cdf7e44afb9b087e1a7a1f213875e
s 33 82 128 208 244 390 431 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 
t 59 76 123 220 274 325 417 455 489 560 624 706 735 797 879 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 08:21:50 2023]