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_min-enc_warehouses_cap62.wcsp.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap62.wcsp.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/min-enc/warehouses/cap62.wcsp.wcnf *** c c Min unsat cost LB: 16011 ... c Min unsat cost LB: 89477 ... c Min unsat cost LB: 138389 ... c Min unsat cost LB: 289149 ... c Min unsat cost LB: 341260 ... c Min unsat cost LB: 420116 ... c Min unsat cost LB: 1319877 ... c Min unsat cost LB: 1421220 ... c Min unsat cost LB: 1439011 ... c Min unsat cost LB: 1456571 ... c Min unsat cost LB: 1657288 ... c Min unsat cost LB: 1683428 ... c Min unsat cost LB: 1692983 ... c Min unsat cost LB: 1791263 ... c Min unsat cost LB: 1817983 ... c Min unsat cost LB: 2102975 ... c Min unsat cost LB: 2107248 ... c Min unsat cost LB: 2119367 ... c Min unsat cost LB: 2141814 ... c Min unsat cost LB: 2146087 ... c Min unsat cost LB: 2151551 ... c Min unsat cost LB: 2277936 ... c Min unsat cost LB: 2282036 ... c Min unsat cost LB: 2290933 ... c Min unsat cost LB: 2345152 ... c Min unsat cost LB: 2456820 ... c Min unsat cost LB: 3697332 ... c Min unsat cost LB: 3721321 ... c Min unsat cost LB: 4290784 ... c Min unsat cost LB: 4427058 ... c Min unsat cost LB: 4817563 ... c Min unsat cost LB: 4821836 ... c Min unsat cost LB: 4826109 ... c Min unsat cost LB: 4841136 ... c Min unsat cost LB: 4847527 ... c Min unsat cost LB: 4869410 ... c Min unsat cost LB: 4874389 ... c Min unsat cost LB: 4880780 ... c Min unsat cost LB: 4902958 ... c Min unsat cost LB: 4918450 ... c Min unsat cost LB: 4920426 ... c Min unsat cost LB: 4921437 ... c Min unsat cost LB: 4925638 ... c Min unsat cost LB: 4926416 ... c Min unsat cost LB: 4926899 ... c Min unsat cost LB: 4953619 ... c Min unsat cost LB: 4962947 ... c Min unsat cost LB: 4973987 ... c Min unsat cost LB: 4975097 ... c Min unsat cost LB: 4984791 ... c Min unsat cost LB: 4988456 ... c Min unsat cost LB: 5002418 ... c Min unsat cost LB: 5066124 ... c Min unsat cost LB: 5086833 ... c Min unsat cost LB: 5138692 ... c Min unsat cost LB: 5252923 ... c Min unsat cost LB: 5257125 ... c Min unsat cost LB: 5257760 ... c Min unsat cost LB: 5258255 ... c Min unsat cost LB: 5258965 ... c Min unsat cost LB: 5278502 ... c Min unsat cost LB: 5281862 ... c Min unsat cost LB: 5294179 ... c Min unsat cost LB: 5301114 ... c Min unsat cost LB: 5330643 ... c Min unsat cost LB: 5431503 ... c Min unsat cost LB: 5432101 ... c Min unsat cost LB: 5435776 ... c Min unsat cost LB: 5436650 ... c Min unsat cost LB: 5444694 ... c Min unsat cost LB: 5445976 ... c Min unsat cost LB: 5446850 ... c Min unsat cost LB: 5447854 ... c Min unsat cost LB: 5477436 ... c Min unsat cost LB: 5478449 ... c Min unsat cost LB: 5480947 ... c Min unsat cost LB: 5481544 ... c Min unsat cost LB: 5482009 ... c Min unsat cost LB: 5482722 ... c Min unsat cost LB: 7516362 ... c Min unsat cost LB: 7516433 ... c Min unsat cost LB: 7540659 ... c Min unsat cost LB: 7613767 ... c Min unsat cost LB: 7629442 ... c Min unsat cost LB: 7644934 ... c Min unsat cost LB: 7738246 ... c Min unsat cost LB: 7818745 ... c Min unsat cost LB: 7826169 ... c Min unsat cost LB: 7828294 ... c Min unsat cost LB: 7871239 ... c Min unsat cost LB: 7871868 ... c Min unsat cost LB: 7873574 ... c Min unsat cost LB: 7873643 ... c Min unsat cost LB: 7874649 ... c Min unsat cost LB: 7875619 ... c Min unsat cost LB: 7877596 ... c Min unsat cost LB: 7958953 ... c Min unsat cost LB: 7966373 ... c Min unsat cost LB: 7987349 ... c Min unsat cost LB: 8020208 ... c Min unsat cost LB: 8024280 ... c Min unsat cost LB: 8024626 ... c Min unsat cost LB: 8036650 ... c Min unsat cost LB: 8043782 ... c Min unsat cost LB: 8085323 ... c Min unsat cost LB: 8096852 ... c Min unsat cost LB: 8103623 ... c Min unsat cost LB: 8129048 ... c Min unsat cost LB: 8130743 ... c Min unsat cost LB: 8134246 ... c Min unsat cost LB: 8151105 ... c Min unsat cost LB: 8155162 ... c Min unsat cost LB: 8189872 ... c Min unsat cost LB: 8225292 ... c Min unsat cost LB: 8231111 ... c Min unsat cost LB: 8279941 ... c Min unsat cost LB: 8299093 ... c Min unsat cost LB: 8302171 ... c Min unsat cost LB: 8645682 ... c Min unsat cost LB: 8700355 ... c Min unsat cost LB: 8704377 ... c Min unsat cost LB: 8709398 ... c Min unsat cost LB: 8917469 ... c Min unsat cost LB: 8970175 ... c Min unsat cost LB: 8988220 ... c Min unsat cost LB: 8994835 ... c Min unsat cost LB: 9033306 ... c Min unsat cost LB: 9055691 ... c Min unsat cost LB: 9060825 ... c Min unsat cost LB: 9065315 ... c Min unsat cost LB: 9065584 ... c Min unsat cost LB: 9066458 ... c Min unsat cost LB: 9067462 ... c Min unsat cost LB: 9073825 ... c Min unsat cost LB: 9073877 ... c Min unsat cost LB: 9073964 ... c Min unsat cost LB: 9081488 ... c Min unsat cost LB: 9081953 ... c Min unsat cost LB: 9088417 ... c Min unsat cost LB: 9088786 ... c Min unsat cost LB: 9089660 ... c Min unsat cost LB: 9097704 ... c Min unsat cost LB: 9098708 ... c Min unsat cost LB: 9099186 ... c Min unsat cost LB: 9100593 ... c Min unsat cost LB: 9102066 ... c Min unsat cost LB: 9102683 ... c Min unsat cost LB: 9103842 ... c Min unsat cost LB: 9103894 ... c Min unsat cost LB: 9103929 ... c Min unsat cost LB: 9123115 ... c Min unsat cost LB: 9123563 ... c Min unsat cost LB: 9123845 ... c Min unsat cost LB: 9125540 ... c Min unsat cost LB: 9126343 ... c Min unsat cost LB: 9127056 ... c Min unsat cost LB: 9128069 ... c Min unsat cost LB: 9129597 ... c Min unsat cost LB: 9132340 ... c Min unsat cost LB: 9133008 ... c Min unsat cost LB: 9133100 ... c Min unsat cost LB: 9138515 ... c Min unsat cost LB: 9139871 ... c Min unsat cost LB: 9140456 ... c Min unsat cost LB: 9141234 ... c Min unsat cost LB: 9143607 ... c Min unsat cost LB: 9145193 ... c Min unsat cost LB: 9145831 ... c Min unsat cost LB: 9147140 ... c Min unsat cost LB: 9156730 ... c Min unsat cost LB: 9157440 ... c Min unsat cost LB: 9158153 ... c Min unsat cost LB: 9159556 ... c Min unsat cost LB: 9166360 ... c Min unsat cost LB: 9175659 ... c Min unsat cost LB: 9176549 ... c Min unsat cost LB: 9176987 ... c Min unsat cost LB: 9180331 ... c Min unsat cost LB: 9181284 ... c Min unsat cost LB: 9182612 ... c Min unsat cost LB: 9183256 ... c Min unsat cost LB: 9188905 ... c Min unsat cost LB: 9198287 ... c Min unsat cost LB: 9199014 ... c Min unsat cost LB: 9204647 ... c Min unsat cost LB: 9208072 ... c Min unsat cost LB: 9208782 ... c Min unsat cost LB: 9214190 ... c Min unsat cost LB: 9214463 ... c Min unsat cost LB: 9214506 ... c Min unsat cost LB: 9214989 ... c Min unsat cost LB: 9215061 ... c Min unsat cost LB: 9216000 ... c Min unsat cost LB: 9217769 ... c Min unsat cost LB: 9222781 ... c Min unsat cost LB: 9222804 ... c Min unsat cost LB: 9222967 ... c Min unsat cost LB: 9223694 ... c Min unsat cost LB: 9229251 ... c Min unsat cost LB: 9232993 ... c Min unsat cost LB: 9234410 ... c Min unsat cost LB: 9234686 ... c Min unsat cost LB: 9235560 ... c Min unsat cost LB: 9235624 ... c Min unsat cost LB: 9235899 ... c Min unsat cost LB: 9235956 ... c Min unsat cost LB: 9235970 ... c Min unsat cost LB: 9236285 ... c Min unsat cost LB: 9236824 ... c Min unsat cost LB: 9236847 ... c Min unsat cost LB: 9236895 ... c Min unsat cost LB: 9236976 ... c Min unsat cost LB: 9237441 ... c Min unsat cost LB: 9237453 ... c Min unsat cost LB: 9237540 ... c Min unsat cost LB: 9237567 ... c Min unsat cost LB: 9237592 ... c Min unsat cost LB: 9237787 ... c Min unsat cost LB: 9238384 ... c Min unsat cost LB: 9238901 ... c Min unsat cost LB: 9239767 ... c Min unsat cost LB: 9240304 ... c Min unsat cost LB: 9240799 ... c Min unsat cost LB: 9241913 ... c Min unsat cost LB: 9242202 ... c Min unsat cost LB: 9242351 ... c Min unsat cost LB: 9251652 ... c Min unsat cost LB: 9252591 ... c Min unsat cost LB: 9252683 ... c Min unsat cost LB: 9253369 ... c Min unsat cost LB: 9254034 ... c Min unsat cost LB: 9254086 ... c Min unsat cost LB: 9254121 ... c Min unsat cost LB: 9254813 ... c Min unsat cost LB: 9255080 ... c Min unsat cost LB: 9255088 ... c Min unsat cost LB: 9255943 ... c Min unsat cost LB: 9256010 ... c Min unsat cost LB: 9256595 ... c Min unsat cost LB: 9256715 ... c Min unsat cost LB: 9258826 ... c Min unsat cost LB: 9259144 ... c Min unsat cost LB: 9259494 ... c Min unsat cost LB: 9259537 ... c Min unsat cost LB: 9260020 ... c Min unsat cost LB: 9260092 ... c Min unsat cost LB: 9260161 ... c Min unsat cost LB: 9260318 ... c Min unsat cost LB: 9260366 ... c Min unsat cost LB: 9260423 ... c Min unsat cost LB: 9260437 ... c Min unsat cost LB: 9260671 ... c Min unsat cost LB: 9260697 ... c Min unsat cost LB: 9260698 ... c Min unsat cost LB: 9260752 ... c Min unsat cost LB: 9261098 ... c Min unsat cost LB: 9261440 ... c Min unsat cost LB: 9261530 ... c Min unsat cost LB: 9261626 ... c Min unsat cost LB: 9261690 ... c Min unsat cost LB: 9261691 ... c Min unsat cost LB: 9261831 ... c Min unsat cost LB: 9262229 ... c Min unsat cost LB: 9262230 ... c Min unsat cost LB: 9262243 ... c Min unsat cost LB: 9262386 ... c Min unsat cost LB: 9262393 ... c Min unsat cost LB: 9262957 ... c Min unsat cost LB: 9262980 ... c Min unsat cost LB: 9263046 ... c Min unsat cost LB: 9263120 ... c Min unsat cost LB: 9264059 ... c Min unsat cost LB: 9264276 ... c Min unsat cost LB: 9264345 ... c Min unsat cost LB: 9264552 ... c Min unsat cost LB: 9264641 ... c Min unsat cost LB: 9264905 ... c Min unsat cost LB: 9265295 ... c Min unsat cost LB: 9265911 ... c Min unsat cost LB: 9266393 ... c Min unsat cost LB: 9266445 ... c Min unsat cost LB: 9266662 ... c Min unsat cost LB: 9267254 ... c Min unsat cost LB: 9267297 ... c Min unsat cost LB: 9268829 ... c Min unsat cost LB: 9268992 ... c Min unsat cost LB: 9269356 ... c Min unsat cost LB: 9269413 ... c Min unsat cost LB: 9270019 ... c Min unsat cost LB: 9270108 ... c Min unsat cost LB: 9271061 ... c Min unsat cost LB: 9271329 ... c Min unsat cost LB: 9271454 ... c Min unsat cost LB: 9272074 ... c Min unsat cost LB: 9272092 ... c Min unsat cost LB: 9273096 ... c Min unsat cost LB: 9273116 ... c Min unsat cost LB: 9273336 ... c Min unsat cost LB: 9273384 ... c Min unsat cost LB: 9273475 ... c Min unsat cost LB: 9273487 ... c Min unsat cost LB: 9273682 ... c Min unsat cost LB: 9274143 ... c Min unsat cost LB: 9274416 ... c Min unsat cost LB: 9274485 ... c Min unsat cost LB: 9275327 ... c Min unsat cost LB: 9275375 ... c Min unsat cost LB: 9275418 ... c Min unsat cost LB: 9275470 ... c Min unsat cost LB: 9275729 ... c Min unsat cost LB: 9276062 ... c Min unsat cost LB: 9276163 ... c Min unsat cost LB: 9276176 ... c Min unsat cost LB: 9276367 ... c Min unsat cost LB: 9276418 ... c Min unsat cost LB: 9276441 ... c Min unsat cost LB: 9276522 ... c Min unsat cost LB: 9276570 ... c Min unsat cost LB: 9276582 ... c Min unsat cost LB: 9276847 ... c Min unsat cost LB: 9277047 ... c Min unsat cost LB: 9277072 ... c Min unsat cost LB: 9277104 ... c Min unsat cost LB: 9277127 ... c Min unsat cost LB: 9277327 ... c Min unsat cost LB: 9277476 ... c Min unsat cost LB: 9277741 ... c Min unsat cost LB: 9277765 ... c Min unsat cost LB: 9277904 ... c Min unsat cost LB: 9278017 ... c Min unsat cost LB: 9278040 ... c Min unsat cost LB: 9278260 ... c Min unsat cost LB: 9278317 ... c Min unsat cost LB: 9278344 ... c Min unsat cost LB: 9278533 ... c Min unsat cost LB: 9278539 ... c Min unsat cost LB: 9278763 ... c Min unsat cost LB: 9278806 ... c Min unsat cost LB: 9278978 ... c Min unsat cost LB: 9279036 ... c Min unsat cost LB: 9279473 ... c Min unsat cost LB: 9279516 ... c Min unsat cost LB: 9279574 ... c Min unsat cost LB: 9279656 ... c Min unsat cost LB: 9280008 ... c Min unsat cost LB: 9280412 ... c Min unsat cost LB: 9280583 ... c Min unsat cost LB: 9280880 ... c Min unsat cost LB: 9280981 ... c Min unsat cost LB: 9281005 ... c Min unsat cost LB: 9281011 ... c Min unsat cost LB: 9281029 ... c Min unsat cost LB: 9281083 ... c Min unsat cost LB: 9281109 ... c Min unsat cost LB: 9281186 ... c Min unsat cost LB: 9281205 ... c Min unsat cost LB: 9281259 ... c Min unsat cost LB: 9281273 ... c Min unsat cost LB: 9281342 ... c Min unsat cost LB: 9281532 ... c Min unsat cost LB: 9281825 ... c Min unsat cost LB: 9281826 ... c Min unsat cost LB: 9281874 ... c Min unsat cost LB: 9281938 ... c Min unsat cost LB: 9281950 ... c Min unsat cost LB: 9282007 ... c Min unsat cost LB: 9282060 ... c Min unsat cost LB: 9282061 ... c Min unsat cost LB: 9282097 ... c Min unsat cost LB: 9282111 ... c Min unsat cost LB: 9282124 ... c Min unsat cost LB: 9282142 ... c Min unsat cost LB: 9282243 ... c Min unsat cost LB: 9282342 ... c Min unsat cost LB: 9282418 ... c Min unsat cost LB: 9282478 ... c Min unsat cost LB: 9282487 ... c Min unsat cost LB: 9282610 ... c Min unsat cost LB: 9282721 ... c Min unsat cost LB: 9282765 ... c Min unsat cost LB: 9282878 ... c Min unsat cost LB: 9283022 ... c Min unsat cost LB: 9283095 ... c Min unsat cost LB: 9283243 ... c Min unsat cost LB: 9283258 ... c Min unsat cost LB: 9283286 ... c Min unsat cost LB: 9283360 ... c Min unsat cost LB: 9283522 ... c Min unsat cost LB: 9283906 ... c Min unsat cost LB: 9284149 ... c Min unsat cost LB: 9284226 ... c Min unsat cost LB: 9284239 ... c Min unsat cost LB: 9284257 ... c Min unsat cost LB: 9284428 ... c Min unsat cost LB: 9284519 ... c Min unsat cost LB: 9284542 ... c Min unsat cost LB: 9284608 ... c Min unsat cost LB: 9284729 ... c Min unsat cost LB: 9284765 ... c Min unsat cost LB: 9285065 ... c Min unsat cost LB: 9285074 ... c Min unsat cost LB: 9285742 ... c Min unsat cost LB: 9286001 ... c Min unsat cost LB: 9286091 ... c Min unsat cost LB: 9286104 ... c Min unsat cost LB: 9286254 ... c Min unsat cost LB: 9286283 ... c Min unsat cost LB: 9286344 ... c Min unsat cost LB: 9286873 ... c Min unsat cost LB: 9286874 ... c Min unsat cost LB: 9286886 ... c Min unsat cost LB: 9286936 ... c Min unsat cost LB: 9286938 ... c Min unsat cost LB: 9286942 ... c Min unsat cost LB: 9286949 ... c Min unsat cost LB: 9286950 ... c Min unsat cost LB: 9286951 ... c Min unsat cost LB: 9286961 ... c Min unsat cost LB: 9286975 ... c Min unsat cost LB: 9286988 ... c Min unsat cost LB: 9287018 ... c Min unsat cost LB: 9287023 ... c Min unsat cost LB: 9287027 ... c Min unsat cost LB: 9287048 ... c Min unsat cost LB: 9287081 ... c Min unsat cost LB: 9287108 ... c Min unsat cost LB: 9287114 ... c Min unsat cost LB: 9287134 ... c Min unsat cost LB: 9287146 ... c Min unsat cost LB: 9287149 ... c Min unsat cost LB: 9287183 ... c Min unsat cost LB: 9287192 ... c Min unsat cost LB: 9287251 ... c Min unsat cost LB: 9287284 ... c Min unsat cost LB: 9287298 ... c Min unsat cost LB: 9287405 ... c Min unsat cost LB: 9287412 ... c Min unsat cost LB: 9287415 ... c Min unsat cost LB: 9287418 ... c Min unsat cost LB: 9287430 ... c Min unsat cost LB: 9287504 ... c Min unsat cost LB: 9287545 ... c Min unsat cost LB: 9287568 ... c Min unsat cost LB: 9287618 ... c Min unsat cost LB: 9287642 ... c Min unsat cost LB: 9287684 ... c Min unsat cost LB: 9287766 ... c Min unsat cost LB: 9287842 ... c Min unsat cost LB: 9288132 ... c Min unsat cost LB: 9288206 ... c Min unsat cost LB: 9288213 ... c Min unsat cost LB: 9288215 ... c Min unsat cost LB: 9288267 ... c Min unsat cost LB: 9288279 ... c Min unsat cost LB: 9288280 ... c Min unsat cost LB: 9288323 ... c Min unsat cost LB: 9288331 ... c Min unsat cost LB: 9288349 ... c Min unsat cost LB: 9288350 ... c Min unsat cost LB: 9288368 ... c Min unsat cost LB: 9288369 ... c Min unsat cost LB: 9288375 ... c Min unsat cost LB: 9288387 ... c Min unsat cost LB: 9288405 ... c Min unsat cost LB: 9288421 ... c Min unsat cost LB: 9288422 ... c Min unsat cost LB: 9288459 ... c Min unsat cost LB: 9288469 ... c Min unsat cost LB: 9288475 ... c Min unsat cost LB: 9288484 ... c Min unsat cost LB: 9288487 ... c Min unsat cost LB: 9288500 ... c Min unsat cost LB: 9288523 ... c Min unsat cost LB: 9288539 ... c Min unsat cost LB: 9288696 ... c Min unsat cost LB: 9288723 ... c Min unsat cost LB: 9288918 ... c Min unsat cost LB: 9289276 ... c Min unsat cost LB: 9289345 ... c Min unsat cost LB: 9289587 ... c Min unsat cost LB: 9289758 ... c Min unsat cost LB: 9290412 ... c Min unsat cost LB: 9290711 ... c Min unsat cost LB: 9291137 ... c Min unsat cost LB: 9291317 ... c Min unsat cost LB: 9291406 ... c Min unsat cost LB: 9291425 ... c Min unsat cost LB: 9291463 ... c Min unsat cost LB: 9291524 ... c Min unsat cost LB: 9291609 ... c Min unsat cost LB: 9291690 ... c Min unsat cost LB: 9291703 ... c Min unsat cost LB: 9291714 ... c Min unsat cost LB: 9291724 ... c Min unsat cost LB: 9291733 ... c Min unsat cost LB: 9291736 ... c Min unsat cost LB: 9291939 ... c Min unsat cost LB: 9292397 ... c Min unsat cost LB: 9292466 ... c Min unsat cost LB: 9292830 ... c Min unsat cost LB: 9292844 ... c Min unsat cost LB: 9293863 ... c Min unsat cost LB: 9293875 ... c Min unsat cost LB: 9294585 ... c Min unsat cost LB: 9294588 ... c Min unsat cost LB: 9295672 ... c Min unsat cost LB: 9295673 ... c Min unsat cost LB: 9295716 ... c Min unsat cost LB: 9295862 ... c Min unsat cost LB: 9296199 ... c Min unsat cost LB: 9296257 ... c Min unsat cost LB: 9296271 ... c Min unsat cost LB: 9296274 ... c Min unsat cost LB: 9296316 ... c Min unsat cost LB: 9296317 ... c Min unsat cost LB: 9296421 ... c Min unsat cost LB: 9296702 ... c Min unsat cost LB: 9297601 ... c Min unsat cost LB: 9297613 ... c Min unsat cost LB: 9297670 ... c Min unsat cost LB: 9297743 ... c Min unsat cost LB: 9297943 ... c Min unsat cost LB: 9298109 ... c Min unsat cost LB: 9298246 ... c Min unsat cost LB: 9298252 ... c Min unsat cost LB: 9298699 ... c Min unsat cost LB: 9298712 ... c Min unsat cost LB: 9298732 ... c Min unsat cost LB: 9298755 ... c Min unsat cost LB: 9298806 ... c Min unsat cost LB: 9298843 ... c Min unsat cost LB: 9298849 ... c Min unsat cost LB: 9298897 ... c Min unsat cost LB: 9298967 ... c Min unsat cost LB: 9298972 ... c Min unsat cost LB: 9299140 ... c Min unsat cost LB: 9299331 ... c Min unsat cost LB: 9299336 ... c Min unsat cost LB: 9299355 ... c Min unsat cost LB: 9299363 ... c Min unsat cost LB: 9299422 ... c Min unsat cost LB: 9299435 ... c Min unsat cost LB: 9299470 ... c Min unsat cost LB: 9299571 ... c Min unsat cost LB: 9299583 ... c Min unsat cost LB: 9299700 ... c Min unsat cost LB: 9299803 ... c Min unsat cost LB: 9299887 ... c Min unsat cost LB: 9300042 ... c Min unsat cost LB: 9300136 ... c Min unsat cost LB: 9300150 ... c Min unsat cost LB: 9300184 ... c Min unsat cost LB: 9300203 ... c Min unsat cost LB: 9300219 ... c Min unsat cost LB: 9300239 ... c Min unsat cost LB: 9300245 ... c Min unsat cost LB: 9300402 ... c Min unsat cost LB: 9300414 ... c Min unsat cost LB: 9300443 ... c Min unsat cost LB: 9300445 ... c Min unsat cost LB: 9300524 ... c Min unsat cost LB: 9300527 ... c Min unsat cost LB: 9300598 ... c Min unsat cost LB: 9300604 ... c Min unsat cost LB: 9300619 ... c Min unsat cost LB: 9300638 ... c Min unsat cost LB: 9300643 ... c Min unsat cost LB: 9300676 ... c Min unsat cost LB: 9300865 ... c Min unsat cost LB: 9300892 ... c Min unsat cost LB: 9301063 ... c Min unsat cost LB: 9301097 ... c Min unsat cost LB: 9301138 ... c Min unsat cost LB: 9301181 ... c Min unsat cost LB: 9301464 ... c Min unsat cost LB: 9301586 ... c Min unsat cost LB: 9301755 ... c Min unsat cost LB: 9301773 ... c Min unsat cost LB: 9301810 ... c Min unsat cost LB: 9301825 ... c Min unsat cost LB: 9301920 ... c Min unsat cost LB: 9302146 ... c Min unsat cost LB: 9302691 ... c Min unsat cost LB: 9302778 ... c Min unsat cost LB: 9303193 ... c Min unsat cost LB: 9303295 ... c Min unsat cost LB: 9303428 ... c Min unsat cost LB: 9303676 ... c Min unsat cost LB: 9303769 ... c Min unsat cost LB: 9303892 ... c Min unsat cost LB: 9304122 ... c Min unsat cost LB: 9304167 ... c Min unsat cost LB: 9304208 ... c Min unsat cost LB: 9304584 ... c Min unsat cost LB: 9304779 ... c Min unsat cost LB: 9304804 ... c Min unsat cost LB: 9304831 ... c Min unsat cost LB: 9304852 ... c Min unsat cost LB: 9304904 ... c Min unsat cost LB: 9304909 ... c Min unsat cost LB: 9304963 ... c Min unsat cost LB: 9304969 ... c Min unsat cost LB: 9304977 ... c Min unsat cost LB: 9304979 ... c Min unsat cost LB: 9304985 ... c Min unsat cost LB: 9305098 ... c Min unsat cost LB: 9305108 ... c Min unsat cost LB: 9305133 ... c Min unsat cost LB: 9305136 ... c Min unsat cost LB: 9305165 ... c Min unsat cost LB: 9305293 ... c Min unsat cost LB: 9305527 ... c Min unsat cost LB: 9305574 ... c Min unsat cost LB: 9305620 ... c Min unsat cost LB: 9305628 ... c Min unsat cost LB: 9305671 ... c Min unsat cost LB: 9305834 ... c Min unsat cost LB: 9305878 ... c Min unsat cost LB: 9305889 ... c Min unsat cost LB: 9305893 ... c Min unsat cost LB: 9306131 ... c Min unsat cost LB: 9306163 ... c Min unsat cost LB: 9306169 ... c Min unsat cost LB: 9306171 ... c Min unsat cost LB: 9306172 ... c Min unsat cost LB: 9306173 ... c Min unsat cost LB: 9306174 ... c Min unsat cost LB: 9306175 ... c Min unsat cost LB: 9306185 ... c Min unsat cost LB: 9306193 ... c Min unsat cost LB: 9306218 ... c Min unsat cost LB: 9306219 ... c Min unsat cost LB: 9306229 ... c Min unsat cost LB: 9306234 ... c Min unsat cost LB: 9306241 ... c Min unsat cost LB: 9306258 ... c Min unsat cost LB: 9306270 ... c Min unsat cost LB: 9306283 ... c Min unsat cost LB: 9306285 ... c Min unsat cost LB: 9306290 ... c Min unsat cost LB: 9306293 ... c Min unsat cost LB: 9306296 ... c Min unsat cost LB: 9306306 ... c Min unsat cost LB: 9306317 ... c Min unsat cost LB: 9306332 ... c Min unsat cost LB: 9306351 ... c Min unsat cost LB: 9306358 ... c Min unsat cost LB: 9306369 ... c Min unsat cost LB: 9306377 ... c Min unsat cost LB: 9306502 ... c Min unsat cost LB: 9306596 ... c Min unsat cost LB: 9306612 ... c Min unsat cost LB: 9306614 ... c Min unsat cost LB: 9306636 ... c Min unsat cost LB: 9306642 ... c Min unsat cost LB: 9306655 ... c Min unsat cost LB: 9306656 ... c Min unsat cost LB: 9306662 ... c Min unsat cost LB: 9306690 ... c Min unsat cost LB: 9306706 ... c Min unsat cost LB: 9306730 ... c Min unsat cost LB: 9306754 ... c Min unsat cost LB: 9306755 ... c Min unsat cost LB: 9306770 ... c Min unsat cost LB: 9306795 ... c Min unsat cost LB: 9306812 ... c Min unsat cost LB: 9306842 ... c Min unsat cost LB: 9306847 ... c Min unsat cost LB: 9306857 ... c Min unsat cost LB: 9306905 ... c Min unsat cost LB: 9306939 ... c Min unsat cost LB: 9306957 ... c Min unsat cost LB: 9306979 ... c Min unsat cost LB: 9306980 ... c Min unsat cost LB: 9306999 ... c Min unsat cost LB: 9307021 ... c Min unsat cost LB: 9307028 ... c Min unsat cost LB: 9307054 ... c Min unsat cost LB: 9307069 ... c Min unsat cost LB: 9307076 ... c Min unsat cost LB: 9307095 ... c Min unsat cost LB: 9307100 ... c Min unsat cost LB: 9307103 ... c Min unsat cost LB: 9307126 ... c Min unsat cost LB: 9307133 ... c Min unsat cost LB: 9307176 ... c Min unsat cost LB: 9307465 ... c Min unsat cost LB: 9307473 ... c Min unsat cost LB: 9307489 ... c Min unsat cost LB: 9307690 ... c Min unsat cost LB: 9307832 ... c Min unsat cost LB: 9308020 ... c Min unsat cost LB: 9308115 ... c Min unsat cost LB: 9308203 ... c Min unsat cost LB: 9308306 ... c Min unsat cost LB: 9308624 ... c Min unsat cost LB: 9308638 ... c Min unsat cost LB: 9309080 ... c Min unsat cost LB: 9309279 ... c Min unsat cost LB: 9309291 ... c Min unsat cost LB: 9309292 ... c Min unsat cost LB: 9309329 ... c Min unsat cost LB: 9309330 ... c Min unsat cost LB: 9309332 ... c Min unsat cost LB: 9309348 ... c Min unsat cost LB: 9309355 ... c Min unsat cost LB: 9309373 ... c Min unsat cost LB: 9309374 ... c Min unsat cost LB: 9309384 ... c Min unsat cost LB: 9309386 ... c Min unsat cost LB: 9309421 ... c Min unsat cost LB: 9309458 ... c Min unsat cost LB: 9309468 ... c Min unsat cost LB: 9309533 ... c Min unsat cost LB: 9309559 ... c Min unsat cost LB: 9309582 ... c Min unsat cost LB: 9309609 ... c Min unsat cost LB: 9309637 ... c Min unsat cost LB: 9309647 ... c Min unsat cost LB: 9309665 ... c Min unsat cost LB: 9309688 ... c Min unsat cost LB: 9309707 ... c Min unsat cost LB: 9309784 ... c Min unsat cost LB: 9309792 ... c Min unsat cost LB: 9309804 ... c Min unsat cost LB: 9310054 ... c Min unsat cost LB: 9310075 ... c Min unsat cost LB: 9310100 ... c Min unsat cost LB: 9310106 ... c Min unsat cost LB: 9310107 ... c Min unsat cost LB: 9310136 ... c Min unsat cost LB: 9310163 ... c Min unsat cost LB: 9310169 ... c Min unsat cost LB: 9310170 ... c Min unsat cost LB: 9310183 ... c Min unsat cost LB: 9310184 ... c Min unsat cost LB: 9310188 ... c Min unsat cost LB: 9310195 ... c Min unsat cost LB: 9310212 ... c Min unsat cost LB: 9310213 ... c Min unsat cost LB: 9310224 ... c Min unsat cost LB: 9310251 ... c Min unsat cost LB: 9310269 ... c Min unsat cost LB: 9310315 ... c Min unsat cost LB: 9310452 ... c Min unsat cost LB: 9310500 ... c Min unsat cost LB: 9310503 ... c Min unsat cost LB: 9310511 ... c Min unsat cost LB: 9310552 ... c Min unsat cost LB: 9310562 ... c Min unsat cost LB: 9310658 ... c Min unsat cost LB: 9310892 ... c Min unsat cost LB: 9311477 ... c Min unsat cost LB: 9311485 ... c Min unsat cost LB: 9311995 ... c Min unsat cost LB: 9312020 ... c Min unsat cost LB: 9312047 ... c Min unsat cost LB: 9312134 ... c Min unsat cost LB: 9312158 ... c Min unsat cost LB: 9312159 ... c Min unsat cost LB: 9312175 ... c Min unsat cost LB: 9312185 ... c Min unsat cost LB: 9312210 ... c Min unsat cost LB: 9312221 ... c Min unsat cost LB: 9312243 ... c Min unsat cost LB: 9312271 ... c Min unsat cost LB: 9312278 ... c Min unsat cost LB: 9312405 ... c Min unsat cost LB: 9312453 ... c Min unsat cost LB: 9312459 ... c Min unsat cost LB: 9312465 ... c Min unsat cost LB: 9312479 ... c Min unsat cost LB: 9312616 ... c Min unsat cost LB: 9312628 ... c Min unsat cost LB: 9312646 ... c Min unsat cost LB: 9312670 ... c Min unsat cost LB: 9312674 ... c Min unsat cost LB: 9312743 ... c Min unsat cost LB: 9312977 ... c Min unsat cost LB: 9313034 ... c Min unsat cost LB: 9313048 ... c Min unsat cost LB: 9313062 ... c Min unsat cost LB: 9313063 ... c Min unsat cost LB: 9313132 ... c Min unsat cost LB: 9313280 ... c Min unsat cost LB: 9313306 ... c Min unsat cost LB: 9313314 ... c Min unsat cost LB: 9313319 ... c Min unsat cost LB: 9313370 ... c Min unsat cost LB: 9313377 ... c Min unsat cost LB: 9313473 ... c Min unsat cost LB: 9313513 ... c Min unsat cost LB: 9313514 ... c Min unsat cost LB: 9313521 ... c Min unsat cost LB: 9313543 ... c Min unsat cost LB: 9313612 ... c Min unsat cost LB: 9313617 ... c Min unsat cost LB: 9313664 ... c Min unsat cost LB: 9313722 ... c Min unsat cost LB: 9313724 ... c Min unsat cost LB: 9313757 ... c Min unsat cost LB: 9313763 ... c Min unsat cost LB: 9313771 ... c Min unsat cost LB: 9313849 ... c Min unsat cost LB: 9313869 ... c Min unsat cost LB: 9313898 ... c Min unsat cost LB: 9313948 ... c Min unsat cost LB: 9314036 ... c Min unsat cost LB: 9314120 ... c Min unsat cost LB: 9314163 ... c Min unsat cost LB: 9314221 ... c Min unsat cost LB: 9314436 ... c Min unsat cost LB: 9314444 ... c Min unsat cost LB: 9314465 ... c Min unsat cost LB: 9314667 ... c Min unsat cost LB: 9314773 ... c Min unsat cost LB: 9315271 ... c Min unsat cost LB: 9315289 ... c Min unsat cost LB: 9315300 ... c Min unsat cost LB: 9315390 ... c Min unsat cost LB: 9315434 ... c Min unsat cost LB: 9315477 ... c Min unsat cost LB: 9315488 ... c Min unsat cost LB: 9315502 ... c Min unsat cost LB: 9315515 ... c Min unsat cost LB: 9315540 ... c Min unsat cost LB: 9315583 ... c Min unsat cost LB: 9315706 ... c Min unsat cost LB: 9315711 ... c Min unsat cost LB: 9315737 ... c Min unsat cost LB: 9315752 ... c Min unsat cost LB: 9315775 ... c Min unsat cost LB: 9315785 ... c Min unsat cost LB: 9315795 ... c Min unsat cost LB: 9315829 ... c Min unsat cost LB: 9315834 ... c Min unsat cost LB: 9315837 ... c Min unsat cost LB: 9315838 ... c Min unsat cost LB: 9315856 ... c Min unsat cost LB: 9315868 ... c Min unsat cost LB: 9315882 ... c Min unsat cost LB: 9315890 ... c Min unsat cost LB: 9315933 ... c Min unsat cost LB: 9315939 ... c Min unsat cost LB: 9315963 ... c Min unsat cost LB: 9315964 ... c Min unsat cost LB: 9315987 ... c Min unsat cost LB: 9316019 ... c Min unsat cost LB: 9316032 ... c Min unsat cost LB: 9316042 ... c Min unsat cost LB: 9316044 ... c Min unsat cost LB: 9316087 ... c Min unsat cost LB: 9316090 ... c Min unsat cost LB: 9316165 ... c Min unsat cost LB: 9316257 ... c Min unsat cost LB: 9316271 ... c Min unsat cost LB: 9316298 ... c Min unsat cost LB: 9316333 ... c Min unsat cost LB: 9316377 ... c Min unsat cost LB: 9316407 ... c Min unsat cost LB: 9316424 ... c Min unsat cost LB: 9316459 ... c Min unsat cost LB: 9316479 ... c Min unsat cost LB: 9316482 ... c Min unsat cost LB: 9316492 ... c Min unsat cost LB: 9316524 ... c Min unsat cost LB: 9316539 ... c Min unsat cost LB: 9316545 ... c Min unsat cost LB: 9316556 ... c Min unsat cost LB: 9316557 ... c Min unsat cost LB: 9316584 ... c Min unsat cost LB: 9316586 ... c Min unsat cost LB: 9316609 ... c Min unsat cost LB: 9316610 ... c Min unsat cost LB: 9316624 ... c Min unsat cost LB: 9316649 ... c Min unsat cost LB: 9316650 ... c Min unsat cost LB: 9316795 ... c Min unsat cost LB: 9316933 ... c Min unsat cost LB: 9316944 ... c Min unsat cost LB: 9316962 ... c Min unsat cost LB: 9317029 ... c Min unsat cost LB: 9317079 ... c Min unsat cost LB: 9317092 ... c Min unsat cost LB: 9317105 ... c Min unsat cost LB: 9317286 ... c Min unsat cost LB: 9317692 ... c Min unsat cost LB: 9317712 ... c Min unsat cost LB: 9317884 ... c Min unsat cost LB: 9318055 ... c Min unsat cost LB: 9318381 ... c Min unsat cost LB: 9319280 ... c Min unsat cost LB: 9319314 ... c Min unsat cost LB: 9319315 ... c Min unsat cost LB: 9319396 ... c Min unsat cost LB: 9319405 ... c Min unsat cost LB: 9319431 ... c Min unsat cost LB: 9319452 ... c Min unsat cost LB: 9319476 ... c Min unsat cost LB: 9319518 ... c Min unsat cost LB: 9319551 ... c Min unsat cost LB: 9319704 ... c Min unsat cost LB: 9319706 ... c Min unsat cost LB: 9319718 ... c Min unsat cost LB: 9319819 ... c Min unsat cost LB: 9319862 ... c Min unsat cost LB: 9319930 ... c Min unsat cost LB: 9320033 ... c Min unsat cost LB: 9320042 ... c Min unsat cost LB: 9320045 ... c Min unsat cost LB: 9320121 ... c Min unsat cost LB: 9320433 ... c Min unsat cost LB: 9320455 ... c Min unsat cost LB: 9320491 ... c Min unsat cost LB: 9320506 ... c Min unsat cost LB: 9320519 ... c Min unsat cost LB: 9320535 ... c Min unsat cost LB: 9320538 ... c Min unsat cost LB: 9320550 ... c Min unsat cost LB: 9320692 ... c Min unsat cost LB: 9320730 ... c Min unsat cost LB: 9320787 ... c Min unsat cost LB: 9320904 ... c Min unsat cost LB: 9320908 ... c Min unsat cost LB: 9321058 ... c Min unsat cost LB: 9321088 ... c Min unsat cost LB: 9321111 ... c Min unsat cost LB: 9321117 ... c Min unsat cost LB: 9321151 ... c Min unsat cost LB: 9321173 ... c Min unsat cost LB: 9321174 ... c Min unsat cost LB: 9321181 ... c Min unsat cost LB: 9321184 ... c Min unsat cost LB: 9321186 ... c Min unsat cost LB: 9321189 ... c Min unsat cost LB: 9321191 ... c Min unsat cost LB: 9321195 ... c Min unsat cost LB: 9321218 ... c Min unsat cost LB: 9321223 ... c Min unsat cost LB: 9321232 ... c Min unsat cost LB: 9321248 ... c Min unsat cost LB: 9321296 ... c Min unsat cost LB: 9321316 ... c Min unsat cost LB: 9321317 ... c Min unsat cost LB: 9321330 ... c Min unsat cost LB: 9321335 ... c Min unsat cost LB: 9321359 ... c Min unsat cost LB: 9321371 ... c Min unsat cost LB: 9321378 ... c Min unsat cost LB: 9321384 ... c Min unsat cost LB: 9321438 ... c Min unsat cost LB: 9321441 ... c Min unsat cost LB: 9321452 ... c Min unsat cost LB: 9321482 ... c Min unsat cost LB: 9321484 ... c Min unsat cost LB: 9321489 ... c Min unsat cost LB: 9321510 ... c Min unsat cost LB: 9321523 ... c Min unsat cost LB: 9321525 ... c Min unsat cost LB: 9321577 ... c Min unsat cost LB: 9321578 ... c Min unsat cost LB: 9321584 ... c Min unsat cost LB: 9321636 ... c Min unsat cost LB: 9321680 ... Killed 1768.171u 51.583s 30:23.36 99.8% 0+0k 0+0io 0pf+0w