Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_100_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0004.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0004.txt.wcnf *** c c Min unsat cost LB: 695 ... c Min unsat cost LB: 715 ... c Min unsat cost LB: 1163 ... c Min unsat cost LB: 1514 ... c Min unsat cost LB: 1995 ... c Min unsat cost LB: 3190 ... c Min unsat cost LB: 3989 ... c Min unsat cost LB: 4173 ... c Min unsat cost LB: 5041 ... c Min unsat cost LB: 5275 ... c Min unsat cost LB: 5996 ... c Min unsat cost LB: 6444 ... c Min unsat cost LB: 6655 ... c Min unsat cost LB: 7565 ... c Min unsat cost LB: 8437 ... c Min unsat cost LB: 8499 ... c Min unsat cost LB: 8763 ... c Min unsat cost LB: 9319 ... c Min unsat cost LB: 9481 ... c Min unsat cost LB: 9743 ... c Min unsat cost LB: 10147 ... c Min unsat cost LB: 11015 ... c Min unsat cost LB: 11338 ... c Min unsat cost LB: 11797 ... c Min unsat cost LB: 12419 ... c Min unsat cost LB: 13402 ... c Min unsat cost LB: 13475 ... c Min unsat cost LB: 13667 ... c Min unsat cost LB: 13917 ... c Min unsat cost LB: 14369 ... c Min unsat cost LB: 14657 ... c Min unsat cost LB: 15391 ... c Min unsat cost LB: 15623 ... c Min unsat cost LB: 15998 ... c Min unsat cost LB: 16491 ... c Min unsat cost LB: 17259 ... c Min unsat cost LB: 18027 ... c Min unsat cost LB: 18168 ... c Min unsat cost LB: 18503 ... c Min unsat cost LB: 19371 ... c Min unsat cost LB: 19909 ... c Min unsat cost LB: 20313 ... c Min unsat cost LB: 20935 ... c Min unsat cost LB: 21146 ... c Min unsat cost LB: 21430 ... c Min unsat cost LB: 22052 ... c Min unsat cost LB: 22553 ... c Min unsat cost LB: 23325 ... c Min unsat cost LB: 23943 ... c Min unsat cost LB: 24516 ... c Min unsat cost LB: 24618 ... c Min unsat cost LB: 25528 ... c Min unsat cost LB: 26691 ... c Min unsat cost LB: 26727 ... c Min unsat cost LB: 27026 ... c Min unsat cost LB: 27894 ... c Min unsat cost LB: 28092 ... c Min unsat cost LB: 28860 ... c Min unsat cost LB: 29572 ... c Min unsat cost LB: 29933 ... c Min unsat cost LB: 30632 ... c Min unsat cost LB: 31294 ... c Min unsat cost LB: 31472 ... c Min unsat cost LB: 32240 ... c Min unsat cost LB: 32704 ... c Min unsat cost LB: 33422 ... c Min unsat cost LB: 33572 ... c Min unsat cost LB: 33678 ... c Min unsat cost LB: 33728 ... c Min unsat cost LB: 34460 ... c Min unsat cost LB: 35011 ... c Min unsat cost LB: 35078 ... c Min unsat cost LB: 35204 ... c Min unsat cost LB: 35388 ... c Min unsat cost LB: 35443 ... c Min unsat cost LB: 35621 ... c Min unsat cost LB: 35962 ... c Min unsat cost LB: 36892 ... c Min unsat cost LB: 37554 ... c Min unsat cost LB: 38322 ... c Min unsat cost LB: 38449 ... c Min unsat cost LB: 38603 ... c Min unsat cost LB: 38617 ... c Min unsat cost LB: 38853 ... c Min unsat cost LB: 38902 ... c Min unsat cost LB: 38950 ... c Min unsat cost LB: 38966 ... c Min unsat cost LB: 39024 ... c Min unsat cost LB: 39046 ... c Min unsat cost LB: 39242 ... c Min unsat cost LB: 39459 ... c Min unsat cost LB: 39689 ... c Min unsat cost LB: 39853 ... c Min unsat cost LB: 40320 ... c Min unsat cost LB: 40354 ... c Min unsat cost LB: 40457 ... c Min unsat cost LB: 40798 ... c Min unsat cost LB: 40831 ... c Min unsat cost LB: 40872 ... c Min unsat cost LB: 40888 ... c Min unsat cost LB: 40922 ... c Min unsat cost LB: 41049 ... c Min unsat cost LB: 41207 ... c Min unsat cost LB: 41439 ... c Min unsat cost LB: 41588 ... c Min unsat cost LB: 41609 ... c Min unsat cost LB: 41629 ... c Min unsat cost LB: 41773 ... c Min unsat cost LB: 41971 ... c Min unsat cost LB: 42041 ... c Min unsat cost LB: 42122 ... c Min unsat cost LB: 42236 ... c Min unsat cost LB: 42239 ... c Min unsat cost LB: 42272 ... c Min unsat cost LB: 42331 ... c Min unsat cost LB: 42350 ... c Min unsat cost LB: 42507 ... c Min unsat cost LB: 42510 ... c Min unsat cost LB: 42531 ... c Min unsat cost LB: 42637 ... c Min unsat cost LB: 42667 ... c Min unsat cost LB: 42733 ... c Min unsat cost LB: 42837 ... c Min unsat cost LB: 42945 ... c Min unsat cost LB: 43084 ... c Min unsat cost LB: 43142 ... c Min unsat cost LB: 43183 ... c Min unsat cost LB: 43215 ... c Min unsat cost LB: 43223 ... c Min unsat cost LB: 43490 ... c Min unsat cost LB: 43662 ... c Min unsat cost LB: 43665 ... c Min unsat cost LB: 43740 ... c Min unsat cost LB: 43755 ... c Min unsat cost LB: 43763 ... c Min unsat cost LB: 43874 ... c Min unsat cost LB: 44052 ... c Min unsat cost LB: 44179 ... c Min unsat cost LB: 44282 ... c Min unsat cost LB: 44324 ... c Min unsat cost LB: 44370 ... c Min unsat cost LB: 44585 ... c Min unsat cost LB: 44706 ... c Min unsat cost LB: 44727 ... c Min unsat cost LB: 44781 ... c Min unsat cost LB: 44808 ... c Min unsat cost LB: 44847 ... c Min unsat cost LB: 44935 ... c Min unsat cost LB: 44937 ... c Min unsat cost LB: 44975 ... c Min unsat cost LB: 45064 ... c Min unsat cost LB: 45078 ... c Min unsat cost LB: 45126 ... c Min unsat cost LB: 45144 ... c Min unsat cost LB: 45199 ... c Min unsat cost LB: 45252 ... c Min unsat cost LB: 45435 ... c Min unsat cost LB: 45540 ... c Min unsat cost LB: 45665 ... c Min unsat cost LB: 45714 ... c Min unsat cost LB: 45773 ... c Min unsat cost LB: 45987 ... c Min unsat cost LB: 46031 ... c Min unsat cost LB: 46129 ... c Min unsat cost LB: 46205 ... c Min unsat cost LB: 46455 ... c Min unsat cost LB: 46756 ... c Min unsat cost LB: 46765 ... c Min unsat cost LB: 46796 ... c Min unsat cost LB: 46829 ... c Min unsat cost LB: 47199 ... c Min unsat cost LB: 47222 ... c Min unsat cost LB: 47537 ... c Min unsat cost LB: 47561 ... c Min unsat cost LB: 47574 ... c Min unsat cost LB: 47594 ... c Min unsat cost LB: 47608 ... c Min unsat cost LB: 47625 ... c Min unsat cost LB: 47628 ... c Min unsat cost LB: 47669 ... c Min unsat cost LB: 47687 ... c Min unsat cost LB: 47758 ... c Min unsat cost LB: 47828 ... c Min unsat cost LB: 47872 ... c Min unsat cost LB: 47977 ... c Min unsat cost LB: 47992 ... c Min unsat cost LB: 48013 ... c Min unsat cost LB: 48058 ... c Min unsat cost LB: 48078 ... c Min unsat cost LB: 48079 ... c Min unsat cost LB: 48091 ... c Min unsat cost LB: 48222 ... c Min unsat cost LB: 48237 ... c Min unsat cost LB: 48256 ... c Min unsat cost LB: 48277 ... c Min unsat cost LB: 48346 ... c Min unsat cost LB: 48353 ... c Min unsat cost LB: 48421 ... c Min unsat cost LB: 48424 ... c Min unsat cost LB: 48532 ... c Min unsat cost LB: 48535 ... c Min unsat cost LB: 48550 ... c Min unsat cost LB: 48568 ... c Min unsat cost LB: 48599 ... c Min unsat cost LB: 48608 ... c Min unsat cost LB: 48617 ... c Min unsat cost LB: 48626 ... c Min unsat cost LB: 48634 ... c Min unsat cost LB: 48693 ... c Min unsat cost LB: 48845 ... c Min unsat cost LB: 48847 ... c Min unsat cost LB: 48861 ... c Min unsat cost LB: 48899 ... c Min unsat cost LB: 48949 ... c Min unsat cost LB: 49058 ... c Min unsat cost LB: 49074 ... c Min unsat cost LB: 49091 ... c Min unsat cost LB: 49096 ... c Min unsat cost LB: 49162 ... c Min unsat cost LB: 49163 ... c Min unsat cost LB: 49183 ... c Min unsat cost LB: 49200 ... c Min unsat cost LB: 49213 ... c Min unsat cost LB: 49216 ... c Min unsat cost LB: 49217 ... c Min unsat cost LB: 49219 ... c Min unsat cost LB: 49292 ... c Min unsat cost LB: 49294 ... c Min unsat cost LB: 49298 ... c Min unsat cost LB: 49315 ... c Min unsat cost LB: 49324 ... c Min unsat cost LB: 49338 ... c Min unsat cost LB: 49352 ... c Min unsat cost LB: 49354 ... c Min unsat cost LB: 49372 ... c Min unsat cost LB: 49388 ... c Min unsat cost LB: 49400 ... c Min unsat cost LB: 49410 ... c Min unsat cost LB: 49413 ... c Min unsat cost LB: 49417 ... c Min unsat cost LB: 49432 ... c Min unsat cost LB: 49433 ... c Min unsat cost LB: 49452 ... c Min unsat cost LB: 49453 ... c Min unsat cost LB: 49456 ... c Min unsat cost LB: 49528 ... c Min unsat cost LB: 49541 ... c Min unsat cost LB: 49542 ... c Min unsat cost LB: 49555 ... c Min unsat cost LB: 49559 ... c Min unsat cost LB: 49561 ... c Min unsat cost LB: 49566 ... c Min unsat cost LB: 49574 ... c Min unsat cost LB: 49577 ... c Min unsat cost LB: 49580 ... c Min unsat cost LB: 49586 ... c Min unsat cost LB: 49599 ... c Min unsat cost LB: 49605 ... c Min unsat cost LB: 49608 ... c Min unsat cost LB: 49610 ... c Min unsat cost LB: 49614 ... c Min unsat cost LB: 49615 ... c Min unsat cost LB: 49616 ... c Min unsat cost LB: 49617 ... c Min unsat cost LB: 49618 ... c Min unsat cost LB: 49644 ... c Min unsat cost LB: 49660 ... c Min unsat cost LB: 49664 ... c Min unsat cost LB: 49676 ... c Min unsat cost LB: 49677 ... c Min unsat cost LB: 49695 ... c Min unsat cost LB: 49701 ... c Min unsat cost LB: 49741 ... c Min unsat cost LB: 49753 ... c Min unsat cost LB: 49754 ... c Min unsat cost LB: 49783 ... c Min unsat cost LB: 49821 ... c Min unsat cost LB: 49825 ... c Min unsat cost LB: 49836 ... c Min unsat cost LB: 49854 ... c Min unsat cost LB: 49862 ... c Min unsat cost LB: 49878 ... c Min unsat cost LB: 49880 ... c Min unsat cost LB: 49882 ... c Min unsat cost LB: 49888 ... c Min unsat cost LB: 49901 ... c Min unsat cost LB: 49907 ... c Min unsat cost LB: 49911 ... c Min unsat cost LB: 49913 ... c Min unsat cost LB: 49914 ... c Min unsat cost LB: 49918 ... c Min unsat cost LB: 49927 ... c Min unsat cost LB: 49928 ... c Min unsat cost LB: 49940 ... c Min unsat cost LB: 49956 ... c Min unsat cost LB: 49965 ... c Min unsat cost LB: 49966 ... c Min unsat cost LB: 49970 ... c Min unsat cost LB: 49971 ... c Min unsat cost LB: 49979 ... c Min unsat cost LB: 49982 ... c Min unsat cost LB: 49983 ... c Min unsat cost LB: 49988 ... c Min unsat cost LB: 49990 ... c Min unsat cost LB: 49991 ... c Min unsat cost LB: 49992 ... c Min unsat cost LB: 49993 ... c Min unsat cost LB: 49999 ... c Min unsat cost LB: 50003 ... c Min unsat cost LB: 50007 ... c Min unsat cost LB: 50009 ... c Min unsat cost LB: 50013 ... c Min unsat cost LB: 50014 ... c Min unsat cost LB: 50019 ... c Min unsat cost LB: 50021 ... c Min unsat cost LB: 50024 ... c Min unsat cost LB: 50028 ... c Min unsat cost LB: 50042 ... c Min unsat cost LB: 50050 ... c Min unsat cost LB: 50062 ... c Min unsat cost LB: 50068 ... c Min unsat cost LB: 50072 ... c Min unsat cost LB: 50073 ... c Min unsat cost LB: 50082 ... c Min unsat cost LB: 50124 ... c Min unsat cost LB: 50125 ... c Min unsat cost LB: 50126 ... c Min unsat cost LB: 50127 ... c Min unsat cost LB: 50133 ... c Min unsat cost LB: 50139 ... c Min unsat cost LB: 50160 ... c Min unsat cost LB: 50166 ... c Min unsat cost LB: 50173 ... c Min unsat cost LB: 50179 ... c Min unsat cost LB: 50181 ... c Min unsat cost LB: 50184 ... c Min unsat cost LB: 50228 ... c Min unsat cost LB: 50258 ... c Min unsat cost LB: 50274 ... c Min unsat cost LB: 50282 ... c Min unsat cost LB: 50285 ... c Min unsat cost LB: 50311 ... c Min unsat cost LB: 50347 ... c Min unsat cost LB: 50348 ... c Min unsat cost LB: 50360 ... c Min unsat cost LB: 50361 ... c Min unsat cost LB: 50371 ... c Min unsat cost LB: 50372 ... c Min unsat cost LB: 50376 ... c Min unsat cost LB: 50377 ... c Min unsat cost LB: 50378 ... c Min unsat cost LB: 50379 ... c Min unsat cost LB: 50404 ... c Min unsat cost LB: 50444 ... c Min unsat cost LB: 50562 ... c Min unsat cost LB: 50565 ... c Min unsat cost LB: 50580 ... c Min unsat cost LB: 50581 ... c Min unsat cost LB: 50584 ... c Min unsat cost LB: 50585 ... c Min unsat cost LB: 50586 ... c Min unsat cost LB: 50593 ... c Min unsat cost LB: 50597 ... c Min unsat cost LB: 50602 ... c Min unsat cost LB: 50604 ... c Min unsat cost LB: 50611 ... c Min unsat cost LB: 50616 ... c Min unsat cost LB: 50618 ... c Min unsat cost LB: 50620 ... c Min unsat cost LB: 50624 ... c Min unsat cost LB: 50626 ... c Min unsat cost LB: 50635 ... c Min unsat cost LB: 50636 ... c Min unsat cost LB: 50637 ... c Min unsat cost LB: 50638 ... c Min unsat cost LB: 50639 ... c Min unsat cost LB: 50645 ... c Min unsat cost LB: 50647 ... c Min unsat cost LB: 50648 ... c Min unsat cost LB: 50649 ... c Min unsat cost LB: 50653 ... c Min unsat cost LB: 50654 ... c Min unsat cost LB: 50656 ... c Min unsat cost LB: 50657 ... c Min unsat cost LB: 50658 ... c Min unsat cost LB: 50659 ... c Min unsat cost LB: 50662 ... c Min unsat cost LB: 50663 ... c Min unsat cost LB: 50664 ... c Min unsat cost LB: 50665 ... c Min unsat cost LB: 50666 ... c Min unsat cost LB: 50668 ... c Min unsat cost LB: 50670 ... c Min unsat cost LB: 50671 ... c Min unsat cost LB: 50672 ... c Min unsat cost LB: 50673 ... c Min unsat cost LB: 50674 ... c Min unsat cost LB: 50677 ... c Min unsat cost LB: 50678 ... c Min unsat cost LB: 50680 ... c Min unsat cost LB: 50681 ... c Min unsat cost LB: 50683 ... c Min unsat cost LB: 50686 ... c Min unsat cost LB: 50687 ... c Min unsat cost LB: 50688 ... c Min unsat cost LB: 50695 ... c Min unsat cost LB: 50696 ... c Min unsat cost LB: 50697 ... c Min unsat cost LB: 50698 ... c Min unsat cost LB: 50699 ... c Min unsat cost LB: 50700 ... c Min unsat cost LB: 50701 ... c Min unsat cost LB: 50702 ... c Min unsat cost LB: 50703 ... c Min unsat cost LB: 50709 ... c Min unsat cost LB: 50716 ... c Min unsat cost LB: 50717 ... c Min unsat cost LB: 50718 ... c Min unsat cost LB: 50725 ... c Min unsat cost LB: 50727 ... c Min unsat cost LB: 50733 ... c Min unsat cost LB: 50771 ... c Min unsat cost LB: 50776 ... c Min unsat cost LB: 50781 ... c Min unsat cost LB: 50784 ... c Min unsat cost LB: 50786 ... c Min unsat cost LB: 50904 ... c Min unsat cost LB: 50908 ... c Min unsat cost LB: 50910 ... c Min unsat cost LB: 50912 ... c Min unsat cost LB: 50913 ... c Min unsat cost LB: 50915 ... c Min unsat cost LB: 50917 ... c Min unsat cost LB: 50923 ... c Min unsat cost LB: 50927 ... c Min unsat cost LB: 50930 ... c Min unsat cost LB: 50934 ... c Min unsat cost LB: 50938 ... c Min unsat cost LB: 50939 ... c Min unsat cost LB: 50950 ... c Min unsat cost LB: 50951 ... c Min unsat cost LB: 50957 ... c Min unsat cost LB: 50971 ... c Min unsat cost LB: 50972 ... c Min unsat cost LB: 50973 ... c Min unsat cost LB: 50974 ... c Min unsat cost LB: 50976 ... c Min unsat cost LB: 50977 ... c Min unsat cost LB: 50978 ... c Min unsat cost LB: 50989 ... c Min unsat cost LB: 50993 ... c Min unsat cost LB: 51001 ... c Min unsat cost LB: 51003 ... c Min unsat cost LB: 51005 ... c Min unsat cost LB: 51007 ... c Min unsat cost LB: 51008 ... c Min unsat cost LB: 51011 ... c Min unsat cost LB: 51012 ... c Min unsat cost LB: 51013 ... c Min unsat cost LB: 51014 ... c Min unsat cost LB: 51015 ... c Min unsat cost LB: 51016 ... c Min unsat cost LB: 51017 ... c Min unsat cost LB: 51018 ... c Min unsat cost LB: 51020 ... c Min unsat cost LB: 51022 ... c Min unsat cost LB: 51024 ... c Min unsat cost LB: 51025 ... c Min unsat cost LB: 51026 ... c Min unsat cost LB: 51028 ... c Min unsat cost LB: 51030 ... c Min unsat cost LB: 51031 ... c Min unsat cost LB: 51037 ... c Min unsat cost LB: 51041 ... c Min unsat cost LB: 51042 ... c Min unsat cost LB: 51061 ... c Min unsat cost LB: 51063 ... c Min unsat cost LB: 51064 ... c Min unsat cost LB: 51069 ... c Min unsat cost LB: 51070 ... c Min unsat cost LB: 51071 ... c Min unsat cost LB: 51072 ... c Min unsat cost LB: 51073 ... c Min unsat cost LB: 51075 ... c Min unsat cost LB: 51076 ... c Min unsat cost LB: 51077 ... c Min unsat cost LB: 51078 ... c Min unsat cost LB: 51079 ... c Min unsat cost LB: 51080 ... c Min unsat cost LB: 51087 ... c Min unsat cost LB: 51088 ... c Min unsat cost LB: 51089 ... c Min unsat cost LB: 51090 ... c Min unsat cost LB: 51091 ... c Min unsat cost LB: 51092 ... c Min unsat cost LB: 51093 ... c Min unsat cost LB: 51094 ... c Min unsat cost LB: 51095 ... c Min unsat cost LB: 51096 ... c Min unsat cost LB: 51097 ... c Min unsat cost LB: 51098 ... c Min unsat cost LB: 51099 ... c Min unsat cost LB: 51100 ... c Min unsat cost LB: 51101 ... c Min unsat cost LB: 51102 ... c Min unsat cost LB: 51104 ... c Min unsat cost LB: 51106 ... c Min unsat cost LB: 51107 ... c Min unsat cost LB: 51110 ... c Min unsat cost LB: 51111 ... c Min unsat cost LB: 51112 ... c Min unsat cost LB: 51113 ... c Min unsat cost LB: 51114 ... c Min unsat cost LB: 51115 ... c Min unsat cost LB: 51116 ... c Min unsat cost LB: 51117 ... c Min unsat cost LB: 51118 ... c Min unsat cost LB: 51119 ... c Min unsat cost LB: 51125 ... c Min unsat cost LB: 51126 ... c Min unsat cost LB: 51127 ... c Min unsat cost LB: 51128 ... c Min unsat cost LB: 51129 ... c Min unsat cost LB: 51130 ... c Min unsat cost LB: 51131 ... c Min unsat cost LB: 51132 ... c Min unsat cost LB: 51133 ... c Min unsat cost LB: 51134 ... c Min unsat cost LB: 51135 ... c Min unsat cost LB: 51136 ... c Min unsat cost LB: 51137 ... c Min unsat cost LB: 51138 ... c Min unsat cost LB: 51139 ... c Min unsat cost LB: 51140 ... c Min unsat cost LB: 51141 ... c Min unsat cost LB: 51142 ... c Min unsat cost LB: 51143 ... c Min unsat cost LB: 51144 ... c Min unsat cost LB: 51145 ... c Min unsat cost LB: 51147 ... c Min unsat cost LB: 51148 ... c Min unsat cost LB: 51150 ... c Min unsat cost LB: 51156 ... c Min unsat cost LB: 51157 ... c Min unsat cost LB: 51158 ... c Min unsat cost LB: 51159 ... c Min unsat cost LB: 51160 ... c Min unsat cost LB: 51161 ... c Min unsat cost LB: 51162 ... c Min unsat cost LB: 51163 ... c Min unsat cost LB: 51165 ... c Min unsat cost LB: 51166 ... c Min unsat cost LB: 51167 ... c Min unsat cost LB: 51168 ... c Min unsat cost LB: 51169 ... c Min unsat cost LB: 51170 ... c Min unsat cost LB: 51173 ... c Min unsat cost LB: 51178 ... c Min unsat cost LB: 51179 ... c Min unsat cost LB: 51180 ... c Min unsat cost LB: 51181 ... c Min unsat cost LB: 51182 ... c Min unsat cost LB: 51183 ... c Min unsat cost LB: 51184 ... c Min unsat cost LB: 51185 ... c Min unsat cost LB: 51186 ... c Min unsat cost LB: 51187 ... c Min unsat cost LB: 51188 ... c Min unsat cost LB: 51189 ... c Min unsat cost LB: 51190 ... c Min unsat cost LB: 51191 ... c Min unsat cost LB: 51192 ... c Min unsat cost LB: 51193 ... c Min unsat cost LB: 51194 ... c Min unsat cost LB: 51195 ... c Min unsat cost LB: 51196 ... c Min unsat cost LB: 51197 ... c Min unsat cost LB: 51198 ... c Min unsat cost LB: 51199 ... c Min unsat cost LB: 51200 ... c Min unsat cost LB: 51201 ... c Min unsat cost LB: 51202 ... c Min unsat cost LB: 51205 ... c Min unsat cost LB: 51207 ... c Min unsat cost LB: 51210 ... c Min unsat cost LB: 51213 ... c Min unsat cost LB: 51216 ... c Min unsat cost LB: 51220 ... c Min unsat cost LB: 51223 ... c Min unsat cost LB: 51224 ... c Min unsat cost LB: 51225 ... c Min unsat cost LB: 51226 ... c Min unsat cost LB: 51227 ... c Min unsat cost LB: 51229 ... c Min unsat cost LB: 51230 ... c Min unsat cost LB: 51232 ... c Min unsat cost LB: 51233 ... c Min unsat cost LB: 51236 ... c Min unsat cost LB: 51239 ... c Min unsat cost LB: 51240 ... c Min unsat cost LB: 51241 ... c Min unsat cost LB: 51242 ... c Min unsat cost LB: 51246 ... c Min unsat cost LB: 51248 ... c Min unsat cost LB: 51252 ... c Min unsat cost LB: 51258 ... c Min unsat cost LB: 51265 ... c Min unsat cost LB: 51266 ... c Min unsat cost LB: 51272 ... c Min unsat cost LB: 51273 ... c Min unsat cost LB: 51282 ... c Min unsat cost LB: 51286 ... c Min unsat cost LB: 51300 ... c Min unsat cost LB: 51301 ... c Min unsat cost LB: 51309 ... c Min unsat cost LB: 51310 ... c Min unsat cost LB: 51311 ... c Min unsat cost LB: 51314 ... c Min unsat cost LB: 51338 ... c Min unsat cost LB: 51339 ... c Min unsat cost LB: 51340 ... c Min unsat cost LB: 51341 ... c Min unsat cost LB: 51342 ... c Min unsat cost LB: 51343 ... c Min unsat cost LB: 51344 ... c Min unsat cost LB: 51345 ... c Min unsat cost LB: 51346 ... c Min unsat cost LB: 51347 ... c Min unsat cost LB: 51348 ... c Min unsat cost LB: 51349 ... c Min unsat cost LB: 51350 ... c Min unsat cost LB: 51351 ... c Min unsat cost LB: 51352 ... c Min unsat cost LB: 51353 ... c Min unsat cost LB: 51354 ... c Min unsat cost LB: 51355 ... c Min unsat cost LB: 51356 ... c Min unsat cost LB: 51359 ... c Min unsat cost LB: 51360 ... c Min unsat cost LB: 51361 ... c Min unsat cost LB: 51362 ... c Min unsat cost LB: 51363 ... c Min unsat cost LB: 51364 ... c Min unsat cost LB: 51365 ... c Min unsat cost LB: 51366 ... c Min unsat cost LB: 51367 ... c Min unsat cost LB: 51368 ... c Min unsat cost LB: 51369 ... c Min unsat cost LB: 51370 ... c Min unsat cost LB: 51371 ... c Min unsat cost LB: 51372 ... c Min unsat cost LB: 51373 ... c Min unsat cost LB: 51374 ... c Min unsat cost LB: 51375 ... c Min unsat cost LB: 51376 ... c Min unsat cost LB: 51377 ... c Min unsat cost LB: 51378 ... c Min unsat cost LB: 51379 ... c Min unsat cost LB: 51380 ... c Min unsat cost LB: 51382 ... c Min unsat cost LB: 51383 ... c Min unsat cost LB: 51385 ... c Min unsat cost LB: 51387 ... c Min unsat cost LB: 51388 ... c Min unsat cost LB: 51394 ... c Min unsat cost LB: 51395 ... c Min unsat cost LB: 51396 ... c Min unsat cost LB: 51397 ... c Min unsat cost LB: 51398 ... c Min unsat cost LB: 51399 ... c Min unsat cost LB: 51400 ... c Min unsat cost LB: 51401 ... c Min unsat cost LB: 51402 ... c Min unsat cost LB: 51406 ... c Min unsat cost LB: 51407 ... c Min unsat cost LB: 51408 ... c Min unsat cost LB: 51409 ... c Min unsat cost LB: 51410 ... c Min unsat cost LB: 51411 ... c Min unsat cost LB: 51412 ... c Min unsat cost LB: 51413 ... c Min unsat cost LB: 51414 ... c Min unsat cost LB: 51415 ... c Min unsat cost LB: 51416 ... c Min unsat cost LB: 51417 ... c Min unsat cost LB: 51418 ... c Min unsat cost LB: 51419 ... c Min unsat cost LB: 51420 ... c Min unsat cost LB: 51422 ... c Min unsat cost LB: 51424 ... c Min unsat cost LB: 51425 ... c Min unsat cost LB: 51426 ... c Min unsat cost LB: 51427 ... c Min unsat cost LB: 51428 ... c Min unsat cost LB: 51429 ... c Min unsat cost LB: 51430 ... c Min unsat cost LB: 51431 ... c Min unsat cost LB: 51432 ... c Min unsat cost LB: 51434 ... c Min unsat cost LB: 51435 ... c Min unsat cost LB: 51436 ... c Min unsat cost LB: 51437 ... c Min unsat cost LB: 51439 ... c Min unsat cost LB: 51440 ... c Min unsat cost LB: 51441 ... c Min unsat cost LB: 51443 ... c Min unsat cost LB: 51444 ... c Min unsat cost LB: 51445 ... c Min unsat cost LB: 51446 ... c Min unsat cost LB: 51447 ... c Min unsat cost LB: 51448 ... c Min unsat cost LB: 51449 ... c Min unsat cost LB: 51450 ... c Min unsat cost LB: 51451 ... c Min unsat cost LB: 51452 ... c Min unsat cost LB: 51453 ... c Min unsat cost LB: 51454 ... c Min unsat cost LB: 51455 ... c Min unsat cost LB: 51456 ... c Min unsat cost LB: 51457 ... c Min unsat cost LB: 51458 ... c Min unsat cost LB: 51459 ... c Min unsat cost LB: 51460 ... c Min unsat cost LB: 51461 ... c Min unsat cost LB: 51462 ... c Min unsat cost LB: 51463 ... c Min unsat cost LB: 51464 ... c Min unsat cost LB: 51465 ... c Min unsat cost LB: 51466 ... c Min unsat cost LB: 51467 ... c Min unsat cost LB: 51468 ... c Min unsat cost LB: 51469 ... c Min unsat cost LB: 51470 ... c Min unsat cost LB: 51471 ... c Min unsat cost LB: 51472 ... c Min unsat cost LB: 51473 ... c Min unsat cost LB: 51474 ... c Min unsat cost LB: 51475 ... c Min unsat cost LB: 51476 ... c Min unsat cost LB: 51477 ... c Min unsat cost LB: 51478 ... c Min unsat cost LB: 51479 ... c Min unsat cost LB: 51480 ... c Min unsat cost LB: 51481 ... c Min unsat cost LB: 51482 ... c Min unsat cost LB: 51483 ... c Min unsat cost LB: 51484 ... c Min unsat cost LB: 51485 ... c Min unsat cost LB: 51486 ... c Min unsat cost LB: 51487 ... c Min unsat cost LB: 51488 ... c Min unsat cost LB: 51489 ... c Min unsat cost LB: 51490 ... c Min unsat cost LB: 51491 ... c Min unsat cost LB: 51492 ... c Min unsat cost LB: 51493 ... c Min unsat cost LB: 51494 ... c Min unsat cost LB: 51495 ... c Min unsat cost LB: 51503 ... c Min unsat cost LB: 51504 ... c Min unsat cost LB: 51505 ... c Min unsat cost LB: 51506 ... c Min unsat cost LB: 51507 ... c Min unsat cost LB: 51508 ... c Min unsat cost LB: 51509 ... c Min unsat cost LB: 51510 ... c Min unsat cost LB: 51511 ... c Min unsat cost LB: 51512 ... c Min unsat cost LB: 51514 ... c Min unsat cost LB: 51515 ... c Min unsat cost LB: 51517 ... c Min unsat cost LB: 51518 ... c Min unsat cost LB: 51519 ... c Min unsat cost LB: 51520 ... c Min unsat cost LB: 51523 ... c Min unsat cost LB: 51524 ... c Min unsat cost LB: 51525 ... c Min unsat cost LB: 51526 ... c Min unsat cost LB: 51527 ... c Min unsat cost LB: 51529 ... c Min unsat cost LB: 51531 ... c Min unsat cost LB: 51532 ... c Min unsat cost LB: 51540 ... c Min unsat cost LB: 51556 ... c Min unsat cost LB: 51557 ... c Min unsat cost LB: 51558 ... c Min unsat cost LB: 51559 ... c Min unsat cost LB: 51560 ... c Min unsat cost LB: 51561 ... c Min unsat cost LB: 51562 ... c Min unsat cost LB: 51563 ... c Min unsat cost LB: 51564 ... c Min unsat cost LB: 51565 ... c Min unsat cost LB: 51566 ... c Min unsat cost LB: 51567 ... c Min unsat cost LB: 51568 ... c Min unsat cost LB: 51569 ... c Min unsat cost LB: 51570 ... c Min unsat cost LB: 51571 ... c Min unsat cost LB: 51572 ... c Min unsat cost LB: 51573 ... c Min unsat cost LB: 51574 ... c Min unsat cost LB: 51575 ... c Min unsat cost LB: 51576 ... c Min unsat cost LB: 51577 ... c Min unsat cost LB: 51578 ... c Min unsat cost LB: 51579 ... c Min unsat cost LB: 51580 ... c Min unsat cost LB: 51581 ... c Min unsat cost LB: 51582 ... c Min unsat cost LB: 51583 ... c Min unsat cost LB: 51584 ... c Min unsat cost LB: 51585 ... c Min unsat cost LB: 51586 ... c Min unsat cost LB: 51588 ... c Min unsat cost LB: 51590 ... c Min unsat cost LB: 51592 ... c Min unsat cost LB: 51593 ... c Min unsat cost LB: 51598 ... c Min unsat cost LB: 51599 ... c Min unsat cost LB: 51600 ... c Min unsat cost LB: 51601 ... c Min unsat cost LB: 51602 ... c Min unsat cost LB: 51603 ... c Min unsat cost LB: 51604 ... c Min unsat cost LB: 51605 ... c Min unsat cost LB: 51606 ... c Min unsat cost LB: 51607 ... c Min unsat cost LB: 51608 ... c Min unsat cost LB: 51609 ... c Min unsat cost LB: 51610 ... c Min unsat cost LB: 51611 ... c Min unsat cost LB: 51612 ... c Min unsat cost LB: 51613 ... c Min unsat cost LB: 51614 ... c Min unsat cost LB: 51615 ... c Min unsat cost LB: 51616 ... c Min unsat cost LB: 51617 ... c Min unsat cost LB: 51618 ... c Min unsat cost LB: 51619 ... c Min unsat cost LB: 51620 ... c Min unsat cost LB: 51621 ... c Min unsat cost LB: 51622 ... c Min unsat cost LB: 51623 ... c Min unsat cost LB: 51624 ... c Min unsat cost LB: 51625 ... c Min unsat cost LB: 51626 ... c Min unsat cost LB: 51627 ... c Min unsat cost LB: 51628 ... c Min unsat cost LB: 51629 ... c Min unsat cost LB: 51630 ... c Min unsat cost LB: 51631 ... c Min unsat cost LB: 51632 ... c Min unsat cost LB: 51633 ... c Min unsat cost LB: 51634 ... c Min unsat cost LB: 51635 ... c Min unsat cost LB: 51636 ... c Min unsat cost LB: 51637 ... c Min unsat cost LB: 51638 ... c Min unsat cost LB: 51639 ... c Min unsat cost LB: 51640 ... c Min unsat cost LB: 51641 ... c Min unsat cost LB: 51642 ... c Min unsat cost LB: 51643 ... c Min unsat cost LB: 51644 ... c Min unsat cost LB: 51646 ... c Min unsat cost LB: 51647 ... c Min unsat cost LB: 51648 ... c Min unsat cost LB: 51649 ... c Min unsat cost LB: 51650 ... c Min unsat cost LB: 51651 ... c Min unsat cost LB: 51652 ... c Min unsat cost LB: 51653 ... c Min unsat cost LB: 51654 ... c Min unsat cost LB: 51655 ... c Min unsat cost LB: 51656 ... c Min unsat cost LB: 51657 ... c Min unsat cost LB: 51658 ... c Min unsat cost LB: 51659 ... c Min unsat cost LB: 51660 ... c Min unsat cost LB: 51661 ... c Min unsat cost LB: 51662 ... c Min unsat cost LB: 51663 ... c Min unsat cost LB: 51664 ... c Min unsat cost LB: 51665 ... c Min unsat cost LB: 51666 ... c Min unsat cost LB: 51667 ... c Min unsat cost LB: 51668 ... c Min unsat cost LB: 51669 ... c Min unsat cost LB: 51670 ... c Min unsat cost LB: 51671 ... c Min unsat cost LB: 51672 ... c Min unsat cost LB: 51673 ... c Min unsat cost LB: 51674 ... c Min unsat cost LB: 51675 ... c Min unsat cost LB: 51676 ... c Min unsat cost LB: 51677 ... c Min unsat cost LB: 51678 ... c Min unsat cost LB: 51679 ... c Min unsat cost LB: 51680 ... c Min unsat cost LB: 51681 ... c Min unsat cost LB: 51682 ... c Min unsat cost LB: 51683 ... c Min unsat cost LB: 51685 ... c Min unsat cost LB: 51687 ... c Min unsat cost LB: 51688 ... c Min unsat cost LB: 51689 ... c Min unsat cost LB: 51690 ... c Min unsat cost LB: 51691 ... c Min unsat cost LB: 51692 ... c Min unsat cost LB: 51693 ... c Min unsat cost LB: 51694 ... c Min unsat cost LB: 51695 ... c Min unsat cost LB: 51696 ... c Min unsat cost LB: 51697 ... c Min unsat cost LB: 51698 ... c Min unsat cost LB: 51699 ... c Min unsat cost LB: 51700 ... c Min unsat cost LB: 51701 ... c Min unsat cost LB: 51704 ... c Min unsat cost LB: 51705 ... c Min unsat cost LB: 51706 ... c Min unsat cost LB: 51707 ... c Min unsat cost LB: 51708 ... c Min unsat cost LB: 51709 ... c Min unsat cost LB: 51710 ... c Min unsat cost LB: 51711 ... c Min unsat cost LB: 51712 ... c Min unsat cost LB: 51713 ... c Min unsat cost LB: 51714 ... c Min unsat cost LB: 51715 ... c Min unsat cost LB: 51716 ... c Min unsat cost LB: 51717 ... c Min unsat cost LB: 51718 ... c Min unsat cost LB: 51719 ... c Min unsat cost LB: 51720 ... c Min unsat cost LB: 51721 ... c Min unsat cost LB: 51722 ... c Min unsat cost LB: 51723 ... c Min unsat cost LB: 51724 ... c Min unsat cost LB: 51725 ... c Min unsat cost LB: 51726 ... c Min unsat cost LB: 51727 ... c Min unsat cost LB: 51728 ... c Min unsat cost LB: 51729 ... c Min unsat cost LB: 51730 ... c Min unsat cost LB: 51731 ... c Min unsat cost LB: 51732 ... c Min unsat cost LB: 51733 ... c Min unsat cost LB: 51734 ... c Min unsat cost LB: 51759 ... c Min unsat cost LB: 51805 ... c Min unsat cost LB: 51806 ... c Min unsat cost LB: 51807 ... c Min unsat cost LB: 51808 ... c Min unsat cost LB: 51809 ... c Min unsat cost LB: 51810 ... c Min unsat cost LB: 51811 ... c Min unsat cost LB: 51812 ... c Min unsat cost LB: 51813 ... c Min unsat cost LB: 51814 ... c Min unsat cost LB: 51815 ... c Min unsat cost LB: 51816 ... c Min unsat cost LB: 51817 ... c Min unsat cost LB: 51818 ... c Min unsat cost LB: 51819 ... c Min unsat cost LB: 51820 ... c Min unsat cost LB: 51821 ... c Min unsat cost LB: 51822 ... c Min unsat cost LB: 51823 ... c Min unsat cost LB: 51824 ... c Min unsat cost LB: 51825 ... c Min unsat cost LB: 51826 ... c Min unsat cost LB: 51827 ... c Min unsat cost LB: 51828 ... c Min unsat cost LB: 51829 ... c Min unsat cost LB: 51830 ... c Min unsat cost LB: 51831 ... c Min unsat cost LB: 51832 ... c Min unsat cost LB: 51833 ... c Min unsat cost LB: 51834 ... c Min unsat cost LB: 51835 ... c Min unsat cost LB: 51836 ... c Min unsat cost LB: 51837 ... c Min unsat cost LB: 51838 ... c Min unsat cost LB: 51839 ... c Min unsat cost LB: 51840 ... c Min unsat cost LB: 51841 ... c Min unsat cost LB: 51842 ... c Min unsat cost LB: 51843 ... c Min unsat cost LB: 51844 ... c Min unsat cost LB: 51845 ... c Min unsat cost LB: 51846 ... c Min unsat cost LB: 51847 ... c Min unsat cost LB: 51848 ... c Min unsat cost LB: 51849 ... c Min unsat cost LB: 51850 ... c Min unsat cost LB: 51851 ... c Min unsat cost LB: 51852 ... c Min unsat cost LB: 51853 ... c Min unsat cost LB: 51854 ... c Min unsat cost LB: 51855 ... c Min unsat cost LB: 51856 ... c Min unsat cost LB: 51857 ... c Min unsat cost LB: 51858 ... c Min unsat cost LB: 51859 ... c Min unsat cost LB: 51860 ... c Min unsat cost LB: 51861 ... c Min unsat cost LB: 51862 ... c Min unsat cost LB: 51863 ... c Min unsat cost LB: 51864 ... c Min unsat cost LB: 51865 ... c Min unsat cost LB: 51866 ... c Min unsat cost LB: 51867 ... c Min unsat cost LB: 51868 ... c Min unsat cost LB: 51869 ... c Min unsat cost LB: 51870 ... c Min unsat cost LB: 51871 ... c Min unsat cost LB: 51872 ... c Min unsat cost LB: 51873 ... c Min unsat cost LB: 51874 ... c Min unsat cost LB: 51875 ... c Min unsat cost LB: 51876 ... c Min unsat cost LB: 51877 ... c Min unsat cost LB: 5Killed 1809.492u 10.250s 30:19.58 100.0% 0+0k 0+0io 0pf+0w