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_140_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0002.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_140_0002.txt.wcnf *** c c Min unsat cost LB: 660 ... c Min unsat cost LB: 1630 ... c Min unsat cost LB: 2165 ... c Min unsat cost LB: 2628 ... c Min unsat cost LB: 3598 ... c Min unsat cost LB: 3670 ... c Min unsat cost LB: 3839 ... c Min unsat cost LB: 4226 ... c Min unsat cost LB: 4617 ... c Min unsat cost LB: 4846 ... c Min unsat cost LB: 5243 ... c Min unsat cost LB: 5792 ... c Min unsat cost LB: 6098 ... c Min unsat cost LB: 6113 ... c Min unsat cost LB: 6467 ... c Min unsat cost LB: 6720 ... c Min unsat cost LB: 6926 ... c Min unsat cost LB: 7382 ... c Min unsat cost LB: 7686 ... c Min unsat cost LB: 8198 ... c Min unsat cost LB: 9096 ... c Min unsat cost LB: 9580 ... c Min unsat cost LB: 9633 ... c Min unsat cost LB: 9720 ... c Min unsat cost LB: 9735 ... c Min unsat cost LB: 10232 ... c Min unsat cost LB: 11070 ... c Min unsat cost LB: 11315 ... c Min unsat cost LB: 11838 ... c Min unsat cost LB: 12634 ... c Min unsat cost LB: 12908 ... c Min unsat cost LB: 13878 ... c Min unsat cost LB: 13893 ... c Min unsat cost LB: 14168 ... c Min unsat cost LB: 14821 ... c Min unsat cost LB: 15617 ... c Min unsat cost LB: 16280 ... c Min unsat cost LB: 16554 ... c Min unsat cost LB: 17494 ... c Min unsat cost LB: 17915 ... c Min unsat cost LB: 18225 ... c Min unsat cost LB: 19165 ... c Min unsat cost LB: 19259 ... c Min unsat cost LB: 19402 ... c Min unsat cost LB: 19541 ... c Min unsat cost LB: 20029 ... c Min unsat cost LB: 20498 ... c Min unsat cost LB: 20647 ... c Min unsat cost LB: 20675 ... c Min unsat cost LB: 21471 ... c Min unsat cost LB: 22307 ... c Min unsat cost LB: 23211 ... c Min unsat cost LB: 24007 ... c Min unsat cost LB: 24698 ... c Min unsat cost LB: 25677 ... c Min unsat cost LB: 25860 ... c Min unsat cost LB: 26400 ... c Min unsat cost LB: 26676 ... c Min unsat cost LB: 26677 ... c Min unsat cost LB: 27217 ... c Min unsat cost LB: 28085 ... c Min unsat cost LB: 28608 ... c Min unsat cost LB: 28686 ... c Min unsat cost LB: 29318 ... c Min unsat cost LB: 29371 ... c Min unsat cost LB: 29623 ... c Min unsat cost LB: 30461 ... c Min unsat cost LB: 30746 ... c Min unsat cost LB: 31614 ... c Min unsat cost LB: 31870 ... c Min unsat cost LB: 32368 ... c Min unsat cost LB: 33266 ... c Min unsat cost LB: 33296 ... c Min unsat cost LB: 33703 ... c Min unsat cost LB: 34194 ... c Min unsat cost LB: 34377 ... c Min unsat cost LB: 34673 ... c Min unsat cost LB: 35641 ... c Min unsat cost LB: 35862 ... c Min unsat cost LB: 36209 ... c Min unsat cost LB: 36792 ... c Min unsat cost LB: 37702 ... c Min unsat cost LB: 38670 ... c Min unsat cost LB: 39430 ... c Min unsat cost LB: 39460 ... c Min unsat cost LB: 40328 ... c Min unsat cost LB: 40380 ... c Min unsat cost LB: 41000 ... c Min unsat cost LB: 41111 ... c Min unsat cost LB: 41599 ... c Min unsat cost LB: 41864 ... c Min unsat cost LB: 42645 ... c Min unsat cost LB: 42785 ... c Min unsat cost LB: 42796 ... c Min unsat cost LB: 43347 ... c Min unsat cost LB: 43524 ... c Min unsat cost LB: 44323 ... c Min unsat cost LB: 45280 ... c Min unsat cost LB: 45374 ... c Min unsat cost LB: 45398 ... c Min unsat cost LB: 45878 ... c Min unsat cost LB: 45889 ... c Min unsat cost LB: 46680 ... c Min unsat cost LB: 46791 ... c Min unsat cost LB: 47097 ... c Min unsat cost LB: 47150 ... c Min unsat cost LB: 47356 ... c Min unsat cost LB: 47498 ... c Min unsat cost LB: 47673 ... c Min unsat cost LB: 47718 ... c Min unsat cost LB: 47954 ... c Min unsat cost LB: 48144 ... c Min unsat cost LB: 48417 ... c Min unsat cost LB: 48724 ... c Min unsat cost LB: 48725 ... c Min unsat cost LB: 48874 ... c Min unsat cost LB: 48931 ... c Min unsat cost LB: 49007 ... c Min unsat cost LB: 49074 ... c Min unsat cost LB: 49168 ... c Min unsat cost LB: 49317 ... c Min unsat cost LB: 49389 ... c Min unsat cost LB: 49566 ... c Min unsat cost LB: 49638 ... c Min unsat cost LB: 49777 ... c Min unsat cost LB: 49916 ... c Min unsat cost LB: 50115 ... c Min unsat cost LB: 50118 ... c Min unsat cost LB: 50164 ... c Min unsat cost LB: 50468 ... c Min unsat cost LB: 51267 ... c Min unsat cost LB: 51541 ... c Min unsat cost LB: 51621 ... c Min unsat cost LB: 51895 ... c Min unsat cost LB: 52691 ... c Min unsat cost LB: 52789 ... c Min unsat cost LB: 53007 ... c Min unsat cost LB: 53083 ... c Min unsat cost LB: 53164 ... c Min unsat cost LB: 53189 ... c Min unsat cost LB: 53240 ... c Min unsat cost LB: 53417 ... c Min unsat cost LB: 53427 ... c Min unsat cost LB: 53645 ... c Min unsat cost LB: 53823 ... c Min unsat cost LB: 53833 ... c Min unsat cost LB: 53871 ... c Min unsat cost LB: 54511 ... c Min unsat cost LB: 54619 ... c Min unsat cost LB: 54673 ... c Min unsat cost LB: 54696 ... c Min unsat cost LB: 54828 ... c Min unsat cost LB: 55065 ... c Min unsat cost LB: 55553 ... c Min unsat cost LB: 55914 ... c Min unsat cost LB: 56032 ... c Min unsat cost LB: 56110 ... c Min unsat cost LB: 56220 ... c Min unsat cost LB: 56313 ... c Min unsat cost LB: 56361 ... c Min unsat cost LB: 56618 ... c Min unsat cost LB: 56739 ... c Min unsat cost LB: 56803 ... c Min unsat cost LB: 56856 ... c Min unsat cost LB: 56913 ... c Min unsat cost LB: 56914 ... c Min unsat cost LB: 56951 ... c Min unsat cost LB: 57002 ... c Min unsat cost LB: 57030 ... c Min unsat cost LB: 57102 ... c Min unsat cost LB: 57141 ... c Min unsat cost LB: 57201 ... c Min unsat cost LB: 57268 ... c Min unsat cost LB: 57362 ... c Min unsat cost LB: 57363 ... c Min unsat cost LB: 57875 ... c Min unsat cost LB: 58052 ... c Min unsat cost LB: 58213 ... c Min unsat cost LB: 58215 ... c Min unsat cost LB: 58599 ... c Min unsat cost LB: 58612 ... c Min unsat cost LB: 58623 ... c Min unsat cost LB: 58669 ... c Min unsat cost LB: 58684 ... c Min unsat cost LB: 58748 ... c Min unsat cost LB: 58869 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59021 ... c Min unsat cost LB: 59287 ... c Min unsat cost LB: 59371 ... c Min unsat cost LB: 59599 ... c Min unsat cost LB: 59675 ... c Min unsat cost LB: 59685 ... c Min unsat cost LB: 59749 ... c Min unsat cost LB: 59757 ... c Min unsat cost LB: 59766 ... c Min unsat cost LB: 59830 ... c Min unsat cost LB: 59878 ... c Min unsat cost LB: 59999 ... c Min unsat cost LB: 60052 ... c Min unsat cost LB: 60065 ... c Min unsat cost LB: 60079 ... c Min unsat cost LB: 60098 ... c Min unsat cost LB: 60179 ... c Min unsat cost LB: 60202 ... c Min unsat cost LB: 60204 ... c Min unsat cost LB: 60347 ... c Min unsat cost LB: 60361 ... c Min unsat cost LB: 60511 ... c Min unsat cost LB: 60545 ... c Min unsat cost LB: 60555 ... c Min unsat cost LB: 60556 ... c Min unsat cost LB: 60575 ... c Min unsat cost LB: 60643 ... c Min unsat cost LB: 60658 ... c Min unsat cost LB: 60752 ... c Min unsat cost LB: 60767 ... c Min unsat cost LB: 60796 ... c Min unsat cost LB: 60853 ... c Min unsat cost LB: 60862 ... c Min unsat cost LB: 60913 ... c Min unsat cost LB: 60930 ... c Min unsat cost LB: 60943 ... c Min unsat cost LB: 61021 ... c Min unsat cost LB: 61084 ... c Min unsat cost LB: 61268 ... c Min unsat cost LB: 61298 ... c Min unsat cost LB: 61396 ... c Min unsat cost LB: 61397 ... c Min unsat cost LB: 61446 ... c Min unsat cost LB: 61451 ... c Min unsat cost LB: 61487 ... c Min unsat cost LB: 61581 ... c Min unsat cost LB: 61640 ... c Min unsat cost LB: 61693 ... c Min unsat cost LB: 61739 ... c Min unsat cost LB: 61837 ... c Min unsat cost LB: 61843 ... c Min unsat cost LB: 61868 ... c Min unsat cost LB: 61990 ... c Min unsat cost LB: 62059 ... c Min unsat cost LB: 62187 ... c Min unsat cost LB: 62195 ... c Min unsat cost LB: 62307 ... c Min unsat cost LB: 62350 ... c Min unsat cost LB: 62371 ... c Min unsat cost LB: 62595 ... c Min unsat cost LB: 62602 ... c Min unsat cost LB: 62651 ... c Min unsat cost LB: 62722 ... c Min unsat cost LB: 62808 ... c Min unsat cost LB: 62989 ... c Min unsat cost LB: 63036 ... c Min unsat cost LB: 63066 ... c Min unsat cost LB: 63083 ... c Min unsat cost LB: 63250 ... c Min unsat cost LB: 63355 ... c Min unsat cost LB: 63411 ... c Min unsat cost LB: 63445 ... c Min unsat cost LB: 63496 ... c Min unsat cost LB: 63521 ... c Min unsat cost LB: 63711 ... c Min unsat cost LB: 63757 ... c Min unsat cost LB: 63796 ... c Min unsat cost LB: 63797 ... c Min unsat cost LB: 63857 ... c Min unsat cost LB: 63910 ... c Min unsat cost LB: 63920 ... c Min unsat cost LB: 63923 ... c Min unsat cost LB: 63927 ... c Min unsat cost LB: 64006 ... c Min unsat cost LB: 64086 ... c Min unsat cost LB: 64184 ... c Min unsat cost LB: 64197 ... c Min unsat cost LB: 64254 ... c Min unsat cost LB: 64290 ... c Min unsat cost LB: 64293 ... c Min unsat cost LB: 64307 ... c Min unsat cost LB: 64344 ... c Min unsat cost LB: 64368 ... c Min unsat cost LB: 64507 ... c Min unsat cost LB: 64549 ... c Min unsat cost LB: 64554 ... c Min unsat cost LB: 64613 ... c Min unsat cost LB: 64626 ... c Min unsat cost LB: 64639 ... c Min unsat cost LB: 64655 ... c Min unsat cost LB: 64683 ... c Min unsat cost LB: 64736 ... c Min unsat cost LB: 64753 ... c Min unsat cost LB: 64765 ... c Min unsat cost LB: 64883 ... c Min unsat cost LB: 64895 ... c Min unsat cost LB: 64987 ... c Min unsat cost LB: 64990 ... c Min unsat cost LB: 65004 ... c Min unsat cost LB: 65010 ... c Min unsat cost LB: 65037 ... c Min unsat cost LB: 65045 ... c Min unsat cost LB: 65046 ... c Min unsat cost LB: 65075 ... c Min unsat cost LB: 65083 ... c Min unsat cost LB: 65098 ... c Min unsat cost LB: 65158 ... c Min unsat cost LB: 65170 ... c Min unsat cost LB: 65176 ... c Min unsat cost LB: 65257 ... c Min unsat cost LB: 65272 ... c Min unsat cost LB: 65291 ... c Min unsat cost LB: 65325 ... c Min unsat cost LB: 65336 ... c Min unsat cost LB: 65339 ... c Min unsat cost LB: 65352 ... c Min unsat cost LB: 65363 ... c Min unsat cost LB: 65370 ... c Min unsat cost LB: 65392 ... c Min unsat cost LB: 65466 ... c Min unsat cost LB: 65467 ... c Min unsat cost LB: 65559 ... c Min unsat cost LB: 65574 ... c Min unsat cost LB: 65579 ... c Min unsat cost LB: 65581 ... c Min unsat cost LB: 65588 ... c Min unsat cost LB: 65590 ... c Min unsat cost LB: 65600 ... c Min unsat cost LB: 65601 ... c Min unsat cost LB: 65603 ... c Min unsat cost LB: 65634 ... c Min unsat cost LB: 65642 ... c Min unsat cost LB: 65647 ... c Min unsat cost LB: 65740 ... c Min unsat cost LB: 65763 ... c Min unsat cost LB: 65773 ... c Min unsat cost LB: 65781 ... c Min unsat cost LB: 65789 ... c Min unsat cost LB: 65790 ... c Min unsat cost LB: 65793 ... c Min unsat cost LB: 65794 ... c Min unsat cost LB: 65808 ... c Min unsat cost LB: 65809 ... c Min unsat cost LB: 65818 ... c Min unsat cost LB: 65840 ... c Min unsat cost LB: 65852 ... c Min unsat cost LB: 65868 ... c Min unsat cost LB: 65869 ... c Min unsat cost LB: 65877 ... c Min unsat cost LB: 65880 ... c Min unsat cost LB: 65886 ... c Min unsat cost LB: 65944 ... c Min unsat cost LB: 65945 ... c Min unsat cost LB: 65958 ... c Min unsat cost LB: 65966 ... c Min unsat cost LB: 65968 ... c Min unsat cost LB: 65969 ... c Min unsat cost LB: 65972 ... c Min unsat cost LB: 65976 ... c Min unsat cost LB: 65978 ... c Min unsat cost LB: 65987 ... c Min unsat cost LB: 66002 ... c Min unsat cost LB: 66019 ... c Min unsat cost LB: 66035 ... c Min unsat cost LB: 66040 ... c Min unsat cost LB: 66048 ... c Min unsat cost LB: 66060 ... c Min unsat cost LB: 66096 ... c Min unsat cost LB: 66140 ... c Min unsat cost LB: 66144 ... c Min unsat cost LB: 66145 ... c Min unsat cost LB: 66148 ... c Min unsat cost LB: 66152 ... c Min unsat cost LB: 66153 ... c Min unsat cost LB: 66175 ... c Min unsat cost LB: 66177 ... c Min unsat cost LB: 66186 ... c Min unsat cost LB: 66200 ... c Min unsat cost LB: 66206 ... c Min unsat cost LB: 66216 ... c Min unsat cost LB: 66230 ... c Min unsat cost LB: 66233 ... c Min unsat cost LB: 66257 ... c Min unsat cost LB: 66268 ... c Min unsat cost LB: 66271 ... c Min unsat cost LB: 66279 ... c Min unsat cost LB: 66280 ... c Min unsat cost LB: 66286 ... c Min unsat cost LB: 66298 ... c Min unsat cost LB: 66299 ... c Min unsat cost LB: 66302 ... c Min unsat cost LB: 66307 ... c Min unsat cost LB: 66310 ... c Min unsat cost LB: 66326 ... c Min unsat cost LB: 66327 ... c Min unsat cost LB: 66337 ... c Min unsat cost LB: 66341 ... c Min unsat cost LB: 66344 ... c Min unsat cost LB: 66345 ... c Min unsat cost LB: 66385 ... c Min unsat cost LB: 66389 ... c Min unsat cost LB: 66393 ... c Min unsat cost LB: 66396 ... c Min unsat cost LB: 66407 ... c Min unsat cost LB: 66424 ... c Min unsat cost LB: 66428 ... c Min unsat cost LB: 66429 ... c Min unsat cost LB: 66431 ... c Min unsat cost LB: 66442 ... c Min unsat cost LB: 66449 ... c Min unsat cost LB: 66450 ... c Min unsat cost LB: 66454 ... c Min unsat cost LB: 66456 ... c Min unsat cost LB: 66457 ... c Min unsat cost LB: 66458 ... c Min unsat cost LB: 66459 ... c Min unsat cost LB: 66469 ... c Min unsat cost LB: 66471 ... c Min unsat cost LB: 66472 ... c Min unsat cost LB: 66501 ... c Min unsat cost LB: 66502 ... c Min unsat cost LB: 66503 ... c Min unsat cost LB: 66511 ... c Min unsat cost LB: 66513 ... c Min unsat cost LB: 66514 ... c Min unsat cost LB: 66516 ... c Min unsat cost LB: 66517 ... c Min unsat cost LB: 66519 ... c Min unsat cost LB: 66523 ... c Min unsat cost LB: 66525 ... c Min unsat cost LB: 66539 ... c Min unsat cost LB: 66541 ... c Min unsat cost LB: 66544 ... c Min unsat cost LB: 66546 ... c Min unsat cost LB: 66562 ... c Min unsat cost LB: 66564 ... c Min unsat cost LB: 66565 ... c Min unsat cost LB: 66566 ... c Min unsat cost LB: 66567 ... c Min unsat cost LB: 66568 ... c Min unsat cost LB: 66569 ... c Min unsat cost LB: 66571 ... c Min unsat cost LB: 66573 ... c Min unsat cost LB: 66576 ... c Min unsat cost LB: 66599 ... c Min unsat cost LB: 66600 ... c Min unsat cost LB: 66601 ... c Min unsat cost LB: 66602 ... c Min unsat cost LB: 66603 ... c Min unsat cost LB: 66606 ... c Min unsat cost LB: 66607 ... c Min unsat cost LB: 66608 ... c Min unsat cost LB: 66611 ... c Min unsat cost LB: 66613 ... c Min unsat cost LB: 66614 ... c Min unsat cost LB: 66615 ... c Min unsat cost LB: 66616 ... c Min unsat cost LB: 66618 ... c Min unsat cost LB: 66619 ... c Min unsat cost LB: 66620 ... c Min unsat cost LB: 66621 ... c Min unsat cost LB: 66622 ... c Min unsat cost LB: 66623 ... c Min unsat cost LB: 66625 ... c Min unsat cost LB: 66626 ... c Min unsat cost LB: 66627 ... c Min unsat cost LB: 66628 ... c Min unsat cost LB: 66631 ... c Min unsat cost LB: 66632 ... c Min unsat cost LB: 66633 ... c Min unsat cost LB: 66635 ... c Min unsat cost LB: 66640 ... c Min unsat cost LB: 66641 ... c Min unsat cost LB: 66642 ... c Min unsat cost LB: 66648 ... c Min unsat cost LB: 66649 ... c Min unsat cost LB: 66652 ... c Min unsat cost LB: 66655 ... c Min unsat cost LB: 66657 ... c Min unsat cost LB: 66661 ... c Min unsat cost LB: 66669 ... c Min unsat cost LB: 66682 ... c Min unsat cost LB: 66688 ... c Min unsat cost LB: 66689 ... c Min unsat cost LB: 66691 ... c Min unsat cost LB: 66716 ... c Min unsat cost LB: 66720 ... c Min unsat cost LB: 66721 ... c Min unsat cost LB: 66723 ... c Min unsat cost LB: 66724 ... c Min unsat cost LB: 66735 ... c Min unsat cost LB: 66750 ... c Min unsat cost LB: 66752 ... c Min unsat cost LB: 66753 ... c Min unsat cost LB: 66754 ... c Min unsat cost LB: 66755 ... c Min unsat cost LB: 66756 ... c Min unsat cost LB: 66757 ... c Min unsat cost LB: 66758 ... c Min unsat cost LB: 66760 ... c Min unsat cost LB: 66761 ... c Min unsat cost LB: 66762 ... c Min unsat cost LB: 66763 ... c Min unsat cost LB: 66764 ... c Min unsat cost LB: 66765 ... c Min unsat cost LB: 66766 ... c Min unsat cost LB: 66777 ... c Min unsat cost LB: 66785 ... c Min unsat cost LB: 66786 ... c Min unsat cost LB: 66788 ... c Min unsat cost LB: 66790 ... c Min unsat cost LB: 66791 ... c Min unsat cost LB: 66792 ... c Min unsat cost LB: 66793 ... c Min unsat cost LB: 66794 ... c Min unsat cost LB: 66795 ... c Min unsat cost LB: 66796 ... c Min unsat cost LB: 66797 ... c Min unsat cost LB: 66798 ... c Min unsat cost LB: 66800 ... c Min unsat cost LB: 66815 ... c Min unsat cost LB: 66823 ... c Min unsat cost LB: 66825 ... c Min unsat cost LB: 66833 ... c Min unsat cost LB: 66834 ... c Min unsat cost LB: 66850 ... c Min unsat cost LB: 66857 ... c Min unsat cost LB: 66902 ... c Min unsat cost LB: 66903 ... c Min unsat cost LB: 66910 ... c Min unsat cost LB: 66911 ... c Min unsat cost LB: 66912 ... c Min unsat cost LB: 66914 ... c Min unsat cost LB: 66915 ... c Min unsat cost LB: 66916 ... c Min unsat cost LB: 66923 ... c Min unsat cost LB: 66928 ... c Min unsat cost LB: 66932 ... c Min unsat cost LB: 67024 ... c Min unsat cost LB: 67025 ... c Min unsat cost LB: 67028 ... c Min unsat cost LB: 67029 ... c Min unsat cost LB: 67030 ... c Min unsat cost LB: 67031 ... c Min unsat cost LB: 67032 ... c Min unsat cost LB: 67043 ... c Min unsat cost LB: 67097 ... c Min unsat cost LB: 67098 ... c Min unsat cost LB: 67099 ... c Min unsat cost LB: 67100 ... c Min unsat cost LB: 67102 ... c Min unsat cost LB: 67103 ... c Min unsat cost LB: 67104 ... c Min unsat cost LB: 67105 ... c Min unsat cost LB: 67106 ... c Min unsat cost LB: 67107 ... c Min unsat cost LB: 67108 ... c Min unsat cost LB: 67109 ... c Min unsat cost LB: 67110 ... c Min unsat cost LB: 67111 ... c Min unsat cost LB: 67112 ... c Min unsat cost LB: 67113 ... c Min unsat cost LB: 67114 ... c Min unsat cost LB: 67118 ... c Min unsat cost LB: 67120 ... c Min unsat cost LB: 67130 ... c Min unsat cost LB: 67137 ... c Min unsat cost LB: 67143 ... c Min unsat cost LB: 67144 ... c Min unsat cost LB: 67145 ... c Min unsat cost LB: 67146 ... c Min unsat cost LB: 67150 ... c Min unsat cost LB: 67161 ... c Min unsat cost LB: 67173 ... c Min unsat cost LB: 67176 ... c Min unsat cost LB: 67183 ... c Min unsat cost LB: 67188 ... c Min unsat cost LB: 67192 ... c Min unsat cost LB: 67199 ... c Min unsat cost LB: 67221 ... c Min unsat cost LB: 67222 ... c Min unsat cost LB: 67223 ... c Min unsat cost LB: 67224 ... c Min unsat cost LB: 67225 ... c Min unsat cost LB: 67226 ... c Min unsat cost LB: 67228 ... c Min unsat cost LB: 67230 ... c Min unsat cost LB: 67231 ... c Min unsat cost LB: 67232 ... c Min unsat cost LB: 67233 ... c Min unsat cost LB: 67234 ... c Min unsat cost LB: 67235 ... c Min unsat cost LB: 67236 ... c Min unsat cost LB: 67237 ... c Min unsat cost LB: 67238 ... c Min unsat cost LB: 67240 ... c Min unsat cost LB: 67241 ... c Min unsat cost LB: 67242 ... c Min unsat cost LB: 67243 ... c Min unsat cost LB: 67244 ... c Min unsat cost LB: 67245 ... c Min unsat cost LB: 67246 ... c Min unsat cost LB: 67247 ... c Min unsat cost LB: 67270 ... c Min unsat cost LB: 67272 ... c Min unsat cost LB: 67274 ... c Min unsat cost LB: 67276 ... c Min unsat cost LB: 67280 ... c Min unsat cost LB: 67300 ... c Min unsat cost LB: 67302 ... c Min unsat cost LB: 67305 ... c Min unsat cost LB: 67306 ... c Min unsat cost LB: 67308 ... c Min unsat cost LB: 67312 ... c Min unsat cost LB: 67321 ... c Min unsat cost LB: 67327 ... c Min unsat cost LB: 67347 ... c Min unsat cost LB: 67348 ... c Min unsat cost LB: 67353 ... c Min unsat cost LB: 67355 ... c Min unsat cost LB: 67364 ... c Min unsat cost LB: 67365 ... c Min unsat cost LB: 67370 ... c Min unsat cost LB: 67371 ... c Min unsat cost LB: 67372 ... c Min unsat cost LB: 67374 ... c Min unsat cost LB: 67377 ... c Min unsat cost LB: 67378 ... c Min unsat cost LB: 67379 ... c Min unsat cost LB: 67382 ... c Min unsat cost LB: 67383 ... c Min unsat cost LB: 67384 ... c Min unsat cost LB: 67386 ... c Min unsat cost LB: 67388 ... c Min unsat cost LB: 67390 ... c Min unsat cost LB: 67391 ... c Min unsat cost LB: 67392 ... c Min unsat cost LB: 67393 ... c Min unsat cost LB: 67396 ... c Min unsat cost LB: 67406 ... c Min unsat cost LB: 67415 ... c Min unsat cost LB: 67421 ... c Min unsat cost LB: 67425 ... c Min unsat cost LB: 67430 ... c Min unsat cost LB: 67436 ... c Min unsat cost LB: 67437 ... c Min unsat cost LB: 67445 ... c Min unsat cost LB: 67447 ... c Min unsat cost LB: 67448 ... c Min unsat cost LB: 67450 ... c Min unsat cost LB: 67451 ... c Min unsat cost LB: 67452 ... c Min unsat cost LB: 67453 ... c Min unsat cost LB: 67455 ... c Min unsat cost LB: 67458 ... c Min unsat cost LB: 67460 ... c Min unsat cost LB: 67465 ... c Min unsat cost LB: 67466 ... c Min unsat cost LB: 67469 ... c Min unsat cost LB: 67471 ... c Min unsat cost LB: 67472 ... c Min unsat cost LB: 67473 ... c Min unsat cost LB: 67474 ... c Min unsat cost LB: 67476 ... c Min unsat cost LB: 67477 ... c Min unsat cost LB: 67479 ... c Min unsat cost LB: 67480 ... c Min unsat cost LB: 67481 ... c Min unsat cost LB: 67482 ... c Min unsat cost LB: 67483 ... c Min unsat cost LB: 67484 ... c Min unsat cost LB: 67485 ... c Min unsat cost LB: 67486 ... c Min unsat cost LB: 67487 ... c Min unsat cost LB: 67488 ... c Min unsat cost LB: 67489 ... c Min unsat cost LB: 67491 ... c Min unsat cost LB: 67495 ... c Min unsat cost LB: 67496 ... c Min unsat cost LB: 67497 ... c Min unsat cost LB: 67498 ... c Min unsat cost LB: 67500 ... c Min unsat cost LB: 67502 ... c Min unsat cost LB: 67503 ... c Min unsat cost LB: 67507 ... c Min unsat cost LB: 67508 ... c Min unsat cost LB: 67509 ... c Min unsat cost LB: 67510 ... c Min unsat cost LB: 67511 ... c Min unsat cost LB: 67514 ... c Min unsat cost LB: 67516 ... c Min unsat cost LB: 67517 ... c Min unsat cost LB: 67528 ... c Min unsat cost LB: 67550 ... c Min unsat cost LB: 67551 ... c Min unsat cost LB: 67568 ... c Min unsat cost LB: 67569 ... c Min unsat cost LB: 67570 ... c Min unsat cost LB: 67571 ... c Min unsat cost LB: 67572 ... c Min unsat cost LB: 67573 ... c Min unsat cost LB: 67574 ... c Min unsat cost LB: 67576 ... c Min unsat cost LB: 67577 ... c Min unsat cost LB: 67582 ... c Min unsat cost LB: 67583 ... c Min unsat cost LB: 67584 ... c Min unsat cost LB: 67590 ... c Min unsat cost LB: 67591 ... c Min unsat cost LB: 67593 ... c Min unsat cost LB: 67595 ... c Min unsat cost LB: 67596 ... c Min unsat cost LB: 67611 ... c Min unsat cost LB: 67613 ... c Min unsat cost LB: 67618 ... c Min unsat cost LB: 67623 ... c Min unsat cost LB: 67627 ... c Min unsat cost LB: 67630 ... c Min unsat cost LB: 67641 ... c Min unsat cost LB: 67645 ... c Min unsat cost LB: 67651 ... c Min unsat cost LB: 67652 ... c Min unsat cost LB: 67653 ... c Min unsat cost LB: 67654 ... c Min unsat cost LB: 67656 ... c Min unsat cost LB: 67662 ... c Min unsat cost LB: 67666 ... c Min unsat cost LB: 67667 ... c Min unsat cost LB: 67668 ... c Min unsat cost LB: 67669 ... c Min unsat cost LB: 67670 ... c Min unsat cost LB: 67671 ... c Min unsat cost LB: 67672 ... c Min unsat cost LB: 67673 ... c Min unsat cost LB: 67674 ... c Min unsat cost LB: 67675 ... c Min unsat cost LB: 67676 ... c Min unsat cost LB: 67677 ... c Min unsat cost LB: 67678 ... c Min unsat cost LB: 67679 ... c Min unsat cost LB: 67680 ... c Min unsat cost LB: 67681 ... c Min unsat cost LB: 67682 ... c Min unsat cost LB: 67683 ... c Min unsat cost LB: 67685 ... c Min unsat cost LB: 67686 ... c Min unsat cost LB: 67687 ... c Min unsat cost LB: 67694 ... c Min unsat cost LB: 67699 ... c Min unsat cost LB: 67714 ... c Min unsat cost LB: 67725 ... c Min unsat cost LB: 67726 ... c Min unsat cost LB: 67727 ... c Min unsat cost LB: 67728 ... c Min unsat cost LB: 67729 ... c Min unsat cost LB: 67730 ... c Min unsat cost LB: 67731 ... c Min unsat cost LB: 67732 ... c Min unsat cost LB: 67733 ... c Min unsat cost LB: 67759 ... c Min unsat cost LB: 67760 ... c Min unsat cost LB: 67762 ... c Min unsat cost LB: 67763 ... c Min unsat cost LB: 67764 ... c Min unsat cost LB: 67765 ... c Min unsat cost LB: 67766 ... c Min unsat cost LB: 67768 ... c Min unsat cost LB: 67769 ... c Min unsat cost LB: 67770 ... c Min unsat cost LB: 67772 ... c Min unsat cost LB: 67773 ... c Min unsat cost LB: 67774 ... c Min unsat cost LB: 67775 ... c Min unsat cost LB: 67776 ... c Min unsat cost LB: 67777 ... c Min unsat cost LB: 67785 ... c Min unsat cost LB: 67797 ... c Min unsat cost LB: 67799 ... c Min unsat cost LB: 67800 ... c Min unsat cost LB: 67801 ... c Min unsat cost LB: 67802 ... c Min unsat cost LB: 67809 ... c Min unsat cost LB: 67813 ... c Min unsat cost LB: 67824 ... c Min unsat cost LB: 67825 ... c Min unsat cost LB: 67826 ... c Min unsat cost LB: 67827 ... c Min unsat cost LB: 67828 ... c Min unsat cost LB: 67829 ... c Min unsat cost LB: 67830 ... c Min unsat cost LB: 67831 ... c Min unsat cost LB: 67832 ... c Min unsat cost LB: 67833 ... c Min unsat cost LB: 67834 ... c Min unsat cost LB: 67835 ... c Min unsat cost LB: 67836 ... c Min unsat cost LB: 67837 ... c Min unsat cost LB: 67838 ... c Min unsat cost LB: 67839 ... c Min unsat cost LB: 67840 ... c Min unsat cost LB: 67841 ... c Min unsat cost LB: 67864 ... c Min unsat cost LB: 67865 ... c Min unsat cost LB: 67866 ... c Min unsat cost LB: 67867 ... c Min unsat cost LB: 67868 ... c Min unsat cost LB: 67869 ... c Min unsat cost LB: 67870 ... c Min unsat cost LB: 67871 ... c Min unsat cost LB: 67872 ... c Min unsat cost LB: 67873 ... c Min unsat cost LB: 67874 ... c Min unsat cost LB: 67875 ... c Min unsat cost LB: 67876 ... c Min unsat cost LB: 67899 ... c Min unsat cost LB: 67901 ... c Min unsat cost LB: 67906 ... c Min unsat cost LB: 67907 ... c Min unsat cost LB: 67908 ... c Min unsat cost LB: 67911 ... c Min unsat cost LB: 67914 ... c Min unsat cost LB: 67915 ... c Min unsat cost LB: 67917 ... c Min unsat cost LB: 67918 ... c Min unsat cost LB: 67919 ... c Min unsat cost LB: 67920 ... c Min unsat cost LB: 67921 ... c Min unsat cost LB: 67922 ... c Min unsat cost LB: 67923 ... c Min unsat cost LB: 67925 ... c Min unsat cost LB: 67926 ... c Min unsat cost LB: 67927 ... c Min unsat cost LB: 67928 ... c Min unsat cost LB: 67930 ... c Min unsat cost LB: 67931 ... c Min unsat cost LB: 67933 ... c Min unsat cost LB: 67934 ... c Min unsat cost LB: 67942 ... c Min unsat cost LB: 67943 ... c Min unsat cost LB: 67945 ... c Min unsat cost LB: 67946 ... c Min unsat cost LB: 67947 ... c Min unsat cost LB: 67948 ... c Min unsat cost LB: 67949 ... c Min unsat cost LB: 67950 ... c Min unsat cost LB: 67952 ... c Min unsat cost LB: 67953 ... c Min unsat cost LB: 67954 ... c Min unsat cost LB: 67956 ... c Min unsat cost LB: 67957 ... c Min unsat cost LB: 67958 ... c Min unsat cost LB: 67960 ... c Min unsat cost LB: 67961 ... c Min unsat cost LB: 67962 ... c Min unsat cost LB: 67963 ... c Min unsat cost LB: 67964 ... c Min unsat cost LB: 67965 ... c Min unsat cost LB: 67966 ... c Min unsat cost LB: 67967 ... c Min unsat cost LB: 67968 ... c Min unsat cost LB: 67969 ... c Min unsat cost LB: 67970 ... c Min unsat cost LB: 67971 ... c Min unsat cost LB: 67972 ... c Min unsat cost LB: 67973 ... c Min unsat cost LB: 67974 ... c Min unsat cost LB: 67975 ... c Min unsat cost LB: 67976 ... c Min unsat cost LB: 67979 ... c Min unsat cost LB: 67980 ... c Min unsat cost LB: 67982 ... c Min unsat cost LB: 67988 ... c Min unsat cost LB: 67989 ... c Min unsat cost LB: 67990 ... c Min unsat cost LB: 67991 ... c Min unsat cost LB: 67992 ... c Min unsat cost LB: 67993 ... c Min unsat cost LB: 67995 ... c Min unsat cost LB: 67996 ... c Min unsat cost LB: 67997 ... c Min unsat cost LB: 67998 ... c Min unsat cost LB: 68000 ... c Min unsat cost LB: 68001 ... c Min unsat cost LB: 68002 ... c Min unsat cost LB: 68007 ... c Min unsat cost LB: 68008 ... c Min unsat cost LB: 68009 ... c Min unsat cost LB: 68012 ... c Min unsat cost LB: 68013 ... c Min unsat cost LB: 68014 ... c Min unsat cost LB: 68019 ... c Min unsat cost LB: 68020 ... c Min unsat cost LB: 68021 ... c Min unsat cost LB: 68022 ... c Min unsat cost LB: 68024 ... c Min unsat cost LB: 68026 ... c Min unsat cost LB: 68027 ... c Min unsat cost LB: 68028 ... c Min unsat cost LB: 68029 ... c Min unsat cost LB: 68030 ... c Min unsat cost LB: 68031 ... c Min unsat cost LB: 68032 ... c Min unsat cost LB: 68033 ... c Min unsat cost LB: 68034 ... c Min unsat cost LB: 68035 ... c Min unsat cost LB: 68036 ... c Min unsat cost LB: 68037 ... c Min unsat cost LB: 68038 ... c Min unsat cost LB: 68040 ... c Min unsat cost LB: 68041 ... c Min unsat cost LB: 68042 ... c Min unsat cost LB: 68043 ... c Min unsat cost LB: 68044 ... c Min unsat cost LB: 68046 ... c Min unsat cost LB: 68049 ... c Min unsat cost LB: 68050 ... c Min unsat cost LB: 68055 ... c Min unsat cost LB: 68056 ... c Min unsat cost LB: 68057 ... c Min unsat cost LB: 68058 ... c Min unsat cost LB: 68059 ... c Min unsat cost LB: 68060 ... c Min unsat cost LB: 68061 ... c Min unsat cost LB: 68062 ... c Min unsat cost LB: 68063 ... c Min unsat cost LB: 68064 ... c Min unsat cost LB: 68066 ... c Min unsat cost LB: 68067 ... c Min unsat cost LB: 68068 ... c Min unsat cost LB: 68069 ... c Min unsat cost LB: 68105 ... c Min unsat cost LB: 68106 ... c Min unsat cost LB: 68107 ... c Min unsat cost LB: 68108 ... c Min unsat cost LB: 68109 ... c Min unsat cost LB: 68110 ... c Min unsat cost LB: 68111 ... c Min unsat cost LB: 68112 ... c Min unsat cost LB: 68113 ... c Min unsat cost LB: 68114 ... c Min unsat cost LB: 68115 ... c Min unsat cost LB: 68116 ... c Min unsat cost LB: 68117 ... c Min unsat cost LB: 68118 ... c Min unsat cost LB: 68119 ... c Min unsat cost LB: 68120 ... c Min unsat cost LB: 68121 ... c Min unsat cost LB: 68122 ... c Min unsat cost LB: 68123 ... c Min unsat cost LB: 68124 ... c Min unsat cost LB: 68125 ... c Min unsat cost LB: 68126 ... c Min unsat cost LB: 68127 ... c Min unsat cost LB: 68130 ... c Min unsat cost LB: 68131 ... c Min unsat cost LB: 68136 ... c Min unsat cost LB: 68137 ... c Min unsat cost LB: 68138 ... c Min unsat cost LB: 68142 ... c Min unsat cost LB: 68143 ... c Min unsat cost LB: 68144 ... c Min unsat cost LB: 68145 ... c Min unsat cost LB: 68146 ... c Min unsat cost LB: 68148 ... c Min unsat cost LB: 68149 ... c Min unsat cost LB: 68159 ... c Min unsat cost LB: 68160 ... c Min unsat cost LB: 68161 ... c Min unsat cost LB: 68166 ... c Min unsat cost LB: 68171 ... c Min unsat cost LB: 68173 ... c Min unsat cost LB: 68174 ... c Min unsat cost LB: 68177 ... c Min unsat cost LB: 68219 ... c Min unsat cost LB: 68220 ... c Min unsat cost LB: 68221 ... c Min unsat cost LB: 68222 ... c Min unsat cost LB: 68223 ... c Min unsat cost LB: 68224 ... c Min unsat cost LB: 68226 ... c Min unsat cost LB: 68227 ... c Min unsat cost LB: 68228 ... c Min unsat cost LB: 68229 ... c Min unsat cost LB: 68230 ... c Min unsat cost LB: 68231 ... c Min unsat cost LB: 68232 ... c Min unsat cost LB: 68233 ... c Min unsat cost LB: 68234 ... c Min unsat cost LB: 68235 ... c Min unsat cost LB: 68236 ... c Min unsat cost LB: 68237 ... c Min unsat cost LB: 68238 ... c Min unsat cost LB: 68239 ... c Min unsat cost LB: 68240 ... c Min unsat cost LB: 68241 ... c Min unsat cost LB: 68242 ... c Min unsat cost LB: 68243 ... c Min unsat cost LB: 68244 ... c Min unsat cost LB: 68245 ... c Min unsat cost LB: 68246 ... c Min unsat cost LB: 68247 ... c Min unsat cost LB: 68248 ... c Min unsat cost LB: 68249 ... c Min unsat cost LB: 68250 ... c Min unsat cost LB: 68251 ... c Min unsat cost LB: 68252 ... c Min unsat cost LB: 68253 ... c Min unsat cost LB: 68254 ... c Min unsat cost LB: 68255 ... c Min unsat cost LB: 68256 ... c Min unsat cost LB: 68257 ... c Min unsat cost LB: 68258 ... c Min unsat cost LB: 68259 ... c Min unsat cost LB: 68260 ... c Min unsat cost LB: 68261 ... c Min unsat cost LB: 68262 ... c Min unsat cost LB: 68263 ... c Min unsat cost LB: 68264 ... c Min unsat cost LB: 68265 ... c Min unsat cost LB: 68266 ... c Min unsat cost LB: 68267 ... c Min unsat cost LB: 68268 ... c Min unsat cost LB: 68269 ... c Min unsat cost LB: 68270 ... c Min unsat cost LB: 68271 ... c Min unsat cost LB: 68272 ... c Min unsat cost LB: 68273 ... c Min unsat cost LB: 68274Killed 1812.603u 7.137s 30:20.43 99.9% 0+0k 0+0io 0pf+0w