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_150_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_150_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_150_0002.txt.wcnf *** c c Min unsat cost LB: 433 ... c Min unsat cost LB: 949 ... c Min unsat cost LB: 1465 ... c Min unsat cost LB: 1807 ... c Min unsat cost LB: 1898 ... c Min unsat cost LB: 2149 ... c Min unsat cost LB: 2240 ... c Min unsat cost LB: 2582 ... c Min unsat cost LB: 2924 ... c Min unsat cost LB: 3015 ... c Min unsat cost LB: 3106 ... c Min unsat cost LB: 3345 ... c Min unsat cost LB: 3861 ... c Min unsat cost LB: 3964 ... c Min unsat cost LB: 4124 ... c Min unsat cost LB: 4136 ... c Min unsat cost LB: 4652 ... c Min unsat cost LB: 4797 ... c Min unsat cost LB: 4824 ... c Min unsat cost LB: 4996 ... c Min unsat cost LB: 5512 ... c Min unsat cost LB: 5640 ... c Min unsat cost LB: 6156 ... c Min unsat cost LB: 6672 ... c Min unsat cost LB: 7188 ... c Min unsat cost LB: 7360 ... c Min unsat cost LB: 7611 ... c Min unsat cost LB: 7783 ... c Min unsat cost LB: 7827 ... c Min unsat cost LB: 7918 ... c Min unsat cost LB: 8434 ... c Min unsat cost LB: 8950 ... c Min unsat cost LB: 9122 ... c Min unsat cost LB: 9466 ... c Min unsat cost LB: 9982 ... c Min unsat cost LB: 10498 ... c Min unsat cost LB: 10931 ... c Min unsat cost LB: 11103 ... c Min unsat cost LB: 11275 ... c Min unsat cost LB: 11708 ... c Min unsat cost LB: 11959 ... c Min unsat cost LB: 12141 ... c Min unsat cost LB: 12301 ... c Min unsat cost LB: 12552 ... c Min unsat cost LB: 12574 ... c Min unsat cost LB: 12746 ... c Min unsat cost LB: 12918 ... c Min unsat cost LB: 13007 ... c Min unsat cost LB: 13234 ... c Min unsat cost LB: 13362 ... c Min unsat cost LB: 13534 ... c Min unsat cost LB: 13667 ... c Min unsat cost LB: 13839 ... c Min unsat cost LB: 13878 ... c Min unsat cost LB: 14109 ... c Min unsat cost LB: 14281 ... c Min unsat cost LB: 14714 ... c Min unsat cost LB: 14847 ... c Min unsat cost LB: 15019 ... c Min unsat cost LB: 15120 ... c Min unsat cost LB: 15191 ... c Min unsat cost LB: 15397 ... c Min unsat cost LB: 15569 ... c Min unsat cost LB: 15741 ... c Min unsat cost LB: 15913 ... c Min unsat cost LB: 16041 ... c Min unsat cost LB: 16213 ... c Min unsat cost LB: 16385 ... c Min unsat cost LB: 16557 ... c Min unsat cost LB: 16729 ... c Min unsat cost LB: 16818 ... c Min unsat cost LB: 16990 ... c Min unsat cost LB: 17162 ... c Min unsat cost LB: 17334 ... c Min unsat cost LB: 17506 ... c Min unsat cost LB: 17678 ... c Min unsat cost LB: 17767 ... c Min unsat cost LB: 17939 ... c Min unsat cost LB: 18200 ... c Min unsat cost LB: 18455 ... c Min unsat cost LB: 18627 ... c Min unsat cost LB: 18805 ... c Min unsat cost LB: 19032 ... c Min unsat cost LB: 19204 ... c Min unsat cost LB: 19459 ... c Min unsat cost LB: 19631 ... c Min unsat cost LB: 19661 ... c Min unsat cost LB: 19833 ... c Min unsat cost LB: 20005 ... c Min unsat cost LB: 20310 ... c Min unsat cost LB: 20583 ... c Min unsat cost LB: 20743 ... c Min unsat cost LB: 20915 ... c Min unsat cost LB: 20927 ... c Min unsat cost LB: 21348 ... c Min unsat cost LB: 21520 ... c Min unsat cost LB: 21544 ... c Min unsat cost LB: 21556 ... c Min unsat cost LB: 21805 ... c Min unsat cost LB: 21989 ... c Min unsat cost LB: 22149 ... c Min unsat cost LB: 22285 ... c Min unsat cost LB: 22297 ... c Min unsat cost LB: 22469 ... c Min unsat cost LB: 22629 ... c Min unsat cost LB: 22641 ... c Min unsat cost LB: 22789 ... c Min unsat cost LB: 22801 ... c Min unsat cost LB: 22929 ... c Min unsat cost LB: 22973 ... c Min unsat cost LB: 22985 ... c Min unsat cost LB: 23157 ... c Min unsat cost LB: 23317 ... c Min unsat cost LB: 23329 ... c Min unsat cost LB: 23406 ... c Min unsat cost LB: 23418 ... c Min unsat cost LB: 23501 ... c Min unsat cost LB: 23578 ... c Min unsat cost LB: 23590 ... c Min unsat cost LB: 23608 ... c Min unsat cost LB: 23647 ... c Min unsat cost LB: 23673 ... c Min unsat cost LB: 23730 ... c Min unsat cost LB: 23807 ... c Min unsat cost LB: 23819 ... c Min unsat cost LB: 23837 ... c Min unsat cost LB: 23845 ... c Min unsat cost LB: 24017 ... c Min unsat cost LB: 24145 ... c Min unsat cost LB: 24149 ... c Min unsat cost LB: 24220 ... c Min unsat cost LB: 24260 ... c Min unsat cost LB: 24405 ... c Min unsat cost LB: 24429 ... c Min unsat cost LB: 24432 ... c Min unsat cost LB: 24438 ... c Min unsat cost LB: 24577 ... c Min unsat cost LB: 24604 ... c Min unsat cost LB: 24610 ... c Min unsat cost LB: 24622 ... c Min unsat cost LB: 24641 ... c Min unsat cost LB: 24653 ... c Min unsat cost LB: 24691 ... c Min unsat cost LB: 24700 ... c Min unsat cost LB: 25133 ... c Min unsat cost LB: 25216 ... c Min unsat cost LB: 25330 ... c Min unsat cost LB: 25375 ... c Min unsat cost LB: 25477 ... c Min unsat cost LB: 25535 ... c Min unsat cost LB: 25649 ... c Min unsat cost LB: 25916 ... c Min unsat cost LB: 25999 ... c Min unsat cost LB: 26005 ... c Min unsat cost LB: 26122 ... c Min unsat cost LB: 26248 ... c Min unsat cost LB: 26383 ... c Min unsat cost LB: 26521 ... c Min unsat cost LB: 26764 ... c Min unsat cost LB: 26816 ... c Min unsat cost LB: 26865 ... c Min unsat cost LB: 26936 ... c Min unsat cost LB: 27047 ... c Min unsat cost LB: 27231 ... c Min unsat cost LB: 27480 ... c Min unsat cost LB: 27563 ... c Min unsat cost LB: 27652 ... c Min unsat cost LB: 27824 ... c Min unsat cost LB: 27842 ... c Min unsat cost LB: 28139 ... c Min unsat cost LB: 28145 ... c Min unsat cost LB: 28240 ... c Min unsat cost LB: 28257 ... c Min unsat cost LB: 28301 ... c Min unsat cost LB: 28328 ... c Min unsat cost LB: 28393 ... c Min unsat cost LB: 28399 ... c Min unsat cost LB: 28403 ... c Min unsat cost LB: 28405 ... c Min unsat cost LB: 28415 ... c Min unsat cost LB: 28421 ... c Min unsat cost LB: 28429 ... c Min unsat cost LB: 28447 ... c Min unsat cost LB: 28504 ... c Min unsat cost LB: 28512 ... c Min unsat cost LB: 28552 ... c Min unsat cost LB: 28577 ... c Min unsat cost LB: 28601 ... c Min unsat cost LB: 28613 ... c Min unsat cost LB: 28662 ... c Min unsat cost LB: 28690 ... c Min unsat cost LB: 28702 ... c Min unsat cost LB: 28720 ... c Min unsat cost LB: 28777 ... c Min unsat cost LB: 28830 ... c Min unsat cost LB: 28902 ... c Min unsat cost LB: 28910 ... c Min unsat cost LB: 28943 ... c Min unsat cost LB: 28991 ... c Min unsat cost LB: 29017 ... c Min unsat cost LB: 29047 ... c Min unsat cost LB: 29186 ... c Min unsat cost LB: 29219 ... c Min unsat cost LB: 29247 ... c Min unsat cost LB: 29260 ... c Min unsat cost LB: 29337 ... c Min unsat cost LB: 29390 ... c Min unsat cost LB: 29396 ... c Min unsat cost LB: 29425 ... c Min unsat cost LB: 29542 ... c Min unsat cost LB: 29585 ... c Min unsat cost LB: 29698 ... c Min unsat cost LB: 29707 ... c Min unsat cost LB: 29720 ... c Min unsat cost LB: 29738 ... c Min unsat cost LB: 29741 ... c Min unsat cost LB: 29779 ... c Min unsat cost LB: 29892 ... c Min unsat cost LB: 29951 ... c Min unsat cost LB: 29964 ... c Min unsat cost LB: 29966 ... c Min unsat cost LB: 30053 ... c Min unsat cost LB: 30055 ... c Min unsat cost LB: 30095 ... c Min unsat cost LB: 30153 ... c Min unsat cost LB: 30174 ... c Min unsat cost LB: 30302 ... c Min unsat cost LB: 30393 ... c Min unsat cost LB: 30410 ... c Min unsat cost LB: 30446 ... c Min unsat cost LB: 30522 ... c Min unsat cost LB: 30524 ... c Min unsat cost LB: 30635 ... c Min unsat cost LB: 30724 ... c Min unsat cost LB: 30807 ... c Min unsat cost LB: 30868 ... c Min unsat cost LB: 30926 ... c Min unsat cost LB: 30935 ... c Min unsat cost LB: 30954 ... c Min unsat cost LB: 30960 ... c Min unsat cost LB: 30977 ... c Min unsat cost LB: 30983 ... c Min unsat cost LB: 31034 ... c Min unsat cost LB: 31072 ... c Min unsat cost LB: 31174 ... c Min unsat cost LB: 31200 ... c Min unsat cost LB: 31212 ... c Min unsat cost LB: 31239 ... c Min unsat cost LB: 31299 ... c Min unsat cost LB: 31386 ... c Min unsat cost LB: 31462 ... c Min unsat cost LB: 31518 ... c Min unsat cost LB: 31660 ... c Min unsat cost LB: 31682 ... c Min unsat cost LB: 31731 ... c Min unsat cost LB: 31765 ... c Min unsat cost LB: 31771 ... c Min unsat cost LB: 31830 ... c Min unsat cost LB: 31931 ... c Min unsat cost LB: 32057 ... c Min unsat cost LB: 32100 ... c Min unsat cost LB: 32142 ... c Min unsat cost LB: 32148 ... c Min unsat cost LB: 32239 ... c Min unsat cost LB: 32250 ... c Min unsat cost LB: 32293 ... c Min unsat cost LB: 32315 ... c Min unsat cost LB: 32320 ... c Min unsat cost LB: 32321 ... c Min unsat cost LB: 32366 ... c Min unsat cost LB: 32378 ... c Min unsat cost LB: 32404 ... c Min unsat cost LB: 32429 ... c Min unsat cost LB: 32430 ... c Min unsat cost LB: 32530 ... c Min unsat cost LB: 32543 ... c Min unsat cost LB: 32547 ... c Min unsat cost LB: 32568 ... c Min unsat cost LB: 32577 ... c Min unsat cost LB: 32584 ... c Min unsat cost LB: 32606 ... c Min unsat cost LB: 32609 ... c Min unsat cost LB: 32618 ... c Min unsat cost LB: 32623 ... c Min unsat cost LB: 32645 ... c Min unsat cost LB: 32778 ... c Min unsat cost LB: 32780 ... c Min unsat cost LB: 32782 ... c Min unsat cost LB: 32850 ... c Min unsat cost LB: 32856 ... c Min unsat cost LB: 32858 ... c Min unsat cost LB: 32885 ... c Min unsat cost LB: 33002 ... c Min unsat cost LB: 33013 ... c Min unsat cost LB: 33057 ... c Min unsat cost LB: 33071 ... c Min unsat cost LB: 33073 ... c Min unsat cost LB: 33075 ... c Min unsat cost LB: 33077 ... c Min unsat cost LB: 33126 ... c Min unsat cost LB: 33135 ... c Min unsat cost LB: 33142 ... c Min unsat cost LB: 33144 ... c Min unsat cost LB: 33190 ... c Min unsat cost LB: 33194 ... c Min unsat cost LB: 33196 ... c Min unsat cost LB: 33198 ... c Min unsat cost LB: 33200 ... c Min unsat cost LB: 33202 ... c Min unsat cost LB: 33257 ... c Min unsat cost LB: 33348 ... c Min unsat cost LB: 33388 ... c Min unsat cost LB: 33413 ... c Min unsat cost LB: 33415 ... c Min unsat cost LB: 33423 ... c Min unsat cost LB: 33425 ... c Min unsat cost LB: 33427 ... c Min unsat cost LB: 33433 ... c Min unsat cost LB: 33444 ... c Min unsat cost LB: 33447 ... c Min unsat cost LB: 33465 ... c Min unsat cost LB: 33467 ... c Min unsat cost LB: 33469 ... c Min unsat cost LB: 33473 ... c Min unsat cost LB: 33480 ... c Min unsat cost LB: 33484 ... c Min unsat cost LB: 33497 ... c Min unsat cost LB: 33501 ... c Min unsat cost LB: 33503 ... c Min unsat cost LB: 33505 ... c Min unsat cost LB: 33509 ... c Min unsat cost LB: 33522 ... c Min unsat cost LB: 33523 ... c Min unsat cost LB: 33529 ... c Min unsat cost LB: 33587 ... c Min unsat cost LB: 33588 ... c Min unsat cost LB: 33589 ... c Min unsat cost LB: 33590 ... c Min unsat cost LB: 33591 ... c Min unsat cost LB: 33627 ... c Min unsat cost LB: 33629 ... c Min unsat cost LB: 33630 ... c Min unsat cost LB: 33632 ... c Min unsat cost LB: 33689 ... c Min unsat cost LB: 33691 ... c Min unsat cost LB: 33696 ... c Min unsat cost LB: 33697 ... c Min unsat cost LB: 33698 ... c Min unsat cost LB: 33723 ... c Min unsat cost LB: 33748 ... c Min unsat cost LB: 33749 ... c Min unsat cost LB: 33768 ... c Min unsat cost LB: 33769 ... c Min unsat cost LB: 33771 ... c Min unsat cost LB: 33780 ... c Min unsat cost LB: 33783 ... c Min unsat cost LB: 33784 ... c Min unsat cost LB: 33793 ... c Min unsat cost LB: 33798 ... c Min unsat cost LB: 33818 ... c Min unsat cost LB: 33826 ... c Min unsat cost LB: 33827 ... c Min unsat cost LB: 33830 ... c Min unsat cost LB: 33831 ... c Min unsat cost LB: 33832 ... c Min unsat cost LB: 33833 ... c Min unsat cost LB: 33835 ... c Min unsat cost LB: 33837 ... c Min unsat cost LB: 33838 ... c Min unsat cost LB: 33839 ... c Min unsat cost LB: 33840 ... c Min unsat cost LB: 33845 ... c Min unsat cost LB: 33854 ... c Min unsat cost LB: 33855 ... c Min unsat cost LB: 33857 ... c Min unsat cost LB: 33858 ... c Min unsat cost LB: 33860 ... c Min unsat cost LB: 33861 ... c Min unsat cost LB: 33862 ... c Min unsat cost LB: 33868 ... c Min unsat cost LB: 33871 ... c Min unsat cost LB: 33872 ... c Min unsat cost LB: 33873 ... c Min unsat cost LB: 33874 ... c Min unsat cost LB: 33898 ... c Min unsat cost LB: 33901 ... c Min unsat cost LB: 33913 ... c Min unsat cost LB: 33924 ... c Min unsat cost LB: 33926 ... c Min unsat cost LB: 33928 ... c Min unsat cost LB: 33930 ... c Min unsat cost LB: 33963 ... c Min unsat cost LB: 33964 ... c Min unsat cost LB: 33968 ... c Min unsat cost LB: 33969 ... c Min unsat cost LB: 33970 ... c Min unsat cost LB: 33971 ... c Min unsat cost LB: 33972 ... c Min unsat cost LB: 33973 ... c Min unsat cost LB: 33975 ... c Min unsat cost LB: 33979 ... c Min unsat cost LB: 33981 ... c Min unsat cost LB: 33982 ... c Min unsat cost LB: 33983 ... c Min unsat cost LB: 34031 ... c Min unsat cost LB: 34038 ... c Min unsat cost LB: 34041 ... c Min unsat cost LB: 34043 ... c Min unsat cost LB: 34047 ... c Min unsat cost LB: 34052 ... c Min unsat cost LB: 34060 ... c Min unsat cost LB: 34061 ... c Min unsat cost LB: 34062 ... c Min unsat cost LB: 34064 ... c Min unsat cost LB: 34065 ... c Min unsat cost LB: 34066 ... c Min unsat cost LB: 34067 ... c Min unsat cost LB: 34068 ... c Min unsat cost LB: 34071 ... c Min unsat cost LB: 34072 ... c Min unsat cost LB: 34073 ... c Min unsat cost LB: 34076 ... c Min unsat cost LB: 34077 ... c Min unsat cost LB: 34078 ... c Min unsat cost LB: 34079 ... c Min unsat cost LB: 34080 ... c Min unsat cost LB: 34082 ... c Min unsat cost LB: 34083 ... c Min unsat cost LB: 34084 ... c Min unsat cost LB: 34085 ... c Min unsat cost LB: 34086 ... c Min unsat cost LB: 34099 ... c Min unsat cost LB: 34100 ... c Min unsat cost LB: 34104 ... c Min unsat cost LB: 34105 ... c Min unsat cost LB: 34106 ... c Min unsat cost LB: 34107 ... c Min unsat cost LB: 34114 ... c Min unsat cost LB: 34115 ... c Min unsat cost LB: 34118 ... c Min unsat cost LB: 34119 ... c Min unsat cost LB: 34120 ... c Min unsat cost LB: 34121 ... c Min unsat cost LB: 34122 ... c Min unsat cost LB: 34123 ... c Min unsat cost LB: 34124 ... c Min unsat cost LB: 34126 ... c Min unsat cost LB: 34127 ... c Min unsat cost LB: 34128 ... c Min unsat cost LB: 34129 ... c Min unsat cost LB: 34130 ... c Min unsat cost LB: 34131 ... c Min unsat cost LB: 34132 ... c Min unsat cost LB: 34133 ... c Min unsat cost LB: 34134 ... c Min unsat cost LB: 34137 ... c Min unsat cost LB: 34138 ... c Min unsat cost LB: 34139 ... c Min unsat cost LB: 34141 ... c Min unsat cost LB: 34167 ... c Min unsat cost LB: 34174 ... c Min unsat cost LB: 34193 ... c Min unsat cost LB: 34194 ... c Min unsat cost LB: 34196 ... c Min unsat cost LB: 34208 ... c Min unsat cost LB: 34272 ... c Min unsat cost LB: 34308 ... c Min unsat cost LB: 34310 ... c Min unsat cost LB: 34320 ... c Min unsat cost LB: 34321 ... c Min unsat cost LB: 34365 ... c Min unsat cost LB: 34371 ... c Min unsat cost LB: 34429 ... c Min unsat cost LB: 34467 ... c Min unsat cost LB: 34488 ... c Min unsat cost LB: 34531 ... c Min unsat cost LB: 34532 ... c Min unsat cost LB: 34553 ... c Min unsat cost LB: 34555 ... c Min unsat cost LB: 34593 ... c Min unsat cost LB: 34599 ... c Min unsat cost LB: 34626 ... c Min unsat cost LB: 34642 ... c Min unsat cost LB: 34657 ... c Min unsat cost LB: 34659 ... c Min unsat cost LB: 34660 ... c Min unsat cost LB: 34661 ... c Min unsat cost LB: 34666 ... c Min unsat cost LB: 34667 ... c Min unsat cost LB: 34675 ... c Min unsat cost LB: 34690 ... c Min unsat cost LB: 34693 ... c Min unsat cost LB: 34694 ... c Min unsat cost LB: 34727 ... c Min unsat cost LB: 34741 ... c Min unsat cost LB: 34799 ... c Min unsat cost LB: 34813 ... c Min unsat cost LB: 34828 ... c Min unsat cost LB: 34829 ... c Min unsat cost LB: 34849 ... c Min unsat cost LB: 34860 ... c Min unsat cost LB: 34899 ... c Min unsat cost LB: 34905 ... c Min unsat cost LB: 34911 ... c Min unsat cost LB: 34913 ... c Min unsat cost LB: 34930 ... c Min unsat cost LB: 34932 ... c Min unsat cost LB: 34938 ... c Min unsat cost LB: 34959 ... c Min unsat cost LB: 34971 ... c Min unsat cost LB: 34975 ... c Min unsat cost LB: 34976 ... c Min unsat cost LB: 34978 ... c Min unsat cost LB: 34980 ... c Min unsat cost LB: 34981 ... c Min unsat cost LB: 34983 ... c Min unsat cost LB: 34984 ... c Min unsat cost LB: 34987 ... c Min unsat cost LB: 35010 ... c Min unsat cost LB: 35012 ... c Min unsat cost LB: 35018 ... c Min unsat cost LB: 35020 ... c Min unsat cost LB: 35021 ... c Min unsat cost LB: 35026 ... c Min unsat cost LB: 35028 ... c Min unsat cost LB: 35033 ... c Min unsat cost LB: 35034 ... c Min unsat cost LB: 35035 ... c Min unsat cost LB: 35039 ... c Min unsat cost LB: 35040 ... c Min unsat cost LB: 35041 ... c Min unsat cost LB: 35042 ... c Min unsat cost LB: 35047 ... c Min unsat cost LB: 35048 ... c Min unsat cost LB: 35049 ... c Min unsat cost LB: 35051 ... c Min unsat cost LB: 35052 ... c Min unsat cost LB: 35071 ... c Min unsat cost LB: 35075 ... c Min unsat cost LB: 35076 ... c Min unsat cost LB: 35077 ... c Min unsat cost LB: 35107 ... c Min unsat cost LB: 35109 ... c Min unsat cost LB: 35110 ... c Min unsat cost LB: 35111 ... c Min unsat cost LB: 35112 ... c Min unsat cost LB: 35113 ... c Min unsat cost LB: 35114 ... c Min unsat cost LB: 35115 ... c Min unsat cost LB: 35118 ... c Min unsat cost LB: 35119 ... c Min unsat cost LB: 35120 ... c Min unsat cost LB: 35121 ... c Min unsat cost LB: 35129 ... c Min unsat cost LB: 35139 ... c Min unsat cost LB: 35145 ... c Min unsat cost LB: 35146 ... c Min unsat cost LB: 35147 ... c Min unsat cost LB: 35151 ... c Min unsat cost LB: 35154 ... c Min unsat cost LB: 35167 ... c Min unsat cost LB: 35168 ... c Min unsat cost LB: 35170 ... c Min unsat cost LB: 35171 ... c Min unsat cost LB: 35172 ... c Min unsat cost LB: 35176 ... c Min unsat cost LB: 35178 ... c Min unsat cost LB: 35180 ... c Min unsat cost LB: 35181 ... c Min unsat cost LB: 35183 ... c Min unsat cost LB: 35185 ... c Min unsat cost LB: 35186 ... c Min unsat cost LB: 35192 ... c Min unsat cost LB: 35202 ... c Min unsat cost LB: 35208 ... c Min unsat cost LB: 35210 ... c Min unsat cost LB: 35211 ... c Min unsat cost LB: 35212 ... c Min unsat cost LB: 35215 ... c Min unsat cost LB: 35216 ... c Min unsat cost LB: 35217 ... c Min unsat cost LB: 35218 ... c Min unsat cost LB: 35219 ... c Min unsat cost LB: 35220 ... c Min unsat cost LB: 35221 ... c Min unsat cost LB: 35222 ... c Min unsat cost LB: 35224 ... c Min unsat cost LB: 35226 ... c Min unsat cost LB: 35230 ... c Min unsat cost LB: 35232 ... c Min unsat cost LB: 35234 ... c Min unsat cost LB: 35236 ... c Min unsat cost LB: 35238 ... c Min unsat cost LB: 35239 ... c Min unsat cost LB: 35240 ... c Min unsat cost LB: 35245 ... c Min unsat cost LB: 35246 ... c Min unsat cost LB: 35247 ... c Min unsat cost LB: 35248 ... c Min unsat cost LB: 35249 ... c Min unsat cost LB: 35251 ... c Min unsat cost LB: 35252 ... c Min unsat cost LB: 35253 ... c Min unsat cost LB: 35254 ... c Min unsat cost LB: 35255 ... c Min unsat cost LB: 35256 ... c Min unsat cost LB: 35257 ... c Min unsat cost LB: 35258 ... c Min unsat cost LB: 35259 ... c Min unsat cost LB: 35268 ... c Min unsat cost LB: 35269 ... c Min unsat cost LB: 35270 ... c Min unsat cost LB: 35273 ... c Min unsat cost LB: 35276 ... c Min unsat cost LB: 35294 ... c Min unsat cost LB: 35295 ... c Min unsat cost LB: 35296 ... c Min unsat cost LB: 35297 ... c Min unsat cost LB: 35298 ... c Min unsat cost LB: 35299 ... c Min unsat cost LB: 35300 ... c Min unsat cost LB: 35301 ... c Min unsat cost LB: 35306 ... c Min unsat cost LB: 35307 ... c Min unsat cost LB: 35308 ... c Min unsat cost LB: 35309 ... c Min unsat cost LB: 35310 ... c Min unsat cost LB: 35311 ... c Min unsat cost LB: 35312 ... c Min unsat cost LB: 35313 ... c Min unsat cost LB: 35314 ... c Min unsat cost LB: 35316 ... c Min unsat cost LB: 35317 ... c Min unsat cost LB: 35343 ... c Min unsat cost LB: 35344 ... c Min unsat cost LB: 35346 ... c Min unsat cost LB: 35347 ... c Min unsat cost LB: 35348 ... c Min unsat cost LB: 35349 ... c Min unsat cost LB: 35350 ... c Min unsat cost LB: 35351 ... c Min unsat cost LB: 35352 ... c Min unsat cost LB: 35353 ... c Min unsat cost LB: 35354 ... c Min unsat cost LB: 35355 ... c Min unsat cost LB: 35357 ... c Min unsat cost LB: 35358 ... c Min unsat cost LB: 35359 ... c Min unsat cost LB: 35360 ... c Min unsat cost LB: 35361 ... c Min unsat cost LB: 35362 ... c Min unsat cost LB: 35366 ... c Min unsat cost LB: 35367 ... c Min unsat cost LB: 35369 ... c Min unsat cost LB: 35389 ... c Min unsat cost LB: 35405 ... c Min unsat cost LB: 35406 ... c Min unsat cost LB: 35407 ... c Min unsat cost LB: 35408 ... c Min unsat cost LB: 35409 ... c Min unsat cost LB: 35422 ... c Min unsat cost LB: 35423 ... c Min unsat cost LB: 35424 ... c Min unsat cost LB: 35425 ... c Min unsat cost LB: 35426 ... c Min unsat cost LB: 35427 ... c Min unsat cost LB: 35437 ... c Min unsat cost LB: 35470 ... c Min unsat cost LB: 35471 ... c Min unsat cost LB: 35472 ... c Min unsat cost LB: 35473 ... c Min unsat cost LB: 35479 ... c Min unsat cost LB: 35480 ... c Min unsat cost LB: 35481 ... c Min unsat cost LB: 35484 ... c Min unsat cost LB: 35485 ... c Min unsat cost LB: 35486 ... c Min unsat cost LB: 35487 ... c Min unsat cost LB: 35488 ... c Min unsat cost LB: 35489 ... c Min unsat cost LB: 35491 ... c Min unsat cost LB: 35493 ... c Min unsat cost LB: 35494 ... c Min unsat cost LB: 35495 ... c Min unsat cost LB: 35497 ... c Min unsat cost LB: 35498 ... c Min unsat cost LB: 35499 ... c Min unsat cost LB: 35500 ... c Min unsat cost LB: 35501 ... c Min unsat cost LB: 35505 ... c Min unsat cost LB: 35506 ... c Min unsat cost LB: 35508 ... c Min unsat cost LB: 35509 ... c Min unsat cost LB: 35510 ... c Min unsat cost LB: 35511 ... c Min unsat cost LB: 35512 ... c Min unsat cost LB: 35513 ... c Min unsat cost LB: 35514 ... c Min unsat cost LB: 35515 ... c Min unsat cost LB: 35516 ... c Min unsat cost LB: 35517 ... c Min unsat cost LB: 35518 ... c Min unsat cost LB: 35519 ... c Min unsat cost LB: 35520 ... c Min unsat cost LB: 35521 ... c Min unsat cost LB: 35524 ... c Min unsat cost LB: 35525 ... c Min unsat cost LB: 35526 ... c Min unsat cost LB: 35527 ... c Min unsat cost LB: 35528 ... c Min unsat cost LB: 35529 ... c Min unsat cost LB: 35530 ... c Min unsat cost LB: 35531 ... c Min unsat cost LB: 35532 ... c Min unsat cost LB: 35533 ... c Min unsat cost LB: 35534 ... c Min unsat cost LB: 35535 ... c Min unsat cost LB: 35536 ... c Min unsat cost LB: 35537 ... c Min unsat cost LB: 35538 ... c Min unsat cost LB: 35539 ... c Min unsat cost LB: 35540 ... c Min unsat cost LB: 35541 ... c Min unsat cost LB: 35542 ... c Min unsat cost LB: 35545 ... c Min unsat cost LB: 35546 ... c Min unsat cost LB: 35547 ... c Min unsat cost LB: 35548 ... c Min unsat cost LB: 35549 ... c Min unsat cost LB: 35550 ... c Min unsat cost LB: 35551 ... c Min unsat cost LB: 35552 ... c Min unsat cost LB: 35553 ... c Min unsat cost LB: 35554 ... c Min unsat cost LB: 35555 ... c Min unsat cost LB: 35556 ... c Min unsat cost LB: 35557 ... c Min unsat cost LB: 35558 ... c Min unsat cost LB: 35559 ... c Min unsat cost LB: 35560 ... c Min unsat cost LB: 35561 ... c Min unsat cost LB: 35562 ... c Min unsat cost LB: 35563 ... c Min unsat cost LB: 35564 ... c Min unsat cost LB: 35565 ... c Min unsat cost LB: 35566 ... c Min unsat cost LB: 35567 ... c Min unsat cost LB: 35568 ... c Min unsat cost LB: 35569 ... c Min unsat cost LB: 35579 ... c Min unsat cost LB: 35580 ... c Min unsat cost LB: 35581 ... c Min unsat cost LB: 35582 ... c Min unsat cost LB: 35583 ... c Min unsat cost LB: 35584 ... c Min unsat cost LB: 35585 ... c Min unsat cost LB: 35586 ... c Min unsat cost LB: 35587 ... c Min unsat cost LB: 35588 ... c Min unsat cost LB: 35589 ... c Min unsat cost LB: 35590 ... c Min unsat cost LB: 35591 ... c Min unsat cost LB: 35592 ... c Min unsat cost LB: 35593 ... c Min unsat cost LB: 35594 ... c Min unsat cost LB: 35595 ... c Min unsat cost LB: 35596 ... c Min unsat cost LB: 35597 ... c Min unsat cost LB: 35598 ... c Min unsat cost LB: 35599 ... c Min unsat cost LB: 35600 ... c Min unsat cost LB: 35601 ... c Min unsat cost LB: 35602 ... c Min unsat cost LB: 35603 ... c Min unsat cost LB: 35604 ... c Min unsat cost LB: 35605 ... c Min unsat cost LB: 35606 ... c Min unsat cost LB: 35607 ... c Min unsat cost LB: 35608 ... c Min unsat cost LB: 35609 ... c Min unsat cost LB: 35610 ... c Min unsat cost LB: 35611 ... c Min unsat cost LB: 35612 ... c Min unsat cost LB: 35613 ... c Min unsat cost LB: 35621 ... c Min unsat cost LB: 35622 ... c Min unsat cost LB: 35623 ... c Min unsat cost LB: 35624 ... c Min unsat cost LB: 35625 ... c Min unsat cost LB: 35626 ... c Min unsat cost LB: 35632 ... c Min unsat cost LB: 35633 ... c Min unsat cost LB: 35634 ... c Min unsat cost LB: 35635 ... c Min unsat cost LB: 35637 ... c Min unsat cost LB: 35638 ... c Min unsat cost LB: 35639 ... c Min unsat cost LB: 35640 ... c Min unsat cost LB: 35641 ... c Min unsat cost LB: 35643 ... c Min unsat cost LB: 35645 ... c Min unsat cost LB: 35646 ... c Min unsat cost LB: 35647 ... c Min unsat cost LB: 35648 ... c Min unsat cost LB: 35649 ... c Min unsat cost LB: 35650 ... c Min unsat cost LB: 35651 ... c Min unsat cost LB: 35652 ... c Min unsat cost LB: 35653 ... c Min unsat cost LB: 35654 ... c Min unsat cost LB: 35655 ... c Min unsat cost LB: 35656 ... c Min unsat cost LB: 35657 ... c Min unsat cost LB: 35658 ... c Min unsat cost LB: 35659 ... c Min unsat cost LB: 35662 ... c Min unsat cost LB: 35664 ... c Min unsat cost LB: 35665 ... c Min unsat cost LB: 35666 ... c Min unsat cost LB: 35667 ... c Min unsat cost LB: 35668 ... c Min unsat cost LB: 35669 ... c Min unsat cost LB: 35670 ... c Min unsat cost LB: 35671 ... c Min unsat cost LB: 35672 ... c Min unsat cost LB: 35673 ... c Min unsat cost LB: 35674 ... c Min unsat cost LB: 35675 ... c Min unsat cost LB: 35676 ... c Min unsat cost LB: 35677 ... c Min unsat cost LB: 35678 ... c Min unsat cost LB: 35696 ... c Min unsat cost LB: 35697 ... c Min unsat cost LB: 35698 ... c Min unsat cost LB: 35702 ... c Min unsat cost LB: 35703 ... c Min unsat cost LB: 35708 ... c Min unsat cost LB: 35709 ... c Min unsat cost LB: 35710 ... c Min unsat cost LB: 35714 ... c Min unsat cost LB: 35729 ... c Min unsat cost LB: 35732 ... c Min unsat cost LB: 35735 ... c Min unsat cost LB: 35736 ... c Min unsat cost LB: 35739 ... c Min unsat cost LB: 35740 ... c Min unsat cost LB: 35741 ... c Min unsat cost LB: 35742 ... c Min unsat cost LB: 35743 ... c Min unsat cost LB: 35744 ... c Min unsat cost LB: 35745 ... c Min unsat cost LB: 35746 ... c Min unsat cost LB: 35747 ... c Min unsat cost LB: 35748 ... c Min unsat cost LB: 35749 ... c Min unsat cost LB: 35750 ... c Min unsat cost LB: 35751 ... c Min unsat cost LB: 35752 ... c Min unsat cost LB: 35755 ... c Min unsat cost LB: 35758 ... c Min unsat cost LB: 35772 ... c Min unsat cost LB: 35773 ... c Min unsat cost LB: 35790 ... c Min unsat cost LB: 35791 ... c Min unsat cost LB: 35792 ... c Min unsat cost LB: 35793 ... c Min unsat cost LB: 35794 ... c Min unsat cost LB: 35795 ... c Min unsat cost LB: 35797 ... c Min unsat cost LB: 35798 ... c Min unsat cost LB: 35799 ... c Min unsat cost LB: 35800 ... c Min unsat cost LB: 35801 ... c Min unsat cost LB: 35802 ... c Min unsat cost LB: 35803 ... c Min unsat cost LB: 35804 ... c Min unsat cost LB: 35805 ... c Min unsat cost LB: 35806 ... c Min unsat cost LB: 35807 ... c Min unsat cost LB: 35808 ... c Min unsat cost LB: 35809 ... c Min unsat cost LB: 35810 ... c Min unsat cost LB: 35812 ... c Min unsat cost LB: 35813 ... c Min unsat cost LB: 35815 ... c Min unsat cost LB: 35847 ... c Min unsat cost LB: 35848 ... c Min unsat cost LB: 35849 ... c Min unsat cost LB: 35850 ... c Min unsat cost LB: 35851 ... c Min unsat cost LB: 35852 ... c Min unsat cost LB: 35853 ... c Min unsat cost LB: 35854 ... c Min unsat cost LB: 35855 ... c Min unsat cost LB: 35856 ... c Min unsat cost LB: 35857 ... c Min unsat cost LB: 35858 ... c Min unsat cost LB: 35859 ... c Min unsat cost LB: 35860 ... c Min unsat cost LB: 35861 ... c Min unsat cost LB: 35862 ... c Min unsat cost LB: 35863 ... c Min unsat cost LB: 35864 ... c Min unsat cost LB: 35865 ... c Min unsat cost LB: 35866 ... c Min unsat cost LB: 35867 ... c Min unsat cost LB: 35868 ... c Min unsat cost LB: 35869 ... c Min unsat cost LB: 35870 ... c Min unsat cost LB: 35871 ... c Min unsat cost LB: 35872 ... c Min unsat cost LB: 35873 ... c Min unsat cost LB: 35879 ... c Min unsat cost LB: 35881 ... c Min unsat cost LB: 35882 ... c Min unsat cost LB: 35884 ... c Min unsat cost LB: 35885 ... c Min unsat cost LB: 35886 ... c Min unsat cost LB: 35887 ... c Min unsat cost LB: 35888 ... c Min unsat cost LB: 35889 ... c Min unsat cost LB: 35890 ... c Min unsat cost LB: 35891 ... c Min unsat cost LB: 35892 ... c Min unsat cost LB: 35893 ... c Min unsat cost LB: 35894 ... c Min unsat cost LB: 35895 ... c Min unsat cost LB: 35896 ... c Min unsat cost LB: 35897 ... c Min unsat cost LB: 35898 ... c Min unsat cost LB: 35899 ... c Min unsat cost LB: 35900 ... c Min unsat cost LB: 35901 ... c Min unsat cost LB: 35902 ... c Min unsat cost LB: 35903 ... c Min unsat cost LB: 35904 ... c Min unsat cost LB: 35905 ... c Min unsat cost LB: 35906 ... c Min unsat cost LB: 35909 ... c Min unsat cost LB: 35913 ... c Min unsat cost LB: 35914 ... c Min unsat cost LB: 35915 ... c Min unsat cost LB: 35916 ... c Min unsat cost LB: 35917 ... c Min unsat cost LB: 35918 ... c Min unsat cost LB: 35919 ... c Min unsat cost LB: 35920 ... c Min unsat cost LB: 35922 ... c Min unsat cost LB: 35923 ... c Min unsat cost LB: 35928 ... c Min unsat cost LB: 35929 ... c Min unsat cost LB: 35930 ... c Min unsat cost LB: 35931 ... c Min unsat cost LB: 35932 ... c Min unsat cost LB: 35933 ... c Min unsat cost LB: 35934 ... c Min unsat cost LB: 35935 ... c Min unsat cost LB: 35936 ... c Min unsat cost LB: 35937 ... c Min unsat cost LB: 35938 ... c Min unsat cost LB: 35939 ... c Min unsat cost LB: 35940 ... c Min unsat cost LB: 35941 ... c Min unsat cost LB: 35942 ... c Min unsat cost LB: 35943 ... c Min unsat cost LB: 35944 ... c Min unsat cost LB: 35945 ... c Min unsat cost LB: 35946 ... c Min unsat cost LB: 35947 ... c Min unsat cost LB: 35948 ... c Min unsat cost LB: 35949 ... c Min unsat cost LB: 35950 ... c Min unsat cost LB: 35951 ... c Min unsat cost LB: 35952 ... c Min unsat cost LB: 35953 ... c Min unsat cost LB: 35954 ... c Min unsat cost LB: 35955 ... c Min unsat cost LB: 35956 ... c Min unsat cost LB: 35957 ... c Min unsat cost LB: 35958 ... c Min unsat cost LB: 35959 ... c Min unsat cost LB: 35960 ... c Min unsat cost LB: 35961 ... c Min unsat cost LB: 35962 ... c Min unsat cost LB: 35963 ... c Min unsat cost LB: 35964 ... c Min unsat cost LB: 35965 ... c Min unsat cost LB: 35966 ... c Min unsat cost LB: 35967 ... c Min unsat cost LB: 35968 ... c Min unsat cost LB: 35969 ... c Min unsat cost LB: 35970 ... c Min unsat cost LB: 35971 ... c Min unsat cost LB: 35972 ... c Min unsat cost LB: 35973 ... c Min unsat cost LB: 35974 ... c Min unsat cost LB: 35975 ... c Min unsat cost LB: 35976 ... c Min unsat cost LB: 35979 ... c Min unsat cost LB: 35980 ... c Min unsat cost LB: 35981 ... c Min unsat cost LB: 35982 ... c Min unsat cost LB: 35983 ... c Min unsat cost LB: 35984 ... c Min unsat cost LB: 35985 ... c Min unsat cost LB: 35986 ... c Min unsat cost LB: 35987 ... c Min unsat cost LB: 35988 ... c Min unsat cost LB: 35989 ... c Min unsat cost LB: 35990 ... c Min unsat cost LB: 35991 ... c Min unsat cost LB: 35992 ... c Min unsat cost LB: 35993 ... c Min unsat cost LB: 35994 ... c Min unsat cost LB: 35996 ... c Min unsat cost LB: 35997 ... c Min unsat cost LB: 35998 ... c Min unsat cost LB: 35999 ... c Min unsat cost LB: 36000 ... c Min unsat cost LB: 36001 ... c Min unsat cost LB: 36002 ... c Min unsat cost LB: 36003 ... c Min unsat cost LB: 36004 ... c Min unsat cost LB: 36005 ... c Min unsat cost LB: 36006 ... c MinKilled 1816.253u 3.488s 30:20.39 99.9% 0+0k 0+0io 0pf+0w