#BEGIN: [Tue Sep 26 06:39:55 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance030_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance030_graph003_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_graph003.col /benchmark/random_instance/random_instance030_graph003_01.dat
c /benchmark/random_instance/random_instance030_graph003.col
c /benchmark/random_instance/random_instance030_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID f2734ff3e8f57c0bfa06f1376c3f88d2ccb28ada9776e4d2b068d3350eb8a6a3
s 260 61 235 313 126 199 71 77 330 147 267 388 76 19 368 171 105 95 353 325 152 24 383 198 279 244 99 132 8 342 158 85 156 16 387 333 57 141 301 138 179 225 74 205 309 237 86 358 94 172 222 287 136 115 192 161 249 123 202 219 312 193 113 44 88 151 216 144 390 149 174 55 40 114 361 332 196 175 116 320 359 375 29 318 327 127 263 129 326 328 221 331 343 20 52 13 334 33 209 10 145 168 297 239 273 42 363 134 336 314 23 349 371 254 218 348 191 335 280 91 291 100 46 214 187 364 1 163 340 307 164 135
t 224 23 303 142 160 125 333 280 26 343 323 61 192 29 113 203 33 300 35 129 139 86 326 232 257 183 154 236 274 104 143 40 276 88 51 43 48 386 211 134 324 97 344 45 209 213 338 334 179 153 38 73 294 234 47 172 52 68 190 218 69 144 230 356 376 119 363 109 46 243 347 283 93 219 195 94 34 159 312 18 265 304 67 110 11 181 307 126 221 198 241 194 330 296 20 383 285 248 22 57 188 135 64 361 182 284 149 266 329 137 8 331 77 49 278 272 189 212 65 336 315 152 7 163 208 141 121 310 309 91 58 206
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 07:09:55 2023]