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_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_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_130_0002.txt.wcnf *** c c Min unsat cost LB: 65 ... c Min unsat cost LB: 533 ... c Min unsat cost LB: 598 ... c Min unsat cost LB: 1066 ... c Min unsat cost LB: 1119 ... c Min unsat cost LB: 1172 ... c Min unsat cost LB: 2235 ... c Min unsat cost LB: 2288 ... c Min unsat cost LB: 2341 ... c Min unsat cost LB: 2353 ... c Min unsat cost LB: 2365 ... c Min unsat cost LB: 2413 ... c Min unsat cost LB: 3476 ... c Min unsat cost LB: 4539 ... c Min unsat cost LB: 4587 ... c Min unsat cost LB: 5650 ... c Min unsat cost LB: 6713 ... c Min unsat cost LB: 6761 ... c Min unsat cost LB: 6814 ... c Min unsat cost LB: 6879 ... c Min unsat cost LB: 7942 ... c Min unsat cost LB: 8119 ... c Min unsat cost LB: 8428 ... c Min unsat cost LB: 8896 ... c Min unsat cost LB: 9364 ... c Min unsat cost LB: 9411 ... c Min unsat cost LB: 9995 ... c Min unsat cost LB: 10881 ... c Min unsat cost LB: 11287 ... c Min unsat cost LB: 11871 ... c Min unsat cost LB: 12350 ... c Min unsat cost LB: 12455 ... c Min unsat cost LB: 12828 ... c Min unsat cost LB: 13202 ... c Min unsat cost LB: 13267 ... c Min unsat cost LB: 13412 ... c Min unsat cost LB: 13996 ... c Min unsat cost LB: 14653 ... c Min unsat cost LB: 15288 ... c Min unsat cost LB: 15353 ... c Min unsat cost LB: 15687 ... c Min unsat cost LB: 15872 ... c Min unsat cost LB: 16049 ... c Min unsat cost LB: 17112 ... c Min unsat cost LB: 18404 ... c Min unsat cost LB: 18832 ... c Min unsat cost LB: 18897 ... c Min unsat cost LB: 18950 ... c Min unsat cost LB: 18962 ... c Min unsat cost LB: 19826 ... c Min unsat cost LB: 20889 ... c Min unsat cost LB: 21066 ... c Min unsat cost LB: 21107 ... c Min unsat cost LB: 21131 ... c Min unsat cost LB: 21515 ... c Min unsat cost LB: 21580 ... c Min unsat cost LB: 22008 ... c Min unsat cost LB: 22592 ... c Min unsat cost LB: 22597 ... c Min unsat cost LB: 22650 ... c Min unsat cost LB: 22657 ... c Min unsat cost LB: 23247 ... c Min unsat cost LB: 23312 ... c Min unsat cost LB: 23358 ... c Min unsat cost LB: 23377 ... c Min unsat cost LB: 23961 ... c Min unsat cost LB: 24551 ... c Min unsat cost LB: 25135 ... c Min unsat cost LB: 25200 ... c Min unsat cost LB: 25673 ... c Min unsat cost LB: 25790 ... c Min unsat cost LB: 25819 ... c Min unsat cost LB: 26048 ... c Min unsat cost LB: 26447 ... c Min unsat cost LB: 26512 ... c Min unsat cost LB: 27102 ... c Min unsat cost LB: 28165 ... c Min unsat cost LB: 28201 ... c Min unsat cost LB: 28557 ... c Min unsat cost LB: 28791 ... c Min unsat cost LB: 29381 ... c Min unsat cost LB: 29493 ... c Min unsat cost LB: 29558 ... c Min unsat cost LB: 29803 ... c Min unsat cost LB: 30364 ... c Min unsat cost LB: 30549 ... c Min unsat cost LB: 30954 ... c Min unsat cost LB: 31019 ... c Min unsat cost LB: 31609 ... c Min unsat cost LB: 32108 ... c Min unsat cost LB: 32173 ... c Min unsat cost LB: 32352 ... c Min unsat cost LB: 32763 ... c Min unsat cost LB: 33108 ... c Min unsat cost LB: 33173 ... c Min unsat cost LB: 33763 ... c Min unsat cost LB: 34353 ... c Min unsat cost LB: 34465 ... c Min unsat cost LB: 35193 ... c Min unsat cost LB: 35718 ... c Min unsat cost LB: 35783 ... c Min unsat cost LB: 35956 ... c Min unsat cost LB: 36373 ... c Min unsat cost LB: 36438 ... c Min unsat cost LB: 36503 ... c Min unsat cost LB: 36568 ... c Min unsat cost LB: 37152 ... c Min unsat cost LB: 37217 ... c Min unsat cost LB: 37282 ... c Min unsat cost LB: 37866 ... c Min unsat cost LB: 38450 ... c Min unsat cost LB: 38515 ... c Min unsat cost LB: 38983 ... c Min unsat cost LB: 39228 ... c Min unsat cost LB: 39293 ... c Min unsat cost LB: 39364 ... c Min unsat cost LB: 39429 ... c Min unsat cost LB: 40019 ... c Min unsat cost LB: 40609 ... c Min unsat cost LB: 40674 ... c Min unsat cost LB: 40702 ... c Min unsat cost LB: 40767 ... c Min unsat cost LB: 41292 ... c Min unsat cost LB: 41459 ... c Min unsat cost LB: 42043 ... c Min unsat cost LB: 42108 ... c Min unsat cost LB: 42220 ... c Min unsat cost LB: 42540 ... c Min unsat cost LB: 42652 ... c Min unsat cost LB: 42718 ... c Min unsat cost LB: 42783 ... c Min unsat cost LB: 42795 ... c Min unsat cost LB: 42824 ... c Min unsat cost LB: 43077 ... c Min unsat cost LB: 43089 ... c Min unsat cost LB: 43142 ... c Min unsat cost LB: 43154 ... c Min unsat cost LB: 43207 ... c Min unsat cost LB: 43231 ... c Min unsat cost LB: 43243 ... c Min unsat cost LB: 43251 ... c Min unsat cost LB: 43308 ... c Min unsat cost LB: 43361 ... c Min unsat cost LB: 43373 ... c Min unsat cost LB: 43426 ... c Min unsat cost LB: 43438 ... c Min unsat cost LB: 43486 ... c Min unsat cost LB: 43539 ... c Min unsat cost LB: 43563 ... c Min unsat cost LB: 43568 ... c Min unsat cost LB: 43604 ... c Min unsat cost LB: 43652 ... c Min unsat cost LB: 43669 ... c Min unsat cost LB: 43676 ... c Min unsat cost LB: 43695 ... c Min unsat cost LB: 43705 ... c Min unsat cost LB: 43719 ... c Min unsat cost LB: 43731 ... c Min unsat cost LB: 43772 ... c Min unsat cost LB: 43872 ... c Min unsat cost LB: 43896 ... c Min unsat cost LB: 43919 ... c Min unsat cost LB: 43931 ... c Min unsat cost LB: 43982 ... c Min unsat cost LB: 43984 ... c Min unsat cost LB: 44047 ... c Min unsat cost LB: 44049 ... c Min unsat cost LB: 44069 ... c Min unsat cost LB: 44464 ... c Min unsat cost LB: 44497 ... c Min unsat cost LB: 44562 ... c Min unsat cost LB: 44591 ... c Min unsat cost LB: 44593 ... c Min unsat cost LB: 44595 ... c Min unsat cost LB: 44978 ... c Min unsat cost LB: 45043 ... c Min unsat cost LB: 45179 ... c Min unsat cost LB: 45252 ... c Min unsat cost LB: 45380 ... c Min unsat cost LB: 45625 ... c Min unsat cost LB: 45765 ... c Min unsat cost LB: 45770 ... c Min unsat cost LB: 45821 ... c Min unsat cost LB: 45822 ... c Min unsat cost LB: 45835 ... c Min unsat cost LB: 45969 ... c Min unsat cost LB: 45997 ... c Min unsat cost LB: 46280 ... c Min unsat cost LB: 46303 ... c Min unsat cost LB: 46408 ... c Min unsat cost LB: 46488 ... c Min unsat cost LB: 46573 ... c Min unsat cost LB: 46675 ... c Min unsat cost LB: 46760 ... c Min unsat cost LB: 46762 ... c Min unsat cost LB: 46978 ... c Min unsat cost LB: 47034 ... c Min unsat cost LB: 47163 ... c Min unsat cost LB: 47281 ... c Min unsat cost LB: 47343 ... c Min unsat cost LB: 47562 ... c Min unsat cost LB: 47914 ... c Min unsat cost LB: 47933 ... c Min unsat cost LB: 48109 ... c Min unsat cost LB: 48324 ... c Min unsat cost LB: 48388 ... c Min unsat cost LB: 48776 ... c Min unsat cost LB: 48798 ... c Min unsat cost LB: 48994 ... c Min unsat cost LB: 48996 ... c Min unsat cost LB: 49057 ... c Min unsat cost LB: 49060 ... c Min unsat cost LB: 49169 ... c Min unsat cost LB: 49434 ... c Min unsat cost LB: 49562 ... c Min unsat cost LB: 49739 ... c Min unsat cost LB: 49791 ... c Min unsat cost LB: 49805 ... c Min unsat cost LB: 49811 ... c Min unsat cost LB: 49830 ... c Min unsat cost LB: 49909 ... c Min unsat cost LB: 49914 ... c Min unsat cost LB: 49933 ... c Min unsat cost LB: 49969 ... c Min unsat cost LB: 49979 ... c Min unsat cost LB: 49996 ... c Min unsat cost LB: 50027 ... c Min unsat cost LB: 50446 ... c Min unsat cost LB: 50499 ... c Min unsat cost LB: 50908 ... c Min unsat cost LB: 50914 ... c Min unsat cost LB: 51026 ... c Min unsat cost LB: 51537 ... c Min unsat cost LB: 51541 ... c Min unsat cost LB: 51564 ... c Min unsat cost LB: 51661 ... c Min unsat cost LB: 51976 ... c Min unsat cost LB: 51989 ... c Min unsat cost LB: 52039 ... c Min unsat cost LB: 52051 ... c Min unsat cost LB: 52214 ... c Min unsat cost LB: 52362 ... c Min unsat cost LB: 52861 ... c Min unsat cost LB: 53286 ... c Min unsat cost LB: 53327 ... c Min unsat cost LB: 53374 ... c Min unsat cost LB: 53398 ... c Min unsat cost LB: 53440 ... c Min unsat cost LB: 53705 ... c Min unsat cost LB: 53785 ... c Min unsat cost LB: 53995 ... c Min unsat cost LB: 54003 ... c Min unsat cost LB: 54048 ... c Min unsat cost LB: 54052 ... c Min unsat cost LB: 54060 ... c Min unsat cost LB: 54092 ... c Min unsat cost LB: 54095 ... c Min unsat cost LB: 54160 ... c Min unsat cost LB: 54260 ... c Min unsat cost LB: 54545 ... c Min unsat cost LB: 54820 ... c Min unsat cost LB: 54854 ... c Min unsat cost LB: 54868 ... c Min unsat cost LB: 54873 ... c Min unsat cost LB: 54880 ... c Min unsat cost LB: 54885 ... c Min unsat cost LB: 54897 ... c Min unsat cost LB: 54938 ... c Min unsat cost LB: 54950 ... c Min unsat cost LB: 54963 ... c Min unsat cost LB: 54979 ... c Min unsat cost LB: 54986 ... c Min unsat cost LB: 54991 ... c Min unsat cost LB: 55103 ... c Min unsat cost LB: 55122 ... c Min unsat cost LB: 55150 ... c Min unsat cost LB: 55174 ... c Min unsat cost LB: 55215 ... c Min unsat cost LB: 55280 ... c Min unsat cost LB: 55327 ... c Min unsat cost LB: 55346 ... c Min unsat cost LB: 55374 ... c Min unsat cost LB: 55541 ... c Min unsat cost LB: 55543 ... c Min unsat cost LB: 55563 ... c Min unsat cost LB: 55782 ... c Min unsat cost LB: 55799 ... c Min unsat cost LB: 55801 ... c Min unsat cost LB: 55813 ... c Min unsat cost LB: 55825 ... c Min unsat cost LB: 55839 ... c Min unsat cost LB: 55842 ... c Min unsat cost LB: 55852 ... c Min unsat cost LB: 55858 ... c Min unsat cost LB: 55861 ... c Min unsat cost LB: 55866 ... c Min unsat cost LB: 55867 ... c Min unsat cost LB: 55873 ... c Min unsat cost LB: 55880 ... c Min unsat cost LB: 55909 ... c Min unsat cost LB: 55916 ... c Min unsat cost LB: 55976 ... c Min unsat cost LB: 56029 ... c Min unsat cost LB: 56352 ... c Min unsat cost LB: 56354 ... c Min unsat cost LB: 56366 ... c Min unsat cost LB: 56389 ... c Min unsat cost LB: 56399 ... c Min unsat cost LB: 56439 ... c Min unsat cost LB: 56781 ... c Min unsat cost LB: 56783 ... c Min unsat cost LB: 56791 ... c Min unsat cost LB: 56794 ... c Min unsat cost LB: 56798 ... c Min unsat cost LB: 56800 ... c Min unsat cost LB: 56801 ... c Min unsat cost LB: 56803 ... c Min unsat cost LB: 56804 ... c Min unsat cost LB: 56816 ... c Min unsat cost LB: 56818 ... c Min unsat cost LB: 56852 ... c Min unsat cost LB: 56857 ... c Min unsat cost LB: 56861 ... c Min unsat cost LB: 56864 ... c Min unsat cost LB: 56880 ... c Min unsat cost LB: 56886 ... c Min unsat cost LB: 56895 ... c Min unsat cost LB: 56902 ... c Min unsat cost LB: 56904 ... c Min unsat cost LB: 56906 ... c Min unsat cost LB: 57014 ... c Min unsat cost LB: 57020 ... c Min unsat cost LB: 57022 ... c Min unsat cost LB: 57037 ... c Min unsat cost LB: 57102 ... c Min unsat cost LB: 57104 ... c Min unsat cost LB: 57112 ... c Min unsat cost LB: 57120 ... c Min unsat cost LB: 57137 ... c Min unsat cost LB: 57140 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57188 ... c Min unsat cost LB: 57192 ... c Min unsat cost LB: 57196 ... c Min unsat cost LB: 57198 ... 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: 57245 ... c Min unsat cost LB: 57246 ... c Min unsat cost LB: 57247 ... c Min unsat cost LB: 57249 ... c Min unsat cost LB: 57297 ... c Min unsat cost LB: 57299 ... c Min unsat cost LB: 57301 ... c Min unsat cost LB: 57303 ... c Min unsat cost LB: 57304 ... c Min unsat cost LB: 57305 ... c Min unsat cost LB: 57306 ... c Min unsat cost LB: 57314 ... c Min unsat cost LB: 57364 ... c Min unsat cost LB: 57368 ... c Min unsat cost LB: 57372 ... c Min unsat cost LB: 57376 ... c Min unsat cost LB: 57381 ... c Min unsat cost LB: 57384 ... c Min unsat cost LB: 57395 ... c Min unsat cost LB: 57409 ... c Min unsat cost LB: 57414 ... c Min unsat cost LB: 57417 ... c Min unsat cost LB: 57451 ... c Min unsat cost LB: 57459 ... c Min unsat cost LB: 57465 ... c Min unsat cost LB: 57523 ... c Min unsat cost LB: 57585 ... c Min unsat cost LB: 57649 ... c Min unsat cost LB: 57657 ... c Min unsat cost LB: 57660 ... c Min unsat cost LB: 57663 ... c Min unsat cost LB: 57667 ... c Min unsat cost LB: 57720 ... c Min unsat cost LB: 57758 ... c Min unsat cost LB: 57759 ... c Min unsat cost LB: 57761 ... c Min unsat cost LB: 57765 ... c Min unsat cost LB: 57766 ... c Min unsat cost LB: 57768 ... c Min unsat cost LB: 57776 ... c Min unsat cost LB: 57781 ... c Min unsat cost LB: 57784 ... c Min unsat cost LB: 57792 ... c Min unsat cost LB: 57856 ... c Min unsat cost LB: 57971 ... c Min unsat cost LB: 57973 ... c Min unsat cost LB: 57982 ... c Min unsat cost LB: 57984 ... c Min unsat cost LB: 58018 ... c Min unsat cost LB: 58026 ... c Min unsat cost LB: 58035 ... c Min unsat cost LB: 58036 ... c Min unsat cost LB: 58037 ... c Min unsat cost LB: 58046 ... c Min unsat cost LB: 58052 ... c Min unsat cost LB: 58063 ... c Min unsat cost LB: 58118 ... c Min unsat cost LB: 58141 ... c Min unsat cost LB: 58262 ... c Min unsat cost LB: 58267 ... c Min unsat cost LB: 58269 ... c Min unsat cost LB: 58273 ... c Min unsat cost LB: 58274 ... c Min unsat cost LB: 58275 ... c Min unsat cost LB: 58281 ... c Min unsat cost LB: 58282 ... c Min unsat cost LB: 58283 ... c Min unsat cost LB: 58320 ... c Min unsat cost LB: 58360 ... c Min unsat cost LB: 58388 ... c Min unsat cost LB: 58390 ... c Min unsat cost LB: 58405 ... c Min unsat cost LB: 58413 ... c Min unsat cost LB: 58484 ... c Min unsat cost LB: 58485 ... c Min unsat cost LB: 58486 ... c Min unsat cost LB: 58504 ... c Min unsat cost LB: 58509 ... c Min unsat cost LB: 58584 ... c Min unsat cost LB: 58589 ... c Min unsat cost LB: 58609 ... c Min unsat cost LB: 58614 ... c Min unsat cost LB: 58624 ... c Min unsat cost LB: 58633 ... c Min unsat cost LB: 58634 ... c Min unsat cost LB: 58635 ... c Min unsat cost LB: 58636 ... c Min unsat cost LB: 58637 ... c Min unsat cost LB: 58640 ... c Min unsat cost LB: 58649 ... c Min unsat cost LB: 58650 ... c Min unsat cost LB: 58659 ... c Min unsat cost LB: 58660 ... c Min unsat cost LB: 58661 ... c Min unsat cost LB: 58662 ... c Min unsat cost LB: 58674 ... c Min unsat cost LB: 58681 ... c Min unsat cost LB: 58682 ... c Min unsat cost LB: 58684 ... c Min unsat cost LB: 58689 ... c Min unsat cost LB: 58691 ... c Min unsat cost LB: 58706 ... c Min unsat cost LB: 58711 ... c Min unsat cost LB: 58724 ... c Min unsat cost LB: 58725 ... c Min unsat cost LB: 58762 ... c Min unsat cost LB: 58764 ... c Min unsat cost LB: 58769 ... c Min unsat cost LB: 58779 ... c Min unsat cost LB: 58786 ... c Min unsat cost LB: 58831 ... c Min unsat cost LB: 58878 ... c Min unsat cost LB: 58887 ... c Min unsat cost LB: 58892 ... c Min unsat cost LB: 58895 ... c Min unsat cost LB: 58900 ... c Min unsat cost LB: 58904 ... c Min unsat cost LB: 58934 ... c Min unsat cost LB: 58954 ... c Min unsat cost LB: 58964 ... c Min unsat cost LB: 58981 ... c Min unsat cost LB: 59029 ... c Min unsat cost LB: 59039 ... c Min unsat cost LB: 59042 ... c Min unsat cost LB: 59062 ... c Min unsat cost LB: 59071 ... c Min unsat cost LB: 59107 ... c Min unsat cost LB: 59117 ... c Min unsat cost LB: 59118 ... c Min unsat cost LB: 59119 ... c Min unsat cost LB: 59120 ... c Min unsat cost LB: 59121 ... c Min unsat cost LB: 59122 ... c Min unsat cost LB: 59127 ... c Min unsat cost LB: 59146 ... c Min unsat cost LB: 59154 ... c Min unsat cost LB: 59159 ... c Min unsat cost LB: 59164 ... c Min unsat cost LB: 59167 ... c Min unsat cost LB: 59172 ... c Min unsat cost LB: 59175 ... c Min unsat cost LB: 59177 ... c Min unsat cost LB: 59180 ... c Min unsat cost LB: 59182 ... c Min unsat cost LB: 59184 ... c Min unsat cost LB: 59186 ... c Min unsat cost LB: 59187 ... c Min unsat cost LB: 59188 ... c Min unsat cost LB: 59190 ... c Min unsat cost LB: 59191 ... c Min unsat cost LB: 59192 ... c Min unsat cost LB: 59193 ... c Min unsat cost LB: 59195 ... c Min unsat cost LB: 59196 ... c Min unsat cost LB: 59198 ... c Min unsat cost LB: 59201 ... c Min unsat cost LB: 59202 ... c Min unsat cost LB: 59211 ... c Min unsat cost LB: 59212 ... c Min unsat cost LB: 59213 ... c Min unsat cost LB: 59216 ... c Min unsat cost LB: 59217 ... c Min unsat cost LB: 59218 ... c Min unsat cost LB: 59220 ... c Min unsat cost LB: 59225 ... c Min unsat cost LB: 59226 ... c Min unsat cost LB: 59229 ... c Min unsat cost LB: 59231 ... c Min unsat cost LB: 59233 ... c Min unsat cost LB: 59234 ... c Min unsat cost LB: 59235 ... c Min unsat cost LB: 59236 ... c Min unsat cost LB: 59237 ... c Min unsat cost LB: 59317 ... c Min unsat cost LB: 59318 ... c Min unsat cost LB: 59319 ... c Min unsat cost LB: 59320 ... c Min unsat cost LB: 59321 ... c Min unsat cost LB: 59421 ... c Min unsat cost LB: 59743 ... c Min unsat cost LB: 59746 ... c Min unsat cost LB: 59770 ... c Min unsat cost LB: 59792 ... c Min unsat cost LB: 59986 ... c Min unsat cost LB: 59987 ... c Min unsat cost LB: 59988 ... c Min unsat cost LB: 60001 ... c Min unsat cost LB: 60005 ... c Min unsat cost LB: 60006 ... c Min unsat cost LB: 60007 ... c Min unsat cost LB: 60008 ... c Min unsat cost LB: 60009 ... c Min unsat cost LB: 60010 ... c Min unsat cost LB: 60011 ... c Min unsat cost LB: 60012 ... c Min unsat cost LB: 60014 ... c Min unsat cost LB: 60015 ... c Min unsat cost LB: 60016 ... c Min unsat cost LB: 60024 ... c Min unsat cost LB: 60034 ... c Min unsat cost LB: 60044 ... c Min unsat cost LB: 60079 ... c Min unsat cost LB: 60086 ... c Min unsat cost LB: 60087 ... c Min unsat cost LB: 60088 ... c Min unsat cost LB: 60089 ... c Min unsat cost LB: 60091 ... c Min unsat cost LB: 60094 ... c Min unsat cost LB: 60095 ... c Min unsat cost LB: 60098 ... c Min unsat cost LB: 60099 ... c Min unsat cost LB: 60100 ... c Min unsat cost LB: 60102 ... c Min unsat cost LB: 60103 ... c Min unsat cost LB: 60104 ... c Min unsat cost LB: 60109 ... c Min unsat cost LB: 60124 ... c Min unsat cost LB: 60126 ... c Min unsat cost LB: 60127 ... c Min unsat cost LB: 60128 ... c Min unsat cost LB: 60129 ... c Min unsat cost LB: 60131 ... c Min unsat cost LB: 60132 ... c Min unsat cost LB: 60133 ... c Min unsat cost LB: 60134 ... c Min unsat cost LB: 60135 ... c Min unsat cost LB: 60136 ... c Min unsat cost LB: 60139 ... c Min unsat cost LB: 60140 ... c Min unsat cost LB: 60141 ... c Min unsat cost LB: 60142 ... c Min unsat cost LB: 60144 ... c Min unsat cost LB: 60145 ... c Min unsat cost LB: 60146 ... c Min unsat cost LB: 60147 ... c Min unsat cost LB: 60148 ... c Min unsat cost LB: 60149 ... c Min unsat cost LB: 60158 ... c Min unsat cost LB: 60159 ... c Min unsat cost LB: 60164 ... c Min unsat cost LB: 60165 ... c Min unsat cost LB: 60166 ... c Min unsat cost LB: 60167 ... c Min unsat cost LB: 60168 ... c Min unsat cost LB: 60169 ... c Min unsat cost LB: 60170 ... c Min unsat cost LB: 60171 ... c Min unsat cost LB: 60173 ... c Min unsat cost LB: 60174 ... c Min unsat cost LB: 60175 ... c Min unsat cost LB: 60177 ... c Min unsat cost LB: 60178 ... c Min unsat cost LB: 60179 ... c Min unsat cost LB: 60180 ... c Min unsat cost LB: 60181 ... c Min unsat cost LB: 60192 ... c Min unsat cost LB: 60193 ... c Min unsat cost LB: 60194 ... c Min unsat cost LB: 60195 ... c Min unsat cost LB: 60196 ... c Min unsat cost LB: 60197 ... c Min unsat cost LB: 60198 ... c Min unsat cost LB: 60199 ... c Min unsat cost LB: 60200 ... c Min unsat cost LB: 60201 ... c Min unsat cost LB: 60202 ... c Min unsat cost LB: 60203 ... c Min unsat cost LB: 60207 ... c Min unsat cost LB: 60208 ... c Min unsat cost LB: 60209 ... c Min unsat cost LB: 60210 ... c Min unsat cost LB: 60211 ... c Min unsat cost LB: 60212 ... c Min unsat cost LB: 60213 ... c Min unsat cost LB: 60214 ... c Min unsat cost LB: 60217 ... c Min unsat cost LB: 60218 ... c Min unsat cost LB: 60219 ... c Min unsat cost LB: 60220 ... c Min unsat cost LB: 60221 ... c Min unsat cost LB: 60222 ... c Min unsat cost LB: 60223 ... c Min unsat cost LB: 60224 ... c Min unsat cost LB: 60225 ... c Min unsat cost LB: 60278 ... c Min unsat cost LB: 60279 ... c Min unsat cost LB: 60280 ... c Min unsat cost LB: 60281 ... c Min unsat cost LB: 60282 ... c Min unsat cost LB: 60283 ... c Min unsat cost LB: 60284 ... c Min unsat cost LB: 60285 ... c Min unsat cost LB: 60286 ... c Min unsat cost LB: 60288 ... c Min unsat cost LB: 60292 ... c Min unsat cost LB: 60293 ... c Min unsat cost LB: 60294 ... c Min unsat cost LB: 60295 ... c Min unsat cost LB: 60296 ... c Min unsat cost LB: 60297 ... c Min unsat cost LB: 60298 ... c Min unsat cost LB: 60299 ... c Min unsat cost LB: 60300 ... c Min unsat cost LB: 60301 ... c Min unsat cost LB: 60303 ... c Min unsat cost LB: 60398 ... c Min unsat cost LB: 60399 ... c Min unsat cost LB: 60401 ... c Min unsat cost LB: 60402 ... c Min unsat cost LB: 60403 ... c Min unsat cost LB: 60416 ... c Min unsat cost LB: 60417 ... c Min unsat cost LB: 60418 ... c Min unsat cost LB: 60420 ... c Min unsat cost LB: 60421 ... c Min unsat cost LB: 60422 ... c Min unsat cost LB: 60460 ... c Min unsat cost LB: 60461 ... c Min unsat cost LB: 60462 ... c Min unsat cost LB: 60463 ... c Min unsat cost LB: 60465 ... c Min unsat cost LB: 60479 ... c Min unsat cost LB: 60480 ... c Min unsat cost LB: 60481 ... c Min unsat cost LB: 60492 ... c Min unsat cost LB: 60494 ... c Min unsat cost LB: 60515 ... c Min unsat cost LB: 60523 ... c Min unsat cost LB: 60559 ... c Min unsat cost LB: 60560 ... c Min unsat cost LB: 60561 ... c Min unsat cost LB: 60562 ... c Min unsat cost LB: 60563 ... c Min unsat cost LB: 60564 ... c Min unsat cost LB: 60565 ... c Min unsat cost LB: 60566 ... c Min unsat cost LB: 60567 ... c Min unsat cost LB: 60568 ... c Min unsat cost LB: 60569 ... c Min unsat cost LB: 60776 ... c Min unsat cost LB: 60777 ... c Min unsat cost LB: 60779 ... c Min unsat cost LB: 60815 ... c Min unsat cost LB: 60816 ... c Min unsat cost LB: 60817 ... c Min unsat cost LB: 60818 ... c Min unsat cost LB: 60819 ... c Min unsat cost LB: 60822 ... c Min unsat cost LB: 60824 ... c Min unsat cost LB: 60826 ... c Min unsat cost LB: 60829 ... c Min unsat cost LB: 60852 ... c Min unsat cost LB: 60853 ... c Min unsat cost LB: 60854 ... c Min unsat cost LB: 60855 ... c Min unsat cost LB: 60856 ... c Min unsat cost LB: 60857 ... c Min unsat cost LB: 60858 ... c Min unsat cost LB: 60859 ... c Min unsat cost LB: 60860 ... c Min unsat cost LB: 60861 ... c Min unsat cost LB: 60863 ... c Min unsat cost LB: 60864 ... c Min unsat cost LB: 60865 ... c Min unsat cost LB: 60866 ... c Min unsat cost LB: 60867 ... c Min unsat cost LB: 60868 ... c Min unsat cost LB: 60869 ... c Min unsat cost LB: 60870 ... c Min unsat cost LB: 60871 ... c Min unsat cost LB: 60872 ... c Min unsat cost LB: 60873 ... c Min unsat cost LB: 60874 ... c Min unsat cost LB: 60875 ... c Min unsat cost LB: 60876 ... c Min unsat cost LB: 60877 ... c Min unsat cost LB: 60878 ... c Min unsat cost LB: 60879 ... c Min unsat cost LB: 60880 ... c Min unsat cost LB: 60889 ... c Min unsat cost LB: 60892 ... c Min unsat cost LB: 60928 ... c Min unsat cost LB: 61050 ... c Min unsat cost LB: 61062 ... c Min unsat cost LB: 61108 ... c Min unsat cost LB: 61141 ... c Min unsat cost LB: 61144 ... c Min unsat cost LB: 61164 ... c Min unsat cost LB: 61165 ... c Min unsat cost LB: 61166 ... c Min unsat cost LB: 61167 ... c Min unsat cost LB: 61170 ... c Min unsat cost LB: 61171 ... c Min unsat cost LB: 61172 ... c Min unsat cost LB: 61173 ... c Min unsat cost LB: 61174 ... c Min unsat cost LB: 61175 ... c Min unsat cost LB: 61178 ... c Min unsat cost LB: 61180 ... c Min unsat cost LB: 61181 ... c Min unsat cost LB: 61182 ... c Min unsat cost LB: 61183 ... c Min unsat cost LB: 61184 ... c Min unsat cost LB: 61185 ... c Min unsat cost LB: 61193 ... c Min unsat cost LB: 61204 ... c Min unsat cost LB: 61205 ... c Min unsat cost LB: 61206 ... c Min unsat cost LB: 61207 ... c Min unsat cost LB: 61208 ... c Min unsat cost LB: 61209 ... c Min unsat cost LB: 61210 ... c Min unsat cost LB: 61211 ... c Min unsat cost LB: 61212 ... c Min unsat cost LB: 61213 ... c Min unsat cost LB: 61215 ... c Min unsat cost LB: 61216 ... c Min unsat cost LB: 61217 ... c Min unsat cost LB: 61218 ... c Min unsat cost LB: 61221 ... c Min unsat cost LB: 61222 ... c Min unsat cost LB: 61223 ... c Min unsat cost LB: 61230 ... c Min unsat cost LB: 61231 ... c Min unsat cost LB: 61235 ... c Min unsat cost LB: 61244 ... c Min unsat cost LB: 61245 ... c Min unsat cost LB: 61246 ... c Min unsat cost LB: 61248 ... c Min unsat cost LB: 61254 ... c Min unsat cost LB: 61255 ... c Min unsat cost LB: 61256 ... c Min unsat cost LB: 61257 ... c Min unsat cost LB: 61258 ... c Min unsat cost LB: 61259 ... c Min unsat cost LB: 61260 ... c Min unsat cost LB: 61261 ... c Min unsat cost LB: 61262 ... c Min unsat cost LB: 61264 ... c Min unsat cost LB: 61265 ... c Min unsat cost LB: 61266 ... c Min unsat cost LB: 61267 ... c Min unsat cost LB: 61268 ... c Min unsat cost LB: 61269 ... c Min unsat cost LB: 61270 ... c Min unsat cost LB: 61271 ... c Min unsat cost LB: 61272 ... c Min unsat cost LB: 61273 ... c Min unsat cost LB: 61274 ... c Min unsat cost LB: 61275 ... c Min unsat cost LB: 61276 ... c Min unsat cost LB: 61277 ... c Min unsat cost LB: 61278 ... c Min unsat cost LB: 61279 ... c Min unsat cost LB: 61280 ... c Min unsat cost LB: 61281 ... c Min unsat cost LB: 61282 ... c Min unsat cost LB: 61283 ... c Min unsat cost LB: 61284 ... c Min unsat cost LB: 61285 ... c Min unsat cost LB: 61286 ... c Min unsat cost LB: 61288 ... c Min unsat cost LB: 61289 ... c Min unsat cost LB: 61290 ... c Min unsat cost LB: 61291 ... c Min unsat cost LB: 61292 ... c Min unsat cost LB: 61293 ... c Min unsat cost LB: 61294 ... c Min unsat cost LB: 61295 ... c Min unsat cost LB: 61296 ... c Min unsat cost LB: 61297 ... c Min unsat cost LB: 61298 ... c Min unsat cost LB: 61299 ... c Min unsat cost LB: 61300 ... c Min unsat cost LB: 61301 ... c Min unsat cost LB: 61302 ... c Min unsat cost LB: 61303 ... c Min unsat cost LB: 61336 ... c Min unsat cost LB: 61337 ... c Min unsat cost LB: 61338 ... c Min unsat cost LB: 61339 ... c Min unsat cost LB: 61340 ... c Min unsat cost LB: 61341 ... c Min unsat cost LB: 61342 ... c Min unsat cost LB: 61343 ... c Min unsat cost LB: 61344 ... c Min unsat cost LB: 61345 ... c Min unsat cost LB: 61346 ... c Min unsat cost LB: 61347 ... c Min unsat cost LB: 61348 ... c Min unsat cost LB: 61349 ... c Min unsat cost LB: 61350 ... c Min unsat cost LB: 61352 ... c Min unsat cost LB: 61353 ... c Min unsat cost LB: 61374 ... c Min unsat cost LB: 61375 ... c Min unsat cost LB: 61376 ... c Min unsat cost LB: 61853 ... c Min unsat cost LB: 61861 ... c Min unsat cost LB: 61862 ... c Min unsat cost LB: 61877 ... c Min unsat cost LB: 61878 ... c Min unsat cost LB: 61879 ... c Min unsat cost LB: 61880 ... c Min unsat cost LB: 61882 ... c Min unsat cost LB: 61885 ... c Min unsat cost LB: 61889 ... c Min unsat cost LB: 61891 ... c Min unsat cost LB: 61892 ... c Min unsat cost LB: 61893 ... c Min unsat cost LB: 61894 ... c Min unsat cost LB: 61895 ... c Min unsat cost LB: 61896 ... c Min unsat cost LB: 61897 ... c Min unsat cost LB: 61898 ... c Min unsat cost LB: 61899 ... c Min unsat cost LB: 61900 ... c Min unsat cost LB: 61901 ... c Min unsat cost LB: 61902 ... c Min unsat cost LB: 61903 ... c Min unsat cost LB: 61904 ... c Min unsat cost LB: 61905 ... c Min unsat cost LB: 61906 ... c Min unsat cost LB: 61908 ... c Min unsat cost LB: 61910 ... c Min unsat cost LB: 61911 ... c Min unsat cost LB: 61912 ... c Min unsat cost LB: 61913 ... c Min unsat cost LB: 61914 ... c Min unsat cost LB: 61915 ... c Min unsat cost LB: 61916 ... c Min unsat cost LB: 61917 ... c Min unsat cost LB: 61918 ... c Min unsat cost LB: 61919 ... c Min unsat cost LB: 61951 ... c Min unsat cost LB: 61952 ... c Min unsat cost LB: 61953 ... c Min unsat cost LB: 61954 ... c Min unsat cost LB: 61955 ... c Min unsat cost LB: 61956 ... c Min unsat cost LB: 61962 ... c Min unsat cost LB: 61963 ... c Min unsat cost LB: 61965 ... c Min unsat cost LB: 61966 ... c Min unsat cost LB: 61967 ... c Min unsat cost LB: 61968 ... c Min unsat cost LB: 61969 ... c Min unsat cost LB: 61970 ... c Min unsat cost LB: 61971 ... c Min unsat cost LB: 61972 ... c Min unsat cost LB: 61973 ... c Min unsat cost LB: 61974 ... c Min unsat cost LB: 61975 ... c Min unsat cost LB: 61976 ... c Min unsat cost LB: 61977 ... c Min unsat cost LB: 61978 ... c Min unsat cost LB: 61979 ... c Min unsat cost LB: 61980 ... c Min unsat cost LB: 61981 ... c Min unsat cost LB: 61982 ... c Min unsat cost LB: 61983 ... c Min unsat cost LB: 61984 ... c Min unsat cost LB: 61985 ... c Min unsat cost LB: 61986 ... c Min unsat cost LB: 61987 ... c Min unsat cost LB: 61988 ... c Min unsat cost LB: 61989 ... c Min unsat cost LB: 61991 ... c Min unsat cost LB: 61993 ... c Min unsat cost LB: 61994 ... c Min unsat cost LB: 61995 ... c Min unsat cost LB: 61996 ... c Min unsat cost LB: 61997 ... c Min unsat cost LB: 61998 ... c Min unsat cost LB: 61999 ... c Min unsat cost LB: 62000 ... c Min unsat cost LB: 62001 ... c Min unsat cost LB: 62002 ... c Min unsat cost LB: 62003 ... c Min unsat cost LB: 62004 ... c Min unsat cost LB: 62005 ... c Min unsat cost LB: 62006 ... c Min unsat cost LB: 62007 ... c Min unsat cost LB: 62008 ... c Min unsat cost LB: 62009 ... c Min unsat cost LB: 62010 ... c Min unsat cost LB: 62011 ... c Min unsat cost LB: 62012 ... c Min unsat cost LB: 62013 ... c Min unsat cost LB: 62017 ... c Min unsat cost LB: 62021 ... c Min unsat cost LB: 62033 ... c Min unsat cost LB: 62062 ... c Min unsat cost LB: 62179 ... c Min unsat cost LB: 62182 ... c Min unsat cost LB: 62183 ... c Min unsat cost LB: 62187 ... c Min unsat cost LB: 62191 ... c Min unsat cost LB: 62192 ... c Min unsat cost LB: 62236 ... c Min unsat cost LB: 62249 ... c Min unsat cost LB: 62250 ... c Min unsat cost LB: 62251 ... c Min unsat cost LB: 62253 ... c Min unsat cost LB: 62254 ... c Min unsat cost LB: 62255 ... c Min unsat cost LB: 62256 ... c Min unsat cost LB: 62257 ... c Min unsat cost LB: 62258 ... c Min unsat cost LB: 62259 ... c Min unsat cost LB: 62260 ... c Min unsat cost LB: 62261 ... c Min unsat cost LB: 62262 ... c Min unsat cost LB: 62265 ... c Min unsat cost LB: 62267 ... c Min unsat cost LB: 62268 ... c Min unsat cost LB: 62270 ... c Min unsat cost LB: 62271 ... c Min unsat cost LB: 62272 ... c Min unsat cost LB: 62273 ... c Min unsat cost LB: 62274 ... c Min unsat cost LB: 62275 ... c Min unsat cost LB: 62276 ... c Min unsat cost LB: 62277 ... c Min unsat cost LB: 62278 ... c Min unsat cost LB: 62279 ... c Min unsat cost LB: 62280 ... c Min unsat cost LB: 62281 ... c Min unsat cost LB: 62283 ... c Min unsat cost LB: 62284 ... c Min unsat cost LB: 62285 ... c Min unsat cost LB: 62286 ... c Min unsat cost LB: 62287 ... c Min unsat cost LB: 62288 ... c Min unsat cost LB: 62289 ... c Min unsat cost LB: 62290 ... c Min unsat cost LB: 62291 ... c Min unsat cost LB: 62292 ... c Min unsat cost LB: 62296 ... c Min unsat cost LB: 62300 ... c Min unsat cost LB: 62302 ... c Min unsat cost LB: 62303 ... c Min unsat cost LB: 62304 ... c Min unsat cost LB: 62305 ... c Min unsat cost LB: 62307 ... c Min unsat cost LB: 62308 ... c Min unsat cost LB: 62309 ... c Min unsat cost LB: 62310 ... c Min unsat cost LB: 62311 ... c Min unsat cost LB: 62312 ... c Min unsat cost LB: 62313 ... c Min unsat cost LB: 62314 ... c Min unsat cost LB: 62315 ... c Min unsat cost LB: 62316 ... c Min unsat cost LB: 62317 ... c Min unsat cost LB: 62318 ... c Min unsat cost LB: 62319 ... c Min unsat cost LB: 62320 ... c Min unsat cost LB: 62321 ... c Min unsat cost LB: 62322 ... c Min unsat cost LB: 62323 ... c Min unsat cost LB: 62324 ... c Min unsat cost LB: 62325 ... c Min unsat cost LB: 62326 ... c Min unsat cost LB: 62327 ... c Min unsat cost LB: 62328 ... c Min unsat cost LB: 62329 ... c Min unsat cost LB: 62330 ... c Min unsat cost LB: 62331 ... c Min unsat cost LB: 62332 ... c Min unsat cost LB: 62333 ... c Min unsat cost LB: 62334 ... c Min unsat cost LB: 62335 ... c Min unsat cost LB: 62336 ... c Min unsat cost LB: 62337 ... c Min unsat cost LB: 62339 ... Killed 1817.017u 2.723s 30:21.55 99.9% 0+0k 0+0io 0pf+0w