#BEGIN: [Mon Sep  4 23:15:48 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance038_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance038_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance038_graph004.col /benchmark/random_instance/random_instance038_graph004_01.dat
c /benchmark/random_instance/random_instance038_graph004.col
c /benchmark/random_instance/random_instance038_graph004_01.dat
s 420 241 227 476 27 89 54 162 325 455 133 218 143 446 33 158 144 369 368 300 472 240 382 178 438 242 220 70 20 130 248 316 376 250 340 292 238 418 485 285 350 323 398 448 95 336 266 295 10 137 363 26 478 417 296 2 299 407 324 74 466 83 344 42 199 471 494 278 175 151 304 243 244 361 479 454 121 51 379 236 393 449 77 4 120 9 269 337 15 276 226 389 57 134 346 156 322 237 359 415 25 32 205 78 357 34 210 328 107 453 355 21 202 372 3 174 406 104 24 229 159 360 298 115 493 255 233 421 197 36 293 81 126 46 132 110 259 155 436 195 401 245 329 272 186 190 212 317 67 142 287 463 391 58 486 116 428 395 384 88 319 128
t 99 333 209 28 9 375 107 207 225 138 280 36 179 416 473 332 17 292 188 41 464 244 91 252 455 2 331 287 203 349 82 115 32 4 92 276 389 148 201 251 386 30 110 421 160 192 285 170 182 254 381 348 307 390 240 342 318 1 488 423 96 93 46 136 341 100 357 475 48 65 272 190 364 322 303 368 189 90 229 144 206 313 21 283 198 295 72 80 288 155 291 472 393 422 187 378 186 121 474 233 39 3 88 404 447 309 470 69 300 51 476 130 463 180 234 398 109 211 360 411 134 151 49 25 311 119 376 241 356 258 106 388 352 24 143 439 486 197 417 480 371 363 493 149 374 78 11 55 213 358 40 428 57 459 16 243 104 105 485 492 490 324
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 23:24:20 2023]