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_150_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_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_150_0001.txt.wcnf *** c c Min unsat cost LB: 546 ... c Min unsat cost LB: 1092 ... c Min unsat cost LB: 1298 ... c Min unsat cost LB: 1638 ... c Min unsat cost LB: 1844 ... c Min unsat cost LB: 2191 ... c Min unsat cost LB: 3043 ... c Min unsat cost LB: 3680 ... c Min unsat cost LB: 3927 ... c Min unsat cost LB: 4017 ... c Min unsat cost LB: 4422 ... c Min unsat cost LB: 4896 ... c Min unsat cost LB: 5425 ... c Min unsat cost LB: 6030 ... c Min unsat cost LB: 6449 ... c Min unsat cost LB: 6696 ... c Min unsat cost LB: 7201 ... c Min unsat cost LB: 7423 ... c Min unsat cost LB: 7520 ... c Min unsat cost LB: 7545 ... c Min unsat cost LB: 8059 ... c Min unsat cost LB: 8321 ... c Min unsat cost LB: 8521 ... c Min unsat cost LB: 8826 ... c Min unsat cost LB: 9504 ... c Min unsat cost LB: 10009 ... c Min unsat cost LB: 10211 ... c Min unsat cost LB: 10725 ... c Min unsat cost LB: 11053 ... c Min unsat cost LB: 11567 ... c Min unsat cost LB: 12197 ... c Min unsat cost LB: 12352 ... c Min unsat cost LB: 12438 ... c Min unsat cost LB: 12942 ... c Min unsat cost LB: 13132 ... c Min unsat cost LB: 13646 ... c Min unsat cost LB: 13788 ... c Min unsat cost LB: 14089 ... c Min unsat cost LB: 14409 ... c Min unsat cost LB: 14560 ... c Min unsat cost LB: 15626 ... c Min unsat cost LB: 15659 ... c Min unsat cost LB: 16406 ... c Min unsat cost LB: 16644 ... c Min unsat cost LB: 16659 ... c Min unsat cost LB: 17431 ... c Min unsat cost LB: 17787 ... c Min unsat cost LB: 18493 ... c Min unsat cost LB: 18847 ... c Min unsat cost LB: 18936 ... c Min unsat cost LB: 19031 ... c Min unsat cost LB: 19233 ... c Min unsat cost LB: 19962 ... c Min unsat cost LB: 20687 ... c Min unsat cost LB: 20965 ... c Min unsat cost LB: 21259 ... c Min unsat cost LB: 21611 ... c Min unsat cost LB: 21677 ... c Min unsat cost LB: 21703 ... c Min unsat cost LB: 22428 ... c Min unsat cost LB: 23200 ... c Min unsat cost LB: 23955 ... c Min unsat cost LB: 24050 ... c Min unsat cost LB: 24907 ... c Min unsat cost LB: 25436 ... c Min unsat cost LB: 25452 ... c Min unsat cost LB: 26302 ... c Min unsat cost LB: 26441 ... c Min unsat cost LB: 26920 ... c Min unsat cost LB: 27498 ... c Min unsat cost LB: 28168 ... c Min unsat cost LB: 28342 ... c Min unsat cost LB: 28931 ... c Min unsat cost LB: 29065 ... c Min unsat cost LB: 29344 ... c Min unsat cost LB: 29440 ... c Min unsat cost LB: 30506 ... c Min unsat cost LB: 30681 ... c Min unsat cost LB: 30841 ... c Min unsat cost LB: 31230 ... c Min unsat cost LB: 31269 ... c Min unsat cost LB: 31397 ... c Min unsat cost LB: 31576 ... c Min unsat cost LB: 32285 ... c Min unsat cost LB: 32323 ... c Min unsat cost LB: 32489 ... c Min unsat cost LB: 32623 ... c Min unsat cost LB: 32768 ... c Min unsat cost LB: 33252 ... c Min unsat cost LB: 33531 ... c Min unsat cost LB: 34097 ... c Min unsat cost LB: 34545 ... c Min unsat cost LB: 34808 ... c Min unsat cost LB: 35641 ... c Min unsat cost LB: 36234 ... c Min unsat cost LB: 36997 ... c Min unsat cost LB: 37813 ... c Min unsat cost LB: 37987 ... c Min unsat cost LB: 38249 ... c Min unsat cost LB: 38255 ... c Min unsat cost LB: 38980 ... c Min unsat cost LB: 39573 ... c Min unsat cost LB: 40228 ... c Min unsat cost LB: 40728 ... c Min unsat cost LB: 40944 ... c Min unsat cost LB: 40992 ... c Min unsat cost LB: 41726 ... c Min unsat cost LB: 42379 ... c Min unsat cost LB: 43142 ... c Min unsat cost LB: 43148 ... c Min unsat cost LB: 44221 ... c Min unsat cost LB: 44625 ... c Min unsat cost LB: 44651 ... c Min unsat cost LB: 44888 ... c Min unsat cost LB: 45159 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 45856 ... c Min unsat cost LB: 46188 ... c Min unsat cost LB: 46734 ... c Min unsat cost LB: 46791 ... c Min unsat cost LB: 46909 ... c Min unsat cost LB: 46935 ... c Min unsat cost LB: 47025 ... c Min unsat cost LB: 47372 ... c Min unsat cost LB: 47759 ... c Min unsat cost LB: 47984 ... c Min unsat cost LB: 48231 ... c Min unsat cost LB: 48271 ... c Min unsat cost LB: 49345 ... c Min unsat cost LB: 50079 ... c Min unsat cost LB: 50921 ... c Min unsat cost LB: 51465 ... c Min unsat cost LB: 51639 ... c Min unsat cost LB: 52130 ... c Min unsat cost LB: 52134 ... c Min unsat cost LB: 52991 ... c Min unsat cost LB: 53275 ... c Min unsat cost LB: 53493 ... c Min unsat cost LB: 53518 ... c Min unsat cost LB: 53524 ... c Min unsat cost LB: 53680 ... c Min unsat cost LB: 53882 ... c Min unsat cost LB: 54049 ... c Min unsat cost LB: 54096 ... c Min unsat cost LB: 54191 ... c Min unsat cost LB: 54254 ... c Min unsat cost LB: 54428 ... c Min unsat cost LB: 54662 ... c Min unsat cost LB: 54733 ... c Min unsat cost LB: 54774 ... c Min unsat cost LB: 55158 ... c Min unsat cost LB: 55434 ... c Min unsat cost LB: 55643 ... c Min unsat cost LB: 55692 ... c Min unsat cost LB: 55778 ... c Min unsat cost LB: 55784 ... c Min unsat cost LB: 55871 ... c Min unsat cost LB: 55879 ... c Min unsat cost LB: 55968 ... c Min unsat cost LB: 55984 ... c Min unsat cost LB: 56009 ... c Min unsat cost LB: 56132 ... c Min unsat cost LB: 56403 ... c Min unsat cost LB: 56562 ... c Min unsat cost LB: 56634 ... c Min unsat cost LB: 56657 ... c Min unsat cost LB: 56663 ... c Min unsat cost LB: 56688 ... c Min unsat cost LB: 56806 ... c Min unsat cost LB: 56860 ... c Min unsat cost LB: 57180 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57228 ... c Min unsat cost LB: 57323 ... c Min unsat cost LB: 57474 ... c Min unsat cost LB: 57663 ... c Min unsat cost LB: 57681 ... c Min unsat cost LB: 57701 ... c Min unsat cost LB: 57736 ... c Min unsat cost LB: 57832 ... c Min unsat cost LB: 57878 ... c Min unsat cost LB: 57892 ... c Min unsat cost LB: 57951 ... c Min unsat cost LB: 58065 ... c Min unsat cost LB: 58071 ... c Min unsat cost LB: 58138 ... c Min unsat cost LB: 58144 ... c Min unsat cost LB: 58205 ... c Min unsat cost LB: 58216 ... c Min unsat cost LB: 58324 ... c Min unsat cost LB: 58345 ... c Min unsat cost LB: 58349 ... c Min unsat cost LB: 58361 ... c Min unsat cost LB: 58366 ... c Min unsat cost LB: 58387 ... c Min unsat cost LB: 58415 ... c Min unsat cost LB: 58538 ... c Min unsat cost LB: 58600 ... c Min unsat cost LB: 58656 ... c Min unsat cost LB: 58734 ... c Min unsat cost LB: 58753 ... c Min unsat cost LB: 58953 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59232 ... c Min unsat cost LB: 59328 ... c Min unsat cost LB: 59460 ... c Min unsat cost LB: 59621 ... c Min unsat cost LB: 59647 ... c Min unsat cost LB: 59673 ... c Min unsat cost LB: 59728 ... c Min unsat cost LB: 59768 ... c Min unsat cost LB: 59785 ... c Min unsat cost LB: 59847 ... c Min unsat cost LB: 59903 ... c Min unsat cost LB: 59929 ... c Min unsat cost LB: 59967 ... c Min unsat cost LB: 60029 ... c Min unsat cost LB: 60150 ... c Min unsat cost LB: 60309 ... c Min unsat cost LB: 60342 ... c Min unsat cost LB: 60349 ... c Min unsat cost LB: 60364 ... c Min unsat cost LB: 60404 ... c Min unsat cost LB: 60625 ... c Min unsat cost LB: 60783 ... c Min unsat cost LB: 60827 ... c Min unsat cost LB: 60975 ... c Min unsat cost LB: 60981 ... c Min unsat cost LB: 60982 ... c Min unsat cost LB: 60988 ... c Min unsat cost LB: 61078 ... c Min unsat cost LB: 61092 ... c Min unsat cost LB: 61093 ... c Min unsat cost LB: 61158 ... c Min unsat cost LB: 61175 ... c Min unsat cost LB: 61228 ... c Min unsat cost LB: 61314 ... c Min unsat cost LB: 61360 ... c Min unsat cost LB: 61378 ... c Min unsat cost LB: 61483 ... c Min unsat cost LB: 61522 ... c Min unsat cost LB: 61581 ... c Min unsat cost LB: 62033 ... c Min unsat cost LB: 62048 ... c Min unsat cost LB: 62055 ... c Min unsat cost LB: 62086 ... c Min unsat cost LB: 62231 ... c Min unsat cost LB: 62246 ... c Min unsat cost LB: 62257 ... c Min unsat cost LB: 62451 ... c Min unsat cost LB: 62569 ... c Min unsat cost LB: 62574 ... c Min unsat cost LB: 62768 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 62897 ... c Min unsat cost LB: 62902 ... c Min unsat cost LB: 62985 ... c Min unsat cost LB: 63075 ... c Min unsat cost LB: 63508 ... c Min unsat cost LB: 63720 ... c Min unsat cost LB: 63733 ... c Min unsat cost LB: 63855 ... c Min unsat cost LB: 63906 ... c Min unsat cost LB: 63933 ... c Min unsat cost LB: 63935 ... c Min unsat cost LB: 63969 ... c Min unsat cost LB: 64022 ... c Min unsat cost LB: 64079 ... c Min unsat cost LB: 64087 ... c Min unsat cost LB: 64098 ... c Min unsat cost LB: 64125 ... c Min unsat cost LB: 64220 ... c Min unsat cost LB: 64240 ... c Min unsat cost LB: 64329 ... c Min unsat cost LB: 64416 ... c Min unsat cost LB: 64496 ... c Min unsat cost LB: 64575 ... c Min unsat cost LB: 64604 ... c Min unsat cost LB: 64657 ... c Min unsat cost LB: 64675 ... c Min unsat cost LB: 64716 ... c Min unsat cost LB: 64755 ... c Min unsat cost LB: 64794 ... c Min unsat cost LB: 64802 ... c Min unsat cost LB: 64822 ... c Min unsat cost LB: 64828 ... c Min unsat cost LB: 64833 ... c Min unsat cost LB: 64877 ... c Min unsat cost LB: 64878 ... c Min unsat cost LB: 64881 ... c Min unsat cost LB: 64884 ... c Min unsat cost LB: 64927 ... c Min unsat cost LB: 64933 ... c Min unsat cost LB: 64983 ... c Min unsat cost LB: 64995 ... c Min unsat cost LB: 65013 ... c Min unsat cost LB: 65053 ... c Min unsat cost LB: 65059 ... c Min unsat cost LB: 65067 ... c Min unsat cost LB: 65073 ... c Min unsat cost LB: 65077 ... c Min unsat cost LB: 65078 ... c Min unsat cost LB: 65112 ... c Min unsat cost LB: 65127 ... c Min unsat cost LB: 65158 ... c Min unsat cost LB: 65165 ... c Min unsat cost LB: 65179 ... c Min unsat cost LB: 65201 ... c Min unsat cost LB: 65204 ... c Min unsat cost LB: 65205 ... c Min unsat cost LB: 65339 ... c Min unsat cost LB: 65340 ... c Min unsat cost LB: 65341 ... c Min unsat cost LB: 65343 ... c Min unsat cost LB: 65347 ... c Min unsat cost LB: 65351 ... c Min unsat cost LB: 65354 ... c Min unsat cost LB: 65356 ... c Min unsat cost LB: 65451 ... c Min unsat cost LB: 65453 ... c Min unsat cost LB: 65455 ... c Min unsat cost LB: 65458 ... c Min unsat cost LB: 65464 ... c Min unsat cost LB: 65477 ... c Min unsat cost LB: 65482 ... c Min unsat cost LB: 65491 ... c Min unsat cost LB: 65493 ... c Min unsat cost LB: 65501 ... c Min unsat cost LB: 65502 ... c Min unsat cost LB: 65507 ... c Min unsat cost LB: 65508 ... c Min unsat cost LB: 65509 ... c Min unsat cost LB: 65511 ... c Min unsat cost LB: 65515 ... c Min unsat cost LB: 65520 ... c Min unsat cost LB: 65521 ... c Min unsat cost LB: 65523 ... c Min unsat cost LB: 65531 ... c Min unsat cost LB: 65550 ... c Min unsat cost LB: 65551 ... c Min unsat cost LB: 65552 ... c Min unsat cost LB: 65553 ... c Min unsat cost LB: 65554 ... c Min unsat cost LB: 65555 ... c Min unsat cost LB: 65557 ... c Min unsat cost LB: 65570 ... c Min unsat cost LB: 65571 ... c Min unsat cost LB: 65577 ... c Min unsat cost LB: 65586 ... c Min unsat cost LB: 65588 ... c Min unsat cost LB: 65589 ... c Min unsat cost LB: 65590 ... c Min unsat cost LB: 65594 ... c Min unsat cost LB: 65595 ... c Min unsat cost LB: 65597 ... c Min unsat cost LB: 65598 ... c Min unsat cost LB: 65599 ... c Min unsat cost LB: 65600 ... c Min unsat cost LB: 65601 ... c Min unsat cost LB: 65602 ... c Min unsat cost LB: 65604 ... c Min unsat cost LB: 65607 ... c Min unsat cost LB: 65608 ... c Min unsat cost LB: 65611 ... c Min unsat cost LB: 65613 ... c Min unsat cost LB: 65614 ... c Min unsat cost LB: 65615 ... c Min unsat cost LB: 65620 ... c Min unsat cost LB: 65622 ... c Min unsat cost LB: 65623 ... c Min unsat cost LB: 65625 ... c Min unsat cost LB: 65626 ... c Min unsat cost LB: 65627 ... c Min unsat cost LB: 65675 ... c Min unsat cost LB: 65679 ... c Min unsat cost LB: 65681 ... c Min unsat cost LB: 65682 ... c Min unsat cost LB: 65683 ... c Min unsat cost LB: 65697 ... c Min unsat cost LB: 65718 ... c Min unsat cost LB: 65719 ... c Min unsat cost LB: 65722 ... c Min unsat cost LB: 65732 ... c Min unsat cost LB: 65743 ... c Min unsat cost LB: 65744 ... c Min unsat cost LB: 65745 ... c Min unsat cost LB: 65746 ... c Min unsat cost LB: 65748 ... c Min unsat cost LB: 65751 ... c Min unsat cost LB: 65753 ... c Min unsat cost LB: 65754 ... c Min unsat cost LB: 65758 ... c Min unsat cost LB: 65790 ... c Min unsat cost LB: 65792 ... c Min unsat cost LB: 65793 ... c Min unsat cost LB: 65799 ... c Min unsat cost LB: 65812 ... c Min unsat cost LB: 65814 ... c Min unsat cost LB: 65818 ... c Min unsat cost LB: 65819 ... c Min unsat cost LB: 65820 ... c Min unsat cost LB: 65821 ... c Min unsat cost LB: 65822 ... c Min unsat cost LB: 65836 ... c Min unsat cost LB: 65837 ... c Min unsat cost LB: 65838 ... c Min unsat cost LB: 65856 ... c Min unsat cost LB: 65861 ... c Min unsat cost LB: 65876 ... c Min unsat cost LB: 65917 ... c Min unsat cost LB: 65938 ... c Min unsat cost LB: 65946 ... c Min unsat cost LB: 65954 ... c Min unsat cost LB: 65999 ... c Min unsat cost LB: 66004 ... c Min unsat cost LB: 66010 ... c Min unsat cost LB: 66011 ... c Min unsat cost LB: 66017 ... c Min unsat cost LB: 66022 ... c Min unsat cost LB: 66046 ... c Min unsat cost LB: 66047 ... c Min unsat cost LB: 66062 ... c Min unsat cost LB: 66065 ... c Min unsat cost LB: 66066 ... c Min unsat cost LB: 66072 ... c Min unsat cost LB: 66081 ... c Min unsat cost LB: 66087 ... c Min unsat cost LB: 66092 ... c Min unsat cost LB: 66095 ... c Min unsat cost LB: 66097 ... c Min unsat cost LB: 66101 ... c Min unsat cost LB: 66104 ... c Min unsat cost LB: 66121 ... c Min unsat cost LB: 66123 ... c Min unsat cost LB: 66126 ... c Min unsat cost LB: 66130 ... c Min unsat cost LB: 66152 ... c Min unsat cost LB: 66164 ... c Min unsat cost LB: 66176 ... c Min unsat cost LB: 66177 ... c Min unsat cost LB: 66178 ... c Min unsat cost LB: 66181 ... c Min unsat cost LB: 66189 ... c Min unsat cost LB: 66200 ... c Min unsat cost LB: 66205 ... c Min unsat cost LB: 66207 ... c Min unsat cost LB: 66217 ... c Min unsat cost LB: 66232 ... c Min unsat cost LB: 66236 ... c Min unsat cost LB: 66237 ... c Min unsat cost LB: 66240 ... c Min unsat cost LB: 66245 ... c Min unsat cost LB: 66246 ... c Min unsat cost LB: 66249 ... c Min unsat cost LB: 66251 ... c Min unsat cost LB: 66252 ... c Min unsat cost LB: 66261 ... c Min unsat cost LB: 66262 ... c Min unsat cost LB: 66263 ... c Min unsat cost LB: 66264 ... c Min unsat cost LB: 66269 ... c Min unsat cost LB: 66272 ... c Min unsat cost LB: 66274 ... c Min unsat cost LB: 66275 ... c Min unsat cost LB: 66282 ... c Min unsat cost LB: 66665 ... c Min unsat cost LB: 66668 ... c Min unsat cost LB: 66669 ... c Min unsat cost LB: 66674 ... c Min unsat cost LB: 66676 ... c Min unsat cost LB: 66678 ... c Min unsat cost LB: 66681 ... c Min unsat cost LB: 66706 ... c Min unsat cost LB: 66714 ... c Min unsat cost LB: 66715 ... c Min unsat cost LB: 66716 ... c Min unsat cost LB: 66720 ... c Min unsat cost LB: 66721 ... c Min unsat cost LB: 66722 ... c Min unsat cost LB: 66723 ... c Min unsat cost LB: 66724 ... c Min unsat cost LB: 66725 ... c Min unsat cost LB: 66733 ... c Min unsat cost LB: 66739 ... c Min unsat cost LB: 66741 ... c Min unsat cost LB: 66742 ... c Min unsat cost LB: 66745 ... c Min unsat cost LB: 66746 ... c Min unsat cost LB: 66816 ... c Min unsat cost LB: 66824 ... c Min unsat cost LB: 66825 ... c Min unsat cost LB: 66838 ... c Min unsat cost LB: 66839 ... c Min unsat cost LB: 66868 ... c Min unsat cost LB: 66870 ... c Min unsat cost LB: 66877 ... c Min unsat cost LB: 66897 ... c Min unsat cost LB: 66898 ... c Min unsat cost LB: 66900 ... c Min unsat cost LB: 66903 ... c Min unsat cost LB: 66923 ... c Min unsat cost LB: 66926 ... c Min unsat cost LB: 66927 ... c Min unsat cost LB: 66928 ... c Min unsat cost LB: 66950 ... c Min unsat cost LB: 66953 ... c Min unsat cost LB: 66955 ... c Min unsat cost LB: 66956 ... c Min unsat cost LB: 66961 ... c Min unsat cost LB: 66981 ... c Min unsat cost LB: 66987 ... c Min unsat cost LB: 66993 ... c Min unsat cost LB: 66995 ... c Min unsat cost LB: 66999 ... c Min unsat cost LB: 67000 ... c Min unsat cost LB: 67001 ... c Min unsat cost LB: 67002 ... c Min unsat cost LB: 67004 ... c Min unsat cost LB: 67005 ... c Min unsat cost LB: 67006 ... c Min unsat cost LB: 67007 ... c Min unsat cost LB: 67010 ... c Min unsat cost LB: 67011 ... c Min unsat cost LB: 67034 ... c Min unsat cost LB: 67035 ... c Min unsat cost LB: 67036 ... c Min unsat cost LB: 67039 ... c Min unsat cost LB: 67049 ... c Min unsat cost LB: 67059 ... c Min unsat cost LB: 67062 ... c Min unsat cost LB: 67069 ... c Min unsat cost LB: 67073 ... c Min unsat cost LB: 67074 ... c Min unsat cost LB: 67076 ... c Min unsat cost LB: 67077 ... c Min unsat cost LB: 67079 ... c Min unsat cost LB: 67080 ... c Min unsat cost LB: 67083 ... c Min unsat cost LB: 67084 ... c Min unsat cost LB: 67085 ... c Min unsat cost LB: 67095 ... c Min unsat cost LB: 67098 ... c Min unsat cost LB: 67099 ... c Min unsat cost LB: 67100 ... c Min unsat cost LB: 67102 ... c Min unsat cost LB: 67107 ... c Min unsat cost LB: 67108 ... c Min unsat cost LB: 67109 ... c Min unsat cost LB: 67134 ... c Min unsat cost LB: 67135 ... c Min unsat cost LB: 67137 ... c Min unsat cost LB: 67140 ... c Min unsat cost LB: 67144 ... c Min unsat cost LB: 67151 ... c Min unsat cost LB: 67154 ... c Min unsat cost LB: 67160 ... c Min unsat cost LB: 67166 ... c Min unsat cost LB: 67171 ... c Min unsat cost LB: 67173 ... c Min unsat cost LB: 67176 ... c Min unsat cost LB: 67178 ... c Min unsat cost LB: 67182 ... c Min unsat cost LB: 67183 ... c Min unsat cost LB: 67187 ... c Min unsat cost LB: 67189 ... c Min unsat cost LB: 67191 ... c Min unsat cost LB: 67195 ... c Min unsat cost LB: 67204 ... c Min unsat cost LB: 67208 ... c Min unsat cost LB: 67210 ... c Min unsat cost LB: 67212 ... c Min unsat cost LB: 67225 ... c Min unsat cost LB: 67256 ... c Min unsat cost LB: 67260 ... c Min unsat cost LB: 67286 ... c Min unsat cost LB: 67289 ... c Min unsat cost LB: 67294 ... c Min unsat cost LB: 67297 ... c Min unsat cost LB: 67300 ... c Min unsat cost LB: 67301 ... c Min unsat cost LB: 67303 ... c Min unsat cost LB: 67304 ... c Min unsat cost LB: 67306 ... c Min unsat cost LB: 67311 ... c Min unsat cost LB: 67315 ... c Min unsat cost LB: 67367 ... c Min unsat cost LB: 67368 ... c Min unsat cost LB: 67370 ... c Min unsat cost LB: 67371 ... c Min unsat cost LB: 67372 ... c Min unsat cost LB: 67373 ... c Min unsat cost LB: 67374 ... c Min unsat cost LB: 67375 ... c Min unsat cost LB: 67376 ... c Min unsat cost LB: 67381 ... c Min unsat cost LB: 67382 ... c Min unsat cost LB: 67383 ... c Min unsat cost LB: 67390 ... c Min unsat cost LB: 67391 ... c Min unsat cost LB: 67404 ... c Min unsat cost LB: 67406 ... c Min unsat cost LB: 67407 ... c Min unsat cost LB: 67408 ... c Min unsat cost LB: 67410 ... c Min unsat cost LB: 67411 ... c Min unsat cost LB: 67412 ... c Min unsat cost LB: 67420 ... c Min unsat cost LB: 67421 ... c Min unsat cost LB: 67577 ... c Min unsat cost LB: 67583 ... c Min unsat cost LB: 67603 ... c Min unsat cost LB: 67610 ... c Min unsat cost LB: 67611 ... c Min unsat cost LB: 67614 ... c Min unsat cost LB: 67616 ... c Min unsat cost LB: 67617 ... c Min unsat cost LB: 67620 ... c Min unsat cost LB: 67622 ... c Min unsat cost LB: 67631 ... c Min unsat cost LB: 67633 ... c Min unsat cost LB: 67634 ... c Min unsat cost LB: 67639 ... c Min unsat cost LB: 67645 ... c Min unsat cost LB: 67666 ... c Min unsat cost LB: 67676 ... c Min unsat cost LB: 67679 ... c Min unsat cost LB: 67693 ... c Min unsat cost LB: 67696 ... c Min unsat cost LB: 67697 ... c Min unsat cost LB: 67698 ... c Min unsat cost LB: 67699 ... c Min unsat cost LB: 67700 ... c Min unsat cost LB: 67701 ... c Min unsat cost LB: 67702 ... c Min unsat cost LB: 67703 ... c Min unsat cost LB: 67710 ... c Min unsat cost LB: 67711 ... c Min unsat cost LB: 67712 ... c Min unsat cost LB: 67713 ... c Min unsat cost LB: 67715 ... c Min unsat cost LB: 67721 ... c Min unsat cost LB: 67722 ... c Min unsat cost LB: 67723 ... c Min unsat cost LB: 67741 ... c Min unsat cost LB: 67742 ... c Min unsat cost LB: 67743 ... c Min unsat cost LB: 67744 ... c Min unsat cost LB: 67745 ... c Min unsat cost LB: 67746 ... c Min unsat cost LB: 67747 ... c Min unsat cost LB: 67748 ... c Min unsat cost LB: 67750 ... c Min unsat cost LB: 67751 ... c Min unsat cost LB: 67752 ... c Min unsat cost LB: 67753 ... c Min unsat cost LB: 67754 ... c Min unsat cost LB: 67756 ... c Min unsat cost LB: 67757 ... c Min unsat cost LB: 67758 ... c Min unsat cost LB: 67772 ... c Min unsat cost LB: 67773 ... c Min unsat cost LB: 67774 ... c Min unsat cost LB: 67775 ... c Min unsat cost LB: 67776 ... c Min unsat cost LB: 67777 ... c Min unsat cost LB: 67778 ... c Min unsat cost LB: 67779 ... c Min unsat cost LB: 67780 ... c Min unsat cost LB: 67781 ... c Min unsat cost LB: 67782 ... c Min unsat cost LB: 67786 ... c Min unsat cost LB: 67787 ... c Min unsat cost LB: 67795 ... c Min unsat cost LB: 67797 ... c Min unsat cost LB: 67810 ... c Min unsat cost LB: 67812 ... c Min unsat cost LB: 67813 ... c Min unsat cost LB: 67814 ... c Min unsat cost LB: 67815 ... c Min unsat cost LB: 67816 ... c Min unsat cost LB: 67818 ... c Min unsat cost LB: 67819 ... c Min unsat cost LB: 67820 ... c Min unsat cost LB: 67822 ... c Min unsat cost LB: 67827 ... c Min unsat cost LB: 67828 ... c Min unsat cost LB: 67829 ... c Min unsat cost LB: 67830 ... c Min unsat cost LB: 67831 ... c Min unsat cost LB: 67851 ... c Min unsat cost LB: 67857 ... c Min unsat cost LB: 67859 ... c Min unsat cost LB: 67876 ... c Min unsat cost LB: 67886 ... c Min unsat cost LB: 67887 ... c Min unsat cost LB: 67890 ... c Min unsat cost LB: 67895 ... c Min unsat cost LB: 67901 ... c Min unsat cost LB: 67906 ... c Min unsat cost LB: 67909 ... c Min unsat cost LB: 67910 ... c Min unsat cost LB: 67925 ... c Min unsat cost LB: 67932 ... c Min unsat cost LB: 67933 ... c Min unsat cost LB: 67934 ... c Min unsat cost LB: 67935 ... c Min unsat cost LB: 67936 ... c Min unsat cost LB: 67937 ... c Min unsat cost LB: 67938 ... c Min unsat cost LB: 67939 ... c Min unsat cost LB: 67941 ... c Min unsat cost LB: 67942 ... c Min unsat cost LB: 67944 ... c Min unsat cost LB: 67945 ... c Min unsat cost LB: 67949 ... c Min unsat cost LB: 67954 ... c Min unsat cost LB: 67961 ... c Min unsat cost LB: 67962 ... c Min unsat cost LB: 67965 ... c Min unsat cost LB: 67966 ... c Min unsat cost LB: 67967 ... c Min unsat cost LB: 67974 ... c Min unsat cost LB: 67975 ... c Min unsat cost LB: 67976 ... c Min unsat cost LB: 67977 ... c Min unsat cost LB: 67978 ... c Min unsat cost LB: 67979 ... c Min unsat cost LB: 67980 ... c Min unsat cost LB: 67981 ... c Min unsat cost LB: 67982 ... c Min unsat cost LB: 67983 ... c Min unsat cost LB: 67984 ... c Min unsat cost LB: 67985 ... c Min unsat cost LB: 67986 ... c Min unsat cost LB: 67987 ... c Min unsat cost LB: 67988 ... c Min unsat cost LB: 67989 ... c Min unsat cost LB: 67990 ... c Min unsat cost LB: 67991 ... c Min unsat cost LB: 67993 ... c Min unsat cost LB: 67995 ... c Min unsat cost LB: 67999 ... c Min unsat cost LB: 68014 ... c Min unsat cost LB: 68015 ... c Min unsat cost LB: 68016 ... c Min unsat cost LB: 68017 ... c Min unsat cost LB: 68018 ... c Min unsat cost LB: 68019 ... c Min unsat cost LB: 68020 ... c Min unsat cost LB: 68021 ... c Min unsat cost LB: 68030 ... c Min unsat cost LB: 68031 ... c Min unsat cost LB: 68034 ... c Min unsat cost LB: 68041 ... c Min unsat cost LB: 68042 ... c Min unsat cost LB: 68044 ... c Min unsat cost LB: 68045 ... c Min unsat cost LB: 68046 ... c Min unsat cost LB: 68047 ... c Min unsat cost LB: 68048 ... c Min unsat cost LB: 68049 ... c Min unsat cost LB: 68050 ... c Min unsat cost LB: 68051 ... c Min unsat cost LB: 68053 ... c Min unsat cost LB: 68054 ... c Min unsat cost LB: 68055 ... c Min unsat cost LB: 68056 ... c Min unsat cost LB: 68057 ... c Min unsat cost LB: 68058 ... c Min unsat cost LB: 68066 ... c Min unsat cost LB: 68067 ... c Min unsat cost LB: 68068 ... c Min unsat cost LB: 68069 ... c Min unsat cost LB: 68070 ... c Min unsat cost LB: 68072 ... c Min unsat cost LB: 68073 ... c Min unsat cost LB: 68075 ... c Min unsat cost LB: 68076 ... c Min unsat cost LB: 68077 ... c Min unsat cost LB: 68078 ... c Min unsat cost LB: 68079 ... c Min unsat cost LB: 68080 ... c Min unsat cost LB: 68081 ... c Min unsat cost LB: 68082 ... c Min unsat cost LB: 68083 ... c Min unsat cost LB: 68084 ... c Min unsat cost LB: 68085 ... c Min unsat cost LB: 68087 ... c Min unsat cost LB: 68091 ... c Min unsat cost LB: 68098 ... c Min unsat cost LB: 68104 ... c Min unsat cost LB: 68105 ... c Min unsat cost LB: 68107 ... c Min unsat cost LB: 68108 ... c Min unsat cost LB: 68117 ... c Min unsat cost LB: 68118 ... c Min unsat cost LB: 68119 ... c Min unsat cost LB: 68120 ... c Min unsat cost LB: 68124 ... c Min unsat cost LB: 68125 ... c Min unsat cost LB: 68126 ... c Min unsat cost LB: 68133 ... c Min unsat cost LB: 68134 ... c Min unsat cost LB: 68136 ... c Min unsat cost LB: 68137 ... c Min unsat cost LB: 68139 ... c Min unsat cost LB: 68140 ... c Min unsat cost LB: 68141 ... c Min unsat cost LB: 68142 ... c Min unsat cost LB: 68145 ... c Min unsat cost LB: 68146 ... c Min unsat cost LB: 68148 ... c Min unsat cost LB: 68149 ... c Min unsat cost LB: 68150 ... c Min unsat cost LB: 68155 ... c Min unsat cost LB: 68156 ... c Min unsat cost LB: 68157 ... c Min unsat cost LB: 68158 ... c Min unsat cost LB: 68159 ... c Min unsat cost LB: 68160 ... c Min unsat cost LB: 68164 ... c Min unsat cost LB: 68165 ... c Min unsat cost LB: 68166 ... c Min unsat cost LB: 68167 ... c Min unsat cost LB: 68168 ... c Min unsat cost LB: 68169 ... c Min unsat cost LB: 68170 ... c Min unsat cost LB: 68171 ... c Min unsat cost LB: 68172 ... c Min unsat cost LB: 68173 ... c Min unsat cost LB: 68174 ... c Min unsat cost LB: 68175 ... c Min unsat cost LB: 68178 ... c Min unsat cost LB: 68179 ... c Min unsat cost LB: 68180 ... c Min unsat cost LB: 68181 ... c Min unsat cost LB: 68182 ... c Min unsat cost LB: 68183 ... c Min unsat cost LB: 68184 ... c Min unsat cost LB: 68185 ... c Min unsat cost LB: 68186 ... c Min unsat cost LB: 68360 ... c Min unsat cost LB: 68365 ... c Min unsat cost LB: 68366 ... c Min unsat cost LB: 68367 ... c Min unsat cost LB: 68368 ... c Min unsat cost LB: 68369 ... c Min unsat cost LB: 68370 ... c Min unsat cost LB: 68377 ... c Min unsat cost LB: 68378 ... c Min unsat cost LB: 68386 ... c Min unsat cost LB: 68388 ... c Min unsat cost LB: 68392 ... c Min unsat cost LB: 68393 ... c Min unsat cost LB: 68394 ... c Min unsat cost LB: 68395 ... c Min unsat cost LB: 68396 ... c Min unsat cost LB: 68397 ... c Min unsat cost LB: 68414 ... c Min unsat cost LB: 68415 ... c Min unsat cost LB: 68416 ... c Min unsat cost LB: 68417 ... c Min unsat cost LB: 68418 ... c Min unsat cost LB: 68419 ... c Min unsat cost LB: 68420 ... c Min unsat cost LB: 68421 ... c Min unsat cost LB: 68422 ... c Min unsat cost LB: 68423 ... c Min unsat cost LB: 68424 ... c Min unsat cost LB: 68425 ... c Min unsat cost LB: 68426 ... c Min unsat cost LB: 68427 ... c Min unsat cost LB: 68428 ... c Min unsat cost LB: 68446 ... c Min unsat cost LB: 68448 ... c Min unsat cost LB: 68450 ... c Min unsat cost LB: 68451 ... c Min unsat cost LB: 68452 ... c Min unsat cost LB: 68453 ... c Min unsat cost LB: 68454 ... c Min unsat cost LB: 68456 ... c Min unsat cost LB: 68457 ... c Min unsat cost LB: 68458 ... c Min unsat cost LB: 68459 ... c Min unsat cost LB: 68460 ... c Min unsat cost LB: 68461 ... c Min unsat cost LB: 68462 ... c Min unsat cost LB: 68463 ... c Min unsat cost LB: 68466 ... c Min unsat cost LB: 68467 ... c Min unsat cost LB: 68468 ... c Min unsat cost LB: 68469 ... c Min unsat cost LB: 68470 ... c Min unsat cost LB: 68471 ... c Min unsat cost LB: 68472 ... c Min unsat cost LB: 68474 ... c Min unsat cost LB: 68475 ... c Min unsat cost LB: 68477 ... c Min unsat cost LB: 68485 ... c Min unsat cost LB: 68486 ... c Min unsat cost LB: 68487 ... c Min unsat cost LB: 68488 ... c Min unsat cost LB: 68489 ... c Min unsat cost LB: 68490 ... c Min unsat cost LB: 68491 ... c Min unsat cost LB: 68492 ... c Min unsat cost LB: 68493 ... c Min unsat cost LB: 68494 ... c Min unsat cost LB: 68495 ... c Min unsat cost LB: 68497 ... c Min unsat cost LB: 68498 ... c Min unsat cost LB: 68499 ... c Min unsat cost LB: 68500 ... c Min unsat cost LB: 68501 ... c Min unsat cost LB: 68502 ... c Min unsat cost LB: 68503 ... c Min unsat cost LB: 68504 ... c Min unsat cost LB: 68505 ... c Min unsat cost LB: 68506 ... c Min unsat cost LB: 68507 ... c Min unsat cost LB: 68509 ... c Min unsat cost LB: 68510 ... c Min unsat cost LB: 68511 ... c Min unsat cost LB: 68512 ... c Min unsat cost LB: 68513 ... c Min unsat cost LB: 68514 ... c Min unsat cost LB: 68515 ... c Min unsat cost LB: 68516 ... c Min unsat cost LB: 68517 ... c Min unsat cost LB: 68518 ... c Min unsat cost LB: 68519 ... c Min unsat cost LB: 68520 ... c Min unsat cost LB: 68521 ... c Min unsat cost LB: 68522 ... c Min unsat cost LB: 68523 ... c Min unsat cost LB: 68524 ... c Min unsat cost LB: 68525 ... c Min unsat cost LB: 68526 ... c Min unsat cost LB: 68527 ... c Min unsat cost LB: 68528 ... c Min unsat cost LB: 68530 ... c Min unsat cost LB: 68532 ... c Min unsat cost LB: 68533 ... c Min unsat cost LB: 68534 ... c Min unsat cost LB: 68539 ... c Min unsat cost LB: 68540 ... c Min unsat cost LB: 68541 ... c Min unsat cost LB: 68549 ... c Min unsat cost LB: 68550 ... c Min unsat cost LB: 68551 ... c Min unsat cost LB: 68553 ... c Min unsat cost LB: 68556 ... c Min unsat cost LB: 68557 ... c Min unsat cost LB: 68558 ... c Min unsat cost LB: 68560 ... c Min unsat cost LB: 68561 ... c Min unsat cost LB: 68566 ... c Min unsat cost LB: 68567 ... c Min unsat cost LB: 68568 ... c Min unsat cost LB: 68571 ... c Min unsat cost LB: 68572 ... c Min unsat cost LB: 68573 ... c Min unsat cost LB: 68574 ... c Min unsat cost LB: 68575 ... c Min unsat cost LB: 68576 ... c Min unsat cost LB: 68577 ... c Min unsat cost LB: 68578 ... c Min unsat cost LB: 68579 ... c Min unsat cost LB: 68580 ... c Min unsat cost LB: 68581 ... c Min unsat cost LB: 68582 ... c Min unsat cost LB: 68583 ... c Min unsat cost LB: 68585 ... c Min unsat cost LB: 68587 ... c Min unsat cost LB: 68593 ... c Min unsat cost LB: 68594 ... c Min unsat cost LB: 68595 ... c Min unsat cost LB: 68596 ... c Min unsat cost LB: 68610 ... c Min unsat cost LB: 68611 ... c Min unsat cost LB: 68612 ... c Min unsat cost LB: 68613 ... c Min unsat cost LB: 68614 ... c Min unsat cost LB: 68615 ... c Min unsat cost LB: 68616 ... c Min unsat cost LB: 68617 ... c Min unsat cost LB: 68618 ... c Min unsat cost LB: 68619 ... c Min unsat cost LB: 68620 ... c Min unsat cost LB: 68621 ... c Min unsat cost LB: 68622 ... c Min unsat cost LB: 68623 ... c Min unsat cost LB: 68624 ... c Min unsat cost LB: 68625 ... c Min unsat cost LB: 68626 ... c Min unsat cost LB: 68627 ... c Min unsat cost LB: 68628 ... c Min unsat cost LB: 68629 ... c Min unsat cost LB: 68630 ... c Min unsat cost LB: 68631 ... c Min unsat cost LB: 68632 ... c Min unsat cost LB: 68633 ... c Min unsat cost LB: 68634 ... c Min unsat cost LB: 68635 ... c Min unsat cost LB: 68636 ... c Min unsat cost LB: 68637 ... c Min unsat cost LB: 68638 ... c Min unsat cost LB: 68639 ... c Min unsat cost LB: 68640 ... c Min unsat cost LB: 68641 ... c Min unsat cost LB: 68642 ... c Min unsat cost LB: 68643 ... c Min unsat cost LB: 68645 ... c Min unsat cost LB: 68646 ... c Min unsat cost LB: 68647 ... c Min unsat cost LB: 68649 ... c Min unsat cost LB: 68650 ... c Min unsat cost LB: 68651 ... c Min unsat cost LB: 68652 ... c Min unsat cost LB: 68653 ... c Min unsat cost LB: 68654 ... c Min unsat cost LB: 68655 ... c Min unsat cost LB: 68656 ... c Min unsat cost LB: 68657 ... c Min unsat cost LB: 68658Killed 1814.529u 5.209s 30:23.54 99.7% 0+0k 0+0io 0pf+0w