#BEGIN: [Tue Sep  5 05:23:52 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance039_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance039_graph004_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_instance039_graph004.col /benchmark/random_instance/random_instance039_graph004_01.dat
c /benchmark/random_instance/random_instance039_graph004.col
c /benchmark/random_instance/random_instance039_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID af6e0a012c9bfa115223de80fd473f3583c18ec7f67024b6a5292b7dd526cdc3
s 13 16 113 277 108 166 385 475 170 247 430 290 323 183 273 377 419 22 86 480 79 222 76 20 444 463 436 26 255 68 60 254 459 360 216 142 52 211 349 27 267 116 390 395 160 437 70 252 168 58 35 181 165 433 283 272 391 204 367 169 506 503 210 132 330 425 284 38 351 462 285 193 128 441 410 338 146 243 404 120 202 125 478 333 134 374 34 75 369 124 4 331 431 354 224 261 119 195 426 329 286 236 245 1 468 226 460 47 53 175 77 85 483 64 371 145 31 500 178 129 296 319 161 302 207 223 96 287 280 324 81 8 141 382 230 233 100 122 454 340 294 235 393 240 415 208 455 322 197 138 293 61 315 479 486 421 312 271 43 365 381
t 282 52 463 97 230 267 163 347 150 385 419 103 268 179 114 154 65 349 409 354 149 277 423 293 155 441 340 254 178 83 54 235 95 232 321 202 381 148 471 410 454 280 188 213 457 151 246 224 265 324 388 422 367 453 346 493 30 355 296 244 211 8 478 237 64 174 363 47 128 117 391 452 390 269 108 119 48 167 169 144 58 152 132 506 181 239 131 53 462 364 392 360 461 21 418 264 214 68 89 488 192 487 284 109 497 480 459 142 59 278 25 498 302 116 303 10 69 315 408 43 127 338 191 51 499 490 271 220 23 107 98 456 238 79 501 20 113 226 491 208 34 194 489 6 426 351 138 500 125 312 198 305 334 286 143 287 369 414 236 175 393
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 05:53:52 2023]