#BEGIN: [Mon Sep  4 19:08:18 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance026_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance026_graph001_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_graph001.col /benchmark/random_instance/random_instance026_graph001_01.dat
c /benchmark/random_instance/random_instance026_graph001.col
c /benchmark/random_instance/random_instance026_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID bf9d784a212f2f681b12033eac740895eb11e5f77551a0233d80f3169b0f3b3e
s 221 117 65 104 149 38 328 11 291 61 313 97 63 66 319 332 28 16 268 114 21 17 6 217 333 158 176 240 150 203 307 135 207 73 82 85 289 322 278 170 98 317 264 42 25 127 208 184 290 75 100 125 166 37 230 52 338 287 183 228 152 301 33 157 118 321 56 200 109 238 131 256 312 251 303 253 81 331 300 136 102 202 224 285 70 113 178 68 298 87 258 59 169 191 337 280 181 212 159 294 57 144 64 54 110 92 132 243 215 315
t 256 217 79 134 107 119 231 192 153 246 233 23 71 13 172 44 45 301 84 190 51 270 321 274 329 7 65 105 117 24 306 175 312 295 238 286 35 59 307 88 110 204 131 43 279 225 50 315 52 74 282 112 205 338 103 135 133 158 82 169 62 11 37 271 318 277 48 292 148 159 281 201 157 36 331 188 259 288 320 104 15 123 85 218 186 208 87 61 212 75 213 180 215 313 324 28 150 273 12 66 302 280 257 5 219 243 21 305 223 258
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:38:18 2023]