#BEGIN: [Tue Sep  5 04:25:07 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance034_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance034_graph005_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_instance034_graph005.col /benchmark/random_instance/random_instance034_graph005_01.dat
c /benchmark/random_instance/random_instance034_graph005.col
c /benchmark/random_instance/random_instance034_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 04bc53f2a562fa642003b31a79ac901dba9c2570191591a96b303a748c463c5f
s 205 380 125 311 262 344 57 196 435 189 27 148 128 176 355 350 243 81 70 52 5 398 234 298 285 438 117 407 110 324 364 54 140 38 188 168 157 252 23 280 156 230 216 178 246 348 417 158 131 175 263 277 112 372 124 265 410 428 169 84 1 391 107 136 422 419 55 49 85 397 194 121 289 442 337 223 281 305 295 343 58 231 431 412 270 88 10 327 284 69 347 365 64 145 210 282 307 56 273 106 411 149 9 13 44 12 177 332 294 197 226 385 424 274 90 111 258 290 83 366 401 416 45 299 229 61 318 182 41 360 255 432 433 222 24 384 99 199 333
t 370 312 125 100 196 181 102 116 205 441 200 364 438 219 282 390 296 174 394 431 92 278 273 161 241 382 114 120 134 227 419 242 46 350 215 149 5 42 101 12 246 335 83 121 399 184 396 342 119 151 314 344 69 435 53 79 287 170 346 84 164 403 203 57 25 129 171 56 328 95 230 226 356 52 135 238 347 55 140 374 103 58 323 173 322 285 371 262 77 411 313 16 111 17 14 113 360 359 65 288 109 225 87 223 363 309 338 106 366 148 231 429 35 54 299 71 275 432 177 252 27 144 197 305 301 180 179 168 99 315 72 283 433 290 228 292 327 284 160
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 04:55:07 2023]