#BEGIN: [Tue Sep 26 09:09:35 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance040_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance040_graph005_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_graph005.col /benchmark/random_instance/random_instance040_graph005_01.dat
c /benchmark/random_instance/random_instance040_graph005.col
c /benchmark/random_instance/random_instance040_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID e133535a66d39670d4e4dc94ec2afc50234728449740baa52e1e7e14917930b4
s 339 494 377 136 176 295 73 128 426 331 109 305 177 428 115 195 298 89 84 114 306 144 141 360 143 146 168 12 282 1 229 46 263 333 394 329 301 126 406 271 287 356 182 328 34 83 420 104 134 507 392 140 22 413 511 267 124 395 184 519 65 231 35 94 93 74 317 101 190 472 180 447 284 513 164 91 75 321 67 25 318 340 60 367 119 185 441 446 382 315 162 211 480 223 15 433 467 212 380 350 401 291 288 125 112 36 354 473 138 31 78 496 416 505 135 320 171 379 375 281 6 196 30 117 165 50 172 244 232 294 269 199 17 381 501 123 121 44 103 45 462 440 481 489 227 28 296 24 409 240 365 154 157 225 105 80 336 268 226 173 344 402 376 149
t 80 353 67 432 309 238 158 237 500 482 121 458 236 372 75 210 201 252 448 78 269 390 13 397 385 68 335 468 371 217 186 245 478 308 81 214 187 277 110 6 514 290 119 66 41 143 90 211 45 53 400 293 64 15 398 292 100 516 320 324 470 515 357 318 118 368 227 488 205 85 379 129 96 302 388 428 146 507 142 328 274 191 91 415 123 376 505 232 383 473 416 60 509 226 333 138 467 197 486 474 65 225 367 256 102 462 101 72 30 178 469 346 250 233 481 240 365 89 231 216 411 471 173 157 177 171 364 122 88 194 195 370 348 36 117 204 12 362 46 393 244 19 350 179 445 407 391 124 107 165 284 275 404 472 218 401 27 180 331 336 426 306 395 8
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 09:39:35 2023]