#BEGIN: [Tue Sep  5 11:24:54 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance039_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance039_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_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat
c /benchmark/random_instance/random_instance039_graph001.col
c /benchmark/random_instance/random_instance039_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 8310908787bbc191a57b1af4d3d1b96dfd0d9d5cfa116849cba1d056e148973f
s 185 317 373 109 354 23 421 90 456 312 495 340 73 229 424 116 269 51 80 170 253 321 452 430 234 119 311 406 246 318 213 275 471 220 418 34 272 254 123 335 124 182 245 133 341 42 113 158 37 409 24 138 338 427 362 231 68 310 364 54 137 31 446 404 503 85 314 434 459 9 336 104 171 110 115 258 320 35 139 141 294 379 25 443 203 302 298 415 333 393 16 431 432 188 319 233 156 479 458 419 241 125 368 144 252 30 177 154 183 439 378 107 366 161 326 121 78 29 309 33 265 255 159 222 12 371 337 160 26 225 353 365 473 13 472 441 502 304 342 257 53 477 381 454 453 383 399 486 166 176 190 3 186 103 389 345 279 343 223 271 153
t 57 213 358 238 244 54 259 49 64 372 39 495 218 264 346 498 429 155 98 146 154 23 16 228 93 285 14 80 347 75 297 261 52 420 62 450 340 390 501 131 86 365 507 203 151 460 187 441 303 173 425 21 311 17 269 110 59 174 192 284 329 397 3 275 150 176 221 260 493 41 370 491 53 427 199 362 38 107 338 373 159 369 271 58 161 414 350 50 323 503 393 74 229 409 125 314 51 273 446 95 440 87 287 319 445 381 97 368 342 206 246 204 349 115 166 103 85 235 92 371 116 419 262 111 48 135 132 406 343 232 106 108 448 504 289 463 379 270 279 477 117 383 298 182 9 437 452 6 109 120 488 2 502 143 144 294 407 29 417 378 302
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 11:54:54 2023]