#BEGIN: [Wed Sep 13 22:42:27 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/exp_instance/LGC_exp_instance010.col
#INSTANCE2: /benchmark/exp_instance/LGC_exp_instance010_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/exp_instance/LGC_exp_instance010.col /benchmark/exp_instance/LGC_exp_instance010_01.dat
c /benchmark/exp_instance/LGC_exp_instance010.col
c /benchmark/exp_instance/LGC_exp_instance010_01.dat
TIMEOUT 1800
c send SIGTERM to CID ed3a3893ce8b4b3acbb63a905af076dadb9a9397cc0bb74dfcba06627e975587
s 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 79 82 84 86 88 90 92 95 97 99 101 103 105 108 110 112 114 116 118 121 123 125 127 129 132 134 136 137 139 141 144 146 148 149 151 153 156 158 160 161 163 165 168 170 172 173 175 177 180 182 184 185 187 189 192 194 196 197 199 201 204 206 208 209 211 213 216 218 220 221 223 225 228 230 232 233 235 237 240 242 244 245 247 249 252 254 256 257 259 261 264 266 268 269 271 273 276 278 280 281 283 285 288 290 292 293 295 297 300 302 304 305 307 309 312 314 316 317 319 321 324 326 328 329 331 333 336 338 340 341 343 345 348 350 352 353 355 357 360 362 364 365 367 369 372 374 376 377 379 381 384 386 388 389 391 393 396 398 400 401 403 405 408 410 412 413 415 417 420 422 424 425 427 429 432 434 436 437 439 441 444 446 448 449 451 453 456 458 460 461 463 465 468 470 472 473 475 477 480 482 484 485 487 489 492 494 496 497 499 501 504 506 508 509 511 513 516 518 520 521 523 525 528 530 532 533 535 537 540 542 544 545 547 549 552 554 556 557 559 561 564 566 568 569 571 573 576 578 580 581 583 585 588 590 592 593 595 597 600 602 604 605 607 609 612 614 616 617 619 621 624 626 628 629 631 633 636 638 640 641 643 645 648 650 652 653 655 657 660 662 664 665 667 669
t 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 79 82 84 86 88 90 92 95 97 99 101 103 105 108 110 112 114 116 119 120 123 125 127 129 132 134 136 137 139 141 144 146 148 149 151 153 156 158 160 161 163 165 168 170 172 173 175 177 180 182 184 185 187 189 192 194 196 197 199 201 204 206 208 209 211 213 216 218 220 221 223 225 228 230 232 233 235 237 240 242 244 245 247 249 252 254 256 257 259 261 264 266 268 269 271 273 276 278 280 281 283 285 288 290 292 293 295 297 300 302 304 305 307 309 312 314 316 317 319 321 324 326 328 329 331 333 336 338 340 341 343 345 348 350 352 353 355 357 360 362 364 365 367 369 372 374 376 377 379 381 384 386 388 389 391 393 396 398 400 401 403 405 408 410 412 413 415 417 420 422 424 425 427 429 432 434 436 437 439 441 444 446 448 449 451 453 456 458 460 461 463 465 468 470 472 473 475 477 480 482 484 485 487 489 492 494 496 497 499 501 504 506 508 509 511 513 516 518 520 521 523 525 528 530 532 533 535 537 540 542 544 545 547 549 552 554 556 557 559 561 564 566 568 569 571 573 576 578 580 581 583 585 588 590 592 593 595 597 600 602 604 605 607 609 612 614 616 617 619 621 624 626 628 629 631 633 636 638 640 641 643 645 648 650 652 653 655 657 660 662 664 665 667 669
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Wed Sep 13 23:12:28 2023]