#BEGIN: [Tue Sep 5 03:53:49 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest1 #INSTANCE1: /benchmark/random_instance/random_instance030_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph001_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_instance030_graph001.col /benchmark/random_instance/random_instance030_graph001_01.dat c /benchmark/random_instance/random_instance030_graph001.col c /benchmark/random_instance/random_instance030_graph001_01.dat TIMEOUT 1800 c send SIGTERM to CID cb9ccf95e82af0ee601af98438a1b10f424b5511f46a11a3923d4994939b109a s 220 84 142 358 270 364 271 37 167 124 277 375 79 85 31 368 122 5 377 373 298 308 379 350 243 367 203 326 234 97 336 177 363 149 102 64 323 349 128 337 344 291 183 283 164 258 3 46 57 90 225 24 123 74 334 232 380 34 268 193 36 248 75 104 266 45 306 35 49 141 87 320 261 299 23 54 293 99 62 133 275 175 180 51 78 274 100 151 342 176 222 341 2 108 178 59 269 333 286 295 140 383 237 160 152 340 211 157 227 292 163 70 182 287 68 382 335 19 91 76 204 129 188 252 357 66 t 154 359 302 30 108 99 45 240 380 179 307 170 221 349 198 230 146 31 85 57 173 242 89 243 2 368 160 128 260 381 171 382 220 22 316 80 369 292 87 358 193 245 168 103 218 138 327 65 256 101 91 86 379 389 362 51 314 192 88 234 361 337 185 353 227 73 43 344 351 254 319 352 340 83 211 188 282 141 176 1 96 163 41 206 326 115 59 76 291 295 111 23 209 44 355 34 77 386 342 40 140 280 270 35 311 98 102 46 38 190 313 11 9 10 323 149 384 104 20 151 37 348 147 315 318 71 c UNKNOWN c REACHABILITY UNKNOWN #END: [Tue Sep 5 04:23:50 2023]