#BEGIN: [Tue Sep 26 05:12:43 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance035_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance035_graph002_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_instance035_graph002.col /benchmark/random_instance/random_instance035_graph002_01.dat
c /benchmark/random_instance/random_instance035_graph002.col
c /benchmark/random_instance/random_instance035_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 23f4904081213da08dc289d826393eb1d2abb1fa9faa7e8d6494ce3da4fd6987
s 220 27 163 51 231 152 12 77 389 429 39 79 443 7 341 277 98 76 209 407 92 278 69 291 160 314 269 398 299 391 43 236 316 228 143 301 183 349 254 126 263 282 148 35 52 428 448 347 239 222 117 206 434 84 294 37 225 113 82 175 42 201 40 48 173 23 94 18 132 134 91 344 361 33 34 250 370 285 191 310 315 366 439 8 59 305 400 164 306 25 244 30 71 423 432 14 433 381 438 144 116 240 233 85 100 66 333 376 177 22 447 441 342 403 245 215 193 338 256 270 20 138 6 330 81 430 121 60 304 179 110 401 437 182 450 440 147 394 101 335 297 11 190 371 223 387 328
t 194 136 372 370 379 425 391 187 253 178 116 281 282 180 449 124 163 119 239 202 305 356 197 342 205 87 302 298 274 145 384 123 224 234 252 186 209 159 48 357 312 411 69 99 430 138 227 437 8 258 422 272 67 204 113 310 286 17 273 140 353 33 142 89 271 377 88 320 299 206 183 323 135 185 176 216 263 129 149 445 118 166 267 434 230 80 100 293 409 400 369 406 141 256 105 57 79 7 219 393 54 112 276 201 34 333 38 371 359 22 334 40 249 56 374 311 397 50 182 328 223 304 309 222 144 325 360 417 404 11 285 44 432 351 164 261 14 246 25 314 24 244 240 154 349 101 188
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 05:42:43 2023]