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_130_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_0000.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_130_0000.txt.wcnf *** c c Min unsat cost LB: 453 ... c Min unsat cost LB: 863 ... c Min unsat cost LB: 1273 ... c Min unsat cost LB: 1726 ... c Min unsat cost LB: 2179 ... c Min unsat cost LB: 2632 ... c Min unsat cost LB: 3042 ... c Min unsat cost LB: 3487 ... c Min unsat cost LB: 3495 ... c Min unsat cost LB: 3905 ... c Min unsat cost LB: 4315 ... c Min unsat cost LB: 4725 ... c Min unsat cost LB: 5268 ... c Min unsat cost LB: 5678 ... c Min unsat cost LB: 6131 ... c Min unsat cost LB: 6541 ... c Min unsat cost LB: 6951 ... c Min unsat cost LB: 7361 ... c Min unsat cost LB: 7771 ... c Min unsat cost LB: 8181 ... c Min unsat cost LB: 8634 ... c Min unsat cost LB: 9177 ... c Min unsat cost LB: 9630 ... c Min unsat cost LB: 10488 ... c Min unsat cost LB: 11031 ... c Min unsat cost LB: 11441 ... c Min unsat cost LB: 11851 ... c Min unsat cost LB: 12261 ... c Min unsat cost LB: 13662 ... c Min unsat cost LB: 15063 ... c Min unsat cost LB: 15606 ... c Min unsat cost LB: 16016 ... c Min unsat cost LB: 16410 ... c Min unsat cost LB: 16820 ... c Min unsat cost LB: 16836 ... c Min unsat cost LB: 17289 ... c Min unsat cost LB: 18690 ... c Min unsat cost LB: 20091 ... c Min unsat cost LB: 20544 ... c Min unsat cost LB: 20974 ... c Min unsat cost LB: 20997 ... c Min unsat cost LB: 21450 ... c Min unsat cost LB: 21855 ... c Min unsat cost LB: 21903 ... c Min unsat cost LB: 22484 ... c Min unsat cost LB: 23304 ... c Min unsat cost LB: 23757 ... c Min unsat cost LB: 24210 ... c Min unsat cost LB: 24663 ... c Min unsat cost LB: 25116 ... c Min unsat cost LB: 25569 ... c Min unsat cost LB: 26022 ... c Min unsat cost LB: 26475 ... c Min unsat cost LB: 26928 ... c Min unsat cost LB: 27381 ... c Min unsat cost LB: 27834 ... c Min unsat cost LB: 28287 ... c Min unsat cost LB: 28740 ... c Min unsat cost LB: 28830 ... c Min unsat cost LB: 29193 ... c Min unsat cost LB: 29646 ... c Min unsat cost LB: 31047 ... c Min unsat cost LB: 31127 ... c Min unsat cost LB: 31580 ... c Min unsat cost LB: 32706 ... c Min unsat cost LB: 32981 ... c Min unsat cost LB: 33434 ... c Min unsat cost LB: 34560 ... c Min unsat cost LB: 35961 ... c Min unsat cost LB: 36236 ... c Min unsat cost LB: 37637 ... c Min unsat cost LB: 38488 ... c Min unsat cost LB: 38829 ... c Min unsat cost LB: 38898 ... c Min unsat cost LB: 39308 ... c Min unsat cost LB: 39405 ... c Min unsat cost LB: 39815 ... c Min unsat cost LB: 39964 ... c Min unsat cost LB: 40545 ... c Min unsat cost LB: 41671 ... c Min unsat cost LB: 42038 ... c Min unsat cost LB: 43439 ... c Min unsat cost LB: 43892 ... c Min unsat cost LB: 44345 ... c Min unsat cost LB: 44755 ... c Min unsat cost LB: 45016 ... c Min unsat cost LB: 45347 ... c Min unsat cost LB: 45694 ... c Min unsat cost LB: 46041 ... c Min unsat cost LB: 46104 ... c Min unsat cost LB: 47505 ... c Min unsat cost LB: 47958 ... c Min unsat cost LB: 47966 ... c Min unsat cost LB: 48115 ... c Min unsat cost LB: 48376 ... c Min unsat cost LB: 48829 ... c Min unsat cost LB: 48978 ... c Min unsat cost LB: 49176 ... c Min unsat cost LB: 49629 ... c Min unsat cost LB: 50039 ... c Min unsat cost LB: 50449 ... c Min unsat cost LB: 50859 ... c Min unsat cost LB: 50987 ... c Min unsat cost LB: 51269 ... c Min unsat cost LB: 51679 ... c Min unsat cost LB: 51717 ... c Min unsat cost LB: 52162 ... c Min unsat cost LB: 52525 ... c Min unsat cost LB: 52533 ... c Min unsat cost LB: 52756 ... c Min unsat cost LB: 53209 ... c Min unsat cost LB: 53391 ... c Min unsat cost LB: 53473 ... c Min unsat cost LB: 53540 ... c Min unsat cost LB: 53563 ... c Min unsat cost LB: 53611 ... c Min unsat cost LB: 53637 ... c Min unsat cost LB: 53705 ... c Min unsat cost LB: 54090 ... c Min unsat cost LB: 54281 ... c Min unsat cost LB: 54449 ... c Min unsat cost LB: 54543 ... c Min unsat cost LB: 54747 ... c Min unsat cost LB: 54815 ... c Min unsat cost LB: 54959 ... c Min unsat cost LB: 55369 ... c Min unsat cost LB: 55678 ... c Min unsat cost LB: 55822 ... c Min unsat cost LB: 56232 ... c Min unsat cost LB: 56642 ... c Min unsat cost LB: 56849 ... c Min unsat cost LB: 56946 ... c Min unsat cost LB: 57302 ... c Min unsat cost LB: 57505 ... c Min unsat cost LB: 58178 ... c Min unsat cost LB: 58906 ... c Min unsat cost LB: 59034 ... c Min unsat cost LB: 59304 ... c Min unsat cost LB: 59307 ... c Min unsat cost LB: 59358 ... c Min unsat cost LB: 59607 ... c Min unsat cost LB: 59780 ... c Min unsat cost LB: 59997 ... c Min unsat cost LB: 60407 ... c Min unsat cost LB: 60540 ... c Min unsat cost LB: 60738 ... c Min unsat cost LB: 60793 ... c Min unsat cost LB: 60860 ... c Min unsat cost LB: 60868 ... c Min unsat cost LB: 60943 ... c Min unsat cost LB: 61077 ... c Min unsat cost LB: 61424 ... c Min unsat cost LB: 61530 ... c Min unsat cost LB: 61730 ... c Min unsat cost LB: 61755 ... c Min unsat cost LB: 61771 ... c Min unsat cost LB: 61887 ... c Min unsat cost LB: 62118 ... c Min unsat cost LB: 62183 ... c Min unsat cost LB: 62267 ... c Min unsat cost LB: 62354 ... c Min unsat cost LB: 62417 ... c Min unsat cost LB: 62616 ... c Min unsat cost LB: 62628 ... c Min unsat cost LB: 62752 ... c Min unsat cost LB: 62817 ... c Min unsat cost LB: 63013 ... c Min unsat cost LB: 63146 ... c Min unsat cost LB: 63211 ... c Min unsat cost LB: 63215 ... c Min unsat cost LB: 63227 ... c Min unsat cost LB: 63237 ... c Min unsat cost LB: 63264 ... c Min unsat cost LB: 63317 ... c Min unsat cost LB: 63600 ... c Min unsat cost LB: 63613 ... c Min unsat cost LB: 63659 ... c Min unsat cost LB: 63667 ... c Min unsat cost LB: 63687 ... c Min unsat cost LB: 63740 ... c Min unsat cost LB: 63747 ... c Min unsat cost LB: 63953 ... c Min unsat cost LB: 63996 ... c Min unsat cost LB: 64577 ... c Min unsat cost LB: 64578 ... c Min unsat cost LB: 64920 ... c Min unsat cost LB: 65124 ... c Min unsat cost LB: 65159 ... c Min unsat cost LB: 65534 ... c Min unsat cost LB: 65542 ... c Min unsat cost LB: 65816 ... c Min unsat cost LB: 65854 ... c Min unsat cost LB: 65880 ... c Min unsat cost LB: 65947 ... c Min unsat cost LB: 66041 ... c Min unsat cost LB: 66115 ... c Min unsat cost LB: 66338 ... c Min unsat cost LB: 66428 ... c Min unsat cost LB: 66476 ... c Min unsat cost LB: 66746 ... c Min unsat cost LB: 67549 ... c Min unsat cost LB: 67646 ... c Min unsat cost LB: 67660 ... c Min unsat cost LB: 68090 ... c Min unsat cost LB: 68272 ... c Min unsat cost LB: 68657 ... c Min unsat cost LB: 68678 ... c Min unsat cost LB: 68725 ... c Min unsat cost LB: 69203 ... c Min unsat cost LB: 69823 ... c Min unsat cost LB: 69957 ... c Min unsat cost LB: 70019 ... c Min unsat cost LB: 70232 ... c Min unsat cost LB: 70405 ... c Min unsat cost LB: 70480 ... c Min unsat cost LB: 70761 ... c Min unsat cost LB: 70961 ... c Min unsat cost LB: 71358 ... c Min unsat cost LB: 71425 ... c Min unsat cost LB: 71448 ... c Min unsat cost LB: 71460 ... c Min unsat cost LB: 71588 ... c Min unsat cost LB: 71604 ... c Min unsat cost LB: 71672 ... c Min unsat cost LB: 71701 ... c Min unsat cost LB: 71779 ... c Min unsat cost LB: 71831 ... c Min unsat cost LB: 71858 ... c Min unsat cost LB: 71876 ... c Min unsat cost LB: 71913 ... c Min unsat cost LB: 72074 ... c Min unsat cost LB: 72077 ... c Min unsat cost LB: 72090 ... c Min unsat cost LB: 72114 ... c Min unsat cost LB: 72115 ... c Min unsat cost LB: 72347 ... c Min unsat cost LB: 72379 ... c Min unsat cost LB: 72430 ... c Min unsat cost LB: 72434 ... c Min unsat cost LB: 72665 ... c Min unsat cost LB: 72815 ... c Min unsat cost LB: 72837 ... c Min unsat cost LB: 72954 ... c Min unsat cost LB: 72962 ... c Min unsat cost LB: 72994 ... c Min unsat cost LB: 73018 ... c Min unsat cost LB: 73020 ... c Min unsat cost LB: 73061 ... c Min unsat cost LB: 73127 ... c Min unsat cost LB: 73169 ... c Min unsat cost LB: 73177 ... c Min unsat cost LB: 73321 ... c Min unsat cost LB: 73396 ... c Min unsat cost LB: 73515 ... c Min unsat cost LB: 73579 ... c Min unsat cost LB: 73723 ... c Min unsat cost LB: 73726 ... c Min unsat cost LB: 73805 ... c Min unsat cost LB: 73997 ... c Min unsat cost LB: 73998 ... c Min unsat cost LB: 74020 ... c Min unsat cost LB: 74021 ... c Min unsat cost LB: 74029 ... c Min unsat cost LB: 74030 ... c Min unsat cost LB: 74039 ... c Min unsat cost LB: 74067 ... c Min unsat cost LB: 74082 ... c Min unsat cost LB: 74118 ... c Min unsat cost LB: 74128 ... c Min unsat cost LB: 74135 ... c Min unsat cost LB: 74162 ... c Min unsat cost LB: 74205 ... c Min unsat cost LB: 74208 ... c Min unsat cost LB: 74284 ... c Min unsat cost LB: 74292 ... c Min unsat cost LB: 74299 ... c Min unsat cost LB: 74363 ... c Min unsat cost LB: 74366 ... c Min unsat cost LB: 74374 ... c Min unsat cost LB: 74403 ... c Min unsat cost LB: 74411 ... c Min unsat cost LB: 74414 ... c Min unsat cost LB: 74418 ... c Min unsat cost LB: 74419 ... c Min unsat cost LB: 74420 ... c Min unsat cost LB: 74421 ... c Min unsat cost LB: 74427 ... c Min unsat cost LB: 74431 ... c Min unsat cost LB: 74433 ... c Min unsat cost LB: 74434 ... c Min unsat cost LB: 74436 ... c Min unsat cost LB: 74499 ... c Min unsat cost LB: 74511 ... c Min unsat cost LB: 74523 ... c Min unsat cost LB: 74576 ... c Min unsat cost LB: 74583 ... c Min unsat cost LB: 74635 ... c Min unsat cost LB: 74645 ... c Min unsat cost LB: 74651 ... c Min unsat cost LB: 74659 ... c Min unsat cost LB: 74660 ... c Min unsat cost LB: 74664 ... c Min unsat cost LB: 74666 ... c Min unsat cost LB: 74676 ... c Min unsat cost LB: 74683 ... c Min unsat cost LB: 74687 ... c Min unsat cost LB: 74689 ... c Min unsat cost LB: 74690 ... c Min unsat cost LB: 74698 ... c Min unsat cost LB: 74726 ... c Min unsat cost LB: 74733 ... c Min unsat cost LB: 74756 ... c Min unsat cost LB: 74759 ... c Min unsat cost LB: 74761 ... c Min unsat cost LB: 74763 ... c Min unsat cost LB: 74768 ... c Min unsat cost LB: 74772 ... c Min unsat cost LB: 74775 ... c Min unsat cost LB: 74779 ... c Min unsat cost LB: 74783 ... c Min unsat cost LB: 74784 ... c Min unsat cost LB: 74785 ... c Min unsat cost LB: 74786 ... c Min unsat cost LB: 74880 ... c Min unsat cost LB: 74882 ... c Min unsat cost LB: 74883 ... c Min unsat cost LB: 74886 ... c Min unsat cost LB: 74888 ... c Min unsat cost LB: 74890 ... c Min unsat cost LB: 74893 ... c Min unsat cost LB: 74896 ... c Min unsat cost LB: 74903 ... c Min unsat cost LB: 74904 ... c Min unsat cost LB: 74916 ... c Min unsat cost LB: 74918 ... c Min unsat cost LB: 74933 ... c Min unsat cost LB: 74935 ... c Min unsat cost LB: 74936 ... c Min unsat cost LB: 74937 ... c Min unsat cost LB: 74940 ... c Min unsat cost LB: 74943 ... c Min unsat cost LB: 74951 ... c Min unsat cost LB: 74954 ... c Min unsat cost LB: 74955 ... c Min unsat cost LB: 74966 ... c Min unsat cost LB: 74972 ... c Min unsat cost LB: 74973 ... c Min unsat cost LB: 74975 ... c Min unsat cost LB: 74984 ... c Min unsat cost LB: 74985 ... c Min unsat cost LB: 74986 ... c Min unsat cost LB: 74989 ... c Min unsat cost LB: 74996 ... c Min unsat cost LB: 75010 ... c Min unsat cost LB: 75084 ... c Min unsat cost LB: 75085 ... c Min unsat cost LB: 75086 ... c Min unsat cost LB: 75087 ... c Min unsat cost LB: 75088 ... c Min unsat cost LB: 75098 ... c Min unsat cost LB: 75105 ... c Min unsat cost LB: 75106 ... c Min unsat cost LB: 75112 ... c Min unsat cost LB: 75114 ... c Min unsat cost LB: 75116 ... c Min unsat cost LB: 75117 ... c Min unsat cost LB: 75118 ... c Min unsat cost LB: 75119 ... c Min unsat cost LB: 75120 ... c Min unsat cost LB: 75121 ... c Min unsat cost LB: 75127 ... c Min unsat cost LB: 75129 ... c Min unsat cost LB: 75139 ... c Min unsat cost LB: 75140 ... c Min unsat cost LB: 75141 ... c Min unsat cost LB: 75142 ... c Min unsat cost LB: 75143 ... c Min unsat cost LB: 75145 ... c Min unsat cost LB: 75146 ... c Min unsat cost LB: 75147 ... c Min unsat cost LB: 75149 ... c Min unsat cost LB: 75150 ... c Min unsat cost LB: 75338 ... c Min unsat cost LB: 75339 ... c Min unsat cost LB: 75341 ... c Min unsat cost LB: 75342 ... c Min unsat cost LB: 75350 ... c Min unsat cost LB: 75368 ... c Min unsat cost LB: 75403 ... c Min unsat cost LB: 75438 ... c Min unsat cost LB: 75616 ... c Min unsat cost LB: 75617 ... c Min unsat cost LB: 75684 ... c Min unsat cost LB: 75685 ... c Min unsat cost LB: 75688 ... c Min unsat cost LB: 75689 ... c Min unsat cost LB: 75691 ... c Min unsat cost LB: 75692 ... c Min unsat cost LB: 75693 ... c Min unsat cost LB: 75696 ... c Min unsat cost LB: 75697 ... c Min unsat cost LB: 75711 ... c Min unsat cost LB: 75714 ... c Min unsat cost LB: 75729 ... c Min unsat cost LB: 75730 ... c Min unsat cost LB: 75731 ... c Min unsat cost LB: 75734 ... c Min unsat cost LB: 75735 ... c Min unsat cost LB: 75749 ... c Min unsat cost LB: 75765 ... c Min unsat cost LB: 75771 ... c Min unsat cost LB: 75911 ... c Min unsat cost LB: 75919 ... c Min unsat cost LB: 75927 ... c Min unsat cost LB: 75941 ... c Min unsat cost LB: 75942 ... c Min unsat cost LB: 75972 ... c Min unsat cost LB: 76043 ... c Min unsat cost LB: 76105 ... c Min unsat cost LB: 76107 ... c Min unsat cost LB: 76110 ... c Min unsat cost LB: 76117 ... c Min unsat cost LB: 76118 ... c Min unsat cost LB: 76122 ... c Min unsat cost LB: 76129 ... c Min unsat cost LB: 76133 ... c Min unsat cost LB: 76135 ... c Min unsat cost LB: 76145 ... c Min unsat cost LB: 76146 ... c Min unsat cost LB: 76147 ... c Min unsat cost LB: 76148 ... c Min unsat cost LB: 76154 ... c Min unsat cost LB: 76157 ... c Min unsat cost LB: 76158 ... c Min unsat cost LB: 76165 ... c Min unsat cost LB: 76168 ... c Min unsat cost LB: 76169 ... c Min unsat cost LB: 76170 ... c Min unsat cost LB: 76171 ... c Min unsat cost LB: 76172 ... c Min unsat cost LB: 76173 ... c Min unsat cost LB: 76175 ... c Min unsat cost LB: 76176 ... c Min unsat cost LB: 76177 ... c Min unsat cost LB: 76178 ... c Min unsat cost LB: 76179 ... c Min unsat cost LB: 76180 ... c Min unsat cost LB: 76181 ... c Min unsat cost LB: 76182 ... c Min unsat cost LB: 76183 ... c Min unsat cost LB: 76184 ... c Min unsat cost LB: 76185 ... c Min unsat cost LB: 76186 ... c Min unsat cost LB: 76187 ... c Min unsat cost LB: 76188 ... c Min unsat cost LB: 76189 ... c Min unsat cost LB: 76190 ... c Min unsat cost LB: 76191 ... c Min unsat cost LB: 76192 ... c Min unsat cost LB: 76193 ... c Min unsat cost LB: 76194 ... c Min unsat cost LB: 76195 ... c Min unsat cost LB: 76196 ... c Min unsat cost LB: 76197 ... c Min unsat cost LB: 76198 ... c Min unsat cost LB: 76199 ... c Min unsat cost LB: 76200 ... c Min unsat cost LB: 76201 ... c Min unsat cost LB: 76202 ... c Min unsat cost LB: 76203 ... c Min unsat cost LB: 76204 ... c Min unsat cost LB: 76205 ... c Min unsat cost LB: 76206 ... c Min unsat cost LB: 76207 ... c Min unsat cost LB: 76208 ... c Min unsat cost LB: 76209 ... c Min unsat cost LB: 76210 ... c Min unsat cost LB: 76211 ... c Min unsat cost LB: 76212 ... c Min unsat cost LB: 76213 ... c Min unsat cost LB: 76216 ... c Min unsat cost LB: 76218 ... c Min unsat cost LB: 76220 ... c Min unsat cost LB: 76221 ... c Min unsat cost LB: 76222 ... c Min unsat cost LB: 76223 ... c Min unsat cost LB: 76224 ... c Min unsat cost LB: 76225 ... c Min unsat cost LB: 76228 ... c Min unsat cost LB: 76229 ... c Min unsat cost LB: 76233 ... c Min unsat cost LB: 76238 ... c Min unsat cost LB: 76239 ... c Min unsat cost LB: 76240 ... c Min unsat cost LB: 76242 ... c Min unsat cost LB: 76254 ... c Min unsat cost LB: 76255 ... c Min unsat cost LB: 76256 ... c Min unsat cost LB: 76257 ... c Min unsat cost LB: 76258 ... c Min unsat cost LB: 76259 ... c Min unsat cost LB: 76260 ... c Min unsat cost LB: 76265 ... c Min unsat cost LB: 76266 ... c Min unsat cost LB: 76267 ... c Min unsat cost LB: 76268 ... c Min unsat cost LB: 76284 ... c Min unsat cost LB: 76297 ... c Min unsat cost LB: 76298 ... c Min unsat cost LB: 76299 ... c Min unsat cost LB: 76300 ... c Min unsat cost LB: 76301 ... c Min unsat cost LB: 76302 ... c Min unsat cost LB: 76305 ... c Min unsat cost LB: 76306 ... c Min unsat cost LB: 76307 ... c Min unsat cost LB: 76308 ... c Min unsat cost LB: 76309 ... c Min unsat cost LB: 76310 ... c Min unsat cost LB: 76311 ... c Min unsat cost LB: 76312 ... c Min unsat cost LB: 76313 ... c Min unsat cost LB: 76314 ... c Min unsat cost LB: 76315 ... c Min unsat cost LB: 76316 ... c Min unsat cost LB: 76317 ... c Min unsat cost LB: 76428 ... c Min unsat cost LB: 76449 ... c Min unsat cost LB: 76485 ... c Min unsat cost LB: 76586 ... c Min unsat cost LB: 76674 ... c Min unsat cost LB: 76682 ... c Min unsat cost LB: 76718 ... c Min unsat cost LB: 76736 ... c Min unsat cost LB: 76753 ... c Min unsat cost LB: 76757 ... c Min unsat cost LB: 76771 ... c Min unsat cost LB: 76785 ... c Min unsat cost LB: 76793 ... c Min unsat cost LB: 76801 ... c Min unsat cost LB: 76802 ... c Min unsat cost LB: 76829 ... c Min unsat cost LB: 76830 ... c Min unsat cost LB: 76831 ... c Min unsat cost LB: 76832 ... c Min unsat cost LB: 76846 ... c Min unsat cost LB: 76848 ... c Min unsat cost LB: 76854 ... c Min unsat cost LB: 76857 ... c Min unsat cost LB: 76859 ... c Min unsat cost LB: 76863 ... c Min unsat cost LB: 76865 ... c Min unsat cost LB: 76866 ... c Min unsat cost LB: 76873 ... c Min unsat cost LB: 76939 ... c Min unsat cost LB: 76941 ... c Min unsat cost LB: 76945 ... c Min unsat cost LB: 76946 ... c Min unsat cost LB: 76959 ... c Min unsat cost LB: 76960 ... c Min unsat cost LB: 76961 ... c Min unsat cost LB: 76964 ... c Min unsat cost LB: 76965 ... c Min unsat cost LB: 76966 ... c Min unsat cost LB: 76969 ... c Min unsat cost LB: 76971 ... c Min unsat cost LB: 76972 ... c Min unsat cost LB: 76977 ... c Min unsat cost LB: 76978 ... c Min unsat cost LB: 76982 ... c Min unsat cost LB: 76992 ... c Min unsat cost LB: 76993 ... c Min unsat cost LB: 77007 ... c Min unsat cost LB: 77049 ... c Min unsat cost LB: 77051 ... c Min unsat cost LB: 77054 ... c Min unsat cost LB: 77055 ... c Min unsat cost LB: 77056 ... c Min unsat cost LB: 77057 ... c Min unsat cost LB: 77058 ... c Min unsat cost LB: 77059 ... c Min unsat cost LB: 77061 ... c Min unsat cost LB: 77062 ... c Min unsat cost LB: 77063 ... c Min unsat cost LB: 77064 ... c Min unsat cost LB: 77071 ... c Min unsat cost LB: 77072 ... c Min unsat cost LB: 77073 ... c Min unsat cost LB: 77074 ... c Min unsat cost LB: 77075 ... c Min unsat cost LB: 77076 ... c Min unsat cost LB: 77077 ... c Min unsat cost LB: 77078 ... c Min unsat cost LB: 77080 ... c Min unsat cost LB: 77081 ... c Min unsat cost LB: 77082 ... c Min unsat cost LB: 77083 ... c Min unsat cost LB: 77084 ... c Min unsat cost LB: 77085 ... c Min unsat cost LB: 77086 ... c Min unsat cost LB: 77087 ... c Min unsat cost LB: 77088 ... c Min unsat cost LB: 77089 ... c Min unsat cost LB: 77090 ... c Min unsat cost LB: 77091 ... c Min unsat cost LB: 77092 ... c Min unsat cost LB: 77095 ... c Min unsat cost LB: 77099 ... c Min unsat cost LB: 77101 ... c Min unsat cost LB: 77102 ... c Min unsat cost LB: 77103 ... c Min unsat cost LB: 77105 ... c Min unsat cost LB: 77126 ... c Min unsat cost LB: 77127 ... c Min unsat cost LB: 77128 ... c Min unsat cost LB: 77132 ... c Min unsat cost LB: 77133 ... c Min unsat cost LB: 77134 ... c Min unsat cost LB: 77144 ... c Min unsat cost LB: 77145 ... c Min unsat cost LB: 77146 ... c Min unsat cost LB: 77147 ... c Min unsat cost LB: 77148 ... c Min unsat cost LB: 77149 ... c Min unsat cost LB: 77154 ... c Min unsat cost LB: 77316 ... c Min unsat cost LB: 77322 ... c Min unsat cost LB: 77491 ... c Min unsat cost LB: 77495 ... c Min unsat cost LB: 77496 ... c Min unsat cost LB: 77497 ... c Min unsat cost LB: 77498 ... c Min unsat cost LB: 77499 ... c Min unsat cost LB: 77500 ... c Min unsat cost LB: 77501 ... c Min unsat cost LB: 77503 ... c Min unsat cost LB: 77504 ... c Min unsat cost LB: 77506 ... c Min unsat cost LB: 77507 ... c Min unsat cost LB: 77508 ... c Min unsat cost LB: 77509 ... c Min unsat cost LB: 77510 ... c Min unsat cost LB: 77511 ... c Min unsat cost LB: 77512 ... c Min unsat cost LB: 77513 ... c Min unsat cost LB: 77514 ... c Min unsat cost LB: 77515 ... c Min unsat cost LB: 77516 ... c Min unsat cost LB: 77517 ... c Min unsat cost LB: 77518 ... c Min unsat cost LB: 77519 ... c Min unsat cost LB: 77520 ... c Min unsat cost LB: 77523 ... c Min unsat cost LB: 77524 ... c Min unsat cost LB: 77525 ... c Min unsat cost LB: 77526 ... c Min unsat cost LB: 77530 ... c Min unsat cost LB: 77531 ... c Min unsat cost LB: 77532 ... c Min unsat cost LB: 77533 ... c Min unsat cost LB: 77534 ... c Min unsat cost LB: 77535 ... c Min unsat cost LB: 77536 ... c Min unsat cost LB: 77537 ... c Min unsat cost LB: 77538 ... c Min unsat cost LB: 77539 ... c Min unsat cost LB: 77540 ... c Min unsat cost LB: 77616 ... c Min unsat cost LB: 78333 ... c Min unsat cost LB: 78334 ... c Min unsat cost LB: 78353 ... c Min unsat cost LB: 78354 ... c Min unsat cost LB: 78764 ... c Min unsat cost LB: 78765 ... c Min unsat cost LB: 78766 ... c Min unsat cost LB: 78767 ... c Min unsat cost LB: 78768 ... c Min unsat cost LB: 78769 ... c Min unsat cost LB: 78770 ... c Min unsat cost LB: 78771 ... c Min unsat cost LB: 78772 ... c Min unsat cost LB: 78773 ... c Min unsat cost LB: 78774 ... c Min unsat cost LB: 78775 ... c Min unsat cost LB: 78776 ... c Min unsat cost LB: 78777 ... c Min unsat cost LB: 78778 ... c Min unsat cost LB: 78779 ... c Min unsat cost LB: 78780 ... c Min unsat cost LB: 78782 ... c Min unsat cost LB: 78783 ... c Min unsat cost LB: 78784 ... c Min unsat cost LB: 78785 ... c Min unsat cost LB: 78786 ... c Min unsat cost LB: 78787 ... c Min unsat cost LB: 78789 ... c Min unsat cost LB: 78790 ... c Min unsat cost LB: 78791 ... c Min unsat cost LB: 78792 ... c Min unsat cost LB: 78793 ... c Min unsat cost LB: 78794 ... c Min unsat cost LB: 78795 ... c Min unsat cost LB: 78796 ... c Min unsat cost LB: 78801 ... c Min unsat cost LB: 78802 ... c Min unsat cost LB: 78838 ... c Min unsat cost LB: 78890 ... c Min unsat cost LB: 78895 ... c Min unsat cost LB: 78897 ... c Min unsat cost LB: 78931 ... c Min unsat cost LB: 78951 ... c Min unsat cost LB: 78959 ... c Min unsat cost LB: 78960 ... c Min unsat cost LB: 78961 ... c Min unsat cost LB: 78962 ... c Min unsat cost LB: 78965 ... c Min unsat cost LB: 78966 ... c Min unsat cost LB: 78967 ... c Min unsat cost LB: 78968 ... c Min unsat cost LB: 78969 ... c Min unsat cost LB: 78970 ... c Min unsat cost LB: 78971 ... c Min unsat cost LB: 78972 ... c Min unsat cost LB: 78973 ... c Min unsat cost LB: 78974 ... c Min unsat cost LB: 78975 ... c Min unsat cost LB: 78976 ... c Min unsat cost LB: 78977 ... c Min unsat cost LB: 78978 ... c Min unsat cost LB: 78979 ... c Min unsat cost LB: 78980 ... c Min unsat cost LB: 78981 ... c Min unsat cost LB: 78982 ... c Min unsat cost LB: 78983 ... c Min unsat cost LB: 78984 ... c Min unsat cost LB: 78985 ... c Min unsat cost LB: 78986 ... c Min unsat cost LB: 78987 ... c Min unsat cost LB: 78988 ... c Min unsat cost LB: 78989 ... c Min unsat cost LB: 78990 ... c Min unsat cost LB: 78991 ... c Min unsat cost LB: 78997 ... c Min unsat cost LB: 79022 ... c Min unsat cost LB: 79027 ... c Min unsat cost LB: 79028 ... c Min unsat cost LB: 79029 ... c Min unsat cost LB: 79030 ... c Min unsat cost LB: 79031 ... c Min unsat cost LB: 79032 ... c Min unsat cost LB: 79033 ... c Min unsat cost LB: 79034 ... c Min unsat cost LB: 79035 ... c Min unsat cost LB: 79050 ... c Min unsat cost LB: 79051 ... c Min unsat cost LB: 79053 ... c Min unsat cost LB: 79054 ... c Min unsat cost LB: 79055 ... c Min unsat cost LB: 79056 ... c Min unsat cost LB: 79057 ... c Min unsat cost LB: 79058 ... c Min unsat cost LB: 79059 ... c Min unsat cost LB: 79060 ... c Min unsat cost LB: 79061 ... c Min unsat cost LB: 79062 ... c Min unsat cost LB: 79063 ... c Min unsat cost LB: 79064 ... c Min unsat cost LB: 79065 ... c Min unsat cost LB: 79066 ... c Min unsat cost LB: 79067 ... c Min unsat cost LB: 79068 ... c Min unsat cost LB: 79069 ... c Min unsat cost LB: 79070 ... c Min unsat cost LB: 79071 ... c Min unsat cost LB: 79072 ... c Min unsat cost LB: 79073 ... c Min unsat cost LB: 79074 ... c Min unsat cost LB: 79075 ... c Min unsat cost LB: 79076 ... c Min unsat cost LB: 79077 ... c Min unsat cost LB: 79078 ... c Min unsat cost LB: 79079 ... c Min unsat cost LB: 79080 ... c Min unsat cost LB: 79081 ... c Min unsat cost LB: 79082 ... c Min unsat cost LB: 79083 ... c Min unsat cost LB: 79084 ... c Min unsat cost LB: 79085 ... c Min unsat cost LB: 79086 ... c Min unsat cost LB: 79138 ... c Min unsat cost LB: 79139 ... c Min unsat cost LB: 79140 ... c Min unsat cost LB: 79141 ... c Min unsat cost LB: 79142 ... c Min unsat cost LB: 79143 ... c Min unsat cost LB: 79145 ... c Min unsat cost LB: 79150 ... c Min unsat cost LB: 79172 ... c Min unsat cost LB: 79173 ... c Min unsat cost LB: 79174 ... c Min unsat cost LB: 79175 ... c Min unsat cost LB: 79176 ... c Min unsat cost LB: 79177 ... c Min unsat cost LB: 79178 ... c Min unsat cost LB: 79179 ... c Min unsat cost LB: 79180 ... c Min unsat cost LB: 79181 ... c Min unsat cost LB: 79182 ... c Min unsat cost LB: 79183 ... c Min unsat cost LB: 79184 ... c Min unsat cost LB: 79185 ... c Min unsat cost LB: 79186 ... c Min unsat cost LB: 79187 ... c Min unsat cost LB: 79188 ... c Min unsat cost LB: 79189 ... c Min unsat cost LB: 79190 ... c Min unsat cost LB: 79191 ... c Min unsat cost LB: 79192 ... c Min unsat cost LB: 79195 ... c Min unsat cost LB: 79196 ... c Min unsat cost LB: 79197 ... c Min unsat cost LB: 79198 ... c Min unsat cost LB: 79199 ... c Min unsat cost LB: 79200 ... c Min unsat cost LB: 79201 ... c Min unsat cost LB: 79202 ... c Min unsat cost LB: 79203 ... c Min unsat cost LB: 79204 ... c Min unsat cost LB: 79206 ... c Min unsat cost LB: 79207 ... c Min unsat cost LB: 79208 ... c Min unsat cost LB: 79209 ... c Min unsat cost LB: 79217 ... c Min unsat cost LB: 79218 ... c Min unsat cost LB: 79219 ... c Min unsat cost LB: 79220 ... c Min unsat cost LB: 79221 ... c Min unsat cost LB: 79222 ... c Min unsat cost LB: 79223 ... c Min unsat cost LB: 79791 ... c Min unsat cost LB: 79792 ... c Min unsat cost LB: 79793 ... c Min unsat cost LB: 79794 ... c Min unsat cost LB: 79795 ... c Min unsat cost LB: 79796 ... c Min unsat cost LB: 79797 ... c Min unsat cost LB: 79798 ... c Min unsat cost LB: 79799 ... c Min unsat cost LB: 79800 ... c Min unsat cost LB: 79801 ... c Min unsat cost LB: 79802 ... c Min unsat cost LB: 79803 ... c Min unsat cost LB: 79804 ... c Min unsat cost LB: 79805 ... c Min unsat cost LB: 79806 ... c Min unsat cost LB: 79807 ... c Min unsat cost LB: 79808 ... c Min unsat cost LB: 79809 ... c Min unsat cost LB: 79810 ... c Min unsat cost LB: 79811 ... c Min unsat cost LB: 79812 ... c Min unsat cost LB: 79813 ... c Min unsat cost LB: 79814 ... c Min unsat cost LB: 79815 ... c Min unsat cost LB: 79816 ... c Min unsat cost LB: 79817 ... c Min unsat cost LB: 79818 ... c Min unsat cost LB: 79819 ... c Min unsat cost LB: 79820 ... c Min unsat cost LB: 79821 ... c Min unsat cost LB: 79823 ... c Min unsat cost LB: 79824 ... c Min unsat cost LB: 79825 ... c Min unsat cost LB: 79826 ... c Min unsat cost LB: 79827 ... c Min unsat cost LB: 79828 ... c Min unsat cost LB: 79829 ... c Min unsat cost LB: 79830 ... c Min unsat cost LB: 79831 ... c Min unsat cost LB: 79832 ... c Min unsat cost LB: 79833 ... c Min unsat cost LB: 79834 ... c Min unsat cost LB: 79835 ... c Min unsat cost LB: 79836 ... c Min unsat cost LB: 79837 ... c Min unsat cost LB: 79838 ... c Min unsat cost LB: 79839 ... c Min unsat cost LB: 79840 ... c Min unsat cost LB: 79841 ... c Min unsat cost LB: 79842 ... c Min unsat cost LB: 79843 ... c Min unsat cost LB: 79844 ... c Min unsat cost LB: 79845 ... c Min unsat cost LB: 79846 ... c Min unsat cost LB: 79847 ... c Min unsat cost LB: 79848 ... c Min unsat cost LB: 79849 ... c Min unsat cost LB: 79850 ... c Min unsat cost LB: 79851 ... c Min unsat cost LB: 79852 ... c Min unsat cost LB: 79853 ... c Min unsat cost LB: 79854 ... c Min unsat cost LB: 79862 ... c Min unsat cost LB: 79863 ... c Min unsat cost LB: 79864 ... c Min unsat cost LB: 79876 ... c Min unsat cost LB: 79903 ... c Min unsat cost LB: 79915 ... c Min unsat cost LB: 79949 ... c Min unsat cost LB: 80077 ... c Min unsat cost LB: 80102 ... c Min unsat cost LB: 80122 ... c Min unsat cost LB: 80238 ... c Min unsat cost LB: 80250 ... c Min unsat cost LB: 80265 ... c Min unsat cost LB: 80300 ... c Min unsat cost LB: 80334 ... c Min unsat cost LB: 80335 ... c Min unsat cost LB: 80342 ... c Min unsat cost LB: 80343 ... c Min unsat cost LB: 80344 ... c Min unsat cost LB: 80350 ... c Min unsat cost LB: 80351 ... c Min unsat cost LB: 80352 ... c Min unsat cost LB: 80413 ... c Min unsat cost LB: 80415 ... c Min unsat cost LB: 80421 ... c Min unsat cost LB: 80424 ... c Min unsat cost LB: 80425 ... c Min unsat cost LB: 80427 ... c Min unsat cost LB: 80429 ... c Min unsat cost LB: 80432 ... c Min unsat cost LB: 80438 ... c Min unsat cost LB: 80439 ... c Min unsat cost LB: 80440 ... c Min unsat cost LB: 80442 ... c Min unsat cost LB: 80444 ... c Min unsat cost LB: 80476 ... c Min unsat cost LB: 80483 ... c Min unsat cost LB: 80515 ... c Min unsat cost LB: 80521 ... c Min unsat cost LB: 80524 ... c Min unsat cost LB: 80525 ... c Min unsat cost LB: 80526 ... c Min unsat cost LB: 80527 ... c Min unsat cost LB: 80528 ... c Min unsat cost LB: 80529 ... c Min unsat cost LB: 80530 ... c Min unsat cost LB: 80531 ... c Min unsat cost LB: 80534 ... c Min unsat cost LB: 80535 ... c Min unsat cost LB: 80536 ... c Min unsat cost LB: 80540 ... c Min unsat cost LB: 80541 ... c Min unsat cost LB: 80549 ... c Min unsat cost LB: 80551 ... c Min unsat cost LB: 80555 ... c Min unsat cost LB: 80564 ... c Min unsat cost LB: 80565 ... c Min unsat cost LB: 80568 ... c Min unsat cost LB: 80569 ... c Min unsat cost LB: 80571 ... c Min unsat cost LB: 80573 ... c Min unsat cost LB: 80574 ... c Min unsat cost LB: 80575 ... c Min unsat cost LB: 80577 ... c Min unsat cost LB: 80578 ... c Min unsat cost LB: 80580 ... c Min unsat cost LB: 80581 ... c Min unsat cost LB: 80582 ... c Min unsat cost LB: 80583 ... c Min unsat cost LB: 80584 ... c Min unsat cost LB: 80585 ... c Min unsat cost LB: 80586 ... c Min unsat cost LB: 80587 ... c Min unsat cost LB: 80589 ... c Min unsat cost LB: 80590 ... c Min unsat cost LB: 80591 ... c Min unsat cost LB: 80592 ... c Min unsat cost LB: 80593 ... c Min unsat cost LB: 80594 ... c Min unsat cost LB: 80595 ... c Min unsat cost LB: 80596 ... c Min unsat cost LB: 80597 ... c Min unsat cost LB: 80598 ... c Min unsat cost LB: 80600 ... c Min unsat cost LB: 80601 ... c Min unsat cost LB: 80602 ... c Min unsat cost LB: 80604 ... c Min unsat cost LB: 80605 ... c Min unsat cost LB: 80606 ... c Min unsat cost LB: 80607 ... c Min unsat cost LB: 80615 ... c Min unsat cost LB: 80616 ... c Min unsat cost LB: 80617 ... c Min unsat cost LB: 80618 ... c Min unsat cost LB: 80619 ... c Min unsat cost LB: 80620 ... c Min unsat cost LB: 80621 ... c Min unsat cost LB: 80622 ... c Min unsat cost LB: 80623 ... c Min unsat cost LB: 80624 ... c Min unsat cost LB: 80625 ... c Min unsat cost LB: 80626 ... c Min unsat cost LB: 80627 ... c Min unsat cost LB: 80628 ... c Min unsat cost LB: 80629 ... c Min unsat cost LB: 80630 ... c Min unsat cost LB: 80631 ... c Min unsat cost LB: 80632 ... c Min unsat cost LB: 80633 ... c Min unsat cost LB: 80634 ... c Min unsat cost LB: 80635 ... c Min unsat cost LB: 80636 ... c Min unsat cost LB: 80638 ... c Min unsat cost LB: 80639 ... c Min unsat cost LB: 80640 ... c Min unsat cost LB: 80641 ... c Min unsat cost LB: 80642 ... c Min unsat cost LB: 80643 ... c Min unsat cost LB: 80644 ... c Min unsat cost LB: 80645 ... c Min unsat cost LB: 80646 ... c Min unsat cost LB: 80647 ... c Min unsat cost LB: 8064Killed 1814.467u 5.269s 30:20.10 99.9% 0+0k 0+0io 0pf+0w