#BEGIN: [Mon Sep  4 23:07:00 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance034_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance034_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_instance034_graph004.col /benchmark/random_instance/random_instance034_graph004_01.dat
c /benchmark/random_instance/random_instance034_graph004.col
c /benchmark/random_instance/random_instance034_graph004_01.dat
s 439 228 147 220 415 175 59 306 433 348 8 4 118 53 302 30 223 294 119 240 135 29 394 322 132 239 398 166 225 85 427 399 237 256 371 56 391 261 258 93 122 103 437 161 50 80 98 269 106 284 244 396 241 105 83 296 213 146 352 111 201 128 159 108 315 15 3 164 319 417 279 33 318 234 38 192 144 57 176 153 165 266 27 88 421 313 117 290 316 414 299 32 375 183 16 205 378 341 204 130 276 367 13 324 94 35 377 293 420 67 283 253 309 422 1 233 260 383 221 81 434 72 425 76 174 372 435 6 126 177 101 136 196 102 354 224 416 173 5 180 262 335 52 331 34 43 362 66
t 400 365 37 41 321 264 415 442 372 141 5 76 344 239 367 427 218 192 274 397 243 386 161 211 226 210 409 205 38 173 315 106 431 357 187 307 69 75 216 189 241 411 418 254 390 72 404 29 149 67 229 97 277 351 129 314 280 7 57 370 360 71 126 253 108 30 147 377 186 414 270 387 23 364 204 64 422 217 34 374 299 338 316 287 259 319 281 332 238 98 256 62 290 331 132 437 32 111 16 343 426 35 273 396 276 103 154 363 4 122 328 434 43 127 195 81 266 212 279 393 293 93 300 407 341 371 163 8 311 352 244 138 110 346 31 366 159 33 83 165 385 225 40 375 395 368 180 260
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 23:14:55 2023]