#BEGIN: [Mon Sep  4 19:40:38 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance029_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance029_graph004_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_instance029_graph004.col /benchmark/random_instance/random_instance029_graph004_01.dat
c /benchmark/random_instance/random_instance029_graph004.col
c /benchmark/random_instance/random_instance029_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 451dc49a4c79a6297edaa0f7632bd5edd947f3348899da45de094f1be439b525
s 65 32 250 199 207 285 91 360 280 141 94 10 340 43 119 18 156 44 59 209 12 1 179 203 231 246 258 173 221 248 274 131 75 298 86 132 186 189 352 279 324 300 108 204 128 297 163 222 15 367 26 342 267 311 322 366 210 139 47 341 247 358 58 356 135 70 272 296 127 83 242 229 276 100 289 304 369 347 87 310 271 213 344 238 102 235 82 353 346 191 122 118 89 72 78 359 85 190 370 301 55 334 64 211 192 144 168 76 264 74 115 314 200 374 249 278 3 330 335 24 134 197 95 281 216
t 286 348 353 45 208 27 10 115 112 119 254 280 142 124 21 340 87 125 1 212 317 223 260 23 270 56 89 307 176 295 370 298 150 84 351 263 252 240 220 71 155 116 144 243 100 9 329 313 141 294 365 146 157 322 253 326 47 36 328 131 94 255 41 219 297 154 3 218 269 292 290 327 357 267 15 374 230 359 275 195 206 145 78 296 98 20 306 188 302 58 346 184 101 214 6 179 197 60 72 249 222 216 85 54 318 278 28 213 113 170 8 82 282 311 341 305 66 127 192 312 61 33 30 31 24
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 20:10:39 2023]