#BEGIN: [Mon Sep  4 19:10:35 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance026_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance026_graph003_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_instance026_graph003.col /benchmark/random_instance/random_instance026_graph003_01.dat
c /benchmark/random_instance/random_instance026_graph003.col
c /benchmark/random_instance/random_instance026_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 2414f08b342ef31d5aad9262753b00aa9cc252475f41f2fc20c299c400197a5e
s 131 319 126 182 53 120 257 245 192 123 22 136 157 101 78 154 66 153 49 20 173 194 307 77 48 141 56 16 174 139 118 183 80 211 292 248 90 36 92 98 309 177 14 156 283 74 112 46 45 39 152 132 109 272 313 59 163 175 147 164 327 99 127 178 331 288 226 215 69 94 52 130 271 5 255 19 233 145 47 37 335 113 67 310 168 281 318 63 278 26 221 32 187 12 82 304 150 70 329 165 95 301 244 314 302 179 193 181 129 227
t 39 3 268 167 316 280 180 69 147 101 152 192 210 335 177 221 311 5 139 184 151 75 123 55 143 22 53 77 33 54 271 324 102 158 252 197 285 109 24 105 332 23 138 263 46 214 183 266 60 300 20 90 309 128 48 243 233 267 166 326 244 304 10 56 238 26 135 82 61 34 288 196 43 36 227 207 330 86 296 28 136 98 70 312 245 108 153 297 18 299 130 12 111 179 262 226 181 178 239 222 329 157 172 129 93 175 206 32 301 127
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:40:36 2023]