#BEGIN: [Mon Sep  4 21:10:42 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance039_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance039_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance039_graph002.col /benchmark/random_instance/random_instance039_graph002_01.dat
c /benchmark/random_instance/random_instance039_graph002.col
c /benchmark/random_instance/random_instance039_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 5d2790ff50eb5e3ab12226177a065ccc95728acb9261e0a079fe1d2db92f20af
s 333 392 242 397 432 493 296 427 246 82 14 486 125 117 324 142 320 4 499 121 134 491 420 138 171 127 177 449 384 492 403 436 32 351 123 136 343 12 183 416 79 232 424 460 417 297 39 480 218 10 280 27 22 228 229 210 64 18 35 283 505 332 377 506 57 353 94 358 60 409 16 211 322 7 103 502 40 414 484 252 71 410 230 45 456 402 355 372 356 17 471 472 9 291 490 201 295 195 389 135 256 495 461 8 374 294 315 268 152 457 455 408 451 91 149 146 334 503 49 180 247 42 150 335 488 481 191 258 398 113 387 1 282 213 199 305 205 200 147 441 440 105 425 489 101 477 257 366 433 97 382 327 61 153 59 413 51 63 404 274 122 98 487 214 167 86 435 348 286 496
t 81 479 102 280 54 255 173 229 196 440 266 95 398 459 135 163 45 238 470 294 56 218 311 264 145 244 295 483 316 397 39 429 2 358 337 236 32 278 146 114 435 1 97 133 136 237 422 98 18 291 233 279 335 326 394 16 355 496 67 147 105 408 183 464 306 108 387 75 51 222 386 224 481 482 477 419 155 181 405 94 312 380 87 158 64 253 450 73 363 503 433 170 271 205 300 131 130 330 410 428 463 431 338 403 28 59 177 475 21 432 401 296 83 497 315 169 489 268 25 141 413 113 221 327 269 324 345 469 223 252 80 90 192 187 5 329 270 123 305 47 44 152 172 42 487 122 154 506 297 180 7 199 320 353 69 425 127 125 57 457 46 72 213 474 451 361 151 226 88 179
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 21:40:42 2023]