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_cap61.wcsp.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap61.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/cap61.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: 1767983 ... c Min unsat cost LB: 2052975 ... c Min unsat cost LB: 2065094 ... c Min unsat cost LB: 2070558 ... c Min unsat cost LB: 2196943 ... c Min unsat cost LB: 2201216 ... c Min unsat cost LB: 2205316 ... c Min unsat cost LB: 2214213 ... c Min unsat cost LB: 2250261 ... c Min unsat cost LB: 2361929 ... c Min unsat cost LB: 3602441 ... c Min unsat cost LB: 3626430 ... c Min unsat cost LB: 4195893 ... c Min unsat cost LB: 4332167 ... c Min unsat cost LB: 4722672 ... c Min unsat cost LB: 4737699 ... c Min unsat cost LB: 4747674 ... c Min unsat cost LB: 4773830 ... c Min unsat cost LB: 4775225 ... c Min unsat cost LB: 4822674 ... c Min unsat cost LB: 4844536 ... c Min unsat cost LB: 4845646 ... c Min unsat cost LB: 4850225 ... c Min unsat cost LB: 4855340 ... c Min unsat cost LB: 4859005 ... c Min unsat cost LB: 4860016 ... c Min unsat cost LB: 4870608 ... c Min unsat cost LB: 4871869 ... c Min unsat cost LB: 4895149 ... c Min unsat cost LB: 4899196 ... c Min unsat cost LB: 4962902 ... c Min unsat cost LB: 4984715 ... c Min unsat cost LB: 5036574 ... c Min unsat cost LB: 5150805 ... c Min unsat cost LB: 5153903 ... c Min unsat cost LB: 5154538 ... c Min unsat cost LB: 5155033 ... c Min unsat cost LB: 5155743 ... c Min unsat cost LB: 5175280 ... c Min unsat cost LB: 5178640 ... c Min unsat cost LB: 5180088 ... c Min unsat cost LB: 5215508 ... c Min unsat cost LB: 5221327 ... c Min unsat cost LB: 5270157 ... c Min unsat cost LB: 5289309 ... c Min unsat cost LB: 5292387 ... c Min unsat cost LB: 5321969 ... c Min unsat cost LB: 5351552 ... c Min unsat cost LB: 5352149 ... c Min unsat cost LB: 5352614 ... c Min unsat cost LB: 5364931 ... c Min unsat cost LB: 5371866 ... c Min unsat cost LB: 5401395 ... c Min unsat cost LB: 5502255 ... c Min unsat cost LB: 5502853 ... c Min unsat cost LB: 5503129 ... c Min unsat cost LB: 5515446 ... c Min unsat cost LB: 5516728 ... c Min unsat cost LB: 5517004 ... c Min unsat cost LB: 5518606 ... c Min unsat cost LB: 7552246 ... c Min unsat cost LB: 7553528 ... c Min unsat cost LB: 7553857 ... c Min unsat cost LB: 7555757 ... c Min unsat cost LB: 7628865 ... c Min unsat cost LB: 7667456 ... c Min unsat cost LB: 7675067 ... c Min unsat cost LB: 7675443 ... c Min unsat cost LB: 7768755 ... c Min unsat cost LB: 7849254 ... c Min unsat cost LB: 7851379 ... c Min unsat cost LB: 7915594 ... c Min unsat cost LB: 7921044 ... c Min unsat cost LB: 7921673 ... c Min unsat cost LB: 7923379 ... c Min unsat cost LB: 7927401 ... c Min unsat cost LB: 8008758 ... c Min unsat cost LB: 8025225 ... c Min unsat cost LB: 8058084 ... c Min unsat cost LB: 8062156 ... c Min unsat cost LB: 8062502 ... c Min unsat cost LB: 8071987 ... c Min unsat cost LB: 8079119 ... c Min unsat cost LB: 8120660 ... c Min unsat cost LB: 8132189 ... c Min unsat cost LB: 8138960 ... c Min unsat cost LB: 8164385 ... c Min unsat cost LB: 8166080 ... c Min unsat cost LB: 8168420 ... c Min unsat cost LB: 8168653 ... c Min unsat cost LB: 8169235 ... c Min unsat cost LB: 8169321 ... c Min unsat cost LB: 8169431 ... c Min unsat cost LB: 8169534 ... c Min unsat cost LB: 8170331 ... c Min unsat cost LB: 8170517 ... c Min unsat cost LB: 8514028 ... c Min unsat cost LB: 8568701 ... c Min unsat cost LB: 8570807 ... c Min unsat cost LB: 8778878 ... c Min unsat cost LB: 8831584 ... c Min unsat cost LB: 8870055 ... c Min unsat cost LB: 8872412 ... c Min unsat cost LB: 8874014 ... c Min unsat cost LB: 8874290 ... c Min unsat cost LB: 8881512 ... c Min unsat cost LB: 8881826 ... c Min unsat cost LB: 8882222 ... c Min unsat cost LB: 8884924 ... c Min unsat cost LB: 8885721 ... c Min unsat cost LB: 8886090 ... c Min unsat cost LB: 8886323 ... c Min unsat cost LB: 8887334 ... c Min unsat cost LB: 8887420 ... c Min unsat cost LB: 8889768 ... c Min unsat cost LB: 8889777 ... c Min unsat cost LB: 8891472 ... c Min unsat cost LB: 8891748 ... c Min unsat cost LB: 8900645 ... c Min unsat cost LB: 8906464 ... c Min unsat cost LB: 8907062 ... c Min unsat cost LB: 8910420 ... c Min unsat cost LB: 8911002 ... c Min unsat cost LB: 8911105 ... c Min unsat cost LB: 8911215 ... c Min unsat cost LB: 8911401 ... c Min unsat cost LB: 8912177 ... c Min unsat cost LB: 8912212 ... c Min unsat cost LB: 8912644 ... c Min unsat cost LB: 8912951 ... c Min unsat cost LB: 8913494 ... c Min unsat cost LB: 8916616 ... c Min unsat cost LB: 8918260 ... c Min unsat cost LB: 8918755 ... c Min unsat cost LB: 8919084 ... c Min unsat cost LB: 8919794 ... c Min unsat cost LB: 8921694 ... c Min unsat cost LB: 8922070 ... c Min unsat cost LB: 8922535 ... c Min unsat cost LB: 8923387 ... c Min unsat cost LB: 8925727 ... c Min unsat cost LB: 8925895 ... c Min unsat cost LB: 8927343 ... c Min unsat cost LB: 8927457 ... c Min unsat cost LB: 8930421 ... c Min unsat cost LB: 8932587 ... c Min unsat cost LB: 8945600 ... c Min unsat cost LB: 8947589 ... c Min unsat cost LB: 8951604 ... c Min unsat cost LB: 8953211 ... c Min unsat cost LB: 8957115 ... c Min unsat cost LB: 8962490 ... c Min unsat cost LB: 8969670 ... c Min unsat cost LB: 8972070 ... c Min unsat cost LB: 8972130 ... c Min unsat cost LB: 8973470 ... c Min unsat cost LB: 8984191 ... c Min unsat cost LB: 8988815 ... c Min unsat cost LB: 8989048 ... c Min unsat cost LB: 8989134 ... c Min unsat cost LB: 8992492 ... c Min unsat cost LB: 8992602 ... c Min unsat cost LB: 8993184 ... c Min unsat cost LB: 8993370 ... c Min unsat cost LB: 8994146 ... c Min unsat cost LB: 8994249 ... c Min unsat cost LB: 8995038 ... c Min unsat cost LB: 8995510 ... c Min unsat cost LB: 8995613 ... c Min unsat cost LB: 8995619 ... c Min unsat cost LB: 8995723 ... c Min unsat cost LB: 8995909 ... c Min unsat cost LB: 8999617 ... c Min unsat cost LB: 9000208 ... c Min unsat cost LB: 9000727 ... c Min unsat cost LB: 9000790 ... c Min unsat cost LB: 9004749 ... c Min unsat cost LB: 9010111 ... c Min unsat cost LB: 9010387 ... c Min unsat cost LB: 9011800 ... c Min unsat cost LB: 9012915 ... c Min unsat cost LB: 9013133 ... c Min unsat cost LB: 9022403 ... c Min unsat cost LB: 9022732 ... c Min unsat cost LB: 9023108 ... c Min unsat cost LB: 9023114 ... c Min unsat cost LB: 9023217 ... c Min unsat cost LB: 9023725 ... c Min unsat cost LB: 9023808 ... c Min unsat cost LB: 9024522 ... c Min unsat cost LB: 9024895 ... c Min unsat cost LB: 9024958 ... c Min unsat cost LB: 9025209 ... c Min unsat cost LB: 9025298 ... c Min unsat cost LB: 9025773 ... c Min unsat cost LB: 9025821 ... c Min unsat cost LB: 9025841 ... c Min unsat cost LB: 9026273 ... c Min unsat cost LB: 9026760 ... c Min unsat cost LB: 9026922 ... c Min unsat cost LB: 9028398 ... c Min unsat cost LB: 9028453 ... c Min unsat cost LB: 9028556 ... c Min unsat cost LB: 9028557 ... c Min unsat cost LB: 9028666 ... c Min unsat cost LB: 9028729 ... c Min unsat cost LB: 9028743 ... c Min unsat cost LB: 9028846 ... c Min unsat cost LB: 9028852 ... c Min unsat cost LB: 9028925 ... c Min unsat cost LB: 9028948 ... c Min unsat cost LB: 9028966 ... c Min unsat cost LB: 9028975 ... c Min unsat cost LB: 9029079 ... c Min unsat cost LB: 9029165 ... c Min unsat cost LB: 9029200 ... c Min unsat cost LB: 9029481 ... c Min unsat cost LB: 9029668 ... c Min unsat cost LB: 9029762 ... c Min unsat cost LB: 9029830 ... c Min unsat cost LB: 9029931 ... c Min unsat cost LB: 9030275 ... c Min unsat cost LB: 9030891 ... c Min unsat cost LB: 9031942 ... c Min unsat cost LB: 9032152 ... c Min unsat cost LB: 9032454 ... c Min unsat cost LB: 9032783 ... c Min unsat cost LB: 9034164 ... c Min unsat cost LB: 9034350 ... c Min unsat cost LB: 9034626 ... c Min unsat cost LB: 9036077 ... c Min unsat cost LB: 9039904 ... c Min unsat cost LB: 9041110 ... c Min unsat cost LB: 9042519 ... c Min unsat cost LB: 9045199 ... c Min unsat cost LB: 9046297 ... c Min unsat cost LB: 9049709 ... c Min unsat cost LB: 9050174 ... c Min unsat cost LB: 9050384 ... c Min unsat cost LB: 9050473 ... c Min unsat cost LB: 9050749 ... c Min unsat cost LB: 9050765 ... c Min unsat cost LB: 9051257 ... c Min unsat cost LB: 9052574 ... c Min unsat cost LB: 9052915 ... c Min unsat cost LB: 9053191 ... c Min unsat cost LB: 9053401 ... c Min unsat cost LB: 9053623 ... c Min unsat cost LB: 9053726 ... c Min unsat cost LB: 9054070 ... c Min unsat cost LB: 9054391 ... c Min unsat cost LB: 9054437 ... c Min unsat cost LB: 9054501 ... c Min unsat cost LB: 9054782 ... c Min unsat cost LB: 9054877 ... c Min unsat cost LB: 9055217 ... c Min unsat cost LB: 9055479 ... c Min unsat cost LB: 9055496 ... c Min unsat cost LB: 9055614 ... c Min unsat cost LB: 9055728 ... c Min unsat cost LB: 9055782 ... c Min unsat cost LB: 9056243 ... c Min unsat cost LB: 9056496 ... c Min unsat cost LB: 9057062 ... c Min unsat cost LB: 9058122 ... c Min unsat cost LB: 9058358 ... c Min unsat cost LB: 9058974 ... c Min unsat cost LB: 9059519 ... c Min unsat cost LB: 9059582 ... c Min unsat cost LB: 9059671 ... c Min unsat cost LB: 9059833 ... c Min unsat cost LB: 9059896 ... c Min unsat cost LB: 9060225 ... c Min unsat cost LB: 9060244 ... c Min unsat cost LB: 9060287 ... c Min unsat cost LB: 9060525 ... c Min unsat cost LB: 9060563 ... c Min unsat cost LB: 9061239 ... c Min unsat cost LB: 9061322 ... c Min unsat cost LB: 9061328 ... c Min unsat cost LB: 9061623 ... c Min unsat cost LB: 9061925 ... c Min unsat cost LB: 9061941 ... c Min unsat cost LB: 9061996 ... c Min unsat cost LB: 9062039 ... c Min unsat cost LB: 9062369 ... c Min unsat cost LB: 9062428 ... c Min unsat cost LB: 9062710 ... c Min unsat cost LB: 9062719 ... c Min unsat cost LB: 9062757 ... c Min unsat cost LB: 9062975 ... c Min unsat cost LB: 9063023 ... c Min unsat cost LB: 9063043 ... c Min unsat cost LB: 9063111 ... c Min unsat cost LB: 9063362 ... c Min unsat cost LB: 9063466 ... c Min unsat cost LB: 9063529 ... c Min unsat cost LB: 9063837 ... c Min unsat cost LB: 9063926 ... c Min unsat cost LB: 9064170 ... c Min unsat cost LB: 9064356 ... c Min unsat cost LB: 9065005 ... c Min unsat cost LB: 9065157 ... c Min unsat cost LB: 9065243 ... c Min unsat cost LB: 9065526 ... c Min unsat cost LB: 9065589 ... c Min unsat cost LB: 9065629 ... c Min unsat cost LB: 9065739 ... c Min unsat cost LB: 9065872 ... c Min unsat cost LB: 9065932 ... c Min unsat cost LB: 9066021 ... c Min unsat cost LB: 9066348 ... c Min unsat cost LB: 9066373 ... c Min unsat cost LB: 9066649 ... c Min unsat cost LB: 9066712 ... c Min unsat cost LB: 9066732 ... c Min unsat cost LB: 9066738 ... c Min unsat cost LB: 9066780 ... c Min unsat cost LB: 9066795 ... c Min unsat cost LB: 9066821 ... c Min unsat cost LB: 9066889 ... c Min unsat cost LB: 9067040 ... c Min unsat cost LB: 9067285 ... c Min unsat cost LB: 9067814 ... c Min unsat cost LB: 9067828 ... c Min unsat cost LB: 9067891 ... c Min unsat cost LB: 9067900 ... c Min unsat cost LB: 9067923 ... c Min unsat cost LB: 9067940 ... c Min unsat cost LB: 9067982 ... c Min unsat cost LB: 9068026 ... c Min unsat cost LB: 9068035 ... c Min unsat cost LB: 9068051 ... c Min unsat cost LB: 9068120 ... c Min unsat cost LB: 9068183 ... c Min unsat cost LB: 9068202 ... c Min unsat cost LB: 9068206 ... c Min unsat cost LB: 9068241 ... c Min unsat cost LB: 9068327 ... c Min unsat cost LB: 9068344 ... c Min unsat cost LB: 9068345 ... c Min unsat cost LB: 9068359 ... c Min unsat cost LB: 9068377 ... c Min unsat cost LB: 9068603 ... c Min unsat cost LB: 9068626 ... c Min unsat cost LB: 9068676 ... c Min unsat cost LB: 9068699 ... c Min unsat cost LB: 9068831 ... c Min unsat cost LB: 9068849 ... c Min unsat cost LB: 9068940 ... c Min unsat cost LB: 9068982 ... c Min unsat cost LB: 9069018 ... c Min unsat cost LB: 9069104 ... c Min unsat cost LB: 9069107 ... c Min unsat cost LB: 9069113 ... c Min unsat cost LB: 9069133 ... c Min unsat cost LB: 9069139 ... c Min unsat cost LB: 9069181 ... c Min unsat cost LB: 9069195 ... c Min unsat cost LB: 9069244 ... c Min unsat cost LB: 9069252 ... c Min unsat cost LB: 9069270 ... c Min unsat cost LB: 9069275 ... c Min unsat cost LB: 9069276 ... c Min unsat cost LB: 9069348 ... c Min unsat cost LB: 9069390 ... c Min unsat cost LB: 9069441 ... c Min unsat cost LB: 9069553 ... c Min unsat cost LB: 9069608 ... c Min unsat cost LB: 9069656 ... c Min unsat cost LB: 9069662 ... c Min unsat cost LB: 9069691 ... c Min unsat cost LB: 9069697 ... c Min unsat cost LB: 9069713 ... c Min unsat cost LB: 9069715 ... c Min unsat cost LB: 9069789 ... c Min unsat cost LB: 9069824 ... c Min unsat cost LB: 9069835 ... c Min unsat cost LB: 9069866 ... c Min unsat cost LB: 9069913 ... c Min unsat cost LB: 9069966 ... c Min unsat cost LB: 9070026 ... c Min unsat cost LB: 9070078 ... c Min unsat cost LB: 9070094 ... c Min unsat cost LB: 9070115 ... c Min unsat cost LB: 9070123 ... c Min unsat cost LB: 9070138 ... c Min unsat cost LB: 9070186 ... c Min unsat cost LB: 9070204 ... c Min unsat cost LB: 9070692 ... c Min unsat cost LB: 9071124 ... c Min unsat cost LB: 9071171 ... c Min unsat cost LB: 9071394 ... c Min unsat cost LB: 9071528 ... c Min unsat cost LB: 9071544 ... c Min unsat cost LB: 9071881 ... c Min unsat cost LB: 9071897 ... c Min unsat cost LB: 9071944 ... c Min unsat cost LB: 9072019 ... c Min unsat cost LB: 9072039 ... c Min unsat cost LB: 9072147 ... c Min unsat cost LB: 9072167 ... c Min unsat cost LB: 9072195 ... c Min unsat cost LB: 9072196 ... c Min unsat cost LB: 9072219 ... c Min unsat cost LB: 9072250 ... c Min unsat cost LB: 9072353 ... c Min unsat cost LB: 9072368 ... c Min unsat cost LB: 9073067 ... c Min unsat cost LB: 9073101 ... c Min unsat cost LB: 9073115 ... c Min unsat cost LB: 9073164 ... c Min unsat cost LB: 9073178 ... c Min unsat cost LB: 9073329 ... c Min unsat cost LB: 9073333 ... c Min unsat cost LB: 9073493 ... c Min unsat cost LB: 9073560 ... c Min unsat cost LB: 9073574 ... c Min unsat cost LB: 9073580 ... c Min unsat cost LB: 9073615 ... c Min unsat cost LB: 9073736 ... c Min unsat cost LB: 9073854 ... c Min unsat cost LB: 9074012 ... c Min unsat cost LB: 9074022 ... c Min unsat cost LB: 9074265 ... c Min unsat cost LB: 9074333 ... c Min unsat cost LB: 9074388 ... c Min unsat cost LB: 9074500 ... c Min unsat cost LB: 9074567 ... c Min unsat cost LB: 9074583 ... c Min unsat cost LB: 9074612 ... c Min unsat cost LB: 9074613 ... c Min unsat cost LB: 9074632 ... c Min unsat cost LB: 9074707 ... c Min unsat cost LB: 9074727 ... c Min unsat cost LB: 9074774 ... c Min unsat cost LB: 9074797 ... c Min unsat cost LB: 9074955 ... c Min unsat cost LB: 9075186 ... c Min unsat cost LB: 9075420 ... c Min unsat cost LB: 9075475 ... c Min unsat cost LB: 9075489 ... c Min unsat cost LB: 9075499 ... c Min unsat cost LB: 9075513 ... c Min unsat cost LB: 9075519 ... c Min unsat cost LB: 9075742 ... c Min unsat cost LB: 9075923 ... c Min unsat cost LB: 9075965 ... c Min unsat cost LB: 9075976 ... c Min unsat cost LB: 9076051 ... c Min unsat cost LB: 9076079 ... c Min unsat cost LB: 9076098 ... c Min unsat cost LB: 9076110 ... c Min unsat cost LB: 9076121 ... c Min unsat cost LB: 9076141 ... c Min unsat cost LB: 9076172 ... c Min unsat cost LB: 9076186 ... c Min unsat cost LB: 9076244 ... c Min unsat cost LB: 9076288 ... c Min unsat cost LB: 9076294 ... c Min unsat cost LB: 9076297 ... c Min unsat cost LB: 9076305 ... c Min unsat cost LB: 9076326 ... c Min unsat cost LB: 9076332 ... c Min unsat cost LB: 9076341 ... c Min unsat cost LB: 9076352 ... c Min unsat cost LB: 9076396 ... c Min unsat cost LB: 9076404 ... c Min unsat cost LB: 9076412 ... c Min unsat cost LB: 9076414 ... c Min unsat cost LB: 9076424 ... c Min unsat cost LB: 9076440 ... c Min unsat cost LB: 9076449 ... c Min unsat cost LB: 9076454 ... c Min unsat cost LB: 9076484 ... c Min unsat cost LB: 9076499 ... c Min unsat cost LB: 9076527 ... c Min unsat cost LB: 9076542 ... c Min unsat cost LB: 9076558 ... c Min unsat cost LB: 9076567 ... c Min unsat cost LB: 9076617 ... c Min unsat cost LB: 9076636 ... c Min unsat cost LB: 9076637 ... c Min unsat cost LB: 9076682 ... c Min unsat cost LB: 9076695 ... c Min unsat cost LB: 9076742 ... c Min unsat cost LB: 9076743 ... c Min unsat cost LB: 9076758 ... c Min unsat cost LB: 9076823 ... c Min unsat cost LB: 9076829 ... c Min unsat cost LB: 9076850 ... c Min unsat cost LB: 9076868 ... c Min unsat cost LB: 9076893 ... c Min unsat cost LB: 9076928 ... c Min unsat cost LB: 9076943 ... c Min unsat cost LB: 9076963 ... c Min unsat cost LB: 9076972 ... c Min unsat cost LB: 9076983 ... c Min unsat cost LB: 9076989 ... c Min unsat cost LB: 9077000 ... c Min unsat cost LB: 9077031 ... c Min unsat cost LB: 9077047 ... c Min unsat cost LB: 9077070 ... c Min unsat cost LB: 9077080 ... c Min unsat cost LB: 9077099 ... c Min unsat cost LB: 9077255 ... c Min unsat cost LB: 9077259 ... c Min unsat cost LB: 9077310 ... c Min unsat cost LB: 9077502 ... c Min unsat cost LB: 9077503 ... c Min unsat cost LB: 9077730 ... c Min unsat cost LB: 9077932 ... c Min unsat cost LB: 9078001 ... c Min unsat cost LB: 9078024 ... c Min unsat cost LB: 9078088 ... c Min unsat cost LB: 9078107 ... c Min unsat cost LB: 9078229 ... c Min unsat cost LB: 9078235 ... c Min unsat cost LB: 9078338 ... c Min unsat cost LB: 9078393 ... c Min unsat cost LB: 9078397 ... c Min unsat cost LB: 9078428 ... c Min unsat cost LB: 9078441 ... c Min unsat cost LB: 9078508 ... c Min unsat cost LB: 9078518 ... c Min unsat cost LB: 9078526 ... c Min unsat cost LB: 9078534 ... c Min unsat cost LB: 9078551 ... c Min unsat cost LB: 9078568 ... c Min unsat cost LB: 9078581 ... c Min unsat cost LB: 9078596 ... c Min unsat cost LB: 9078626 ... c Min unsat cost LB: 9078712 ... c Min unsat cost LB: 9078795 ... c Min unsat cost LB: 9078842 ... c Min unsat cost LB: 9078855 ... c Min unsat cost LB: 9078856 ... c Min unsat cost LB: 9078948 ... c Min unsat cost LB: 9079022 ... c Min unsat cost LB: 9079144 ... c Min unsat cost LB: 9079217 ... c Min unsat cost LB: 9079300 ... c Min unsat cost LB: 9079412 ... c Min unsat cost LB: 9079851 ... c Min unsat cost LB: 9079882 ... c Min unsat cost LB: 9079943 ... c Min unsat cost LB: 9079954 ... c Min unsat cost LB: 9079964 ... c Min unsat cost LB: 9080078 ... c Min unsat cost LB: 9080170 ... c Min unsat cost LB: 9080272 ... c Min unsat cost LB: 9080335 ... c Min unsat cost LB: 9080372 ... c Min unsat cost LB: 9080377 ... c Min unsat cost LB: 9080590 ... c Min unsat cost LB: 9080641 ... c Min unsat cost LB: 9080711 ... c Min unsat cost LB: 9080740 ... c Min unsat cost LB: 9080745 ... c Min unsat cost LB: 9080771 ... c Min unsat cost LB: 9080795 ... c Min unsat cost LB: 9080814 ... c Min unsat cost LB: 9080818 ... c Min unsat cost LB: 9080885 ... c Min unsat cost LB: 9080886 ... c Min unsat cost LB: 9081104 ... c Min unsat cost LB: 9081127 ... c Min unsat cost LB: 9081132 ... c Min unsat cost LB: 9081148 ... c Min unsat cost LB: 9081165 ... c Min unsat cost LB: 9081180 ... c Min unsat cost LB: 9081182 ... c Min unsat cost LB: 9081200 ... c Min unsat cost LB: 9081207 ... c Min unsat cost LB: 9081238 ... c Min unsat cost LB: 9081243 ... c Min unsat cost LB: 9081250 ... c Min unsat cost LB: 9081251 ... c Min unsat cost LB: 9081260 ... c Min unsat cost LB: 9081261 ... c Min unsat cost LB: 9081263 ... c Min unsat cost LB: 9081268 ... c Min unsat cost LB: 9081269 ... c Min unsat cost LB: 9081309 ... c Min unsat cost LB: 9081325 ... c Min unsat cost LB: 9081340 ... c Min unsat cost LB: 9081360 ... c Min unsat cost LB: 9081364 ... c Min unsat cost LB: 9081376 ... c Min unsat cost LB: 9081380 ... c Min unsat cost LB: 9081382 ... c Min unsat cost LB: 9081427 ... c Min unsat cost LB: 9081428 ... c Min unsat cost LB: 9081473 ... c Min unsat cost LB: 9081479 ... c Min unsat cost LB: 9081481 ... c Min unsat cost LB: 9081485 ... c Min unsat cost LB: 9081533 ... c Min unsat cost LB: 9081553 ... c Min unsat cost LB: 9081584 ... c Min unsat cost LB: 9081597 ... c Min unsat cost LB: 9081626 ... c Min unsat cost LB: 9081642 ... c Min unsat cost LB: 9081652 ... c Min unsat cost LB: 9081677 ... c Min unsat cost LB: 9081679 ... c Min unsat cost LB: 9081686 ... c Min unsat cost LB: 9081697 ... c Min unsat cost LB: 9081703 ... c Min unsat cost LB: 9081709 ... c Min unsat cost LB: 9081745 ... c Min unsat cost LB: 9081751 ... c Min unsat cost LB: 9081757 ... c Min unsat cost LB: 9081758 ... c Min unsat cost LB: 9081773 ... c Min unsat cost LB: 9081809 ... c Min unsat cost LB: 9081825 ... c Min unsat cost LB: 9081851 ... c Min unsat cost LB: 9081868 ... c Min unsat cost LB: 9081870 ... c Min unsat cost LB: 9081872 ... c Min unsat cost LB: 9081877 ... c Min unsat cost LB: 9081888 ... c Min unsat cost LB: 9081892 ... c Min unsat cost LB: 9081895 ... c Min unsat cost LB: 9081901 ... c Min unsat cost LB: 9081924 ... c Min unsat cost LB: 9081929 ... c Min unsat cost LB: 9081933 ... c Min unsat cost LB: 9081938 ... c Min unsat cost LB: 9081947 ... c Min unsat cost LB: 9081972 ... c Min unsat cost LB: 9081978 ... c Min unsat cost LB: 9081993 ... c Min unsat cost LB: 9082001 ... c Min unsat cost LB: 9082010 ... c Min unsat cost LB: 9082011 ... c Min unsat cost LB: 9082064 ... c Min unsat cost LB: 9082070 ... c Min unsat cost LB: 9082127 ... c Min unsat cost LB: 9082270 ... c Min unsat cost LB: 9082321 ... c Min unsat cost LB: 9082517 ... c Min unsat cost LB: 9082521 ... c Min unsat cost LB: 9082552 ... c Min unsat cost LB: 9082555 ... c Min unsat cost LB: 9082561 ... c Min unsat cost LB: 9082566 ... c Min unsat cost LB: 9082633 ... c Min unsat cost LB: 9082669 ... c Min unsat cost LB: 9082685 ... c Min unsat cost LB: 9082693 ... c Min unsat cost LB: 9082699 ... c Min unsat cost LB: 9082730 ... c Min unsat cost LB: 9082795 ... c Min unsat cost LB: 9082809 ... c Min unsat cost LB: 9082810 ... c Min unsat cost LB: 9082835 ... c Min unsat cost LB: 9082869 ... c Min unsat cost LB: 9082902 ... c Min unsat cost LB: 9082911 ... c Min unsat cost LB: 9082932 ... c Min unsat cost LB: 9082960 ... c Min unsat cost LB: 9082974 ... c Min unsat cost LB: 9082987 ... c Min unsat cost LB: 9083016 ... c Min unsat cost LB: 9083019 ... c Min unsat cost LB: 9083022 ... c Min unsat cost LB: 9083036 ... c Min unsat cost LB: 9083044 ... c Min unsat cost LB: 9083062 ... c Min unsat cost LB: 9083078 ... c Min unsat cost LB: 9083092 ... c Min unsat cost LB: 9083111 ... c Min unsat cost LB: 9083174 ... c Min unsat cost LB: 9083231 ... c Min unsat cost LB: 9083234 ... c Min unsat cost LB: 9083332 ... c Min unsat cost LB: 9083340 ... c Min unsat cost LB: 9083347 ... c Min unsat cost LB: 9083355 ... c Min unsat cost LB: 9083367 ... c Min unsat cost LB: 9083372 ... c Min unsat cost LB: 9083374 ... c Min unsat cost LB: 9083387 ... c Min unsat cost LB: 9083437 ... c Min unsat cost LB: 9083480 ... c Min unsat cost LB: 9083575 ... c Min unsat cost LB: 9083589 ... c Min unsat cost LB: 9083590 ... c Min unsat cost LB: 9083608 ... c Min unsat cost LB: 9083616 ... c Min unsat cost LB: 9083618 ... c Min unsat cost LB: 9083663 ... c Min unsat cost LB: 9083664 ... c Min unsat cost LB: 9083673 ... c Min unsat cost LB: 9083675 ... c Min unsat cost LB: 9083682 ... c Min unsat cost LB: 9083698 ... c Min unsat cost LB: 9083704 ... c Min unsat cost LB: 9083705 ... c Min unsat cost LB: 9083745 ... c Min unsat cost LB: 9083752 ... c Min unsat cost LB: 9083754 ... c Min unsat cost LB: 9083761 ... c Min unsat cost LB: 9083817 ... c Min unsat cost LB: 9083840 ... c Min unsat cost LB: 9083903 ... c Min unsat cost LB: 9084046 ... c Min unsat cost LB: 9084139 ... c Min unsat cost LB: 9084162 ... c Min unsat cost LB: 9084186 ... c Min unsat cost LB: 9084328 ... c Min unsat cost LB: 9084348 ... c Min unsat cost LB: 9084352 ... c Min unsat cost LB: 9084377 ... c Min unsat cost LB: 9084413 ... c Min unsat cost LB: 9084415 ... c Min unsat cost LB: 9084444 ... c Min unsat cost LB: 9084547 ... c Min unsat cost LB: 9084577 ... c Min unsat cost LB: 9084586 ... c Min unsat cost LB: 9084591 ... c Min unsat cost LB: 9084593 ... c Min unsat cost LB: 9084660 ... c Min unsat cost LB: 9084715 ... c Min unsat cost LB: 9084782 ... c Min unsat cost LB: 9084797 ... c Min unsat cost LB: 9084798 ... c Min unsat cost LB: 9084865 ... c Min unsat cost LB: 9084924 ... c Min unsat cost LB: 9084929 ... c Min unsat cost LB: 9084936 ... c Min unsat cost LB: 9084991 ... c Min unsat cost LB: 9084999 ... c Min unsat cost LB: 9085011 ... c Min unsat cost LB: 9085062 ... c Min unsat cost LB: 9085078 ... c Min unsat cost LB: 9085080 ... c Min unsat cost LB: 9085083 ... c Min unsat cost LB: 9085118 ... c Min unsat cost LB: 9085157 ... c Min unsat cost LB: 9085352 ... c Min unsat cost LB: 9085371 ... c Min unsat cost LB: 9085385 ... c Min unsat cost LB: 9085419 ... c Min unsat cost LB: 9085428 ... c Min unsat cost LB: 9085433 ... c Min unsat cost LB: 9085439 ... c Min unsat cost LB: 9085448 ... c Min unsat cost LB: 9085449 ... c Min unsat cost LB: 9085457 ... c Min unsat cost LB: 9085458 ... c Min unsat cost LB: 9085461 ... c Min unsat cost LB: 9085462 ... c Min unsat cost LB: 9085463 ... c Min unsat cost LB: 9085478 ... c Min unsat cost LB: 9085479 ... c Min unsat cost LB: 9085494 ... c Min unsat cost LB: 9085496 ... c Min unsat cost LB: 9085503 ... c Min unsat cost LB: 9085504 ... c Min unsat cost LB: 9085508 ... c Min unsat cost LB: 9085512 ... c Min unsat cost LB: 9085514 ... c Min unsat cost LB: 9085516 ... c Min unsat cost LB: 9085518 ... c Min unsat cost LB: 9085519 ... c Min unsat cost LB: 9085552 ... c Min unsat cost LB: 9085561 ... c Min unsat cost LB: 9085562 ... c Min unsat cost LB: 9085565 ... c Min unsat cost LB: 9085566 ... c Min unsat cost LB: 9085567 ... c Min unsat cost LB: 9085568 ... c Min unsat cost LB: 9085570 ... c Min unsat cost LB: 9085574 ... c Min unsat cost LB: 9085584 ... c Min unsat cost LB: 9085587 ... c Min unsat cost LB: 9085590 ... c Min unsat cost LB: 9085591 ... c Min unsat cost LB: 9085598 ... c Min unsat cost LB: 9085599 ... c Min unsat cost LB: 9085614 ... c Min unsat cost LB: 9085628 ... c Min unsat cost LB: 9085636 ... c Min unsat cost LB: 9085638 ... c Min unsat cost LB: 9085663 ... c Min unsat cost LB: 9085679 ... c Min unsat cost LB: 9085680 ... c Min unsat cost LB: 9085690 ... c Min unsat cost LB: 9085694 ... c Min unsat cost LB: 9085703 ... c Min unsat cost LB: 9085704 ... c Min unsat cost LB: 9085712 ... c Min unsat cost LB: 9085715 ... c Min unsat cost LB: 9085734 ... c Min unsat cost LB: 9085739 ... c Min unsat cost LB: 9085741 ... c Min unsat cost LB: 9085742 ... c Min unsat cost LB: 9085744 ... c Min unsat cost LB: 9085746 ... c Min unsat cost LB: 9085757 ... c Min unsat cost LB: 9085758 ... c Min unsat cost LB: 9085759 ... c Min unsat cost LB: 9085767 ... c Min unsat cost LB: 9085770 ... c Min unsat cost LB: 9085776 ... c Min unsat cost LB: 9085808 ... c Min unsat cost LB: 9085819 ... c Min unsat cost LB: 9085820 ... c Min unsat cost LB: 9085829 ... c Min unsat cost LB: 9085830 ... c Min unsat cost LB: 9085837 ... c Min unsat cost LB: 9085840 ... c Min unsat cost LB: 9085852 ... c Min unsat cost LB: 9085864 ... c Min unsat cost LB: 9085866 ... c Min unsat cost LB: 9085881 ... c Min unsat cost LB: 9085892 ... c Min unsat cost LB: 9085896 ... c Min unsat cost LB: 9085911 ... c Min unsat cost LB: 9085914 ... c Min unsat cost LB: 9085930 ... c Min unsat cost LB: 9085948 ... c Min unsat cost LB: 9085961 ... c Min unsat cost LB: 9085998 ... c Min unsat cost LB: 9086042 ... c Min unsat cost LB: 9086046 ... c Min unsat cost LB: 9086053 ... c Min unsat cost LB: 9086057 ... c Min unsat cost LB: 9086058 ... c Min unsat cost LB: 9086066 ... c Min unsat cost LB: 9086074 ... c Min unsat cost LB: 9086093 ... c Min unsat cost LB: 9086100 ... c Min unsat cost LB: 9086105 ... c Min unsat cost LB: 9086109 ... c Min unsat cost LB: 9086113 ... c Min unsat cost LB: 9086118 ... c Min unsat cost LB: 9086119 ... c Min unsat cost LB: 9086125 ... c Min unsat cost LB: 9086136 ... c Min unsat cost LB: 9086153 ... c Min unsat cost LB: 9086155 ... c Min unsat cost LB: 9086162 ... c Min unsat cost LB: 9086167 ... c Min unsat cost LB: 9086178 ... c Min unsat cost LB: 9086183 ... c Min unsat cost LB: 9086196 ... c Min unsat cost LB: 9086201 ... c Min unsat cost LB: 9086207 ... c Min unsat cost LB: 9086208 ... c Min unsat cost LB: 9086212 ... c Min unsat cost LB: 9086228 ... c Min unsat cost LB: 9086232 ... c Min unsat cost LB: 9086236 ... c Min unsat cost LB: 9086244 ... c Min unsat cost LB: 9086246 ... c Min unsat cost LB: 9086249 ... c Min unsat cost LB: 9086251 ... c Min unsat cost LB: 9086252 ... c Min unsat cost LB: 9086257 ... c Min unsat cost LB: 9086258 ... c Min unsat cost LB: 9086259 ... c Min unsat cost LB: 9086260 ... c Min unsat cost LB: 9086261 ... c Min unsat cost LB: 9086262 ... c Min unsat cost LB: 9086278 ... c Min unsat cost LB: 9086279 ... c Min unsat cost LB: 9086295 ... c Min unsat cost LB: 9086300 ... c Min unsat cost LB: 9086304 ... c Min unsat cost LB: 9086305 ... c Min unsat cost LB: 9086306 ... c Min unsat cost LB: 9086331 ... c Min unsat cost LB: 9086333 ... c Min unsat cost LB: 9086335 ... c Min unsat cost LB: 9086347 ... c Min unsat cost LB: 9086348 ... c Min unsat cost LB: 9086353 ... c Min unsat cost LB: 9086355 ... c Min unsat cost LB: 9086359 ... c Min unsat cost LB: 9086360 ... c Min unsat cost LB: 9086372 ... c Min unsat cost LB: 9086375 ... c Min unsat cost LB: 9086380 ... c Min unsat cost LB: 9086388 ... c Min unsat cost LB: 9086392 ... c Min unsat cost LB: 9086393 ... c Min unsat cost LB: 9086461 ... c Min unsat cost LB: 9086477 ... c Min unsat cost LB: 9086478 ... c Min unsat cost LB: 9086548 ... c Min unsat cost LB: 9086560 ... c Min unsat cost LB: 9086607 ... c Min unsat cost LB: 9086611 ... c Min unsat cost LB: 9086636 ... c Min unsat cost LB: 9086639 ... c Min unsat cost LB: 9086643 ... c Min unsat cost LB: 9086660 ... c Min unsat cost LB: 9086671 ... c Min unsat cost LB: 9086687 ... c Min unsat cost LB: 9086693 ... c Min unsat cost LB: 9086706 ... c Min unsat cost LB: 9086715 ... c Min unsat cost LB: 9086717 ... c Min unsat cost LB: 9086718 ... c Min unsat cost LB: 9086722 ... c Min unsat cost LB: 9086723 ... c Min unsat cost LB: 9086733 ... c Min unsat cost LB: 9086738 ... c Min unsat cost LB: 9086772 ... c Min unsat cost LB: 9086800 ... c Min unsat cost LB: 9086802 ... c Min unsat cost LB: 9086806 ... c Min unsat cost LB: 9086825 ... c Min unsat cost LB: 9086833 ... c Min unsat cost LB: 9086861 ... c Min unsat cost LB: 9086868 ... c Min unsat cost LB: 9086907 ... c Min unsat cost LB: 9086909 ... c Min unsat cost LB: 9086911 ... c Min unsat cost LB: 9086913 ... c Min unsat cost LB: 9086915 ... c Min unsat cost LB: 9086921 ... c Min unsat cost LB: 9086923 ... c Min unsat cost LB: 9086925 ... c Min unsat cost LB: 9086930 ... c Min unsat cost LB: 9086931 ... c Min unsat cost LB: 9086939 ... c Min unsat cost LB: 9086944 ... c Min unsat cost LB: 9086946 ... c Min unsat cost LB: 9086955 ... c Min unsat cost LB: 9086973 ... c Min unsat cost LB: 9086982 ... c Min unsat cost LB: 9086993 ... c Min unsat cost LB: 9087001 ... c Min unsat cost LB: 9087016 ... c Min unsat cost LB: 9087017 ... c Min unsat cost LB: 9087018 ... c Min unsat cost LB: 9087023 ... c Min unsat cost LB: 9087027 ... c Min unsat cost LB: 9087040 ... c Min unsat cost LB: 9087054 ... c Min unsat cost LB: 9087058 ... c Min unsat cost LB: 9087065 ... c Min unsat cost LB: 9087081 ... c Min unsat cost LB: 9087086 ... c Min unsat cost LB: 9087091 ... c Min unsat cost LB: 9087095 ... Killed 1777.379u 42.387s 30:24.37 99.7% 0+0k 0+0io 0pf+0w