Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_120_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0007.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0007.txt.wcnf *** c c Min unsat cost LB: 808 ... c Min unsat cost LB: 1751 ... c Min unsat cost LB: 2662 ... c Min unsat cost LB: 3589 ... c Min unsat cost LB: 4503 ... c Min unsat cost LB: 4515 ... c Min unsat cost LB: 5441 ... c Min unsat cost LB: 5874 ... c Min unsat cost LB: 6157 ... c Min unsat cost LB: 6407 ... c Min unsat cost LB: 7204 ... c Min unsat cost LB: 8078 ... c Min unsat cost LB: 8275 ... c Min unsat cost LB: 8397 ... c Min unsat cost LB: 8835 ... c Min unsat cost LB: 9085 ... c Min unsat cost LB: 9535 ... c Min unsat cost LB: 9696 ... c Min unsat cost LB: 10210 ... c Min unsat cost LB: 10317 ... c Min unsat cost LB: 10996 ... c Min unsat cost LB: 11504 ... c Min unsat cost LB: 12099 ... c Min unsat cost LB: 12382 ... c Min unsat cost LB: 12735 ... c Min unsat cost LB: 13502 ... c Min unsat cost LB: 14097 ... c Min unsat cost LB: 14184 ... c Min unsat cost LB: 15098 ... c Min unsat cost LB: 15734 ... c Min unsat cost LB: 15869 ... c Min unsat cost LB: 16764 ... c Min unsat cost LB: 17039 ... c Min unsat cost LB: 17982 ... c Min unsat cost LB: 18143 ... c Min unsat cost LB: 18290 ... c Min unsat cost LB: 19186 ... c Min unsat cost LB: 19218 ... c Min unsat cost LB: 20007 ... c Min unsat cost LB: 20365 ... c Min unsat cost LB: 20397 ... c Min unsat cost LB: 21292 ... c Min unsat cost LB: 22109 ... c Min unsat cost LB: 22842 ... c Min unsat cost LB: 23356 ... c Min unsat cost LB: 23955 ... c Min unsat cost LB: 24112 ... c Min unsat cost LB: 25024 ... c Min unsat cost LB: 25039 ... c Min unsat cost LB: 25235 ... c Min unsat cost LB: 25749 ... c Min unsat cost LB: 25779 ... c Min unsat cost LB: 26339 ... c Min unsat cost LB: 26403 ... c Min unsat cost LB: 26677 ... c Min unsat cost LB: 27067 ... c Min unsat cost LB: 27432 ... c Min unsat cost LB: 28162 ... c Min unsat cost LB: 28358 ... c Min unsat cost LB: 28986 ... c Min unsat cost LB: 29292 ... c Min unsat cost LB: 29710 ... c Min unsat cost LB: 29874 ... c Min unsat cost LB: 29940 ... c Min unsat cost LB: 29972 ... c Min unsat cost LB: 30133 ... c Min unsat cost LB: 30680 ... c Min unsat cost LB: 31131 ... c Min unsat cost LB: 31730 ... c Min unsat cost LB: 32110 ... c Min unsat cost LB: 32562 ... c Min unsat cost LB: 33053 ... c Min unsat cost LB: 33303 ... c Min unsat cost LB: 33578 ... c Min unsat cost LB: 34242 ... c Min unsat cost LB: 35112 ... c Min unsat cost LB: 35230 ... c Min unsat cost LB: 35747 ... c Min unsat cost LB: 36170 ... c Min unsat cost LB: 36478 ... c Min unsat cost LB: 36690 ... c Min unsat cost LB: 36998 ... c Min unsat cost LB: 37116 ... c Min unsat cost LB: 37312 ... c Min unsat cost LB: 37406 ... c Min unsat cost LB: 37630 ... c Min unsat cost LB: 37694 ... c Min unsat cost LB: 38055 ... c Min unsat cost LB: 38572 ... c Min unsat cost LB: 38622 ... c Min unsat cost LB: 38675 ... c Min unsat cost LB: 38860 ... c Min unsat cost LB: 39025 ... c Min unsat cost LB: 39135 ... c Min unsat cost LB: 39270 ... c Min unsat cost LB: 39817 ... c Min unsat cost LB: 40025 ... c Min unsat cost LB: 41026 ... c Min unsat cost LB: 41512 ... c Min unsat cost LB: 42303 ... c Min unsat cost LB: 42626 ... c Min unsat cost LB: 42800 ... c Min unsat cost LB: 43008 ... c Min unsat cost LB: 43115 ... c Min unsat cost LB: 43620 ... c Min unsat cost LB: 43677 ... c Min unsat cost LB: 43692 ... c Min unsat cost LB: 43694 ... c Min unsat cost LB: 43726 ... c Min unsat cost LB: 44176 ... c Min unsat cost LB: 44541 ... c Min unsat cost LB: 44638 ... c Min unsat cost LB: 44684 ... c Min unsat cost LB: 44867 ... c Min unsat cost LB: 45232 ... c Min unsat cost LB: 45234 ... c Min unsat cost LB: 45249 ... c Min unsat cost LB: 45264 ... c Min unsat cost LB: 45439 ... c Min unsat cost LB: 45874 ... c Min unsat cost LB: 45891 ... c Min unsat cost LB: 45924 ... c Min unsat cost LB: 46298 ... c Min unsat cost LB: 46374 ... c Min unsat cost LB: 46401 ... c Min unsat cost LB: 46435 ... c Min unsat cost LB: 46444 ... c Min unsat cost LB: 46460 ... c Min unsat cost LB: 46551 ... c Min unsat cost LB: 46579 ... c Min unsat cost LB: 46644 ... c Min unsat cost LB: 46701 ... c Min unsat cost LB: 46706 ... c Min unsat cost LB: 46898 ... c Min unsat cost LB: 46959 ... c Min unsat cost LB: 46967 ... c Min unsat cost LB: 47035 ... c Min unsat cost LB: 47040 ... c Min unsat cost LB: 47491 ... c Min unsat cost LB: 47557 ... c Min unsat cost LB: 47614 ... c Min unsat cost LB: 47626 ... c Min unsat cost LB: 47631 ... c Min unsat cost LB: 47761 ... c Min unsat cost LB: 47848 ... c Min unsat cost LB: 47901 ... c Min unsat cost LB: 48134 ... c Min unsat cost LB: 48384 ... c Min unsat cost LB: 48401 ... c Min unsat cost LB: 48628 ... c Min unsat cost LB: 48775 ... c Min unsat cost LB: 48837 ... c Min unsat cost LB: 48974 ... c Min unsat cost LB: 49031 ... c Min unsat cost LB: 49048 ... c Min unsat cost LB: 49058 ... c Min unsat cost LB: 49205 ... c Min unsat cost LB: 49253 ... c Min unsat cost LB: 49303 ... c Min unsat cost LB: 49442 ... c Min unsat cost LB: 49606 ... c Min unsat cost LB: 49607 ... c Min unsat cost LB: 49623 ... c Min unsat cost LB: 49634 ... c Min unsat cost LB: 49666 ... c Min unsat cost LB: 49698 ... c Min unsat cost LB: 49717 ... c Min unsat cost LB: 49744 ... c Min unsat cost LB: 49886 ... c Min unsat cost LB: 49928 ... c Min unsat cost LB: 49948 ... c Min unsat cost LB: 50017 ... c Min unsat cost LB: 50037 ... c Min unsat cost LB: 50071 ... c Min unsat cost LB: 50089 ... c Min unsat cost LB: 50110 ... c Min unsat cost LB: 50737 ... c Min unsat cost LB: 50767 ... c Min unsat cost LB: 50901 ... c Min unsat cost LB: 50915 ... c Min unsat cost LB: 50945 ... c Min unsat cost LB: 50986 ... c Min unsat cost LB: 50999 ... c Min unsat cost LB: 51147 ... c Min unsat cost LB: 51235 ... c Min unsat cost LB: 51461 ... c Min unsat cost LB: 51466 ... c Min unsat cost LB: 51473 ... c Min unsat cost LB: 51485 ... c Min unsat cost LB: 51525 ... c Min unsat cost LB: 51597 ... c Min unsat cost LB: 51621 ... c Min unsat cost LB: 51653 ... c Min unsat cost LB: 51713 ... c Min unsat cost LB: 51787 ... c Min unsat cost LB: 51812 ... c Min unsat cost LB: 52129 ... c Min unsat cost LB: 52308 ... c Min unsat cost LB: 52372 ... c Min unsat cost LB: 52379 ... c Min unsat cost LB: 52539 ... c Min unsat cost LB: 52800 ... c Min unsat cost LB: 52829 ... c Min unsat cost LB: 52848 ... c Min unsat cost LB: 52907 ... c Min unsat cost LB: 52913 ... c Min unsat cost LB: 52921 ... c Min unsat cost LB: 52943 ... c Min unsat cost LB: 53036 ... c Min unsat cost LB: 53361 ... c Min unsat cost LB: 53724 ... c Min unsat cost LB: 53766 ... c Min unsat cost LB: 53781 ... c Min unsat cost LB: 53831 ... c Min unsat cost LB: 53836 ... c Min unsat cost LB: 53891 ... c Min unsat cost LB: 53904 ... c Min unsat cost LB: 53952 ... c Min unsat cost LB: 53954 ... c Min unsat cost LB: 53999 ... c Min unsat cost LB: 54006 ... c Min unsat cost LB: 54034 ... c Min unsat cost LB: 54051 ... c Min unsat cost LB: 54059 ... c Min unsat cost LB: 54061 ... c Min unsat cost LB: 54090 ... c Min unsat cost LB: 54190 ... c Min unsat cost LB: 54196 ... c Min unsat cost LB: 54238 ... c Min unsat cost LB: 54255 ... c Min unsat cost LB: 54316 ... c Min unsat cost LB: 54321 ... c Min unsat cost LB: 54342 ... c Min unsat cost LB: 54399 ... c Min unsat cost LB: 54406 ... c Min unsat cost LB: 54425 ... c Min unsat cost LB: 54508 ... c Min unsat cost LB: 54547 ... c Min unsat cost LB: 54591 ... c Min unsat cost LB: 54606 ... c Min unsat cost LB: 54639 ... c Min unsat cost LB: 54648 ... c Min unsat cost LB: 54686 ... c Min unsat cost LB: 54701 ... c Min unsat cost LB: 54715 ... c Min unsat cost LB: 54751 ... c Min unsat cost LB: 54759 ... c Min unsat cost LB: 54761 ... c Min unsat cost LB: 54776 ... c Min unsat cost LB: 54788 ... c Min unsat cost LB: 54790 ... c Min unsat cost LB: 54804 ... c Min unsat cost LB: 54838 ... c Min unsat cost LB: 54914 ... c Min unsat cost LB: 54923 ... c Min unsat cost LB: 54940 ... c Min unsat cost LB: 54949 ... c Min unsat cost LB: 54954 ... c Min unsat cost LB: 54957 ... c Min unsat cost LB: 54969 ... c Min unsat cost LB: 54971 ... c Min unsat cost LB: 54974 ... c Min unsat cost LB: 54983 ... c Min unsat cost LB: 55104 ... c Min unsat cost LB: 55110 ... c Min unsat cost LB: 55119 ... c Min unsat cost LB: 55134 ... c Min unsat cost LB: 55142 ... c Min unsat cost LB: 55150 ... c Min unsat cost LB: 55154 ... c Min unsat cost LB: 55159 ... c Min unsat cost LB: 55201 ... c Min unsat cost LB: 55215 ... c Min unsat cost LB: 55246 ... c Min unsat cost LB: 55254 ... c Min unsat cost LB: 55256 ... c Min unsat cost LB: 55258 ... c Min unsat cost LB: 55260 ... c Min unsat cost LB: 55339 ... c Min unsat cost LB: 55367 ... c Min unsat cost LB: 55398 ... c Min unsat cost LB: 55403 ... c Min unsat cost LB: 55405 ... c Min unsat cost LB: 55408 ... c Min unsat cost LB: 55414 ... c Min unsat cost LB: 55415 ... c Min unsat cost LB: 55427 ... c Min unsat cost LB: 55444 ... c Min unsat cost LB: 55449 ... c Min unsat cost LB: 55451 ... c Min unsat cost LB: 55466 ... c Min unsat cost LB: 55485 ... c Min unsat cost LB: 55493 ... c Min unsat cost LB: 55527 ... c Min unsat cost LB: 55538 ... c Min unsat cost LB: 55540 ... c Min unsat cost LB: 55542 ... c Min unsat cost LB: 55544 ... c Min unsat cost LB: 55553 ... c Min unsat cost LB: 55578 ... c Min unsat cost LB: 55583 ... c Min unsat cost LB: 55584 ... c Min unsat cost LB: 55588 ... c Min unsat cost LB: 55594 ... c Min unsat cost LB: 55599 ... c Min unsat cost LB: 55601 ... c Min unsat cost LB: 55606 ... c Min unsat cost LB: 55608 ... c Min unsat cost LB: 55611 ... c Min unsat cost LB: 55624 ... c Min unsat cost LB: 55631 ... c Min unsat cost LB: 55632 ... c Min unsat cost LB: 55637 ... c Min unsat cost LB: 55639 ... c Min unsat cost LB: 55644 ... c Min unsat cost LB: 55648 ... c Min unsat cost LB: 55651 ... c Min unsat cost LB: 55652 ... c Min unsat cost LB: 55665 ... c Min unsat cost LB: 55668 ... c Min unsat cost LB: 55670 ... c Min unsat cost LB: 55673 ... c Min unsat cost LB: 55675 ... c Min unsat cost LB: 55677 ... c Min unsat cost LB: 55707 ... c Min unsat cost LB: 55717 ... c Min unsat cost LB: 55726 ... c Min unsat cost LB: 55740 ... c Min unsat cost LB: 55742 ... c Min unsat cost LB: 55752 ... c Min unsat cost LB: 55754 ... c Min unsat cost LB: 55762 ... c Min unsat cost LB: 55766 ... c Min unsat cost LB: 55778 ... c Min unsat cost LB: 55796 ... c Min unsat cost LB: 55797 ... c Min unsat cost LB: 55865 ... c Min unsat cost LB: 55870 ... c Min unsat cost LB: 55871 ... c Min unsat cost LB: 55873 ... c Min unsat cost LB: 55875 ... c Min unsat cost LB: 55876 ... c Min unsat cost LB: 55877 ... c Min unsat cost LB: 55921 ... c Min unsat cost LB: 55939 ... c Min unsat cost LB: 55971 ... c Min unsat cost LB: 55996 ... c Min unsat cost LB: 55998 ... c Min unsat cost LB: 55999 ... c Min unsat cost LB: 56003 ... c Min unsat cost LB: 56006 ... c Min unsat cost LB: 56007 ... c Min unsat cost LB: 56009 ... c Min unsat cost LB: 56017 ... c Min unsat cost LB: 56018 ... c Min unsat cost LB: 56020 ... c Min unsat cost LB: 56024 ... c Min unsat cost LB: 56025 ... c Min unsat cost LB: 56026 ... c Min unsat cost LB: 56028 ... c Min unsat cost LB: 56031 ... c Min unsat cost LB: 56033 ... c Min unsat cost LB: 56034 ... c Min unsat cost LB: 56038 ... c Min unsat cost LB: 56043 ... c Min unsat cost LB: 56044 ... c Min unsat cost LB: 56049 ... c Min unsat cost LB: 56072 ... c Min unsat cost LB: 56073 ... c Min unsat cost LB: 56080 ... c Min unsat cost LB: 56085 ... c Min unsat cost LB: 56088 ... c Min unsat cost LB: 56102 ... c Min unsat cost LB: 56106 ... c Min unsat cost LB: 56110 ... c Min unsat cost LB: 56111 ... c Min unsat cost LB: 56113 ... c Min unsat cost LB: 56117 ... c Min unsat cost LB: 56118 ... c Min unsat cost LB: 56120 ... c Min unsat cost LB: 56122 ... c Min unsat cost LB: 56124 ... c Min unsat cost LB: 56125 ... c Min unsat cost LB: 56129 ... c Min unsat cost LB: 56131 ... c Min unsat cost LB: 56132 ... c Min unsat cost LB: 56133 ... c Min unsat cost LB: 56134 ... c Min unsat cost LB: 56135 ... c Min unsat cost LB: 56136 ... c Min unsat cost LB: 56137 ... c Min unsat cost LB: 56171 ... c Min unsat cost LB: 56172 ... c Min unsat cost LB: 56174 ... c Min unsat cost LB: 56177 ... c Min unsat cost LB: 56178 ... c Min unsat cost LB: 56190 ... c Min unsat cost LB: 56192 ... c Min unsat cost LB: 56193 ... c Min unsat cost LB: 56196 ... c Min unsat cost LB: 56199 ... c Min unsat cost LB: 56200 ... c Min unsat cost LB: 56201 ... c Min unsat cost LB: 56202 ... c Min unsat cost LB: 56206 ... c Min unsat cost LB: 56208 ... c Min unsat cost LB: 56209 ... c Min unsat cost LB: 56224 ... c Min unsat cost LB: 56226 ... c Min unsat cost LB: 56235 ... c Min unsat cost LB: 56237 ... c Min unsat cost LB: 56242 ... c Min unsat cost LB: 56255 ... c Min unsat cost LB: 56260 ... c Min unsat cost LB: 56264 ... c Min unsat cost LB: 56266 ... c Min unsat cost LB: 56274 ... c Min unsat cost LB: 56276 ... c Min unsat cost LB: 56291 ... c Min unsat cost LB: 56311 ... c Min unsat cost LB: 56320 ... c Min unsat cost LB: 56322 ... c Min unsat cost LB: 56323 ... c Min unsat cost LB: 56324 ... c Min unsat cost LB: 56325 ... c Min unsat cost LB: 56329 ... c Min unsat cost LB: 56330 ... c Min unsat cost LB: 56331 ... c Min unsat cost LB: 56336 ... c Min unsat cost LB: 56338 ... c Min unsat cost LB: 56341 ... c Min unsat cost LB: 56343 ... c Min unsat cost LB: 56345 ... c Min unsat cost LB: 56351 ... c Min unsat cost LB: 56353 ... c Min unsat cost LB: 56354 ... c Min unsat cost LB: 56355 ... c Min unsat cost LB: 56357 ... c Min unsat cost LB: 56358 ... c Min unsat cost LB: 56359 ... c Min unsat cost LB: 56361 ... c Min unsat cost LB: 56363 ... c Min unsat cost LB: 56366 ... c Min unsat cost LB: 56367 ... c Min unsat cost LB: 56369 ... c Min unsat cost LB: 56371 ... c Min unsat cost LB: 56373 ... c Min unsat cost LB: 56376 ... c Min unsat cost LB: 56378 ... c Min unsat cost LB: 56379 ... c Min unsat cost LB: 56380 ... c Min unsat cost LB: 56382 ... c Min unsat cost LB: 56383 ... c Min unsat cost LB: 56384 ... c Min unsat cost LB: 56385 ... c Min unsat cost LB: 56386 ... c Min unsat cost LB: 56387 ... c Min unsat cost LB: 56388 ... c Min unsat cost LB: 56389 ... c Min unsat cost LB: 56390 ... c Min unsat cost LB: 56392 ... c Min unsat cost LB: 56393 ... c Min unsat cost LB: 56394 ... c Min unsat cost LB: 56395 ... c Min unsat cost LB: 56396 ... c Min unsat cost LB: 56397 ... c Min unsat cost LB: 56398 ... c Min unsat cost LB: 56399 ... c Min unsat cost LB: 56401 ... c Min unsat cost LB: 56403 ... c Min unsat cost LB: 56404 ... c Min unsat cost LB: 56405 ... c Min unsat cost LB: 56406 ... c Min unsat cost LB: 56407 ... c Min unsat cost LB: 56408 ... c Min unsat cost LB: 56409 ... c Min unsat cost LB: 56410 ... c Min unsat cost LB: 56412 ... c Min unsat cost LB: 56413 ... c Min unsat cost LB: 56414 ... c Min unsat cost LB: 56415 ... c Min unsat cost LB: 56416 ... c Min unsat cost LB: 56417 ... c Min unsat cost LB: 56418 ... c Min unsat cost LB: 56419 ... c Min unsat cost LB: 56420 ... c Min unsat cost LB: 56421 ... c Min unsat cost LB: 56422 ... c Min unsat cost LB: 56426 ... c Min unsat cost LB: 56427 ... c Min unsat cost LB: 56428 ... c Min unsat cost LB: 56429 ... c Min unsat cost LB: 56432 ... c Min unsat cost LB: 56433 ... c Min unsat cost LB: 56434 ... c Min unsat cost LB: 56435 ... c Min unsat cost LB: 56436 ... c Min unsat cost LB: 56437 ... c Min unsat cost LB: 56438 ... c Min unsat cost LB: 56440 ... c Min unsat cost LB: 56442 ... c Min unsat cost LB: 56443 ... c Min unsat cost LB: 56444 ... c Min unsat cost LB: 56445 ... c Min unsat cost LB: 56446 ... c Min unsat cost LB: 56447 ... c Min unsat cost LB: 56448 ... c Min unsat cost LB: 56449 ... c Min unsat cost LB: 56450 ... c Min unsat cost LB: 56451 ... c Min unsat cost LB: 56452 ... c Min unsat cost LB: 56453 ... c Min unsat cost LB: 56454 ... c Min unsat cost LB: 56455 ... c Min unsat cost LB: 56456 ... c Min unsat cost LB: 56459 ... c Min unsat cost LB: 56461 ... c Min unsat cost LB: 56462 ... c Min unsat cost LB: 56463 ... c Min unsat cost LB: 56464 ... c Min unsat cost LB: 56466 ... c Min unsat cost LB: 56468 ... c Min unsat cost LB: 56469 ... c Min unsat cost LB: 56471 ... c Min unsat cost LB: 56472 ... c Min unsat cost LB: 56473 ... c Min unsat cost LB: 56474 ... c Min unsat cost LB: 56475 ... c Min unsat cost LB: 56476 ... c Min unsat cost LB: 56477 ... c Min unsat cost LB: 56479 ... c Min unsat cost LB: 56480 ... c Min unsat cost LB: 56483 ... c Min unsat cost LB: 56484 ... c Min unsat cost LB: 56485 ... c Min unsat cost LB: 56486 ... c Min unsat cost LB: 56488 ... c Min unsat cost LB: 56491 ... c Min unsat cost LB: 56492 ... c Min unsat cost LB: 56493 ... c Min unsat cost LB: 56497 ... c Min unsat cost LB: 56498 ... c Min unsat cost LB: 56500 ... c Min unsat cost LB: 56501 ... c Min unsat cost LB: 56504 ... c Min unsat cost LB: 56505 ... c Min unsat cost LB: 56507 ... c Min unsat cost LB: 56513 ... c Min unsat cost LB: 56515 ... c Min unsat cost LB: 56519 ... c Min unsat cost LB: 56520 ... c Min unsat cost LB: 56530 ... c Min unsat cost LB: 56539 ... c Min unsat cost LB: 56540 ... c Min unsat cost LB: 56541 ... c Min unsat cost LB: 56550 ... c Min unsat cost LB: 56551 ... c Min unsat cost LB: 56556 ... c Min unsat cost LB: 56559 ... c Min unsat cost LB: 56571 ... c Min unsat cost LB: 56579 ... c Min unsat cost LB: 56580 ... c Min unsat cost LB: 56611 ... c Min unsat cost LB: 56612 ... c Min unsat cost LB: 56613 ... c Min unsat cost LB: 56614 ... c Min unsat cost LB: 56618 ... c Min unsat cost LB: 56640 ... c Min unsat cost LB: 56657 ... c Min unsat cost LB: 56671 ... c Min unsat cost LB: 56681 ... c Min unsat cost LB: 56682 ... c Min unsat cost LB: 56683 ... c Min unsat cost LB: 56684 ... c Min unsat cost LB: 56686 ... c Min unsat cost LB: 56687 ... c Min unsat cost LB: 56688 ... c Min unsat cost LB: 56690 ... c Min unsat cost LB: 56691 ... c Min unsat cost LB: 56692 ... c Min unsat cost LB: 56693 ... c Min unsat cost LB: 56694 ... c Min unsat cost LB: 56695 ... c Min unsat cost LB: 56741 ... c Min unsat cost LB: 56759 ... c Min unsat cost LB: 56760 ... c Min unsat cost LB: 56776 ... c Min unsat cost LB: 56777 ... c Min unsat cost LB: 56778 ... c Min unsat cost LB: 56779 ... c Min unsat cost LB: 56781 ... c Min unsat cost LB: 56783 ... c Min unsat cost LB: 56788 ... c Min unsat cost LB: 56789 ... c Min unsat cost LB: 56790 ... c Min unsat cost LB: 56791 ... c Min unsat cost LB: 56794 ... c Min unsat cost LB: 56795 ... c Min unsat cost LB: 56796 ... c Min unsat cost LB: 56818 ... c Min unsat cost LB: 56824 ... c Min unsat cost LB: 56825 ... c Min unsat cost LB: 56828 ... c Min unsat cost LB: 56829 ... c Min unsat cost LB: 56834 ... c Min unsat cost LB: 56838 ... c Min unsat cost LB: 56840 ... c Min unsat cost LB: 56841 ... c Min unsat cost LB: 56842 ... c Min unsat cost LB: 56843 ... c Min unsat cost LB: 56851 ... c Min unsat cost LB: 56852 ... c Min unsat cost LB: 56853 ... c Min unsat cost LB: 56856 ... c Min unsat cost LB: 56857 ... c Min unsat cost LB: 56858 ... c Min unsat cost LB: 56867 ... c Min unsat cost LB: 56869 ... c Min unsat cost LB: 56876 ... c Min unsat cost LB: 56879 ... c Min unsat cost LB: 56882 ... c Min unsat cost LB: 56910 ... c Min unsat cost LB: 56924 ... c Min unsat cost LB: 56937 ... c Min unsat cost LB: 56944 ... c Min unsat cost LB: 56948 ... c Min unsat cost LB: 56986 ... c Min unsat cost LB: 56990 ... c Min unsat cost LB: 56993 ... c Min unsat cost LB: 56994 ... c Min unsat cost LB: 56995 ... c Min unsat cost LB: 56996 ... c Min unsat cost LB: 56997 ... c Min unsat cost LB: 56998 ... c Min unsat cost LB: 56999 ... c Min unsat cost LB: 57000 ... c Min unsat cost LB: 57001 ... c Min unsat cost LB: 57002 ... c Min unsat cost LB: 57003 ... c Min unsat cost LB: 57004 ... c Min unsat cost LB: 57005 ... c Min unsat cost LB: 57006 ... c Min unsat cost LB: 57007 ... c Min unsat cost LB: 57008 ... c Min unsat cost LB: 57009 ... c Min unsat cost LB: 57010 ... c Min unsat cost LB: 57011 ... c Min unsat cost LB: 57012 ... c Min unsat cost LB: 57013 ... c Min unsat cost LB: 57014 ... c Min unsat cost LB: 57015 ... c Min unsat cost LB: 57016 ... c Min unsat cost LB: 57017 ... c Min unsat cost LB: 57018 ... c Min unsat cost LB: 57019 ... c Min unsat cost LB: 57020 ... c Min unsat cost LB: 57021 ... c Min unsat cost LB: 57022 ... c Min unsat cost LB: 57023 ... c Min unsat cost LB: 57024 ... c Min unsat cost LB: 57025 ... c Min unsat cost LB: 57026 ... c Min unsat cost LB: 57027 ... c Min unsat cost LB: 57028 ... c Min unsat cost LB: 57029 ... c Min unsat cost LB: 57030 ... c Min unsat cost LB: 57031 ... c Min unsat cost LB: 57032 ... c Min unsat cost LB: 57033 ... c Min unsat cost LB: 57034 ... c Min unsat cost LB: 57040 ... c Min unsat cost LB: 57041 ... c Min unsat cost LB: 57057 ... c Min unsat cost LB: 57066 ... c Min unsat cost LB: 57089 ... c Min unsat cost LB: 57096 ... c Min unsat cost LB: 57098 ... c Min unsat cost LB: 57100 ... c Min unsat cost LB: 57109 ... c Min unsat cost LB: 57115 ... c Min unsat cost LB: 57117 ... c Min unsat cost LB: 57119 ... c Min unsat cost LB: 57120 ... c Min unsat cost LB: 57129 ... c Min unsat cost LB: 57133 ... c Min unsat cost LB: 57159 ... c Min unsat cost LB: 57160 ... c Min unsat cost LB: 57161 ... c Min unsat cost LB: 57162 ... c Min unsat cost LB: 57165 ... c Min unsat cost LB: 57166 ... c Min unsat cost LB: 57168 ... c Min unsat cost LB: 57173 ... c Min unsat cost LB: 57175 ... c Min unsat cost LB: 57177 ... c Min unsat cost LB: 57178 ... c Min unsat cost LB: 57179 ... c Min unsat cost LB: 57180 ... c Min unsat cost LB: 57181 ... c Min unsat cost LB: 57182 ... c Min unsat cost LB: 57185 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57187 ... c Min unsat cost LB: 57188 ... c Min unsat cost LB: 57189 ... c Min unsat cost LB: 57190 ... c Min unsat cost LB: 57191 ... c Min unsat cost LB: 57192 ... c Min unsat cost LB: 57193 ... c Min unsat cost LB: 57194 ... c Min unsat cost LB: 57195 ... c Min unsat cost LB: 57196 ... c Min unsat cost LB: 57197 ... c Min unsat cost LB: 57198 ... c Min unsat cost LB: 57199 ... c Min unsat cost LB: 57200 ... c Min unsat cost LB: 57201 ... c Min unsat cost LB: 57202 ... c Min unsat cost LB: 57203 ... c Min unsat cost LB: 57204 ... c Min unsat cost LB: 57206 ... c Min unsat cost LB: 57207 ... c Min unsat cost LB: 57208 ... c Min unsat cost LB: 57209 ... c Min unsat cost LB: 57210 ... c Min unsat cost LB: 57211 ... c Min unsat cost LB: 57212 ... c Min unsat cost LB: 57215 ... c Min unsat cost LB: 57216 ... c Min unsat cost LB: 57217 ... c Min unsat cost LB: 57218 ... c Min unsat cost LB: 57219 ... c Min unsat cost LB: 57220 ... c Min unsat cost LB: 57221 ... c Min unsat cost LB: 57222 ... c Min unsat cost LB: 57223 ... c Min unsat cost LB: 57224 ... c Min unsat cost LB: 57225 ... c Min unsat cost LB: 57226 ... c Min unsat cost LB: 57227 ... c Min unsat cost LB: 57228 ... c Min unsat cost LB: 57229 ... c Min unsat cost LB: 57230 ... c Min unsat cost LB: 57231 ... c Min unsat cost LB: 57232 ... c Min unsat cost LB: 57233 ... c Min unsat cost LB: 57234 ... c Min unsat cost LB: 57235 ... c Min unsat cost LB: 57237 ... c Min unsat cost LB: 57238 ... c Min unsat cost LB: 57239 ... c Min unsat cost LB: 57241 ... c Min unsat cost LB: 57242 ... c Min unsat cost LB: 57243 ... c Min unsat cost LB: 57244 ... c Min unsat cost LB: 57245 ... c Min unsat cost LB: 57246 ... c Min unsat cost LB: 57247 ... c Min unsat cost LB: 57248 ... c Min unsat cost LB: 57250 ... c Min unsat cost LB: 57253 ... c Min unsat cost LB: 57255 ... c Min unsat cost LB: 57256 ... c Min unsat cost LB: 57257 ... c Min unsat cost LB: 57258 ... c Min unsat cost LB: 57259 ... c Min unsat cost LB: 57260 ... c Min unsat cost LB: 57264 ... c Min unsat cost LB: 57300 ... c Min unsat cost LB: 57377 ... c Min unsat cost LB: 57378 ... c Min unsat cost LB: 57379 ... c Min unsat cost LB: 57380 ... c Min unsat cost LB: 57381 ... c Min unsat cost LB: 57382 ... c Min unsat cost LB: 57393 ... c Min unsat cost LB: 57394 ... c Min unsat cost LB: 57395 ... c Min unsat cost LB: 57396 ... c Min unsat cost LB: 57397 ... c Min unsat cost LB: 57399 ... c Min unsat cost LB: 57401 ... c Min unsat cost LB: 57411 ... c Min unsat cost LB: 57412 ... c Min unsat cost LB: 57417 ... c Min unsat cost LB: 57423 ... c Min unsat cost LB: 57424 ... c Min unsat cost LB: 57425 ... c Min unsat cost LB: 57426 ... c Min unsat cost LB: 57427 ... c Min unsat cost LB: 57436 ... c Min unsat cost LB: 57439 ... c Min unsat cost LB: 57440 ... c Min unsat cost LB: 57441 ... c Min unsat cost LB: 57442 ... c Min unsat cost LB: 57443 ... c Min unsat cost LB: 57444 ... c Min unsat cost LB: 57447 ... c Min unsat cost LB: 57470 ... c Min unsat cost LB: 57472 ... c Min unsat cost LB: 57478 ... c Min unsat cost LB: 57479 ... c Min unsat cost LB: 57480 ... c Min unsat cost LB: 57481 ... c Min unsat cost LB: 57482 ... c Min unsat cost LB: 57483 ... c Min unsat cost LB: 57486 ... c Min unsat cost LB: 57487 ... c Min unsat cost LB: 57489 ... c Min unsat cost LB: 57490 ... c Min unsat cost LB: 57491 ... c Min unsat cost LB: 57493 ... c Min unsat cost LB: 57495 ... c Min unsat cost LB: 57496 ... c Min unsat cost LB: 57497 ... c Min unsat cost LB: 57498 ... c Min unsat cost LB: 57499 ... c Min unsat cost LB: 57503 ... c Min unsat cost LB: 57508 ... c Min unsat cost LB: 57509 ... c Min unsat cost LB: 57510 ... c Min unsat cost LB: 57511 ... c Min unsat cost LB: 57516 ... c Min unsat cost LB: 57517 ... c Min unsat cost LB: 57522 ... c Min unsat cost LB: 57523 ... c Min unsat cost LB: 57530 ... c Min unsat cost LB: 57538 ... c Min unsat cost LB: 57547 ... c Min unsat cost LB: 57550 ... c Min unsat cost LB: 57556 ... c Min unsat cost LB: 57559 ... c Min unsat cost LB: 57560 ... c Min unsat cost LB: 57562 ... c Min unsat cost LB: 57563 ... c Min unsat cost LB: 57564 ... c Min unsat cost LB: 57565 ... c Min unsat cost LB: 57566 ... c Min unsat cost LB: 57567 ... c Min unsat cost LB: 57568 ... c Min unsat cost LB: 57569 ... c Min unsat cost LB: 57570 ... c Min unsat cost LB: 57571 ... c Min unsat cost LB: 57572 ... c Min unsat cost LB: 57573 ... c Min unsat cost LB: 57574 ... c Min unsat cost LB: 57575 ... c Min unsat cost LB: 57576 ... c Min unsat cost LB: 57577 ... c Min unsat cost LB: 57578 ... c Min unsat cost LB: 57579 ... c Min unsat cost LB: 57580 ... c Min unsat cost LB: 57581 ... c Min unsat cost LB: 57582 ... c Min unsat cost LB: 57583 ... c Min unsat cost LB: 57584 ... c Min unsat cost LB: 57585 ... c Min unsat cost LB: 57586 ... c Min unsat cost LB: 57587 ... c Min unsat cost LB: 57588 ... c Min unsat cost LB: 57589 ... c Min unsat cost LB: 57590 ... c Min unsat cost LB: 57591 ... c Min unsat cost LB: 57592 ... c Min unsat cost LB: 57593 ... c Min unsat cost LB: 57594 ... c Min unsat cost LB: 57595 ... c Min unsat cost LB: 57596 ... c Min unsat cost LB: 57597 ... c Min unsat cost LB: 57598 ... c Min unsat cost LB: 57599 ... c Min unsat cost LB: 57600 ... c Min unsat cost LB: 57601 ... c Min unsat cost LB: 57602 ... c Min unsat cost LB: 57603 ... c Min unsat cost LB: 57604 ... c Min unsat cost LB: 57605 ... c Min unsat cost LB: 57606 ... c Min unsat cost LB: 57607 ... c Min unsat cost LB: 57608 ... c Min unsat cost LB: 57609 ... c Min unsat cost LB: 57610 ... c Min unsat cost LB: 57611 ... c Min unsat cost LB: 57612 ... c Min unsat cost LB: 57613 ... c Min unsat cost LB: 57614 ... c Min unsat cost LB: 57616 ... c Min unsat cost LB: 57617 ... c Min unsat cost LB: 57618 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 57620 ... c Min unsat cost LB: 57621 ... c Min unsat cost LB: 57625 ... c Min unsat cost LB: 57626 ... c Min unsat cost LB: 57627 ... c Min unsat cost LB: 57628 ... c Min unsat cost LB: 57629 ... c Min unsat cost LB: 57630 ... c Min unsat cost LB: 57631 ... c Min unsat cost LB: 57634 ... c Min unsat cost LB: 57635 ... c Min unsat cost LB: 57637 ... c Min unsat cost LB: 57638 ... c Min unsat cost LB: 57639 ... c Min unsat cost LB: 57640 ... c Min unsat cost LB: 57643 ... c Min unsat cost LB: 57644 ... c Min unsat cost LB: 57645 ... c Min unsat cost LB: 57646 ... c Min unsat cost LB: 57647 ... c Min unsat cost LB: 57648 ... c Min unsat cost LB: 57649 ... c Min unsat cost LB: 57650 ... c Min unsat cost LB: 57651 ... c Min unsat cost LB: 57657 ... c Min unsat cost LB: 57658 ... c Min unsat cost LB: 57659 ... c Min unsat cost LB: 57660 ... c Min unsat cost LB: 57661 ... c Min unsat cost LB: 57662 ... c Min unsat cost LB: 57663 ... c Min unsat cost LB: 57664 ... c Min unsat cost LB: 57665 ... c Min unsat cost LB: 57666 ... c Min unsat cost LB: 57667 ... c Min unsat cost LB: 57668 ... c Min unsat cost LB: 57669 ... c Min unsat cost LB: 57670 ... c Min unsat cost LB: 57671 ... c Min unsat cost LB: 57672 ... c Min unsat cost LB: 57673 ... c Min unsat cost LB: 57675 ... c Min unsat cost LB: 57676 ... c Min unsat cost LB: 57677 ... c Min unsat cost LB: 57678 ... c Min unsat cost LB: 57679 ... c Min unsat cost LB: 57680 ... c Min unsat cost LB: 57681 ... c Min unsat cost LB: 57682 ... c Min unsat cost LB: 57683 ... c Min unsat cost LB: 57684 ... c Min unsat cost LB: 57685 ... c Min unsat cost LB: 57686 ... c Min unsat cost LB: 57687 ... c Min unsat cost LB: 57688 ... c Min unsat cost LB: 57689 ... c Min unsat cost LB: 57690 ... c Min unsat cost LB: 57691 ... c Min unsat cost LB: 57692 ... c Min unsat cost LB: 57693 ... c Min unsat cost LB: 57694 ... c Min unsat cost LB: 57695 ... c Min unsat cost LB: 57696 ... c Min unsat cost LB: 57697 ... c Min unsat cost LB: 57700 ... c Min unsat cost LB: 57701 ... c Min unsat cost LB: 57702 ... c Min unsat cost LB: 57703 ... c Min unsat cost LB: 57704 ... c Min unsat cost LB: 57705 ... c Min unsat cost LB: 57706 ... c Min unsat cost LB: 57707 ... c Min unsat cost LB: 57708 ... c Min unsat cost LB: 57709 ... c Min unsat cost LB: 57710 ... c Min unsat cost LB: 57711 ... c Min unsat cost LB: 57713 ... c Min unsat cost LB: 57714 ... c Min unsat cost LB: 57715 ... c Min unsat cost LB: 57717 ... c Min unsat cost LB: 57718 ... c Min unsat cost LB: 57719 ... c Min unsat cost LB: 57720 ... c Min unsat cost LB: 57721 ... c Min unsat cost LB: 57722 ... c Min unsat cost LB: 57723 ... c Min unsat cost LB: 57724 ... c Min unsat cost LB: 57725 ... c Min unsat cost LB: 57726 ... c Min unsat cost LB: 57727 ... c Min unsat cost LB: 57728 ... c Min unsat cost LB: 57729 ... c Min unsat cost LB: 57730 ... c Min unsat cost LB: 57731 ... c Min unsat cost LB: 57732 ... c Min unsat cost LB: 57733 ... c Min unsat cost LB: 57734 ... c Min unsat cost LB: 57735 ... c Min unsat cost LB: 57736 ... c Min unsat cost LB: 57737 ... c Min unsat cost LB: 57738 ... c Min unsat cost LB: 57739 ... c Min unsat cost LB: 57740 ... c Min unsat cost LB: 57741 ... c Min unsat cost LB: 57742 ... c Min unsat cost LB: 57743 ... c Min unsat cost LB: 57744 ... c Min unsat cost LB: 57745 ... c Min unsat cost LB: 57746 ... c Min unsat cost LB: 57747 ... c Min unsat cost LB: 57748 ... c Min unsat cost LB: 57749 ... c Min unsat cost LB: 57750 ... c Min unsat cost LB: 57751 ... c Min unsat cost LB: 57752 ... c Min unsat cost LB: 57753 ... c Min unsat cost LB: 57754 ... c Min unsat cost LB: 57755 ... c Min unsat cost LB: 57756 ... c Min unsat cost LB: 57766 ... c Min unsat cost LB: 57767 ... c Min unsat cost LB: 57769 ... c Min unsat cost LB: 57770 ... c Min unsat cost LB: 57771 ... c Min unsat cost LB: 57772 ... c Min unsat cost LB: 57773 ... c Min unsat cost LB: 57774 ... c Min unsat cost LB: 57775 ... c Min unsat cost LB: 57776 ... c Min unsat cost LB: 57777 ... c Min unsat cost LB: 57778 ... c Min unsat cost LB: 57779 ... c Min unsat cost LB: 57780 ... c Min unsat cost LB: 57781 ... c Min unsat cost LBKilled 1811.138u 8.605s 30:23.98 99.7% 0+0k 0+0io 0pf+0w