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_180_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_180_0001.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_180_0001.txt.wcnf *** c c Min unsat cost LB: 1770 ... c Min unsat cost LB: 2501 ... c Min unsat cost LB: 4271 ... c Min unsat cost LB: 6041 ... c Min unsat cost LB: 7811 ... c Min unsat cost LB: 9581 ... c Min unsat cost LB: 10312 ... c Min unsat cost LB: 11043 ... c Min unsat cost LB: 11723 ... c Min unsat cost LB: 12454 ... c Min unsat cost LB: 12505 ... c Min unsat cost LB: 13236 ... c Min unsat cost LB: 13967 ... c Min unsat cost LB: 14698 ... c Min unsat cost LB: 15006 ... c Min unsat cost LB: 16776 ... c Min unsat cost LB: 18282 ... c Min unsat cost LB: 18546 ... c Min unsat cost LB: 18854 ... c Min unsat cost LB: 19534 ... c Min unsat cost LB: 19585 ... c Min unsat cost LB: 21091 ... c Min unsat cost LB: 21766 ... c Min unsat cost LB: 22441 ... c Min unsat cost LB: 23070 ... c Min unsat cost LB: 23490 ... c Min unsat cost LB: 23745 ... c Min unsat cost LB: 24420 ... c Min unsat cost LB: 24996 ... c Min unsat cost LB: 25095 ... c Min unsat cost LB: 25770 ... c Min unsat cost LB: 26301 ... c Min unsat cost LB: 27606 ... c Min unsat cost LB: 28281 ... c Min unsat cost LB: 28874 ... c Min unsat cost LB: 30644 ... c Min unsat cost LB: 31044 ... c Min unsat cost LB: 31444 ... c Min unsat cost LB: 31844 ... c Min unsat cost LB: 32244 ... c Min unsat cost LB: 32919 ... c Min unsat cost LB: 33512 ... c Min unsat cost LB: 33912 ... c Min unsat cost LB: 34505 ... c Min unsat cost LB: 34811 ... c Min unsat cost LB: 34905 ... c Min unsat cost LB: 35580 ... c Min unsat cost LB: 35856 ... c Min unsat cost LB: 36173 ... c Min unsat cost LB: 36573 ... c Min unsat cost LB: 36596 ... c Min unsat cost LB: 36973 ... c Min unsat cost LB: 37327 ... c Min unsat cost LB: 37727 ... c Min unsat cost LB: 37773 ... c Min unsat cost LB: 38173 ... c Min unsat cost LB: 38317 ... c Min unsat cost LB: 38592 ... c Min unsat cost LB: 38992 ... c Min unsat cost LB: 39313 ... c Min unsat cost LB: 39538 ... c Min unsat cost LB: 40316 ... c Min unsat cost LB: 40541 ... c Min unsat cost LB: 40766 ... c Min unsat cost LB: 40991 ... c Min unsat cost LB: 41216 ... c Min unsat cost LB: 41499 ... c Min unsat cost LB: 41501 ... c Min unsat cost LB: 41882 ... c Min unsat cost LB: 42107 ... c Min unsat cost LB: 42230 ... c Min unsat cost LB: 42455 ... c Min unsat cost LB: 42680 ... c Min unsat cost LB: 42905 ... c Min unsat cost LB: 42988 ... c Min unsat cost LB: 43213 ... c Min unsat cost LB: 43438 ... c Min unsat cost LB: 43838 ... c Min unsat cost LB: 43921 ... c Min unsat cost LB: 43980 ... c Min unsat cost LB: 44205 ... c Min unsat cost LB: 44430 ... c Min unsat cost LB: 44513 ... c Min unsat cost LB: 44596 ... c Min unsat cost LB: 45652 ... c Min unsat cost LB: 45735 ... c Min unsat cost LB: 45960 ... c Min unsat cost LB: 46043 ... c Min unsat cost LB: 46085 ... c Min unsat cost LB: 46126 ... c Min unsat cost LB: 46209 ... c Min unsat cost LB: 46434 ... c Min unsat cost LB: 46659 ... c Min unsat cost LB: 46742 ... c Min unsat cost LB: 46825 ... c Min unsat cost LB: 46908 ... c Min unsat cost LB: 47457 ... c Min unsat cost LB: 47516 ... c Min unsat cost LB: 47599 ... c Min unsat cost LB: 47623 ... c Min unsat cost LB: 47664 ... c Min unsat cost LB: 47706 ... c Min unsat cost LB: 47789 ... c Min unsat cost LB: 47872 ... c Min unsat cost LB: 47955 ... c Min unsat cost LB: 48038 ... c Min unsat cost LB: 48121 ... c Min unsat cost LB: 48204 ... c Min unsat cost LB: 48390 ... c Min unsat cost LB: 48473 ... c Min unsat cost LB: 48556 ... c Min unsat cost LB: 48639 ... c Min unsat cost LB: 48721 ... c Min unsat cost LB: 48722 ... c Min unsat cost LB: 49245 ... c Min unsat cost LB: 49976 ... c Min unsat cost LB: 50624 ... c Min unsat cost LB: 50663 ... c Min unsat cost LB: 51152 ... c Min unsat cost LB: 51469 ... c Min unsat cost LB: 52378 ... c Min unsat cost LB: 54351 ... c Min unsat cost LB: 56324 ... c Min unsat cost LB: 57785 ... c Min unsat cost LB: 58297 ... c Min unsat cost LB: 59246 ... c Min unsat cost LB: 59758 ... c Min unsat cost LB: 60512 ... c Min unsat cost LB: 62282 ... c Min unsat cost LB: 62365 ... c Min unsat cost LB: 62408 ... c Min unsat cost LB: 62491 ... c Min unsat cost LB: 64261 ... c Min unsat cost LB: 65210 ... c Min unsat cost LB: 65988 ... c Min unsat cost LB: 66226 ... c Min unsat cost LB: 66296 ... c Min unsat cost LB: 67757 ... c Min unsat cost LB: 68066 ... c Min unsat cost LB: 69218 ... c Min unsat cost LB: 69836 ... c Min unsat cost LB: 69996 ... c Min unsat cost LB: 71457 ... c Min unsat cost LB: 71606 ... c Min unsat cost LB: 71999 ... c Min unsat cost LB: 73376 ... c Min unsat cost LB: 73697 ... c Min unsat cost LB: 75467 ... c Min unsat cost LB: 75499 ... c Min unsat cost LB: 76928 ... c Min unsat cost LB: 76983 ... c Min unsat cost LB: 77186 ... c Min unsat cost LB: 78135 ... c Min unsat cost LB: 78647 ... c Min unsat cost LB: 78838 ... c Min unsat cost LB: 79041 ... c Min unsat cost LB: 79136 ... c Min unsat cost LB: 79390 ... c Min unsat cost LB: 80693 ... c Min unsat cost LB: 81016 ... c Min unsat cost LB: 82176 ... c Min unsat cost LB: 82786 ... c Min unsat cost LB: 83396 ... c Min unsat cost LB: 83946 ... c Min unsat cost LB: 85106 ... c Min unsat cost LB: 86266 ... c Min unsat cost LB: 86756 ... c Min unsat cost LB: 87077 ... c Min unsat cost LB: 87687 ... c Min unsat cost LB: 88036 ... c Min unsat cost LB: 88237 ... c Min unsat cost LB: 88767 ... c Min unsat cost LB: 89058 ... c Min unsat cost LB: 89141 ... c Min unsat cost LB: 89165 ... c Min unsat cost LB: 89248 ... c Min unsat cost LB: 89331 ... c Min unsat cost LB: 89366 ... c Min unsat cost LB: 89390 ... c Min unsat cost LB: 89414 ... c Min unsat cost LB: 89493 ... c Min unsat cost LB: 89749 ... c Min unsat cost LB: 89773 ... c Min unsat cost LB: 89832 ... c Min unsat cost LB: 89856 ... c Min unsat cost LB: 89939 ... c Min unsat cost LB: 89940 ... c Min unsat cost LB: 89998 ... c Min unsat cost LB: 90022 ... c Min unsat cost LB: 90037 ... c Min unsat cost LB: 90081 ... c Min unsat cost LB: 90120 ... c Min unsat cost LB: 90281 ... c Min unsat cost LB: 90325 ... c Min unsat cost LB: 90340 ... c Min unsat cost LB: 90384 ... c Min unsat cost LB: 90408 ... c Min unsat cost LB: 90423 ... c Min unsat cost LB: 90910 ... c Min unsat cost LB: 90934 ... c Min unsat cost LB: 91036 ... c Min unsat cost LB: 91154 ... c Min unsat cost LB: 91258 ... c Min unsat cost LB: 91716 ... c Min unsat cost LB: 91767 ... c Min unsat cost LB: 91783 ... c Min unsat cost LB: 91885 ... c Min unsat cost LB: 92110 ... c Min unsat cost LB: 92285 ... c Min unsat cost LB: 92325 ... c Min unsat cost LB: 92349 ... c Min unsat cost LB: 92447 ... c Min unsat cost LB: 92498 ... c Min unsat cost LB: 92581 ... c Min unsat cost LB: 92584 ... c Min unsat cost LB: 92593 ... c Min unsat cost LB: 92640 ... c Min unsat cost LB: 92656 ... c Min unsat cost LB: 92658 ... c Min unsat cost LB: 92685 ... c Min unsat cost LB: 92768 ... c Min unsat cost LB: 92779 ... c Min unsat cost LB: 92862 ... c Min unsat cost LB: 93075 ... c Min unsat cost LB: 93158 ... c Min unsat cost LB: 93206 ... c Min unsat cost LB: 93221 ... c Min unsat cost LB: 93241 ... c Min unsat cost LB: 93245 ... c Min unsat cost LB: 93283 ... c Min unsat cost LB: 93366 ... c Min unsat cost LB: 93449 ... c Min unsat cost LB: 93490 ... c Min unsat cost LB: 93525 ... c Min unsat cost LB: 93564 ... c Min unsat cost LB: 93614 ... c Min unsat cost LB: 93647 ... c Min unsat cost LB: 93854 ... c Min unsat cost LB: 94083 ... c Min unsat cost LB: 94125 ... c Min unsat cost LB: 94166 ... c Min unsat cost LB: 94207 ... c Min unsat cost LB: 94249 ... c Min unsat cost LB: 94317 ... c Min unsat cost LB: 94684 ... c Min unsat cost LB: 94736 ... c Min unsat cost LB: 94742 ... c Min unsat cost LB: 94825 ... c Min unsat cost LB: 94886 ... c Min unsat cost LB: 95059 ... c Min unsat cost LB: 95173 ... c Min unsat cost LB: 95317 ... c Min unsat cost LB: 95332 ... c Min unsat cost LB: 95596 ... c Min unsat cost LB: 95729 ... c Min unsat cost LB: 95749 ... c Min unsat cost LB: 95832 ... c Min unsat cost LB: 95992 ... c Min unsat cost LB: 96079 ... c Min unsat cost LB: 96374 ... c Min unsat cost LB: 96482 ... c Min unsat cost LB: 96785 ... c Min unsat cost LB: 96828 ... c Min unsat cost LB: 96851 ... c Min unsat cost LB: 96861 ... c Min unsat cost LB: 97086 ... c Min unsat cost LB: 97311 ... c Min unsat cost LB: 97383 ... c Min unsat cost LB: 97482 ... c Min unsat cost LB: 97536 ... c Min unsat cost LB: 97791 ... c Min unsat cost LB: 97951 ... c Min unsat cost LB: 98148 ... c Min unsat cost LB: 98185 ... c Min unsat cost LB: 98194 ... c Min unsat cost LB: 98295 ... c Min unsat cost LB: 98351 ... c Min unsat cost LB: 98412 ... c Min unsat cost LB: 98511 ... c Min unsat cost LB: 98626 ... c Min unsat cost LB: 98696 ... c Min unsat cost LB: 98720 ... c Min unsat cost LB: 98996 ... c Min unsat cost LB: 99166 ... c Min unsat cost LB: 99186 ... c Min unsat cost LB: 99268 ... c Min unsat cost LB: 99313 ... c Min unsat cost LB: 99330 ... c Min unsat cost LB: 99414 ... c Min unsat cost LB: 99538 ... c Min unsat cost LB: 99555 ... c Min unsat cost LB: 99604 ... c Min unsat cost LB: 99713 ... c Min unsat cost LB: 99731 ... c Min unsat cost LB: 99775 ... c Min unsat cost LB: 99985 ... c Min unsat cost LB: 99986 ... c Min unsat cost LB: 100048 ... c Min unsat cost LB: 100078 ... c Min unsat cost LB: 100279 ... c Min unsat cost LB: 100453 ... c Min unsat cost LB: 100484 ... c Min unsat cost LB: 100675 ... c Min unsat cost LB: 100687 ... c Min unsat cost LB: 100925 ... c Min unsat cost LB: 100995 ... c Min unsat cost LB: 101077 ... c Min unsat cost LB: 101333 ... c Min unsat cost LB: 101467 ... c Min unsat cost LB: 101773 ... c Min unsat cost LB: 101788 ... c Min unsat cost LB: 101820 ... c Min unsat cost LB: 101871 ... c Min unsat cost LB: 102031 ... c Min unsat cost LB: 102613 ... c Min unsat cost LB: 102785 ... c Min unsat cost LB: 103020 ... c Min unsat cost LB: 103156 ... c Min unsat cost LB: 103211 ... c Min unsat cost LB: 103359 ... c Min unsat cost LB: 103465 ... c Min unsat cost LB: 103517 ... c Min unsat cost LB: 103541 ... c Min unsat cost LB: 103939 ... c Min unsat cost LB: 104008 ... c Min unsat cost LB: 104062 ... c Min unsat cost LB: 104086 ... c Min unsat cost LB: 104312 ... c Min unsat cost LB: 104385 ... c Min unsat cost LB: 104409 ... c Min unsat cost LB: 104416 ... c Min unsat cost LB: 104444 ... c Min unsat cost LB: 104499 ... c Min unsat cost LB: 104527 ... c Min unsat cost LB: 104694 ... c Min unsat cost LB: 104843 ... c Min unsat cost LB: 105355 ... c Min unsat cost LB: 105712 ... c Min unsat cost LB: 105794 ... c Min unsat cost LB: 105900 ... c Min unsat cost LB: 105932 ... c Min unsat cost LB: 105964 ... c Min unsat cost LB: 105970 ... c Min unsat cost LB: 106140 ... c Min unsat cost LB: 106297 ... c Min unsat cost LB: 106314 ... c Min unsat cost LB: 106363 ... c Min unsat cost LB: 106431 ... c Min unsat cost LB: 106473 ... c Min unsat cost LB: 106514 ... c Min unsat cost LB: 106555 ... c Min unsat cost LB: 106597 ... c Min unsat cost LB: 106632 ... c Min unsat cost LB: 106641 ... c Min unsat cost LB: 106750 ... c Min unsat cost LB: 106767 ... c Min unsat cost LB: 106817 ... c Min unsat cost LB: 106824 ... c Min unsat cost LB: 106850 ... c Min unsat cost LB: 106857 ... c Min unsat cost LB: 106859 ... c Min unsat cost LB: 106876 ... c Min unsat cost LB: 106886 ... c Min unsat cost LB: 106889 ... c Min unsat cost LB: 106890 ... c Min unsat cost LB: 106893 ... c Min unsat cost LB: 106900 ... c Min unsat cost LB: 106907 ... c Min unsat cost LB: 107011 ... c Min unsat cost LB: 107029 ... c Min unsat cost LB: 107133 ... c Min unsat cost LB: 107147 ... c Min unsat cost LB: 107249 ... c Min unsat cost LB: 107285 ... c Min unsat cost LB: 107495 ... c Min unsat cost LB: 107518 ... c Min unsat cost LB: 107528 ... c Min unsat cost LB: 107538 ... c Min unsat cost LB: 107580 ... c Min unsat cost LB: 107622 ... c Min unsat cost LB: 107636 ... c Min unsat cost LB: 107719 ... c Min unsat cost LB: 107724 ... c Min unsat cost LB: 107735 ... c Min unsat cost LB: 107765 ... c Min unsat cost LB: 107766 ... c Min unsat cost LB: 107849 ... c Min unsat cost LB: 107857 ... c Min unsat cost LB: 107887 ... c Min unsat cost LB: 107904 ... c Min unsat cost LB: 107910 ... c Min unsat cost LB: 107911 ... c Min unsat cost LB: 108043 ... c Min unsat cost LB: 108048 ... c Min unsat cost LB: 108063 ... c Min unsat cost LB: 108064 ... c Min unsat cost LB: 108106 ... c Min unsat cost LB: 108113 ... c Min unsat cost LB: 108114 ... c Min unsat cost LB: 108120 ... c Min unsat cost LB: 108140 ... c Min unsat cost LB: 108146 ... c Min unsat cost LB: 108147 ... c Min unsat cost LB: 108259 ... c Min unsat cost LB: 108260 ... c Min unsat cost LB: 108261 ... c Min unsat cost LB: 108262 ... c Min unsat cost LB: 108263 ... c Min unsat cost LB: 108266 ... c Min unsat cost LB: 108281 ... c Min unsat cost LB: 108282 ... c Min unsat cost LB: 108283 ... c Min unsat cost LB: 108287 ... c Min unsat cost LB: 108288 ... c Min unsat cost LB: 108289 ... c Min unsat cost LB: 108290 ... c Min unsat cost LB: 108291 ... c Min unsat cost LB: 108293 ... c Min unsat cost LB: 108294 ... c Min unsat cost LB: 108295 ... c Min unsat cost LB: 108296 ... c Min unsat cost LB: 108303 ... c Min unsat cost LB: 108311 ... c Min unsat cost LB: 108315 ... c Min unsat cost LB: 108317 ... c Min unsat cost LB: 108324 ... c Min unsat cost LB: 108336 ... c Min unsat cost LB: 108348 ... c Min unsat cost LB: 108355 ... c Min unsat cost LB: 108358 ... c Min unsat cost LB: 108362 ... c Min unsat cost LB: 108363 ... c Min unsat cost LB: 108369 ... c Min unsat cost LB: 108370 ... c Min unsat cost LB: 108372 ... c Min unsat cost LB: 108376 ... c Min unsat cost LB: 108379 ... c Min unsat cost LB: 108392 ... c Min unsat cost LB: 108419 ... c Min unsat cost LB: 108438 ... c Min unsat cost LB: 108439 ... c Min unsat cost LB: 108440 ... c Min unsat cost LB: 108441 ... c Min unsat cost LB: 108502 ... c Min unsat cost LB: 108535 ... c Min unsat cost LB: 108540 ... c Min unsat cost LB: 108603 ... c Min unsat cost LB: 108608 ... c Min unsat cost LB: 108615 ... c Min unsat cost LB: 108628 ... c Min unsat cost LB: 108654 ... c Min unsat cost LB: 108657 ... c Min unsat cost LB: 108660 ... c Min unsat cost LB: 108705 ... c Min unsat cost LB: 108706 ... c Min unsat cost LB: 108707 ... c Min unsat cost LB: 108710 ... c Min unsat cost LB: 108712 ... c Min unsat cost LB: 108743 ... c Min unsat cost LB: 108751 ... c Min unsat cost LB: 108782 ... c Min unsat cost LB: 108787 ... c Min unsat cost LB: 108794 ... c Min unsat cost LB: 108807 ... c Min unsat cost LB: 108816 ... c Min unsat cost LB: 108817 ... c Min unsat cost LB: 108818 ... c Min unsat cost LB: 108819 ... c Min unsat cost LB: 108831 ... c Min unsat cost LB: 108836 ... c Min unsat cost LB: 108837 ... c Min unsat cost LB: 108843 ... c Min unsat cost LB: 108847 ... c Min unsat cost LB: 108852 ... c Min unsat cost LB: 108854 ... c Min unsat cost LB: 108855 ... c Min unsat cost LB: 108856 ... c Min unsat cost LB: 108860 ... c Min unsat cost LB: 108861 ... c Min unsat cost LB: 108868 ... c Min unsat cost LB: 108872 ... c Min unsat cost LB: 108885 ... c Min unsat cost LB: 108891 ... c Min unsat cost LB: 108923 ... c Min unsat cost LB: 108929 ... c Min unsat cost LB: 108935 ... c Min unsat cost LB: 108941 ... c Min unsat cost LB: 108947 ... c Min unsat cost LB: 108959 ... c Min unsat cost LB: 108962 ... c Min unsat cost LB: 108965 ... c Min unsat cost LB: 108986 ... c Min unsat cost LB: 109000 ... c Min unsat cost LB: 109001 ... c Min unsat cost LB: 109008 ... c Min unsat cost LB: 109030 ... c Min unsat cost LB: 109045 ... c Min unsat cost LB: 109051 ... c Min unsat cost LB: 109053 ... c Min unsat cost LB: 109054 ... c Min unsat cost LB: 109078 ... c Min unsat cost LB: 109080 ... c Min unsat cost LB: 109093 ... c Min unsat cost LB: 109095 ... c Min unsat cost LB: 109096 ... c Min unsat cost LB: 109110 ... c Min unsat cost LB: 109111 ... c Min unsat cost LB: 109112 ... c Min unsat cost LB: 109199 ... c Min unsat cost LB: 109200 ... c Min unsat cost LB: 109220 ... c Min unsat cost LB: 109226 ... c Min unsat cost LB: 109229 ... c Min unsat cost LB: 109246 ... c Min unsat cost LB: 109321 ... c Min unsat cost LB: 109336 ... c Min unsat cost LB: 109337 ... c Min unsat cost LB: 109351 ... c Min unsat cost LB: 109352 ... c Min unsat cost LB: 109375 ... c Min unsat cost LB: 109376 ... c Min unsat cost LB: 109390 ... c Min unsat cost LB: 109391 ... c Min unsat cost LB: 109397 ... c Min unsat cost LB: 109414 ... c Min unsat cost LB: 109415 ... c Min unsat cost LB: 109416 ... c Min unsat cost LB: 109421 ... c Min unsat cost LB: 109428 ... c Min unsat cost LB: 109455 ... c Min unsat cost LB: 109495 ... c Min unsat cost LB: 109626 ... c Min unsat cost LB: 109635 ... c Min unsat cost LB: 109637 ... c Min unsat cost LB: 109642 ... c Min unsat cost LB: 109644 ... c Min unsat cost LB: 109646 ... c Min unsat cost LB: 109649 ... c Min unsat cost LB: 109650 ... c Min unsat cost LB: 109665 ... c Min unsat cost LB: 109666 ... c Min unsat cost LB: 109667 ... c Min unsat cost LB: 109672 ... c Min unsat cost LB: 109673 ... c Min unsat cost LB: 109676 ... c Min unsat cost LB: 109677 ... c Min unsat cost LB: 109682 ... c Min unsat cost LB: 109691 ... c Min unsat cost LB: 109724 ... c Min unsat cost LB: 109725 ... c Min unsat cost LB: 109726 ... c Min unsat cost LB: 109729 ... c Min unsat cost LB: 109731 ... c Min unsat cost LB: 109732 ... c Min unsat cost LB: 109736 ... c Min unsat cost LB: 109737 ... c Min unsat cost LB: 109757 ... c Min unsat cost LB: 109758 ... c Min unsat cost LB: 109762 ... c Min unsat cost LB: 109766 ... c Min unsat cost LB: 109773 ... c Min unsat cost LB: 109774 ... c Min unsat cost LB: 109775 ... c Min unsat cost LB: 109776 ... c Min unsat cost LB: 109778 ... c Min unsat cost LB: 109779 ... c Min unsat cost LB: 109781 ... c Min unsat cost LB: 109783 ... c Min unsat cost LB: 109803 ... c Min unsat cost LB: 109826 ... c Min unsat cost LB: 109855 ... c Min unsat cost LB: 109859 ... c Min unsat cost LB: 109870 ... c Min unsat cost LB: 109879 ... c Min unsat cost LB: 109891 ... c Min unsat cost LB: 109954 ... c Min unsat cost LB: 109978 ... c Min unsat cost LB: 109987 ... c Min unsat cost LB: 109990 ... c Min unsat cost LB: 110013 ... c Min unsat cost LB: 110028 ... c Min unsat cost LB: 110033 ... c Min unsat cost LB: 110043 ... c Min unsat cost LB: 110049 ... c Min unsat cost LB: 110053 ... c Min unsat cost LB: 110058 ... c Min unsat cost LB: 110059 ... c Min unsat cost LB: 110060 ... c Min unsat cost LB: 110066 ... c Min unsat cost LB: 110067 ... c Min unsat cost LB: 110068 ... c Min unsat cost LB: 110069 ... c Min unsat cost LB: 110072 ... c Min unsat cost LB: 110075 ... c Min unsat cost LB: 110077 ... c Min unsat cost LB: 110078 ... c Min unsat cost LB: 110079 ... c Min unsat cost LB: 110080 ... c Min unsat cost LB: 110081 ... c Min unsat cost LB: 110082 ... c Min unsat cost LB: 110083 ... c Min unsat cost LB: 110084 ... c Min unsat cost LB: 110085 ... c Min unsat cost LB: 110086 ... c Min unsat cost LB: 110087 ... c Min unsat cost LB: 110088 ... c Min unsat cost LB: 110089 ... c Min unsat cost LB: 110090 ... c Min unsat cost LB: 110091 ... c Min unsat cost LB: 110092 ... c Min unsat cost LB: 110093 ... c Min unsat cost LB: 110094 ... c Min unsat cost LB: 110095 ... c Min unsat cost LB: 110096 ... c Min unsat cost LB: 110098 ... c Min unsat cost LB: 110099 ... c Min unsat cost LB: 110101 ... c Min unsat cost LB: 110102 ... c Min unsat cost LB: 110103 ... c Min unsat cost LB: 110104 ... c Min unsat cost LB: 110105 ... c Min unsat cost LB: 110106 ... c Min unsat cost LB: 110116 ... c Min unsat cost LB: 110117 ... c Min unsat cost LB: 110118 ... c Min unsat cost LB: 110119 ... c Min unsat cost LB: 110120 ... c Min unsat cost LB: 110122 ... c Min unsat cost LB: 110123 ... c Min unsat cost LB: 110131 ... c Min unsat cost LB: 110193 ... c Min unsat cost LB: 110197 ... c Min unsat cost LB: 110199 ... c Min unsat cost LB: 110204 ... c Min unsat cost LB: 110209 ... c Min unsat cost LB: 110210 ... c Min unsat cost LB: 110216 ... c Min unsat cost LB: 110219 ... c Min unsat cost LB: 110220 ... c Min unsat cost LB: 110221 ... c Min unsat cost LB: 110223 ... c Min unsat cost LB: 110230 ... c Min unsat cost LB: 110240 ... c Min unsat cost LB: 110243 ... c Min unsat cost LB: 110247 ... c Min unsat cost LB: 110255 ... c Min unsat cost LB: 110258 ... c Min unsat cost LB: 110262 ... c Min unsat cost LB: 110263 ... c Min unsat cost LB: 110267 ... c Min unsat cost LB: 110268 ... c Min unsat cost LB: 110269 ... c Min unsat cost LB: 110271 ... c Min unsat cost LB: 110279 ... c Min unsat cost LB: 110281 ... c Min unsat cost LB: 110302 ... c Min unsat cost LB: 110304 ... c Min unsat cost LB: 110306 ... c Min unsat cost LB: 110349 ... c Min unsat cost LB: 110353 ... c Min unsat cost LB: 110393 ... c Min unsat cost LB: 110395 ... c Min unsat cost LB: 110396 ... c Min unsat cost LB: 110397 ... c Min unsat cost LB: 110399 ... c Min unsat cost LB: 110401 ... c Min unsat cost LB: 110402 ... c Min unsat cost LB: 110403 ... c Min unsat cost LB: 110404 ... c Min unsat cost LB: 110405 ... c Min unsat cost LB: 110406 ... c Min unsat cost LB: 110407 ... c Min unsat cost LB: 110408 ... c Min unsat cost LB: 110409 ... c Min unsat cost LB: 110410 ... c Min unsat cost LB: 110411 ... c Min unsat cost LB: 110412 ... c Min unsat cost LB: 110413 ... c Min unsat cost LB: 110414 ... c Min unsat cost LB: 110415 ... c Min unsat cost LB: 110416 ... c Min unsat cost LB: 110417 ... c Min unsat cost LB: 110418 ... c Min unsat cost LB: 110419 ... c Min unsat cost LB: 110420 ... c Min unsat cost LB: 110424 ... c Min unsat cost LB: 110436 ... c Min unsat cost LB: 110439 ... c Min unsat cost LB: 110440 ... c Min unsat cost LB: 110454 ... c Min unsat cost LB: 110455 ... c Min unsat cost LB: 110486 ... c Min unsat cost LB: 110487 ... c Min unsat cost LB: 110661 ... c Min unsat cost LB: 110662 ... c Min unsat cost LB: 110670 ... c Min unsat cost LB: 110720 ... c Min unsat cost LB: 110721 ... c Min unsat cost LB: 110735 ... c Min unsat cost LB: 110741 ... c Min unsat cost LB: 110753 ... c Min unsat cost LB: 110759 ... c Min unsat cost LB: 110760 ... c Min unsat cost LB: 110767 ... c Min unsat cost LB: 110768 ... c Min unsat cost LB: 110773 ... c Min unsat cost LB: 110774 ... c Min unsat cost LB: 110778 ... c Min unsat cost LB: 110786 ... c Min unsat cost LB: 110793 ... c Min unsat cost LB: 110794 ... c Min unsat cost LB: 110797 ... c Min unsat cost LB: 110798 ... c Min unsat cost LB: 110799 ... c Min unsat cost LB: 110832 ... c Min unsat cost LB: 110833 ... c Min unsat cost LB: 110837 ... c Min unsat cost LB: 110846 ... c Min unsat cost LB: 110847 ... c Min unsat cost LB: 110851 ... c Min unsat cost LB: 110852 ... c Min unsat cost LB: 110855 ... c Min unsat cost LB: 110941 ... c Min unsat cost LB: 110942 ... c Min unsat cost LB: 110945 ... c Min unsat cost LB: 110946 ... c Min unsat cost LB: 110949 ... c Min unsat cost LB: 110950 ... c Min unsat cost LB: 110951 ... c Min unsat cost LB: 110952 ... c Min unsat cost LB: 110960 ... c Min unsat cost LB: 110975 ... c Min unsat cost LB: 110979 ... c Min unsat cost LB: 110999 ... c Min unsat cost LB: 111001 ... c Min unsat cost LB: 111020 ... c Min unsat cost LB: 111024 ... c Min unsat cost LB: 111025 ... c Min unsat cost LB: 111030 ... c Min unsat cost LB: 111043 ... c Min unsat cost LB: 111047 ... c Min unsat cost LB: 111050 ... c Min unsat cost LB: 111055 ... c Min unsat cost LB: 111057 ... c Min unsat cost LB: 111068 ... c Min unsat cost LB: 111071 ... c Min unsat cost LB: 111074 ... c Min unsat cost LB: 111075 ... c Min unsat cost LB: 111083 ... c Min unsat cost LB: 111087 ... c Min unsat cost LB: 111088 ... c Min unsat cost LB: 111089 ... c Min unsat cost LB: 111090 ... c Min unsat cost LB: 111093 ... c Min unsat cost LB: 111094 ... c Min unsat cost LB: 111111 ... c Min unsat cost LB: 111112 ... c Min unsat cost LB: 111113 ... c Min unsat cost LB: 111114 ... c Min unsat cost LB: 111119 ... c Min unsat cost LB: 111120 ... c Min unsat cost LB: 111122 ... c Min unsat cost LB: 111123 ... c Min unsat cost LB: 111124 ... c Min unsat cost LB: 111125 ... c Min unsat cost LB: 111126 ... c Min unsat cost LB: 111127 ... c Min unsat cost LB: 111128 ... c Min unsat cost LB: 111129 ... c Min unsat cost LB: 111130 ... c Min unsat cost LB: 111131 ... c Min unsat cost LB: 111133 ... c Min unsat cost LB: 111134 ... c Min unsat cost LB: 111135 ... c Min unsat cost LB: 111136 ... c Min unsat cost LB: 111137 ... c Min unsat cost LB: 111139 ... c Min unsat cost LB: 111140 ... c Min unsat cost LB: 111141 ... c Min unsat cost LB: 111142 ... c Min unsat cost LB: 111144 ... c Min unsat cost LB: 111145 ... c Min unsat cost LB: 111146 ... c Min unsat cost LB: 111147 ... c Min unsat cost LB: 111148 ... c Min unsat cost LB: 111149 ... c Min unsat cost LB: 111150 ... c Min unsat cost LB: 111151 ... c Min unsat cost LB: 111152 ... c Min unsat cost LB: 111153 ... c Min unsat cost LB: 111154 ... c Min unsat cost LB: 111155 ... c Min unsat cost LB: 111157 ... c Min unsat cost LB: 111158 ... c Min unsat cost LB: 111159 ... c Min unsat cost LB: 111160 ... c Min unsat cost LB: 111161 ... c Min unsat cost LB: 111162 ... c Min unsat cost LB: 111163 ... c Min unsat cost LB: 111164 ... c Min unsat cost LB: 111165 ... c Min unsat cost LB: 111166 ... c Min unsat cost LB: 111170 ... c Min unsat cost LB: 111171 ... c Min unsat cost LB: 111172 ... c Min unsat cost LB: 111173 ... c Min unsat cost LB: 111174 ... c Min unsat cost LB: 111175 ... c Min unsat cost LB: 111176 ... c Min unsat cost LB: 111186 ... c Min unsat cost LB: 111198 ... c Min unsat cost LB: 111208 ... c Min unsat cost LB: 111266 ... c Min unsat cost LB: 111618 ... c Min unsat cost LB: 111619 ... c Min unsat cost LB: 111620 ... c Min unsat cost LB: 111622 ... c Min unsat cost LB: 111623 ... c Min unsat cost LB: 111624 ... c Min unsat cost LB: 111625 ... c Min unsat cost LB: 111626 ... c Min unsat cost LB: 111627 ... c Min unsat cost LB: 111628 ... c Min unsat cost LB: 111629 ... c Min unsat cost LB: 111630 ... c Min unsat cost LB: 111632 ... c Min unsat cost LB: 111633 ... c Min unsat cost LB: 111634 ... c Min unsat cost LB: 111635 ... c Min unsat cost LB: 111636 ... c Min unsat cost LB: 111637 ... c Min unsat cost LB: 111638 ... c Min unsat cost LB: 111639 ... c Min unsat cost LB: 111640 ... c Min unsat cost LB: 111641 ... c Min unsat cost LB: 111643 ... c Min unsat cost LB: 111644 ... c Min unsat cost LB: 111645 ... c Min unsat cost LB: 111646 ... c Min unsat cost LB: 111647 ... c Min unsat cost LB: 111658 ... c Min unsat cost LB: 111659 ... c Min unsat cost LB: 111666 ... c Min unsat cost LB: 111675 ... c Min unsat cost LB: 111681 ... c Min unsat cost LB: 111682 ... c Min unsat cost LB: 111683 ... c Min unsat cost LB: 111686 ... c Min unsat cost LB: 111687 ... c Min unsat cost LB: 111688 ... c Min unsat cost LB: 111689 ... c Min unsat cost LB: 111690 ... c Min unsat cost LB: 111691 ... c Min unsat cost LB: 111692 ... c Min unsat cost LB: 111693 ... c Min unsat cost LB: 111694 ... c Min unsat cost LB: 111695 ... c Min unsat cost LB: 111697 ... c Min unsat cost LB: 111698 ... c Min unsat cost LB: 111699 ... c Min unsat cost LB: 111700 ... c Min unsat cost LB: 111701 ... c Min unsat cost LB: 111702 ... c Min unsat cost LB: 111703 ... c Min unsat cost LB: 111710 ... c Min unsat cost LB: 111712 ... c Min unsat cost LB: 111713 ... c Min unsat cost LB: 111714 ... c Min unsat cost LB: 111715 ... c Min unsat cost LB: 111716 ... c Min unsat cost LB: 111717 ... c Min unsat cost LB: 111718 ... c Min unsat cost LB: 111719 ... c Min unsat cost LB: 111720 ... c Min unsat cost LB: 111721 ... c Min unsat cost LB: 111722 ... c Min unsat cost LB: 111723 ... c Min unsat cost LB: 111724 ... c Min unsat cost LB: 111725 ... c Min unsat cost LB: 111726 ... c Min unsat cost LB: 111728 ... c Min unsat cost LB: 111729 ... c Min unsat cost LB: 111735 ... c Min unsat cost LB: 111737 ... c Min unsat cost LB: 111740 ... c Min unsat cost LB: 111742 ... c Min unsat cost LB: 111745 ... c Min unsat cost LB: 111746 ... c Min unsat cost LB: 111747 ... c Min unsat cost LB: 111748 ... c Min unsat cost LB: 111749 ... c Min unsat cost LB: 111750 ... c Min unsat cost LB: 111752 ... c Min unsat cost LB: 111753 ... c Min unsat cost LB: 111754 ... c Min unsat cost LB: 111755 ... c Min unsat cost LB: 111756 ... c Min unsat cost LB: 111757 ... c Min unsat cost LB: 111758 ... c Min unsat cost LB: 111759 ... c Min unsat cost LB: 111760 ... c Min unsat cost LB: 111761 ... c Min unsat cost LB: 111762 ... c Min unsat cost LB: 111763 ... c Min unsat cost LB: 111764 ... c Min unsat cost LB: 111765 ... c Min unsat cost LB: 111766 ... c Min unsat cost LB: 111767 ... c Min unsat cost LB: 111768 ... c Min unsat cost LB: 111769 ... c Min unsat cost LB: 111770 ... c Min unsat cost LB: 111771 ... c Min unsat cost LB: 111772 ... c Min unsat cost LB: 111773 ... c Min unsat cost LB: 111785 ... c Min unsat cost LB: 111786 ... c Min unsat cost LB: 111787 ... c Min unsat cost LB: 111829 ... c Min unsat cost LB: 111830 ... c Min unsat cost LB: 111831 ... c Min unsat cost LB: 111832 ... c Min unsat cost LB: 111833 ... c Min unsat cost LB: 111834 ... c Min unsat cost LB: 111835 ... c Min unsat cost LB: 111836 ... c Min unsat cost LB: 111837 ... c Min unsat cost LB: 111838 ... c Min unsat cost LB: 111839 ... c Min unsat cost LB: 111840 ... c Min unsat cost LB: 111841 ... c Min unsat cost LB: 111842 ... c Min unsat cost LB: 111843 ... c Min unsat cost LB: 111846 ... c Min unsat cost LB: 111847 ... c Min unsat cost LB: 111848 ... c Min unsat cost LB: 111849 ... c Min unsat cost LB: 111850 ... c Min unsat cost LB: 111851 ... c Min unsat cost LB: 111852 ... c Min unsat cost LB: 111853 ... c Min unsat cost LB: 111854 ... c Min unsat cost LB: 111855 ... c Min unsat cost LB: 111856 ... c Min unsat cost LB: 111858 ... c Min unsat cost LB: 111860 ... c Min unsat cost LB: 111861 ... c Min unsat cost LB: 111862 ... c Min unsat cost LB: 111863 ... c Min unsat cost LB: 111864 ... c Min unsat cost LB: 111865 ... c Min unsat cost LB: 111867 ... c Min unsat cost LB: 111868 ... c Min unsat cost LB: 111869 ... c Min unsat cost LB: 111870 ... c Min unsat cost LB: 111872 ... c Min unsat cost LB: 111873 ... c Min unsat cost LB: 111874 ... c Min unsat cost LB: 111875 ... c Min unsat cost LB: 111876 ... c Min unsat cost LB: 111877 ... c Min unsat cost LB: 111878 ... c Min unsat cost LB: 111879 ... c Min unsat cost LB: 111880 ... c Min unsat cost LB: 111881 ... c Min unsat cost LB: 111882 ... c Min unsat cost LB: 111883 ... c Min unsat cost LB: 111884 ... c Min unsat cost LB: 111885 ... c Min unsat cost LB: 111886 ... c Min unsat cost LB: 111887 ... c Min unsat cost LB: 111888 ... c Min unsat cost LB: 111889 ... c Min unsat cost LB: 111890 ... c Min unsat cost LB: 111891 ... c Min unsat cost LB: 111892 ... c Min unsat cost LB: 111893 ... c Min unsat cost LB: 111894 ... c Min unsat cost LB: 111895 ... c Min unsat cost LB: 111898 ... c Min unsat cost LB: 111901 ... c Min unsat cost LB: 111902 ... c Min unsat cost LB: 111903 ... c Min unsat cost LB: 111904 ... c Min unsat cost LB: 111905 ... c Min unsat cost LB: 111906 ... c Min unsat cost LB: 111907 ... c Min unsat cost LB: 111908 ... c Min unsat cost LB: 111909 ... c Min unsat cost LB: 111910 ... c Min unsat cost LB: 111911 ... c Min unsat cost LB: 111912 ... c Min unsat cost LB: 111913 ... c Min unsat cost LB: 111914 ... c Min unsat cost LB: 111915 ... c Min unsat cost LB: 111916 ... c Min unsat cost LB: 111917 ... c Min unsat cost LB: 111918 ... c Min unsat cost LB: 111919 ... c Min unsat cost LB: 111920 ... c Min unsat cost LB: 111921 ... c Min unsat cost LB: 111922 ... c Min unsat cost LB: 111923 ... c MinKilled 1816.403u 3.336s 30:20.78 99.9% 0+0k 0+0io 0pf+0w