#BEGIN: [Wed Aug 30 22:21:45 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap06a.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap06a_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/wap06a.col /benchmark/2022benchmark/benchmark/color04/wap06a_02.dat
c /benchmark/2022benchmark/benchmark/color04/wap06a.col
c /benchmark/2022benchmark/benchmark/color04/wap06a_02.dat
TIMEOUT 1800
c send SIGTERM to CID 8db2ea163548ffceadff4b9885559e940b7cf6ede255ad74d0b45f8e10e8e5af
s 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 
t 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Wed Aug 30 22:51:46 2023]