#BEGIN: [Mon Sep  4 20:41:34 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance037_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance037_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_instance037_graph004.col /benchmark/random_instance/random_instance037_graph004_01.dat
c /benchmark/random_instance/random_instance037_graph004.col
c /benchmark/random_instance/random_instance037_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 181fa02639b1ad3f1d1b7ac13b2a86cd0570efc522be98d945972bf671b48e1b
s 275 249 436 297 348 276 167 117 390 63 129 194 190 218 326 88 250 114 180 387 334 231 55 301 196 445 238 413 29 243 430 286 315 100 26 200 52 474 164 274 242 392 146 20 288 410 75 209 369 18 273 192 86 61 320 271 347 476 95 133 427 230 53 81 434 280 79 172 16 295 175 15 144 123 293 350 284 254 470 296 440 357 163 109 30 160 92 11 356 6 187 388 185 90 312 481 147 289 57 64 223 462 401 48 435 363 120 287 58 22 349 85 359 173 177 409 418 361 428 37 329 473 404 368 156 118 337 316 237 452 318 321 84 308 323 433 373 458 328 360 215 203 222 391 376 450 303 389 38 262 140 255 78 378 457
t 454 288 68 369 84 408 450 126 190 241 353 443 339 117 89 158 345 205 257 114 361 425 452 264 1 187 388 42 18 170 252 303 337 247 130 275 12 7 218 237 15 25 308 330 105 26 390 17 472 147 435 9 465 478 376 250 479 206 259 38 299 200 163 385 350 124 85 290 96 280 40 236 208 271 389 414 234 384 134 309 94 439 278 326 5 273 457 320 287 143 243 387 332 430 331 468 294 373 394 334 81 47 466 71 212 391 293 48 207 456 461 270 123 121 80 104 6 136 46 475 444 211 356 442 27 296 412 122 238 22 358 409 401 150 446 327 335 254 268 336 405 29 255 342 380 203 242 164 87 321 349 109 329 300 175
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 21:11:34 2023]