#BEGIN: [Mon Sep  4 19:11:13 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance026_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance026_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_instance026_graph005.col /benchmark/random_instance/random_instance026_graph005_01.dat
c /benchmark/random_instance/random_instance026_graph005.col
c /benchmark/random_instance/random_instance026_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 665730635d8e5d13e293bec4d500651407174f2142aa78118d76c35b38ab5fb9
s 324 126 177 44 87 226 103 333 231 243 268 50 246 216 140 65 153 321 334 271 294 151 85 55 159 281 48 71 63 335 82 133 123 180 300 40 141 258 69 34 256 299 64 173 15 170 86 238 198 9 304 26 315 314 137 3 167 155 57 207 164 291 212 253 174 248 52 247 244 80 279 202 295 78 313 88 144 97 269 330 106 265 318 240 171 230 221 326 338 142 285 233 241 276 234 125 205 146 25 158 290 211 193 89 319 138 68 336 154 182 127 289 104
t 88 46 300 68 302 193 216 186 43 246 173 166 311 80 115 93 70 338 172 331 90 123 103 234 161 99 214 84 20 282 3 287 50 169 130 19 194 265 22 198 124 308 23 61 292 305 215 116 2 15 9 86 326 323 76 299 152 10 322 60 280 199 267 154 298 324 32 30 180 158 160 231 147 78 89 64 290 153 274 195 55 217 240 266 142 248 125 170 69 98 183 285 244 293 164 187 71 312 121 259 24 140 334 83 52 203 218 313 87 146 108 182 314
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:41:13 2023]