#BEGIN: [Tue Sep  5 04:23:50 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance033_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance033_graph001_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_instance033_graph001.col /benchmark/random_instance/random_instance033_graph001_01.dat
c /benchmark/random_instance/random_instance033_graph001.col
c /benchmark/random_instance/random_instance033_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 3afe2b76aa8c312d4f2955153d5849f24bf852c099c111f2f1d38133c6a98a7e
s 236 214 119 414 190 57 188 324 294 86 237 146 423 186 143 76 270 142 81 240 429 45 200 25 118 138 424 69 284 258 276 163 425 175 228 283 130 372 260 218 323 385 238 210 402 420 357 255 31 129 275 333 7 59 239 318 293 392 273 247 6 182 193 421 381 41 265 122 391 109 398 281 70 43 241 418 128 65 46 409 419 375 242 350 73 74 316 105 252 29 332 263 116 33 133 264 58 297 296 267 321 184 259 307 95 390 44 213 309 245 412 93 303 166 269 15 208 342 17 37 232 378 248 121 416 54 165 53 277 169 91 127 400 387 272 311 366 370 79
t 377 112 175 359 168 51 162 346 21 146 366 13 140 343 393 174 12 294 369 245 96 317 206 188 49 267 44 150 63 180 299 234 54 331 84 324 93 375 270 186 79 293 97 426 371 222 20 415 399 88 357 269 341 94 250 318 424 372 383 74 119 370 134 32 387 61 192 263 251 209 216 288 123 152 179 91 189 50 205 253 15 135 127 178 391 30 138 390 33 137 199 7 35 62 342 381 100 356 27 296 64 191 214 280 41 333 18 203 116 297 19 108 109 423 378 265 59 224 77 171 196 388 247 37 55 330 212 429 3 295 201 145 122 396 311 11 81 315 211
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 04:53:50 2023]