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_SCHEDULING_cat_sched_60_120_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0002.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_SCHEDULING/cat_sched_60_120_0002.txt.wcnf *** c c Min unsat cost LB: 285 ... c Min unsat cost LB: 1422 ... c Min unsat cost LB: 2559 ... c Min unsat cost LB: 3061 ... c Min unsat cost LB: 3150 ... c Min unsat cost LB: 4287 ... c Min unsat cost LB: 4376 ... c Min unsat cost LB: 5513 ... c Min unsat cost LB: 5602 ... c Min unsat cost LB: 5691 ... c Min unsat cost LB: 5976 ... c Min unsat cost LB: 6065 ... c Min unsat cost LB: 6154 ... c Min unsat cost LB: 6211 ... c Min unsat cost LB: 6300 ... c Min unsat cost LB: 6585 ... c Min unsat cost LB: 6617 ... c Min unsat cost LB: 6706 ... c Min unsat cost LB: 7484 ... c Min unsat cost LB: 7573 ... c Min unsat cost LB: 7932 ... c Min unsat cost LB: 8021 ... c Min unsat cost LB: 8799 ... c Min unsat cost LB: 9577 ... c Min unsat cost LB: 9651 ... c Min unsat cost LB: 10153 ... c Min unsat cost LB: 10242 ... c Min unsat cost LB: 11020 ... c Min unsat cost LB: 11305 ... c Min unsat cost LB: 11664 ... c Min unsat cost LB: 12368 ... c Min unsat cost LB: 12457 ... c Min unsat cost LB: 13416 ... c Min unsat cost LB: 14194 ... c Min unsat cost LB: 14283 ... c Min unsat cost LB: 14642 ... c Min unsat cost LB: 15061 ... c Min unsat cost LB: 15150 ... c Min unsat cost LB: 15509 ... c Min unsat cost LB: 15598 ... c Min unsat cost LB: 16347 ... c Min unsat cost LB: 16436 ... c Min unsat cost LB: 16614 ... c Min unsat cost LB: 16703 ... c Min unsat cost LB: 16760 ... c Min unsat cost LB: 17612 ... c Min unsat cost LB: 17686 ... c Min unsat cost LB: 17718 ... c Min unsat cost LB: 17839 ... c Min unsat cost LB: 17928 ... c Min unsat cost LB: 18017 ... c Min unsat cost LB: 18092 ... c Min unsat cost LB: 18836 ... c Min unsat cost LB: 18925 ... c Min unsat cost LB: 19014 ... c Min unsat cost LB: 19103 ... c Min unsat cost LB: 19267 ... c Min unsat cost LB: 19463 ... c Min unsat cost LB: 19965 ... c Min unsat cost LB: 20054 ... c Min unsat cost LB: 20143 ... c Min unsat cost LB: 20232 ... c Min unsat cost LB: 20651 ... c Min unsat cost LB: 21065 ... c Min unsat cost LB: 21154 ... c Min unsat cost LB: 21243 ... c Min unsat cost LB: 21332 ... c Min unsat cost LB: 21421 ... c Min unsat cost LB: 21790 ... c Min unsat cost LB: 22248 ... c Min unsat cost LB: 22337 ... c Min unsat cost LB: 22426 ... c Min unsat cost LB: 22884 ... c Min unsat cost LB: 23253 ... c Min unsat cost LB: 23523 ... c Min unsat cost LB: 23612 ... c Min unsat cost LB: 23981 ... c Min unsat cost LB: 24059 ... c Min unsat cost LB: 24779 ... c Min unsat cost LB: 25198 ... c Min unsat cost LB: 25287 ... c Min unsat cost LB: 25365 ... c Min unsat cost LB: 25452 ... c Min unsat cost LB: 25463 ... c Min unsat cost LB: 25474 ... c Min unsat cost LB: 25530 ... c Min unsat cost LB: 25608 ... c Min unsat cost LB: 25741 ... c Min unsat cost LB: 25819 ... c Min unsat cost LB: 25896 ... c Min unsat cost LB: 26780 ... c Min unsat cost LB: 27021 ... c Min unsat cost LB: 27033 ... c Min unsat cost LB: 27291 ... c Min unsat cost LB: 27309 ... c Min unsat cost LB: 27767 ... c Min unsat cost LB: 28683 ... c Min unsat cost LB: 29141 ... c Min unsat cost LB: 29823 ... c Min unsat cost LB: 30087 ... c Min unsat cost LB: 30278 ... c Min unsat cost LB: 30563 ... c Min unsat cost LB: 30736 ... c Min unsat cost LB: 31297 ... c Min unsat cost LB: 31873 ... c Min unsat cost LB: 32049 ... c Min unsat cost LB: 32334 ... c Min unsat cost LB: 32570 ... c Min unsat cost LB: 33471 ... c Min unsat cost LB: 33756 ... c Min unsat cost LB: 33952 ... c Min unsat cost LB: 34188 ... c Min unsat cost LB: 34473 ... c Min unsat cost LB: 34758 ... c Min unsat cost LB: 35043 ... c Min unsat cost LB: 35104 ... c Min unsat cost LB: 35193 ... c Min unsat cost LB: 35271 ... c Min unsat cost LB: 35282 ... c Min unsat cost LB: 35293 ... c Min unsat cost LB: 35371 ... c Min unsat cost LB: 35592 ... c Min unsat cost LB: 36370 ... c Min unsat cost LB: 36529 ... c Min unsat cost LB: 36729 ... c Min unsat cost LB: 36849 ... c Min unsat cost LB: 36927 ... c Min unsat cost LB: 36938 ... c Min unsat cost LB: 37357 ... c Min unsat cost LB: 37495 ... c Min unsat cost LB: 37668 ... c Min unsat cost LB: 37716 ... c Min unsat cost LB: 37780 ... c Min unsat cost LB: 37955 ... c Min unsat cost LB: 38853 ... c Min unsat cost LB: 38916 ... c Min unsat cost LB: 39621 ... c Min unsat cost LB: 39812 ... c Min unsat cost LB: 40758 ... c Min unsat cost LB: 41507 ... c Min unsat cost LB: 41685 ... c Min unsat cost LB: 41806 ... c Min unsat cost LB: 41895 ... c Min unsat cost LB: 42030 ... c Min unsat cost LB: 42782 ... c Min unsat cost LB: 42843 ... c Min unsat cost LB: 42946 ... c Min unsat cost LB: 43035 ... c Min unsat cost LB: 43113 ... c Min unsat cost LB: 43202 ... c Min unsat cost LB: 43280 ... c Min unsat cost LB: 43291 ... c Min unsat cost LB: 43358 ... c Min unsat cost LB: 43554 ... c Min unsat cost LB: 43727 ... c Min unsat cost LB: 43816 ... c Min unsat cost LB: 43905 ... c Min unsat cost LB: 44161 ... c Min unsat cost LB: 44319 ... c Min unsat cost LB: 44341 ... c Min unsat cost LB: 44393 ... c Min unsat cost LB: 44437 ... c Min unsat cost LB: 44450 ... c Min unsat cost LB: 44482 ... c Min unsat cost LB: 44515 ... c Min unsat cost LB: 44533 ... c Min unsat cost LB: 44557 ... c Min unsat cost LB: 44589 ... c Min unsat cost LB: 44621 ... c Min unsat cost LB: 44622 ... c Min unsat cost LB: 44678 ... c Min unsat cost LB: 44734 ... c Min unsat cost LB: 44759 ... c Min unsat cost LB: 44765 ... c Min unsat cost LB: 44766 ... c Min unsat cost LB: 44784 ... c Min unsat cost LB: 44795 ... c Min unsat cost LB: 44832 ... c Min unsat cost LB: 44921 ... c Min unsat cost LB: 44995 ... c Min unsat cost LB: 45054 ... c Min unsat cost LB: 45069 ... c Min unsat cost LB: 45258 ... c Min unsat cost LB: 45261 ... c Min unsat cost LB: 45290 ... c Min unsat cost LB: 45368 ... c Min unsat cost LB: 45457 ... c Min unsat cost LB: 45527 ... c Min unsat cost LB: 45546 ... c Min unsat cost LB: 45647 ... c Min unsat cost LB: 45736 ... c Min unsat cost LB: 45798 ... c Min unsat cost LB: 45831 ... c Min unsat cost LB: 45843 ... c Min unsat cost LB: 45847 ... c Min unsat cost LB: 45932 ... c Min unsat cost LB: 45934 ... c Min unsat cost LB: 45936 ... c Min unsat cost LB: 46004 ... c Min unsat cost LB: 46019 ... c Min unsat cost LB: 46127 ... c Min unsat cost LB: 46239 ... c Min unsat cost LB: 46295 ... c Min unsat cost LB: 46300 ... c Min unsat cost LB: 46330 ... c Min unsat cost LB: 46394 ... c Min unsat cost LB: 46483 ... c Min unsat cost LB: 46544 ... c Min unsat cost LB: 46614 ... c Min unsat cost LB: 46633 ... c Min unsat cost LB: 46679 ... c Min unsat cost LB: 46714 ... c Min unsat cost LB: 46740 ... c Min unsat cost LB: 46805 ... c Min unsat cost LB: 46875 ... c Min unsat cost LB: 46903 ... c Min unsat cost LB: 47025 ... c Min unsat cost LB: 47315 ... c Min unsat cost LB: 47361 ... c Min unsat cost LB: 47376 ... c Min unsat cost LB: 47386 ... c Min unsat cost LB: 47450 ... c Min unsat cost LB: 47455 ... c Min unsat cost LB: 47491 ... c Min unsat cost LB: 47493 ... c Min unsat cost LB: 47543 ... c Min unsat cost LB: 47550 ... c Min unsat cost LB: 47702 ... c Min unsat cost LB: 47847 ... c Min unsat cost LB: 47919 ... c Min unsat cost LB: 47961 ... c Min unsat cost LB: 47985 ... c Min unsat cost LB: 48017 ... c Min unsat cost LB: 48031 ... c Min unsat cost LB: 48046 ... c Min unsat cost LB: 48075 ... c Min unsat cost LB: 48370 ... c Min unsat cost LB: 48631 ... c Min unsat cost LB: 48678 ... c Min unsat cost LB: 48869 ... c Min unsat cost LB: 48901 ... c Min unsat cost LB: 48912 ... c Min unsat cost LB: 48990 ... c Min unsat cost LB: 49176 ... c Min unsat cost LB: 49417 ... c Min unsat cost LB: 49429 ... c Min unsat cost LB: 49539 ... c Min unsat cost LB: 49959 ... c Min unsat cost LB: 49995 ... c Min unsat cost LB: 50009 ... c Min unsat cost LB: 50313 ... c Min unsat cost LB: 50324 ... c Min unsat cost LB: 50380 ... c Min unsat cost LB: 50556 ... c Min unsat cost LB: 50634 ... c Min unsat cost LB: 50723 ... c Min unsat cost LB: 50738 ... c Min unsat cost LB: 50813 ... c Min unsat cost LB: 50840 ... c Min unsat cost LB: 50851 ... c Min unsat cost LB: 50902 ... c Min unsat cost LB: 50929 ... c Min unsat cost LB: 50940 ... c Min unsat cost LB: 51007 ... c Min unsat cost LB: 51075 ... c Min unsat cost LB: 51358 ... c Min unsat cost LB: 51641 ... c Min unsat cost LB: 51662 ... c Min unsat cost LB: 51853 ... c Min unsat cost LB: 51926 ... c Min unsat cost LB: 51994 ... c Min unsat cost LB: 52000 ... c Min unsat cost LB: 52035 ... c Min unsat cost LB: 52178 ... c Min unsat cost LB: 52454 ... c Min unsat cost LB: 52686 ... c Min unsat cost LB: 53015 ... c Min unsat cost LB: 53159 ... c Min unsat cost LB: 53312 ... c Min unsat cost LB: 53320 ... c Min unsat cost LB: 53383 ... c Min unsat cost LB: 53558 ... c Min unsat cost LB: 53793 ... c Min unsat cost LB: 53971 ... c Min unsat cost LB: 54249 ... c Min unsat cost LB: 54266 ... c Min unsat cost LB: 54307 ... c Min unsat cost LB: 54428 ... c Min unsat cost LB: 54440 ... c Min unsat cost LB: 54469 ... c Min unsat cost LB: 54547 ... c Min unsat cost LB: 54617 ... c Min unsat cost LB: 54636 ... c Min unsat cost LB: 54655 ... c Min unsat cost LB: 54706 ... c Min unsat cost LB: 54770 ... c Min unsat cost LB: 54835 ... c Min unsat cost LB: 54840 ... c Min unsat cost LB: 54850 ... c Min unsat cost LB: 54855 ... c Min unsat cost LB: 54866 ... c Min unsat cost LB: 54872 ... c Min unsat cost LB: 54891 ... c Min unsat cost LB: 54906 ... c Min unsat cost LB: 55006 ... c Min unsat cost LB: 55009 ... c Min unsat cost LB: 55010 ... c Min unsat cost LB: 55023 ... c Min unsat cost LB: 55042 ... c Min unsat cost LB: 55056 ... c Min unsat cost LB: 55061 ... c Min unsat cost LB: 55069 ... c Min unsat cost LB: 55080 ... c Min unsat cost LB: 55088 ... c Min unsat cost LB: 55089 ... c Min unsat cost LB: 55090 ... c Min unsat cost LB: 55096 ... c Min unsat cost LB: 55101 ... c Min unsat cost LB: 55102 ... c Min unsat cost LB: 55103 ... c Min unsat cost LB: 55104 ... c Min unsat cost LB: 55141 ... c Min unsat cost LB: 55145 ... c Min unsat cost LB: 55146 ... c Min unsat cost LB: 55147 ... c Min unsat cost LB: 55148 ... c Min unsat cost LB: 55149 ... c Min unsat cost LB: 55151 ... c Min unsat cost LB: 55152 ... c Min unsat cost LB: 55153 ... c Min unsat cost LB: 55154 ... c Min unsat cost LB: 55168 ... c Min unsat cost LB: 55197 ... c Min unsat cost LB: 55215 ... c Min unsat cost LB: 55218 ... c Min unsat cost LB: 55254 ... c Min unsat cost LB: 55265 ... c Min unsat cost LB: 55266 ... c Min unsat cost LB: 55339 ... c Min unsat cost LB: 55352 ... c Min unsat cost LB: 55480 ... c Min unsat cost LB: 55489 ... c Min unsat cost LB: 55504 ... c Min unsat cost LB: 55530 ... c Min unsat cost LB: 55531 ... c Min unsat cost LB: 55622 ... c Min unsat cost LB: 55643 ... c Min unsat cost LB: 55644 ... c Min unsat cost LB: 55646 ... c Min unsat cost LB: 55649 ... c Min unsat cost LB: 55655 ... c Min unsat cost LB: 55659 ... c Min unsat cost LB: 55660 ... c Min unsat cost LB: 55661 ... c Min unsat cost LB: 55663 ... c Min unsat cost LB: 55664 ... c Min unsat cost LB: 55666 ... c Min unsat cost LB: 55702 ... c Min unsat cost LB: 55718 ... c Min unsat cost LB: 55750 ... c Min unsat cost LB: 55755 ... c Min unsat cost LB: 55759 ... c Min unsat cost LB: 55761 ... c Min unsat cost LB: 55762 ... c Min unsat cost LB: 55778 ... c Min unsat cost LB: 55780 ... c Min unsat cost LB: 55790 ... c Min unsat cost LB: 55802 ... c Min unsat cost LB: 55809 ... c Min unsat cost LB: 55816 ... c Min unsat cost LB: 55822 ... c Min unsat cost LB: 55832 ... c Min unsat cost LB: 55836 ... c Min unsat cost LB: 55838 ... c Min unsat cost LB: 55840 ... c Min unsat cost LB: 55841 ... c Min unsat cost LB: 55842 ... c Min unsat cost LB: 55843 ... c Min unsat cost LB: 55844 ... c Min unsat cost LB: 55849 ... c Min unsat cost LB: 55850 ... c Min unsat cost LB: 55851 ... c Min unsat cost LB: 55856 ... c Min unsat cost LB: 55864 ... c Min unsat cost LB: 55865 ... c Min unsat cost LB: 55868 ... c Min unsat cost LB: 55873 ... c Min unsat cost LB: 55884 ... c Min unsat cost LB: 55885 ... c Min unsat cost LB: 55892 ... c Min unsat cost LB: 55907 ... c Min unsat cost LB: 55932 ... c Min unsat cost LB: 55938 ... c Min unsat cost LB: 55949 ... c Min unsat cost LB: 55958 ... c Min unsat cost LB: 55962 ... c Min unsat cost LB: 55972 ... c Min unsat cost LB: 55997 ... c Min unsat cost LB: 55999 ... c Min unsat cost LB: 56001 ... c Min unsat cost LB: 56016 ... c Min unsat cost LB: 56018 ... c Min unsat cost LB: 56020 ... c Min unsat cost LB: 56021 ... c Min unsat cost LB: 56023 ... c Min unsat cost LB: 56027 ... c Min unsat cost LB: 56029 ... c Min unsat cost LB: 56030 ... c Min unsat cost LB: 56034 ... c Min unsat cost LB: 56043 ... c Min unsat cost LB: 56056 ... c Min unsat cost LB: 56057 ... c Min unsat cost LB: 56058 ... c Min unsat cost LB: 56060 ... c Min unsat cost LB: 56072 ... c Min unsat cost LB: 56074 ... c Min unsat cost LB: 56075 ... c Min unsat cost LB: 56076 ... c Min unsat cost LB: 56077 ... c Min unsat cost LB: 56078 ... c Min unsat cost LB: 56079 ... c Min unsat cost LB: 56154 ... c Min unsat cost LB: 56170 ... c Min unsat cost LB: 56197 ... c Min unsat cost LB: 56350 ... c Min unsat cost LB: 56362 ... c Min unsat cost LB: 56373 ... c Min unsat cost LB: 56374 ... c Min unsat cost LB: 56376 ... c Min unsat cost LB: 56377 ... c Min unsat cost LB: 56380 ... c Min unsat cost LB: 56381 ... c Min unsat cost LB: 56383 ... c Min unsat cost LB: 56384 ... c Min unsat cost LB: 56387 ... c Min unsat cost LB: 56388 ... c Min unsat cost LB: 56390 ... c Min unsat cost LB: 56392 ... c Min unsat cost LB: 56397 ... c Min unsat cost LB: 56404 ... c Min unsat cost LB: 56419 ... c Min unsat cost LB: 56420 ... c Min unsat cost LB: 56421 ... c Min unsat cost LB: 56422 ... c Min unsat cost LB: 56423 ... c Min unsat cost LB: 56430 ... c Min unsat cost LB: 56432 ... c Min unsat cost LB: 56445 ... c Min unsat cost LB: 56466 ... c Min unsat cost LB: 56472 ... c Min unsat cost LB: 56514 ... c Min unsat cost LB: 56539 ... c Min unsat cost LB: 56589 ... c Min unsat cost LB: 56590 ... c Min unsat cost LB: 56592 ... c Min unsat cost LB: 56594 ... c Min unsat cost LB: 56595 ... c Min unsat cost LB: 56596 ... c Min unsat cost LB: 56597 ... c Min unsat cost LB: 56598 ... c Min unsat cost LB: 56600 ... c Min unsat cost LB: 56601 ... c Min unsat cost LB: 56627 ... c Min unsat cost LB: 56704 ... c Min unsat cost LB: 56705 ... c Min unsat cost LB: 56706 ... c Min unsat cost LB: 56707 ... c Min unsat cost LB: 56708 ... c Min unsat cost LB: 56709 ... c Min unsat cost LB: 56710 ... c Min unsat cost LB: 56711 ... c Min unsat cost LB: 56712 ... c Min unsat cost LB: 56714 ... c Min unsat cost LB: 56715 ... c Min unsat cost LB: 56745 ... c Min unsat cost LB: 56746 ... c Min unsat cost LB: 56747 ... c Min unsat cost LB: 56748 ... c Min unsat cost LB: 56749 ... c Min unsat cost LB: 56750 ... c Min unsat cost LB: 56751 ... c Min unsat cost LB: 56752 ... c Min unsat cost LB: 56753 ... c Min unsat cost LB: 56755 ... c Min unsat cost LB: 56756 ... c Min unsat cost LB: 56761 ... c Min unsat cost LB: 56762 ... c Min unsat cost LB: 56763 ... c Min unsat cost LB: 56764 ... c Min unsat cost LB: 56765 ... c Min unsat cost LB: 56767 ... c Min unsat cost LB: 56772 ... c Min unsat cost LB: 56773 ... c Min unsat cost LB: 56774 ... c Min unsat cost LB: 56775 ... c Min unsat cost LB: 56776 ... c Min unsat cost LB: 56777 ... c Min unsat cost LB: 56778 ... c Min unsat cost LB: 56779 ... c Min unsat cost LB: 56780 ... c Min unsat cost LB: 56781 ... c Min unsat cost LB: 56783 ... c Min unsat cost LB: 56784 ... c Min unsat cost LB: 56785 ... c Min unsat cost LB: 56786 ... c Min unsat cost LB: 56787 ... c Min unsat cost LB: 56788 ... c Min unsat cost LB: 56849 ... c Min unsat cost LB: 56851 ... c Min unsat cost LB: 56852 ... c Min unsat cost LB: 56863 ... c Min unsat cost LB: 56866 ... c Min unsat cost LB: 56867 ... c Min unsat cost LB: 56871 ... c Min unsat cost LB: 56872 ... c Min unsat cost LB: 56874 ... c Min unsat cost LB: 56875 ... c Min unsat cost LB: 56878 ... c Min unsat cost LB: 56879 ... c Min unsat cost LB: 56881 ... c Min unsat cost LB: 56885 ... c Min unsat cost LB: 56889 ... c Min unsat cost LB: 56890 ... c Min unsat cost LB: 56891 ... c Min unsat cost LB: 56896 ... c Min unsat cost LB: 56897 ... c Min unsat cost LB: 56901 ... c Min unsat cost LB: 56903 ... c Min unsat cost LB: 56904 ... c Min unsat cost LB: 56905 ... c Min unsat cost LB: 56906 ... c Min unsat cost LB: 56907 ... c Min unsat cost LB: 56908 ... c Min unsat cost LB: 56909 ... c Min unsat cost LB: 56910 ... c Min unsat cost LB: 56911 ... c Min unsat cost LB: 56912 ... c Min unsat cost LB: 56913 ... c Min unsat cost LB: 56914 ... c Min unsat cost LB: 56915 ... c Min unsat cost LB: 56916 ... c Min unsat cost LB: 56917 ... c Min unsat cost LB: 56918 ... c Min unsat cost LB: 56947 ... c Min unsat cost LB: 56950 ... c Min unsat cost LB: 56992 ... c Min unsat cost LB: 57007 ... c Min unsat cost LB: 57008 ... c Min unsat cost LB: 57012 ... c Min unsat cost LB: 57013 ... c Min unsat cost LB: 57014 ... c Min unsat cost LB: 57015 ... c Min unsat cost LB: 57016 ... c Min unsat cost LB: 57017 ... c Min unsat cost LB: 57018 ... c Min unsat cost LB: 57025 ... c Min unsat cost LB: 57027 ... c Min unsat cost LB: 57028 ... c Min unsat cost LB: 57042 ... c Min unsat cost LB: 57071 ... c Min unsat cost LB: 57072 ... c Min unsat cost LB: 57073 ... c Min unsat cost LB: 57074 ... c Min unsat cost LB: 57075 ... c Min unsat cost LB: 57078 ... c Min unsat cost LB: 57079 ... c Min unsat cost LB: 57080 ... c Min unsat cost LB: 57082 ... c Min unsat cost LB: 57083 ... c Min unsat cost LB: 57086 ... c Min unsat cost LB: 57105 ... c Min unsat cost LB: 57106 ... c Min unsat cost LB: 57107 ... c Min unsat cost LB: 57108 ... c Min unsat cost LB: 57109 ... c Min unsat cost LB: 57110 ... c Min unsat cost LB: 57111 ... c Min unsat cost LB: 57112 ... c Min unsat cost LB: 57113 ... c Min unsat cost LB: 57114 ... c Min unsat cost LB: 57115 ... c Min unsat cost LB: 57116 ... c Min unsat cost LB: 57117 ... c Min unsat cost LB: 57118 ... c Min unsat cost LB: 57121 ... c Min unsat cost LB: 57122 ... c Min unsat cost LB: 57129 ... c Min unsat cost LB: 57132 ... c Min unsat cost LB: 57136 ... c Min unsat cost LB: 57150 ... c Min unsat cost LB: 57205 ... c Min unsat cost LB: 57213 ... c Min unsat cost LB: 57214 ... c Min unsat cost LB: 57215 ... c Min unsat cost LB: 57216 ... c Min unsat cost LB: 57217 ... c Min unsat cost LB: 57220 ... c Min unsat cost LB: 57222 ... c Min unsat cost LB: 57226 ... c Min unsat cost LB: 57227 ... c Min unsat cost LB: 57228 ... c Min unsat cost LB: 57230 ... c Min unsat cost LB: 57231 ... c Min unsat cost LB: 57232 ... c Min unsat cost LB: 57235 ... c Min unsat cost LB: 57237 ... c Min unsat cost LB: 57239 ... c Min unsat cost LB: 57240 ... c Min unsat cost LB: 57241 ... c Min unsat cost LB: 57242 ... c Min unsat cost LB: 57244 ... c Min unsat cost LB: 57245 ... c Min unsat cost LB: 57246 ... c Min unsat cost LB: 57247 ... c Min unsat cost LB: 57249 ... c Min unsat cost LB: 57250 ... c Min unsat cost LB: 57264 ... c Min unsat cost LB: 57265 ... c Min unsat cost LB: 57266 ... c Min unsat cost LB: 57268 ... c Min unsat cost LB: 57269 ... c Min unsat cost LB: 57270 ... c Min unsat cost LB: 57271 ... c Min unsat cost LB: 57272 ... c Min unsat cost LB: 57273 ... c Min unsat cost LB: 57290 ... c Min unsat cost LB: 57307 ... c Min unsat cost LB: 57308 ... c Min unsat cost LB: 57310 ... c Min unsat cost LB: 57311 ... c Min unsat cost LB: 57312 ... c Min unsat cost LB: 57313 ... c Min unsat cost LB: 57315 ... c Min unsat cost LB: 57316 ... c Min unsat cost LB: 57317 ... c Min unsat cost LB: 57318 ... c Min unsat cost LB: 57319 ... c Min unsat cost LB: 57321 ... c Min unsat cost LB: 57328 ... c Min unsat cost LB: 57331 ... c Min unsat cost LB: 57333 ... c Min unsat cost LB: 57338 ... c Min unsat cost LB: 57345 ... c Min unsat cost LB: 57346 ... c Min unsat cost LB: 57347 ... c Min unsat cost LB: 57393 ... c Min unsat cost LB: 57394 ... c Min unsat cost LB: 57396 ... c Min unsat cost LB: 57397 ... c Min unsat cost LB: 57400 ... c Min unsat cost LB: 57403 ... c Min unsat cost LB: 57428 ... c Min unsat cost LB: 57429 ... c Min unsat cost LB: 57430 ... c Min unsat cost LB: 57438 ... c Min unsat cost LB: 57445 ... c Min unsat cost LB: 57446 ... c Min unsat cost LB: 57448 ... c Min unsat cost LB: 57454 ... c Min unsat cost LB: 57483 ... c Min unsat cost LB: 57484 ... c Min unsat cost LB: 57486 ... c Min unsat cost LB: 57492 ... c Min unsat cost LB: 57495 ... c Min unsat cost LB: 57496 ... c Min unsat cost LB: 57505 ... c Min unsat cost LB: 57509 ... c Min unsat cost LB: 57511 ... c Min unsat cost LB: 57514 ... c Min unsat cost LB: 57517 ... c Min unsat cost LB: 57525 ... c Min unsat cost LB: 57539 ... c Min unsat cost LB: 57541 ... c Min unsat cost LB: 57542 ... c Min unsat cost LB: 57543 ... c Min unsat cost LB: 57544 ... c Min unsat cost LB: 57546 ... c Min unsat cost LB: 57547 ... c Min unsat cost LB: 57548 ... c Min unsat cost LB: 57549 ... c Min unsat cost LB: 57550 ... c Min unsat cost LB: 57551 ... c Min unsat cost LB: 57552 ... c Min unsat cost LB: 57553 ... c Min unsat cost LB: 57554 ... c Min unsat cost LB: 57555 ... c Min unsat cost LB: 57556 ... c Min unsat cost LB: 57593 ... c Min unsat cost LB: 57612 ... c Min unsat cost LB: 57613 ... c Min unsat cost LB: 57614 ... c Min unsat cost LB: 57615 ... c Min unsat cost LB: 57616 ... c Min unsat cost LB: 57617 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 57620 ... c Min unsat cost LB: 57621 ... c Min unsat cost LB: 57622 ... c Min unsat cost LB: 57623 ... c Min unsat cost LB: 57624 ... c Min unsat cost LB: 57625 ... c Min unsat cost LB: 57626 ... c Min unsat cost LB: 57627 ... c Min unsat cost LB: 57628 ... c Min unsat cost LB: 57629 ... c Min unsat cost LB: 57630 ... c Min unsat cost LB: 57631 ... c Min unsat cost LB: 57632 ... c Min unsat cost LB: 57633 ... c Min unsat cost LB: 57634 ... c Min unsat cost LB: 57635 ... c Min unsat cost LB: 57636 ... c Min unsat cost LB: 57637 ... c Min unsat cost LB: 57638 ... c Min unsat cost LB: 57639 ... c Min unsat cost LB: 57640 ... c Min unsat cost LB: 57641 ... c Min unsat cost LB: 57642 ... c Min unsat cost LB: 57653 ... c Min unsat cost LB: 57658 ... c Min unsat cost LB: 57666 ... c Min unsat cost LB: 57668 ... c Min unsat cost LB: 57669 ... c Min unsat cost LB: 57670 ... c Min unsat cost LB: 57681 ... c Min unsat cost LB: 57692 ... c Min unsat cost LB: 57696 ... c Min unsat cost LB: 57697 ... c Min unsat cost LB: 57698 ... c Min unsat cost LB: 57699 ... c Min unsat cost LB: 57708 ... c Min unsat cost LB: 57709 ... c Min unsat cost LB: 57975 ... c Min unsat cost LB: 57976 ... c Min unsat cost LB: 57980 ... c Min unsat cost LB: 57986 ... c Min unsat cost LB: 57987 ... c Min unsat cost LB: 58001 ... c Min unsat cost LB: 58002 ... c Min unsat cost LB: 58011 ... c Min unsat cost LB: 58029 ... c Min unsat cost LB: 58030 ... c Min unsat cost LB: 58038 ... c Min unsat cost LB: 58039 ... c Min unsat cost LB: 58040 ... c Min unsat cost LB: 58041 ... c Min unsat cost LB: 58042 ... c Min unsat cost LB: 58055 ... c Min unsat cost LB: 58056 ... c Min unsat cost LB: 58071 ... c Min unsat cost LB: 58072 ... c Min unsat cost LB: 58073 ... c Min unsat cost LB: 58074 ... c Min unsat cost LB: 58075 ... c Min unsat cost LB: 58078 ... c Min unsat cost LB: 58140 ... c Min unsat cost LB: 58141 ... c Min unsat cost LB: 58293 ... c Min unsat cost LB: 58294 ... c Min unsat cost LB: 58295 ... c Min unsat cost LB: 58296 ... c Min unsat cost LB: 58297 ... c Min unsat cost LB: 58298 ... c Min unsat cost LB: 58502 ... c Min unsat cost LB: 58503 ... c Min unsat cost LB: 58504 ... c Min unsat cost LB: 58505 ... c Min unsat cost LB: 58506 ... c Min unsat cost LB: 58507 ... c Min unsat cost LB: 58508 ... c Min unsat cost LB: 58509 ... c Min unsat cost LB: 58510 ... c Min unsat cost LB: 58511 ... c Min unsat cost LB: 58512 ... c Min unsat cost LB: 58513 ... c Min unsat cost LB: 58514 ... c Min unsat cost LB: 58515 ... c Min unsat cost LB: 58517 ... c Min unsat cost LB: 58525 ... c Min unsat cost LB: 58528 ... c Min unsat cost LB: 58529 ... c Min unsat cost LB: 58530 ... c Min unsat cost LB: 58531 ... c Min unsat cost LB: 58532 ... c Min unsat cost LB: 58533 ... c Min unsat cost LB: 58534 ... c Min unsat cost LB: 58535 ... c Min unsat cost LB: 58536 ... c Min unsat cost LB: 58541 ... c Min unsat cost LB: 58542 ... c Min unsat cost LB: 58543 ... c Min unsat cost LB: 58544 ... c Min unsat cost LB: 58545 ... c Min unsat cost LB: 58555 ... c Min unsat cost LB: 58561 ... c Min unsat cost LB: 58580 ... c Min unsat cost LB: 58586 ... c Min unsat cost LB: 58588 ... c Min unsat cost LB: 58590 ... c Min unsat cost LB: 58595 ... c Min unsat cost LB: 58598 ... c Min unsat cost LB: 58599 ... c Min unsat cost LB: 58600 ... c Min unsat cost LB: 58601 ... c Min unsat cost LB: 58608 ... c Min unsat cost LB: 58752 ... c Min unsat cost LB: 58755 ... c Min unsat cost LB: 58757 ... c Min unsat cost LB: 58758 ... c Min unsat cost LB: 58759 ... c Min unsat cost LB: 58760 ... c Min unsat cost LB: 58762 ... c Min unsat cost LB: 58763 ... c Min unsat cost LB: 58764 ... c Min unsat cost LB: 58765 ... c Min unsat cost LB: 58767 ... c Min unsat cost LB: 58768 ... c Min unsat cost LB: 58769 ... c Min unsat cost LB: 58770 ... c Min unsat cost LB: 58771 ... c Min unsat cost LB: 58772 ... c Min unsat cost LB: 58773 ... c Min unsat cost LB: 58774 ... c Min unsat cost LB: 58776 ... c Min unsat cost LB: 58777 ... c Min unsat cost LB: 58778 ... c Min unsat cost LB: 58779 ... c Min unsat cost LB: 58780 ... c Min unsat cost LB: 58781 ... c Min unsat cost LB: 58782 ... c Min unsat cost LB: 58783 ... c Min unsat cost LB: 58784 ... c Min unsat cost LB: 58785 ... c Min unsat cost LB: 58786 ... c Min unsat cost LB: 58787 ... c Min unsat cost LB: 58788 ... c Min unsat cost LB: 58789 ... c Min unsat cost LB: 58790 ... c Min unsat cost LB: 58791 ... c Min unsat cost LB: 58792 ... c Min unsat cost LB: 58793 ... c Min unsat cost LB: 58794 ... c Min unsat cost LB: 58795 ... c Min unsat cost LB: 58796 ... c Min unsat cost LB: 58797 ... c Min unsat cost LB: 58798 ... c Min unsat cost LB: 58800 ... c Min unsat cost LB: 58801 ... c Min unsat cost LB: 58803 ... c Min unsat cost LB: 58804 ... c Min unsat cost LB: 58805 ... c Min unsat cost LB: 58806 ... c Min unsat cost LB: 58807 ... c Min unsat cost LB: 58808 ... c Min unsat cost LB: 58809 ... c Min unsat cost LB: 58810 ... c Min unsat cost LB: 58811 ... c Min unsat cost LB: 58812 ... c Min unsat cost LB: 58813 ... c Min unsat cost LB: 58814 ... c Min unsat cost LB: 58815 ... c Min unsat cost LB: 58816 ... c Min unsat cost LB: 58817 ... c Min unsat cost LB: 58818 ... c Min unsat cost LB: 58819 ... c Min unsat cost LB: 58820 ... c Min unsat cost LB: 58821 ... c Min unsat cost LB: 58822 ... c Min unsat cost LB: 58823 ... c Min unsat cost LB: 58824 ... c Min unsat cost LB: 58825 ... c Min unsat cost LB: 58826 ... c Min unsat cost LB: 58827 ... c Min unsat cost LB: 58828 ... c Min unsat cost LB: 58829 ... c Min unsat cost LB: 58830 ... c Min unsat cost LB: 58831 ... c Min unsat cost LB: 58832 ... c Min unsat cost LB: 58833 ... c Min unsat cost LB: 58834 ... c Min unsat cost LB: 58835 ... c Min unsat cost LB: 58836 ... c Min unsat cost LB: 58837 ... c Min unsat cost LB: 58838 ... c Min unsat cost LB: 58839 ... c Min unsat cost LB: 58840 ... c Min unsat cost LB: 58841 ... c Min unsat cost LB: 58842 ... c Min unsat cost LB: 58843 ... c Min unsat cost LB: 58847 ... c Min unsat cost LB: 58850 ... c Min unsat cost LB: 58851 ... c Min unsat cost LB: 58860 ... c Min unsat cost LB: 58861 ... c Min unsat cost LB: 58862 ... c Min unsat cost LB: 58863 ... c Min unsat cost LB: 58864 ... c Min unsat cost LB: 58865 ... c Min unsat cost LB: 58866 ... c Min unsat cost LB: 58867 ... c Min unsat cost LB: 58868 ... c Min unsat cost LB: 58869 ... c Min unsat cost LB: 58870 ... c Min unsat cost LB: 58871 ... c Min unsat cost LB: 58872 ... c Min unsat cost LB: 58873 ... c Min unsat cost LB: 58875 ... c Min unsat cost LB: 58880 ... c Min unsat cost LB: 58881 ... c Min unsat cost LB: 58882 ... c Min unsat cost LB: 58883 ... c Min unsat cost LB: 58884 ... c Min unsat cost LB: 58885 ... c Min unsat cost LB: 58887 ... c Min unsat cost LB: 58888 ... c Min unsat cost LB: 58890 ... c Min unsat cost LB: 58891 ... c Min unsat cost LB: 58892 ... c Min unsat cost LB: 58893 ... c Min unsat cost LB: 58894 ... c Min unsat cost LB: 58895 ... c Min unsat cost LB: 58896 ... c Min unsat cost LB: 58897 ... c Min unsat cost LB: 58898 ... c Min unsat cost LB: 58899 ... c Min unsat cost LB: 58900 ... c Min unsat cost LB: 58901 ... c Min unsat cost LB: 58902 ... c Min unsat cost LB: 58903 ... c Min unsat cost LB: 58929 ... c Min unsat cost LB: 58930 ... c Min unsat cost LB: 58931 ... c Min unsat cost LB: 58932 ... c Min unsat cost LB: 58956 ... c Min unsat cost LB: 58957 ... c Min unsat cost LB: 58958 ... c Min unsat cost LB: 58959 ... c Min unsat cost LB: 58960 ... c Min unsat cost LB: 58961 ... c Min unsat cost LB: 58962 ... c Min unsat cost LB: 58964 ... c Min unsat cost LB: 58965 ... c Min unsat cost LB: 58970 ... c Min unsat cost LB: 58971 ... c Min unsat cost LB: 58972 ... c Min unsat cost LB: 58973 ... c Min unsat cost LB: 58974 ... c Min unsat cost LB: 58976 ... c Min unsat cost LB: 58977 ... c Min unsat cost LB: 58978 ... c Min unsat cost LB: 58979 ... c Min unsat cost LB: 58980 ... c Min unsat cost LB: 58981 ... c Min unsat cost LB: 58982 ... c Min unsat cost LB: 58983 ... c Min unsat cost LB: 58984 ... c Min unsat cost LB: 58985 ... c Min unsat cost LB: 58986 ... c Min unsat cost LB: 58987 ... c Min unsat cost LB: 58988 ... c Min unsat cost LB: 58989 ... c Min unsat cost LB: 58991 ... c Min unsat cost LB: 58992 ... c Min unsat cost LB: 58993 ... c Min unsat cost LB: 58994 ... c Min unsat cost LB: 58995 ... c Min unsat cost LB: 58996 ... c Min unsat cost LB: 58997 ... c Min unsat cost LB: 58998 ... c Min unsat cost LB: 58999 ... c Min unsat cost LB: 59000 ... c Min unsat cost LB: 59001 ... c Min unsat cost LB: 59002 ... c Min unsat cost LB: 59003 ... c Min unsat cost LB: 59004 ... c Min unsat cost LB: 59005 ... c Min unsat cost LB: 59006 ... c Min unsat cost LB: 59007 ... c Min unsat cost LB: 59008 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59010 ... c Min unsat cost LB: 59011 ... c Min unsat cost LB: 59012 ... c Min unsat cost LB: 59013 ... c Min unsat cost LB: 59014 ... c Min unsat cost LB: 59015 ... c Min unsat cost LB: 59016 ... c Min unsat cost LB: 59017 ... c Min unsat cost LB: 59018 ... c Min unsat cost LB: 59019 ... c Min unsat cost LB: 59020 ... c Min unsat cost LB: 59021 ... c Min unsat cost LB: 59022 ... c Min unsat cost LB: 59023 ... c Min unsat cost LB: 59024 ... c Min unsat cost LB: 59025 ... c Min unsat cost LB: 59026 ... c Min unsat cost LB: 59027 ... c Min unsat cost LB: 59028 ... c Min unsat cost LB: 59030 ... c Min unsat cost LB: 59031 ... c Min unsat cost LB: 59032 ... c Min unsat cost LB: 59033 ... c Min unsat cost LB: 59034 ... c Min unsat cost LB: 59035 ... c Min unsat cost LB: 59036 ... c Min unsat cost LB: 59037 ... c Min unsat cost LB: 59038 ... c Min unsat cost LB: 59043 ... c Min unsat cost LB: 59049 ... c Min unsat cost LB: 59050 ... c Min unsat cost LB: 59051 ... c Min unsat cost LB: 59052 ... c Min unsat cost LB: 59053 ... c Min unsat cost LB: 59054 ... c Min unsat cost LB: 59055 ... c Min unsat cost LB: 59056 ... c Min unsat cost LB: 59057 ... c Min unsat cost LB: 59058 ... c Min unsat cost LB: 59059 ... c Min unsat cost LB: 59060 ... c Min unsat cost LB: 59061 ... c Min unsat cost LB: 59062 ... c Min unsat cost LB: 59066 ... c Min unsat cost LB: 59067Killed 1816.979u 2.777s 30:24.19 99.7% 0+0k 0+0io 0pf+0w