#BEGIN: [Tue Sep  5 09:24:54 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance026_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance026_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance026_graph004.col /benchmark/random_instance/random_instance026_graph004_01.dat
c /benchmark/random_instance/random_instance026_graph004.col
c /benchmark/random_instance/random_instance026_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 8a025056aa98ccdaccdbd5b966e341594e24fb92ebf1e805be3aba54c52d9dac
s 233 213 111 88 124 198 24 250 317 147 17 283 228 22 46 44 33 110 229 245 150 153 162 82 143 97 232 157 266 222 186 181 177 135 196 35 141 84 327 96 146 175 50 256 57 29 219 248 79 43 301 241 326 49 45 81 289 288 75 6 90 23 3 285 330 281 303 334 47 254 257 120 65 189 252 315 304 217 258 92 128 13 307 154 220 2 296 261 225 205 314 328 193 113 305 197 64 246 87 71 322 131 249 203 224 262 69 12 67 295 292 321
t 167 164 163 139 78 66 250 142 200 44 301 180 289 277 67 329 327 41 125 37 221 30 13 83 110 48 315 21 166 162 189 146 59 172 186 224 273 194 222 4 239 76 220 225 94 298 54 46 19 232 20 281 40 193 259 268 47 153 209 173 175 113 310 26 203 84 134 244 267 45 170 334 243 65 320 323 107 95 11 280 50 307 74 240 217 135 145 9 219 25 53 181 57 36 282 251 69 295 287 157 88 211 71 258 128 256 168 242 254 93 132 206
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 09:54:54 2023]