#BEGIN: [Mon Sep  4 20:11:20 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance033_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance033_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_instance033_graph004.col /benchmark/random_instance/random_instance033_graph004_01.dat
c /benchmark/random_instance/random_instance033_graph004.col
c /benchmark/random_instance/random_instance033_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID af80c33facb8ff4702bfda5734a84660f0fcb4c414646f23436659c48d1712a8
s 8 37 349 123 167 107 90 351 157 218 69 31 82 330 278 396 26 197 209 219 423 381 419 424 230 227 165 413 426 368 275 395 103 65 17 152 73 55 118 268 240 322 150 315 410 391 5 40 359 390 98 326 122 308 428 258 317 241 78 33 400 11 136 132 411 274 233 183 343 41 295 221 289 6 60 262 121 399 305 99 93 168 102 242 283 321 217 104 172 20 382 389 312 38 397 229 62 42 112 220 205 108 318 135 2 29 366 223 265 202 250 170 325 417 14 269 339 385 80 88 254 307 61 341 398 109 159 384 28 171 81 378 24 309 313 406 111 210 67 7 95 9 319 75 297
t 366 379 326 37 301 377 390 269 311 85 155 154 57 33 106 99 240 38 88 68 340 2 200 364 309 267 107 410 284 122 421 21 336 423 40 249 60 1 369 104 314 39 63 344 229 247 74 76 303 275 90 213 268 392 32 304 98 183 220 382 305 166 296 283 173 427 29 372 401 178 96 428 255 313 86 205 78 143 300 260 14 398 195 291 105 167 384 20 317 70 297 156 138 216 41 387 77 323 67 413 415 265 219 145 146 325 429 188 72 209 339 49 335 282 139 232 75 121 403 101 356 289 210 116 414 419 375 277 54 93 341 225 198 239 3 315 342 391 385 193 416 347 378 31 330
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 20:41:20 2023]