#BEGIN: [Tue Sep  5 04:59:16 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance038_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance038_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance038_graph003.col /benchmark/random_instance/random_instance038_graph003_01.dat
c /benchmark/random_instance/random_instance038_graph003.col
c /benchmark/random_instance/random_instance038_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 172375bfdf3f5c5e6acc8622dcf36312adf23d339c04b6607d409e1172b793c9
s 314 44 307 122 225 60 248 423 100 171 387 47 358 455 379 229 481 362 7 328 79 333 218 120 138 119 458 435 291 33 227 279 321 474 318 296 35 236 454 36 62 382 153 163 276 41 396 282 313 230 397 298 202 189 74 364 338 179 354 148 85 207 57 91 127 336 38 370 446 281 392 478 270 375 235 309 271 50 216 162 157 407 82 315 12 98 241 87 113 108 445 23 355 295 59 121 252 220 27 4 312 461 456 476 175 6 376 371 240 21 173 55 479 383 219 206 15 32 13 348 221 433 24 145 469 214 264 316 28 490 151 260 203 83 114 390 488 192 369 452 69 112 17 53 388 141 464 409 30 149 116 231 183 491 482 356 419 429 217 351 306 158 200
t 288 61 47 204 212 325 411 305 422 19 170 52 384 150 332 484 27 36 265 167 274 190 38 201 45 108 134 314 298 151 387 284 374 90 375 118 255 353 200 334 175 408 105 440 116 241 339 426 453 207 40 221 198 33 423 277 245 37 208 261 330 23 156 222 377 336 309 219 171 436 409 155 272 300 322 173 136 455 124 74 390 11 166 242 193 5 1 4 431 100 448 356 412 17 346 490 368 248 128 217 60 228 301 6 494 189 260 469 140 77 358 81 466 132 404 161 202 323 87 130 294 405 394 416 318 352 331 50 148 428 376 24 382 470 86 28 433 324 396 95 187 168 443 270 15 366 32 335 369 53 476 380 93 285 158 120 304 458 240 163 444 184 59
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 05:29:17 2023]