#BEGIN: [Tue Sep 26 09:09:32 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance040_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance040_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_instance040_graph001.col /benchmark/random_instance/random_instance040_graph001_01.dat c /benchmark/random_instance/random_instance040_graph001.col c /benchmark/random_instance/random_instance040_graph001_01.dat TIMEOUT 1800 c send SIGTERM to CID 75f0feb0a5bf88641e84b603a591185472b2aa992a65ec523f0543ef7e92416f s 117 118 476 287 68 305 187 219 480 24 132 303 442 401 62 285 73 499 310 490 142 265 50 478 459 295 297 99 80 306 290 326 40 89 314 188 462 299 500 184 339 403 396 402 122 54 518 321 318 450 161 216 334 208 7 337 220 446 186 481 193 445 349 1 251 228 416 180 143 289 509 81 436 510 333 417 111 185 96 322 353 453 141 342 16 29 316 520 147 340 511 320 93 28 377 253 244 104 255 284 376 312 66 482 270 97 247 35 363 51 212 304 10 166 254 507 45 444 307 430 301 79 503 46 31 177 390 267 372 123 495 126 516 94 91 315 112 201 501 107 175 204 344 199 103 292 206 475 384 293 158 85 26 452 407 56 164 152 274 154 226 389 75 18 t 8 422 470 350 379 17 62 391 113 110 465 327 180 169 444 191 109 343 499 179 290 65 498 493 516 107 308 70 298 236 401 509 349 197 407 200 216 4 189 282 469 255 74 420 368 507 170 283 345 288 43 515 5 230 305 217 347 142 334 272 145 505 20 59 263 199 502 93 285 424 146 358 24 361 100 84 49 501 427 138 346 496 173 108 431 257 96 171 224 336 133 172 520 432 457 363 31 248 439 37 85 56 219 330 174 153 289 258 32 211 127 27 52 484 384 320 435 421 396 233 208 164 409 141 184 295 322 459 426 77 492 423 193 318 452 473 490 196 97 329 497 190 185 82 307 10 281 36 205 21 304 23 73 331 456 364 256 143 218 434 154 453 121 300 c UNKNOWN c REACHABILITY UNKNOWN #END: [Tue Sep 26 09:39:32 2023]