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_warehouse1.wcsp.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/warehouse1.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/warehouse1.wcsp.wcnf *** c c Min unsat cost LB: 50000 ... c Min unsat cost LB: 105786 ... c Min unsat cost LB: 130094 ... c Min unsat cost LB: 168172 ... c Min unsat cost LB: 176843 ... c Min unsat cost LB: 188765 ... c Min unsat cost LB: 203482 ... c Min unsat cost LB: 211944 ... c Min unsat cost LB: 212278 ... c Min unsat cost LB: 226843 ... c Min unsat cost LB: 228002 ... c Min unsat cost LB: 241862 ... c Min unsat cost LB: 252752 ... c Min unsat cost LB: 261047 ... c Min unsat cost LB: 262278 ... c Min unsat cost LB: 272212 ... c Min unsat cost LB: 280985 ... c Min unsat cost LB: 282965 ... c Min unsat cost LB: 289235 ... c Min unsat cost LB: 292835 ... c Min unsat cost LB: 299353 ... c Min unsat cost LB: 300538 ... c Min unsat cost LB: 357531 ... c Min unsat cost LB: 372867 ... c Min unsat cost LB: 405446 ... c Min unsat cost LB: 413201 ... c Min unsat cost LB: 414611 ... c Min unsat cost LB: 429176 ... c Min unsat cost LB: 431831 ... c Min unsat cost LB: 432540 ... c Min unsat cost LB: 433868 ... c Min unsat cost LB: 436415 ... c Min unsat cost LB: 438010 ... c Min unsat cost LB: 438520 ... c Min unsat cost LB: 450610 ... c Min unsat cost LB: 453897 ... c Min unsat cost LB: 454415 ... c Min unsat cost LB: 462310 ... c Min unsat cost LB: 465127 ... c Min unsat cost LB: 466849 ... c Min unsat cost LB: 476439 ... c Min unsat cost LB: 477582 ... c Min unsat cost LB: 478725 ... c Min unsat cost LB: 485344 ... c Min unsat cost LB: 501724 ... c Min unsat cost LB: 505064 ... c Min unsat cost LB: 507346 ... c Min unsat cost LB: 507680 ... c Min unsat cost LB: 508903 ... c Min unsat cost LB: 509186 ... c Min unsat cost LB: 510318 ... c Min unsat cost LB: 511920 ... c Min unsat cost LB: 512473 ... c Min unsat cost LB: 512802 ... c Min unsat cost LB: 513087 ... c Min unsat cost LB: 514809 ... c Min unsat cost LB: 515327 ... c Min unsat cost LB: 515706 ... c Min unsat cost LB: 516274 ... c Min unsat cost LB: 516587 ... c Min unsat cost LB: 517757 ... c Min unsat cost LB: 520097 ... c Min unsat cost LB: 524541 ... c Min unsat cost LB: 526779 ... c Min unsat cost LB: 527074 ... c Min unsat cost LB: 527113 ... c Min unsat cost LB: 527446 ... c Min unsat cost LB: 534796 ... c Min unsat cost LB: 535055 ... c Min unsat cost LB: 535350 ... c Min unsat cost LB: 536948 ... c Min unsat cost LB: 537170 ... c Min unsat cost LB: 537209 ... c Min unsat cost LB: 538342 ... c Min unsat cost LB: 540354 ... c Min unsat cost LB: 540571 ... c Min unsat cost LB: 678747 ... c Min unsat cost LB: 678786 ... c Min unsat cost LB: 679042 ... c Min unsat cost LB: 679327 ... c Min unsat cost LB: 679355 ... c Min unsat cost LB: 679621 ... c Min unsat cost LB: 679843 ... c Min unsat cost LB: 681382 ... c Min unsat cost LB: 681593 ... c Min unsat cost LB: 681906 ... c Min unsat cost LB: 682199 ... c Min unsat cost LB: 682484 ... c Min unsat cost LB: 682959 ... c Min unsat cost LB: 683181 ... c Min unsat cost LB: 684054 ... c Min unsat cost LB: 684282 ... c Min unsat cost LB: 684320 ... c Min unsat cost LB: 684350 ... c Min unsat cost LB: 684546 ... c Min unsat cost LB: 684605 ... c Min unsat cost LB: 684609 ... c Min unsat cost LB: 684633 ... c Min unsat cost LB: 684805 ... c Min unsat cost LB: 684859 ... c Min unsat cost LB: 684878 ... c Min unsat cost LB: 684902 ... c Min unsat cost LB: 684946 ... c Min unsat cost LB: 685124 ... c Min unsat cost LB: 685168 ... c Min unsat cost LB: 685437 ... c Min unsat cost LB: 685567 ... c Min unsat cost LB: 685946 ... c Min unsat cost LB: 686044 ... c Min unsat cost LB: 686085 ... c Min unsat cost LB: 686232 ... c Min unsat cost LB: 686416 ... c Min unsat cost LB: 686514 ... c Min unsat cost LB: 686711 ... c Min unsat cost LB: 686737 ... c Min unsat cost LB: 686836 ... c Min unsat cost LB: 687032 ... c Min unsat cost LB: 687289 ... c Min unsat cost LB: 687387 ... c Min unsat cost LB: 687390 ... c Min unsat cost LB: 687618 ... c Min unsat cost LB: 687890 ... c Min unsat cost LB: 687951 ... c Min unsat cost LB: 687990 ... c Min unsat cost LB: 688171 ... c Min unsat cost LB: 688199 ... c Min unsat cost LB: 688276 ... c Min unsat cost LB: 688285 ... c Min unsat cost LB: 688378 ... c Min unsat cost LB: 688426 ... c Min unsat cost LB: 688484 ... c Min unsat cost LB: 688519 ... c Min unsat cost LB: 688523 ... c Min unsat cost LB: 688562 ... c Min unsat cost LB: 688670 ... c Min unsat cost LB: 688709 ... c Min unsat cost LB: 688711 ... c Min unsat cost LB: 688720 ... c Min unsat cost LB: 688724 ... c Min unsat cost LB: 688771 ... c Min unsat cost LB: 688777 ... c Min unsat cost LB: 688804 ... c Min unsat cost LB: 689027 ... c Min unsat cost LB: 689031 ... c Min unsat cost LB: 689105 ... c Min unsat cost LB: 689126 ... c Min unsat cost LB: 689177 ... c Min unsat cost LB: 689194 ... c Min unsat cost LB: 689206 ... c Min unsat cost LB: 689361 ... c Min unsat cost LB: 689428 ... c Min unsat cost LB: 689486 ... c Min unsat cost LB: 689527 ... c Min unsat cost LB: 689617 ... c Min unsat cost LB: 689681 ... c Min unsat cost LB: 689693 ... c Min unsat cost LB: 689734 ... c Min unsat cost LB: 689767 ... c Min unsat cost LB: 689877 ... c Min unsat cost LB: 689903 ... c Min unsat cost LB: 689910 ... c Min unsat cost LB: 690155 ... c Min unsat cost LB: 690205 ... c Min unsat cost LB: 690268 ... c Min unsat cost LB: 690307 ... c Min unsat cost LB: 690436 ... c Min unsat cost LB: 690661 ... c Min unsat cost LB: 690687 ... c Min unsat cost LB: 690770 ... c Min unsat cost LB: 690796 ... c Min unsat cost LB: 690855 ... c Min unsat cost LB: 690882 ... c Min unsat cost LB: 690942 ... c Min unsat cost LB: 691000 ... c Min unsat cost LB: 691053 ... c Min unsat cost LB: 691104 ... c Min unsat cost LB: 691136 ... c Min unsat cost LB: 691143 ... c Min unsat cost LB: 691176 ... c Min unsat cost LB: 691211 ... c Min unsat cost LB: 691249 ... c Min unsat cost LB: 691348 ... c Min unsat cost LB: 691609 ... c Min unsat cost LB: 691658 ... c Min unsat cost LB: 691892 ... c Min unsat cost LB: 691962 ... c Min unsat cost LB: 692131 ... c Min unsat cost LB: 692196 ... c Min unsat cost LB: 692262 ... c Min unsat cost LB: 692576 ... c Min unsat cost LB: 692800 ... c Min unsat cost LB: 692938 ... c Min unsat cost LB: 693061 ... c Min unsat cost LB: 693673 ... c Min unsat cost LB: 693967 ... c Min unsat cost LB: 694061 ... c Min unsat cost LB: 694100 ... c Min unsat cost LB: 694131 ... c Min unsat cost LB: 694209 ... c Min unsat cost LB: 694262 ... c Min unsat cost LB: 694297 ... c Min unsat cost LB: 694301 ... c Min unsat cost LB: 694471 ... c Min unsat cost LB: 694562 ... c Min unsat cost LB: 694598 ... c Min unsat cost LB: 694602 ... c Min unsat cost LB: 694649 ... c Min unsat cost LB: 694656 ... c Min unsat cost LB: 694704 ... c Min unsat cost LB: 694716 ... c Min unsat cost LB: 694742 ... c Min unsat cost LB: 694751 ... c Min unsat cost LB: 694790 ... c Min unsat cost LB: 694801 ... c Min unsat cost LB: 694814 ... c Min unsat cost LB: 694818 ... c Min unsat cost LB: 694837 ... c Min unsat cost LB: 694844 ... c Min unsat cost LB: 694849 ... c Min unsat cost LB: 694864 ... c Min unsat cost LB: 694960 ... c Min unsat cost LB: 695042 ... c Min unsat cost LB: 695045 ... c Min unsat cost LB: 695057 ... c Min unsat cost LB: 695063 ... c Min unsat cost LB: 695089 ... c Min unsat cost LB: 695101 ... c Min unsat cost LB: 695102 ... c Min unsat cost LB: 695128 ... c Min unsat cost LB: 695129 ... c Min unsat cost LB: 695146 ... c Min unsat cost LB: 695168 ... c Min unsat cost LB: 695180 ... c Min unsat cost LB: 695207 ... c Min unsat cost LB: 695246 ... c Min unsat cost LB: 695286 ... c Min unsat cost LB: 695355 ... c Min unsat cost LB: 695375 ... c Min unsat cost LB: 695384 ... c Min unsat cost LB: 695388 ... c Min unsat cost LB: 695392 ... c Min unsat cost LB: 695396 ... c Min unsat cost LB: 695407 ... c Min unsat cost LB: 695427 ... c Min unsat cost LB: 695463 ... c Min unsat cost LB: 695667 ... c Min unsat cost LB: 695683 ... c Min unsat cost LB: 695715 ... c Min unsat cost LB: 696072 ... c Min unsat cost LB: 696135 ... c Min unsat cost LB: 696157 ... c Min unsat cost LB: 696158 ... c Min unsat cost LB: 696230 ... c Min unsat cost LB: 696359 ... c Min unsat cost LB: 696398 ... c Min unsat cost LB: 696407 ... c Min unsat cost LB: 696464 ... c Min unsat cost LB: 696505 ... c Min unsat cost LB: 696531 ... c Min unsat cost LB: 696535 ... c Min unsat cost LB: 696585 ... c Min unsat cost LB: 696603 ... c Min unsat cost LB: 696654 ... c Min unsat cost LB: 696702 ... c Min unsat cost LB: 696704 ... c Min unsat cost LB: 696730 ... c Min unsat cost LB: 696792 ... c Min unsat cost LB: 696797 ... c Min unsat cost LB: 696886 ... c Min unsat cost LB: 696912 ... c Min unsat cost LB: 696926 ... c Min unsat cost LB: 696950 ... c Min unsat cost LB: 696951 ... c Min unsat cost LB: 696960 ... c Min unsat cost LB: 696984 ... c Min unsat cost LB: 696994 ... c Min unsat cost LB: 697018 ... c Min unsat cost LB: 697062 ... c Min unsat cost LB: 697171 ... c Min unsat cost LB: 697427 ... c Min unsat cost LB: 697447 ... c Min unsat cost LB: 697640 ... c Min unsat cost LB: 697665 ... c Min unsat cost LB: 697691 ... c Min unsat cost LB: 697765 ... c Min unsat cost LB: 697778 ... c Min unsat cost LB: 697830 ... c Min unsat cost LB: 697899 ... c Min unsat cost LB: 697926 ... c Min unsat cost LB: 697938 ... c Min unsat cost LB: 697976 ... c Min unsat cost LB: 697988 ... c Min unsat cost LB: 698030 ... c Min unsat cost LB: 698032 ... c Min unsat cost LB: 698035 ... c Min unsat cost LB: 698039 ... c Min unsat cost LB: 698071 ... c Min unsat cost LB: 698084 ... c Min unsat cost LB: 698103 ... c Min unsat cost LB: 698148 ... c Min unsat cost LB: 698200 ... c Min unsat cost LB: 698212 ... c Min unsat cost LB: 698213 ... c Min unsat cost LB: 698218 ... c Min unsat cost LB: 698245 ... c Min unsat cost LB: 698349 ... c Min unsat cost LB: 698362 ... c Min unsat cost LB: 698370 ... c Min unsat cost LB: 698599 ... c Min unsat cost LB: 698625 ... c Min unsat cost LB: 698664 ... c Min unsat cost LB: 698678 ... c Min unsat cost LB: 698683 ... c Min unsat cost LB: 698710 ... c Min unsat cost LB: 698722 ... c Min unsat cost LB: 698761 ... c Min unsat cost LB: 698842 ... c Min unsat cost LB: 698872 ... c Min unsat cost LB: 699373 ... c Min unsat cost LB: 699377 ... c Min unsat cost LB: 699384 ... c Min unsat cost LB: 699427 ... c Min unsat cost LB: 699623 ... c Min unsat cost LB: 699680 ... c Min unsat cost LB: 699699 ... c Min unsat cost LB: 699701 ... c Min unsat cost LB: 699708 ... c Min unsat cost LB: 699718 ... c Min unsat cost LB: 699719 ... c Min unsat cost LB: 699742 ... c Min unsat cost LB: 699774 ... c Min unsat cost LB: 699815 ... c Min unsat cost LB: 699816 ... c Min unsat cost LB: 699868 ... c Min unsat cost LB: 699873 ... c Min unsat cost LB: 699880 ... c Min unsat cost LB: 699907 ... c Min unsat cost LB: 699912 ... c Min unsat cost LB: 699914 ... c Min unsat cost LB: 699921 ... c Min unsat cost LB: 699964 ... c Min unsat cost LB: 699968 ... c Min unsat cost LB: 699976 ... c Min unsat cost LB: 699977 ... c Min unsat cost LB: 699980 ... c Min unsat cost LB: 699988 ... c Min unsat cost LB: 699990 ... c Min unsat cost LB: 700004 ... c Min unsat cost LB: 700008 ... c Min unsat cost LB: 700011 ... c Min unsat cost LB: 700015 ... c Min unsat cost LB: 700016 ... c Min unsat cost LB: 700017 ... c Min unsat cost LB: 700026 ... c Min unsat cost LB: 700034 ... c Min unsat cost LB: 700038 ... c Min unsat cost LB: 700046 ... c Min unsat cost LB: 700063 ... c Min unsat cost LB: 700065 ... c Min unsat cost LB: 700070 ... c Min unsat cost LB: 700080 ... c Min unsat cost LB: 700096 ... c Min unsat cost LB: 700102 ... c Min unsat cost LB: 700105 ... c Min unsat cost LB: 700123 ... c Min unsat cost LB: 700157 ... c Min unsat cost LB: 700183 ... c Min unsat cost LB: 700203 ... c Min unsat cost LB: 700212 ... c Min unsat cost LB: 700233 ... c Min unsat cost LB: 700235 ... c Min unsat cost LB: 700239 ... c Min unsat cost LB: 700246 ... c Min unsat cost LB: 700253 ... c Min unsat cost LB: 700260 ... c Min unsat cost LB: 700268 ... c Min unsat cost LB: 700274 ... c Min unsat cost LB: 700276 ... c Min unsat cost LB: 700289 ... c Min unsat cost LB: 700292 ... c Min unsat cost LB: 700306 ... c Min unsat cost LB: 700316 ... c Min unsat cost LB: 700320 ... c Min unsat cost LB: 700356 ... c Min unsat cost LB: 700373 ... c Min unsat cost LB: 700382 ... c Min unsat cost LB: 700384 ... c Min unsat cost LB: 700390 ... c Min unsat cost LB: 700394 ... c Min unsat cost LB: 700414 ... c Min unsat cost LB: 700422 ... c Min unsat cost LB: 700447 ... c Min unsat cost LB: 700451 ... c Min unsat cost LB: 700452 ... c Min unsat cost LB: 700457 ... c Min unsat cost LB: 700460 ... c Min unsat cost LB: 700469 ... c Min unsat cost LB: 700473 ... c Min unsat cost LB: 700477 ... c Min unsat cost LB: 700496 ... c Min unsat cost LB: 700509 ... c Min unsat cost LB: 700511 ... c Min unsat cost LB: 700522 ... c Min unsat cost LB: 700544 ... c Min unsat cost LB: 700549 ... c Min unsat cost LB: 700559 ... c Min unsat cost LB: 700566 ... c Min unsat cost LB: 700568 ... c Min unsat cost LB: 700569 ... c Min unsat cost LB: 700570 ... c Min unsat cost LB: 700577 ... c Min unsat cost LB: 700593 ... c Min unsat cost LB: 700610 ... c Min unsat cost LB: 700613 ... c Min unsat cost LB: 700625 ... c Min unsat cost LB: 700635 ... c Min unsat cost LB: 700637 ... c Min unsat cost LB: 700645 ... c Min unsat cost LB: 700646 ... c Min unsat cost LB: 700647 ... c Min unsat cost LB: 700648 ... c Min unsat cost LB: 700650 ... c Min unsat cost LB: 700653 ... c Min unsat cost LB: 700656 ... c Min unsat cost LB: 700659 ... c Min unsat cost LB: 700663 ... c Min unsat cost LB: 700664 ... c Min unsat cost LB: 700673 ... c Min unsat cost LB: 700680 ... c Min unsat cost LB: 700687 ... c Min unsat cost LB: 700723 ... c Min unsat cost LB: 700726 ... c Min unsat cost LB: 700759 ... c Min unsat cost LB: 700763 ... c Min unsat cost LB: 700782 ... c Min unsat cost LB: 700790 ... c Min unsat cost LB: 700812 ... c Min unsat cost LB: 700818 ... c Min unsat cost LB: 700822 ... c Min unsat cost LB: 700862 ... c Min unsat cost LB: 700866 ... c Min unsat cost LB: 700872 ... c Min unsat cost LB: 700878 ... c Min unsat cost LB: 700886 ... c Min unsat cost LB: 700887 ... c Min unsat cost LB: 700901 ... c Min unsat cost LB: 700905 ... c Min unsat cost LB: 700920 ... c Min unsat cost LB: 700929 ... c Min unsat cost LB: 700933 ... c Min unsat cost LB: 700935 ... c Min unsat cost LB: 700965 ... c Min unsat cost LB: 700971 ... c Min unsat cost LB: 700973 ... c Min unsat cost LB: 700988 ... c Min unsat cost LB: 700989 ... c Min unsat cost LB: 700993 ... c Min unsat cost LB: 700998 ... c Min unsat cost LB: 701003 ... c Min unsat cost LB: 701004 ... c Min unsat cost LB: 701017 ... c Min unsat cost LB: 701026 ... c Min unsat cost LB: 701027 ... c Min unsat cost LB: 701028 ... c Min unsat cost LB: 701033 ... c Min unsat cost LB: 701038 ... c Min unsat cost LB: 701043 ... c Min unsat cost LB: 701052 ... c Min unsat cost LB: 701066 ... c Min unsat cost LB: 701069 ... c Min unsat cost LB: 701075 ... c Min unsat cost LB: 701081 ... c Min unsat cost LB: 701086 ... c Min unsat cost LB: 701089 ... c Min unsat cost LB: 701100 ... c Min unsat cost LB: 701121 ... c Min unsat cost LB: 701127 ... c Min unsat cost LB: 701128 ... c Min unsat cost LB: 701143 ... c Min unsat cost LB: 701154 ... c Min unsat cost LB: 701191 ... c Min unsat cost LB: 701210 ... c Min unsat cost LB: 701211 ... c Min unsat cost LB: 701217 ... c Min unsat cost LB: 701219 ... c Min unsat cost LB: 701255 ... c Min unsat cost LB: 701264 ... c Min unsat cost LB: 701268 ... c Min unsat cost LB: 701275 ... c Min unsat cost LB: 701277 ... c Min unsat cost LB: 701287 ... c Min unsat cost LB: 701325 ... c Min unsat cost LB: 701331 ... c Min unsat cost LB: 701338 ... c Min unsat cost LB: 701349 ... c Min unsat cost LB: 701358 ... c Min unsat cost LB: 701359 ... c Min unsat cost LB: 701363 ... c Min unsat cost LB: 701370 ... c Min unsat cost LB: 701371 ... c Min unsat cost LB: 701379 ... c Min unsat cost LB: 701381 ... c Min unsat cost LB: 701382 ... c Min unsat cost LB: 701396 ... c Min unsat cost LB: 701404 ... c Min unsat cost LB: 701408 ... c Min unsat cost LB: 701426 ... c Min unsat cost LB: 701428 ... c Min unsat cost LB: 701435 ... c Min unsat cost LB: 701441 ... c Min unsat cost LB: 701444 ... c Min unsat cost LB: 701447 ... c Min unsat cost LB: 701448 ... c Min unsat cost LB: 701461 ... c Min unsat cost LB: 701462 ... c Min unsat cost LB: 701465 ... c Min unsat cost LB: 701482 ... c Min unsat cost LB: 701484 ... c Min unsat cost LB: 701526 ... c Min unsat cost LB: 701536 ... c Min unsat cost LB: 701547 ... c Min unsat cost LB: 701550 ... c Min unsat cost LB: 701551 ... c Min unsat cost LB: 701560 ... c Min unsat cost LB: 701562 ... c Min unsat cost LB: 701564 ... c Min unsat cost LB: 701567 ... c Min unsat cost LB: 701573 ... c Min unsat cost LB: 701578 ... c Min unsat cost LB: 701579 ... c Min unsat cost LB: 701585 ... c Min unsat cost LB: 701592 ... c Min unsat cost LB: 701595 ... c Min unsat cost LB: 701604 ... c Min unsat cost LB: 701606 ... c Min unsat cost LB: 701618 ... c Min unsat cost LB: 701623 ... c Min unsat cost LB: 701627 ... c Min unsat cost LB: 701629 ... c Min unsat cost LB: 701636 ... c Min unsat cost LB: 701652 ... c Min unsat cost LB: 701662 ... c Min unsat cost LB: 701664 ... c Min unsat cost LB: 701671 ... c Min unsat cost LB: 701675 ... c Min unsat cost LB: 701678 ... c Min unsat cost LB: 701684 ... c Min unsat cost LB: 701686 ... c Min unsat cost LB: 701696 ... c Min unsat cost LB: 701705 ... c Min unsat cost LB: 701709 ... c Min unsat cost LB: 701712 ... c Min unsat cost LB: 701715 ... c Min unsat cost LB: 701733 ... c Min unsat cost LB: 701736 ... c Min unsat cost LB: 701737 ... c Min unsat cost LB: 701739 ... c Min unsat cost LB: 701746 ... c Min unsat cost LB: 701750 ... c Min unsat cost LB: 701756 ... c Min unsat cost LB: 701761 ... c Min unsat cost LB: 701763 ... c Min unsat cost LB: 701768 ... c Min unsat cost LB: 701772 ... c Min unsat cost LB: 701775 ... c Min unsat cost LB: 701777 ... c Min unsat cost LB: 701778 ... c Min unsat cost LB: 701783 ... c Min unsat cost LB: 701784 ... c Min unsat cost LB: 701786 ... c Min unsat cost LB: 701787 ... c Min unsat cost LB: 701791 ... c Min unsat cost LB: 701794 ... c Min unsat cost LB: 701795 ... c Min unsat cost LB: 701798 ... c Min unsat cost LB: 701799 ... c Min unsat cost LB: 701803 ... c Min unsat cost LB: 701804 ... c Min unsat cost LB: 701806 ... c Min unsat cost LB: 701808 ... c Min unsat cost LB: 701814 ... c Min unsat cost LB: 701818 ... c Min unsat cost LB: 701819 ... c Min unsat cost LB: 701821 ... c Min unsat cost LB: 701822 ... c Min unsat cost LB: 701828 ... c Min unsat cost LB: 701830 ... c Min unsat cost LB: 701831 ... c Min unsat cost LB: 701833 ... c Min unsat cost LB: 701835 ... c Min unsat cost LB: 701837 ... c Min unsat cost LB: 701841 ... c Min unsat cost LB: 701842 ... c Min unsat cost LB: 701846 ... c Min unsat cost LB: 701848 ... c Min unsat cost LB: 701853 ... c Min unsat cost LB: 701854 ... c Min unsat cost LB: 701856 ... c Min unsat cost LB: 701865 ... c Min unsat cost LB: 701867 ... c Min unsat cost LB: 701869 ... c Min unsat cost LB: 701870 ... c Min unsat cost LB: 701872 ... c Min unsat cost LB: 701873 ... c Min unsat cost LB: 701876 ... c Min unsat cost LB: 701878 ... c Min unsat cost LB: 701879 ... c Min unsat cost LB: 701882 ... c Min unsat cost LB: 701886 ... c Min unsat cost LB: 701887 ... c Min unsat cost LB: 701888 ... c Min unsat cost LB: 701889 ... c Min unsat cost LB: 701891 ... c Min unsat cost LB: 701893 ... c Min unsat cost LB: 701899 ... c Min unsat cost LB: 701900 ... c Min unsat cost LB: 701903 ... c Min unsat cost LB: 701904 ... c Min unsat cost LB: 701907 ... c Min unsat cost LB: 701913 ... c Min unsat cost LB: 701915 ... c Min unsat cost LB: 701916 ... c Min unsat cost LB: 701919 ... c Min unsat cost LB: 701924 ... c Min unsat cost LB: 701926 ... c Min unsat cost LB: 701927 ... c Min unsat cost LB: 701928 ... c Min unsat cost LB: 701930 ... c Min unsat cost LB: 701935 ... c Min unsat cost LB: 701944 ... c Min unsat cost LB: 701945 ... c Min unsat cost LB: 701951 ... c Min unsat cost LB: 701952 ... c Min unsat cost LB: 701957 ... c Min unsat cost LB: 701961 ... c Min unsat cost LB: 701964 ... c Min unsat cost LB: 701969 ... c Min unsat cost LB: 701979 ... c Min unsat cost LB: 701984 ... c Min unsat cost LB: 701991 ... c Min unsat cost LB: 702003 ... c Min unsat cost LB: 702019 ... c Min unsat cost LB: 702021 ... c Min unsat cost LB: 702022 ... c Min unsat cost LB: 702025 ... c Min unsat cost LB: 702028 ... c Min unsat cost LB: 702029 ... c Min unsat cost LB: 702036 ... c Min unsat cost LB: 702044 ... c Min unsat cost LB: 702047 ... c Min unsat cost LB: 702048 ... c Min unsat cost LB: 702050 ... c Min unsat cost LB: 702056 ... c Min unsat cost LB: 702065 ... c Min unsat cost LB: 702066 ... c Min unsat cost LB: 702074 ... c Min unsat cost LB: 702081 ... c Min unsat cost LB: 702083 ... c Min unsat cost LB: 702101 ... c Min unsat cost LB: 702106 ... c Min unsat cost LB: 702110 ... c Min unsat cost LB: 702130 ... c Min unsat cost LB: 702157 ... c Min unsat cost LB: 702159 ... c Min unsat cost LB: 702162 ... c Min unsat cost LB: 702166 ... c Min unsat cost LB: 702174 ... c Min unsat cost LB: 702179 ... c Min unsat cost LB: 702195 ... c Min unsat cost LB: 702198 ... c Min unsat cost LB: 702200 ... c Min unsat cost LB: 702201 ... c Min unsat cost LB: 702214 ... c Min unsat cost LB: 702234 ... c Min unsat cost LB: 702248 ... c Min unsat cost LB: 702250 ... c Min unsat cost LB: 702254 ... c Min unsat cost LB: 702264 ... c Min unsat cost LB: 702269 ... c Min unsat cost LB: 702270 ... c Min unsat cost LB: 702271 ... c Min unsat cost LB: 702274 ... c Min unsat cost LB: 702280 ... c Min unsat cost LB: 702281 ... c Min unsat cost LB: 702284 ... c Min unsat cost LB: 702285 ... c Min unsat cost LB: 702286 ... c Min unsat cost LB: 702291 ... c Min unsat cost LB: 702294 ... c Min unsat cost LB: 702295 ... c Min unsat cost LB: 702305 ... c Min unsat cost LB: 702319 ... c Min unsat cost LB: 702320 ... c Min unsat cost LB: 702323 ... c Min unsat cost LB: 702326 ... c Min unsat cost LB: 702331 ... c Min unsat cost LB: 702332 ... c Min unsat cost LB: 702338 ... c Min unsat cost LB: 702340 ... c Min unsat cost LB: 702343 ... c Min unsat cost LB: 702347 ... c Min unsat cost LB: 702348 ... c Min unsat cost LB: 702351 ... c Min unsat cost LB: 702353 ... c Min unsat cost LB: 702354 ... c Min unsat cost LB: 702355 ... c Min unsat cost LB: 702356 ... c Min unsat cost LB: 702359 ... c Min unsat cost LB: 702365 ... c Min unsat cost LB: 702369 ... c Min unsat cost LB: 702371 ... c Min unsat cost LB: 702377 ... c Min unsat cost LB: 702379 ... c Min unsat cost LB: 702381 ... c Min unsat cost LB: 702382 ... c Min unsat cost LB: 702383 ... c Min unsat cost LB: 702385 ... c Min unsat cost LB: 702386 ... c Min unsat cost LB: 702393 ... c Min unsat cost LB: 702397 ... c Min unsat cost LB: 702399 ... c Min unsat cost LB: 702405 ... c Min unsat cost LB: 702406 ... c Min unsat cost LB: 702410 ... c Min unsat cost LB: 702413 ... c Min unsat cost LB: 702417 ... c Min unsat cost LB: 702418 ... c Min unsat cost LB: 702426 ... c Min unsat cost LB: 702457 ... c Min unsat cost LB: 702475 ... c Min unsat cost LB: 702476 ... c Min unsat cost LB: 702482 ... c Min unsat cost LB: 702493 ... c Min unsat cost LB: 702497 ... c Min unsat cost LB: 702498 ... c Min unsat cost LB: 702504 ... c Min unsat cost LB: 702509 ... c Min unsat cost LB: 702511 ... c Min unsat cost LB: 702513 ... c Min unsat cost LB: 702515 ... c Min unsat cost LB: 702516 ... c Min unsat cost LB: 702527 ... c Min unsat cost LB: 702530 ... c Min unsat cost LB: 702534 ... c Min unsat cost LB: 702537 ... c Min unsat cost LB: 702538 ... c Min unsat cost LB: 702545 ... c Min unsat cost LB: 702553 ... c Min unsat cost LB: 702588 ... c Min unsat cost LB: 702593 ... c Min unsat cost LB: 702595 ... c Min unsat cost LB: 702603 ... c Min unsat cost LB: 702605 ... c Min unsat cost LB: 702608 ... c Min unsat cost LB: 702609 ... c Min unsat cost LB: 702610 ... c Min unsat cost LB: 702617 ... c Min unsat cost LB: 702619 ... c Min unsat cost LB: 702621 ... c Min unsat cost LB: 702624 ... c Min unsat cost LB: 702627 ... c Min unsat cost LB: 702628 ... c Min unsat cost LB: 702636 ... c Min unsat cost LB: 702637 ... c Min unsat cost LB: 702639 ... c Min unsat cost LB: 702642 ... c Min unsat cost LB: 702643 ... c Min unsat cost LB: 702646 ... c Min unsat cost LB: 702648 ... c Min unsat cost LB: 702663 ... c Min unsat cost LB: 702670 ... c Min unsat cost LB: 702677 ... c Min unsat cost LB: 702679 ... c Min unsat cost LB: 702689 ... c Min unsat cost LB: 702692 ... c Min unsat cost LB: 702696 ... c Min unsat cost LB: 702697 ... c Min unsat cost LB: 702699 ... c Min unsat cost LB: 702704 ... c Min unsat cost LB: 702707 ... c Min unsat cost LB: 702712 ... c Min unsat cost LB: 702716 ... c Min unsat cost LB: 702717 ... c Min unsat cost LB: 702726 ... c Min unsat cost LB: 702734 ... c Min unsat cost LB: 702749 ... c Min unsat cost LB: 702752 ... c Min unsat cost LB: 702773 ... c Min unsat cost LB: 702776 ... c Min unsat cost LB: 702781 ... c Min unsat cost LB: 702784 ... c Min unsat cost LB: 702789 ... c Min unsat cost LB: 702793 ... c Min unsat cost LB: 702798 ... c Min unsat cost LB: 702804 ... c Min unsat cost LB: 702814 ... c Min unsat cost LB: 702817 ... c Min unsat cost LB: 702819 ... c Min unsat cost LB: 702822 ... c Min unsat cost LB: 702824 ... c Min unsat cost LB: 702828 ... c Min unsat cost LB: 702829 ... c Min unsat cost LB: 702830 ... c Min unsat cost LB: 702832 ... c Min unsat cost LB: 702837 ... c Min unsat cost LB: 702838 ... c Min unsat cost LB: 702842 ... c Min unsat cost LB: 702848 ... c Min unsat cost LB: 702852 ... c Min unsat cost LB: 702853 ... c Min unsat cost LB: 702856 ... c Min unsat cost LB: 702857 ... c Min unsat cost LB: 702868 ... c Min unsat cost LB: 702870 ... c Min unsat cost LB: 702874 ... c Min unsat cost LB: 702875 ... c Min unsat cost LB: 702877 ... c Min unsat cost LB: 702881 ... c Min unsat cost LB: 702885 ... c Min unsat cost LB: 702888 ... c Min unsat cost LB: 702894 ... c Min unsat cost LB: 702896 ... c Min unsat cost LB: 702897 ... c Min unsat cost LB: 702899 ... c Min unsat cost LB: 702923 ... c Min unsat cost LB: 702929 ... c Min unsat cost LB: 702938 ... c Min unsat cost LB: 702940 ... c Min unsat cost LB: 702942 ... c Min unsat cost LB: 702951 ... c Min unsat cost LB: 702967 ... c Min unsat cost LB: 702968 ... c Min unsat cost LB: 702969 ... c Min unsat cost LB: 702970 ... c Min unsat cost LB: 702984 ... c Min unsat cost LB: 702985 ... c Min unsat cost LB: 702986 ... c Min unsat cost LB: 702987 ... c Min unsat cost LB: 702990 ... c Min unsat cost LB: 702991 ... c Min unsat cost LB: 702996 ... c Min unsat cost LB: 702999 ... c Min unsat cost LB: 703001 ... c Min unsat cost LB: 703003 ... c Min unsat cost LB: 703006 ... c Min unsat cost LB: 703009 ... c Min unsat cost LB: 703011 ... c Min unsat cost LB: 703012 ... c Min unsat cost LB: 703017 ... c Min unsat cost LB: 703020 ... c Min unsat cost LB: 703023 ... c Min unsat cost LB: 703027 ... c Min unsat cost LB: 703028 ... c Min unsat cost LB: 703029 ... c Min unsat cost LB: 703030 ... c Min unsat cost LB: 703032 ... c Min unsat cost LB: 703043 ... c Min unsat cost LB: 703046 ... c Min unsat cost LB: 703049 ... c Min unsat cost LB: 703051 ... c Min unsat cost LB: 703054 ... c Min unsat cost LB: 703056 ... c Min unsat cost LB: 703057 ... c Min unsat cost LB: 703060 ... c Min unsat cost LB: 703065 ... c Min unsat cost LB: 703066 ... c Min unsat cost LB: 703069 ... c Min unsat cost LB: 703073 ... c Min unsat cost LB: 703077 ... c Min unsat cost LB: 703083 ... c Min unsat cost LB: 703085 ... c Min unsat cost LB: 703086 ... c Min unsat cost LB: 703092 ... c Min unsat cost LB: 703093 ... c Min unsat cost LB: 703095 ... c Min unsat cost LB: 703097 ... c Min unsat cost LB: 703098 ... c Min unsat cost LB: 703105 ... c Min unsat cost LB: 703115 ... c Min unsat cost LB: 703119 ... c Min unsat cost LB: 703122 ... c Min unsat cost LB: 703125 ... c Min unsat cost LB: 703126 ... c Min unsat cost LB: 703129 ... c Min unsat cost LB: 703133 ... c Min unsat cost LB: 703134 ... c Min unsat cost LB: 703139 ... c Min unsat cost LB: 703141 ... c Min unsat cost LB: 703142 ... c Min unsat cost LB: 703146 ... c Min unsat cost LB: 703147 ... c Min unsat cost LB: 703155 ... c Min unsat cost LB: 703159 ... c Min unsat cost LB: 703163 ... c Min unsat cost LB: 703171 ... c Min unsat cost LB: 703173 ... c Min unsat cost LB: 703175 ... c Min unsat cost LB: 703177 ... c Min unsat cost LB: 703184 ... c Min unsat cost LB: 703188 ... c Min unsat cost LB: 703190 ... c Min unsat cost LB: 703191 ... c Min unsat cost LB: 703193 ... c Min unsat cost LB: 703198 ... c Min unsat cost LB: 703200 ... c Min unsat cost LB: 703203 ... c Min unsat cost LB: 703206 ... c Min unsat cost LB: 703210 ... c Min unsat cost LB: 703212 ... c Min unsat cost LB: 703214 ... c Min unsat cost LB: 703216 ... c Min unsat cost LB: 703228 ... c Min unsat cost LB: 703235 ... c Min unsat cost LB: 703240 ... c Min unsat cost LB: 703254 ... c Min unsat cost LB: 703255 ... c Min unsat cost LB: 703257 ... c Min unsat cost LB: 703268 ... c Min unsat cost LB: 703293 ... c Min unsat cost LB: 703303 ... c Min unsat cost LB: 703311 ... c Min unsat cost LB: 703312 ... c Min unsat cost LB: 703314 ... c Min unsat cost LB: 703315 ... c Min unsat cost LB: 703316 ... c Min unsat cost LB: 703319 ... c Min unsat cost LB: 703323 ... c Min unsat cost LB: 703329 ... c Min unsat cost LB: 703330 ... c Min unsat cost LB: 703331 ... c Min unsat cost LB: 703333 ... c Min unsat cost LB: 703334 ... c Min unsat cost LB: 703336 ... c Min unsat cost LB: 703359 ... c Min unsat cost LB: 703370 ... c Min unsat cost LB: 703373 ... c Min unsat cost LB: 703394 ... c Min unsat cost LB: 703396 ... c Min unsat cost LB: 703407 ... c Min unsat cost LB: 703410 ... c Min unsat cost LB: 703412 ... c Min unsat cost LB: 703414 ... c Min unsat cost LB: 703420 ... c Min unsat cost LB: 703423 ... c Min unsat cost LB: 703424 ... c Min unsat cost LB: 703428 ... c Min unsat cost LB: 703429 ... c Min unsat cost LB: 703431 ... c Min unsat cost LB: 703432 ... c Min unsat cost LB: 703436 ... c Min unsat cost LB: 703437 ... c Min unsat cost LB: 703446 ... c Min unsat cost LB: 703448 ... c Min unsat cost LB: 703451 ... c Min unsat cost LB: 703461 ... c Min unsat cost LB: 703464 ... c Min unsat cost LB: 703472 ... c Min unsat cost LB: 703473 ... c Min unsat cost LB: 703477 ... c Min unsat cost LB: 703478 ... c Min unsat cost LB: 703481 ... c Min unsat cost LB: 703485 ... c Min unsat cost LB: 703486 ... c Min unsat cost LB: 703487 ... c Min unsat cost LB: 703488 ... c Min unsat cost LB: 703490 ... c Min unsat cost LB: 703492 ... c Min unsat cost LB: 703495 ... c Min unsat cost LB: 703498 ... c Min unsat cost LB: 703501 ... c Min unsat cost LB: 703504 ... c Min unsat cost LB: 703510 ... c Min unsat cost LB: 703517 ... c Min unsat cost LB: 703518 ... c Min unsat cost LB: 703519 ... c Min unsat cost LB: 703522 ... c Min unsat cost LB: 703523 ... c Min unsat cost LB: 703526 ... c Min unsat cost LB: 703530 ... c Min unsat cost LB: 703534 ... c Min unsat cost LB: 703540 ... c Min unsat cost LB: 703541 ... c Min unsat cost LB: 703542 ... c Min unsat cost LB: 703546 ... c Min unsat cost LB: 703547 ... c Min unsat cost LB: 703552 ... c Min unsat cost LB: 703554 ... c Min unsat cost LB: 703555 ... c Min unsat cost LB: 703558 ... c Min unsat cost LB: 703559 ... c Min unsat cost LB: 703561 ... c Min unsat cost LB: 703562 ... c Min unsat cost LB: 703563 ... Killed 1768.301u 51.464s 30:23.76 99.7% 0+0k 0+0io 0pf+0w