#BEGIN: [Tue Sep  5 10:32:04 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance034_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance034_graph003_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_instance034_graph003.col /benchmark/random_instance/random_instance034_graph003_01.dat
c /benchmark/random_instance/random_instance034_graph003.col
c /benchmark/random_instance/random_instance034_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID d8ca33a6bec20bbe7c0203a0793f5d0ae0fbbee3ff0f3d9fb80a2d1e73697048
s 311 379 182 21 112 186 80 339 358 226 243 395 335 142 412 397 100 366 346 195 31 375 71 426 54 259 25 148 146 47 288 361 419 403 1 204 231 114 421 51 185 250 41 348 238 122 343 282 189 15 109 153 132 217 28 12 197 326 93 251 437 215 117 409 60 318 281 247 391 36 125 78 143 310 74 411 59 107 438 420 110 273 181 38 169 353 201 342 133 422 214 207 176 359 313 155 284 380 211 296 219 127 55 233 425 90 42 362 49 108 26 293 373 232 2 222 388 415 306 157 141 92 432 244 365 137 410 433 208 39 227 255 4 30 91 345 67 180 164 50 321 234
t 115 90 150 189 94 30 67 135 33 301 60 355 96 362 41 342 136 159 167 66 218 176 416 419 199 280 177 216 309 352 104 117 84 100 157 432 326 143 75 77 179 255 329 16 373 333 210 2 207 34 1 266 404 52 79 194 337 410 403 130 289 121 201 181 198 80 296 155 192 148 427 335 217 240 278 227 9 36 308 387 93 56 305 209 7 389 72 270 420 108 38 132 149 186 73 49 51 109 441 203 204 346 138 277 298 200 421 422 113 81 315 440 273 311 61 82 103 306 22 433 361 356 107 231 5 166 313 69 168 385 110 15 350 230 46 39 134 250 213 140 436 64
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 11:02:04 2023]