#BEGIN: [Mon Sep  4 19:26:54 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance028_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance028_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_instance028_graph004.col /benchmark/random_instance/random_instance028_graph004_01.dat
c /benchmark/random_instance/random_instance028_graph004.col
c /benchmark/random_instance/random_instance028_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID a51eb0e82a2ddf2bbb2382d9f33ba8244487dc112de77f9da4b0dff4937c1484
s 161 319 43 5 117 234 12 175 31 100 164 296 142 238 340 349 2 294 310 324 178 239 351 34 18 222 254 112 213 285 304 193 85 15 60 38 11 169 84 52 40 45 176 16 50 201 195 329 292 99 251 57 107 293 230 203 330 160 158 184 7 248 89 308 233 20 39 354 350 51 147 199 263 321 202 122 59 41 97 232 311 277 279 257 259 361 28 252 295 121 33 348 153 131 211 358 241 146 282 124 172 101 187 177 333 205 339 118 86 24 288 156 109 137 276 73 140 353
t 327 297 191 254 175 114 227 3 301 315 258 255 178 201 65 228 128 322 212 352 340 23 2 230 139 267 74 193 40 214 337 323 353 169 143 262 194 341 317 11 4 126 362 158 67 259 25 132 76 9 294 148 309 20 152 149 101 112 239 22 242 361 147 220 266 305 44 7 216 90 347 86 55 351 98 293 211 355 95 5 92 141 270 335 283 346 97 295 265 324 137 24 288 156 249 57 229 308 1 184 313 363 50 318 180 21 359 78 248 330 299 171 47 174 269 279 59 213
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:56:54 2023]