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_130_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_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_130_0007.txt.wcnf *** c c Min unsat cost LB: 457 ... c Min unsat cost LB: 836 ... c Min unsat cost LB: 1611 ... c Min unsat cost LB: 2190 ... c Min unsat cost LB: 2333 ... c Min unsat cost LB: 2607 ... c Min unsat cost LB: 3709 ... c Min unsat cost LB: 4288 ... c Min unsat cost LB: 4418 ... c Min unsat cost LB: 4814 ... c Min unsat cost LB: 4933 ... c Min unsat cost LB: 5518 ... c Min unsat cost LB: 5856 ... c Min unsat cost LB: 6958 ... c Min unsat cost LB: 6985 ... c Min unsat cost LB: 7287 ... c Min unsat cost LB: 7744 ... c Min unsat cost LB: 8131 ... c Min unsat cost LB: 8847 ... c Min unsat cost LB: 9432 ... c Min unsat cost LB: 9946 ... c Min unsat cost LB: 10114 ... c Min unsat cost LB: 10339 ... c Min unsat cost LB: 10855 ... c Min unsat cost LB: 10882 ... c Min unsat cost LB: 11192 ... c Min unsat cost LB: 11649 ... c Min unsat cost LB: 12074 ... c Min unsat cost LB: 12483 ... c Min unsat cost LB: 12804 ... c Min unsat cost LB: 13029 ... c Min unsat cost LB: 13212 ... c Min unsat cost LB: 13442 ... c Min unsat cost LB: 14455 ... c Min unsat cost LB: 14544 ... c Min unsat cost LB: 15362 ... c Min unsat cost LB: 15572 ... c Min unsat cost LB: 15781 ... c Min unsat cost LB: 16186 ... c Min unsat cost LB: 16234 ... c Min unsat cost LB: 16748 ... c Min unsat cost LB: 16894 ... c Min unsat cost LB: 18126 ... c Min unsat cost LB: 18482 ... c Min unsat cost LB: 18740 ... c Min unsat cost LB: 19246 ... c Min unsat cost LB: 19444 ... c Min unsat cost LB: 20004 ... c Min unsat cost LB: 20588 ... c Min unsat cost LB: 20846 ... c Min unsat cost LB: 21307 ... c Min unsat cost LB: 21694 ... c Min unsat cost LB: 21856 ... c Min unsat cost LB: 22272 ... c Min unsat cost LB: 22502 ... c Min unsat cost LB: 22511 ... c Min unsat cost LB: 22924 ... c Min unsat cost LB: 22930 ... c Min unsat cost LB: 23514 ... c Min unsat cost LB: 23637 ... c Min unsat cost LB: 23837 ... c Min unsat cost LB: 24294 ... c Min unsat cost LB: 24836 ... c Min unsat cost LB: 25297 ... c Min unsat cost LB: 25563 ... c Min unsat cost LB: 25883 ... c Min unsat cost LB: 25956 ... c Min unsat cost LB: 26014 ... c Min unsat cost LB: 26334 ... c Min unsat cost LB: 26995 ... c Min unsat cost LB: 27643 ... c Min unsat cost LB: 28037 ... c Min unsat cost LB: 28262 ... c Min unsat cost LB: 28959 ... c Min unsat cost LB: 29543 ... c Min unsat cost LB: 29666 ... c Min unsat cost LB: 30088 ... c Min unsat cost LB: 30441 ... c Min unsat cost LB: 31101 ... c Min unsat cost LB: 31279 ... c Min unsat cost LB: 31297 ... c Min unsat cost LB: 31979 ... c Min unsat cost LB: 32341 ... c Min unsat cost LB: 33354 ... c Min unsat cost LB: 34005 ... c Min unsat cost LB: 34268 ... c Min unsat cost LB: 34748 ... c Min unsat cost LB: 35327 ... c Min unsat cost LB: 35533 ... c Min unsat cost LB: 36133 ... c Min unsat cost LB: 36176 ... c Min unsat cost LB: 36417 ... c Min unsat cost LB: 36810 ... c Min unsat cost LB: 37215 ... c Min unsat cost LB: 37996 ... c Min unsat cost LB: 38580 ... c Min unsat cost LB: 38901 ... c Min unsat cost LB: 38959 ... c Min unsat cost LB: 38997 ... c Min unsat cost LB: 39240 ... c Min unsat cost LB: 39283 ... c Min unsat cost LB: 39380 ... c Min unsat cost LB: 39645 ... c Min unsat cost LB: 39710 ... c Min unsat cost LB: 39860 ... c Min unsat cost LB: 39986 ... c Min unsat cost LB: 40395 ... c Min unsat cost LB: 40413 ... c Min unsat cost LB: 40656 ... c Min unsat cost LB: 40922 ... c Min unsat cost LB: 41098 ... c Min unsat cost LB: 41237 ... c Min unsat cost LB: 41557 ... c Min unsat cost LB: 41622 ... c Min unsat cost LB: 41687 ... c Min unsat cost LB: 41915 ... c Min unsat cost LB: 42077 ... c Min unsat cost LB: 42429 ... c Min unsat cost LB: 42534 ... c Min unsat cost LB: 42677 ... c Min unsat cost LB: 42887 ... c Min unsat cost LB: 42933 ... c Min unsat cost LB: 42949 ... c Min unsat cost LB: 42951 ... c Min unsat cost LB: 43075 ... c Min unsat cost LB: 43116 ... c Min unsat cost LB: 43431 ... c Min unsat cost LB: 43892 ... c Min unsat cost LB: 43928 ... c Min unsat cost LB: 44078 ... c Min unsat cost LB: 44165 ... c Min unsat cost LB: 44246 ... c Min unsat cost LB: 44359 ... c Min unsat cost LB: 44487 ... c Min unsat cost LB: 44589 ... c Min unsat cost LB: 44610 ... c Min unsat cost LB: 44713 ... c Min unsat cost LB: 44775 ... c Min unsat cost LB: 44792 ... c Min unsat cost LB: 44807 ... c Min unsat cost LB: 44813 ... c Min unsat cost LB: 44886 ... c Min unsat cost LB: 44959 ... c Min unsat cost LB: 45071 ... c Min unsat cost LB: 45350 ... c Min unsat cost LB: 45424 ... c Min unsat cost LB: 45562 ... c Min unsat cost LB: 45578 ... c Min unsat cost LB: 45616 ... c Min unsat cost LB: 45681 ... c Min unsat cost LB: 45801 ... c Min unsat cost LB: 45877 ... c Min unsat cost LB: 45920 ... c Min unsat cost LB: 45942 ... c Min unsat cost LB: 46017 ... c Min unsat cost LB: 46111 ... c Min unsat cost LB: 46289 ... c Min unsat cost LB: 46449 ... c Min unsat cost LB: 46454 ... c Min unsat cost LB: 46561 ... c Min unsat cost LB: 46642 ... c Min unsat cost LB: 46685 ... c Min unsat cost LB: 46704 ... c Min unsat cost LB: 46843 ... c Min unsat cost LB: 46859 ... c Min unsat cost LB: 47037 ... c Min unsat cost LB: 47084 ... c Min unsat cost LB: 47373 ... c Min unsat cost LB: 47496 ... c Min unsat cost LB: 47530 ... c Min unsat cost LB: 47578 ... c Min unsat cost LB: 47617 ... c Min unsat cost LB: 47633 ... c Min unsat cost LB: 47671 ... c Min unsat cost LB: 47746 ... c Min unsat cost LB: 47797 ... c Min unsat cost LB: 47804 ... c Min unsat cost LB: 47850 ... c Min unsat cost LB: 47893 ... c Min unsat cost LB: 47908 ... c Min unsat cost LB: 47910 ... c Min unsat cost LB: 48029 ... c Min unsat cost LB: 48046 ... c Min unsat cost LB: 48084 ... c Min unsat cost LB: 48213 ... c Min unsat cost LB: 48438 ... c Min unsat cost LB: 48647 ... c Min unsat cost LB: 48651 ... c Min unsat cost LB: 48652 ... c Min unsat cost LB: 48677 ... c Min unsat cost LB: 48689 ... c Min unsat cost LB: 48723 ... c Min unsat cost LB: 48724 ... c Min unsat cost LB: 48925 ... c Min unsat cost LB: 48948 ... c Min unsat cost LB: 49000 ... c Min unsat cost LB: 49013 ... c Min unsat cost LB: 49016 ... c Min unsat cost LB: 49032 ... c Min unsat cost LB: 49064 ... c Min unsat cost LB: 49087 ... c Min unsat cost LB: 49213 ... c Min unsat cost LB: 49215 ... c Min unsat cost LB: 49245 ... c Min unsat cost LB: 49260 ... c Min unsat cost LB: 49371 ... c Min unsat cost LB: 49388 ... c Min unsat cost LB: 49469 ... c Min unsat cost LB: 49512 ... c Min unsat cost LB: 49533 ... c Min unsat cost LB: 49604 ... c Min unsat cost LB: 49616 ... c Min unsat cost LB: 49632 ... c Min unsat cost LB: 49633 ... c Min unsat cost LB: 49638 ... c Min unsat cost LB: 49656 ... c Min unsat cost LB: 49688 ... c Min unsat cost LB: 49779 ... c Min unsat cost LB: 49781 ... c Min unsat cost LB: 49808 ... c Min unsat cost LB: 49841 ... c Min unsat cost LB: 49869 ... c Min unsat cost LB: 49918 ... c Min unsat cost LB: 49926 ... c Min unsat cost LB: 49931 ... c Min unsat cost LB: 49944 ... c Min unsat cost LB: 49959 ... c Min unsat cost LB: 49968 ... c Min unsat cost LB: 50075 ... c Min unsat cost LB: 50100 ... c Min unsat cost LB: 50145 ... c Min unsat cost LB: 50220 ... c Min unsat cost LB: 50343 ... c Min unsat cost LB: 50428 ... c Min unsat cost LB: 50513 ... c Min unsat cost LB: 50541 ... c Min unsat cost LB: 50549 ... c Min unsat cost LB: 50649 ... c Min unsat cost LB: 50662 ... c Min unsat cost LB: 50679 ... c Min unsat cost LB: 50685 ... c Min unsat cost LB: 50702 ... c Min unsat cost LB: 50959 ... c Min unsat cost LB: 51062 ... c Min unsat cost LB: 51288 ... c Min unsat cost LB: 51496 ... c Min unsat cost LB: 51539 ... c Min unsat cost LB: 51583 ... c Min unsat cost LB: 51664 ... c Min unsat cost LB: 51707 ... c Min unsat cost LB: 51746 ... c Min unsat cost LB: 51768 ... c Min unsat cost LB: 51779 ... c Min unsat cost LB: 51795 ... c Min unsat cost LB: 51853 ... c Min unsat cost LB: 51856 ... c Min unsat cost LB: 51860 ... c Min unsat cost LB: 52085 ... c Min unsat cost LB: 52097 ... c Min unsat cost LB: 52101 ... c Min unsat cost LB: 52143 ... c Min unsat cost LB: 52168 ... c Min unsat cost LB: 52206 ... c Min unsat cost LB: 52256 ... c Min unsat cost LB: 52260 ... c Min unsat cost LB: 52265 ... c Min unsat cost LB: 52338 ... c Min unsat cost LB: 52411 ... c Min unsat cost LB: 52429 ... c Min unsat cost LB: 52540 ... c Min unsat cost LB: 52560 ... c Min unsat cost LB: 52583 ... c Min unsat cost LB: 52622 ... c Min unsat cost LB: 52627 ... c Min unsat cost LB: 52630 ... c Min unsat cost LB: 52943 ... c Min unsat cost LB: 52980 ... c Min unsat cost LB: 52987 ... c Min unsat cost LB: 53023 ... c Min unsat cost LB: 53024 ... c Min unsat cost LB: 53035 ... c Min unsat cost LB: 53039 ... c Min unsat cost LB: 53061 ... c Min unsat cost LB: 53254 ... c Min unsat cost LB: 53259 ... c Min unsat cost LB: 53274 ... c Min unsat cost LB: 53280 ... c Min unsat cost LB: 53292 ... c Min unsat cost LB: 53296 ... c Min unsat cost LB: 53310 ... c Min unsat cost LB: 53314 ... c Min unsat cost LB: 53320 ... c Min unsat cost LB: 53330 ... c Min unsat cost LB: 53336 ... c Min unsat cost LB: 53356 ... c Min unsat cost LB: 53367 ... c Min unsat cost LB: 53373 ... c Min unsat cost LB: 53374 ... c Min unsat cost LB: 53397 ... c Min unsat cost LB: 53398 ... c Min unsat cost LB: 53403 ... c Min unsat cost LB: 53404 ... c Min unsat cost LB: 53408 ... c Min unsat cost LB: 53452 ... c Min unsat cost LB: 53458 ... c Min unsat cost LB: 53501 ... c Min unsat cost LB: 53533 ... c Min unsat cost LB: 53541 ... c Min unsat cost LB: 53547 ... c Min unsat cost LB: 53554 ... c Min unsat cost LB: 53582 ... c Min unsat cost LB: 53586 ... c Min unsat cost LB: 53593 ... c Min unsat cost LB: 53604 ... c Min unsat cost LB: 53607 ... c Min unsat cost LB: 53615 ... c Min unsat cost LB: 53629 ... c Min unsat cost LB: 53642 ... c Min unsat cost LB: 53672 ... c Min unsat cost LB: 53822 ... c Min unsat cost LB: 53878 ... c Min unsat cost LB: 53898 ... c Min unsat cost LB: 53928 ... c Min unsat cost LB: 53930 ... c Min unsat cost LB: 53931 ... c Min unsat cost LB: 53965 ... c Min unsat cost LB: 53990 ... c Min unsat cost LB: 54042 ... c Min unsat cost LB: 54076 ... c Min unsat cost LB: 54088 ... c Min unsat cost LB: 54089 ... c Min unsat cost LB: 54092 ... c Min unsat cost LB: 54099 ... c Min unsat cost LB: 54112 ... c Min unsat cost LB: 54114 ... c Min unsat cost LB: 54115 ... c Min unsat cost LB: 54126 ... c Min unsat cost LB: 54127 ... c Min unsat cost LB: 54128 ... c Min unsat cost LB: 54131 ... c Min unsat cost LB: 54144 ... c Min unsat cost LB: 54146 ... c Min unsat cost LB: 54147 ... c Min unsat cost LB: 54151 ... c Min unsat cost LB: 54155 ... c Min unsat cost LB: 54159 ... c Min unsat cost LB: 54161 ... c Min unsat cost LB: 54166 ... c Min unsat cost LB: 54167 ... c Min unsat cost LB: 54220 ... c Min unsat cost LB: 54349 ... c Min unsat cost LB: 54364 ... c Min unsat cost LB: 54368 ... c Min unsat cost LB: 54369 ... c Min unsat cost LB: 54370 ... c Min unsat cost LB: 54372 ... c Min unsat cost LB: 54373 ... c Min unsat cost LB: 54403 ... c Min unsat cost LB: 54408 ... c Min unsat cost LB: 54417 ... c Min unsat cost LB: 54421 ... c Min unsat cost LB: 54467 ... c Min unsat cost LB: 54468 ... c Min unsat cost LB: 54470 ... c Min unsat cost LB: 54471 ... c Min unsat cost LB: 54482 ... c Min unsat cost LB: 54527 ... c Min unsat cost LB: 54558 ... c Min unsat cost LB: 54580 ... c Min unsat cost LB: 54582 ... c Min unsat cost LB: 54602 ... c Min unsat cost LB: 54603 ... c Min unsat cost LB: 54605 ... c Min unsat cost LB: 54608 ... c Min unsat cost LB: 54615 ... c Min unsat cost LB: 54667 ... c Min unsat cost LB: 54738 ... c Min unsat cost LB: 54761 ... c Min unsat cost LB: 54804 ... c Min unsat cost LB: 54825 ... c Min unsat cost LB: 54850 ... c Min unsat cost LB: 54855 ... c Min unsat cost LB: 54861 ... c Min unsat cost LB: 54863 ... c Min unsat cost LB: 54867 ... c Min unsat cost LB: 54883 ... c Min unsat cost LB: 54902 ... c Min unsat cost LB: 54906 ... c Min unsat cost LB: 54908 ... c Min unsat cost LB: 54916 ... c Min unsat cost LB: 54917 ... c Min unsat cost LB: 54919 ... c Min unsat cost LB: 54930 ... c Min unsat cost LB: 54932 ... c Min unsat cost LB: 54945 ... c Min unsat cost LB: 54957 ... c Min unsat cost LB: 54998 ... c Min unsat cost LB: 54999 ... c Min unsat cost LB: 55052 ... c Min unsat cost LB: 55058 ... c Min unsat cost LB: 55060 ... c Min unsat cost LB: 55063 ... c Min unsat cost LB: 55070 ... c Min unsat cost LB: 55074 ... c Min unsat cost LB: 55075 ... c Min unsat cost LB: 55076 ... c Min unsat cost LB: 55077 ... c Min unsat cost LB: 55079 ... c Min unsat cost LB: 55080 ... c Min unsat cost LB: 55081 ... c Min unsat cost LB: 55084 ... c Min unsat cost LB: 55086 ... c Min unsat cost LB: 55093 ... c Min unsat cost LB: 55094 ... c Min unsat cost LB: 55096 ... c Min unsat cost LB: 55100 ... c Min unsat cost LB: 55101 ... c Min unsat cost LB: 55114 ... c Min unsat cost LB: 55117 ... c Min unsat cost LB: 55124 ... c Min unsat cost LB: 55127 ... c Min unsat cost LB: 55128 ... c Min unsat cost LB: 55129 ... c Min unsat cost LB: 55130 ... c Min unsat cost LB: 55132 ... c Min unsat cost LB: 55137 ... c Min unsat cost LB: 55141 ... c Min unsat cost LB: 55142 ... c Min unsat cost LB: 55157 ... c Min unsat cost LB: 55158 ... c Min unsat cost LB: 55159 ... c Min unsat cost LB: 55160 ... c Min unsat cost LB: 55163 ... c Min unsat cost LB: 55169 ... c Min unsat cost LB: 55171 ... c Min unsat cost LB: 55172 ... c Min unsat cost LB: 55175 ... c Min unsat cost LB: 55176 ... c Min unsat cost LB: 55177 ... c Min unsat cost LB: 55178 ... c Min unsat cost LB: 55180 ... c Min unsat cost LB: 55183 ... c Min unsat cost LB: 55184 ... c Min unsat cost LB: 55186 ... c Min unsat cost LB: 55189 ... c Min unsat cost LB: 55190 ... c Min unsat cost LB: 55195 ... c Min unsat cost LB: 55196 ... c Min unsat cost LB: 55199 ... c Min unsat cost LB: 55201 ... c Min unsat cost LB: 55206 ... c Min unsat cost LB: 55207 ... c Min unsat cost LB: 55216 ... c Min unsat cost LB: 55221 ... c Min unsat cost LB: 55224 ... c Min unsat cost LB: 55229 ... c Min unsat cost LB: 55231 ... c Min unsat cost LB: 55238 ... c Min unsat cost LB: 55244 ... c Min unsat cost LB: 55245 ... c Min unsat cost LB: 55246 ... c Min unsat cost LB: 55248 ... c Min unsat cost LB: 55249 ... c Min unsat cost LB: 55256 ... c Min unsat cost LB: 55290 ... c Min unsat cost LB: 55292 ... c Min unsat cost LB: 55298 ... c Min unsat cost LB: 55300 ... c Min unsat cost LB: 55305 ... c Min unsat cost LB: 55306 ... c Min unsat cost LB: 55309 ... c Min unsat cost LB: 55311 ... c Min unsat cost LB: 55312 ... c Min unsat cost LB: 55313 ... c Min unsat cost LB: 55315 ... c Min unsat cost LB: 55316 ... c Min unsat cost LB: 55317 ... c Min unsat cost LB: 55318 ... c Min unsat cost LB: 55319 ... c Min unsat cost LB: 55320 ... c Min unsat cost LB: 55324 ... c Min unsat cost LB: 55330 ... c Min unsat cost LB: 55331 ... c Min unsat cost LB: 55332 ... c Min unsat cost LB: 55333 ... c Min unsat cost LB: 55334 ... c Min unsat cost LB: 55335 ... c Min unsat cost LB: 55350 ... c Min unsat cost LB: 55354 ... c Min unsat cost LB: 55357 ... c Min unsat cost LB: 55359 ... c Min unsat cost LB: 55360 ... c Min unsat cost LB: 55361 ... c Min unsat cost LB: 55362 ... c Min unsat cost LB: 55389 ... c Min unsat cost LB: 55391 ... c Min unsat cost LB: 55394 ... c Min unsat cost LB: 55397 ... c Min unsat cost LB: 55399 ... c Min unsat cost LB: 55406 ... c Min unsat cost LB: 55408 ... c Min unsat cost LB: 55412 ... c Min unsat cost LB: 55413 ... c Min unsat cost LB: 55415 ... c Min unsat cost LB: 55425 ... c Min unsat cost LB: 55426 ... c Min unsat cost LB: 55427 ... c Min unsat cost LB: 55429 ... c Min unsat cost LB: 55430 ... c Min unsat cost LB: 55431 ... c Min unsat cost LB: 55433 ... c Min unsat cost LB: 55442 ... c Min unsat cost LB: 55443 ... c Min unsat cost LB: 55444 ... c Min unsat cost LB: 55446 ... c Min unsat cost LB: 55448 ... c Min unsat cost LB: 55451 ... c Min unsat cost LB: 55452 ... c Min unsat cost LB: 55453 ... c Min unsat cost LB: 55489 ... c Min unsat cost LB: 55491 ... c Min unsat cost LB: 55493 ... c Min unsat cost LB: 55494 ... c Min unsat cost LB: 55506 ... c Min unsat cost LB: 55507 ... c Min unsat cost LB: 55509 ... c Min unsat cost LB: 55514 ... c Min unsat cost LB: 55519 ... c Min unsat cost LB: 55520 ... c Min unsat cost LB: 55529 ... c Min unsat cost LB: 55530 ... c Min unsat cost LB: 55531 ... c Min unsat cost LB: 55536 ... c Min unsat cost LB: 55537 ... c Min unsat cost LB: 55538 ... c Min unsat cost LB: 55541 ... c Min unsat cost LB: 55548 ... c Min unsat cost LB: 55551 ... c Min unsat cost LB: 55557 ... c Min unsat cost LB: 55563 ... c Min unsat cost LB: 55578 ... c Min unsat cost LB: 55580 ... c Min unsat cost LB: 55604 ... c Min unsat cost LB: 55605 ... c Min unsat cost LB: 55610 ... c Min unsat cost LB: 55616 ... c Min unsat cost LB: 55618 ... c Min unsat cost LB: 55619 ... c Min unsat cost LB: 55622 ... c Min unsat cost LB: 55624 ... c Min unsat cost LB: 55625 ... c Min unsat cost LB: 55626 ... c Min unsat cost LB: 55628 ... c Min unsat cost LB: 55629 ... c Min unsat cost LB: 55631 ... c Min unsat cost LB: 55632 ... c Min unsat cost LB: 55646 ... c Min unsat cost LB: 55651 ... c Min unsat cost LB: 55652 ... c Min unsat cost LB: 55653 ... c Min unsat cost LB: 55654 ... c Min unsat cost LB: 55655 ... c Min unsat cost LB: 55657 ... c Min unsat cost LB: 55659 ... c Min unsat cost LB: 55660 ... c Min unsat cost LB: 55661 ... c Min unsat cost LB: 55662 ... c Min unsat cost LB: 55664 ... c Min unsat cost LB: 55668 ... c Min unsat cost LB: 55675 ... c Min unsat cost LB: 55676 ... c Min unsat cost LB: 55677 ... c Min unsat cost LB: 55678 ... c Min unsat cost LB: 55679 ... c Min unsat cost LB: 55689 ... c Min unsat cost LB: 55693 ... c Min unsat cost LB: 55694 ... c Min unsat cost LB: 55696 ... c Min unsat cost LB: 55698 ... c Min unsat cost LB: 55700 ... c Min unsat cost LB: 55701 ... c Min unsat cost LB: 55703 ... c Min unsat cost LB: 55704 ... c Min unsat cost LB: 55705 ... c Min unsat cost LB: 55707 ... c Min unsat cost LB: 55708 ... c Min unsat cost LB: 55709 ... c Min unsat cost LB: 55710 ... c Min unsat cost LB: 55711 ... c Min unsat cost LB: 55725 ... c Min unsat cost LB: 55727 ... c Min unsat cost LB: 55728 ... c Min unsat cost LB: 55729 ... c Min unsat cost LB: 55730 ... c Min unsat cost LB: 55731 ... c Min unsat cost LB: 55732 ... c Min unsat cost LB: 55735 ... c Min unsat cost LB: 55736 ... c Min unsat cost LB: 55738 ... c Min unsat cost LB: 55740 ... c Min unsat cost LB: 55742 ... c Min unsat cost LB: 55743 ... c Min unsat cost LB: 55744 ... c Min unsat cost LB: 55746 ... c Min unsat cost LB: 55747 ... c Min unsat cost LB: 55748 ... c Min unsat cost LB: 55750 ... c Min unsat cost LB: 55751 ... c Min unsat cost LB: 55753 ... c Min unsat cost LB: 55754 ... c Min unsat cost LB: 55758 ... c Min unsat cost LB: 55772 ... c Min unsat cost LB: 55774 ... c Min unsat cost LB: 55775 ... c Min unsat cost LB: 55776 ... c Min unsat cost LB: 55777 ... c Min unsat cost LB: 55784 ... c Min unsat cost LB: 55795 ... c Min unsat cost LB: 55796 ... c Min unsat cost LB: 55798 ... c Min unsat cost LB: 55803 ... c Min unsat cost LB: 55804 ... c Min unsat cost LB: 55805 ... c Min unsat cost LB: 55806 ... c Min unsat cost LB: 55807 ... c Min unsat cost LB: 55809 ... c Min unsat cost LB: 55810 ... c Min unsat cost LB: 55811 ... c Min unsat cost LB: 55813 ... c Min unsat cost LB: 55817 ... c Min unsat cost LB: 55818 ... c Min unsat cost LB: 55819 ... c Min unsat cost LB: 55820 ... c Min unsat cost LB: 55821 ... c Min unsat cost LB: 55822 ... c Min unsat cost LB: 55823 ... c Min unsat cost LB: 55824 ... c Min unsat cost LB: 55825 ... c Min unsat cost LB: 55826 ... c Min unsat cost LB: 55827 ... c Min unsat cost LB: 55828 ... c Min unsat cost LB: 55829 ... c Min unsat cost LB: 55834 ... c Min unsat cost LB: 55835 ... c Min unsat cost LB: 55839 ... c Min unsat cost LB: 55840 ... c Min unsat cost LB: 55845 ... c Min unsat cost LB: 55846 ... c Min unsat cost LB: 55849 ... c Min unsat cost LB: 55850 ... c Min unsat cost LB: 55854 ... c Min unsat cost LB: 55861 ... c Min unsat cost LB: 55862 ... c Min unsat cost LB: 55863 ... c Min unsat cost LB: 55864 ... c Min unsat cost LB: 55865 ... c Min unsat cost LB: 55866 ... c Min unsat cost LB: 55869 ... c Min unsat cost LB: 55870 ... c Min unsat cost LB: 55871 ... c Min unsat cost LB: 55872 ... c Min unsat cost LB: 55873 ... c Min unsat cost LB: 55874 ... c Min unsat cost LB: 55875 ... c Min unsat cost LB: 55876 ... c Min unsat cost LB: 55877 ... c Min unsat cost LB: 55878 ... c Min unsat cost LB: 55879 ... c Min unsat cost LB: 55880 ... c Min unsat cost LB: 55881 ... c Min unsat cost LB: 55882 ... c Min unsat cost LB: 55883 ... c Min unsat cost LB: 55884 ... c Min unsat cost LB: 55885 ... c Min unsat cost LB: 55886 ... c Min unsat cost LB: 55887 ... c Min unsat cost LB: 55888 ... c Min unsat cost LB: 55889 ... c Min unsat cost LB: 55890 ... c Min unsat cost LB: 55891 ... c Min unsat cost LB: 55892 ... c Min unsat cost LB: 55893 ... c Min unsat cost LB: 55894 ... c Min unsat cost LB: 55895 ... c Min unsat cost LB: 55897 ... c Min unsat cost LB: 55898 ... c Min unsat cost LB: 55899 ... c Min unsat cost LB: 55900 ... c Min unsat cost LB: 55901 ... c Min unsat cost LB: 55918 ... c Min unsat cost LB: 55919 ... c Min unsat cost LB: 55920 ... c Min unsat cost LB: 55922 ... c Min unsat cost LB: 55924 ... c Min unsat cost LB: 55925 ... c Min unsat cost LB: 55926 ... c Min unsat cost LB: 55935 ... c Min unsat cost LB: 55936 ... c Min unsat cost LB: 55944 ... c Min unsat cost LB: 55946 ... c Min unsat cost LB: 55957 ... c Min unsat cost LB: 55958 ... c Min unsat cost LB: 55959 ... c Min unsat cost LB: 55960 ... c Min unsat cost LB: 55961 ... c Min unsat cost LB: 55962 ... c Min unsat cost LB: 55963 ... c Min unsat cost LB: 55964 ... c Min unsat cost LB: 55966 ... c Min unsat cost LB: 55967 ... c Min unsat cost LB: 55968 ... c Min unsat cost LB: 55969 ... c Min unsat cost LB: 55970 ... c Min unsat cost LB: 55971 ... c Min unsat cost LB: 55972 ... c Min unsat cost LB: 55973 ... c Min unsat cost LB: 55974 ... c Min unsat cost LB: 55977 ... c Min unsat cost LB: 55979 ... c Min unsat cost LB: 55999 ... c Min unsat cost LB: 56000 ... c Min unsat cost LB: 56001 ... c Min unsat cost LB: 56002 ... c Min unsat cost LB: 56003 ... c Min unsat cost LB: 56004 ... c Min unsat cost LB: 56005 ... c Min unsat cost LB: 56006 ... c Min unsat cost LB: 56007 ... c Min unsat cost LB: 56008 ... c Min unsat cost LB: 56009 ... c Min unsat cost LB: 56010 ... c Min unsat cost LB: 56011 ... c Min unsat cost LB: 56026 ... c Min unsat cost LB: 56033 ... c Min unsat cost LB: 56034 ... c Min unsat cost LB: 56039 ... c Min unsat cost LB: 56040 ... c Min unsat cost LB: 56041 ... c Min unsat cost LB: 56042 ... c Min unsat cost LB: 56043 ... c Min unsat cost LB: 56044 ... c Min unsat cost LB: 56045 ... c Min unsat cost LB: 56046 ... c Min unsat cost LB: 56047 ... c Min unsat cost LB: 56049 ... c Min unsat cost LB: 56050 ... c Min unsat cost LB: 56051 ... c Min unsat cost LB: 56052 ... c Min unsat cost LB: 56053 ... c Min unsat cost LB: 56055 ... c Min unsat cost LB: 56056 ... c Min unsat cost LB: 56058 ... c Min unsat cost LB: 56059 ... c Min unsat cost LB: 56062 ... c Min unsat cost LB: 56064 ... c Min unsat cost LB: 56070 ... c Min unsat cost LB: 56071 ... c Min unsat cost LB: 56072 ... c Min unsat cost LB: 56073 ... c Min unsat cost LB: 56081 ... c Min unsat cost LB: 56086 ... c Min unsat cost LB: 56088 ... c Min unsat cost LB: 56089 ... c Min unsat cost LB: 56091 ... c Min unsat cost LB: 56093 ... c Min unsat cost LB: 56095 ... c Min unsat cost LB: 56097 ... c Min unsat cost LB: 56101 ... c Min unsat cost LB: 56103 ... c Min unsat cost LB: 56104 ... c Min unsat cost LB: 56105 ... c Min unsat cost LB: 56112 ... c Min unsat cost LB: 56123 ... c Min unsat cost LB: 56124 ... c Min unsat cost LB: 56125 ... c Min unsat cost LB: 56126 ... c Min unsat cost LB: 56127 ... c Min unsat cost LB: 56128 ... c Min unsat cost LB: 56130 ... c Min unsat cost LB: 56131 ... c Min unsat cost LB: 56132 ... c Min unsat cost LB: 56134 ... c Min unsat cost LB: 56135 ... c Min unsat cost LB: 56136 ... c Min unsat cost LB: 56138 ... c Min unsat cost LB: 56139 ... c Min unsat cost LB: 56140 ... c Min unsat cost LB: 56141 ... c Min unsat cost LB: 56142 ... c Min unsat cost LB: 56143 ... c Min unsat cost LB: 56144 ... c Min unsat cost LB: 56145 ... c Min unsat cost LB: 56146 ... c Min unsat cost LB: 56147 ... c Min unsat cost LB: 56148 ... c Min unsat cost LB: 56149 ... c Min unsat cost LB: 56150 ... c Min unsat cost LB: 56151 ... c Min unsat cost LB: 56152 ... c Min unsat cost LB: 56153 ... c Min unsat cost LB: 56154 ... c Min unsat cost LB: 56155 ... c Min unsat cost LB: 56156 ... c Min unsat cost LB: 56157 ... c Min unsat cost LB: 56158 ... c Min unsat cost LB: 56159 ... c Min unsat cost LB: 56160 ... c Min unsat cost LB: 56161 ... c Min unsat cost LB: 56162 ... c Min unsat cost LB: 56164 ... c Min unsat cost LB: 56165 ... c Min unsat cost LB: 56166 ... c Min unsat cost LB: 56171 ... c Min unsat cost LB: 56172 ... c Min unsat cost LB: 56173 ... c Min unsat cost LB: 56174 ... c Min unsat cost LB: 56175 ... c Min unsat cost LB: 56176 ... c Min unsat cost LB: 56177 ... c Min unsat cost LB: 56178 ... c Min unsat cost LB: 56179 ... c Min unsat cost LB: 56180 ... c Min unsat cost LB: 56181 ... c Min unsat cost LB: 56182 ... c Min unsat cost LB: 56183 ... c Min unsat cost LB: 56184 ... c Min unsat cost LB: 56185 ... c Min unsat cost LB: 56186 ... c Min unsat cost LB: 56187 ... c Min unsat cost LB: 56191 ... c Min unsat cost LB: 56192 ... c Min unsat cost LB: 56193 ... c Min unsat cost LB: 56194 ... c Min unsat cost LB: 56195 ... c Min unsat cost LB: 56207 ... c Min unsat cost LB: 56208 ... c Min unsat cost LB: 56209 ... c Min unsat cost LB: 56210 ... c Min unsat cost LB: 56211 ... c Min unsat cost LB: 56212 ... c Min unsat cost LB: 56214 ... c Min unsat cost LB: 56217 ... c Min unsat cost LB: 56225 ... c Min unsat cost LB: 56226 ... c Min unsat cost LB: 56227 ... c Min unsat cost LB: 56228 ... c Min unsat cost LB: 56237 ... c Min unsat cost LB: 56238 ... c Min unsat cost LB: 56239 ... c Min unsat cost LB: 56240 ... c Min unsat cost LB: 56248 ... c Min unsat cost LB: 56298 ... c Min unsat cost LB: 56299 ... c Min unsat cost LB: 56300 ... c Min unsat cost LB: 56301 ... c Min unsat cost LB: 56306 ... c Min unsat cost LB: 56307 ... c Min unsat cost LB: 56308 ... c Min unsat cost LB: 56309 ... c Min unsat cost LB: 56310 ... c Min unsat cost LB: 56311 ... c Min unsat cost LB: 56312 ... c Min unsat cost LB: 56313 ... c Min unsat cost LB: 56314 ... c Min unsat cost LB: 56315 ... c Min unsat cost LB: 56316 ... c Min unsat cost LB: 56318 ... c Min unsat cost LB: 56319 ... c Min unsat cost LB: 56320 ... c Min unsat cost LB: 56321 ... 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: 56326 ... c Min unsat cost LB: 56327 ... c Min unsat cost LB: 56328 ... c Min unsat cost LB: 56329 ... c Min unsat cost LB: 56330 ... c Min unsat cost LB: 56331 ... c Min unsat cost LB: 56332 ... c Min unsat cost LB: 56333 ... c Min unsat cost LB: 56334 ... c Min unsat cost LB: 56335 ... c Min unsat cost LB: 56336 ... c Min unsat cost LB: 56337 ... c Min unsat cost LB: 56338 ... c Min unsat cost LB: 56339 ... c Min unsat cost LB: 56340 ... c Min unsat cost LB: 56341 ... c Min unsat cost LB: 56342 ... c Min unsat cost LB: 56343 ... c Min unsat cost LB: 56344 ... c Min unsat cost LB: 56345 ... c Min unsat cost LB: 56346 ... c Min unsat cost LB: 56347 ... c Min unsat cost LB: 56348 ... c Min unsat cost LB: 56349 ... c Min unsat cost LB: 56350 ... c Min unsat cost LB: 56351 ... c Min unsat cost LB: 56352 ... c Min unsat cost LB: 56353 ... c Min unsat cost LB: 56354 ... c Min unsat cost LB: 56355 ... c Min unsat cost LB: 56356 ... c Min unsat cost LB: 56358 ... c Min unsat cost LB: 56360 ... c Min unsat cost LB: 56361 ... c Min unsat cost LB: 56362 ... c Min unsat cost LB: 56363 ... c Min unsat cost LB: 56365 ... c Min unsat cost LB: 56366 ... c Min unsat cost LB: 56367 ... c Min unsat cost LB: 56368 ... c Min unsat cost LB: 56370 ... c Min unsat cost LB: 56371 ... c Min unsat cost LB: 56376 ... c Min unsat cost LB: 56377 ... c Min unsat cost LB: 56378 ... c Min unsat cost LB: 56379 ... c Min unsat cost LB: 56380 ... c Min unsat cost LB: 56381 ... 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: 56388 ... c Min unsat cost LB: 56389 ... c Min unsat cost LB: 56390 ... c Min unsat cost LB: 56391 ... c Min unsat cost LB: 56392 ... c Min unsat cost LB: 56393 ... c Min unsat cost LB: 56394 ... c Min unsat cost LB: 56401 ... c Min unsat cost LB: 56402 ... c Min unsat cost LB: 56404 ... 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: 56411 ... 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: 56423 ... c Min unsat cost LB: 56424 ... c Min unsat cost LB: 56425 ... c Min unsat cost LB: 56427 ... c Min unsat cost LB: 56428 ... c Min unsat cost LB: 56429 ... c Min unsat cost LB: 56430 ... c Min unsat cost LB: 56431 ... 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: 56439 ... c Min unsat cost LB: 56440 ... c Min unsat cost LB: 56441 ... c Min unsat cost LB: 56442 ... c Min unsat cost LB: 56443 ... c Min unsat cost LB: 56445 ... c Min unsat cost LB: 56446 ... c Min unsat cost LB: 56448 ... 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: 56457 ... c Min unsat cost LB: 56458 ... c Min unsat cost LB: 56459 ... c Min unsat cost LB: 56460 ... 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: 56465 ... c Min unsat cost LB: 56466 ... c Min unsat cost LB: 56470 ... c Min unsat cost LB: 56471 ... c Min unsat cost LB: 56476 ... c Min unsat cost LB: 56477 ... c Min unsat cost LB: 56479 ... 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: 56487 ... c Min unsat cost LB: 56488 ... c Min unsat cost LB: 56489 ... c Min unsat cost LB: 56490 ... c Min unsat cost LB: 56491 ... c Min unsat cost LB: 56492 ... c Min unsat cost LB: 56493 ... c Min unsat cost LB: 56494 ... c Min unsat cost LB: 56495 ... c Min unsat cost LB: 56496 ... 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: 56502 ... c Min unsat cost LB: 56503 ... c Min unsat cost LB: 56504 ... c Min unsat cost LB: 56505 ... c Min unsat cost LB: 56506 ... c Min unsat cost LB: 56507 ... c Min unsat cost LB: 56508 ... c Min unsat cost LB: 56509 ... c Min unsat cost LB: 56510 ... c Min unsat cost LB: 56511 ... c Min unsat cost LB: 56Killed 1814.682u 5.057s 30:20.05 99.9% 0+0k 0+0io 0pf+0w