#BEGIN: [Mon Sep  4 21:11:25 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance040_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance040_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_instance040_graph002.col /benchmark/random_instance/random_instance040_graph002_01.dat
c /benchmark/random_instance/random_instance040_graph002.col
c /benchmark/random_instance/random_instance040_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID ee3cbd557f438fff40b99333238ae3062c83d79e4ef5b9e1e23d9cd94e8a3684
s 473 248 218 260 106 403 507 491 325 1 84 133 292 450 17 443 182 308 127 273 518 4 177 30 511 255 246 388 280 392 461 497 436 335 44 60 441 40 230 103 137 263 293 373 102 59 98 147 463 430 71 318 250 355 315 343 404 196 77 281 237 510 13 155 306 126 334 470 190 465 291 200 35 338 484 135 37 519 202 294 10 225 412 70 28 227 376 140 468 357 270 504 220 265 417 88 142 418 498 95 508 90 99 92 73 500 349 502 11 354 341 162 89 150 342 278 129 159 236 506 322 455 298 492 479 427 454 233 460 445 42 48 203 434 156 253 302 503 15 31 478 424 449 363 187 251 72 266 295 425 489 517 194 486 323 2 275 244 192 353 482 24 476 466 471 423
t 367 389 518 412 62 224 380 114 179 508 216 234 202 384 402 112 339 144 382 258 287 122 223 476 189 447 85 395 42 138 156 341 232 306 450 197 77 414 442 23 219 465 245 347 27 50 495 515 322 9 390 180 11 183 327 228 426 394 139 487 140 130 192 105 37 199 242 475 351 83 368 504 335 92 295 201 227 453 177 505 44 290 319 514 294 511 95 82 330 381 433 214 482 69 8 194 298 454 186 99 238 370 151 143 205 357 425 128 345 168 200 22 323 492 480 366 125 157 479 115 396 61 455 107 285 46 87 137 268 438 413 181 265 420 236 407 373 239 445 383 325 466 84 203 313 225 314 334 270 435 485 72 97 111 220 7 301 68 185 282 78 254 15 506 233 57
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 21:41:25 2023]