#BEGIN: [Tue Sep 26 09:09:33 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance040_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance040_graph004_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_graph004.col /benchmark/random_instance/random_instance040_graph004_01.dat
c /benchmark/random_instance/random_instance040_graph004.col
c /benchmark/random_instance/random_instance040_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 2b6cfd13fc741f14541163e93fd5a4a391e6fb8b74a79378738d27062b452a07
s 267 326 160 289 412 473 506 332 477 321 322 304 274 68 518 345 296 53 265 464 391 367 402 494 407 163 43 5 88 467 444 310 172 420 462 426 263 171 35 509 404 341 116 375 237 128 436 433 515 158 318 251 143 181 89 120 337 187 393 6 442 96 206 453 416 57 197 360 60 101 297 248 339 194 276 147 463 365 207 69 103 138 205 133 317 202 132 346 130 313 287 450 136 286 320 98 503 85 232 7 152 112 245 489 135 381 266 517 283 406 388 70 72 185 277 356 334 315 244 271 439 77 455 46 331 395 493 47 432 347 177 478 269 311 501 418 198 166 429 82 513 319 81 227 255 492 441 226 204 496 355 312 394 178 175 19 508 191 440 364 349 475 238 294 246 512 219 380 27 507 1 192 36 408 504 176 369
t 178 89 286 509 502 344 440 80 289 267 518 190 266 520 241 27 405 501 316 76 160 97 294 136 317 275 204 133 145 482 447 128 31 474 220 214 503 519 508 172 181 367 176 114 111 457 231 252 84 431 169 469 310 165 435 129 113 327 159 22 380 32 5 466 41 79 354 192 347 179 507 142 166 304 307 17 491 162 56 492 150 226 391 480 225 82 180 287 201 366 20 187 484 127 219 479 493 418 449 470 274 404 122 21 293 383 296 183 476 313 353 236 448 103 515 238 6 416 105 403 346 57 118 319 66 460 388 39 423 199 349 29 311 206 132 417 385 248 389 186 72 478 455 106 232 251 326 9 459 48 430 188 92 369 306 244 195 300 375 234 444 428 73 511 185 90 412 161 47 348 303 342 63 402 355 38 427
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 09:39:33 2023]