#BEGIN: [Tue Sep  5 11:23:58 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance037_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance037_graph005_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_instance037_graph005.col /benchmark/random_instance/random_instance037_graph005_01.dat
c /benchmark/random_instance/random_instance037_graph005.col
c /benchmark/random_instance/random_instance037_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 04527e38264b5466d95cdc07f3ef82f38d2ed74e721febacf4bbe855f02c631d
s 148 147 88 303 386 109 256 192 220 11 382 355 73 380 288 352 33 24 248 436 127 451 260 427 81 18 369 426 181 448 465 422 387 414 53 197 292 199 472 325 56 156 327 287 75 183 459 322 266 52 101 92 28 254 189 432 47 328 196 36 370 310 272 430 85 283 358 128 246 245 201 9 143 123 381 134 72 136 140 1 145 232 277 463 423 106 13 323 110 247 124 255 469 318 445 177 471 44 42 326 312 64 340 330 173 131 398 263 298 172 276 48 180 100 71 87 236 118 57 86 348 319 350 129 468 281 239 364 317 461 218 476 208 384 441 424 343 365 371 39 151 84 389 393 26 165 21 428 93 10 29 314 153 38
t 284 433 263 274 86 155 199 363 216 379 89 446 439 47 55 154 203 227 78 28 220 465 27 267 298 91 19 195 396 142 466 473 163 75 138 240 172 187 426 25 326 309 454 26 472 351 304 236 81 3 447 147 58 468 418 79 345 35 189 403 338 218 59 134 179 11 188 308 435 173 51 4 460 14 161 332 413 73 244 157 105 390 452 305 429 294 348 132 325 53 316 395 383 13 23 110 99 52 64 319 164 434 106 200 320 60 119 85 92 329 405 8 148 131 242 442 178 21 88 101 201 124 166 285 249 264 399 185 352 39 280 56 262 222 118 361 370 464 246 94 470 74 407 30 29 307 108 277 80 229 122 306 349 162
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 11:53:59 2023]