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_80_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0006.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_80_0006.txt.wcnf *** c c Min unsat cost LB: 336 ... c Min unsat cost LB: 968 ... c Min unsat cost LB: 1951 ... c Min unsat cost LB: 2695 ... c Min unsat cost LB: 3663 ... c Min unsat cost LB: 4059 ... c Min unsat cost LB: 4395 ... c Min unsat cost LB: 5264 ... c Min unsat cost LB: 6008 ... c Min unsat cost LB: 6344 ... c Min unsat cost LB: 7378 ... c Min unsat cost LB: 8122 ... c Min unsat cost LB: 8866 ... c Min unsat cost LB: 8975 ... c Min unsat cost LB: 9371 ... c Min unsat cost LB: 10240 ... c Min unsat cost LB: 10984 ... c Min unsat cost LB: 11616 ... c Min unsat cost LB: 11952 ... c Min unsat cost LB: 12902 ... c Min unsat cost LB: 13995 ... c Min unsat cost LB: 14546 ... c Min unsat cost LB: 14858 ... c Min unsat cost LB: 15600 ... c Min unsat cost LB: 16151 ... c Min unsat cost LB: 16344 ... c Min unsat cost LB: 17004 ... c Min unsat cost LB: 17316 ... c Min unsat cost LB: 18173 ... c Min unsat cost LB: 18266 ... c Min unsat cost LB: 18494 ... c Min unsat cost LB: 18516 ... c Min unsat cost LB: 18956 ... c Min unsat cost LB: 19700 ... c Min unsat cost LB: 20099 ... c Min unsat cost LB: 20409 ... c Min unsat cost LB: 21578 ... c Min unsat cost LB: 21671 ... c Min unsat cost LB: 22621 ... c Min unsat cost LB: 22933 ... c Min unsat cost LB: 23604 ... c Min unsat cost LB: 24155 ... c Min unsat cost LB: 25020 ... c Min unsat cost LB: 25211 ... c Min unsat cost LB: 25955 ... c Min unsat cost LB: 26412 ... c Min unsat cost LB: 26724 ... c Min unsat cost LB: 27269 ... c Min unsat cost LB: 27565 ... c Min unsat cost LB: 28003 ... c Min unsat cost LB: 28117 ... c Min unsat cost LB: 28269 ... c Min unsat cost LB: 28372 ... c Min unsat cost LB: 28508 ... c Min unsat cost LB: 29361 ... c Min unsat cost LB: 29567 ... c Min unsat cost LB: 29759 ... c Min unsat cost LB: 29878 ... c Min unsat cost LB: 30018 ... c Min unsat cost LB: 30190 ... c Min unsat cost LB: 30487 ... c Min unsat cost LB: 30628 ... c Min unsat cost LB: 30862 ... c Min unsat cost LB: 31231 ... c Min unsat cost LB: 31324 ... c Min unsat cost LB: 31501 ... c Min unsat cost LB: 31745 ... c Min unsat cost LB: 32088 ... c Min unsat cost LB: 32385 ... c Min unsat cost LB: 32400 ... c Min unsat cost LB: 32526 ... c Min unsat cost LB: 32589 ... c Min unsat cost LB: 32633 ... c Min unsat cost LB: 32782 ... c Min unsat cost LB: 32918 ... c Min unsat cost LB: 32962 ... c Min unsat cost LB: 33026 ... c Min unsat cost LB: 33526 ... c Min unsat cost LB: 33588 ... c Min unsat cost LB: 33619 ... c Min unsat cost LB: 34460 ... c Min unsat cost LB: 34560 ... c Min unsat cost LB: 34872 ... c Min unsat cost LB: 34993 ... c Min unsat cost LB: 35522 ... c Min unsat cost LB: 35552 ... c Min unsat cost LB: 35600 ... c Min unsat cost LB: 35671 ... c Min unsat cost LB: 35688 ... c Min unsat cost LB: 35710 ... c Min unsat cost LB: 36634 ... c Min unsat cost LB: 36970 ... c Min unsat cost LB: 37306 ... c Min unsat cost LB: 37835 ... c Min unsat cost LB: 37938 ... c Min unsat cost LB: 38041 ... c Min unsat cost LB: 38063 ... c Min unsat cost LB: 38080 ... c Min unsat cost LB: 38124 ... c Min unsat cost LB: 38187 ... c Min unsat cost LB: 38220 ... c Min unsat cost LB: 38280 ... c Min unsat cost LB: 38291 ... c Min unsat cost LB: 38425 ... c Min unsat cost LB: 38510 ... c Min unsat cost LB: 38592 ... c Min unsat cost LB: 38624 ... c Min unsat cost LB: 38632 ... c Min unsat cost LB: 38704 ... c Min unsat cost LB: 38812 ... c Min unsat cost LB: 38853 ... c Min unsat cost LB: 38895 ... c Min unsat cost LB: 38977 ... c Min unsat cost LB: 39014 ... c Min unsat cost LB: 39038 ... c Min unsat cost LB: 39115 ... c Min unsat cost LB: 39118 ... c Min unsat cost LB: 39122 ... c Min unsat cost LB: 39333 ... c Min unsat cost LB: 39346 ... c Min unsat cost LB: 39449 ... c Min unsat cost LB: 39574 ... c Min unsat cost LB: 39757 ... c Min unsat cost LB: 39970 ... c Min unsat cost LB: 39987 ... c Min unsat cost LB: 40125 ... c Min unsat cost LB: 40169 ... c Min unsat cost LB: 40184 ... c Min unsat cost LB: 40248 ... c Min unsat cost LB: 40711 ... c Min unsat cost LB: 40748 ... c Min unsat cost LB: 40758 ... c Min unsat cost LB: 40776 ... c Min unsat cost LB: 40787 ... c Min unsat cost LB: 40835 ... c Min unsat cost LB: 40884 ... c Min unsat cost LB: 40917 ... c Min unsat cost LB: 41056 ... c Min unsat cost LB: 41392 ... c Min unsat cost LB: 41436 ... c Min unsat cost LB: 41539 ... c Min unsat cost LB: 41563 ... c Min unsat cost LB: 41732 ... c Min unsat cost LB: 41822 ... c Min unsat cost LB: 41842 ... c Min unsat cost LB: 41859 ... c Min unsat cost LB: 41872 ... c Min unsat cost LB: 41876 ... c Min unsat cost LB: 41887 ... c Min unsat cost LB: 41894 ... c Min unsat cost LB: 41977 ... c Min unsat cost LB: 42062 ... c Min unsat cost LB: 42144 ... c Min unsat cost LB: 42177 ... c Min unsat cost LB: 42237 ... c Min unsat cost LB: 42261 ... c Min unsat cost LB: 42266 ... c Min unsat cost LB: 42275 ... c Min unsat cost LB: 42288 ... c Min unsat cost LB: 42292 ... c Min unsat cost LB: 42322 ... c Min unsat cost LB: 42386 ... c Min unsat cost LB: 42394 ... c Min unsat cost LB: 42400 ... c Min unsat cost LB: 42430 ... c Min unsat cost LB: 42463 ... c Min unsat cost LB: 42526 ... c Min unsat cost LB: 42570 ... c Min unsat cost LB: 42581 ... c Min unsat cost LB: 42612 ... c Min unsat cost LB: 42666 ... c Min unsat cost LB: 42683 ... c Min unsat cost LB: 42743 ... c Min unsat cost LB: 42746 ... c Min unsat cost LB: 42755 ... c Min unsat cost LB: 42815 ... c Min unsat cost LB: 42823 ... c Min unsat cost LB: 42836 ... c Min unsat cost LB: 42847 ... c Min unsat cost LB: 42853 ... c Min unsat cost LB: 42860 ... c Min unsat cost LB: 42863 ... c Min unsat cost LB: 42869 ... c Min unsat cost LB: 42872 ... c Min unsat cost LB: 42889 ... c Min unsat cost LB: 42893 ... c Min unsat cost LB: 42912 ... c Min unsat cost LB: 42922 ... c Min unsat cost LB: 42928 ... c Min unsat cost LB: 42930 ... c Min unsat cost LB: 42939 ... c Min unsat cost LB: 42980 ... c Min unsat cost LB: 42999 ... c Min unsat cost LB: 43000 ... c Min unsat cost LB: 43010 ... c Min unsat cost LB: 43027 ... c Min unsat cost LB: 43032 ... c Min unsat cost LB: 43039 ... c Min unsat cost LB: 43047 ... c Min unsat cost LB: 43048 ... c Min unsat cost LB: 43052 ... c Min unsat cost LB: 43061 ... c Min unsat cost LB: 43062 ... c Min unsat cost LB: 43075 ... c Min unsat cost LB: 43077 ... c Min unsat cost LB: 43083 ... c Min unsat cost LB: 43089 ... c Min unsat cost LB: 43091 ... c Min unsat cost LB: 43116 ... c Min unsat cost LB: 43121 ... c Min unsat cost LB: 43125 ... c Min unsat cost LB: 43134 ... c Min unsat cost LB: 43141 ... c Min unsat cost LB: 43205 ... c Min unsat cost LB: 43214 ... c Min unsat cost LB: 43234 ... c Min unsat cost LB: 43240 ... c Min unsat cost LB: 43249 ... c Min unsat cost LB: 43260 ... c Min unsat cost LB: 43264 ... c Min unsat cost LB: 43271 ... c Min unsat cost LB: 43282 ... c Min unsat cost LB: 43286 ... c Min unsat cost LB: 43293 ... c Min unsat cost LB: 43335 ... c Min unsat cost LB: 43496 ... c Min unsat cost LB: 43497 ... c Min unsat cost LB: 43509 ... c Min unsat cost LB: 43520 ... c Min unsat cost LB: 43522 ... c Min unsat cost LB: 43528 ... c Min unsat cost LB: 43541 ... c Min unsat cost LB: 43599 ... c Min unsat cost LB: 43603 ... c Min unsat cost LB: 43609 ... c Min unsat cost LB: 43613 ... c Min unsat cost LB: 43615 ... c Min unsat cost LB: 43619 ... c Min unsat cost LB: 43627 ... c Min unsat cost LB: 43634 ... c Min unsat cost LB: 43639 ... c Min unsat cost LB: 43642 ... c Min unsat cost LB: 43646 ... c Min unsat cost LB: 43648 ... c Min unsat cost LB: 43670 ... c Min unsat cost LB: 43672 ... c Min unsat cost LB: 43683 ... c Min unsat cost LB: 43713 ... c Min unsat cost LB: 43726 ... c Min unsat cost LB: 43749 ... c Min unsat cost LB: 43752 ... c Min unsat cost LB: 43885 ... c Min unsat cost LB: 43902 ... c Min unsat cost LB: 43907 ... c Min unsat cost LB: 43909 ... c Min unsat cost LB: 43910 ... c Min unsat cost LB: 43912 ... c Min unsat cost LB: 43916 ... c Min unsat cost LB: 43917 ... c Min unsat cost LB: 43920 ... c Min unsat cost LB: 43921 ... c Min unsat cost LB: 43922 ... c Min unsat cost LB: 43923 ... c Min unsat cost LB: 43924 ... c Min unsat cost LB: 43925 ... c Min unsat cost LB: 43928 ... c Min unsat cost LB: 43929 ... c Min unsat cost LB: 43932 ... c Min unsat cost LB: 43933 ... c Min unsat cost LB: 43934 ... c Min unsat cost LB: 43935 ... c Min unsat cost LB: 43941 ... c Min unsat cost LB: 43943 ... c Min unsat cost LB: 43945 ... c Min unsat cost LB: 43946 ... c Min unsat cost LB: 43947 ... c Min unsat cost LB: 43952 ... c Min unsat cost LB: 43953 ... c Min unsat cost LB: 43956 ... c Min unsat cost LB: 43957 ... c Min unsat cost LB: 43958 ... c Min unsat cost LB: 43961 ... c Min unsat cost LB: 43962 ... c Min unsat cost LB: 43963 ... c Min unsat cost LB: 44005 ... c Min unsat cost LB: 44012 ... c Min unsat cost LB: 44022 ... c Min unsat cost LB: 44157 ... c Min unsat cost LB: 44161 ... c Min unsat cost LB: 44330 ... c Min unsat cost LB: 44354 ... c Min unsat cost LB: 44362 ... c Min unsat cost LB: 44505 ... c Min unsat cost LB: 44518 ... c Min unsat cost LB: 44519 ... c Min unsat cost LB: 44536 ... c Min unsat cost LB: 44551 ... c Min unsat cost LB: 44555 ... c Min unsat cost LB: 44571 ... c Min unsat cost LB: 44662 ... c Min unsat cost LB: 44676 ... c Min unsat cost LB: 44678 ... c Min unsat cost LB: 44690 ... c Min unsat cost LB: 44693 ... c Min unsat cost LB: 44699 ... c Min unsat cost LB: 44701 ... c Min unsat cost LB: 44702 ... c Min unsat cost LB: 44710 ... c Min unsat cost LB: 44711 ... c Min unsat cost LB: 44715 ... c Min unsat cost LB: 44730 ... c Min unsat cost LB: 44731 ... c Min unsat cost LB: 44732 ... c Min unsat cost LB: 44734 ... c Min unsat cost LB: 44735 ... c Min unsat cost LB: 44736 ... c Min unsat cost LB: 44739 ... c Min unsat cost LB: 44742 ... c Min unsat cost LB: 44748 ... c Min unsat cost LB: 44752 ... c Min unsat cost LB: 44755 ... c Min unsat cost LB: 44758 ... c Min unsat cost LB: 44760 ... c Min unsat cost LB: 44773 ... c Min unsat cost LB: 44797 ... c Min unsat cost LB: 44806 ... c Min unsat cost LB: 44830 ... c Min unsat cost LB: 44832 ... c Min unsat cost LB: 44838 ... c Min unsat cost LB: 44839 ... c Min unsat cost LB: 44855 ... c Min unsat cost LB: 44858 ... c Min unsat cost LB: 44871 ... c Min unsat cost LB: 44872 ... c Min unsat cost LB: 44875 ... c Min unsat cost LB: 44880 ... c Min unsat cost LB: 44881 ... 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: 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: 44902 ... c Min unsat cost LB: 44903 ... c Min unsat cost LB: 44904 ... c Min unsat cost LB: 44907 ... c Min unsat cost LB: 44908 ... c Min unsat cost LB: 44916 ... c Min unsat cost LB: 44917 ... c Min unsat cost LB: 44919 ... c Min unsat cost LB: 44920 ... 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: 44926 ... 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: 44950 ... c Min unsat cost LB: 44951 ... c Min unsat cost LB: 44952 ... c Min unsat cost LB: 44953 ... c Min unsat cost LB: 44955 ... c Min unsat cost LB: 44956 ... 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: 44990 ... c Min unsat cost LB: 44991 ... c Min unsat cost LB: 44992 ... c Min unsat cost LB: 44993 ... c Min unsat cost LB: 44994 ... c Min unsat cost LB: 44996 ... c Min unsat cost LB: 45020 ... c Min unsat cost LB: 45024 ... c Min unsat cost LB: 45031 ... c Min unsat cost LB: 45033 ... c Min unsat cost LB: 45034 ... c Min unsat cost LB: 45056 ... c Min unsat cost LB: 45057 ... c Min unsat cost LB: 45058 ... c Min unsat cost LB: 45064 ... c Min unsat cost LB: 45065 ... c Min unsat cost LB: 45066 ... c Min unsat cost LB: 45067 ... c Min unsat cost LB: 45068 ... c Min unsat cost LB: 45069 ... 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: 45076 ... 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: 45093 ... c Min unsat cost LB: 45096 ... c Min unsat cost LB: 45100 ... c Min unsat cost LB: 45102 ... c Min unsat cost LB: 45104 ... c Min unsat cost LB: 45105 ... 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: 45113 ... c Min unsat cost LB: 45114 ... c Min unsat cost LB: 45120 ... c Min unsat cost LB: 45125 ... c Min unsat cost LB: 45129 ... c Min unsat cost LB: 45132 ... c Min unsat cost LB: 45133 ... c Min unsat cost LB: 45134 ... c Min unsat cost LB: 45137 ... c Min unsat cost LB: 45138 ... c Min unsat cost LB: 45139 ... c Min unsat cost LB: 45141 ... c Min unsat cost LB: 45142 ... c Min unsat cost LB: 45144 ... c Min unsat cost LB: 45146 ... c Min unsat cost LB: 45149 ... c Min unsat cost LB: 45150 ... c Min unsat cost LB: 45173 ... c Min unsat cost LB: 45182 ... c Min unsat cost LB: 45183 ... c Min unsat cost LB: 45184 ... c Min unsat cost LB: 45186 ... c Min unsat cost LB: 45187 ... c Min unsat cost LB: 45188 ... c Min unsat cost LB: 45194 ... c Min unsat cost LB: 45197 ... c Min unsat cost LB: 45200 ... c Min unsat cost LB: 45201 ... c Min unsat cost LB: 45202 ... c Min unsat cost LB: 45204 ... c Min unsat cost LB: 45205 ... c Min unsat cost LB: 45224 ... c Min unsat cost LB: 45225 ... c Min unsat cost LB: 45228 ... c Min unsat cost LB: 45229 ... c Min unsat cost LB: 45230 ... c Min unsat cost LB: 45232 ... c Min unsat cost LB: 45235 ... c Min unsat cost LB: 45236 ... c Min unsat cost LB: 45237 ... c Min unsat cost LB: 45238 ... c Min unsat cost LB: 45239 ... c Min unsat cost LB: 45240 ... c Min unsat cost LB: 45241 ... c Min unsat cost LB: 45242 ... c Min unsat cost LB: 45245 ... c Min unsat cost LB: 45246 ... c Min unsat cost LB: 45247 ... c Min unsat cost LB: 45248 ... c Min unsat cost LB: 45249 ... c Min unsat cost LB: 45250 ... c Min unsat cost LB: 45251 ... c Min unsat cost LB: 45252 ... c Min unsat cost LB: 45253 ... c Min unsat cost LB: 45254 ... c Min unsat cost LB: 45255 ... c Min unsat cost LB: 45256 ... c Min unsat cost LB: 45257 ... c Min unsat cost LB: 45258 ... c Min unsat cost LB: 45259 ... c Min unsat cost LB: 45260 ... c Min unsat cost LB: 45261 ... c Min unsat cost LB: 45262 ... c Min unsat cost LB: 45263 ... c Min unsat cost LB: 45264 ... c Min unsat cost LB: 45265 ... c Min unsat cost LB: 45269 ... c Min unsat cost LB: 45270 ... c Min unsat cost LB: 45271 ... c Min unsat cost LB: 45272 ... c Min unsat cost LB: 45273 ... c Min unsat cost LB: 45274 ... c Min unsat cost LB: 45275 ... c Min unsat cost LB: 45276 ... c Min unsat cost LB: 45277 ... c Min unsat cost LB: 45278 ... c Min unsat cost LB: 45279 ... c Min unsat cost LB: 45280 ... c Min unsat cost LB: 45281 ... c Min unsat cost LB: 45282 ... c Min unsat cost LB: 45283 ... c Min unsat cost LB: 45284 ... c Min unsat cost LB: 45285 ... c Min unsat cost LB: 45286 ... c Min unsat cost LB: 45287 ... c Min unsat cost LB: 45288 ... c Min unsat cost LB: 45289 ... c Min unsat cost LB: 45290 ... c Min unsat cost LB: 45291 ... c Min unsat cost LB: 45292 ... c Min unsat cost LB: 45293 ... c Min unsat cost LB: 45294 ... c Min unsat cost LB: 45295 ... c Min unsat cost LB: 45296 ... c Min unsat cost LB: 45297 ... c Min unsat cost LB: 45298 ... c Min unsat cost LB: 45299 ... c Min unsat cost LB: 45300 ... c Min unsat cost LB: 45301 ... c Min unsat cost LB: 45302 ... c Min unsat cost LB: 45303 ... c Min unsat cost LB: 45304 ... c Min unsat cost LB: 45305 ... c Min unsat cost LB: 45306 ... c Min unsat cost LB: 45307 ... c Min unsat cost LB: 45308 ... c Min unsat cost LB: 45309 ... c Min unsat cost LB: 45310 ... c Min unsat cost LB: 45311 ... c Min unsat cost LB: 45312 ... c Min unsat cost LB: 45313 ... c Min unsat cost LB: 45314 ... c Min unsat cost LB: 45315 ... c Min unsat cost LB: 45316 ... c Min unsat cost LB: 45317 ... c Min unsat cost LB: 45318 ... c Min unsat cost LB: 45319 ... c Min unsat cost LB: 45320 ... c Min unsat cost LB: 45321 ... c Min unsat cost LB: 45322 ... c Min unsat cost LB: 45323 ... c Min unsat cost LB: 45324 ... c Min unsat cost LB: 45325 ... c Min unsat cost LB: 45326 ... c Min unsat cost LB: 45327 ... c Min unsat cost LB: 45328 ... c Min unsat cost LB: 45329 ... c Min unsat cost LB: 45330 ... c Min unsat cost LB: 45331 ... c Min unsat cost LB: 45332 ... c Min unsat cost LB: 45333 ... c Min unsat cost LB: 45334 ... c Min unsat cost LB: 45337 ... c Min unsat cost LB: 45338 ... c Min unsat cost LB: 45339 ... c Min unsat cost LB: 45340 ... c Min unsat cost LB: 45341 ... c Min unsat cost LB: 45342 ... c Min unsat cost LB: 45343 ... c Min unsat cost LB: 45344 ... c Min unsat cost LB: 45345 ... c Min unsat cost LB: 45346 ... c Min unsat cost LB: 45347 ... c Min unsat cost LB: 45348 ... c Min unsat cost LB: 45349 ... c Min unsat cost LB: 45350 ... c Min unsat cost LB: 45351 ... c Min unsat cost LB: 45352 ... c Min unsat cost LB: 45353 ... c Min unsat cost LB: 45354 ... c Min unsat cost LB: 45355 ... c Min unsat cost LB: 45356 ... c Min unsat cost LB: 45357 ... c Min unsat cost LB: 45358 ... c Min unsat cost LB: 45359 ... c Min unsat cost LB: 45360 ... c Min unsat cost LB: 45361 ... c Min unsat cost LB: 45362 ... c Min unsat cost LB: 45363 ... c Min unsat cost LB: 45364 ... c Min unsat cost LB: 45365 ... c Min unsat cost LB: 45366 ... c Min unsat cost LB: 45367 ... c Min unsat cost LB: 45368 ... c Min unsat cost LB: 45369 ... c Min unsat cost LB: 45370 ... c Min unsat cost LB: 45371 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 45373 ... c Min unsat cost LB: 45374 ... c Min unsat cost LB: 45375 ... c Min unsat cost LB: 45376 ... c Min unsat cost LB: 45377 ... c Min unsat cost LB: 45378 ... c Min unsat cost LB: 45379 ... c Min unsat cost LB: 45380 ... c Min unsat cost LB: 45381 ... c Min unsat cost LB: 45382 ... c Min unsat cost LB: 45384 ... c Min unsat cost LB: 45385 ... c Min unsat cost LB: 45386 ... c Min unsat cost LB: 45387 ... c Min unsat cost LB: 45388 ... c Min unsat cost LB: 45389 ... c Min unsat cost LB: 45392 ... c Min unsat cost LB: 45393 ... c Min unsat cost LB: 45394 ... c Min unsat cost LB: 45395 ... c Min unsat cost LB: 45396 ... c Min unsat cost LB: 45397 ... c Min unsat cost LB: 45398 ... c Min unsat cost LB: 45402 ... c Min unsat cost LB: 45404 ... c Min unsat cost LB: 45407 ... c Min unsat cost LB: 45408 ... c Min unsat cost LB: 45409 ... c Min unsat cost LB: 45410 ... c Min unsat cost LB: 45411 ... c Min unsat cost LB: 45412 ... c Min unsat cost LB: 45413 ... c Min unsat cost LB: 45414 ... c Min unsat cost LB: 45415 ... c Min unsat cost LB: 45416 ... c Min unsat cost LB: 45417 ... c Min unsat cost LB: 45418 ... c Min unsat cost LB: 45419 ... c Min unsat cost LB: 45420 ... c Min unsat cost LB: 45421 ... c Min unsat cost LB: 45422 ... c Min unsat cost LB: 45423 ... c Min unsat cost LB: 45424 ... c Min unsat cost LB: 45425 ... c Min unsat cost LB: 45426 ... c Min unsat cost LB: 45427 ... c Min unsat cost LB: 45428 ... c Min unsat cost LB: 45429 ... c Min unsat cost LB: 45430 ... c Min unsat cost LB: 45431 ... c Min unsat cost LB: 45432 ... c Min unsat cost LB: 45433 ... c Min unsat cost LB: 45434 ... c Min unsat cost LB: 45435 ... c Min unsat cost LB: 45436 ... c Min unsat cost LB: 45437 ... c Min unsat cost LB: 45438 ... c Min unsat cost LB: 45439 ... c Min unsat cost LB: 45440 ... c Min unsat cost LB: 45441 ... c Min unsat cost LB: 45442 ... c Min unsat cost LB: 45446 ... c Min unsat cost LB: 45448 ... c Min unsat cost LB: 45449 ... c Min unsat cost LB: 45450 ... c Min unsat cost LB: 45451 ... c Min unsat cost LB: 45452 ... c Min unsat cost LB: 45453 ... c Min unsat cost LB: 45454 ... c Min unsat cost LB: 45455 ... c Min unsat cost LB: 45456 ... c Min unsat cost LB: 45457 ... c Min unsat cost LB: 45458 ... c Min unsat cost LB: 45459 ... c Min unsat cost LB: 45460 ... c Min unsat cost LB: 45461 ... c Min unsat cost LB: 45462 ... c Min unsat cost LB: 45463 ... c Min unsat cost LB: 45464 ... c Min unsat cost LB: 45465 ... c Min unsat cost LB: 45466 ... c Min unsat cost LB: 45467 ... c Min unsat cost LB: 45468 ... c Min unsat cost LB: 45469 ... c Min unsat cost LB: 45470 ... c Min unsat cost LB: 45471 ... c Min unsat cost LB: 45472 ... c Min unsat cost LB: 45473 ... c Min unsat cost LB: 45474 ... c Min unsat cost LB: 45475 ... c Min unsat cost LB: 45476 ... c Min unsat cost LB: 45478 ... c Min unsat cost LB: 45492 ... c Min unsat cost LB: 45493 ... c Min unsat cost LB: 45494 ... c Min unsat cost LB: 45495 ... c Min unsat cost LB: 45496 ... c Min unsat cost LB: 45497 ... c Min unsat cost LB: 45498 ... c Min unsat cost LB: 45499 ... c Min unsat cost LB: 45500 ... c Min unsat cost LB: 45501 ... c Min unsat cost LB: 45502 ... c Min unsat cost LB: 45504 ... c Min unsat cost LB: 45505 ... c Min unsat cost LB: 45506 ... c Min unsat cost LB: 45529 ... c Min unsat cost LB: 45530 ... c Min unsat cost LB: 45531 ... c Min unsat cost LB: 45532 ... c Min unsat cost LB: 45533 ... c Min unsat cost LB: 45534 ... c Min unsat cost LB: 45535 ... c Min unsat cost LB: 45536 ... c Min unsat cost LB: 45537 ... c Min unsat cost LB: 45538 ... c Min unsat cost LB: 45539 ... c Min unsat cost LB: 45540 ... c Min unsat cost LB: 45541 ... c Min unsat cost LB: 45542 ... c Min unsat cost LB: 45543 ... c Min unsat cost LB: 45544 ... c Min unsat cost LB: 45545 ... c Min unsat cost LB: 45546 ... c Min unsat cost LB: 45547 ... c Min unsat cost LB: 45548 ... c Min unsat cost LB: 45549 ... c Min unsat cost LB: 45550 ... c Min unsat cost LB: 45551 ... c Min unsat cost LB: 45552 ... c Min unsat cost LB: 45553 ... c Min unsat cost LB: 45554 ... c Min unsat cost LB: 45555 ... c Min unsat cost LB: 45556 ... c Min unsat cost LB: 45557 ... c Min unsat cost LB: 45558 ... c Min unsat cost LB: 45559 ... c Min unsat cost LB: 45560 ... c Min unsat cost LB: 45561 ... c Min unsat cost LB: 45562 ... c Min unsat cost LB: 45563 ... c Min unsat cost LB: 45564 ... c Min unsat cost LB: 45565 ... c Min unsat cost LB: 45566 ... c Min unsat cost LB: 45567 ... c Min unsat cost LB: 45568 ... c Min unsat cost LB: 45569 ... c Min unsat cost LB: 45570 ... c Min unsat cost LB: 45571 ... c Min unsat cost LB: 45572 ... c Min unsat cost LB: 45573 ... c Min unsat cost LB: 45574 ... c Min unsat cost LB: 45575 ... c Min unsat cost LB: 45578 ... c Min unsat cost LB: 45579 ... c Min unsat cost LB: 45580 ... c Min unsat cost LB: 45581 ... c Min unsat cost LB: 45582 ... c Min unsat cost LB: 45583 ... c Min unsat cost LB: 45584 ... c Min unsat cost LB: 45585 ... c Min unsat cost LB: 45586 ... c Min unsat cost LB: 45587 ... c Min unsat cost LB: 45588 ... c Min unsat cost LB: 45589 ... c Min unsat cost LB: 45590 ... c Min unsat cost LB: 45591 ... c Min unsat cost LB: 45592 ... c Min unsat cost LB: 45593 ... c Min unsat cost LB: 45594 ... c Min unsat cost LB: 45595 ... c Min unsat cost LB: 45596 ... c Min unsat cost LB: 45597 ... c Min unsat cost LB: 45598 ... c Min unsat cost LB: 45599 ... c Min unsat cost LB: 45600 ... c Min unsat cost LB: 45601 ... c Min unsat cost LB: 45602 ... c Min unsat cost LB: 45603 ... c Min unsat cost LB: 45604 ... c Min unsat cost LB: 45605 ... c Min unsat cost LB: 45606 ... c Min unsat cost LB: 45607 ... c Min unsat cost LB: 45608 ... c Min unsat cost LB: 45609 ... c Min unsat cost LB: 45610 ... c Min unsat cost LB: 45611 ... c Min unsat cost LB: 45612 ... c Min unsat cost LB: 45613 ... c Min unsat cost LB: 45614 ... c Min unsat cost LB: 45615 ... c Min unsat cost LB: 45616 ... c Min unsat cost LB: 45620 ... c Min unsat cost LB: 45622 ... c Min unsat cost LB: 45624 ... c Min unsat cost LB: 45625 ... c Min unsat cost LB: 45626 ... c Min unsat cost LB: 45627 ... c Min unsat cost LB: 45628 ... c Min unsat cost LB: 45629 ... c Min unsat cost LB: 45630 ... c Min unsat cost LB: 45632 ... c Min unsat cost LB: 45633 ... c Min unsat cost LB: 45634 ... c Min unsat cost LB: 45635 ... c Min unsat cost LB: 45636 ... c Min unsat cost LB: 45637 ... c Min unsat cost LB: 45638 ... c Min unsat cost LB: 45639 ... c Min unsat cost LB: 45640 ... c Min unsat cost LB: 45641 ... c Min unsat cost LB: 45642 ... c Min unsat cost LB: 45643 ... c Min unsat cost LB: 45644 ... c Min unsat cost LB: 45645 ... c Min unsat cost LB: 45646 ... c Min unsat cost LB: 45647 ... c Min unsat cost LB: 45648 ... c Min unsat cost LB: 45649 ... c Min unsat cost LB: 45650 ... c Min unsat cost LB: 45651 ... c Min unsat cost LB: 45652 ... c Min unsat cost LB: 45655 ... c Min unsat cost LB: 45656 ... c Min unsat cost LB: 45662 ... c Min unsat cost LB: 45664 ... c Min unsat cost LB: 45665 ... c Min unsat cost LB: 45666 ... c Min unsat cost LB: 45667 ... c Min unsat cost LB: 45668 ... c Min unsat cost LB: 45669 ... c Min unsat cost LB: 45670 ... c Min unsat cost LB: 45671 ... c Min unsat cost LB: 45672 ... c Min unsat cost LB: 45673 ... c Min unsat cost LB: 45674 ... c Min unsat cost LB: 45676 ... c Min unsat cost LB: 45682 ... c Min unsat cost LB: 45683 ... c Min unsat cost LB: 45685 ... c Min unsat cost LB: 45686 ... c Min unsat cost LB: 45687 ... c Min unsat cost LB: 45688 ... c Min unsat cost LB: 45689 ... c Min unsat cost LB: 45690 ... c Min unsat cost LB: 45691 ... c Min unsat cost LB: 45692 ... c Min unsat cost LB: 45693 ... c Min unsat cost LB: 45694 ... c Min unsat cost LB: 45695 ... c Min unsat cost LB: 45696 ... c Min unsat cost LB: 45697 ... c Min unsat cost LB: 45698 ... c Min unsat cost LB: 45699 ... c Min unsat cost LB: 45700 ... c Min unsat cost LB: 45701 ... c Min unsat cost LB: 45702 ... c Min unsat cost LB: 45703 ... c Min unsat cost LB: 45704 ... c Min unsat cost LB: 45705 ... c Min unsat cost LB: 45706 ... c Min unsat cost LB: 45707 ... c Min unsat cost LB: 45708 ... c Min unsat cost LB: 45709 ... c Min unsat cost LB: 45710 ... c Min unsat cost LB: 45711 ... c Min unsat cost LB: 45712 ... c Min unsat cost LB: 45713 ... c Min unsat cost LB: 45714 ... c Min unsat cost LB: 45715 ... c Min unsat cost LB: 45716 ... c Min unsat cost LB: 45717 ... c Min unsat cost LB: 45718 ... c Min unsat cost LB: 45719 ... c Min unsat cost LB: 45720 ... c Min unsat cost LB: 45721 ... c Min unsat cost LB: 45722 ... c Min unsat cost LB: 45723 ... c Min unsat cost LB: 45724 ... c Min unsat cost LB: 45725 ... c Min unsat cost LB: 45726 ... c Min unsat cost LB: 45727 ... c Min unsat cost LB: 45728 ... c Min unsat cost LB: 45729 ... c Min unsat cost LB: 45730 ... c Min unsat cost LB: 45731 ... c Min unsat cost LB: 45732 ... c Min unsat cost LB: 45733 ... c Min unsat cost LB: 45734 ... c Min unsat cost LB: 45735 ... c Min unsat cost LB: 45736 ... c Min unsat cost LB: 45737 ... c Min unsat cost LB: 45738 ... c Min unsat cost LB: 45740 ... c Min unsat cost LB: 45741 ... c Min unsat cost LB: 45742 ... c Min unsat cost LB: 45743 ... c Min unsat cost LB: 45744 ... c Min unsat cost LB: 45745 ... c Min unsat cost LB: 45746 ... c Min unsat cost LB: 45747 ... c Min unsat cost LB: 45748 ... c Min unsat cost LB: 45749 ... c Min unsat cost LB: 45750 ... c Min unsat cost LB: 45751 ... c Min unsat cost LB: 45752 ... c Min unsat cost LB: 45753 ... c Min unsat cost LB: 45754 ... c Min unsat cost LB: 45755 ... c Min unsat cost LB: 45756 ... c Min unsat cost LB: 45757 ... c Min unsat cost LB: 45758 ... c Min unsat cost LB: 45759 ... c Min unsat cost LB: 45760 ... c Min unsat cost LB: 45761 ... c Min unsat cost LB: 45762 ... c Min unsat cost LB: 45763 ... c Min unsat cost LB: 45764 ... c Min unsat cost LB: 45765 ... c Min unsat cost LB: 45766 ... c Min unsat cost LB: 45767 ... c Min unsat cost LB: 45768 ... c Min unsat cost LB: 45769 ... c Min unsat cost LB: 45770 ... c Min unsat cost LB: 45771 ... c Min unsat cost LB: 45772 ... c Min unsat cost LB: 45773 ... c Min unsat cost LB: 45774 ... c Min unsat cost LB: 45775 ... c Min unsat cost LB: 45776 ... c Min unsat cost LB: 45777 ... c Min unsat cost LB: 45778 ... c Min unsat cost LB: 45779 ... c Min unsat cost LB: 45780 ... c Min unsat cost LB: 45781 ... c Min unsat cost LB: 45782 ... c Min unsat cost LB: 45783 ... c Min unsat cost LB: 45784 ... c Min unsat cost LB: 45785 ... c Min unsat cost LB: 45786 ... c Min unsat cost LB: 45787 ... c Min unsat cost LB: 45788 ... c Min unsat cost LB: 45789 ... c Min unsat cost LB: 45790 ... c Min unsat cost LB: 45791 ... c Min unsat cost LB: 45792 ... c Min unsat cost LB: 45793 ... c Min unsat cost LB: 45794 ... c Min unsat cost LB: 45801 ... c Min unsat cost LB: 45802 ... c Min unsat cost LB: 45803 ... c Min unsat cost LB: 45804 ... c Min unsat cost LB: 45805 ... c Min unsat cost LB: 45806 ... c Min unsat cost LB: 45807 ... c Min unsat cost LB: 45808 ... c Min unsat cost LB: 45809 ... c Min unsat cost LB: 45810 ... c Min unsat cost LB: 45811 ... c Min unsat cost LB: 45812 ... c Min unsat cost LB: 45813 ... c Min unsat cost LB: 45814 ... c Min unsat cost LB: 45815 ... c Min unsat cost LB: 45816 ... c Min unsat cost LB: 45817 ... c Min unsat cost LB: 45818 ... c Min unsat cost LB: 45819 ... c Min unsat cost LB: 45820 ... c Min unsat cost LB: 45821 ... c Min unsat cost LB: 45822 ... c Min unsat cost LB: 45823 ... c Min unsat cost LB: 45824 ... c Min unsat cost LB: 45825 ... c Min unsat cost LB: 45826 ... c Min unsat cost LB: 45827 ... c Min unsat cost LB: 45828 ... c Min unsat cost LB: 45829 ... c Min unsat cost LB: 45830 ... c Min unsat cost LB: 45831 ... c Min unsat cost LB: 45832 ... c Min unsat cost LB: 45833 ... c Min unsat cost LB: 45834 ... c Min unsat cost LB: 45835 ... c Min unsat cost LB: 45836 ... c Min unsat cost LB: 45837 ... c Min unsat cost LB: 45838 ... c Min unsat cost LB: 45839 ... c Min unsat cost LB: 45840 ... c Min unsat cost LB: 45841 ... c Min unsat cost LB: 45842 ... c Min unsat cost LB: 45843 ... c Min unsat cost LB: 45844 ... c Min unsat cost LB: 45845 ... c Min unsat cost LB: 45846 ... c Min unsat cost LB: 45847 ... c Min unsat cost LB: 45848 ... c Min unsat cost LB: 45849 ... c Min unsat cost LB: 45850 ... c Min unsat cost LB: 45851 ... c Min unsat cost LB: 45852 ... c Min unsat cost LB: 45853 ... c Min unsat cost LB: 45854 ... c Min unsat cost LB: 45855 ... c Min unsat cost LB: 45856 ... c Min unsat cost Killed 1815.748u 3.993s 30:23.75 99.7% 0+0k 0+0io 0pf+0w