#BEGIN: [Tue Sep  5 11:28:45 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance039_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance039_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_instance039_graph005.col /benchmark/random_instance/random_instance039_graph005_01.dat
c /benchmark/random_instance/random_instance039_graph005.col
c /benchmark/random_instance/random_instance039_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 41ded18168ffc485293fd29a3de9facd2fee81792963a6104f90ada84bd50a99
s 259 271 285 35 289 175 219 430 279 444 154 101 411 464 245 452 264 360 51 126 492 165 421 365 135 98 81 134 11 176 40 91 61 106 244 322 110 125 232 71 169 282 261 462 362 121 424 151 143 466 373 75 8 370 491 46 286 475 17 347 37 498 281 367 262 348 301 182 317 358 479 456 291 167 368 105 315 442 76 115 16 497 218 470 226 28 418 458 146 156 325 460 378 12 332 19 87 267 482 26 349 359 68 7 142 276 45 50 447 306 443 307 208 473 507 48 70 247 107 420 248 171 201 41 153 233 369 152 220 363 381 221 213 39 342 505 453 14 407 127 494 118 193 481 287 408 305 170 275 88 207 141 32 73 77 97 296 187 288 339 428 476 403 20 181
t 59 182 141 500 186 262 110 321 357 502 187 307 220 405 14 202 507 353 53 112 160 19 254 367 309 287 499 37 23 337 368 106 318 246 39 69 391 9 271 87 448 316 67 441 458 50 284 462 268 170 118 222 132 491 436 283 203 8 40 245 482 165 417 175 177 154 404 384 219 359 459 301 56 119 257 371 58 428 354 166 169 210 446 49 244 408 60 389 120 267 12 25 475 425 308 339 322 247 451 161 276 292 332 115 146 131 75 54 250 171 429 57 158 440 126 233 229 366 228 190 317 77 125 138 129 238 85 358 137 382 24 207 443 291 148 363 243 378 275 200 180 226 127 82 402 102 79 152 213 387 26 396 88 349 172 298 474 201 35 32 221 93 142 480 256
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 11:58:45 2023]