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_170_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0005.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_170_0005.txt.wcnf *** c c Min unsat cost LB: 638 ... c Min unsat cost LB: 1247 ... c Min unsat cost LB: 1765 ... c Min unsat cost LB: 1979 ... c Min unsat cost LB: 2164 ... c Min unsat cost LB: 2656 ... c Min unsat cost LB: 3375 ... c Min unsat cost LB: 3953 ... c Min unsat cost LB: 4139 ... c Min unsat cost LB: 5024 ... c Min unsat cost LB: 5234 ... c Min unsat cost LB: 5633 ... c Min unsat cost LB: 6061 ... c Min unsat cost LB: 6752 ... c Min unsat cost LB: 7084 ... c Min unsat cost LB: 7794 ... c Min unsat cost LB: 8229 ... c Min unsat cost LB: 8404 ... c Min unsat cost LB: 8776 ... c Min unsat cost LB: 9311 ... c Min unsat cost LB: 10038 ... c Min unsat cost LB: 10196 ... c Min unsat cost LB: 10459 ... c Min unsat cost LB: 11150 ... c Min unsat cost LB: 12297 ... c Min unsat cost LB: 12988 ... c Min unsat cost LB: 13698 ... c Min unsat cost LB: 14048 ... c Min unsat cost LB: 14485 ... c Min unsat cost LB: 14872 ... c Min unsat cost LB: 15083 ... c Min unsat cost LB: 15202 ... c Min unsat cost LB: 15456 ... c Min unsat cost LB: 16545 ... c Min unsat cost LB: 16603 ... c Min unsat cost LB: 17492 ... c Min unsat cost LB: 17634 ... c Min unsat cost LB: 17815 ... c Min unsat cost LB: 18139 ... c Min unsat cost LB: 18275 ... c Min unsat cost LB: 19147 ... c Min unsat cost LB: 20032 ... c Min unsat cost LB: 20594 ... c Min unsat cost LB: 21155 ... c Min unsat cost LB: 21553 ... c Min unsat cost LB: 22607 ... c Min unsat cost LB: 23232 ... c Min unsat cost LB: 24037 ... c Min unsat cost LB: 24506 ... c Min unsat cost LB: 24508 ... c Min unsat cost LB: 25133 ... c Min unsat cost LB: 25350 ... c Min unsat cost LB: 25589 ... c Min unsat cost LB: 26180 ... c Min unsat cost LB: 26985 ... c Min unsat cost LB: 27472 ... c Min unsat cost LB: 28070 ... c Min unsat cost LB: 28144 ... c Min unsat cost LB: 28284 ... c Min unsat cost LB: 28364 ... c Min unsat cost LB: 29167 ... c Min unsat cost LB: 29696 ... c Min unsat cost LB: 30403 ... c Min unsat cost LB: 31176 ... c Min unsat cost LB: 31605 ... c Min unsat cost LB: 31767 ... c Min unsat cost LB: 31883 ... c Min unsat cost LB: 32134 ... c Min unsat cost LB: 32820 ... c Min unsat cost LB: 33438 ... c Min unsat cost LB: 34213 ... c Min unsat cost LB: 34911 ... c Min unsat cost LB: 35502 ... c Min unsat cost LB: 35608 ... c Min unsat cost LB: 35617 ... c Min unsat cost LB: 36095 ... c Min unsat cost LB: 36193 ... c Min unsat cost LB: 36516 ... c Min unsat cost LB: 37008 ... c Min unsat cost LB: 37759 ... c Min unsat cost LB: 38350 ... c Min unsat cost LB: 38784 ... c Min unsat cost LB: 39515 ... c Min unsat cost LB: 39889 ... c Min unsat cost LB: 40662 ... c Min unsat cost LB: 40980 ... c Min unsat cost LB: 41238 ... c Min unsat cost LB: 41477 ... c Min unsat cost LB: 42619 ... c Min unsat cost LB: 42802 ... c Min unsat cost LB: 43506 ... c Min unsat cost LB: 44238 ... c Min unsat cost LB: 44420 ... c Min unsat cost LB: 45151 ... c Min unsat cost LB: 45697 ... c Min unsat cost LB: 46248 ... c Min unsat cost LB: 47002 ... c Min unsat cost LB: 47265 ... c Min unsat cost LB: 47768 ... c Min unsat cost LB: 48207 ... c Min unsat cost LB: 48905 ... c Min unsat cost LB: 49994 ... c Min unsat cost LB: 50692 ... c Min unsat cost LB: 50765 ... c Min unsat cost LB: 50870 ... c Min unsat cost LB: 51024 ... c Min unsat cost LB: 51206 ... c Min unsat cost LB: 51385 ... c Min unsat cost LB: 51423 ... c Min unsat cost LB: 52156 ... c Min unsat cost LB: 52626 ... c Min unsat cost LB: 52735 ... c Min unsat cost LB: 52759 ... c Min unsat cost LB: 52772 ... c Min unsat cost LB: 53470 ... c Min unsat cost LB: 53920 ... c Min unsat cost LB: 54254 ... c Min unsat cost LB: 54396 ... c Min unsat cost LB: 55483 ... c Min unsat cost LB: 55485 ... c Min unsat cost LB: 55886 ... c Min unsat cost LB: 56596 ... c Min unsat cost LB: 57666 ... c Min unsat cost LB: 58179 ... c Min unsat cost LB: 58797 ... c Min unsat cost LB: 58813 ... c Min unsat cost LB: 59504 ... c Min unsat cost LB: 59836 ... c Min unsat cost LB: 59972 ... c Min unsat cost LB: 60218 ... c Min unsat cost LB: 60401 ... c Min unsat cost LB: 60724 ... c Min unsat cost LB: 60886 ... c Min unsat cost LB: 61188 ... c Min unsat cost LB: 61419 ... c Min unsat cost LB: 61871 ... c Min unsat cost LB: 61951 ... c Min unsat cost LB: 62002 ... c Min unsat cost LB: 62124 ... c Min unsat cost LB: 62304 ... c Min unsat cost LB: 62403 ... c Min unsat cost LB: 62477 ... c Min unsat cost LB: 62486 ... c Min unsat cost LB: 62497 ... c Min unsat cost LB: 62577 ... c Min unsat cost LB: 62758 ... c Min unsat cost LB: 62959 ... c Min unsat cost LB: 63277 ... c Min unsat cost LB: 63394 ... c Min unsat cost LB: 63554 ... c Min unsat cost LB: 63563 ... c Min unsat cost LB: 63640 ... c Min unsat cost LB: 63798 ... c Min unsat cost LB: 64205 ... c Min unsat cost LB: 65028 ... c Min unsat cost LB: 65226 ... c Min unsat cost LB: 65583 ... c Min unsat cost LB: 65602 ... c Min unsat cost LB: 65694 ... c Min unsat cost LB: 65845 ... c Min unsat cost LB: 65918 ... c Min unsat cost LB: 66002 ... c Min unsat cost LB: 66419 ... c Min unsat cost LB: 66869 ... c Min unsat cost LB: 66880 ... c Min unsat cost LB: 67168 ... c Min unsat cost LB: 67254 ... c Min unsat cost LB: 67317 ... c Min unsat cost LB: 67542 ... c Min unsat cost LB: 67561 ... c Min unsat cost LB: 67721 ... c Min unsat cost LB: 67837 ... c Min unsat cost LB: 68214 ... c Min unsat cost LB: 68478 ... c Min unsat cost LB: 68600 ... c Min unsat cost LB: 68833 ... c Min unsat cost LB: 69188 ... c Min unsat cost LB: 69298 ... c Min unsat cost LB: 69331 ... c Min unsat cost LB: 69536 ... c Min unsat cost LB: 69622 ... c Min unsat cost LB: 69939 ... c Min unsat cost LB: 70066 ... c Min unsat cost LB: 70124 ... c Min unsat cost LB: 70184 ... c Min unsat cost LB: 70203 ... c Min unsat cost LB: 70236 ... c Min unsat cost LB: 70314 ... c Min unsat cost LB: 70391 ... c Min unsat cost LB: 70416 ... c Min unsat cost LB: 70429 ... c Min unsat cost LB: 70454 ... c Min unsat cost LB: 70652 ... c Min unsat cost LB: 70717 ... c Min unsat cost LB: 71047 ... c Min unsat cost LB: 71097 ... c Min unsat cost LB: 71098 ... c Min unsat cost LB: 71262 ... c Min unsat cost LB: 71447 ... c Min unsat cost LB: 71645 ... c Min unsat cost LB: 71758 ... c Min unsat cost LB: 71831 ... c Min unsat cost LB: 72197 ... c Min unsat cost LB: 72218 ... c Min unsat cost LB: 72351 ... c Min unsat cost LB: 72458 ... c Min unsat cost LB: 72491 ... c Min unsat cost LB: 72498 ... c Min unsat cost LB: 72550 ... c Min unsat cost LB: 73042 ... c Min unsat cost LB: 73052 ... c Min unsat cost LB: 73141 ... c Min unsat cost LB: 73468 ... c Min unsat cost LB: 73575 ... c Min unsat cost LB: 73588 ... c Min unsat cost LB: 73613 ... c Min unsat cost LB: 73690 ... c Min unsat cost LB: 73768 ... c Min unsat cost LB: 73771 ... c Min unsat cost LB: 73791 ... c Min unsat cost LB: 73793 ... c Min unsat cost LB: 73838 ... c Min unsat cost LB: 73880 ... c Min unsat cost LB: 73887 ... c Min unsat cost LB: 73889 ... c Min unsat cost LB: 73909 ... c Min unsat cost LB: 73931 ... c Min unsat cost LB: 74009 ... c Min unsat cost LB: 74071 ... c Min unsat cost LB: 74269 ... c Min unsat cost LB: 74274 ... c Min unsat cost LB: 74334 ... c Min unsat cost LB: 74517 ... c Min unsat cost LB: 74706 ... c Min unsat cost LB: 74730 ... c Min unsat cost LB: 74760 ... c Min unsat cost LB: 74910 ... c Min unsat cost LB: 74924 ... c Min unsat cost LB: 74925 ... c Min unsat cost LB: 74968 ... c Min unsat cost LB: 74988 ... c Min unsat cost LB: 75365 ... c Min unsat cost LB: 75389 ... c Min unsat cost LB: 75410 ... c Min unsat cost LB: 75550 ... c Min unsat cost LB: 75586 ... c Min unsat cost LB: 75692 ... c Min unsat cost LB: 75753 ... c Min unsat cost LB: 75754 ... c Min unsat cost LB: 75775 ... c Min unsat cost LB: 75926 ... c Min unsat cost LB: 75932 ... c Min unsat cost LB: 75970 ... c Min unsat cost LB: 76407 ... c Min unsat cost LB: 76641 ... c Min unsat cost LB: 76725 ... c Min unsat cost LB: 76889 ... c Min unsat cost LB: 77013 ... c Min unsat cost LB: 77021 ... c Min unsat cost LB: 77079 ... c Min unsat cost LB: 77103 ... c Min unsat cost LB: 77233 ... c Min unsat cost LB: 77261 ... c Min unsat cost LB: 77334 ... c Min unsat cost LB: 77400 ... c Min unsat cost LB: 77440 ... c Min unsat cost LB: 77551 ... c Min unsat cost LB: 77556 ... c Min unsat cost LB: 77772 ... c Min unsat cost LB: 77782 ... c Min unsat cost LB: 77917 ... c Min unsat cost LB: 77930 ... c Min unsat cost LB: 78017 ... c Min unsat cost LB: 78262 ... c Min unsat cost LB: 78267 ... c Min unsat cost LB: 78432 ... c Min unsat cost LB: 78467 ... c Min unsat cost LB: 78555 ... c Min unsat cost LB: 78603 ... c Min unsat cost LB: 78607 ... c Min unsat cost LB: 78753 ... c Min unsat cost LB: 78801 ... c Min unsat cost LB: 78818 ... c Min unsat cost LB: 78866 ... c Min unsat cost LB: 78867 ... c Min unsat cost LB: 78889 ... c Min unsat cost LB: 79040 ... c Min unsat cost LB: 79068 ... c Min unsat cost LB: 79177 ... c Min unsat cost LB: 79191 ... c Min unsat cost LB: 79195 ... c Min unsat cost LB: 79211 ... c Min unsat cost LB: 79217 ... c Min unsat cost LB: 79275 ... c Min unsat cost LB: 79364 ... c Min unsat cost LB: 79413 ... c Min unsat cost LB: 79422 ... c Min unsat cost LB: 79593 ... c Min unsat cost LB: 79699 ... c Min unsat cost LB: 79720 ... c Min unsat cost LB: 79754 ... c Min unsat cost LB: 79959 ... c Min unsat cost LB: 80322 ... c Min unsat cost LB: 80381 ... c Min unsat cost LB: 80427 ... c Min unsat cost LB: 80449 ... c Min unsat cost LB: 80559 ... c Min unsat cost LB: 80571 ... c Min unsat cost LB: 80894 ... c Min unsat cost LB: 80974 ... c Min unsat cost LB: 81140 ... c Min unsat cost LB: 81256 ... c Min unsat cost LB: 81267 ... c Min unsat cost LB: 81311 ... c Min unsat cost LB: 81334 ... c Min unsat cost LB: 81428 ... c Min unsat cost LB: 81512 ... c Min unsat cost LB: 81531 ... c Min unsat cost LB: 81541 ... c Min unsat cost LB: 81543 ... c Min unsat cost LB: 81551 ... c Min unsat cost LB: 81571 ... c Min unsat cost LB: 81585 ... c Min unsat cost LB: 81595 ... c Min unsat cost LB: 81599 ... c Min unsat cost LB: 81679 ... c Min unsat cost LB: 81699 ... c Min unsat cost LB: 81704 ... c Min unsat cost LB: 81721 ... c Min unsat cost LB: 81806 ... c Min unsat cost LB: 81810 ... c Min unsat cost LB: 81819 ... c Min unsat cost LB: 81826 ... c Min unsat cost LB: 81828 ... c Min unsat cost LB: 81831 ... c Min unsat cost LB: 81897 ... c Min unsat cost LB: 81898 ... c Min unsat cost LB: 81907 ... c Min unsat cost LB: 81908 ... c Min unsat cost LB: 81909 ... c Min unsat cost LB: 81921 ... c Min unsat cost LB: 81924 ... c Min unsat cost LB: 81930 ... c Min unsat cost LB: 81963 ... c Min unsat cost LB: 81975 ... c Min unsat cost LB: 81980 ... c Min unsat cost LB: 81996 ... c Min unsat cost LB: 82001 ... c Min unsat cost LB: 82005 ... c Min unsat cost LB: 82019 ... c Min unsat cost LB: 82041 ... c Min unsat cost LB: 82071 ... c Min unsat cost LB: 82073 ... c Min unsat cost LB: 82081 ... c Min unsat cost LB: 82084 ... c Min unsat cost LB: 82086 ... c Min unsat cost LB: 82104 ... c Min unsat cost LB: 82120 ... c Min unsat cost LB: 82170 ... c Min unsat cost LB: 82177 ... c Min unsat cost LB: 82205 ... c Min unsat cost LB: 82234 ... c Min unsat cost LB: 82246 ... c Min unsat cost LB: 82260 ... c Min unsat cost LB: 82268 ... c Min unsat cost LB: 82282 ... c Min unsat cost LB: 82292 ... c Min unsat cost LB: 82477 ... c Min unsat cost LB: 82490 ... c Min unsat cost LB: 82491 ... c Min unsat cost LB: 82492 ... c Min unsat cost LB: 82508 ... c Min unsat cost LB: 82514 ... c Min unsat cost LB: 82520 ... c Min unsat cost LB: 82522 ... c Min unsat cost LB: 82542 ... c Min unsat cost LB: 82543 ... c Min unsat cost LB: 82565 ... c Min unsat cost LB: 82568 ... c Min unsat cost LB: 82588 ... c Min unsat cost LB: 82600 ... c Min unsat cost LB: 82609 ... c Min unsat cost LB: 82619 ... c Min unsat cost LB: 82629 ... c Min unsat cost LB: 82640 ... c Min unsat cost LB: 82643 ... c Min unsat cost LB: 82649 ... c Min unsat cost LB: 82651 ... c Min unsat cost LB: 82658 ... c Min unsat cost LB: 82715 ... c Min unsat cost LB: 82720 ... c Min unsat cost LB: 82761 ... c Min unsat cost LB: 82794 ... c Min unsat cost LB: 82813 ... c Min unsat cost LB: 82822 ... c Min unsat cost LB: 82826 ... c Min unsat cost LB: 82827 ... c Min unsat cost LB: 82832 ... c Min unsat cost LB: 82842 ... c Min unsat cost LB: 82844 ... c Min unsat cost LB: 82861 ... c Min unsat cost LB: 82864 ... c Min unsat cost LB: 82879 ... c Min unsat cost LB: 82880 ... c Min unsat cost LB: 82883 ... c Min unsat cost LB: 82887 ... c Min unsat cost LB: 82904 ... c Min unsat cost LB: 82911 ... c Min unsat cost LB: 82930 ... c Min unsat cost LB: 82953 ... c Min unsat cost LB: 82995 ... c Min unsat cost LB: 83038 ... c Min unsat cost LB: 83040 ... c Min unsat cost LB: 83056 ... c Min unsat cost LB: 83063 ... c Min unsat cost LB: 83081 ... c Min unsat cost LB: 83088 ... c Min unsat cost LB: 83092 ... c Min unsat cost LB: 83100 ... c Min unsat cost LB: 83113 ... c Min unsat cost LB: 83114 ... c Min unsat cost LB: 83123 ... c Min unsat cost LB: 83148 ... c Min unsat cost LB: 83158 ... c Min unsat cost LB: 83162 ... c Min unsat cost LB: 83163 ... c Min unsat cost LB: 83165 ... c Min unsat cost LB: 83199 ... c Min unsat cost LB: 83207 ... c Min unsat cost LB: 83231 ... c Min unsat cost LB: 83273 ... c Min unsat cost LB: 83280 ... c Min unsat cost LB: 83317 ... c Min unsat cost LB: 83469 ... c Min unsat cost LB: 83474 ... c Min unsat cost LB: 83502 ... c Min unsat cost LB: 83503 ... c Min unsat cost LB: 83507 ... c Min unsat cost LB: 83511 ... c Min unsat cost LB: 83513 ... c Min unsat cost LB: 83514 ... c Min unsat cost LB: 83515 ... c Min unsat cost LB: 83523 ... c Min unsat cost LB: 83527 ... c Min unsat cost LB: 83530 ... c Min unsat cost LB: 83539 ... c Min unsat cost LB: 83544 ... c Min unsat cost LB: 83545 ... c Min unsat cost LB: 83586 ... c Min unsat cost LB: 83608 ... c Min unsat cost LB: 83610 ... c Min unsat cost LB: 83615 ... c Min unsat cost LB: 83618 ... c Min unsat cost LB: 83622 ... c Min unsat cost LB: 83624 ... c Min unsat cost LB: 83632 ... c Min unsat cost LB: 83634 ... c Min unsat cost LB: 83644 ... c Min unsat cost LB: 83645 ... c Min unsat cost LB: 83646 ... c Min unsat cost LB: 83647 ... c Min unsat cost LB: 83651 ... c Min unsat cost LB: 83659 ... c Min unsat cost LB: 83667 ... c Min unsat cost LB: 83675 ... c Min unsat cost LB: 83679 ... c Min unsat cost LB: 83683 ... c Min unsat cost LB: 83684 ... c Min unsat cost LB: 83695 ... c Min unsat cost LB: 83855 ... c Min unsat cost LB: 83870 ... c Min unsat cost LB: 83871 ... c Min unsat cost LB: 83884 ... c Min unsat cost LB: 83892 ... c Min unsat cost LB: 83893 ... c Min unsat cost LB: 83894 ... c Min unsat cost LB: 83902 ... c Min unsat cost LB: 83924 ... c Min unsat cost LB: 83933 ... c Min unsat cost LB: 83935 ... c Min unsat cost LB: 83940 ... c Min unsat cost LB: 83945 ... c Min unsat cost LB: 83973 ... c Min unsat cost LB: 83991 ... c Min unsat cost LB: 83993 ... c Min unsat cost LB: 83997 ... c Min unsat cost LB: 84001 ... c Min unsat cost LB: 84017 ... c Min unsat cost LB: 84020 ... c Min unsat cost LB: 84038 ... c Min unsat cost LB: 84058 ... c Min unsat cost LB: 84064 ... c Min unsat cost LB: 84065 ... c Min unsat cost LB: 84080 ... c Min unsat cost LB: 84102 ... c Min unsat cost LB: 84104 ... c Min unsat cost LB: 84106 ... c Min unsat cost LB: 84108 ... c Min unsat cost LB: 84113 ... c Min unsat cost LB: 84116 ... c Min unsat cost LB: 84118 ... c Min unsat cost LB: 84121 ... c Min unsat cost LB: 84133 ... c Min unsat cost LB: 84135 ... c Min unsat cost LB: 84138 ... c Min unsat cost LB: 84150 ... c Min unsat cost LB: 84152 ... c Min unsat cost LB: 84154 ... c Min unsat cost LB: 84157 ... c Min unsat cost LB: 84158 ... c Min unsat cost LB: 84162 ... c Min unsat cost LB: 84167 ... c Min unsat cost LB: 84192 ... c Min unsat cost LB: 84193 ... c Min unsat cost LB: 84208 ... c Min unsat cost LB: 84212 ... c Min unsat cost LB: 84213 ... c Min unsat cost LB: 84215 ... c Min unsat cost LB: 84216 ... c Min unsat cost LB: 84218 ... c Min unsat cost LB: 84220 ... c Min unsat cost LB: 84226 ... c Min unsat cost LB: 84227 ... c Min unsat cost LB: 84229 ... c Min unsat cost LB: 84234 ... c Min unsat cost LB: 84235 ... c Min unsat cost LB: 84236 ... c Min unsat cost LB: 84237 ... c Min unsat cost LB: 84239 ... c Min unsat cost LB: 84241 ... c Min unsat cost LB: 84242 ... c Min unsat cost LB: 84264 ... c Min unsat cost LB: 84276 ... c Min unsat cost LB: 84278 ... c Min unsat cost LB: 84283 ... c Min unsat cost LB: 84297 ... c Min unsat cost LB: 84306 ... c Min unsat cost LB: 84310 ... c Min unsat cost LB: 84311 ... c Min unsat cost LB: 84327 ... c Min unsat cost LB: 84329 ... c Min unsat cost LB: 84341 ... c Min unsat cost LB: 84348 ... c Min unsat cost LB: 84350 ... c Min unsat cost LB: 84356 ... c Min unsat cost LB: 84358 ... c Min unsat cost LB: 84360 ... c Min unsat cost LB: 84388 ... c Min unsat cost LB: 84390 ... c Min unsat cost LB: 84393 ... c Min unsat cost LB: 84396 ... c Min unsat cost LB: 84398 ... c Min unsat cost LB: 84402 ... c Min unsat cost LB: 84404 ... c Min unsat cost LB: 84408 ... c Min unsat cost LB: 84409 ... c Min unsat cost LB: 84413 ... c Min unsat cost LB: 84415 ... c Min unsat cost LB: 84425 ... c Min unsat cost LB: 84443 ... c Min unsat cost LB: 84452 ... c Min unsat cost LB: 84467 ... c Min unsat cost LB: 84470 ... c Min unsat cost LB: 84548 ... c Min unsat cost LB: 84558 ... c Min unsat cost LB: 84579 ... c Min unsat cost LB: 84580 ... c Min unsat cost LB: 84582 ... c Min unsat cost LB: 84595 ... c Min unsat cost LB: 84609 ... c Min unsat cost LB: 84617 ... c Min unsat cost LB: 84624 ... c Min unsat cost LB: 84625 ... c Min unsat cost LB: 84626 ... c Min unsat cost LB: 84627 ... c Min unsat cost LB: 84634 ... c Min unsat cost LB: 84640 ... c Min unsat cost LB: 84641 ... c Min unsat cost LB: 84645 ... c Min unsat cost LB: 84646 ... c Min unsat cost LB: 84647 ... c Min unsat cost LB: 84648 ... c Min unsat cost LB: 84650 ... c Min unsat cost LB: 84651 ... c Min unsat cost LB: 84653 ... c Min unsat cost LB: 84654 ... c Min unsat cost LB: 84655 ... c Min unsat cost LB: 84657 ... c Min unsat cost LB: 84660 ... c Min unsat cost LB: 84661 ... c Min unsat cost LB: 84662 ... c Min unsat cost LB: 84663 ... c Min unsat cost LB: 84664 ... c Min unsat cost LB: 84668 ... c Min unsat cost LB: 84669 ... c Min unsat cost LB: 84670 ... c Min unsat cost LB: 84671 ... c Min unsat cost LB: 84672 ... c Min unsat cost LB: 84673 ... c Min unsat cost LB: 84674 ... c Min unsat cost LB: 84675 ... c Min unsat cost LB: 84676 ... c Min unsat cost LB: 84677 ... c Min unsat cost LB: 84678 ... c Min unsat cost LB: 84679 ... c Min unsat cost LB: 84680 ... c Min unsat cost LB: 84681 ... c Min unsat cost LB: 84682 ... c Min unsat cost LB: 84683 ... c Min unsat cost LB: 84684 ... c Min unsat cost LB: 84685 ... c Min unsat cost LB: 84686 ... c Min unsat cost LB: 84687 ... c Min unsat cost LB: 84688 ... c Min unsat cost LB: 84689 ... c Min unsat cost LB: 84692 ... c Min unsat cost LB: 84693 ... c Min unsat cost LB: 84696 ... c Min unsat cost LB: 84699 ... c Min unsat cost LB: 84700 ... c Min unsat cost LB: 84708 ... c Min unsat cost LB: 84709 ... c Min unsat cost LB: 84710 ... c Min unsat cost LB: 84711 ... c Min unsat cost LB: 84712 ... c Min unsat cost LB: 84713 ... c Min unsat cost LB: 84716 ... c Min unsat cost LB: 84717 ... c Min unsat cost LB: 84718 ... c Min unsat cost LB: 84719 ... c Min unsat cost LB: 84721 ... c Min unsat cost LB: 84722 ... c Min unsat cost LB: 84723 ... c Min unsat cost LB: 84724 ... c Min unsat cost LB: 84725 ... c Min unsat cost LB: 84726 ... c Min unsat cost LB: 84727 ... c Min unsat cost LB: 84728 ... c Min unsat cost LB: 84729 ... c Min unsat cost LB: 84730 ... c Min unsat cost LB: 84731 ... c Min unsat cost LB: 84732 ... c Min unsat cost LB: 84733 ... c Min unsat cost LB: 84738 ... c Min unsat cost LB: 84739 ... c Min unsat cost LB: 84742 ... c Min unsat cost LB: 84743 ... c Min unsat cost LB: 84748 ... c Min unsat cost LB: 84749 ... c Min unsat cost LB: 84750 ... c Min unsat cost LB: 84757 ... c Min unsat cost LB: 84758 ... c Min unsat cost LB: 84763 ... c Min unsat cost LB: 84765 ... c Min unsat cost LB: 84766 ... c Min unsat cost LB: 84769 ... c Min unsat cost LB: 84770 ... c Min unsat cost LB: 84771 ... c Min unsat cost LB: 84772 ... c Min unsat cost LB: 84774 ... c Min unsat cost LB: 84777 ... c Min unsat cost LB: 84778 ... c Min unsat cost LB: 84779 ... c Min unsat cost LB: 84784 ... c Min unsat cost LB: 84790 ... c Min unsat cost LB: 84794 ... c Min unsat cost LB: 84795 ... c Min unsat cost LB: 84796 ... c Min unsat cost LB: 84798 ... c Min unsat cost LB: 84808 ... c Min unsat cost LB: 84809 ... c Min unsat cost LB: 84813 ... c Min unsat cost LB: 84814 ... c Min unsat cost LB: 84819 ... c Min unsat cost LB: 84820 ... c Min unsat cost LB: 84821 ... c Min unsat cost LB: 84829 ... c Min unsat cost LB: 84830 ... c Min unsat cost LB: 84832 ... c Min unsat cost LB: 84833 ... c Min unsat cost LB: 84838 ... c Min unsat cost LB: 84840 ... c Min unsat cost LB: 84842 ... c Min unsat cost LB: 84853 ... c Min unsat cost LB: 84869 ... c Min unsat cost LB: 84873 ... c Min unsat cost LB: 84884 ... c Min unsat cost LB: 84893 ... c Min unsat cost LB: 84897 ... c Min unsat cost LB: 84905 ... c Min unsat cost LB: 84906 ... c Min unsat cost LB: 84907 ... c Min unsat cost LB: 84908 ... c Min unsat cost LB: 84909 ... c Min unsat cost LB: 84913 ... c Min unsat cost LB: 84915 ... c Min unsat cost LB: 84916 ... c Min unsat cost LB: 84933 ... c Min unsat cost LB: 84955 ... c Min unsat cost LB: 84957 ... c Min unsat cost LB: 84958 ... c Min unsat cost LB: 84959 ... c Min unsat cost LB: 84960 ... c Min unsat cost LB: 84985 ... c Min unsat cost LB: 84987 ... c Min unsat cost LB: 84989 ... c Min unsat cost LB: 84990 ... c Min unsat cost LB: 84991 ... c Min unsat cost LB: 85008 ... c Min unsat cost LB: 85009 ... c Min unsat cost LB: 85010 ... c Min unsat cost LB: 85011 ... c Min unsat cost LB: 85012 ... c Min unsat cost LB: 85019 ... c Min unsat cost LB: 85020 ... c Min unsat cost LB: 85021 ... c Min unsat cost LB: 85022 ... c Min unsat cost LB: 85023 ... c Min unsat cost LB: 85027 ... c Min unsat cost LB: 85029 ... c Min unsat cost LB: 85032 ... c Min unsat cost LB: 85033 ... c Min unsat cost LB: 85034 ... c Min unsat cost LB: 85035 ... c Min unsat cost LB: 85037 ... c Min unsat cost LB: 85038 ... c Min unsat cost LB: 85039 ... c Min unsat cost LB: 85040 ... c Min unsat cost LB: 85041 ... c Min unsat cost LB: 85042 ... c Min unsat cost LB: 85046 ... c Min unsat cost LB: 85054 ... c Min unsat cost LB: 85065 ... c Min unsat cost LB: 85066 ... c Min unsat cost LB: 85067 ... c Min unsat cost LB: 85071 ... c Min unsat cost LB: 85072 ... c Min unsat cost LB: 85081 ... c Min unsat cost LB: 85087 ... c Min unsat cost LB: 85154 ... c Min unsat cost LB: 85158 ... c Min unsat cost LB: 85162 ... c Min unsat cost LB: 85163 ... c Min unsat cost LB: 85167 ... c Min unsat cost LB: 85168 ... c Min unsat cost LB: 85169 ... c Min unsat cost LB: 85174 ... c Min unsat cost LB: 85175 ... c Min unsat cost LB: 85179 ... c Min unsat cost LB: 85185 ... c Min unsat cost LB: 85186 ... c Min unsat cost LB: 85232 ... c Min unsat cost LB: 85233 ... c Min unsat cost LB: 85239 ... c Min unsat cost LB: 85241 ... c Min unsat cost LB: 85247 ... c Min unsat cost LB: 85248 ... c Min unsat cost LB: 85250 ... c Min unsat cost LB: 85253 ... c Min unsat cost LB: 85255 ... c Min unsat cost LB: 85261 ... c Min unsat cost LB: 85263 ... c Min unsat cost LB: 85264 ... c Min unsat cost LB: 85265 ... c Min unsat cost LB: 85285 ... c Min unsat cost LB: 85288 ... c Min unsat cost LB: 85293 ... c Min unsat cost LB: 85294 ... c Min unsat cost LB: 85295 ... c Min unsat cost LB: 85296 ... c Min unsat cost LB: 85297 ... c Min unsat cost LB: 85304 ... c Min unsat cost LB: 85312 ... c Min unsat cost LB: 85315 ... c Min unsat cost LB: 85326 ... c Min unsat cost LB: 85327 ... c Min unsat cost LB: 85328 ... c Min unsat cost LB: 85329 ... c Min unsat cost LB: 85332 ... c Min unsat cost LB: 85333 ... c Min unsat cost LB: 85335 ... c Min unsat cost LB: 85336 ... c Min unsat cost LB: 85338 ... c Min unsat cost LB: 85342 ... c Min unsat cost LB: 85343 ... c Min unsat cost LB: 85346 ... c Min unsat cost LB: 85348 ... c Min unsat cost LB: 85352 ... c Min unsat cost LB: 85353 ... c Min unsat cost LB: 85354 ... c Min unsat cost LB: 85355 ... c Min unsat cost LB: 85363 ... c Min unsat cost LB: 85364 ... c Min unsat cost LB: 85370 ... c Min unsat cost LB: 85374 ... c Min unsat cost LB: 85376 ... c Min unsat cost LB: 85377 ... c Min unsat cost LB: 85378 ... c Min unsat cost LB: 85379 ... c Min unsat cost LB: 85380 ... c Min unsat cost LB: 85382 ... c Min unsat cost LB: 85383 ... c Min unsat cost LB: 85391 ... c Min unsat cost LB: 85392 ... c Min unsat cost LB: 85395 ... c Min unsat cost LB: 85397 ... c Min unsat cost LB: 85398 ... c Min unsat cost LB: 85399 ... c Min unsat cost LB: 85400 ... c Min unsat cost LB: 85405 ... c Min unsat cost LB: 85406 ... c Min unsat cost LB: 85413 ... c Min unsat cost LB: 85414 ... c Min unsat cost LB: 85417 ... c Min unsat cost LB: 85418 ... c Min unsat cost LB: 85420 ... c Min unsat cost LB: 85421 ... c Min unsat cost LB: 85422 ... c Min unsat cost LB: 85424 ... c Min unsat cost LB: 85425 ... c Min unsat cost LB: 85426 ... c Min unsat cost LB: 85427 ... c Min unsat cost LB: 85430 ... c Min unsat cost LB: 85431 ... c Min unsat cost LB: 85435 ... c Min unsat cost LB: 85436 ... c Min unsat cost LB: 85437 ... c Min unsat cost LB: 85438 ... c Min unsat cost LB: 85442 ... c Min unsat cost LB: 85443 ... c Min unsat cost LB: 85444 ... c Min unsat cost LB: 85445 ... c Min unsat cost LB: 85446 ... c Min unsat cost LB: 85447 ... c Min unsat cost LB: 85448 ... c Min unsat cost LB: 85449 ... c Min unsat cost LB: 85457 ... c Min unsat cost LB: 85474 ... c Min unsat cost LB: 85475 ... c Min unsat cost LB: 85476 ... c Min unsat cost LB: 85477 ... c Min unsat cost LB: 85478 ... c Min unsat cost LB: 85479 ... c Min unsat cost LB: 85480 ... c Min unsat cost LB: 85481 ... c Min unsat cost LB: 85482 ... c Min unsat cost LB: 85483 ... c Min unsat cost LB: 85484 ... c Min unsat cost LB: 85485 ... c Min unsat cost LB: 85487 ... c Min unsat cost LB: 85490 ... c Min unsat cost LB: 85491 ... c Min unsat cost LB: 85492 ... c Min unsat cost LB: 85493 ... c Min unsat cost LB: 85494 ... c Min unsat cost LB: 85495 ... c Min unsat cost LB: 85498 ... c Min unsat cost LB: 85499 ... c Min unsat cost LB: 85500 ... c Min unsat cost LB: 85501 ... c Min unsat cost LB: 85502 ... c Min unsat cost LB: 85503 ... c Min unsat cost LB: 85504 ... c Min unsat cost LB: 85594 ... c Min unsat cost LB: 85595 ... c Min unsat cost LB: 85637 ... c Min unsat cost LB: 85638 ... c Min unsat cost LB: 85639 ... c Min unsat cost LB: 85644 ... c Min unsat cost LB: 85645 ... c Min unsat cost LB: 85646 ... c Min unsat cost LB: 85647 ... c Min unsat cost LB: 85649 ... c Min unsat cost LB: 85650 ... c Min unsat cost LB: 85651 ... c Min unsat cost LB: 85652 ... c Min unsat cost LB: 85653 ... c Min unsat cost LB: 85654 ... c Min unsat cost LB: 85656 ... c Min unsat cost LB: 85660 ... c Min unsat cost LB: 85662 ... c Min unsat cost LB: 85663 ... c Min unsat cost LB: 85664 ... c Min unsat cost LB: 85665 ... c Min unsat cost LB: 85666 ... c Min unsat cost LB: 85667 ... c Min unsat cost LB: 85668 ... c Min unsat cost LB: 85669 ... c Min unsat cost LB: 85670 ... c Min unsat cost LB: 85671 ... c Min unsat cost LB: 85672 ... c Min unsat cost LB: 85673 ... c Min unsat cost LB: 85674 ... c Min unsat cost LB: 85675 ... c Min unsat cost LB: 85676 ... c Min unsat cost LB: 85677 ... c Min unsat cost LB: 85678 ... c Min unsat cost LB: 85679 ... c Min unsat cost LB: 85680 ... c Min unsat cost LB: 85681 ... c Min unsat cost LB: 85682 ... c Min unsat cost LB: 85687 ... c Min unsat cost LB: 85689 ... c Min unsat cost LB: 85692 ... c Min unsat cost LB: 85702 ... c Min unsat cost LB: 85703 ... c Min unsat cost LB: 85713 ... c Min unsat cost LB: 85715 ... c Min unsat cost LB: 85716 ... c Min unsat cost LB: 85717 ... c Min unsat cost LB: 85718 ... c Min unsat cost LB: 85719 ... c Min unsat cost LB: 85720 ... c Min unsat cost LB: 85721 ... c Min unsat cost LB: 85722 ... c Min unsat cost LB: 85723 ... c Min unsat cost LB: 85724 ... c Min unsat cost LB: 85725 ... c Min unsat cost LB: 85731 ... c Min unsat cost LB: 85732 ... c Min unsat cost LB: 85733 ... c Min unsat cost LB: 85738 ... c Min unsat cost LB: 85739 ... c Min unsat cost LB: 85740 ... c Min unsat cost LB: 85741 ... c Min unsat cost LB: 85753 ... c Min unsat cost LB: 85754 ... c Min unsat cost LB: 85761 ... c Min unsat cost LB: 85762 ... c Min unsat cost LB: 85763 ... c Min unsat cost LB: 85764 ... c Min unsat cost LB: 85765 ... c Min unsat cost LB: 85766 ... c Min unsat cost LB: 85767 ... c Min unsat cost LB: 85768 ... c Min unsat cost LB: 85770 ... c Min unsat cost LB: 85771 ... c Min unsat cost LB: 85772 ... c Min unsat cost LB: 85773 ... c Min unsat cost LB: 85774 ... c Min unsat cost LB: 85775 ... c Min unsat cost LB: 85776 ... c Min unsat cost LB: 85777 ... c Min unsat cost LB: 85778 ... c Min unsat cost LB: 85779 ... c Min unsat cost LB: 85780 ... c Min unsat cost LB: 85781 ... c Min unsat cost LB: 85782 ... c Min unsat cost LB: 85783 ... c Min unsat cost LB: 85784 ... c Min unsat cost LB: 85785 ... c Min unsat cost LB: 85786 ... c Min unsat cost LB: 85787 ... c Min unsat cost LB: 85788 ... c Min unsat cost LB: 85789 ... c Min unsat cost LB: 85790 ... c Min unsat cost LB: 85791 ... c Min unsat cost LB: 85792 ... c Min unsat cost LB: 85797 ... c Min unsat cost LB: 85798 ... c Min unsat cost LB: 85799 ... c Min unsat cost LB: 85800 ... c Min unsat cost LB: 85801 ... c Min unsat cost LB: 85802 ... c Min unsat cost LB: 85803 ... c Min unsat cost LB: 85804 ... c Min unsat cost LB: 85805 ... c Min unsat cost LB: 85806 ... c Min unsat cost LB: 85807 ... c Min unsat cost LB: 85808 ... c Min unsat cost LB: 85809 ... c Min unsat cost LB: 85810 ... c Min unsat cost LB: 85811 ... c Min unsat cost LB: 85812 ... c Min unsat cost LB: 85813 ... c Min unsat cost LB: 85814 ... c Min unsat cost LB: 85815 ... c Min unsat cost LB: 85816 ... c Min unsat cost LB: 85817 ... c Min unsat cost LB: 85818 ... c Min unsat cost LB: 85819 ... c Min unsat cost LB: 85820 ... c Min unsat cost LB: 85821 ... c Min unsat cost LB: 85822 ... c Min unsat cost LB: 85823 ... c Min unsat cost LB: 85824 ... c Min unsat cost LB: 85825 ... c Min unsat cost LB: 85826 ... c Min unsat cost LB: 85827 ... c Min unsat cost LB: 85828 ... c Min unsat cost LB: 85829 ... c Min unsat cost LB: 85830 ... c Min unsat cost LB: 85831 ... c Min unsat cost LB: 85832 ... c Min unsat cost LB: 85833 ... c Min unsat cost LB: 85834 ... c Min unsat cost LB: 85835 ... c Min unsat cost LB: 85836 ... c Min unsat cost LB: 85837 ... c Min unsat cost LB: 85838 ... c Min unsat cost LB: 85839 ... c Min unsat cost LB: 85840 ... c Min unsat cost LB: 85841 ... c Min unsat cost LB: 85842 ... c Min unsat cost LB: 85843 ... c Min unsat cost LB: 85844 ... c Min unsat cost LB: 85845 ... c Min unsat cost LB: 85846 ... c Min unsat cost LB: 85847 ... c Min unsat cost LB: 85848 ... c Min unsat cost LB: 85849 ... c Min unsat cost LB: 85850 ... c Min unsat cost LB: 85851 ... c Min unsat cost LB: 85852 ... c Min unsat cost LB: 85853 ... c Min unsat cost LB: 85854 ... c Min unsat cost LB: 85855 ... c Min unsat cost LB: 85856 ... c Min unsat cost LB: 85857 ... c Min unsat cost LB: 85858 ... c Min unsat cost LB: 85859 ... c Min unsat cost LB: 85860 ... c Min unsat cost LB: 85861 ... c Min unsat cost LB: 85862 ... c Min unsat cost LB: Killed 1814.512u 5.230s 30:23.41 99.7% 0+0k 0+0io 0pf+0w