#BEGIN: [Tue Sep  5 11:24:08 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance038_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance038_graph001_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_instance038_graph001.col /benchmark/random_instance/random_instance038_graph001_01.dat
c /benchmark/random_instance/random_instance038_graph001.col
c /benchmark/random_instance/random_instance038_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 36b561e6f8eeb508c8ab6836eaadefbc0f94bcc6d8b401154be3597bd9148c4f
s 209 305 112 433 161 257 51 171 108 110 105 350 384 160 467 338 490 295 246 182 126 314 8 183 286 488 197 41 125 178 219 184 389 124 472 367 27 42 203 408 398 461 458 371 394 272 274 138 152 199 205 311 106 247 142 63 370 226 256 331 297 195 463 273 468 356 334 242 482 213 116 277 68 241 368 409 61 337 400 446 73 426 292 476 254 119 282 99 475 437 43 300 7 424 70 46 66 443 201 346 143 455 439 271 310 414 202 307 449 479 275 196 34 146 237 177 276 13 448 325 374 206 102 31 135 470 477 486 90 14 480 56 28 40 45 265 364 84 227 451 136 82 326 378 399 429 33 189 11 358 244 222 369 478 466
t 211 222 363 81 84 476 227 133 431 138 237 239 106 156 380 177 181 279 318 9 272 167 33 486 184 89 377 208 338 406 196 358 214 240 267 307 22 150 304 463 213 341 296 370 394 419 323 481 342 56 74 190 392 303 479 420 335 90 29 66 128 292 164 58 489 79 25 305 127 450 57 44 110 430 310 444 273 200 103 17 324 315 125 49 115 122 373 229 263 467 68 235 322 118 152 99 261 371 130 147 319 367 284 316 123 300 470 460 135 194 210 168 451 101 262 256 393 423 493 281 151 294 102 217 399 326 173 446 8 174 3 364 401 75 357 241 13 351 36 236 31 93 299 276 142 477 494 41 95 145 410 275 94 359 440
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 11:54:09 2023]