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_90_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_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_90_0007.txt.wcnf *** c c Min unsat cost LB: 480 ... c Min unsat cost LB: 960 ... c Min unsat cost LB: 1931 ... c Min unsat cost LB: 2273 ... c Min unsat cost LB: 3000 ... c Min unsat cost LB: 3577 ... c Min unsat cost LB: 4067 ... c Min unsat cost LB: 4683 ... c Min unsat cost LB: 5474 ... c Min unsat cost LB: 6201 ... c Min unsat cost LB: 6381 ... c Min unsat cost LB: 6861 ... c Min unsat cost LB: 7656 ... c Min unsat cost LB: 7917 ... c Min unsat cost LB: 8866 ... c Min unsat cost LB: 9020 ... c Min unsat cost LB: 9156 ... c Min unsat cost LB: 10355 ... c Min unsat cost LB: 10556 ... c Min unsat cost LB: 11133 ... c Min unsat cost LB: 11505 ... c Min unsat cost LB: 11609 ... c Min unsat cost LB: 12032 ... c Min unsat cost LB: 12301 ... c Min unsat cost LB: 13128 ... c Min unsat cost LB: 13855 ... c Min unsat cost LB: 14227 ... c Min unsat cost LB: 14842 ... c Min unsat cost LB: 14913 ... c Min unsat cost LB: 15218 ... c Min unsat cost LB: 15322 ... c Min unsat cost LB: 15965 ... c Min unsat cost LB: 16817 ... c Min unsat cost LB: 17461 ... c Min unsat cost LB: 17789 ... c Min unsat cost LB: 17804 ... c Min unsat cost LB: 18352 ... c Min unsat cost LB: 18384 ... c Min unsat cost LB: 19371 ... c Min unsat cost LB: 20014 ... c Min unsat cost LB: 20741 ... c Min unsat cost LB: 21024 ... c Min unsat cost LB: 21289 ... c Min unsat cost LB: 21290 ... c Min unsat cost LB: 21535 ... c Min unsat cost LB: 21624 ... c Min unsat cost LB: 22414 ... c Min unsat cost LB: 22962 ... c Min unsat cost LB: 23814 ... c Min unsat cost LB: 23945 ... c Min unsat cost LB: 24507 ... c Min unsat cost LB: 24763 ... c Min unsat cost LB: 25282 ... c Min unsat cost LB: 26134 ... c Min unsat cost LB: 27087 ... c Min unsat cost LB: 27635 ... c Min unsat cost LB: 27984 ... c Min unsat cost LB: 28595 ... c Min unsat cost LB: 28627 ... c Min unsat cost LB: 28659 ... c Min unsat cost LB: 28842 ... c Min unsat cost LB: 28928 ... c Min unsat cost LB: 28941 ... c Min unsat cost LB: 29270 ... c Min unsat cost LB: 29750 ... c Min unsat cost LB: 29933 ... c Min unsat cost LB: 30174 ... c Min unsat cost LB: 30289 ... c Min unsat cost LB: 30412 ... c Min unsat cost LB: 30661 ... c Min unsat cost LB: 30750 ... c Min unsat cost LB: 30765 ... c Min unsat cost LB: 30798 ... c Min unsat cost LB: 30902 ... c Min unsat cost LB: 31196 ... c Min unsat cost LB: 31215 ... c Min unsat cost LB: 31257 ... c Min unsat cost LB: 31323 ... c Min unsat cost LB: 31354 ... c Min unsat cost LB: 31720 ... c Min unsat cost LB: 32003 ... c Min unsat cost LB: 32164 ... c Min unsat cost LB: 32253 ... c Min unsat cost LB: 32286 ... c Min unsat cost LB: 32778 ... c Min unsat cost LB: 32810 ... c Min unsat cost LB: 32939 ... c Min unsat cost LB: 33640 ... c Min unsat cost LB: 34593 ... c Min unsat cost LB: 35098 ... c Min unsat cost LB: 35112 ... c Min unsat cost LB: 35236 ... c Min unsat cost LB: 35559 ... c Min unsat cost LB: 35570 ... c Min unsat cost LB: 35701 ... c Min unsat cost LB: 35753 ... c Min unsat cost LB: 35829 ... c Min unsat cost LB: 36030 ... c Min unsat cost LB: 36291 ... c Min unsat cost LB: 36293 ... c Min unsat cost LB: 36458 ... c Min unsat cost LB: 36935 ... c Min unsat cost LB: 37121 ... c Min unsat cost LB: 37248 ... c Min unsat cost LB: 37261 ... c Min unsat cost LB: 37347 ... c Min unsat cost LB: 37383 ... c Min unsat cost LB: 37398 ... c Min unsat cost LB: 37424 ... c Min unsat cost LB: 37516 ... c Min unsat cost LB: 37602 ... c Min unsat cost LB: 37607 ... c Min unsat cost LB: 37681 ... c Min unsat cost LB: 38082 ... c Min unsat cost LB: 38158 ... c Min unsat cost LB: 38345 ... c Min unsat cost LB: 38357 ... c Min unsat cost LB: 38446 ... c Min unsat cost LB: 38530 ... c Min unsat cost LB: 38533 ... c Min unsat cost LB: 38571 ... c Min unsat cost LB: 38627 ... c Min unsat cost LB: 38637 ... c Min unsat cost LB: 38764 ... c Min unsat cost LB: 38787 ... c Min unsat cost LB: 38919 ... c Min unsat cost LB: 38933 ... c Min unsat cost LB: 39036 ... c Min unsat cost LB: 39226 ... c Min unsat cost LB: 39260 ... c Min unsat cost LB: 39296 ... c Min unsat cost LB: 39310 ... c Min unsat cost LB: 39327 ... c Min unsat cost LB: 39345 ... c Min unsat cost LB: 39374 ... c Min unsat cost LB: 39435 ... c Min unsat cost LB: 39481 ... c Min unsat cost LB: 39485 ... c Min unsat cost LB: 39513 ... c Min unsat cost LB: 39646 ... c Min unsat cost LB: 39679 ... c Min unsat cost LB: 39686 ... c Min unsat cost LB: 39692 ... c Min unsat cost LB: 39789 ... c Min unsat cost LB: 39809 ... c Min unsat cost LB: 39811 ... c Min unsat cost LB: 39812 ... c Min unsat cost LB: 39833 ... c Min unsat cost LB: 39920 ... c Min unsat cost LB: 39984 ... c Min unsat cost LB: 40086 ... c Min unsat cost LB: 40501 ... c Min unsat cost LB: 40603 ... c Min unsat cost LB: 40623 ... c Min unsat cost LB: 40841 ... c Min unsat cost LB: 40947 ... c Min unsat cost LB: 41100 ... c Min unsat cost LB: 41277 ... c Min unsat cost LB: 41333 ... c Min unsat cost LB: 41361 ... c Min unsat cost LB: 41381 ... c Min unsat cost LB: 41385 ... c Min unsat cost LB: 41404 ... c Min unsat cost LB: 41432 ... c Min unsat cost LB: 41454 ... c Min unsat cost LB: 41590 ... c Min unsat cost LB: 41661 ... c Min unsat cost LB: 41756 ... c Min unsat cost LB: 41788 ... c Min unsat cost LB: 41832 ... c Min unsat cost LB: 41897 ... c Min unsat cost LB: 41929 ... c Min unsat cost LB: 41967 ... c Min unsat cost LB: 41968 ... c Min unsat cost LB: 41983 ... c Min unsat cost LB: 42057 ... c Min unsat cost LB: 42071 ... c Min unsat cost LB: 42258 ... c Min unsat cost LB: 42267 ... c Min unsat cost LB: 42377 ... c Min unsat cost LB: 42392 ... c Min unsat cost LB: 42404 ... c Min unsat cost LB: 42405 ... c Min unsat cost LB: 42417 ... c Min unsat cost LB: 42419 ... c Min unsat cost LB: 42423 ... c Min unsat cost LB: 42457 ... c Min unsat cost LB: 42471 ... c Min unsat cost LB: 42474 ... c Min unsat cost LB: 42481 ... c Min unsat cost LB: 42488 ... c Min unsat cost LB: 42490 ... c Min unsat cost LB: 42518 ... c Min unsat cost LB: 42520 ... c Min unsat cost LB: 42531 ... c Min unsat cost LB: 42534 ... c Min unsat cost LB: 42536 ... c Min unsat cost LB: 42539 ... c Min unsat cost LB: 42545 ... c Min unsat cost LB: 42554 ... c Min unsat cost LB: 42602 ... c Min unsat cost LB: 42614 ... c Min unsat cost LB: 42623 ... c Min unsat cost LB: 42689 ... c Min unsat cost LB: 42692 ... c Min unsat cost LB: 42732 ... c Min unsat cost LB: 42738 ... c Min unsat cost LB: 42747 ... c Min unsat cost LB: 42763 ... c Min unsat cost LB: 42768 ... c Min unsat cost LB: 42778 ... c Min unsat cost LB: 42791 ... c Min unsat cost LB: 42798 ... c Min unsat cost LB: 42802 ... c Min unsat cost LB: 42808 ... c Min unsat cost LB: 42823 ... c Min unsat cost LB: 42825 ... c Min unsat cost LB: 42836 ... c Min unsat cost LB: 42843 ... c Min unsat cost LB: 42848 ... c Min unsat cost LB: 42863 ... c Min unsat cost LB: 42877 ... c Min unsat cost LB: 42882 ... c Min unsat cost LB: 42884 ... c Min unsat cost LB: 42885 ... c Min unsat cost LB: 42886 ... c Min unsat cost LB: 42890 ... c Min unsat cost LB: 42891 ... c Min unsat cost LB: 42895 ... c Min unsat cost LB: 42905 ... c Min unsat cost LB: 42908 ... c Min unsat cost LB: 42909 ... c Min unsat cost LB: 42916 ... c Min unsat cost LB: 42924 ... c Min unsat cost LB: 42931 ... c Min unsat cost LB: 42936 ... c Min unsat cost LB: 42979 ... c Min unsat cost LB: 43065 ... c Min unsat cost LB: 43080 ... c Min unsat cost LB: 43095 ... c Min unsat cost LB: 43096 ... c Min unsat cost LB: 43103 ... c Min unsat cost LB: 43117 ... c Min unsat cost LB: 43118 ... c Min unsat cost LB: 43119 ... c Min unsat cost LB: 43121 ... c Min unsat cost LB: 43124 ... c Min unsat cost LB: 43125 ... c Min unsat cost LB: 43126 ... c Min unsat cost LB: 43127 ... c Min unsat cost LB: 43131 ... c Min unsat cost LB: 43133 ... c Min unsat cost LB: 43135 ... c Min unsat cost LB: 43137 ... c Min unsat cost LB: 43138 ... c Min unsat cost LB: 43139 ... c Min unsat cost LB: 43160 ... c Min unsat cost LB: 43163 ... c Min unsat cost LB: 43170 ... c Min unsat cost LB: 43192 ... c Min unsat cost LB: 43193 ... c Min unsat cost LB: 43201 ... c Min unsat cost LB: 43207 ... c Min unsat cost LB: 43210 ... c Min unsat cost LB: 43217 ... c Min unsat cost LB: 43223 ... c Min unsat cost LB: 43253 ... c Min unsat cost LB: 43256 ... c Min unsat cost LB: 43259 ... c Min unsat cost LB: 43260 ... c Min unsat cost LB: 43262 ... c Min unsat cost LB: 43263 ... c Min unsat cost LB: 43265 ... c Min unsat cost LB: 43266 ... c Min unsat cost LB: 43267 ... c Min unsat cost LB: 43268 ... c Min unsat cost LB: 43269 ... c Min unsat cost LB: 43272 ... c Min unsat cost LB: 43273 ... c Min unsat cost LB: 43278 ... c Min unsat cost LB: 43279 ... c Min unsat cost LB: 43281 ... c Min unsat cost LB: 43282 ... c Min unsat cost LB: 43283 ... c Min unsat cost LB: 43284 ... c Min unsat cost LB: 43288 ... c Min unsat cost LB: 43292 ... c Min unsat cost LB: 43326 ... c Min unsat cost LB: 43340 ... c Min unsat cost LB: 43374 ... c Min unsat cost LB: 43387 ... c Min unsat cost LB: 43388 ... c Min unsat cost LB: 43390 ... c Min unsat cost LB: 43391 ... c Min unsat cost LB: 43392 ... c Min unsat cost LB: 43393 ... c Min unsat cost LB: 43394 ... c Min unsat cost LB: 43395 ... c Min unsat cost LB: 43396 ... c Min unsat cost LB: 43397 ... c Min unsat cost LB: 43398 ... c Min unsat cost LB: 43399 ... c Min unsat cost LB: 43402 ... c Min unsat cost LB: 43403 ... c Min unsat cost LB: 43405 ... c Min unsat cost LB: 43408 ... c Min unsat cost LB: 43409 ... c Min unsat cost LB: 43410 ... c Min unsat cost LB: 43421 ... c Min unsat cost LB: 43450 ... c Min unsat cost LB: 43452 ... c Min unsat cost LB: 43453 ... c Min unsat cost LB: 43457 ... c Min unsat cost LB: 43458 ... c Min unsat cost LB: 43460 ... c Min unsat cost LB: 43463 ... c Min unsat cost LB: 43467 ... c Min unsat cost LB: 43474 ... c Min unsat cost LB: 43475 ... c Min unsat cost LB: 43504 ... c Min unsat cost LB: 43505 ... c Min unsat cost LB: 43511 ... c Min unsat cost LB: 43512 ... c Min unsat cost LB: 43513 ... c Min unsat cost LB: 43515 ... c Min unsat cost LB: 43516 ... c Min unsat cost LB: 43520 ... c Min unsat cost LB: 43522 ... c Min unsat cost LB: 43526 ... c Min unsat cost LB: 43536 ... c Min unsat cost LB: 43539 ... c Min unsat cost LB: 43540 ... c Min unsat cost LB: 43543 ... c Min unsat cost LB: 43544 ... c Min unsat cost LB: 43545 ... c Min unsat cost LB: 43547 ... c Min unsat cost LB: 43548 ... c Min unsat cost LB: 43549 ... c Min unsat cost LB: 43551 ... c Min unsat cost LB: 43555 ... c Min unsat cost LB: 43556 ... c Min unsat cost LB: 43559 ... c Min unsat cost LB: 43560 ... c Min unsat cost LB: 43571 ... c Min unsat cost LB: 43572 ... c Min unsat cost LB: 43574 ... c Min unsat cost LB: 43575 ... c Min unsat cost LB: 43576 ... c Min unsat cost LB: 43578 ... c Min unsat cost LB: 43579 ... c Min unsat cost LB: 43580 ... c Min unsat cost LB: 43584 ... c Min unsat cost LB: 43586 ... c Min unsat cost LB: 43607 ... c Min unsat cost LB: 43608 ... c Min unsat cost LB: 43609 ... c Min unsat cost LB: 43611 ... c Min unsat cost LB: 43612 ... c Min unsat cost LB: 43614 ... c Min unsat cost LB: 43615 ... c Min unsat cost LB: 43616 ... c Min unsat cost LB: 43617 ... c Min unsat cost LB: 43618 ... c Min unsat cost LB: 43619 ... c Min unsat cost LB: 43622 ... c Min unsat cost LB: 43624 ... c Min unsat cost LB: 43631 ... c Min unsat cost LB: 43632 ... c Min unsat cost LB: 43636 ... c Min unsat cost LB: 43637 ... c Min unsat cost LB: 43638 ... c Min unsat cost LB: 43639 ... c Min unsat cost LB: 43641 ... c Min unsat cost LB: 43642 ... c Min unsat cost LB: 43701 ... c Min unsat cost LB: 43702 ... c Min unsat cost LB: 43703 ... c Min unsat cost LB: 43713 ... c Min unsat cost LB: 43728 ... c Min unsat cost LB: 43729 ... c Min unsat cost LB: 43730 ... c Min unsat cost LB: 43731 ... c Min unsat cost LB: 43734 ... c Min unsat cost LB: 43735 ... c Min unsat cost LB: 43736 ... c Min unsat cost LB: 43737 ... c Min unsat cost LB: 43738 ... c Min unsat cost LB: 43739 ... c Min unsat cost LB: 43740 ... c Min unsat cost LB: 43741 ... c Min unsat cost LB: 43744 ... c Min unsat cost LB: 43745 ... c Min unsat cost LB: 43746 ... c Min unsat cost LB: 43747 ... c Min unsat cost LB: 43748 ... c Min unsat cost LB: 43749 ... c Min unsat cost LB: 43750 ... c Min unsat cost LB: 43751 ... c Min unsat cost LB: 43752 ... c Min unsat cost LB: 43753 ... c Min unsat cost LB: 43769 ... c Min unsat cost LB: 43772 ... c Min unsat cost LB: 43795 ... c Min unsat cost LB: 43796 ... c Min unsat cost LB: 43797 ... c Min unsat cost LB: 43804 ... c Min unsat cost LB: 43806 ... c Min unsat cost LB: 43808 ... c Min unsat cost LB: 43809 ... c Min unsat cost LB: 43897 ... c Min unsat cost LB: 43906 ... c Min unsat cost LB: 43908 ... c Min unsat cost LB: 43910 ... c Min unsat cost LB: 43911 ... c Min unsat cost LB: 43920 ... c Min unsat cost LB: 43922 ... c Min unsat cost LB: 43923 ... c Min unsat cost LB: 43925 ... c Min unsat cost LB: 43926 ... c Min unsat cost LB: 43930 ... c Min unsat cost LB: 43931 ... c Min unsat cost LB: 43932 ... c Min unsat cost LB: 43933 ... c Min unsat cost LB: 43934 ... c Min unsat cost LB: 43935 ... c Min unsat cost LB: 43936 ... c Min unsat cost LB: 43937 ... c Min unsat cost LB: 43939 ... c Min unsat cost LB: 43941 ... c Min unsat cost LB: 43946 ... c Min unsat cost LB: 43947 ... c Min unsat cost LB: 43948 ... c Min unsat cost LB: 43949 ... c Min unsat cost LB: 43951 ... c Min unsat cost LB: 43954 ... c Min unsat cost LB: 43955 ... c Min unsat cost LB: 43957 ... c Min unsat cost LB: 43959 ... c Min unsat cost LB: 43966 ... c Min unsat cost LB: 43968 ... c Min unsat cost LB: 43969 ... c Min unsat cost LB: 43972 ... c Min unsat cost LB: 43974 ... c Min unsat cost LB: 43975 ... c Min unsat cost LB: 43976 ... c Min unsat cost LB: 43983 ... c Min unsat cost LB: 43984 ... c Min unsat cost LB: 43986 ... c Min unsat cost LB: 43989 ... c Min unsat cost LB: 43994 ... c Min unsat cost LB: 43995 ... c Min unsat cost LB: 43996 ... c Min unsat cost LB: 43997 ... c Min unsat cost LB: 43998 ... c Min unsat cost LB: 43999 ... c Min unsat cost LB: 44002 ... c Min unsat cost LB: 44003 ... c Min unsat cost LB: 44004 ... c Min unsat cost LB: 44006 ... c Min unsat cost LB: 44007 ... c Min unsat cost LB: 44009 ... c Min unsat cost LB: 44010 ... c Min unsat cost LB: 44012 ... c Min unsat cost LB: 44013 ... c Min unsat cost LB: 44014 ... c Min unsat cost LB: 44015 ... c Min unsat cost LB: 44017 ... c Min unsat cost LB: 44020 ... c Min unsat cost LB: 44021 ... c Min unsat cost LB: 44022 ... c Min unsat cost LB: 44023 ... c Min unsat cost LB: 44026 ... c Min unsat cost LB: 44027 ... c Min unsat cost LB: 44029 ... c Min unsat cost LB: 44030 ... c Min unsat cost LB: 44041 ... c Min unsat cost LB: 44042 ... c Min unsat cost LB: 44043 ... c Min unsat cost LB: 44044 ... c Min unsat cost LB: 44045 ... c Min unsat cost LB: 44046 ... c Min unsat cost LB: 44047 ... c Min unsat cost LB: 44048 ... c Min unsat cost LB: 44049 ... c Min unsat cost LB: 44050 ... c Min unsat cost LB: 44051 ... c Min unsat cost LB: 44052 ... c Min unsat cost LB: 44053 ... c Min unsat cost LB: 44059 ... c Min unsat cost LB: 44060 ... c Min unsat cost LB: 44063 ... c Min unsat cost LB: 44064 ... c Min unsat cost LB: 44069 ... c Min unsat cost LB: 44070 ... c Min unsat cost LB: 44071 ... c Min unsat cost LB: 44072 ... c Min unsat cost LB: 44073 ... c Min unsat cost LB: 44074 ... c Min unsat cost LB: 44075 ... c Min unsat cost LB: 44076 ... c Min unsat cost LB: 44077 ... c Min unsat cost LB: 44078 ... c Min unsat cost LB: 44079 ... c Min unsat cost LB: 44080 ... c Min unsat cost LB: 44081 ... c Min unsat cost LB: 44090 ... c Min unsat cost LB: 44091 ... c Min unsat cost LB: 44092 ... c Min unsat cost LB: 44093 ... c Min unsat cost LB: 44094 ... c Min unsat cost LB: 44097 ... c Min unsat cost LB: 44098 ... c Min unsat cost LB: 44099 ... c Min unsat cost LB: 44100 ... c Min unsat cost LB: 44101 ... c Min unsat cost LB: 44102 ... c Min unsat cost LB: 44103 ... c Min unsat cost LB: 44104 ... c Min unsat cost LB: 44105 ... c Min unsat cost LB: 44106 ... c Min unsat cost LB: 44107 ... c Min unsat cost LB: 44108 ... c Min unsat cost LB: 44109 ... c Min unsat cost LB: 44110 ... c Min unsat cost LB: 44113 ... c Min unsat cost LB: 44114 ... c Min unsat cost LB: 44115 ... c Min unsat cost LB: 44116 ... c Min unsat cost LB: 44117 ... c Min unsat cost LB: 44118 ... c Min unsat cost LB: 44120 ... c Min unsat cost LB: 44121 ... c Min unsat cost LB: 44122 ... c Min unsat cost LB: 44123 ... c Min unsat cost LB: 44124 ... c Min unsat cost LB: 44125 ... c Min unsat cost LB: 44153 ... c Min unsat cost LB: 44155 ... c Min unsat cost LB: 44156 ... c Min unsat cost LB: 44157 ... c Min unsat cost LB: 44158 ... c Min unsat cost LB: 44159 ... c Min unsat cost LB: 44160 ... c Min unsat cost LB: 44161 ... c Min unsat cost LB: 44162 ... c Min unsat cost LB: 44163 ... c Min unsat cost LB: 44164 ... c Min unsat cost LB: 44165 ... c Min unsat cost LB: 44166 ... c Min unsat cost LB: 44167 ... c Min unsat cost LB: 44169 ... c Min unsat cost LB: 44170 ... c Min unsat cost LB: 44171 ... c Min unsat cost LB: 44172 ... c Min unsat cost LB: 44174 ... c Min unsat cost LB: 44175 ... c Min unsat cost LB: 44176 ... c Min unsat cost LB: 44177 ... c Min unsat cost LB: 44178 ... c Min unsat cost LB: 44179 ... c Min unsat cost LB: 44180 ... c Min unsat cost LB: 44181 ... c Min unsat cost LB: 44182 ... c Min unsat cost LB: 44183 ... c Min unsat cost LB: 44185 ... c Min unsat cost LB: 44187 ... c Min unsat cost LB: 44188 ... c Min unsat cost LB: 44189 ... c Min unsat cost LB: 44190 ... c Min unsat cost LB: 44191 ... c Min unsat cost LB: 44192 ... c Min unsat cost LB: 44193 ... c Min unsat cost LB: 44197 ... c Min unsat cost LB: 44199 ... c Min unsat cost LB: 44200 ... c Min unsat cost LB: 44201 ... c Min unsat cost LB: 44203 ... c Min unsat cost LB: 44205 ... c Min unsat cost LB: 44211 ... c Min unsat cost LB: 44218 ... c Min unsat cost LB: 44220 ... c Min unsat cost LB: 44221 ... c Min unsat cost LB: 44222 ... c Min unsat cost LB: 44223 ... c Min unsat cost LB: 44224 ... c Min unsat cost LB: 44225 ... c Min unsat cost LB: 44226 ... c Min unsat cost LB: 44227 ... c Min unsat cost LB: 44229 ... c Min unsat cost LB: 44230 ... c Min unsat cost LB: 44231 ... c Min unsat cost LB: 44232 ... c Min unsat cost LB: 44233 ... c Min unsat cost LB: 44234 ... c Min unsat cost LB: 44235 ... c Min unsat cost LB: 44236 ... c Min unsat cost LB: 44237 ... c Min unsat cost LB: 44238 ... c Min unsat cost LB: 44239 ... c Min unsat cost LB: 44240 ... c Min unsat cost LB: 44241 ... c Min unsat cost LB: 44242 ... c Min unsat cost LB: 44243 ... c Min unsat cost LB: 44244 ... c Min unsat cost LB: 44245 ... c Min unsat cost LB: 44246 ... c Min unsat cost LB: 44247 ... c Min unsat cost LB: 44248 ... c Min unsat cost LB: 44249 ... c Min unsat cost LB: 44250 ... c Min unsat cost LB: 44255 ... c Min unsat cost LB: 44257 ... c Min unsat cost LB: 44262 ... c Min unsat cost LB: 44273 ... c Min unsat cost LB: 44275 ... c Min unsat cost LB: 44279 ... c Min unsat cost LB: 44280 ... c Min unsat cost LB: 44282 ... c Min unsat cost LB: 44283 ... c Min unsat cost LB: 44289 ... c Min unsat cost LB: 44291 ... c Min unsat cost LB: 44293 ... c Min unsat cost LB: 44294 ... c Min unsat cost LB: 44296 ... c Min unsat cost LB: 44297 ... c Min unsat cost LB: 44299 ... c Min unsat cost LB: 44300 ... c Min unsat cost LB: 44304 ... c Min unsat cost LB: 44305 ... c Min unsat cost LB: 44306 ... c Min unsat cost LB: 44307 ... c Min unsat cost LB: 44308 ... c Min unsat cost LB: 44309 ... c Min unsat cost LB: 44310 ... c Min unsat cost LB: 44312 ... c Min unsat cost LB: 44316 ... c Min unsat cost LB: 44318 ... c Min unsat cost LB: 44319 ... c Min unsat cost LB: 44320 ... c Min unsat cost LB: 44321 ... c Min unsat cost LB: 44322 ... c Min unsat cost LB: 44325 ... c Min unsat cost LB: 44335 ... c Min unsat cost LB: 44337 ... c Min unsat cost LB: 44338 ... c Min unsat cost LB: 44340 ... c Min unsat cost LB: 44341 ... c Min unsat cost LB: 44342 ... c Min unsat cost LB: 44343 ... c Min unsat cost LB: 44345 ... c Min unsat cost LB: 44347 ... c Min unsat cost LB: 44349 ... c Min unsat cost LB: 44350 ... c Min unsat cost LB: 44353 ... c Min unsat cost LB: 44354 ... c Min unsat cost LB: 44355 ... c Min unsat cost LB: 44356 ... c Min unsat cost LB: 44357 ... c Min unsat cost LB: 44358 ... c Min unsat cost LB: 44359 ... c Min unsat cost LB: 44360 ... c Min unsat cost LB: 44361 ... c Min unsat cost LB: 44362 ... c Min unsat cost LB: 44363 ... c Min unsat cost LB: 44364 ... c Min unsat cost LB: 44366 ... c Min unsat cost LB: 44369 ... c Min unsat cost LB: 44372 ... c Min unsat cost LB: 44373 ... c Min unsat cost LB: 44374 ... c Min unsat cost LB: 44376 ... c Min unsat cost LB: 44377 ... c Min unsat cost LB: 44380 ... c Min unsat cost LB: 44381 ... c Min unsat cost LB: 44382 ... c Min unsat cost LB: 44383 ... c Min unsat cost LB: 44384 ... c Min unsat cost LB: 44385 ... c Min unsat cost LB: 44387 ... c Min unsat cost LB: 44397 ... c Min unsat cost LB: 44398 ... c Min unsat cost LB: 44399 ... c Min unsat cost LB: 44401 ... c Min unsat cost LB: 44402 ... c Min unsat cost LB: 44405 ... c Min unsat cost LB: 44407 ... c Min unsat cost LB: 44409 ... c Min unsat cost LB: 44410 ... c Min unsat cost LB: 44411 ... c Min unsat cost LB: 44412 ... c Min unsat cost LB: 44413 ... c Min unsat cost LB: 44414 ... c Min unsat cost LB: 44426 ... c Min unsat cost LB: 44427 ... c Min unsat cost LB: 44428 ... c Min unsat cost LB: 44429 ... c Min unsat cost LB: 44430 ... c Min unsat cost LB: 44431 ... c Min unsat cost LB: 44432 ... c Min unsat cost LB: 44454 ... c Min unsat cost LB: 44455 ... c Min unsat cost LB: 44456 ... c Min unsat cost LB: 44457 ... c Min unsat cost LB: 44458 ... c Min unsat cost LB: 44459 ... c Min unsat cost LB: 44460 ... c Min unsat cost LB: 44475 ... c Min unsat cost LB: 44476 ... c Min unsat cost LB: 44477 ... c Min unsat cost LB: 44478 ... c Min unsat cost LB: 44479 ... c Min unsat cost LB: 44480 ... c Min unsat cost LB: 44481 ... c Min unsat cost LB: 44482 ... c Min unsat cost LB: 44484 ... c Min unsat cost LB: 44493 ... c Min unsat cost LB: 44496 ... c Min unsat cost LB: 44497 ... c Min unsat cost LB: 44498 ... c Min unsat cost LB: 44499 ... c Min unsat cost LB: 44500 ... c Min unsat cost LB: 44501 ... c Min unsat cost LB: 44502 ... c Min unsat cost LB: 44503 ... c Min unsat cost LB: 44504 ... c Min unsat cost LB: 44505 ... c Min unsat cost LB: 44506 ... c Min unsat cost LB: 44507 ... c Min unsat cost LB: 44508 ... c Min unsat cost LB: 44509 ... c Min unsat cost LB: 44510 ... c Min unsat cost LB: 44511 ... c Min unsat cost LB: 44512 ... c Min unsat cost LB: 44513 ... c Min unsat cost LB: 44514 ... c Min unsat cost LB: 44515 ... c Min unsat cost LB: 44516 ... c Min unsat cost LB: 44517 ... c Min unsat cost LB: 44518 ... c Min unsat cost LB: 44519 ... c Min unsat cost LB: 44520 ... c Min unsat cost LB: 44521 ... c Min unsat cost LB: 44522 ... c Min unsat cost LB: 44523 ... c Min unsat cost LB: 44524 ... c Min unsat cost LB: 44525 ... c Min unsat cost LB: 44526 ... c Min unsat cost LB: 44527 ... c Min unsat cost LB: 44528 ... c Min unsat cost LB: 44529 ... c Min unsat cost LB: 44530 ... c Min unsat cost LB: 44531 ... c Min unsat cost LB: 44532 ... c Min unsat cost LB: 44533 ... c Min unsat cost LB: 44534 ... c Min unsat cost LB: 44535 ... c Min unsat cost LB: 44536 ... c Min unsat cost LB: 44537 ... c Min unsat cost LB: 44538 ... c Min unsat cost LB: 44539 ... c Min unsat cost LB: 44540 ... c Min unsat cost LB: 44541 ... c Min unsat cost LB: 44542 ... c Min unsat cost LB: 44543 ... c Min unsat cost LB: 44544 ... c Min unsat cost LB: 44545 ... c Min unsat cost LB: 44546 ... c Min unsat cost LB: 44547 ... c Min unsat cost LB: 44548 ... c Min unsat cost LB: 44551 ... c Min unsat cost LB: 44552 ... c Min unsat cost LB: 44553 ... c Min unsat cost LB: 44554 ... c Min unsat cost LB: 44555 ... c Min unsat cost LB: 44556 ... c Min unsat cost LB: 44557 ... c Min unsat cost LB: 44558 ... c Min unsat cost LB: 44559 ... c Min unsat cost LB: 44560 ... c Min unsat cost LB: 44561 ... c Min unsat cost LB: 44562 ... c Min unsat cost LB: 44563 ... c Min unsat cost LB: 44565 ... c Min unsat cost LB: 44566 ... c Min unsat cost LB: 44567 ... c Min unsat cost LB: 44568 ... c Min unsat cost LB: 44569 ... c Min unsat cost LB: 44570 ... c Min unsat cost LB: 44571 ... c Min unsat cost LB: 44573 ... c Min unsat cost LB: 44574 ... c Min unsat cost LB: 44575 ... c Min unsat cost LB: 44576 ... c Min unsat cost LB: 44577 ... c Min unsat cost LB: 44578 ... c Min unsat cost LB: 44581 ... c Min unsat cost LB: 44582 ... c Min unsat cost LB: 44583 ... c Min unsat cost LB: 44584 ... c Min unsat cost LB: 44585 ... c Min unsat cost LB: 44586 ... c Min unsat cost LB: 44587 ... c Min unsat cost LB: 44588 ... c Min unsat cost LB: 44589 ... c Min unsat cost LB: 44590 ... c Min unsat cost LB: 44600 ... c Min unsat cost LB: 44601 ... c Min unsat cost LB: 44602 ... c Min unsat cost LB: 44603 ... c Min unsat cost LB: 44604 ... c Min unsat cost LB: 44605 ... c Min unsat cost LB: 44607 ... c Min unsat cost LB: 44612 ... c Min unsat cost LB: 44613 ... c Min unsat cost LB: 44615 ... c Min unsat cost LB: 44616 ... c Min unsat cost LB: 44620 ... c Min unsat cost LB: 44621 ... c Min unsat cost LB: 44640 ... c Min unsat cost LB: 44641 ... c Min unsat cost LB: 44642 ... c Min unsat cost LB: 44643 ... c Min unsat cost LB: 44644 ... c Min unsat cost LB: 44645 ... c Min unsat cost LB: 44646 ... c Min unsat cost LB: 44647 ... c Min unsat cost LB: 44650 ... c Min unsat cost LB: 44651 ... c Min unsat cost LB: 44652 ... c Min unsat cost LB: 44653 ... c Min unsat cost LB: 44654 ... c Min unsat cost LB: 44655 ... c Min unsat cost LB: 44658 ... c Min unsat cost LB: 44659 ... c Min unsat cost LB: 44660 ... c Min unsat cost LB: 44661 ... c Min unsat cost LB: 44662 ... c Min unsat cost LB: 44663 ... c Min unsat cost LB: 44664 ... c Min unsat cost LB: 44665 ... c Min unsat cost LB: 44666 ... c Min unsat cost LB: 44667 ... c Min unsat cost LB: 44668 ... c Min unsat cost LB: 44669 ... c Min unsat cost LB: 44677 ... c Min unsat cost LB: 44678 ... c Min unsat cost LB: 44679 ... c Min unsat cost LB: 44737 ... c Min unsat cost LB: 44741 ... c Min unsat cost LB: 44853 ... c Min unsat cost LB: 44863 ... c Min unsat cost LB: 44864 ... c Min unsat cost LB: 44865 ... c Min unsat cost LB: 44866 ... c Min unsat cost LB: 44867 ... c Min unsat cost LB: 44868 ... c Min unsat cost LB: 44869 ... c Min unsat cost LB: 44896 ... c Min unsat cost LB: 44897 ... c Min unsat cost LB: 44898 ... c Min unsat cost LB: 44899 ... c Min unsat cost LB: 44900 ... c Min unsat cost LB: 44901 ... c Min unsat cost LB: 44902 ... c Min unsat cost LB: 44903 ... c Min unsat cost LB: 44904 ... c Min unsat cost LB: 44905 ... c Min unsat cost LB: 44906 ... c Min unsat cost LB: 44907 ... c Min unsat cost LB: 44908 ... c Min unsat cost LB: 44909 ... c Min unsat cost LB: 44910 ... c Min unsat cost LB: 44911 ... c Min unsat cost LB: 44912 ... c Min unsat cost LB: 44913 ... c Min unsat cost LB: 44914 ... c Min unsat cost LB: 44915 ... c Min unsat cost LB: 44916 ... c Min unsat cost LB: 44917 ... c Min unsat cost LB: 44918 ... c Min unsat cost LB: 44919 ... c Min unsat cost LB: 44920 ... c Min unsat cost LB: 44921 ... c Min unsat cost LB: 44922 ... c Min unsat cost LB: 44923 ... c Min unsat cost LB: 44925 ... c Min unsat cost LB: 44927 ... c Min unsat cost LB: 44928 ... c Min unsat cost LB: 44929 ... c Min unsat cost LB: 44930 ... c Min unsat cost LB: 44935 ... c Min unsat cost LB: 44936 ... c Min unsat cost LB: 44937 ... c Min unsat cost LB: 44939 ... c Min unsat cost LB: 44942 ... c Min unsat cost LB: 44943 ... c Min unsat cost LB: 44944 ... c Min unsat cost LB: 44945 ... c Min unsat cost LB: 44946 ... c Min unsat cost LB: 44947 ... c Min unsat cost LB: 44948 ... c Min unsat cost LB: 44949 ... c Min unsat cost LB: 44950 ... c Min unsat cost LB: 44951 ... c Min unsat cost LB: 44952 ... c Min unsat cost LB: 44953 ... c Min unsat cost LB: 44954 ... c Min unsat cost LB: 44955 ... c Min unsat cost LB: 44956 ... c Min unsat cost LB: 44957 ... c Min unsat cost LB: 44958 ... c Min unsat cost LB: 44959 ... c Min unsat cost LB: 44960 ... c Min unsat cost LB: 44961 ... c Min unsat cost LB: 44962 ... c Min unsat cost LB: 44963 ... c Min unsat cost LB: 44964 ... c Min unsat cost LB: 44965 ... c Min unsat cost LB: 44968 ... c Min unsat cost LB: 44969 ... c Min unsat cost LB: 44972 ... c Min unsat cost LB: 44973 ... c Min unsat cost LB: 44974 ... c Min unsat cost LB: 44976 ... c Min unsat cost LB: 44977 ... c Min unsat cost LB: 44978 ... c Min unsat cost LB: 44979 ... c Min unsat cost LB: 44981 ... c Min unsat cost LB: 44982 ... c Min unsat cost LB: 44983 ... c Min unsat cost LB: 44984 ... c Min unsat cost LB: 44985 ... c Min unsat cost LB: 44986 ... c Min unsat cost LB: 44987 ... c Min unsat cost LB: 44988 ... c Min unsat cost LB: 44989 ... c Min unsat cost LB: 44990 ... c Min unsat cost LB: 44991 ... c Min unsat cost LB: 44992 ... c Min unsat cost LB: 44993 ... c Min unsat cost LB: 44994 ... c Min unsat cost LB: 44995 ... c Min unsat cost LB: 44996 ... c Min unsat cost LB: 44997 ... c Min unsat cost LB: 44998 ... c Min unsat cost LB: 44999 ... c Min unsat cost LB: 45000 ... c Min unsat cost LB: 45001 ... c Min unsat cost LB: 45002 ... c Min unsat cost LB: 45003 ... c Min unsat cost LB: 45004 ... c Min unsat cost LB: 45005 ... c Min unsat cost LB: 45006 ... c Min unsat cost LB: 45007 ... c Min unsat cost LB: 45008 ... c Min unsat cost LB: 45009 ... c Min unsat cost LB: 45010 ... c Min unsat cost LB: 45011 ... c Min unsat cost LB: 45012 ... c Min unsat cost LB: 45013 ... c Min unsat cost LB: 45014 ... c Min unsat cost LB: 45015 ... c Min unsat cost LB: 45016 ... c Min unsat cost LB: 45017 ... c Min unsat cost LB: 45018 ... c Min unsat cost LB: 45019 ... c Min unsat cost LB: 45020 ... c Min unsat cost LB: 45021 ... c Min unsat cost LB: 45022 ... c Min unsat cost LB: 45023 ... c Min unsat cost LB: 45024 ... c Min unsat cost LB: 45025 ... c Min unsat cost LB: 45026 ... c Min unsat cost LB: 45027 ... c Min unsat cost LB: 45028 ... c Min unsat cost LB: 45029 ... c Min unsat cost LB: 45030 ... c Min unsat cost LB: 45031 ... c Min unsat cost LB: 45032 ... c Min unsat cost LB: 45033 ... c Min unsat cost LB: 45034 ... c Min unsat cost LB: 45035 ... c Min unsat cost LB: 45036 ... c Min unsat cost LB: 45037 ... c Min unsat cost LB: 45038 ... c Min unsat cost LB: 45039 ... c Min unsat cost LB: 45040 ... c Min unsat cost LB: 45041 ... c Min unsat cost LB: 45042 ... c Min unsat cost LB: 45043 ... c Min unsat cost LB: 45045 ... c Min unsat cost LB: 45046 ... c Min unsat cost LB: 45047 ... c Min unsat cost LB: 45048 ... c Min unsat cost LB: 45049 ... c Min unsat cost LB: 45050 ... c Min unsat cost LB: 45051 ... c Min unsat cost LB: 45052 ... c Min unsat cost LB: 45053 ... c Min unsat cost LB: 45054 ... c Min unsat cost LB: 45055 ... c Min unsat cost LB: 45056 ... c Min unsat cost LB: 45057 ... c Min unsat cost LB: 45058 ... c Min unsat cost LB: 45059 ... c Min unsat cost LB: 45060 ... c Min unsat cost LB: 45061 ... c Min unsat cost LB: 45062 ... c Min unsat cost LB: 45063 ... c Min unsat cost LB: 45064 ... c Min unsat cost LB: 45065 ... c Min unsat cost LB: 45066 ... c Min unsat cost LB: 45067 ... c Min unsat cost LB: 45068 ... c Min unsat cost LB: 45069 ... c Min unsat cost LB: 45070 ... c Min unsat cost LB: 45071 ... c Min unsat cost LB: 45072 ... c Min unsat cost LB: 45073 ... c Min unsat cost LB: 45074 ... c Min unsat cost LB: 45075 ... c Min unsat cost LB: 45076 ... c Min unsat cost LB: 45077 ... c Min unsat cost LB: 45078 ... c Min unsat cost LBKilled 1812.749u 7.002s 30:20.01 99.9% 0+0k 0+0io 0pf+0w