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_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0005.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_0005.txt.wcnf *** c c Min unsat cost LB: 836 ... c Min unsat cost LB: 1001 ... c Min unsat cost LB: 1662 ... c Min unsat cost LB: 1672 ... c Min unsat cost LB: 2323 ... c Min unsat cost LB: 3537 ... c Min unsat cost LB: 4557 ... c Min unsat cost LB: 5558 ... c Min unsat cost LB: 6219 ... c Min unsat cost LB: 7055 ... c Min unsat cost LB: 8011 ... c Min unsat cost LB: 9311 ... c Min unsat cost LB: 9781 ... c Min unsat cost LB: 10301 ... c Min unsat cost LB: 11013 ... c Min unsat cost LB: 11077 ... c Min unsat cost LB: 11665 ... c Min unsat cost LB: 12501 ... c Min unsat cost LB: 12686 ... c Min unsat cost LB: 13347 ... c Min unsat cost LB: 13589 ... c Min unsat cost LB: 13957 ... c Min unsat cost LB: 14427 ... c Min unsat cost LB: 14913 ... c Min unsat cost LB: 15028 ... c Min unsat cost LB: 16209 ... c Min unsat cost LB: 17101 ... c Min unsat cost LB: 17261 ... c Min unsat cost LB: 17455 ... c Min unsat cost LB: 17659 ... c Min unsat cost LB: 18205 ... c Min unsat cost LB: 19259 ... c Min unsat cost LB: 20205 ... c Min unsat cost LB: 21136 ... c Min unsat cost LB: 21244 ... c Min unsat cost LB: 21679 ... c Min unsat cost LB: 21806 ... c Min unsat cost LB: 22095 ... c Min unsat cost LB: 23026 ... c Min unsat cost LB: 24046 ... c Min unsat cost LB: 24707 ... c Min unsat cost LB: 25526 ... c Min unsat cost LB: 25674 ... c Min unsat cost LB: 25733 ... c Min unsat cost LB: 26010 ... c Min unsat cost LB: 26941 ... c Min unsat cost LB: 27169 ... c Min unsat cost LB: 27687 ... c Min unsat cost LB: 27740 ... c Min unsat cost LB: 27826 ... c Min unsat cost LB: 28583 ... c Min unsat cost LB: 29615 ... c Min unsat cost LB: 30286 ... c Min unsat cost LB: 30535 ... c Min unsat cost LB: 31247 ... c Min unsat cost LB: 32301 ... c Min unsat cost LB: 33058 ... c Min unsat cost LB: 33841 ... c Min unsat cost LB: 34633 ... c Min unsat cost LB: 35224 ... c Min unsat cost LB: 35979 ... c Min unsat cost LB: 36024 ... c Min unsat cost LB: 36918 ... c Min unsat cost LB: 37025 ... c Min unsat cost LB: 37256 ... c Min unsat cost LB: 38013 ... c Min unsat cost LB: 38193 ... c Min unsat cost LB: 38526 ... c Min unsat cost LB: 38803 ... c Min unsat cost LB: 39474 ... c Min unsat cost LB: 40325 ... c Min unsat cost LB: 40722 ... c Min unsat cost LB: 41406 ... c Min unsat cost LB: 41588 ... c Min unsat cost LB: 41638 ... c Min unsat cost LB: 41792 ... c Min unsat cost LB: 41886 ... c Min unsat cost LB: 41905 ... c Min unsat cost LB: 41956 ... c Min unsat cost LB: 42848 ... c Min unsat cost LB: 43302 ... c Min unsat cost LB: 43779 ... c Min unsat cost LB: 43834 ... c Min unsat cost LB: 44495 ... c Min unsat cost LB: 44719 ... c Min unsat cost LB: 45007 ... c Min unsat cost LB: 45325 ... c Min unsat cost LB: 46167 ... c Min unsat cost LB: 47171 ... c Min unsat cost LB: 48393 ... c Min unsat cost LB: 48661 ... c Min unsat cost LB: 48885 ... c Min unsat cost LB: 49123 ... c Min unsat cost LB: 49787 ... c Min unsat cost LB: 50672 ... c Min unsat cost LB: 50785 ... c Min unsat cost LB: 51118 ... c Min unsat cost LB: 52003 ... c Min unsat cost LB: 53013 ... c Min unsat cost LB: 53387 ... c Min unsat cost LB: 53893 ... c Min unsat cost LB: 54741 ... c Min unsat cost LB: 55109 ... c Min unsat cost LB: 55668 ... c Min unsat cost LB: 55702 ... c Min unsat cost LB: 55993 ... c Min unsat cost LB: 56206 ... c Min unsat cost LB: 56226 ... c Min unsat cost LB: 56671 ... c Min unsat cost LB: 56906 ... c Min unsat cost LB: 57058 ... c Min unsat cost LB: 57252 ... c Min unsat cost LB: 57456 ... c Min unsat cost LB: 57583 ... c Min unsat cost LB: 57776 ... c Min unsat cost LB: 57884 ... c Min unsat cost LB: 57903 ... c Min unsat cost LB: 57942 ... c Min unsat cost LB: 58402 ... c Min unsat cost LB: 58894 ... c Min unsat cost LB: 58907 ... c Min unsat cost LB: 58922 ... c Min unsat cost LB: 58962 ... c Min unsat cost LB: 59074 ... c Min unsat cost LB: 59223 ... c Min unsat cost LB: 59394 ... c Min unsat cost LB: 59788 ... c Min unsat cost LB: 59966 ... c Min unsat cost LB: 60263 ... c Min unsat cost LB: 61180 ... c Min unsat cost LB: 61313 ... c Min unsat cost LB: 61515 ... c Min unsat cost LB: 62231 ... c Min unsat cost LB: 62705 ... c Min unsat cost LB: 63156 ... c Min unsat cost LB: 63282 ... c Min unsat cost LB: 63573 ... c Min unsat cost LB: 63638 ... c Min unsat cost LB: 63824 ... c Min unsat cost LB: 64431 ... c Min unsat cost LB: 64472 ... c Min unsat cost LB: 64599 ... c Min unsat cost LB: 64639 ... c Min unsat cost LB: 64990 ... c Min unsat cost LB: 65148 ... c Min unsat cost LB: 65399 ... c Min unsat cost LB: 65544 ... c Min unsat cost LB: 65622 ... c Min unsat cost LB: 65771 ... c Min unsat cost LB: 65790 ... c Min unsat cost LB: 66079 ... c Min unsat cost LB: 66241 ... c Min unsat cost LB: 66319 ... c Min unsat cost LB: 66388 ... c Min unsat cost LB: 66441 ... c Min unsat cost LB: 66626 ... c Min unsat cost LB: 66696 ... c Min unsat cost LB: 66779 ... c Min unsat cost LB: 66803 ... c Min unsat cost LB: 66918 ... c Min unsat cost LB: 67047 ... c Min unsat cost LB: 67324 ... c Min unsat cost LB: 67456 ... c Min unsat cost LB: 67489 ... c Min unsat cost LB: 67513 ... c Min unsat cost LB: 67658 ... c Min unsat cost LB: 67817 ... c Min unsat cost LB: 67829 ... c Min unsat cost LB: 68178 ... c Min unsat cost LB: 68413 ... c Min unsat cost LB: 68477 ... c Min unsat cost LB: 68558 ... c Min unsat cost LB: 68665 ... c Min unsat cost LB: 68678 ... c Min unsat cost LB: 68690 ... c Min unsat cost LB: 68753 ... c Min unsat cost LB: 68847 ... c Min unsat cost LB: 68977 ... c Min unsat cost LB: 68978 ... c Min unsat cost LB: 69012 ... c Min unsat cost LB: 69017 ... c Min unsat cost LB: 69025 ... c Min unsat cost LB: 69308 ... c Min unsat cost LB: 69488 ... c Min unsat cost LB: 69625 ... c Min unsat cost LB: 69772 ... c Min unsat cost LB: 69843 ... c Min unsat cost LB: 69888 ... c Min unsat cost LB: 69934 ... c Min unsat cost LB: 70112 ... c Min unsat cost LB: 70132 ... c Min unsat cost LB: 70140 ... c Min unsat cost LB: 70341 ... c Min unsat cost LB: 70351 ... c Min unsat cost LB: 70394 ... c Min unsat cost LB: 70453 ... c Min unsat cost LB: 70459 ... c Min unsat cost LB: 70479 ... c Min unsat cost LB: 70524 ... c Min unsat cost LB: 70539 ... c Min unsat cost LB: 70697 ... c Min unsat cost LB: 70835 ... c Min unsat cost LB: 70872 ... c Min unsat cost LB: 70888 ... c Min unsat cost LB: 70930 ... c Min unsat cost LB: 70953 ... c Min unsat cost LB: 70960 ... c Min unsat cost LB: 70984 ... c Min unsat cost LB: 71067 ... c Min unsat cost LB: 71112 ... c Min unsat cost LB: 71137 ... c Min unsat cost LB: 71183 ... c Min unsat cost LB: 71213 ... c Min unsat cost LB: 71395 ... c Min unsat cost LB: 71407 ... c Min unsat cost LB: 71410 ... c Min unsat cost LB: 71417 ... c Min unsat cost LB: 71543 ... c Min unsat cost LB: 71619 ... c Min unsat cost LB: 71844 ... c Min unsat cost LB: 71853 ... c Min unsat cost LB: 71905 ... c Min unsat cost LB: 71923 ... c Min unsat cost LB: 71970 ... c Min unsat cost LB: 71986 ... c Min unsat cost LB: 72040 ... c Min unsat cost LB: 72078 ... c Min unsat cost LB: 72093 ... c Min unsat cost LB: 72133 ... c Min unsat cost LB: 72198 ... c Min unsat cost LB: 72202 ... c Min unsat cost LB: 72209 ... c Min unsat cost LB: 72313 ... c Min unsat cost LB: 72326 ... c Min unsat cost LB: 72407 ... c Min unsat cost LB: 72429 ... c Min unsat cost LB: 72450 ... c Min unsat cost LB: 72489 ... c Min unsat cost LB: 72578 ... c Min unsat cost LB: 72710 ... c Min unsat cost LB: 72729 ... c Min unsat cost LB: 72738 ... c Min unsat cost LB: 72883 ... c Min unsat cost LB: 73018 ... c Min unsat cost LB: 73042 ... c Min unsat cost LB: 73066 ... c Min unsat cost LB: 73184 ... c Min unsat cost LB: 73225 ... c Min unsat cost LB: 73235 ... c Min unsat cost LB: 73252 ... c Min unsat cost LB: 73348 ... c Min unsat cost LB: 73393 ... c Min unsat cost LB: 73405 ... c Min unsat cost LB: 73567 ... c Min unsat cost LB: 73586 ... c Min unsat cost LB: 73622 ... c Min unsat cost LB: 73855 ... c Min unsat cost LB: 73908 ... c Min unsat cost LB: 73919 ... c Min unsat cost LB: 73931 ... c Min unsat cost LB: 74071 ... c Min unsat cost LB: 74112 ... c Min unsat cost LB: 74124 ... c Min unsat cost LB: 74151 ... c Min unsat cost LB: 74231 ... c Min unsat cost LB: 74375 ... c Min unsat cost LB: 74517 ... c Min unsat cost LB: 74699 ... c Min unsat cost LB: 75058 ... c Min unsat cost LB: 75191 ... c Min unsat cost LB: 75448 ... c Min unsat cost LB: 75454 ... c Min unsat cost LB: 75497 ... c Min unsat cost LB: 75532 ... c Min unsat cost LB: 75748 ... c Min unsat cost LB: 76112 ... c Min unsat cost LB: 76141 ... c Min unsat cost LB: 76175 ... c Min unsat cost LB: 76215 ... c Min unsat cost LB: 76444 ... c Min unsat cost LB: 76916 ... c Min unsat cost LB: 76917 ... c Min unsat cost LB: 76966 ... c Min unsat cost LB: 76978 ... c Min unsat cost LB: 77072 ... c Min unsat cost LB: 77077 ... c Min unsat cost LB: 77130 ... c Min unsat cost LB: 77144 ... c Min unsat cost LB: 77194 ... c Min unsat cost LB: 77199 ... c Min unsat cost LB: 77267 ... c Min unsat cost LB: 77343 ... c Min unsat cost LB: 77348 ... c Min unsat cost LB: 77356 ... c Min unsat cost LB: 77369 ... c Min unsat cost LB: 77374 ... c Min unsat cost LB: 77375 ... c Min unsat cost LB: 77382 ... c Min unsat cost LB: 77385 ... c Min unsat cost LB: 77388 ... c Min unsat cost LB: 77401 ... c Min unsat cost LB: 77406 ... c Min unsat cost LB: 77435 ... c Min unsat cost LB: 77453 ... c Min unsat cost LB: 77482 ... c Min unsat cost LB: 77501 ... c Min unsat cost LB: 77528 ... c Min unsat cost LB: 77541 ... c Min unsat cost LB: 77545 ... c Min unsat cost LB: 77563 ... c Min unsat cost LB: 77583 ... c Min unsat cost LB: 77587 ... c Min unsat cost LB: 77596 ... c Min unsat cost LB: 77599 ... c Min unsat cost LB: 77602 ... c Min unsat cost LB: 77614 ... c Min unsat cost LB: 77648 ... c Min unsat cost LB: 77653 ... c Min unsat cost LB: 77680 ... c Min unsat cost LB: 77694 ... c Min unsat cost LB: 77697 ... c Min unsat cost LB: 77700 ... c Min unsat cost LB: 77705 ... c Min unsat cost LB: 77713 ... c Min unsat cost LB: 77715 ... c Min unsat cost LB: 77716 ... c Min unsat cost LB: 77720 ... c Min unsat cost LB: 77723 ... c Min unsat cost LB: 77724 ... c Min unsat cost LB: 77728 ... c Min unsat cost LB: 77740 ... c Min unsat cost LB: 77741 ... c Min unsat cost LB: 77744 ... c Min unsat cost LB: 77752 ... c Min unsat cost LB: 77754 ... c Min unsat cost LB: 77755 ... c Min unsat cost LB: 77764 ... c Min unsat cost LB: 77777 ... c Min unsat cost LB: 77779 ... c Min unsat cost LB: 77780 ... c Min unsat cost LB: 77790 ... c Min unsat cost LB: 77795 ... c Min unsat cost LB: 77833 ... c Min unsat cost LB: 77835 ... c Min unsat cost LB: 77838 ... c Min unsat cost LB: 77839 ... c Min unsat cost LB: 77840 ... c Min unsat cost LB: 77856 ... c Min unsat cost LB: 77862 ... c Min unsat cost LB: 77871 ... c Min unsat cost LB: 77872 ... c Min unsat cost LB: 77874 ... c Min unsat cost LB: 77883 ... c Min unsat cost LB: 77908 ... c Min unsat cost LB: 77928 ... c Min unsat cost LB: 77957 ... c Min unsat cost LB: 77958 ... c Min unsat cost LB: 77964 ... c Min unsat cost LB: 77969 ... c Min unsat cost LB: 77976 ... c Min unsat cost LB: 77983 ... c Min unsat cost LB: 77993 ... c Min unsat cost LB: 78033 ... c Min unsat cost LB: 78042 ... c Min unsat cost LB: 78047 ... c Min unsat cost LB: 78049 ... c Min unsat cost LB: 78054 ... c Min unsat cost LB: 78055 ... c Min unsat cost LB: 78067 ... c Min unsat cost LB: 78072 ... c Min unsat cost LB: 78091 ... c Min unsat cost LB: 78113 ... c Min unsat cost LB: 78125 ... c Min unsat cost LB: 78135 ... c Min unsat cost LB: 78140 ... c Min unsat cost LB: 78146 ... c Min unsat cost LB: 78149 ... c Min unsat cost LB: 78152 ... c Min unsat cost LB: 78157 ... c Min unsat cost LB: 78158 ... c Min unsat cost LB: 78166 ... c Min unsat cost LB: 78169 ... c Min unsat cost LB: 78197 ... c Min unsat cost LB: 78209 ... c Min unsat cost LB: 78274 ... c Min unsat cost LB: 78275 ... c Min unsat cost LB: 78278 ... c Min unsat cost LB: 78310 ... c Min unsat cost LB: 78318 ... c Min unsat cost LB: 78319 ... c Min unsat cost LB: 78323 ... c Min unsat cost LB: 78331 ... c Min unsat cost LB: 78332 ... c Min unsat cost LB: 78335 ... c Min unsat cost LB: 78349 ... c Min unsat cost LB: 78354 ... c Min unsat cost LB: 78372 ... c Min unsat cost LB: 78400 ... c Min unsat cost LB: 78418 ... c Min unsat cost LB: 78423 ... c Min unsat cost LB: 78424 ... c Min unsat cost LB: 78468 ... c Min unsat cost LB: 78472 ... c Min unsat cost LB: 78501 ... c Min unsat cost LB: 78536 ... c Min unsat cost LB: 78538 ... c Min unsat cost LB: 78571 ... c Min unsat cost LB: 78600 ... c Min unsat cost LB: 78604 ... c Min unsat cost LB: 78606 ... c Min unsat cost LB: 78614 ... c Min unsat cost LB: 78627 ... c Min unsat cost LB: 78633 ... c Min unsat cost LB: 78635 ... c Min unsat cost LB: 78636 ... c Min unsat cost LB: 78643 ... c Min unsat cost LB: 78646 ... c Min unsat cost LB: 78647 ... c Min unsat cost LB: 78648 ... c Min unsat cost LB: 78659 ... c Min unsat cost LB: 78660 ... c Min unsat cost LB: 78666 ... c Min unsat cost LB: 78670 ... c Min unsat cost LB: 78672 ... c Min unsat cost LB: 78674 ... c Min unsat cost LB: 78677 ... c Min unsat cost LB: 78678 ... c Min unsat cost LB: 78703 ... c Min unsat cost LB: 78704 ... c Min unsat cost LB: 78719 ... c Min unsat cost LB: 78721 ... c Min unsat cost LB: 78722 ... c Min unsat cost LB: 78724 ... c Min unsat cost LB: 78729 ... c Min unsat cost LB: 78730 ... c Min unsat cost LB: 78732 ... c Min unsat cost LB: 78756 ... c Min unsat cost LB: 78768 ... c Min unsat cost LB: 78798 ... c Min unsat cost LB: 78807 ... c Min unsat cost LB: 78813 ... c Min unsat cost LB: 78814 ... c Min unsat cost LB: 78829 ... c Min unsat cost LB: 78840 ... c Min unsat cost LB: 78842 ... c Min unsat cost LB: 78843 ... c Min unsat cost LB: 78844 ... c Min unsat cost LB: 78845 ... c Min unsat cost LB: 78846 ... c Min unsat cost LB: 78847 ... c Min unsat cost LB: 78848 ... c Min unsat cost LB: 78850 ... c Min unsat cost LB: 78851 ... c Min unsat cost LB: 78853 ... c Min unsat cost LB: 78877 ... c Min unsat cost LB: 78879 ... c Min unsat cost LB: 78881 ... c Min unsat cost LB: 78883 ... c Min unsat cost LB: 78885 ... c Min unsat cost LB: 78886 ... c Min unsat cost LB: 78887 ... c Min unsat cost LB: 78888 ... c Min unsat cost LB: 78889 ... c Min unsat cost LB: 78890 ... c Min unsat cost LB: 78891 ... c Min unsat cost LB: 78892 ... c Min unsat cost LB: 78893 ... c Min unsat cost LB: 78897 ... c Min unsat cost LB: 78898 ... c Min unsat cost LB: 78900 ... c Min unsat cost LB: 78901 ... c Min unsat cost LB: 78902 ... c Min unsat cost LB: 78903 ... c Min unsat cost LB: 78905 ... c Min unsat cost LB: 78909 ... c Min unsat cost LB: 78918 ... c Min unsat cost LB: 78919 ... c Min unsat cost LB: 78920 ... c Min unsat cost LB: 78921 ... c Min unsat cost LB: 78923 ... c Min unsat cost LB: 78924 ... c Min unsat cost LB: 78925 ... c Min unsat cost LB: 78928 ... c Min unsat cost LB: 78929 ... c Min unsat cost LB: 78930 ... c Min unsat cost LB: 78931 ... c Min unsat cost LB: 78935 ... c Min unsat cost LB: 78936 ... c Min unsat cost LB: 78937 ... c Min unsat cost LB: 78938 ... c Min unsat cost LB: 78939 ... c Min unsat cost LB: 78940 ... c Min unsat cost LB: 78941 ... c Min unsat cost LB: 78943 ... c Min unsat cost LB: 78944 ... c Min unsat cost LB: 78945 ... c Min unsat cost LB: 78946 ... c Min unsat cost LB: 78947 ... c Min unsat cost LB: 78948 ... c Min unsat cost LB: 78949 ... c Min unsat cost LB: 78950 ... c Min unsat cost LB: 78951 ... c Min unsat cost LB: 78952 ... c Min unsat cost LB: 78953 ... c Min unsat cost LB: 78954 ... c Min unsat cost LB: 78958 ... c Min unsat cost LB: 78959 ... c Min unsat cost LB: 78960 ... c Min unsat cost LB: 78961 ... c Min unsat cost LB: 78962 ... c Min unsat cost LB: 78963 ... c Min unsat cost LB: 78964 ... c Min unsat cost LB: 78965 ... c Min unsat cost LB: 78968 ... c Min unsat cost LB: 78969 ... c Min unsat cost LB: 78970 ... c Min unsat cost LB: 78971 ... c Min unsat cost LB: 78972 ... c Min unsat cost LB: 78973 ... c Min unsat cost LB: 78974 ... c Min unsat cost LB: 78977 ... c Min unsat cost LB: 79069 ... c Min unsat cost LB: 79070 ... c Min unsat cost LB: 79071 ... c Min unsat cost LB: 79072 ... c Min unsat cost LB: 79073 ... c Min unsat cost LB: 79074 ... c Min unsat cost LB: 79075 ... c Min unsat cost LB: 79076 ... c Min unsat cost LB: 79077 ... c Min unsat cost LB: 79078 ... c Min unsat cost LB: 79079 ... c Min unsat cost LB: 79080 ... c Min unsat cost LB: 79081 ... c Min unsat cost LB: 79082 ... c Min unsat cost LB: 79083 ... c Min unsat cost LB: 79084 ... c Min unsat cost LB: 79085 ... c Min unsat cost LB: 79086 ... c Min unsat cost LB: 79087 ... c Min unsat cost LB: 79088 ... c Min unsat cost LB: 79089 ... c Min unsat cost LB: 79090 ... c Min unsat cost LB: 79091 ... c Min unsat cost LB: 79092 ... c Min unsat cost LB: 79093 ... c Min unsat cost LB: 79094 ... c Min unsat cost LB: 79095 ... c Min unsat cost LB: 79096 ... c Min unsat cost LB: 79100 ... c Min unsat cost LB: 79104 ... c Min unsat cost LB: 79106 ... c Min unsat cost LB: 79107 ... c Min unsat cost LB: 79113 ... c Min unsat cost LB: 79114 ... c Min unsat cost LB: 79115 ... c Min unsat cost LB: 79116 ... c Min unsat cost LB: 79117 ... c Min unsat cost LB: 79118 ... c Min unsat cost LB: 79119 ... c Min unsat cost LB: 79125 ... c Min unsat cost LB: 79127 ... c Min unsat cost LB: 79136 ... c Min unsat cost LB: 79141 ... c Min unsat cost LB: 79142 ... c Min unsat cost LB: 79144 ... c Min unsat cost LB: 79147 ... c Min unsat cost LB: 79149 ... c Min unsat cost LB: 79153 ... c Min unsat cost LB: 79154 ... c Min unsat cost LB: 79155 ... c Min unsat cost LB: 79156 ... c Min unsat cost LB: 79157 ... c Min unsat cost LB: 79167 ... c Min unsat cost LB: 79179 ... c Min unsat cost LB: 79184 ... c Min unsat cost LB: 79194 ... c Min unsat cost LB: 79199 ... c Min unsat cost LB: 79201 ... c Min unsat cost LB: 79202 ... c Min unsat cost LB: 79211 ... c Min unsat cost LB: 79213 ... c Min unsat cost LB: 79217 ... c Min unsat cost LB: 79220 ... c Min unsat cost LB: 79226 ... c Min unsat cost LB: 79238 ... c Min unsat cost LB: 79255 ... c Min unsat cost LB: 79285 ... c Min unsat cost LB: 79300 ... c Min unsat cost LB: 79301 ... c Min unsat cost LB: 79302 ... c Min unsat cost LB: 79305 ... c Min unsat cost LB: 79309 ... c Min unsat cost LB: 79314 ... c Min unsat cost LB: 79317 ... c Min unsat cost LB: 79322 ... c Min unsat cost LB: 79324 ... c Min unsat cost LB: 79329 ... c Min unsat cost LB: 79343 ... c Min unsat cost LB: 79344 ... c Min unsat cost LB: 79366 ... c Min unsat cost LB: 79368 ... c Min unsat cost LB: 79371 ... c Min unsat cost LB: 79373 ... c Min unsat cost LB: 79383 ... c Min unsat cost LB: 79407 ... c Min unsat cost LB: 79462 ... c Min unsat cost LB: 79477 ... c Min unsat cost LB: 79479 ... c Min unsat cost LB: 79484 ... c Min unsat cost LB: 79485 ... c Min unsat cost LB: 79486 ... c Min unsat cost LB: 79491 ... c Min unsat cost LB: 79492 ... c Min unsat cost LB: 79505 ... c Min unsat cost LB: 79506 ... c Min unsat cost LB: 79507 ... c Min unsat cost LB: 79527 ... c Min unsat cost LB: 79531 ... c Min unsat cost LB: 79563 ... c Min unsat cost LB: 79588 ... c Min unsat cost LB: 79589 ... c Min unsat cost LB: 79590 ... c Min unsat cost LB: 79596 ... c Min unsat cost LB: 79597 ... c Min unsat cost LB: 79598 ... c Min unsat cost LB: 79602 ... c Min unsat cost LB: 79603 ... c Min unsat cost LB: 79604 ... c Min unsat cost LB: 79605 ... c Min unsat cost LB: 79608 ... c Min unsat cost LB: 79609 ... c Min unsat cost LB: 79613 ... c Min unsat cost LB: 79614 ... c Min unsat cost LB: 79617 ... c Min unsat cost LB: 79618 ... c Min unsat cost LB: 79620 ... c Min unsat cost LB: 79625 ... c Min unsat cost LB: 79627 ... c Min unsat cost LB: 79632 ... c Min unsat cost LB: 79633 ... c Min unsat cost LB: 79634 ... c Min unsat cost LB: 79636 ... c Min unsat cost LB: 79640 ... c Min unsat cost LB: 79641 ... c Min unsat cost LB: 79642 ... c Min unsat cost LB: 79643 ... c Min unsat cost LB: 79650 ... c Min unsat cost LB: 79655 ... c Min unsat cost LB: 79666 ... c Min unsat cost LB: 79668 ... c Min unsat cost LB: 79669 ... c Min unsat cost LB: 79670 ... c Min unsat cost LB: 79671 ... c Min unsat cost LB: 79672 ... c Min unsat cost LB: 79673 ... c Min unsat cost LB: 79674 ... c Min unsat cost LB: 79677 ... c Min unsat cost LB: 79678 ... c Min unsat cost LB: 79679 ... c Min unsat cost LB: 79681 ... c Min unsat cost LB: 79682 ... c Min unsat cost LB: 79683 ... c Min unsat cost LB: 79684 ... c Min unsat cost LB: 79685 ... c Min unsat cost LB: 79687 ... c Min unsat cost LB: 79689 ... c Min unsat cost LB: 79690 ... c Min unsat cost LB: 79691 ... c Min unsat cost LB: 79693 ... c Min unsat cost LB: 79695 ... c Min unsat cost LB: 79697 ... c Min unsat cost LB: 79698 ... c Min unsat cost LB: 79699 ... c Min unsat cost LB: 79700 ... c Min unsat cost LB: 79701 ... c Min unsat cost LB: 79705 ... c Min unsat cost LB: 79709 ... c Min unsat cost LB: 79710 ... c Min unsat cost LB: 79712 ... c Min unsat cost LB: 79714 ... c Min unsat cost LB: 79715 ... c Min unsat cost LB: 79716 ... c Min unsat cost LB: 79717 ... c Min unsat cost LB: 79718 ... c Min unsat cost LB: 79719 ... c Min unsat cost LB: 79720 ... c Min unsat cost LB: 79721 ... c Min unsat cost LB: 79728 ... c Min unsat cost LB: 79730 ... c Min unsat cost LB: 79731 ... c Min unsat cost LB: 79737 ... c Min unsat cost LB: 79741 ... c Min unsat cost LB: 79745 ... c Min unsat cost LB: 79747 ... c Min unsat cost LB: 79751 ... c Min unsat cost LB: 79753 ... c Min unsat cost LB: 79754 ... c Min unsat cost LB: 79757 ... c Min unsat cost LB: 79758 ... c Min unsat cost LB: 79759 ... c Min unsat cost LB: 79760 ... c Min unsat cost LB: 79761 ... c Min unsat cost LB: 79762 ... c Min unsat cost LB: 79763 ... c Min unsat cost LB: 79770 ... c Min unsat cost LB: 79772 ... c Min unsat cost LB: 79779 ... c Min unsat cost LB: 79780 ... c Min unsat cost LB: 79783 ... c Min unsat cost LB: 79785 ... c Min unsat cost LB: 79787 ... c Min unsat cost LB: 79788 ... c Min unsat cost LB: 79789 ... c Min unsat cost LB: 79792 ... c Min unsat cost LB: 79796 ... c Min unsat cost LB: 79799 ... c Min unsat cost LB: 79822 ... c Min unsat cost LB: 79823 ... c Min unsat cost LB: 79833 ... c Min unsat cost LB: 79861 ... c Min unsat cost LB: 79872 ... c Min unsat cost LB: 79873 ... c Min unsat cost LB: 79923 ... c Min unsat cost LB: 79924 ... c Min unsat cost LB: 79950 ... c Min unsat cost LB: 79955 ... c Min unsat cost LB: 79956 ... c Min unsat cost LB: 79957 ... c Min unsat cost LB: 79961 ... c Min unsat cost LB: 79966 ... c Min unsat cost LB: 79967 ... c Min unsat cost LB: 79968 ... c Min unsat cost LB: 79972 ... c Min unsat cost LB: 79975 ... c Min unsat cost LB: 79977 ... c Min unsat cost LB: 79978 ... c Min unsat cost LB: 79979 ... c Min unsat cost LB: 79981 ... c Min unsat cost LB: 79982 ... c Min unsat cost LB: 79983 ... c Min unsat cost LB: 79984 ... c Min unsat cost LB: 79985 ... c Min unsat cost LB: 79988 ... c Min unsat cost LB: 79990 ... c Min unsat cost LB: 79996 ... c Min unsat cost LB: 80000 ... c Min unsat cost LB: 80006 ... c Min unsat cost LB: 80017 ... c Min unsat cost LB: 80028 ... c Min unsat cost LB: 80053 ... c Min unsat cost LB: 80054 ... c Min unsat cost LB: 80055 ... c Min unsat cost LB: 80056 ... c Min unsat cost LB: 80057 ... c Min unsat cost LB: 80058 ... c Min unsat cost LB: 80059 ... c Min unsat cost LB: 80060 ... c Min unsat cost LB: 80064 ... c Min unsat cost LB: 80067 ... c Min unsat cost LB: 80079 ... c Min unsat cost LB: 80080 ... c Min unsat cost LB: 80082 ... c Min unsat cost LB: 80088 ... c Min unsat cost LB: 80089 ... c Min unsat cost LB: 80090 ... c Min unsat cost LB: 80091 ... c Min unsat cost LB: 80092 ... c Min unsat cost LB: 80093 ... c Min unsat cost LB: 80106 ... c Min unsat cost LB: 80110 ... c Min unsat cost LB: 80111 ... c Min unsat cost LB: 80114 ... c Min unsat cost LB: 80120 ... c Min unsat cost LB: 80121 ... c Min unsat cost LB: 80122 ... c Min unsat cost LB: 80124 ... c Min unsat cost LB: 80145 ... c Min unsat cost LB: 80146 ... c Min unsat cost LB: 80151 ... c Min unsat cost LB: 80152 ... c Min unsat cost LB: 80177 ... c Min unsat cost LB: 80184 ... c Min unsat cost LB: 80186 ... c Min unsat cost LB: 80187 ... c Min unsat cost LB: 80191 ... c Min unsat cost LB: 80192 ... c Min unsat cost LB: 80196 ... c Min unsat cost LB: 80197 ... c Min unsat cost LB: 80198 ... c Min unsat cost LB: 80199 ... c Min unsat cost LB: 80200 ... c Min unsat cost LB: 80201 ... c Min unsat cost LB: 80202 ... c Min unsat cost LB: 80203 ... c Min unsat cost LB: 80204 ... c Min unsat cost LB: 80205 ... c Min unsat cost LB: 80206 ... c Min unsat cost LB: 80207 ... c Min unsat cost LB: 80208 ... c Min unsat cost LB: 80212 ... c Min unsat cost LB: 80223 ... c Min unsat cost LB: 80224 ... c Min unsat cost LB: 80225 ... c Min unsat cost LB: 80227 ... c Min unsat cost LB: 80231 ... c Min unsat cost LB: 80232 ... c Min unsat cost LB: 80233 ... c Min unsat cost LB: 80238 ... c Min unsat cost LB: 80241 ... c Min unsat cost LB: 80243 ... c Min unsat cost LB: 80245 ... c Min unsat cost LB: 80246 ... c Min unsat cost LB: 80247 ... c Min unsat cost LB: 80248 ... c Min unsat cost LB: 80249 ... c Min unsat cost LB: 80250 ... c Min unsat cost LB: 80251 ... c Min unsat cost LB: 80252 ... c Min unsat cost LB: 80264 ... c Min unsat cost LB: 80265 ... c Min unsat cost LB: 80274 ... c Min unsat cost LB: 80279 ... c Min unsat cost LB: 80286 ... c Min unsat cost LB: 80309 ... c Min unsat cost LB: 80315 ... c Min unsat cost LB: 80319 ... c Min unsat cost LB: 80470 ... c Min unsat cost LB: 80477 ... c Min unsat cost LB: 80483 ... c Min unsat cost LB: 80489 ... c Min unsat cost LB: 80490 ... c Min unsat cost LB: 80494 ... c Min unsat cost LB: 80495 ... c Min unsat cost LB: 80496 ... c Min unsat cost LB: 80497 ... c Min unsat cost LB: 80499 ... c Min unsat cost LB: 80517 ... c Min unsat cost LB: 80541 ... c Min unsat cost LB: 80542 ... c Min unsat cost LB: 80582 ... c Min unsat cost LB: 80584 ... c Min unsat cost LB: 80585 ... c Min unsat cost LB: 80586 ... c Min unsat cost LB: 80591 ... c Min unsat cost LB: 80601 ... c Min unsat cost LB: 80607 ... c Min unsat cost LB: 80608 ... c Min unsat cost LB: 80609 ... c Min unsat cost LB: 80611 ... c Min unsat cost LB: 80612 ... c Min unsat cost LB: 80613 ... c Min unsat cost LB: 80623 ... c Min unsat cost LB: 80624 ... c Min unsat cost LB: 80625 ... c Min unsat cost LB: 80627 ... c Min unsat cost LB: 80629 ... c Min unsat cost LB: 80632 ... c Min unsat cost LB: 80639 ... c Min unsat cost LB: 80641 ... c Min unsat cost LB: 80642 ... c Min unsat cost LB: 80643 ... c Min unsat cost LB: 80644 ... c Min unsat cost LB: 80645 ... c Min unsat cost LB: 80646 ... c Min unsat cost LB: 80652 ... c Min unsat cost LB: 80653 ... c Min unsat cost LB: 80656 ... c Min unsat cost LB: 80668 ... c Min unsat cost LB: 80674 ... c Min unsat cost LB: 80677 ... c Min unsat cost LB: 80679 ... c Min unsat cost LB: 80680 ... c Min unsat cost LB: 80681 ... c Min unsat cost LB: 80682 ... c Min unsat cost LB: 80683 ... c Min unsat cost LB: 80685 ... c Min unsat cost LB: 80692 ... c Min unsat cost LB: 80693 ... c Min unsat cost LB: 80694 ... c Min unsat cost LB: 80695 ... c Min unsat cost LB: 80696 ... c Min unsat cost LB: 80697 ... c Min unsat cost LB: 80698 ... c Min unsat cost LB: 80700 ... c Min unsat cost LB: 80701 ... c Min unsat cost LB: 80702 ... c Min unsat cost LB: 80703 ... c Min unsat cost LB: 80706 ... c Min unsat cost LB: 80707 ... c Min unsat cost LB: 80708 ... c Min unsat cost LB: 80710 ... c Min unsat cost LB: 80711 ... c Min unsat cost LB: 80712 ... c Min unsat cost LB: 80713 ... c Min unsat cost LB: 80714 ... c Min unsat cost LB: 80715 ... c Min unsat cost LB: 80716 ... c Min unsat cost LB: 80717 ... c Min unsat cost LB: 80718 ... c Min unsat cost LB: 80719 ... c Min unsat cost LB: 80720 ... c Min unsat cost LB: 80721 ... c Min unsat cost LB: 80722 ... c Min unsat cost LB: 80723 ... c Min unsat cost LB: 80724 ... c Min unsat cost LB: 80725 ... c Min unsat cost LB: 80728 ... c Min unsat cost LB: 80729 ... c Min unsat cost LB: 80736 ... c Min unsat cost LB: 80741 ... c Min unsat cost LB: 80742 ... c Min unsat cost LB: 80745 ... c Min unsat cost LB: 80746 ... c Min unsat cost LB: 80748 ... c Min unsat cost LB: 80749 ... c Min unsat cost LB: 80750 ... c Min unsat cost LB: 80751 ... c Min unsat cost LB: 80752 ... c Min unsat cost LB: 80753 ... c Min unsat cost LB: 80754 ... c Min unsat cost LB: 80756 ... c Min unsat cost LB: 80757 ... c Min unsat cost LB: 80758 ... c Min unsat cost LB: 80759 ... c Min unsat cost LB: 80760 ... c Min unsat cost LB: 80761 ... c Min unsat cost LB: 80762 ... c Min unsat cost LB: 80763 ... c Min unsat cost LB: 80764 ... c Min unsat cost LB: 80765 ... c Min unsat cost LB: 80766 ... c Min unsat cost LB: 80767 ... c Min unsat cost LB: 80768 ... c Min unsat cost LB: 80770 ... c Min unsat cost LB: 80774 ... c Min unsat cost LB: 80775 ... c Min unsat cost LB: 80776 ... c Min unsat cost LB: 80777 ... c Min unsat cost LB: 80779 ... c Min unsat cost LB: 80780 ... c Min unsat cost LB: 80781 ... c Min unsat cost LB: 80782 ... c Min unsat cost LB: 80783 ... c Min unsat cost LB: 80786 ... c Min unsat cost LB: 80787 ... c Min unsat cost LB: 80793 ... c Min unsat cost LB: 80803 ... c Min unsat cost LB: 80836 ... c Min unsat cost LB: 80838 ... c Min unsat cost LB: 80839 ... c Min unsat cost LB: 80841 ... c Min unsat cost LB: 80889 ... c Min unsat cost LB: 80890 ... c Min unsat cost LB: 80899 ... c Min unsat cost LB: 80928 ... c Min unsat cost LB: 80929 ... c Min unsat cost LB: 80945 ... c Min unsat cost LB: 80946 ... c Min unsat cost LB: 80962 ... c Min unsat cost LB: 80963 ... c Min unsat cost LB: 80965 ... c Min unsat cost LB: 80966 ... c Min unsat cost LB: 80970 ... c Min unsat cost LB: 80973 ... c Min unsat cost LB: 80983 ... c Min unsat cost LB: 80990 ... c Min unsat cost LB: 80991 ... c Min unsat cost LB: 80992 ... c Min unsat cost LB: 80993 ... c Min unsat cost LB: 80994 ... c Min unsat cost LB: 80995 ... c Min unsat cost LB: 80996 ... c Min unsat cost LB: 81000 ... c Min unsat cost LB: 81001 ... c Min unsat cost LB: 81015 ... c Min unsat cost LB: 81020 ... c Min unsat cost LB: 81043 ... c Min unsat cost LB: 81044 ... c Min unsat cost LB: 81045 ... c Min unsat cost LB: 81049 ... c Min unsat cost LB: 81052 ... c Min unsat cost LB: 81054 ... c Min unsat cost LB: 81058 ... c Min unsat cost LB: 81067 ... c Min unsat cost LB: 81068 ... c Min unsat cost LB: 81069 ... c Min unsat cost LB: 81070 ... c Min unsat cost LB: 81076 ... c Min unsat cost LB: 81077 ... c Min unsat cost LB: 81081 ... c Min unsat cost LB: 81088 ... c Min unsat cost LB: 81094 ... c Min unsat cost LB: 81095 ... c Min unsat cost LB: 81096 ... c Min unsat cost LB: 81097 ... c Min unsat cost LB: 81098 ... c Min unsat cost LB: 81100 ... c Min unsat cost LB: 81101 ... c Min unsat cost LB: 81103 ... c Min unsat cost LB: 81104 ... c Min unsat cost LB: 81105 ... c Min unsat cost LB: 81106 ... c Min unsat cost LB: 81107 ... c Min unsat cost LB: 81108 ... c Min unsat cost LB: 81109 ... c Min unsat cost LB: 81110 ... c Min unsat cost LB: 81111 ... c Min unsat cost LB: 81114 ... c Min unsat cost LB: 81116 ... c Min unsat cost LB: 81117 ... c Min unsat cost LB: 81118 ... c Min unsat cost LB: 81119 ... c Min unsat cost LB: 81120 ... c Min unsat cost LB: 81122 ... c Min unsat cost LB: 81123 ... c Min unsat cost LB: 81126 ... c Min unsat cost LB: 81127 ... c Min unsat cost LB: 81132 ... c Min unsat cost LB: 81133 ... c Min unsat cost LB: 81134 ... c Min unsat cost LB: 81135 ... c Min unsat cost LB: 81136 ... c Min unsat cost LB: 81137 ... c Min unsat coKilled 1812.719u 7.020s 30:23.51 99.7% 0+0k 0+0io 0pf+0w