#BEGIN: [Tue Sep  5 10:54:12 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance035_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance035_graph001_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_instance035_graph001.col /benchmark/random_instance/random_instance035_graph001_01.dat
c /benchmark/random_instance/random_instance035_graph001.col
c /benchmark/random_instance/random_instance035_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 78a6f622b4bc8e479c868e0bf58b42986e5f65fa1fe531620cb76e88fd01ce3b
s 400 330 212 192 75 435 138 327 122 13 43 399 253 247 263 386 90 222 446 104 269 434 214 32 169 153 167 154 67 228 249 21 130 1 448 369 149 347 45 137 415 98 171 91 409 173 41 176 348 175 155 17 255 148 372 112 257 136 289 321 10 109 325 163 384 428 33 317 79 160 343 86 387 366 338 34 311 191 354 381 48 218 92 157 29 27 115 82 25 151 15 168 172 398 152 141 333 83 6 230 336 52 346 299 402 246 297 66 189 182 393 353 394 5 286 274 277 135 250 3 161 132 361 46 315 178 19 81 305 344 54 433 216 119 200 373 312 164 355 287 322 55 301 50 166 105
t 353 41 40 31 92 229 301 225 440 371 21 260 199 446 90 61 356 139 289 402 98 144 306 181 382 179 192 315 76 451 448 60 26 13 136 380 108 293 350 46 168 68 135 198 248 85 6 254 166 172 400 444 44 403 177 287 191 423 332 59 311 138 346 372 189 3 262 105 48 345 407 214 336 344 388 300 230 385 67 208 137 15 295 209 154 23 366 133 19 257 57 361 438 117 454 165 71 387 74 431 246 109 52 79 252 419 49 110 324 309 5 148 412 429 54 186 343 200 452 276 80 50 187 243 331 302 327 75 102 132 269 418 354 355 399 38 169 176 390 106 161 146 152 65 231 180
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 11:24:12 2023]