#BEGIN: [Mon Sep  4 20:10:39 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance032_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance032_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance032_graph005.col /benchmark/random_instance/random_instance032_graph005_01.dat
c /benchmark/random_instance/random_instance032_graph005.col
c /benchmark/random_instance/random_instance032_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 01c85306e8d525b38257468e1aa777a9fe910104d65b96ebd80056dc487f91f0
s 324 351 381 150 194 171 227 120 77 39 298 415 73 72 208 260 283 81 267 133 302 13 327 360 238 177 88 34 294 105 130 289 203 66 78 46 99 403 341 350 312 68 132 59 213 331 254 340 64 104 318 286 290 276 337 256 370 211 5 25 284 264 355 384 343 377 309 243 229 253 87 181 346 117 42 217 390 37 268 65 54 136 402 102 29 21 308 412 332 190 379 33 383 155 173 266 410 223 299 91 11 352 183 225 345 109 165 364 288 62 63 124 143 228 316 103 12 210 31 393 249 314 167 158 204 401 354 152 75 71 138 321 52
t 385 414 165 187 42 224 290 257 204 218 101 8 282 192 194 246 176 400 330 68 314 346 269 151 59 143 167 258 371 335 195 299 145 284 25 54 135 19 283 49 222 347 91 248 256 53 372 362 173 241 18 255 238 73 219 124 251 183 403 250 370 304 206 294 209 26 220 365 1 278 74 156 130 307 289 215 369 313 136 216 328 303 323 146 117 249 373 27 23 327 112 172 401 310 286 158 348 39 72 180 277 233 99 51 210 182 144 157 70 43 147 35 89 67 361 243 133 239 259 387 268 55 225 134 34 186 254 63 230 320 138 38 358
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 20:40:40 2023]