#BEGIN: [Tue Sep  5 05:23:42 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance039_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance039_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance039_graph003.col /benchmark/random_instance/random_instance039_graph003_01.dat
c /benchmark/random_instance/random_instance039_graph003.col
c /benchmark/random_instance/random_instance039_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID e13de29cc7cf425032ab4b6360b83b454d6deeabaed7239b965e5e6e7aabc997
s 498 469 171 357 435 507 436 115 296 426 495 328 35 71 118 369 243 451 58 353 196 347 22 206 323 326 199 21 479 44 447 406 98 60 47 12 131 283 489 97 480 224 193 346 251 91 476 262 134 257 232 403 500 307 384 162 198 358 503 331 32 178 82 321 444 491 37 107 276 340 422 173 136 93 299 90 126 379 468 374 169 330 327 6 74 348 62 481 313 268 194 108 127 130 425 378 298 434 122 345 29 210 445 465 31 248 26 147 380 336 391 76 483 48 460 64 352 290 363 502 338 192 165 246 478 155 372 36 413 233 433 387 329 148 16 141 128 462 496 79 96 463 238 344 202 453 241 17 441 420 494 408 85 255 240 170
t 334 403 347 447 43 419 341 89 153 18 288 398 354 392 463 138 336 488 141 48 227 29 454 464 226 260 211 257 444 188 189 252 34 374 331 452 445 338 299 352 353 127 383 194 121 75 115 36 142 145 274 23 81 176 367 389 480 163 277 178 461 151 230 342 485 219 103 155 472 285 337 49 212 469 45 129 209 120 193 490 198 117 335 378 168 71 422 489 387 370 21 244 135 483 263 160 63 47 409 482 181 298 406 225 357 322 474 255 101 157 425 158 282 35 171 56 479 128 405 432 80 396 229 476 492 39 473 65 104 366 3 247 363 468 64 210 344 448 118 192 235 190 99 453 186 297 109 437 119 224 87 148 159 423 478 91
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 05:53:42 2023]