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_110_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_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_PATHS/cat_paths_60_110_0001.txt.wcnf *** c c Min unsat cost LB: 380 ... c Min unsat cost LB: 833 ... c Min unsat cost LB: 1352 ... c Min unsat cost LB: 1850 ... c Min unsat cost LB: 2499 ... c Min unsat cost LB: 2997 ... c Min unsat cost LB: 3148 ... c Min unsat cost LB: 3349 ... c Min unsat cost LB: 3482 ... c Min unsat cost LB: 3626 ... c Min unsat cost LB: 4160 ... c Min unsat cost LB: 4212 ... c Min unsat cost LB: 4356 ... c Min unsat cost LB: 4806 ... c Min unsat cost LB: 5298 ... c Min unsat cost LB: 5431 ... c Min unsat cost LB: 5564 ... c Min unsat cost LB: 5694 ... c Min unsat cost LB: 6011 ... c Min unsat cost LB: 6994 ... c Min unsat cost LB: 7211 ... c Min unsat cost LB: 7235 ... c Min unsat cost LB: 7667 ... c Min unsat cost LB: 7772 ... c Min unsat cost LB: 8111 ... c Min unsat cost LB: 9094 ... c Min unsat cost LB: 9490 ... c Min unsat cost LB: 9524 ... c Min unsat cost LB: 10116 ... c Min unsat cost LB: 10219 ... c Min unsat cost LB: 10610 ... c Min unsat cost LB: 11593 ... c Min unsat cost LB: 11898 ... c Min unsat cost LB: 12204 ... c Min unsat cost LB: 12624 ... c Min unsat cost LB: 13402 ... c Min unsat cost LB: 13972 ... c Min unsat cost LB: 14160 ... c Min unsat cost LB: 14194 ... c Min unsat cost LB: 14555 ... c Min unsat cost LB: 14763 ... c Min unsat cost LB: 15207 ... c Min unsat cost LB: 15525 ... c Min unsat cost LB: 16095 ... c Min unsat cost LB: 16406 ... c Min unsat cost LB: 16416 ... c Min unsat cost LB: 16745 ... c Min unsat cost LB: 16750 ... c Min unsat cost LB: 17204 ... c Min unsat cost LB: 17925 ... c Min unsat cost LB: 18536 ... c Min unsat cost LB: 18720 ... c Min unsat cost LB: 19395 ... c Min unsat cost LB: 19603 ... c Min unsat cost LB: 19906 ... c Min unsat cost LB: 19971 ... c Min unsat cost LB: 20099 ... c Min unsat cost LB: 20387 ... c Min unsat cost LB: 20728 ... c Min unsat cost LB: 20999 ... c Min unsat cost LB: 21367 ... c Min unsat cost LB: 21408 ... c Min unsat cost LB: 21812 ... c Min unsat cost LB: 22354 ... c Min unsat cost LB: 22742 ... c Min unsat cost LB: 23367 ... c Min unsat cost LB: 23657 ... c Min unsat cost LB: 24665 ... c Min unsat cost LB: 25060 ... c Min unsat cost LB: 25676 ... c Min unsat cost LB: 25756 ... c Min unsat cost LB: 26169 ... c Min unsat cost LB: 26789 ... c Min unsat cost LB: 26913 ... c Min unsat cost LB: 27571 ... c Min unsat cost LB: 27645 ... c Min unsat cost LB: 27800 ... c Min unsat cost LB: 28086 ... c Min unsat cost LB: 28141 ... c Min unsat cost LB: 29149 ... c Min unsat cost LB: 29152 ... c Min unsat cost LB: 29268 ... c Min unsat cost LB: 29692 ... c Min unsat cost LB: 30003 ... c Min unsat cost LB: 30023 ... c Min unsat cost LB: 30167 ... c Min unsat cost LB: 30528 ... c Min unsat cost LB: 30682 ... c Min unsat cost LB: 30745 ... c Min unsat cost LB: 31010 ... c Min unsat cost LB: 31086 ... c Min unsat cost LB: 31138 ... c Min unsat cost LB: 31207 ... c Min unsat cost LB: 31312 ... c Min unsat cost LB: 31420 ... c Min unsat cost LB: 31585 ... c Min unsat cost LB: 31692 ... c Min unsat cost LB: 31965 ... c Min unsat cost LB: 31997 ... c Min unsat cost LB: 32038 ... c Min unsat cost LB: 32186 ... c Min unsat cost LB: 32330 ... c Min unsat cost LB: 32332 ... c Min unsat cost LB: 32435 ... c Min unsat cost LB: 32440 ... c Min unsat cost LB: 32938 ... c Min unsat cost LB: 32966 ... c Min unsat cost LB: 33100 ... c Min unsat cost LB: 33103 ... c Min unsat cost LB: 33236 ... c Min unsat cost LB: 33435 ... c Min unsat cost LB: 33687 ... c Min unsat cost LB: 33761 ... c Min unsat cost LB: 33785 ... c Min unsat cost LB: 33966 ... c Min unsat cost LB: 34073 ... c Min unsat cost LB: 34083 ... c Min unsat cost LB: 34120 ... c Min unsat cost LB: 34399 ... c Min unsat cost LB: 34497 ... c Min unsat cost LB: 34631 ... c Min unsat cost LB: 34665 ... c Min unsat cost LB: 34995 ... c Min unsat cost LB: 35013 ... c Min unsat cost LB: 35015 ... c Min unsat cost LB: 35137 ... c Min unsat cost LB: 35279 ... c Min unsat cost LB: 35381 ... c Min unsat cost LB: 35384 ... c Min unsat cost LB: 35567 ... c Min unsat cost LB: 35720 ... c Min unsat cost LB: 35837 ... c Min unsat cost LB: 36078 ... c Min unsat cost LB: 36733 ... c Min unsat cost LB: 37086 ... c Min unsat cost LB: 37089 ... c Min unsat cost LB: 37303 ... c Min unsat cost LB: 37367 ... c Min unsat cost LB: 37575 ... c Min unsat cost LB: 37580 ... c Min unsat cost LB: 37595 ... c Min unsat cost LB: 37615 ... c Min unsat cost LB: 37763 ... c Min unsat cost LB: 37960 ... c Min unsat cost LB: 37986 ... c Min unsat cost LB: 38006 ... c Min unsat cost LB: 38139 ... c Min unsat cost LB: 38263 ... c Min unsat cost LB: 38268 ... c Min unsat cost LB: 38288 ... c Min unsat cost LB: 38411 ... c Min unsat cost LB: 38466 ... c Min unsat cost LB: 38546 ... c Min unsat cost LB: 38788 ... c Min unsat cost LB: 38816 ... c Min unsat cost LB: 38831 ... c Min unsat cost LB: 38949 ... c Min unsat cost LB: 38979 ... c Min unsat cost LB: 39024 ... c Min unsat cost LB: 39059 ... c Min unsat cost LB: 39101 ... c Min unsat cost LB: 39123 ... c Min unsat cost LB: 39198 ... c Min unsat cost LB: 39218 ... c Min unsat cost LB: 39249 ... c Min unsat cost LB: 39309 ... c Min unsat cost LB: 39330 ... c Min unsat cost LB: 39426 ... c Min unsat cost LB: 39502 ... c Min unsat cost LB: 39607 ... c Min unsat cost LB: 39620 ... c Min unsat cost LB: 39637 ... c Min unsat cost LB: 39770 ... c Min unsat cost LB: 39783 ... c Min unsat cost LB: 39794 ... c Min unsat cost LB: 39820 ... c Min unsat cost LB: 39833 ... c Min unsat cost LB: 39932 ... c Min unsat cost LB: 39943 ... c Min unsat cost LB: 40000 ... c Min unsat cost LB: 40168 ... c Min unsat cost LB: 40169 ... c Min unsat cost LB: 40209 ... c Min unsat cost LB: 40339 ... c Min unsat cost LB: 40357 ... c Min unsat cost LB: 40473 ... c Min unsat cost LB: 40554 ... c Min unsat cost LB: 40746 ... c Min unsat cost LB: 40758 ... c Min unsat cost LB: 40772 ... c Min unsat cost LB: 40855 ... c Min unsat cost LB: 40887 ... c Min unsat cost LB: 40958 ... c Min unsat cost LB: 40981 ... c Min unsat cost LB: 40992 ... c Min unsat cost LB: 41044 ... c Min unsat cost LB: 41111 ... c Min unsat cost LB: 41180 ... c Min unsat cost LB: 41206 ... c Min unsat cost LB: 41298 ... c Min unsat cost LB: 41350 ... c Min unsat cost LB: 41382 ... c Min unsat cost LB: 41407 ... c Min unsat cost LB: 41412 ... c Min unsat cost LB: 41440 ... c Min unsat cost LB: 41627 ... c Min unsat cost LB: 41719 ... c Min unsat cost LB: 41734 ... c Min unsat cost LB: 41744 ... c Min unsat cost LB: 41748 ... c Min unsat cost LB: 41751 ... c Min unsat cost LB: 41755 ... c Min unsat cost LB: 41781 ... c Min unsat cost LB: 41868 ... c Min unsat cost LB: 41899 ... c Min unsat cost LB: 41904 ... c Min unsat cost LB: 41914 ... c Min unsat cost LB: 41918 ... c Min unsat cost LB: 41934 ... c Min unsat cost LB: 41974 ... c Min unsat cost LB: 42051 ... c Min unsat cost LB: 42053 ... c Min unsat cost LB: 42056 ... c Min unsat cost LB: 42143 ... c Min unsat cost LB: 42149 ... c Min unsat cost LB: 42182 ... c Min unsat cost LB: 42249 ... c Min unsat cost LB: 42255 ... c Min unsat cost LB: 42357 ... c Min unsat cost LB: 42388 ... c Min unsat cost LB: 42446 ... c Min unsat cost LB: 42449 ... c Min unsat cost LB: 42462 ... c Min unsat cost LB: 42473 ... c Min unsat cost LB: 42476 ... c Min unsat cost LB: 42478 ... c Min unsat cost LB: 42509 ... c Min unsat cost LB: 42540 ... c Min unsat cost LB: 42541 ... c Min unsat cost LB: 42549 ... c Min unsat cost LB: 42551 ... c Min unsat cost LB: 42562 ... c Min unsat cost LB: 42572 ... c Min unsat cost LB: 42579 ... c Min unsat cost LB: 42585 ... c Min unsat cost LB: 42593 ... c Min unsat cost LB: 42613 ... c Min unsat cost LB: 42624 ... c Min unsat cost LB: 42655 ... c Min unsat cost LB: 42676 ... c Min unsat cost LB: 42681 ... c Min unsat cost LB: 42698 ... c Min unsat cost LB: 42715 ... c Min unsat cost LB: 42725 ... c Min unsat cost LB: 42745 ... c Min unsat cost LB: 42780 ... c Min unsat cost LB: 42807 ... c Min unsat cost LB: 42819 ... c Min unsat cost LB: 42871 ... c Min unsat cost LB: 42873 ... c Min unsat cost LB: 42879 ... c Min unsat cost LB: 42902 ... c Min unsat cost LB: 42909 ... c Min unsat cost LB: 42924 ... c Min unsat cost LB: 42927 ... c Min unsat cost LB: 42951 ... c Min unsat cost LB: 42954 ... c Min unsat cost LB: 42957 ... c Min unsat cost LB: 42963 ... c Min unsat cost LB: 42970 ... c Min unsat cost LB: 42971 ... c Min unsat cost LB: 42974 ... c Min unsat cost LB: 42989 ... c Min unsat cost LB: 42991 ... c Min unsat cost LB: 43002 ... c Min unsat cost LB: 43007 ... c Min unsat cost LB: 43013 ... c Min unsat cost LB: 43014 ... c Min unsat cost LB: 43016 ... c Min unsat cost LB: 43019 ... c Min unsat cost LB: 43029 ... c Min unsat cost LB: 43047 ... c Min unsat cost LB: 43064 ... c Min unsat cost LB: 43070 ... c Min unsat cost LB: 43094 ... c Min unsat cost LB: 43107 ... c Min unsat cost LB: 43139 ... c Min unsat cost LB: 43152 ... c Min unsat cost LB: 43165 ... c Min unsat cost LB: 43175 ... c Min unsat cost LB: 43185 ... c Min unsat cost LB: 43196 ... c Min unsat cost LB: 43199 ... c Min unsat cost LB: 43201 ... c Min unsat cost LB: 43204 ... c Min unsat cost LB: 43205 ... c Min unsat cost LB: 43215 ... c Min unsat cost LB: 43218 ... c Min unsat cost LB: 43219 ... c Min unsat cost LB: 43220 ... c Min unsat cost LB: 43225 ... c Min unsat cost LB: 43228 ... c Min unsat cost LB: 43231 ... c Min unsat cost LB: 43238 ... c Min unsat cost LB: 43241 ... c Min unsat cost LB: 43248 ... c Min unsat cost LB: 43255 ... c Min unsat cost LB: 43275 ... c Min unsat cost LB: 43280 ... c Min unsat cost LB: 43284 ... c Min unsat cost LB: 43290 ... c Min unsat cost LB: 43291 ... c Min unsat cost LB: 43296 ... c Min unsat cost LB: 43311 ... c Min unsat cost LB: 43316 ... c Min unsat cost LB: 43317 ... c Min unsat cost LB: 43332 ... c Min unsat cost LB: 43341 ... c Min unsat cost LB: 43345 ... c Min unsat cost LB: 43402 ... c Min unsat cost LB: 43443 ... c Min unsat cost LB: 43445 ... c Min unsat cost LB: 43447 ... c Min unsat cost LB: 43453 ... c Min unsat cost LB: 43460 ... c Min unsat cost LB: 43463 ... c Min unsat cost LB: 43465 ... c Min unsat cost LB: 43469 ... c Min unsat cost LB: 43473 ... c Min unsat cost LB: 43475 ... c Min unsat cost LB: 43481 ... c Min unsat cost LB: 43482 ... c Min unsat cost LB: 43488 ... c Min unsat cost LB: 43491 ... c Min unsat cost LB: 43492 ... c Min unsat cost LB: 43493 ... c Min unsat cost LB: 43494 ... c Min unsat cost LB: 43495 ... c Min unsat cost LB: 43497 ... c Min unsat cost LB: 43503 ... c Min unsat cost LB: 43504 ... c Min unsat cost LB: 43507 ... c Min unsat cost LB: 43510 ... c Min unsat cost LB: 43512 ... c Min unsat cost LB: 43521 ... c Min unsat cost LB: 43539 ... c Min unsat cost LB: 43541 ... c Min unsat cost LB: 43543 ... c Min unsat cost LB: 43544 ... c Min unsat cost LB: 43545 ... c Min unsat cost LB: 43549 ... c Min unsat cost LB: 43550 ... c Min unsat cost LB: 43552 ... c Min unsat cost LB: 43553 ... c Min unsat cost LB: 43556 ... c Min unsat cost LB: 43567 ... c Min unsat cost LB: 43568 ... c Min unsat cost LB: 43571 ... c Min unsat cost LB: 43572 ... c Min unsat cost LB: 43573 ... c Min unsat cost LB: 43574 ... c Min unsat cost LB: 43579 ... c Min unsat cost LB: 43580 ... c Min unsat cost LB: 43581 ... c Min unsat cost LB: 43619 ... c Min unsat cost LB: 43620 ... c Min unsat cost LB: 43622 ... c Min unsat cost LB: 43623 ... c Min unsat cost LB: 43629 ... c Min unsat cost LB: 43640 ... c Min unsat cost LB: 43643 ... c Min unsat cost LB: 43644 ... c Min unsat cost LB: 43645 ... c Min unsat cost LB: 43647 ... c Min unsat cost LB: 43648 ... c Min unsat cost LB: 43649 ... c Min unsat cost LB: 43663 ... c Min unsat cost LB: 43665 ... c Min unsat cost LB: 43668 ... c Min unsat cost LB: 43676 ... c Min unsat cost LB: 43680 ... c Min unsat cost LB: 43687 ... c Min unsat cost LB: 43698 ... c Min unsat cost LB: 43699 ... c Min unsat cost LB: 43700 ... c Min unsat cost LB: 43704 ... c Min unsat cost LB: 43706 ... c Min unsat cost LB: 43707 ... c Min unsat cost LB: 43709 ... c Min unsat cost LB: 43716 ... c Min unsat cost LB: 43724 ... c Min unsat cost LB: 43725 ... c Min unsat cost LB: 43730 ... c Min unsat cost LB: 43734 ... c Min unsat cost LB: 43741 ... c Min unsat cost LB: 43746 ... c Min unsat cost LB: 43747 ... c Min unsat cost LB: 43749 ... c Min unsat cost LB: 43750 ... c Min unsat cost LB: 43751 ... c Min unsat cost LB: 43753 ... c Min unsat cost LB: 43755 ... c Min unsat cost LB: 43758 ... c Min unsat cost LB: 43760 ... c Min unsat cost LB: 43761 ... c Min unsat cost LB: 43762 ... c Min unsat cost LB: 43764 ... c Min unsat cost LB: 43765 ... c Min unsat cost LB: 43766 ... c Min unsat cost LB: 43767 ... c Min unsat cost LB: 43771 ... c Min unsat cost LB: 43773 ... c Min unsat cost LB: 43774 ... c Min unsat cost LB: 43776 ... c Min unsat cost LB: 43777 ... c Min unsat cost LB: 43778 ... c Min unsat cost LB: 43780 ... c Min unsat cost LB: 43781 ... c Min unsat cost LB: 43782 ... c Min unsat cost LB: 43783 ... c Min unsat cost LB: 43784 ... c Min unsat cost LB: 43785 ... c Min unsat cost LB: 43787 ... c Min unsat cost LB: 43790 ... c Min unsat cost LB: 43793 ... c Min unsat cost LB: 43794 ... c Min unsat cost LB: 43795 ... c Min unsat cost LB: 43796 ... c Min unsat cost LB: 43797 ... c Min unsat cost LB: 43798 ... c Min unsat cost LB: 43799 ... c Min unsat cost LB: 43800 ... c Min unsat cost LB: 43801 ... c Min unsat cost LB: 43802 ... c Min unsat cost LB: 43804 ... c Min unsat cost LB: 43805 ... c Min unsat cost LB: 43806 ... c Min unsat cost LB: 43807 ... c Min unsat cost LB: 43865 ... c Min unsat cost LB: 43880 ... c Min unsat cost LB: 43881 ... c Min unsat cost LB: 43882 ... c Min unsat cost LB: 43883 ... c Min unsat cost LB: 43884 ... c Min unsat cost LB: 43885 ... c Min unsat cost LB: 43886 ... c Min unsat cost LB: 43887 ... c Min unsat cost LB: 43890 ... c Min unsat cost LB: 43891 ... c Min unsat cost LB: 43892 ... c Min unsat cost LB: 43895 ... c Min unsat cost LB: 43896 ... c Min unsat cost LB: 43897 ... c Min unsat cost LB: 43898 ... c Min unsat cost LB: 43900 ... c Min unsat cost LB: 43903 ... c Min unsat cost LB: 43904 ... c Min unsat cost LB: 43905 ... c Min unsat cost LB: 43906 ... c Min unsat cost LB: 43907 ... c Min unsat cost LB: 43908 ... c Min unsat cost LB: 43926 ... c Min unsat cost LB: 43927 ... c Min unsat cost LB: 43928 ... c Min unsat cost LB: 43929 ... c Min unsat cost LB: 43931 ... c Min unsat cost LB: 43932 ... c Min unsat cost LB: 43938 ... c Min unsat cost LB: 43939 ... c Min unsat cost LB: 43940 ... c Min unsat cost LB: 43942 ... c Min unsat cost LB: 43943 ... c Min unsat cost LB: 43944 ... c Min unsat cost LB: 43945 ... c Min unsat cost LB: 43954 ... c Min unsat cost LB: 43980 ... c Min unsat cost LB: 43981 ... c Min unsat cost LB: 43982 ... c Min unsat cost LB: 43983 ... c Min unsat cost LB: 43987 ... c Min unsat cost LB: 43988 ... c Min unsat cost LB: 43992 ... c Min unsat cost LB: 43993 ... c Min unsat cost LB: 43994 ... c Min unsat cost LB: 43995 ... c Min unsat cost LB: 43996 ... c Min unsat cost LB: 43997 ... c Min unsat cost LB: 43998 ... c Min unsat cost LB: 43999 ... c Min unsat cost LB: 44000 ... c Min unsat cost LB: 44001 ... c Min unsat cost LB: 44005 ... c Min unsat cost LB: 44006 ... c Min unsat cost LB: 44007 ... c Min unsat cost LB: 44008 ... c Min unsat cost LB: 44009 ... c Min unsat cost LB: 44010 ... c Min unsat cost LB: 44011 ... c Min unsat cost LB: 44012 ... c Min unsat cost LB: 44013 ... c Min unsat cost LB: 44014 ... c Min unsat cost LB: 44015 ... c Min unsat cost LB: 44016 ... c Min unsat cost LB: 44021 ... c Min unsat cost LB: 44022 ... c Min unsat cost LB: 44023 ... c Min unsat cost LB: 44024 ... c Min unsat cost LB: 44025 ... c Min unsat cost LB: 44026 ... c Min unsat cost LB: 44027 ... c Min unsat cost LB: 44028 ... c Min unsat cost LB: 44029 ... c Min unsat cost LB: 44030 ... c Min unsat cost LB: 44031 ... c Min unsat cost LB: 44032 ... c Min unsat cost LB: 44033 ... c Min unsat cost LB: 44034 ... c Min unsat cost LB: 44035 ... c Min unsat cost LB: 44036 ... c Min unsat cost LB: 44037 ... c Min unsat cost LB: 44038 ... c Min unsat cost LB: 44039 ... c Min unsat cost LB: 44040 ... c Min unsat cost LB: 44041 ... c Min unsat cost LB: 44042 ... c Min unsat cost LB: 44043 ... c Min unsat cost LB: 44044 ... c Min unsat cost LB: 44046 ... c Min unsat cost LB: 44047 ... c Min unsat cost LB: 44048 ... c Min unsat cost LB: 44049 ... c Min unsat cost LB: 44050 ... c Min unsat cost LB: 44056 ... c Min unsat cost LB: 44058 ... c Min unsat cost LB: 44060 ... c Min unsat cost LB: 44063 ... c Min unsat cost LB: 44065 ... c Min unsat cost LB: 44084 ... c Min unsat cost LB: 44089 ... c Min unsat cost LB: 44100 ... c Min unsat cost LB: 44107 ... c Min unsat cost LB: 44128 ... c Min unsat cost LB: 44130 ... c Min unsat cost LB: 44160 ... c Min unsat cost LB: 44162 ... c Min unsat cost LB: 44163 ... c Min unsat cost LB: 44164 ... c Min unsat cost LB: 44166 ... c Min unsat cost LB: 44169 ... c Min unsat cost LB: 44177 ... c Min unsat cost LB: 44178 ... c Min unsat cost LB: 44179 ... c Min unsat cost LB: 44180 ... c Min unsat cost LB: 44181 ... c Min unsat cost LB: 44182 ... c Min unsat cost LB: 44184 ... c Min unsat cost LB: 44186 ... c Min unsat cost LB: 44187 ... c Min unsat cost LB: 44188 ... c Min unsat cost LB: 44189 ... c Min unsat cost LB: 44192 ... c Min unsat cost LB: 44194 ... c Min unsat cost LB: 44195 ... c Min unsat cost LB: 44196 ... c Min unsat cost LB: 44202 ... c Min unsat cost LB: 44203 ... c Min unsat cost LB: 44204 ... c Min unsat cost LB: 44205 ... c Min unsat cost LB: 44206 ... c Min unsat cost LB: 44207 ... c Min unsat cost LB: 44210 ... c Min unsat cost LB: 44211 ... c Min unsat cost LB: 44214 ... c Min unsat cost LB: 44215 ... c Min unsat cost LB: 44219 ... c Min unsat cost LB: 44222 ... c Min unsat cost LB: 44223 ... c Min unsat cost LB: 44224 ... c Min unsat cost LB: 44227 ... c Min unsat cost LB: 44229 ... c Min unsat cost LB: 44230 ... c Min unsat cost LB: 44233 ... c Min unsat cost LB: 44237 ... c Min unsat cost LB: 44238 ... c Min unsat cost LB: 44239 ... c Min unsat cost LB: 44240 ... c Min unsat cost LB: 44241 ... c Min unsat cost LB: 44242 ... c Min unsat cost LB: 44243 ... c Min unsat cost LB: 44244 ... c Min unsat cost LB: 44245 ... c Min unsat cost LB: 44246 ... c Min unsat cost LB: 44247 ... c Min unsat cost LB: 44248 ... c Min unsat cost LB: 44249 ... c Min unsat cost LB: 44250 ... c Min unsat cost LB: 44251 ... c Min unsat cost LB: 44252 ... c Min unsat cost LB: 44253 ... c Min unsat cost LB: 44254 ... c Min unsat cost LB: 44255 ... c Min unsat cost LB: 44256 ... c Min unsat cost LB: 44257 ... c Min unsat cost LB: 44261 ... c Min unsat cost LB: 44262 ... c Min unsat cost LB: 44267 ... c Min unsat cost LB: 44269 ... c Min unsat cost LB: 44270 ... c Min unsat cost LB: 44271 ... c Min unsat cost LB: 44300 ... c Min unsat cost LB: 44301 ... c Min unsat cost LB: 44302 ... c Min unsat cost LB: 44303 ... c Min unsat cost LB: 44304 ... c Min unsat cost LB: 44305 ... c Min unsat cost LB: 44306 ... c Min unsat cost LB: 44307 ... c Min unsat cost LB: 44308 ... c Min unsat cost LB: 44309 ... c Min unsat cost LB: 44310 ... c Min unsat cost LB: 44336 ... c Min unsat cost LB: 44338 ... c Min unsat cost LB: 44344 ... c Min unsat cost LB: 44349 ... c Min unsat cost LB: 44350 ... c Min unsat cost LB: 44351 ... c Min unsat cost LB: 44352 ... c Min unsat cost LB: 44353 ... c Min unsat cost LB: 44365 ... c Min unsat cost LB: 44370 ... c Min unsat cost LB: 44378 ... c Min unsat cost LB: 44379 ... c Min unsat cost LB: 44383 ... c Min unsat cost LB: 44385 ... c Min unsat cost LB: 44386 ... c Min unsat cost LB: 44387 ... c Min unsat cost LB: 44388 ... c Min unsat cost LB: 44389 ... c Min unsat cost LB: 44390 ... c Min unsat cost LB: 44393 ... c Min unsat cost LB: 44394 ... c Min unsat cost LB: 44395 ... c Min unsat cost LB: 44396 ... c Min unsat cost LB: 44397 ... c Min unsat cost LB: 44398 ... c Min unsat cost LB: 44399 ... c Min unsat cost LB: 44400 ... c Min unsat cost LB: 44401 ... c Min unsat cost LB: 44402 ... c Min unsat cost LB: 44403 ... c Min unsat cost LB: 44404 ... c Min unsat cost LB: 44405 ... c Min unsat cost LB: 44406 ... c Min unsat cost LB: 44409 ... c Min unsat cost LB: 44411 ... c Min unsat cost LB: 44483 ... c Min unsat cost LB: 44484 ... c Min unsat cost LB: 44495 ... c Min unsat cost LB: 44544 ... c Min unsat cost LB: 44546 ... c Min unsat cost LB: 44561 ... c Min unsat cost LB: 44570 ... c Min unsat cost LB: 44625 ... c Min unsat cost LB: 44626 ... c Min unsat cost LB: 44627 ... c Min unsat cost LB: 44634 ... c Min unsat cost LB: 44637 ... c Min unsat cost LB: 44647 ... c Min unsat cost LB: 44662 ... c Min unsat cost LB: 44664 ... c Min unsat cost LB: 44666 ... c Min unsat cost LB: 44667 ... c Min unsat cost LB: 44668 ... c Min unsat cost LB: 44669 ... c Min unsat cost LB: 44670 ... c Min unsat cost LB: 44671 ... c Min unsat cost LB: 44672 ... c Min unsat cost LB: 44673 ... c Min unsat cost LB: 44674 ... c Min unsat cost LB: 44675 ... c Min unsat cost LB: 44676 ... c Min unsat cost LB: 44677 ... c Min unsat cost LB: 44678 ... c Min unsat cost LB: 44679 ... c Min unsat cost LB: 44681 ... c Min unsat cost LB: 44682 ... c Min unsat cost LB: 44684 ... c Min unsat cost LB: 44685 ... c Min unsat cost LB: 44687 ... c Min unsat cost LB: 44688 ... c Min unsat cost LB: 44690 ... c Min unsat cost LB: 44691 ... c Min unsat cost LB: 44692 ... c Min unsat cost LB: 44693 ... c Min unsat cost LB: 44694 ... c Min unsat cost LB: 44695 ... c Min unsat cost LB: 44696 ... c Min unsat cost LB: 44698 ... c Min unsat cost LB: 44699 ... c Min unsat cost LB: 44701 ... c Min unsat cost LB: 44702 ... c Min unsat cost LB: 44703 ... c Min unsat cost LB: 44705 ... c Min unsat cost LB: 44706 ... c Min unsat cost LB: 44708 ... c Min unsat cost LB: 44710 ... c Min unsat cost LB: 44711 ... c Min unsat cost LB: 44712 ... c Min unsat cost LB: 44714 ... c Min unsat cost LB: 44718 ... c Min unsat cost LB: 44743 ... c Min unsat cost LB: 44744 ... c Min unsat cost LB: 44745 ... c Min unsat cost LB: 44758 ... c Min unsat cost LB: 44760 ... c Min unsat cost LB: 44761 ... c Min unsat cost LB: 44762 ... c Min unsat cost LB: 44763 ... c Min unsat cost LB: 44764 ... c Min unsat cost LB: 44765 ... c Min unsat cost LB: 44766 ... c Min unsat cost LB: 44767 ... c Min unsat cost LB: 44768 ... c Min unsat cost LB: 44769 ... c Min unsat cost LB: 44770 ... c Min unsat cost LB: 44771 ... c Min unsat cost LB: 44783 ... c Min unsat cost LB: 44784 ... c Min unsat cost LB: 44785 ... c Min unsat cost LB: 44786 ... c Min unsat cost LB: 44787 ... c Min unsat cost LB: 44788 ... c Min unsat cost LB: 44789 ... c Min unsat cost LB: 44790 ... c Min unsat cost LB: 44791 ... c Min unsat cost LB: 44792 ... c Min unsat cost LB: 44793 ... c Min unsat cost LB: 44794 ... c Min unsat cost LB: 44795 ... c Min unsat cost LB: 44796 ... c Min unsat cost LB: 44797 ... c Min unsat cost LB: 44798 ... c Min unsat cost LB: 44799 ... c Min unsat cost LB: 44800 ... c Min unsat cost LB: 44801 ... c Min unsat cost LB: 44802 ... c Min unsat cost LB: 44803 ... c Min unsat cost LB: 44804 ... c Min unsat cost LB: 44805 ... c Min unsat cost LB: 44806 ... c Min unsat cost LB: 44807 ... c Min unsat cost LB: 44808 ... c Min unsat cost LB: 44809 ... c Min unsat cost LB: 44810 ... c Min unsat cost LB: 44811 ... c Min unsat cost LB: 44812 ... c Min unsat cost LB: 44813 ... c Min unsat cost LB: 44814 ... c Min unsat cost LB: 44815 ... c Min unsat cost LB: 44816 ... c Min unsat cost LB: 44817 ... c Min unsat cost LB: 44818 ... c Min unsat cost LB: 44819 ... c Min unsat cost LB: 44820 ... c Min unsat cost LB: 44821 ... c Min unsat cost LB: 44822 ... c Min unsat cost LB: 44823 ... c Min unsat cost LB: 44824 ... c Min unsat cost LB: 44825 ... c Min unsat cost LB: 44826 ... c Min unsat cost LB: 44827 ... c Min unsat cost LB: 44833 ... c Min unsat cost LB: 44834 ... c Min unsat cost LB: 44835 ... c Min unsat cost LB: 44837 ... c Min unsat cost LB: 44844 ... c Min unsat cost LB: 44848 ... c Min unsat cost LB: 44849 ... c Min unsat cost LB: 44850 ... c Min unsat cost LB: 44851 ... c Min unsat cost LB: 44852 ... c Min unsat cost LB: 44853 ... c Min unsat cost LB: 44854 ... c Min unsat cost LB: 44855 ... c Min unsat cost LB: 44856 ... c Min unsat cost LB: 44857 ... c Min unsat cost LB: 44858 ... c Min unsat cost LB: 44859 ... c Min unsat cost LB: 44860 ... c Min unsat cost LB: 44861 ... c Min unsat cost LB: 44862 ... c Min unsat cost LB: 44863 ... c Min unsat cost LB: 44864 ... c Min unsat cost LB: 44865 ... c Min unsat cost LB: 44866 ... c Min unsat cost LB: 44867 ... c Min unsat cost LB: 44868 ... c Min unsat cost LB: 44869 ... c Min unsat cost LB: 44870 ... c Min unsat cost LB: 44871 ... c Min unsat cost LB: 44872 ... c Min unsat cost LB: 44873 ... c Min unsat cost LB: 44874 ... c Min unsat cost LB: 44875 ... c Min unsat cost LB: 44876 ... c Min unsat cost LB: 44877 ... c Min unsat cost LB: 44878 ... c Min unsat cost LB: 44879 ... c Min unsat cost LB: 44880 ... c Min unsat cost LB: 44881 ... c Min unsat cost LB: 44882 ... c Min unsat cost LB: 44883 ... c Min unsat cost LB: 44884 ... c Min unsat cost LB: 44885 ... c Min unsat cost LB: 44886 ... c Min unsat cost LB: 44887 ... c Min unsat cost LB: 44888 ... c Min unsat cost LB: 44889 ... c Min unsat cost LB: 44890 ... c Min unsat cost LB: 44891 ... c Min unsat cost LB: 44892 ... c Min unsat cost LB: 44893 ... c Min unsat cost LB: 44894 ... c Min unsat cost LB: 44895 ... c Min unsat cost LB: 44896 ... c Min unsat cost LB: 44897 ... c Min unsat cost LB: 44898 ... c Min unsat cost LB: 44899 ... c Min unsat cost LB: 44900 ... c Min unsat cost LB: 44901 ... c Min unsat cost LB: 44902 ... c Min unsat cost LB: 44903 ... c Min unsat cost LB: 44904 ... c Min unsat cost LB: 44905 ... c Min unsat cost LB: 44906 ... c Min unsat cost LB: 44907 ... c Min unsat cost LB: 44908 ... c Min unsat cost LB: 44909 ... c Min unsat cost LB: 44921 ... c Min unsat cost LB: 44922 ... c Min unsat cost LB: 44923 ... c Min unsat cost LB: 44924 ... c Min unsat cost LB: 44925 ... c Min unsat cost LB: 44927 ... c Min unsat cost LB: 44928 ... c Min unsat cost LB: 44929 ... c Min unsat cost LB: 44930 ... c Min unsat cost LB: 44931 ... c Min unsat cost LB: 44932 ... c Min unsat cost LB: 44933 ... c Min unsat cost LB: 44934 ... c Min unsat cost LB: 44935 ... c Min unsat cost LB: 44936 ... c Min unsat cost LB: 44937 ... c Min unsat cost LB: 44938 ... c Min unsat cost LB: 44939 ... c Min unsat cost LB: 44940 ... c Min unsat cost LB: 44941 ... c Min unsat cost LB: 44942 ... c Min unsat cost LB: 44943 ... c Min unsat cost LB: 44944 ... c Min unsat cost LB: 44945 ... c Min unsat cost LB: 44946 ... c Min unsat cost LB: 44947 ... c Min unsat cost LB: 44948 ... c Min unsat cost LB: 44949 ... c Min unsat cost LB: 44951 ... c Min unsat cost LB: 44952 ... c Min unsat cost LB: 44953 ... c Min unsat cost LB: 44954 ... c Min unsat cost LB: 44955 ... c Min unsat cost LB: 44956 ... c Min unsat cost LB: 44957 ... c Min unsat cost LB: 44958 ... c Min unsat cost LB: 44959 ... c Min unsat cost LB: 44960 ... c Min unsat cost LB: 44961 ... c Min unsat cost LB: 44962 ... c Min unsat cost LB: 44963 ... c Min unsat cost LB: 44964 ... c Min unsat cost LB: 44965 ... c Min unsat cost LB: 44966 ... c Min unsat cost LB: 44967 ... c Min unsat cost LB: 44968 ... c Min unsat cost LB: 44969 ... c Min unsat cost LB: 44970 ... c Min unsat cost LB: 44971 ... c Min unsat cost LB: 44972 ... c Min unsat cost LB: 44973 ... c Min unsat cost LB: 44974 ... c Min unsat cost LB: 44975 ... c Min unsat cost LB: 44976 ... c Min unsat cost LB: 44977 ... c Min unsat cost LB: 44978 ... c Min unsat cost LB: 44979 ... c Min unsat cost LB: 44980 ... c Min unsat cost LB: 44981 ... c Min unsat cost LB: 44982 ... c Min unsat cost LB: 44983 ... c Min unsat cost LB: 44984 ... c Min unsat cost LB: 44985 ... c Min unsat cost LB: 44986 ... c Min unsat cost LB: 44987 ... c Min unsat cost LB: 44988 ... c Min unsat cost LB: 44989 ... c Min unsat cost LB: 44990 ... c Min unsat cost LB: 44991 ... c Min unsat cost LB: 44993 ... c Min unsat cost LB: 44994 ... c Min unsat cost LB: 44995 ... c Min unsat cost LB: 44996 ... c Min unsat cost LB: 44997 ... c Min unsat cost LB: 44998 ... c Min unsat cost LB: 44999 ... c Min unsat cost LB: 45000 ... c Min unsat cost LB: 45001 ... c Min unsat cost LB: 45002 ... c Min unsat cost LB: 45003 ... c Min unsat cost LB: 45004 ... c Min unsat cost LB: 45005 ... c Min unsat cost LB: 45006 ... c Min unsat cost LB: 45007 ... c Min unsat cost LB: 45008 ... c Min unsat cost LB: 45009 ... c Min unsat cost LB: 45010 ... c Min unsat cost LB: 45011 ... c Min unsat cost LB: 45012 ... c Min unsat cost LB: 45013 ... c Min unsat cost LB: 45015 ... c Min unsat cost LB: 45016 ... c Min unsat cost LB: 45017 ... c Min unsat cost LB: 45018 ... c Min unsat cost LB: 45019 ... c Min unsat cost LB: 45020 ... c Min unsat cost LB: 45021 ... c Min unsat cost LB: 45023 ... c Min unsat cost LB: 45024 ... c Min unsat cost LB: 45025 ... c Min unsat cost LB: 45026 ... c Min unsat cost LB: 45027 ... c Min unsat cost LB: 45028 ... c Min unsat cost LB: 45045 ... c Min unsat cost LB: 45046 ... c Min unsat cost LB: 45052 ... c Min unsat cost LB: 45054 ... c Min unsat cost LB: 45056 ... c Min unsat cost LB: 45060 ... c Min unsat cost LB: 45061 ... c Min unsat cost LB: 45070 ... c Min unsat cost LB: 45071 ... c Min unsat cost LB: 45072 ... c Min unsat cost LB: 45073 ... c Min unsat cost LB: 45074 ... c Min unsat cost LB: 45075 ... c Min unsat cost LB: 45077 ... c Min unsat cost LB: 45078 ... c Min unsat cost LB: 45079 ... c Min unsat cost LB: 45080 ... c Min unsat cost LB: 45081 ... c Min unsat cost LB: 45082 ... c Min unsat cost LB: 45083 ... c Min unsat cost LB: 45084 ... c Min unsat cost LB: 45085 ... c Min unsat cost LB: 45086 ... c Min unsat cost LB: 45087 ... c Min unsat cost LB: 45088 ... c Min unsat cost LB: 45089 ... c Min unsat cost LB: 45090 ... c Min unsat cost LB: 45091 ... c Min unsat cost LB: 45092 ... c Min unsat cost LB: 45093 ... c Min unsat cost LB: 45094 ... c Min unsat cost LB: 45095 ... c Min unsat cost LB: 45096 ... c Min unsat cost LB: 45097 ... c Min unsat cost LB: 45098 ... c Min unsat cost LB: 45099 ... c Min unsat cost LB: 45100 ... c Min unsat cost LB: 45101 ... c Min unsat cost LB: 45102 ... c Min unsat cost LB: 45103 ... c Min unsat cost LB: 45104 ... c Min unsat cost LB: 45105 ... c Min unsat cost LB: 45106 ... c Min unsat cost LB: 45107 ... c Min unsat cost LB: 45108 ... c Min unsat cost LB: 45109 ... c Min unsat cost LB: 45110 ... c Min unsat cost LB: 45111 ... c Min unsat cost LB: 45112 ... c Min unsat cost LB: 45113 ... c Min unsat cost LB: 45114 ... c Min unsat cost LB: 45115 ... c Min unsat cost LB: 45116 ... c Min unsat cost LB: 45117 ... c Min unsat cost LB: 45118 ... c Min unsat cost LB: 45119 ... c Min unsat cost LB: 45120 ... c Min unsat cost LB: 45123 ... c Min unsat cost LB: 45125 ... c Min unsat cost LB: 45184 ... c Min unsat cost LB: 45188 ... c Min unsat cost LB: 45189 ... c Min unsat cost LB: 45192 ... c Min unsat cost LB: 45193 ... c Min unsat cost LB: 45194 ... c Min unsat cost LB: 45195 ... c Min unsat cost LB: 45197 ... c Min unsat cost LB: 45199 ... c Min unsat cost LB: 45200 ... c Min unsat cost LB: 45201 ... c Min unsat cost LB: 45202 ... c Min unsat cost LB: 45203 ... c Min unsat cost LB: 45204 ... c Min unsat cost LB: 45205 ... c Min unsat cost LB: 45206 ... c Min unsat cost LB: 45207 ... c Min unsat cost LB: 45208 ... c Min unsat cost LB: 45209 ... c Min unsat cost LB: 45210 ... c Min unsat cost LB: 45211 ... c Min unsat cost LB: 45212 ... c Min unsat cost LB: 45213 ... c Min unsat cost LB: 45214 ... c Min unsat cost LB: 45215 ...Killed 1815.440u 4.301s 30:23.99 99.7% 0+0k 0+0io 0pf+0w