#BEGIN: [Mon Sep  4 19:07:09 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance025_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance025_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_instance025_graph004.col /benchmark/random_instance/random_instance025_graph004_01.dat
c /benchmark/random_instance/random_instance025_graph004.col
c /benchmark/random_instance/random_instance025_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 5bdc69405dc5f3ad1cac105aa8f41a58f11aa1bef34467bdc6def3ebdc05b05a
s 116 231 5 314 65 163 159 137 315 73 295 109 8 78 133 255 283 306 141 317 69 156 278 260 28 36 325 190 35 143 91 13 286 179 215 76 263 121 170 171 77 68 294 144 38 308 302 130 324 222 19 211 160 252 131 46 212 248 52 200 165 225 61 30 322 245 201 1 150 244 232 72 241 323 274 94 267 39 311 42 23 186 247 242 290 93 70 272 82 149 55 12 217 238 43 183 224 288 146 265 32 300 205 9 264 221
t 77 188 241 105 160 16 203 59 295 75 149 319 314 261 153 205 152 27 185 91 113 32 106 315 320 39 108 220 257 43 128 280 148 183 294 44 159 225 67 299 311 324 214 135 221 222 217 211 73 267 156 169 269 114 143 200 270 163 170 193 255 206 127 177 252 68 25 259 264 286 278 173 18 72 14 291 194 238 316 321 69 41 239 1 297 234 49 145 120 276 52 12 158 130 42 242 46 71 190 249 247 4 101 82 208 224
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:37:09 2023]