#BEGIN: [Tue Sep  5 11:01:45 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance037_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance037_graph003_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_graph003.col /benchmark/random_instance/random_instance037_graph003_01.dat
c /benchmark/random_instance/random_instance037_graph003.col
c /benchmark/random_instance/random_instance037_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 8c582ea23e7f6ec09f3791ba0acfbdd47d7a8429765f0e86f13c2e4998728224
s 233 121 112 244 235 62 94 95 210 80 340 217 435 347 456 319 224 89 205 65 27 170 463 115 321 322 50 428 354 76 323 478 377 457 293 53 381 304 24 385 37 75 241 28 156 297 226 302 369 63 208 343 368 17 479 357 148 453 316 42 182 216 100 196 144 109 305 103 55 311 278 314 209 99 88 93 155 177 384 73 400 202 449 303 39 475 352 157 184 324 137 445 56 455 84 3 247 330 16 44 380 171 11 221 68 8 274 25 279 20 461 71 147 281 92 242 424 423 160 64 78 32 280 98 474 480 212 257 49 437 57 215 443 275 60 398 434 320 66 458 1 317 312 175 14 308 169 426 309 287 325 180 195 294 364 9 30 45 166 277
t 28 385 136 224 186 143 156 226 218 53 23 147 83 146 152 99 303 396 148 278 67 162 358 481 285 316 30 281 77 169 364 7 331 109 110 141 95 362 151 137 189 40 426 473 402 203 38 261 247 112 339 32 105 401 158 84 460 182 88 272 257 462 392 170 356 73 429 15 66 1 94 260 390 291 295 269 347 92 118 81 308 163 381 413 475 241 157 273 37 44 284 280 302 300 343 348 427 115 294 4 9 472 263 377 246 405 107 287 440 154 415 16 217 478 404 465 75 412 172 286 297 100 161 165 63 106 403 442 471 46 20 134 357 25 51 319 461 90 184 320 437 199 326 59 175 10 145 31 315 436 355 434 424 335 49 171 78 414 423 457
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 11:31:45 2023]