#BEGIN: [Tue Sep  5 11:31:16 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance040_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance040_graph003_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_instance040_graph003.col /benchmark/random_instance/random_instance040_graph003_01.dat
c /benchmark/random_instance/random_instance040_graph003.col
c /benchmark/random_instance/random_instance040_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID fdd207cc5ee2a8c5e9c375a3ccecec893526f85cc6ce144973cc6f93e0d46052
s 172 280 122 440 470 499 353 20 90 188 187 357 398 297 328 112 338 239 264 425 52 433 192 268 220 435 120 314 490 211 467 506 508 344 431 40 303 358 74 234 326 439 354 485 251 363 110 178 171 166 320 194 447 25 225 512 514 377 50 397 504 422 62 82 519 167 223 260 246 491 155 515 121 186 517 11 370 72 145 65 286 500 170 403 86 138 408 481 73 242 32 424 300 281 24 364 127 350 449 33 405 432 258 256 272 410 247 453 484 418 391 124 448 443 47 429 174 148 444 233 276 266 257 77 477 334 332 252 288 163 407 359 308 237 111 282 310 383 46 450 137 231 417 208 151 412 342 259 154 294 309 102 109 341 456 168 147 316 469 99
t 143 40 135 12 461 293 269 268 441 129 342 167 184 448 14 497 105 96 122 453 164 499 520 406 320 468 445 155 284 395 73 296 200 103 2 10 70 462 311 153 316 463 318 392 292 146 29 470 364 245 291 409 166 95 283 126 451 494 78 434 172 57 71 368 142 298 86 488 419 259 179 496 282 302 90 106 53 102 119 510 290 133 297 158 421 339 477 15 479 439 383 11 149 511 156 466 424 366 218 483 212 312 277 60 358 93 178 475 131 246 59 232 303 130 307 74 376 154 412 396 503 377 173 363 23 425 75 264 346 413 226 170 61 294 238 26 8 426 372 478 89 176 393 88 325 304 111 215 305 58 492 62 56 115 313 405 276 185 99 207
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 12:01:16 2023]