#BEGIN: [Mon Sep  4 20:08:22 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance032_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance032_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_instance032_graph003.col /benchmark/random_instance/random_instance032_graph003_01.dat
c /benchmark/random_instance/random_instance032_graph003.col
c /benchmark/random_instance/random_instance032_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 31c77b48dca8cb44b111acece779e75b773515fbb3199e713062f027bb3efa24
s 367 191 272 387 164 359 336 261 319 135 268 300 361 138 166 6 15 210 128 325 392 263 156 355 30 350 46 54 317 371 354 176 344 208 368 177 285 181 230 83 377 24 353 180 205 409 232 122 271 131 117 127 22 44 125 91 270 20 225 233 274 69 186 155 7 161 183 84 362 112 200 329 314 26 384 132 75 410 40 50 401 391 227 162 244 94 316 73 65 235 204 151 47 18 352 326 38 255 284 37 107 39 207 351 335 247 90 136 110 163 251 189 119 310 9 59 179 120 331 61 33 154 109 321 85 416 198 257 309
t 165 47 34 265 243 184 102 85 215 154 26 254 140 61 40 4 9 392 369 242 80 259 223 270 217 349 170 412 150 70 3 250 30 83 7 294 71 79 183 89 81 262 310 122 293 346 249 355 151 226 379 202 261 271 139 408 413 272 332 177 220 213 411 239 251 286 368 131 125 324 416 91 301 134 124 344 62 247 92 295 161 415 159 58 374 296 302 273 147 176 37 175 104 119 94 266 377 284 179 230 371 308 162 210 245 203 233 227 18 235 76 282 354 323 334 82 59 31 194 198 22 257 240 335 73 292 90 173 199
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 20:38:22 2023]