Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_100_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0005.txt.wcnf *** c c Min unsat cost LB: 643 ... c Min unsat cost LB: 1574 ... c Min unsat cost LB: 1840 ... c Min unsat cost LB: 2771 ... c Min unsat cost LB: 2984 ... c Min unsat cost LB: 3206 ... c Min unsat cost LB: 3351 ... c Min unsat cost LB: 4282 ... c Min unsat cost LB: 4885 ... c Min unsat cost LB: 5528 ... c Min unsat cost LB: 6249 ... c Min unsat cost LB: 7011 ... c Min unsat cost LB: 7509 ... c Min unsat cost LB: 8480 ... c Min unsat cost LB: 8658 ... c Min unsat cost LB: 8827 ... c Min unsat cost LB: 9480 ... c Min unsat cost LB: 10451 ... c Min unsat cost LB: 10968 ... c Min unsat cost LB: 11065 ... c Min unsat cost LB: 11730 ... c Min unsat cost LB: 11997 ... c Min unsat cost LB: 12485 ... c Min unsat cost LB: 13103 ... c Min unsat cost LB: 13780 ... c Min unsat cost LB: 14495 ... c Min unsat cost LB: 14665 ... c Min unsat cost LB: 15210 ... c Min unsat cost LB: 15766 ... c Min unsat cost LB: 15885 ... c Min unsat cost LB: 15932 ... c Min unsat cost LB: 16149 ... c Min unsat cost LB: 16208 ... c Min unsat cost LB: 16458 ... c Min unsat cost LB: 17111 ... c Min unsat cost LB: 17435 ... c Min unsat cost LB: 17873 ... c Min unsat cost LB: 18790 ... c Min unsat cost LB: 19443 ... c Min unsat cost LB: 20431 ... c Min unsat cost LB: 20772 ... c Min unsat cost LB: 20968 ... c Min unsat cost LB: 21185 ... c Min unsat cost LB: 21408 ... c Min unsat cost LB: 21896 ... c Min unsat cost LB: 22546 ... c Min unsat cost LB: 22623 ... c Min unsat cost LB: 22950 ... c Min unsat cost LB: 23598 ... c Min unsat cost LB: 24065 ... c Min unsat cost LB: 24546 ... c Min unsat cost LB: 25027 ... c Min unsat cost LB: 25033 ... c Min unsat cost LB: 25191 ... c Min unsat cost LB: 25535 ... c Min unsat cost LB: 25615 ... c Min unsat cost LB: 25869 ... c Min unsat cost LB: 26522 ... c Min unsat cost LB: 27510 ... c Min unsat cost LB: 27837 ... c Min unsat cost LB: 28196 ... c Min unsat cost LB: 28805 ... c Min unsat cost LB: 29414 ... c Min unsat cost LB: 29760 ... c Min unsat cost LB: 30140 ... c Min unsat cost LB: 30609 ... c Min unsat cost LB: 30615 ... c Min unsat cost LB: 31084 ... c Min unsat cost LB: 31522 ... c Min unsat cost LB: 31907 ... c Min unsat cost LB: 32491 ... c Min unsat cost LB: 32517 ... c Min unsat cost LB: 32568 ... c Min unsat cost LB: 32736 ... c Min unsat cost LB: 32879 ... c Min unsat cost LB: 32987 ... c Min unsat cost LB: 33425 ... c Min unsat cost LB: 33533 ... c Min unsat cost LB: 33558 ... c Min unsat cost LB: 33635 ... c Min unsat cost LB: 33655 ... c Min unsat cost LB: 33705 ... c Min unsat cost LB: 33813 ... c Min unsat cost LB: 33908 ... c Min unsat cost LB: 34158 ... c Min unsat cost LB: 34217 ... c Min unsat cost LB: 34373 ... c Min unsat cost LB: 34586 ... c Min unsat cost LB: 34590 ... c Min unsat cost LB: 34986 ... c Min unsat cost LB: 35037 ... c Min unsat cost LB: 35117 ... c Min unsat cost LB: 35147 ... c Min unsat cost LB: 35287 ... c Min unsat cost LB: 35453 ... c Min unsat cost LB: 35598 ... c Min unsat cost LB: 35610 ... c Min unsat cost LB: 35733 ... c Min unsat cost LB: 35813 ... c Min unsat cost LB: 35957 ... c Min unsat cost LB: 36041 ... c Min unsat cost LB: 36091 ... c Min unsat cost LB: 36281 ... c Min unsat cost LB: 36335 ... c Min unsat cost LB: 36340 ... c Min unsat cost LB: 36376 ... c Min unsat cost LB: 36483 ... c Min unsat cost LB: 36508 ... c Min unsat cost LB: 36539 ... c Min unsat cost LB: 36598 ... c Min unsat cost LB: 36706 ... c Min unsat cost LB: 36866 ... c Min unsat cost LB: 36912 ... c Min unsat cost LB: 36963 ... c Min unsat cost LB: 36989 ... c Min unsat cost LB: 37026 ... c Min unsat cost LB: 37034 ... c Min unsat cost LB: 37279 ... c Min unsat cost LB: 37715 ... c Min unsat cost LB: 38196 ... c Min unsat cost LB: 38202 ... c Min unsat cost LB: 38324 ... c Min unsat cost LB: 38424 ... c Min unsat cost LB: 38693 ... c Min unsat cost LB: 38757 ... c Min unsat cost LB: 38938 ... c Min unsat cost LB: 38984 ... c Min unsat cost LB: 38996 ... c Min unsat cost LB: 39001 ... c Min unsat cost LB: 39032 ... c Min unsat cost LB: 39068 ... c Min unsat cost LB: 39108 ... c Min unsat cost LB: 39118 ... c Min unsat cost LB: 39350 ... c Min unsat cost LB: 39442 ... c Min unsat cost LB: 39489 ... c Min unsat cost LB: 39511 ... c Min unsat cost LB: 39538 ... c Min unsat cost LB: 39541 ... c Min unsat cost LB: 39677 ... c Min unsat cost LB: 39877 ... c Min unsat cost LB: 40094 ... c Min unsat cost LB: 40103 ... c Min unsat cost LB: 40150 ... c Min unsat cost LB: 40481 ... c Min unsat cost LB: 40657 ... c Min unsat cost LB: 40680 ... c Min unsat cost LB: 40688 ... c Min unsat cost LB: 40698 ... c Min unsat cost LB: 40730 ... c Min unsat cost LB: 40780 ... c Min unsat cost LB: 40861 ... c Min unsat cost LB: 40908 ... c Min unsat cost LB: 40976 ... c Min unsat cost LB: 40992 ... c Min unsat cost LB: 41009 ... c Min unsat cost LB: 41021 ... c Min unsat cost LB: 41072 ... c Min unsat cost LB: 41105 ... c Min unsat cost LB: 41109 ... c Min unsat cost LB: 41134 ... c Min unsat cost LB: 41148 ... c Min unsat cost LB: 41158 ... c Min unsat cost LB: 41160 ... c Min unsat cost LB: 41219 ... c Min unsat cost LB: 41303 ... c Min unsat cost LB: 41312 ... c Min unsat cost LB: 41328 ... c Min unsat cost LB: 41339 ... c Min unsat cost LB: 41476 ... c Min unsat cost LB: 41611 ... c Min unsat cost LB: 41680 ... c Min unsat cost LB: 41769 ... c Min unsat cost LB: 41944 ... c Min unsat cost LB: 41988 ... c Min unsat cost LB: 41994 ... c Min unsat cost LB: 41997 ... c Min unsat cost LB: 42088 ... c Min unsat cost LB: 42561 ... c Min unsat cost LB: 42598 ... c Min unsat cost LB: 42630 ... c Min unsat cost LB: 42759 ... c Min unsat cost LB: 42770 ... c Min unsat cost LB: 42796 ... c Min unsat cost LB: 42830 ... c Min unsat cost LB: 42937 ... c Min unsat cost LB: 43087 ... c Min unsat cost LB: 43232 ... c Min unsat cost LB: 43236 ... c Min unsat cost LB: 43244 ... c Min unsat cost LB: 43269 ... c Min unsat cost LB: 43322 ... c Min unsat cost LB: 43404 ... c Min unsat cost LB: 43465 ... c Min unsat cost LB: 43502 ... c Min unsat cost LB: 43524 ... c Min unsat cost LB: 43565 ... c Min unsat cost LB: 43588 ... c Min unsat cost LB: 43594 ... c Min unsat cost LB: 43624 ... c Min unsat cost LB: 43654 ... c Min unsat cost LB: 43655 ... c Min unsat cost LB: 43660 ... c Min unsat cost LB: 43670 ... c Min unsat cost LB: 43706 ... c Min unsat cost LB: 43707 ... c Min unsat cost LB: 43753 ... c Min unsat cost LB: 43776 ... c Min unsat cost LB: 43784 ... c Min unsat cost LB: 43799 ... c Min unsat cost LB: 43809 ... c Min unsat cost LB: 43811 ... c Min unsat cost LB: 43823 ... c Min unsat cost LB: 43825 ... c Min unsat cost LB: 43839 ... c Min unsat cost LB: 43840 ... c Min unsat cost LB: 43856 ... c Min unsat cost LB: 43862 ... c Min unsat cost LB: 43868 ... c Min unsat cost LB: 43881 ... c Min unsat cost LB: 43898 ... c Min unsat cost LB: 44020 ... c Min unsat cost LB: 44022 ... c Min unsat cost LB: 44055 ... c Min unsat cost LB: 44102 ... c Min unsat cost LB: 44106 ... c Min unsat cost LB: 44110 ... c Min unsat cost LB: 44116 ... c Min unsat cost LB: 44132 ... c Min unsat cost LB: 44172 ... c Min unsat cost LB: 44173 ... c Min unsat cost LB: 44176 ... c Min unsat cost LB: 44223 ... c Min unsat cost LB: 44255 ... c Min unsat cost LB: 44260 ... c Min unsat cost LB: 44270 ... c Min unsat cost LB: 44300 ... c Min unsat cost LB: 44306 ... c Min unsat cost LB: 44313 ... c Min unsat cost LB: 44489 ... c Min unsat cost LB: 44493 ... c Min unsat cost LB: 44515 ... c Min unsat cost LB: 44517 ... c Min unsat cost LB: 44519 ... c Min unsat cost LB: 44541 ... c Min unsat cost LB: 44555 ... c Min unsat cost LB: 44558 ... c Min unsat cost LB: 44563 ... c Min unsat cost LB: 44564 ... c Min unsat cost LB: 44586 ... c Min unsat cost LB: 44610 ... c Min unsat cost LB: 44612 ... c Min unsat cost LB: 44618 ... c Min unsat cost LB: 44632 ... c Min unsat cost LB: 44636 ... c Min unsat cost LB: 44642 ... c Min unsat cost LB: 44643 ... c Min unsat cost LB: 44661 ... c Min unsat cost LB: 44664 ... c Min unsat cost LB: 44668 ... c Min unsat cost LB: 44694 ... c Min unsat cost LB: 44698 ... c Min unsat cost LB: 44737 ... c Min unsat cost LB: 44749 ... c Min unsat cost LB: 44766 ... c Min unsat cost LB: 44789 ... c Min unsat cost LB: 44812 ... c Min unsat cost LB: 44813 ... c Min unsat cost LB: 44814 ... c Min unsat cost LB: 44818 ... c Min unsat cost LB: 44822 ... c Min unsat cost LB: 44823 ... c Min unsat cost LB: 44824 ... c Min unsat cost LB: 44825 ... c Min unsat cost LB: 44836 ... c Min unsat cost LB: 44845 ... c Min unsat cost LB: 44850 ... c Min unsat cost LB: 44862 ... c Min unsat cost LB: 44864 ... c Min unsat cost LB: 44865 ... c Min unsat cost LB: 44866 ... c Min unsat cost LB: 44869 ... c Min unsat cost LB: 44870 ... c Min unsat cost LB: 44880 ... c Min unsat cost LB: 44881 ... c Min unsat cost LB: 44883 ... c Min unsat cost LB: 44900 ... c Min unsat cost LB: 44901 ... c Min unsat cost LB: 44915 ... c Min unsat cost LB: 44916 ... c Min unsat cost LB: 44926 ... c Min unsat cost LB: 44929 ... c Min unsat cost LB: 44934 ... c Min unsat cost LB: 44936 ... c Min unsat cost LB: 44938 ... c Min unsat cost LB: 44942 ... c Min unsat cost LB: 44944 ... c Min unsat cost LB: 44946 ... c Min unsat cost LB: 44948 ... c Min unsat cost LB: 44949 ... c Min unsat cost LB: 44955 ... c Min unsat cost LB: 44962 ... c Min unsat cost LB: 44969 ... c Min unsat cost LB: 44980 ... c Min unsat cost LB: 44981 ... c Min unsat cost LB: 44982 ... c Min unsat cost LB: 44983 ... c Min unsat cost LB: 44984 ... c Min unsat cost LB: 44985 ... c Min unsat cost LB: 44986 ... c Min unsat cost LB: 44988 ... c Min unsat cost LB: 44992 ... c Min unsat cost LB: 45002 ... c Min unsat cost LB: 45124 ... c Min unsat cost LB: 45126 ... c Min unsat cost LB: 45131 ... c Min unsat cost LB: 45132 ... c Min unsat cost LB: 45133 ... c Min unsat cost LB: 45137 ... c Min unsat cost LB: 45138 ... c Min unsat cost LB: 45148 ... c Min unsat cost LB: 45150 ... c Min unsat cost LB: 45151 ... c Min unsat cost LB: 45152 ... c Min unsat cost LB: 45153 ... c Min unsat cost LB: 45154 ... c Min unsat cost LB: 45155 ... c Min unsat cost LB: 45156 ... c Min unsat cost LB: 45157 ... c Min unsat cost LB: 45158 ... c Min unsat cost LB: 45159 ... c Min unsat cost LB: 45160 ... c Min unsat cost LB: 45161 ... c Min unsat cost LB: 45164 ... c Min unsat cost LB: 45167 ... c Min unsat cost LB: 45172 ... c Min unsat cost LB: 45179 ... c Min unsat cost LB: 45294 ... c Min unsat cost LB: 45295 ... c Min unsat cost LB: 45296 ... c Min unsat cost LB: 45297 ... c Min unsat cost LB: 45298 ... c Min unsat cost LB: 45299 ... c Min unsat cost LB: 45300 ... c Min unsat cost LB: 45301 ... c Min unsat cost LB: 45302 ... c Min unsat cost LB: 45303 ... c Min unsat cost LB: 45304 ... c Min unsat cost LB: 45305 ... c Min unsat cost LB: 45306 ... c Min unsat cost LB: 45307 ... c Min unsat cost LB: 45308 ... c Min unsat cost LB: 45309 ... c Min unsat cost LB: 45311 ... c Min unsat cost LB: 45312 ... c Min unsat cost LB: 45313 ... c Min unsat cost LB: 45314 ... c Min unsat cost LB: 45315 ... c Min unsat cost LB: 45316 ... c Min unsat cost LB: 45317 ... c Min unsat cost LB: 45320 ... c Min unsat cost LB: 45321 ... c Min unsat cost LB: 45324 ... c Min unsat cost LB: 45325 ... c Min unsat cost LB: 45329 ... c Min unsat cost LB: 45330 ... c Min unsat cost LB: 45332 ... c Min unsat cost LB: 45333 ... c Min unsat cost LB: 45334 ... c Min unsat cost LB: 45339 ... c Min unsat cost LB: 45340 ... c Min unsat cost LB: 45341 ... c Min unsat cost LB: 45344 ... c Min unsat cost LB: 45346 ... c Min unsat cost LB: 45347 ... c Min unsat cost LB: 45351 ... c Min unsat cost LB: 45353 ... c Min unsat cost LB: 45361 ... c Min unsat cost LB: 45366 ... c Min unsat cost LB: 45367 ... c Min unsat cost LB: 45371 ... c Min unsat cost LB: 45373 ... c Min unsat cost LB: 45374 ... c Min unsat cost LB: 45376 ... c Min unsat cost LB: 45377 ... c Min unsat cost LB: 45378 ... c Min unsat cost LB: 45384 ... c Min unsat cost LB: 45396 ... c Min unsat cost LB: 45397 ... c Min unsat cost LB: 45409 ... c Min unsat cost LB: 45410 ... c Min unsat cost LB: 45411 ... c Min unsat cost LB: 45412 ... c Min unsat cost LB: 45416 ... c Min unsat cost LB: 45417 ... c Min unsat cost LB: 45421 ... c Min unsat cost LB: 45422 ... c Min unsat cost LB: 45427 ... c Min unsat cost LB: 45428 ... c Min unsat cost LB: 45430 ... c Min unsat cost LB: 45431 ... c Min unsat cost LB: 45438 ... c Min unsat cost LB: 45439 ... c Min unsat cost LB: 45446 ... c Min unsat cost LB: 45459 ... c Min unsat cost LB: 45460 ... c Min unsat cost LB: 45461 ... c Min unsat cost LB: 45462 ... c Min unsat cost LB: 45463 ... c Min unsat cost LB: 45464 ... c Min unsat cost LB: 45465 ... c Min unsat cost LB: 45466 ... c Min unsat cost LB: 45467 ... c Min unsat cost LB: 45468 ... c Min unsat cost LB: 45472 ... c Min unsat cost LB: 45486 ... c Min unsat cost LB: 45497 ... c Min unsat cost LB: 45498 ... c Min unsat cost LB: 45589 ... c Min unsat cost LB: 45593 ... c Min unsat cost LB: 45594 ... c Min unsat cost LB: 45604 ... c Min unsat cost LB: 45605 ... c Min unsat cost LB: 45606 ... c Min unsat cost LB: 45607 ... c Min unsat cost LB: 45608 ... c Min unsat cost LB: 45609 ... c Min unsat cost LB: 45610 ... c Min unsat cost LB: 45611 ... c Min unsat cost LB: 45613 ... c Min unsat cost LB: 45614 ... c Min unsat cost LB: 45615 ... c Min unsat cost LB: 45616 ... c Min unsat cost LB: 45618 ... c Min unsat cost LB: 45619 ... c Min unsat cost LB: 45621 ... c Min unsat cost LB: 45629 ... c Min unsat cost LB: 45631 ... c Min unsat cost LB: 45633 ... c Min unsat cost LB: 45635 ... c Min unsat cost LB: 45637 ... c Min unsat cost LB: 45642 ... c Min unsat cost LB: 45644 ... c Min unsat cost LB: 45645 ... c Min unsat cost LB: 45646 ... c Min unsat cost LB: 45648 ... c Min unsat cost LB: 45651 ... c Min unsat cost LB: 45652 ... c Min unsat cost LB: 45654 ... c Min unsat cost LB: 45656 ... c Min unsat cost LB: 45657 ... c Min unsat cost LB: 45659 ... c Min unsat cost LB: 45660 ... c Min unsat cost LB: 45661 ... c Min unsat cost LB: 45663 ... c Min unsat cost LB: 45664 ... c Min unsat cost LB: 45665 ... c Min unsat cost LB: 45666 ... c Min unsat cost LB: 45667 ... c Min unsat cost LB: 45670 ... c Min unsat cost LB: 45680 ... c Min unsat cost LB: 45681 ... c Min unsat cost LB: 45682 ... c Min unsat cost LB: 45683 ... c Min unsat cost LB: 45684 ... c Min unsat cost LB: 45685 ... c Min unsat cost LB: 45686 ... c Min unsat cost LB: 45687 ... c Min unsat cost LB: 45688 ... c Min unsat cost LB: 45689 ... c Min unsat cost LB: 45694 ... c Min unsat cost LB: 45695 ... c Min unsat cost LB: 45696 ... c Min unsat cost LB: 45699 ... c Min unsat cost LB: 45700 ... c Min unsat cost LB: 45701 ... c Min unsat cost LB: 45710 ... c Min unsat cost LB: 45719 ... c Min unsat cost LB: 45720 ... c Min unsat cost LB: 45724 ... c Min unsat cost LB: 45725 ... c Min unsat cost LB: 45726 ... c Min unsat cost LB: 45727 ... c Min unsat cost LB: 45728 ... c Min unsat cost LB: 45729 ... c Min unsat cost LB: 45730 ... c Min unsat cost LB: 45731 ... c Min unsat cost LB: 45733 ... c Min unsat cost LB: 45734 ... c Min unsat cost LB: 45735 ... c Min unsat cost LB: 45737 ... c Min unsat cost LB: 45738 ... c Min unsat cost LB: 45739 ... c Min unsat cost LB: 45740 ... c Min unsat cost LB: 45741 ... c Min unsat cost LB: 45744 ... c Min unsat cost LB: 45745 ... c Min unsat cost LB: 45746 ... c Min unsat cost LB: 45747 ... c Min unsat cost LB: 45748 ... c Min unsat cost LB: 45749 ... c Min unsat cost LB: 45750 ... c Min unsat cost LB: 45751 ... c Min unsat cost LB: 45753 ... c Min unsat cost LB: 45754 ... c Min unsat cost LB: 45755 ... c Min unsat cost LB: 45756 ... c Min unsat cost LB: 45757 ... c Min unsat cost LB: 45758 ... c Min unsat cost LB: 45759 ... c Min unsat cost LB: 45760 ... c Min unsat cost LB: 45761 ... c Min unsat cost LB: 45762 ... c Min unsat cost LB: 45763 ... c Min unsat cost LB: 45764 ... c Min unsat cost LB: 45767 ... c Min unsat cost LB: 45768 ... c Min unsat cost LB: 45769 ... c Min unsat cost LB: 45771 ... c Min unsat cost LB: 45773 ... c Min unsat cost LB: 45774 ... c Min unsat cost LB: 45775 ... c Min unsat cost LB: 45776 ... c Min unsat cost LB: 45777 ... c Min unsat cost LB: 45785 ... c Min unsat cost LB: 45786 ... c Min unsat cost LB: 45817 ... c Min unsat cost LB: 45819 ... c Min unsat cost LB: 45822 ... c Min unsat cost LB: 45824 ... c Min unsat cost LB: 45835 ... c Min unsat cost LB: 45836 ... c Min unsat cost LB: 45837 ... c Min unsat cost LB: 45838 ... c Min unsat cost LB: 45839 ... c Min unsat cost LB: 45840 ... c Min unsat cost LB: 45841 ... c Min unsat cost LB: 45842 ... c Min unsat cost LB: 45843 ... c Min unsat cost LB: 45844 ... c Min unsat cost LB: 45845 ... c Min unsat cost LB: 45846 ... c Min unsat cost LB: 45847 ... c Min unsat cost LB: 45848 ... c Min unsat cost LB: 45849 ... c Min unsat cost LB: 45850 ... c Min unsat cost LB: 45851 ... c Min unsat cost LB: 45852 ... c Min unsat cost LB: 45853 ... c Min unsat cost LB: 45854 ... c Min unsat cost LB: 45855 ... c Min unsat cost LB: 45856 ... c Min unsat cost LB: 45857 ... c Min unsat cost LB: 45876 ... c Min unsat cost LB: 45895 ... c Min unsat cost LB: 45896 ... c Min unsat cost LB: 45897 ... c Min unsat cost LB: 45898 ... c Min unsat cost LB: 45904 ... c Min unsat cost LB: 45905 ... c Min unsat cost LB: 45908 ... c Min unsat cost LB: 45909 ... c Min unsat cost LB: 45912 ... c Min unsat cost LB: 45915 ... c Min unsat cost LB: 45917 ... c Min unsat cost LB: 45918 ... c Min unsat cost LB: 45919 ... c Min unsat cost LB: 45920 ... c Min unsat cost LB: 45921 ... c Min unsat cost LB: 45922 ... c Min unsat cost LB: 45923 ... c Min unsat cost LB: 45924 ... c Min unsat cost LB: 45925 ... c Min unsat cost LB: 45926 ... c Min unsat cost LB: 45927 ... c Min unsat cost LB: 45928 ... c Min unsat cost LB: 45929 ... c Min unsat cost LB: 45930 ... c Min unsat cost LB: 45931 ... c Min unsat cost LB: 45932 ... c Min unsat cost LB: 45933 ... c Min unsat cost LB: 45934 ... c Min unsat cost LB: 45935 ... c Min unsat cost LB: 45936 ... c Min unsat cost LB: 45937 ... c Min unsat cost LB: 45938 ... c Min unsat cost LB: 45939 ... c Min unsat cost LB: 45940 ... c Min unsat cost LB: 45941 ... c Min unsat cost LB: 45942 ... c Min unsat cost LB: 45943 ... c Min unsat cost LB: 45945 ... c Min unsat cost LB: 45946 ... c Min unsat cost LB: 45947 ... c Min unsat cost LB: 45948 ... c Min unsat cost LB: 45949 ... c Min unsat cost LB: 45950 ... c Min unsat cost LB: 45951 ... c Min unsat cost LB: 45954 ... c Min unsat cost LB: 45955 ... c Min unsat cost LB: 45956 ... c Min unsat cost LB: 45957 ... c Min unsat cost LB: 45958 ... c Min unsat cost LB: 45959 ... c Min unsat cost LB: 45960 ... c Min unsat cost LB: 45961 ... c Min unsat cost LB: 45962 ... c Min unsat cost LB: 45963 ... c Min unsat cost LB: 45964 ... c Min unsat cost LB: 45967 ... c Min unsat cost LB: 45973 ... c Min unsat cost LB: 45974 ... c Min unsat cost LB: 45975 ... c Min unsat cost LB: 45977 ... c Min unsat cost LB: 45978 ... c Min unsat cost LB: 45979 ... c Min unsat cost LB: 45980 ... c Min unsat cost LB: 45981 ... c Min unsat cost LB: 45982 ... c Min unsat cost LB: 45983 ... c Min unsat cost LB: 45985 ... c Min unsat cost LB: 45986 ... c Min unsat cost LB: 45988 ... c Min unsat cost LB: 45989 ... c Min unsat cost LB: 45991 ... c Min unsat cost LB: 45992 ... c Min unsat cost LB: 45993 ... c Min unsat cost LB: 45994 ... c Min unsat cost LB: 45995 ... c Min unsat cost LB: 45996 ... c Min unsat cost LB: 45998 ... c Min unsat cost LB: 45999 ... c Min unsat cost LB: 46001 ... c Min unsat cost LB: 46002 ... c Min unsat cost LB: 46003 ... c Min unsat cost LB: 46004 ... c Min unsat cost LB: 46005 ... c Min unsat cost LB: 46006 ... c Min unsat cost LB: 46007 ... c Min unsat cost LB: 46008 ... c Min unsat cost LB: 46009 ... c Min unsat cost LB: 46010 ... c Min unsat cost LB: 46011 ... c Min unsat cost LB: 46012 ... c Min unsat cost LB: 46013 ... c Min unsat cost LB: 46015 ... c Min unsat cost LB: 46016 ... c Min unsat cost LB: 46017 ... c Min unsat cost LB: 46018 ... c Min unsat cost LB: 46019 ... c Min unsat cost LB: 46021 ... c Min unsat cost LB: 46022 ... c Min unsat cost LB: 46023 ... c Min unsat cost LB: 46024 ... c Min unsat cost LB: 46025 ... c Min unsat cost LB: 46026 ... c Min unsat cost LB: 46027 ... c Min unsat cost LB: 46028 ... c Min unsat cost LB: 46029 ... c Min unsat cost LB: 46035 ... c Min unsat cost LB: 46037 ... c Min unsat cost LB: 46039 ... c Min unsat cost LB: 46043 ... c Min unsat cost LB: 46047 ... c Min unsat cost LB: 46051 ... c Min unsat cost LB: 46066 ... c Min unsat cost LB: 46083 ... c Min unsat cost LB: 46103 ... c Min unsat cost LB: 46104 ... c Min unsat cost LB: 46105 ... c Min unsat cost LB: 46106 ... c Min unsat cost LB: 46107 ... c Min unsat cost LB: 46108 ... c Min unsat cost LB: 46109 ... c Min unsat cost LB: 46110 ... c Min unsat cost LB: 46111 ... c Min unsat cost LB: 46112 ... c Min unsat cost LB: 46113 ... c Min unsat cost LB: 46114 ... c Min unsat cost LB: 46115 ... c Min unsat cost LB: 46116 ... c Min unsat cost LB: 46117 ... c Min unsat cost LB: 46120 ... c Min unsat cost LB: 46121 ... c Min unsat cost LB: 46122 ... c Min unsat cost LB: 46123 ... c Min unsat cost LB: 46125 ... c Min unsat cost LB: 46126 ... c Min unsat cost LB: 46130 ... c Min unsat cost LB: 46131 ... c Min unsat cost LB: 46132 ... c Min unsat cost LB: 46133 ... c Min unsat cost LB: 46134 ... c Min unsat cost LB: 46135 ... c Min unsat cost LB: 46136 ... c Min unsat cost LB: 46137 ... c Min unsat cost LB: 46138 ... c Min unsat cost LB: 46139 ... c Min unsat cost LB: 46140 ... c Min unsat cost LB: 46141 ... c Min unsat cost LB: 46142 ... c Min unsat cost LB: 46143 ... c Min unsat cost LB: 46144 ... c Min unsat cost LB: 46145 ... c Min unsat cost LB: 46146 ... c Min unsat cost LB: 46147 ... c Min unsat cost LB: 46148 ... c Min unsat cost LB: 46149 ... c Min unsat cost LB: 46150 ... c Min unsat cost LB: 46151 ... c Min unsat cost LB: 46152 ... c Min unsat cost LB: 46153 ... c Min unsat cost LB: 46154 ... c Min unsat cost LB: 46155 ... c Min unsat cost LB: 46156 ... c Min unsat cost LB: 46157 ... c Min unsat cost LB: 46158 ... c Min unsat cost LB: 46159 ... c Min unsat cost LB: 46160 ... c Min unsat cost LB: 46161 ... c Min unsat cost LB: 46162 ... c Min unsat cost LB: 46163 ... c Min unsat cost LB: 46164 ... c Min unsat cost LB: 46165 ... c Min unsat cost LB: 46166 ... c Min unsat cost LB: 46167 ... c Min unsat cost LB: 46168 ... c Min unsat cost LB: 46169 ... c Min unsat cost LB: 46170 ... c Min unsat cost LB: 46172 ... c Min unsat cost LB: 46173 ... c Min unsat cost LB: 46174 ... c Min unsat cost LB: 46175 ... c Min unsat cost LB: 46177 ... c Min unsat cost LB: 46178 ... c Min unsat cost LB: 46179 ... c Min unsat cost LB: 46180 ... c Min unsat cost LB: 46181 ... c Min unsat cost LB: 46182 ... c Min unsat cost LB: 46183 ... c Min unsat cost LB: 46184 ... c Min unsat cost LB: 46185 ... c Min unsat cost LB: 46186 ... c Min unsat cost LB: 46187 ... c Min unsat cost LB: 46188 ... c Min unsat cost LB: 46189 ... c Min unsat cost LB: 46190 ... c Min unsat cost LB: 46191 ... c Min unsat cost LB: 46192 ... c Min unsat cost LB: 46193 ... c Min unsat cost LB: 46194 ... c Min unsat cost LB: 46195 ... c Min unsat cost LB: 46196 ... c Min unsat cost LB: 46197 ... c Min unsat cost LB: 46198 ... c Min unsat cost LB: 46199 ... c Min unsat cost LB: 46200 ... c Min unsat cost LB: 46201 ... c Min unsat cost LB: 46202 ... c Min unsat cost LB: 46203 ... c Min unsat cost LB: 46204 ... c Min unsat cost LB: 46205 ... c Min unsat cost LB: 46206 ... c Min unsat cost LB: 46207 ... c Min unsat cost LB: 46208 ... c Min unsat cost LB: 46209 ... c Min unsat cost LB: 46210 ... c Min unsat cost LB: 46211 ... c Min unsat cost LB: 46212 ... c Min unsat cost LB: 46213 ... c Min unsat cost LB: 46214 ... c Min unsat cost LB: 46215 ... c Min unsat cost LB: 46216 ... c Min unsat cost LB: 46217 ... c Min unsat cost LB: 46218 ... c Min unsat cost LB: 46219 ... c Min unsat cost LB: 46220 ... c Min unsat cost LB: 46221 ... c Min unsat cost LB: 46222 ... c Min unsat cost LB: 46223 ... c Min unsat cost LB: 46224 ... c Min unsat cost LB: 46225 ... c Min unsat cost LB: 46226 ... c Min unsat cost LB: 46227 ... c Min unsat cost LB: 46228 ... c Min unsat cost LB: 46229 ... c Min unsat cost LB: 46230 ... c Min unsat cost LB: 46231 ... c Min unsat cost LB: 46232 ... c Min unsat cost LB: 46233 ... c Min unsat cost LB: 46234 ... c Min unsat cost LB: 46235 ... c Min unsat cost LB: 46236 ... c Min unsat cost LB: 46237 ... c Min unsat cost LB: 46238 ... c Min unsat cost LB: 46239 ... c Min unsat cost LB: 46240 ... c Min unsat cost LB: 46241 ... c Min unsat cost LB: 46242 ... c Min unsat cost LB: 46243 ... c Min unsat cost LB: 46244 ... c Min unsat cost LB: 46247 ... c Min unsat cost LB: 46248 ... c Min unsat cost LB: 46249 ... c Min unsat cost LB: 46250 ... c Min unsat cost LB: 46251 ... c Min unsat cost LB: 46252 ... c Min unsat cost LB: 46253 ... c Min unsat cost LB: 46254 ... c Min unsat cost LB: 46255 ... c Min unsat cost LB: 46256 ... c Min unsat cost LB: 46257 ... c Min unsat cost LB: 46258 ... c Min unsat cost LB: 46259 ... c Min unsat cost LB: 46260 ... c Min unsat cost LB: 46261 ... c Min unsat cost LB: 46262 ... c Min unsat cost LB: 46263 ... c Min unsat cost LB: 46264 ... c Min unsat cost LB: 46265 ... c Min unsat cost LB: 46266 ... c Min unsat cost LB: 46267 ... c Min unsat cost LB: 46268 ... c Min unsat cost LB: 46269 ... c Min unsat cost LB: 46270 ... c Min unsat cost LB: 46271 ... c Min unsat cost LB: 46272 ... c Min unsat cost LB: 46273 ... c Min unsat cost LB: 46274 ... c Min unsat cost LB: 46275 ... c Min unsat cost LB: 46276 ... c Min unsat cost LB: 46277 ... c Min unsat cost LB: 46278 ... c Min unsat cost LB: 46279 ... c Min unsat cost LB: 46280 ... c Min unsat cost LB: 46281 ... c Min unsat cost LB: 46282 ... c Min unsat cost LB: 46283 ... c Min unsat cost LB: 46284 ... c Min unsat cost LB: 46285 ... c Min unsat cost LB: 46286 ... c Min unsat cost LB: 46287 ... c Min unsat cost LB: 46288 ... c Min unsat cost LB: 46289 ... c Min unsat cost LB: 46290 ... c Min unsat cost LB: 46291 ... c Min unsat cost LB: 46292 ... c Min unsat cost LB: 46293 ... c Min unsat cost LB: 46294 ... c Min unsat cost LB: 46295 ... c Min unsat cost LB: 46296 ... c Min unsat cost LB: 46297 ... c Min unsat cost LB: 46298 ... c Min unsat cost LB: 46299 ... c Min unsat cost LB: 46300 ... c Min unsat cost LB: 46301 ... c Min unsat cost LB: 46302 ... c Min unsat cost LB: 46303 ... c Min unsat cost LB: 46304 ... c Min unsat cost LB: 46305 ... c Min unsat cost LB: 46306 ... c Min unsat cost LB: 46307 ... c Min unsat cost LB: 46308 ... c Min unsat cost LB: 46309 ... c Min unsat cost LB: 46310 ... c Min unsat cost LB: 46311 ... c Min unsat cost LB: 46312 ... c Min unsat cost LB: 46314 ... c Min unsat cost LB: 46316 ... c Min unsat cost LB: 46319 ... c Min unsat cost LB: 46320 ... c Min unsat cost LB: 46324 ... c Min unsat cost LB: 46325 ... c Min unsat cost LB: 46326 ... c Min unsat cost LB: 46327 ... c Min unsat cost LB: 46328 ... c Min unsat cost LB: 46329 ... c Min unsat cost LB: 46330 ... c Min unsat cost LB: 46331 ... c Min unsat cost LB: 46332 ... c Min unsat cost LB: 46333 ... c Min unsat cost LB: 46334 ... c Min unsat cost LB: 46335 ... c Min unsat cost LB: 46336 ... c Min unsat cost LB: 46337 ... c Min unsat cost LB: 46338 ... c Min unsat cost LB: 46339 ... c Min unsat cost LB: 46350 ... c Min unsat cost LB: 46351 ... c Min unsat cost LB: 46352 ... c Min unsat cost LB: 46353 ... c Min unsat cost LB: 46354 ... c Min unsat cost LB: 46355 ... c Min unsat cost LB: 46356 ... c Min unsat cost LB: 46357 ... c Min unsat cost LB: 46358 ... c Min unsat cost LB: 46359 ... c Min unsat cost LB: 46360 ... c Min unsat cost LB: 46364 ... c Min unsat cost LB: 46365 ... c Min unsat cost LB: 46366 ... c Min unsat cost LB: 46367 ... c Min unsat cost LB: 46368 ... c Min unsat cost LB: 46369 ... c Min unsat cost LB: 46370 ... c Min unsat cost LB: 46371 ... c Min unsat cost LB: 46372 ... c Min unsat cost LB: 46374 ... c Min unsat cost LB: 46375 ... c Min unsat cost LB: 46378 ... c Min unsat cost LB: 46382 ... c Min unsat cost LB: 46383 ... c Min unsat cost LB: 46384 ... c Min unsat cost LB: 46385 ... c Min unsat cost LB: 46386 ... c Min unsat cost LB: 46387 ... c Min unsat cost LB: 46388 ... c Min unsat cost LB: 46389 ... c Min unsat cost LB: 46390 ... c Min unsat cost LB: 46391 ... c Min unsat cost LB: 46392 ... c Min unsat cost LB: 46393 ... c Min unsat cost LB: 46394 ... c Min unsat cost LB: 46395 ... c Min unsat cost LB: 46396 ... c Min unsat cost LB: 46397 ... c Min unsat cost LB: 46398 ... c Min unsat cost LB: 46399 ... c Min unsat cost LB: 46400 ... c Min unsat cost LB: 46401 ... c Min unsat cost LB: 46402 ... c Min unsat cost LB: 46403 ... c Min unsat cost LB: 46404 ... c Min unsat cost LB: 46405 ... c Min unsat cost LB: 46406 ... c Min unsat cost LB: 46407 ... c Min unsat cost LB: 46408 ... c Min unsat cost LB: 46409 ... c Min unsat cost LB: 46410 ... c Min unsat cost LB: 46411 ... c Min unsat cost LB: 46412 ... c Min unsat cost LB: 46413 ... c Min unsat cost LB: 46414 ... c Min unsat cost LB: 46415 ... c Min unsat cost LB: 46416 ... c Min unsat cost LB: 46417 ... c Min unsat cost LB: 46418 ... c Min unsat cost LB: 46419 ... c Min unsat cost LB: 46420 ... c Min unsat cost LB: 46421 ... c Min unsat cost LB: 46422 ... c Min unsat cost LB: 46423 ... c Min unsat cost LB: 46424 ... c Min unsat cost LB: 46425 ... c Min unsat cost LB: 46426 ... c Min unsat cost LB: 46427 ... c Min unsat cost LB: 46428 ... c Min unsat cost LB: 46429 ... c Min unsat cost LB: 46430 ... c Min unsat cost LB: 46431 ... c Min unsat cost LB: 46432 ... c Min unsat cost LB: 46433 ... c Min unsat cost LB: 46434 ... c Min unsat cost LB: 46435 ... c Min unsat cost LB: 46436 ... c Min unsat cost LB: 46437 ... c Min unsat cost LB: 46438 ... c Min unsat cost LB: 46439 ... c Min unsat cost LB: 46440 ... c Min unsat cost LB: 46441 ... c Min unsat cost LB: 46442 ... c Min unsat cost LB: 46443 ... c Min unsat cost LB: 46444 ... c Min unsat cost LB: 46445 ... c Min unsat cost LB: 46446 ... c Min unsat cost LB: 46448 ... c Min unsat cost LB: 46449 ... c Min unsat cost LB: 46450 ... c Min unsat cost LB: 46451 ... c Min unsat cost LB: 46452 ... c Min unsat cost LB: 46453 ... c Min unsat cost LB: 46454 ... c Min unsat cost LB: 46455 ... c Min unsat cost LB: 46456 ... c Min unsat cost LB: 46457 ... c Min unsat cost LB: 46458 ... c Min unsat cost LB: 46459 ... c Min unsat cost LB: 46460 ... c Min unsat cost LB: 46461 ... c Min unsat cost LB: 46462 ... c Min unsat cost LB: 46463 ... c Min unsat cost LB: 46464 ... c Min unsat cost LB: 46465 ... c Min unsat cost LB: 46466 ... c Min unsat cost LB: 46467 ... c Min unsat cost LB: 46468 ... c Min unsat cost LB: 46469 ... c Min unsat cost LB: 46470 ... c Min unsat cost LB: 46471 ... c Min unsat cost LB: 46472 ... c Min unsat cost LB: 46473 ... c Min unsat cost LB: 46474 ... c Min unsat cost LB: 46475 ... c Min unsat cost LB: 46476 ... c Min unsat cost LB: 46477 ... c Min unsat cost LB: 46478 ... c Min unsat cost LB: 46479 ... c Min unsat cost LB: 46480 ... c Min unsat cost LB: 46481 ... c Min unsat cost LB: 46482 ... c Min unsat cost LB: 46483 ... c Min unsat cost LB: 46484 ... c Min unsat cost LB: 46485 ... c Min unsat cost LB: 46486 ... c Min unsat cost LB: 46487 ... c Min unsat cost LB: 46488 ... c Min unsat cost LB: 46489 ... c Min unsat cost LB: 46490 ... c Min unsat cost LB: 46491 ... c Min unsat cost LB: 46492 ... c Min unsat cost LB: 46493 ... c Min unsat cost LB: 46496 ... c Min unsat cost LB: 46497 ... c Min unsat cost LB: 46498 ... c Min unsat cost LKilled 1814.835u 4.910s 30:23.85 99.7% 0+0k 0+0io 0pf+0w