Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_190_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0000.txt.wcnf *** c c Min unsat cost LB: 845 ... c Min unsat cost LB: 1388 ... c Min unsat cost LB: 1452 ... c Min unsat cost LB: 2297 ... c Min unsat cost LB: 2361 ... c Min unsat cost LB: 3206 ... c Min unsat cost LB: 3508 ... c Min unsat cost LB: 4845 ... c Min unsat cost LB: 5388 ... c Min unsat cost LB: 5931 ... c Min unsat cost LB: 5995 ... c Min unsat cost LB: 6059 ... c Min unsat cost LB: 6482 ... c Min unsat cost LB: 6602 ... c Min unsat cost LB: 7939 ... c Min unsat cost LB: 8003 ... c Min unsat cost LB: 8067 ... c Min unsat cost LB: 8131 ... c Min unsat cost LB: 8195 ... c Min unsat cost LB: 8618 ... c Min unsat cost LB: 8738 ... c Min unsat cost LB: 8802 ... c Min unsat cost LB: 8866 ... c Min unsat cost LB: 8930 ... c Min unsat cost LB: 8994 ... c Min unsat cost LB: 9058 ... c Min unsat cost LB: 9122 ... c Min unsat cost LB: 9417 ... c Min unsat cost LB: 10262 ... c Min unsat cost LB: 10805 ... c Min unsat cost LB: 12142 ... c Min unsat cost LB: 13479 ... c Min unsat cost LB: 14816 ... c Min unsat cost LB: 14837 ... c Min unsat cost LB: 16153 ... c Min unsat cost LB: 16195 ... c Min unsat cost LB: 16300 ... c Min unsat cost LB: 16843 ... c Min unsat cost LB: 17335 ... c Min unsat cost LB: 18201 ... c Min unsat cost LB: 19496 ... c Min unsat cost LB: 19559 ... c Min unsat cost LB: 19800 ... c Min unsat cost LB: 20645 ... c Min unsat cost LB: 21188 ... c Min unsat cost LB: 22221 ... c Min unsat cost LB: 22546 ... c Min unsat cost LB: 22848 ... c Min unsat cost LB: 23860 ... c Min unsat cost LB: 24705 ... c Min unsat cost LB: 25051 ... c Min unsat cost LB: 25072 ... c Min unsat cost LB: 25313 ... c Min unsat cost LB: 26650 ... c Min unsat cost LB: 26953 ... c Min unsat cost LB: 26974 ... c Min unsat cost LB: 27445 ... c Min unsat cost LB: 28803 ... c Min unsat cost LB: 30109 ... c Min unsat cost LB: 30140 ... c Min unsat cost LB: 30985 ... c Min unsat cost LB: 31890 ... c Min unsat cost LB: 32795 ... c Min unsat cost LB: 33098 ... c Min unsat cost LB: 33551 ... c Min unsat cost LB: 34396 ... c Min unsat cost LB: 35754 ... c Min unsat cost LB: 35765 ... c Min unsat cost LB: 35914 ... c Min unsat cost LB: 36819 ... c Min unsat cost LB: 37272 ... c Min unsat cost LB: 37724 ... c Min unsat cost LB: 38177 ... c Min unsat cost LB: 38472 ... c Min unsat cost LB: 38776 ... c Min unsat cost LB: 38896 ... c Min unsat cost LB: 39409 ... c Min unsat cost LB: 40623 ... c Min unsat cost LB: 41075 ... c Min unsat cost LB: 41219 ... c Min unsat cost LB: 42577 ... c Min unsat cost LB: 43914 ... c Min unsat cost LB: 43935 ... c Min unsat cost LB: 44448 ... c Min unsat cost LB: 45662 ... c Min unsat cost LB: 46999 ... c Min unsat cost LB: 47512 ... c Min unsat cost LB: 47935 ... c Min unsat cost LB: 48474 ... c Min unsat cost LB: 48652 ... c Min unsat cost LB: 48954 ... c Min unsat cost LB: 49467 ... c Min unsat cost LB: 49920 ... c Min unsat cost LB: 50171 ... c Min unsat cost LB: 50235 ... c Min unsat cost LB: 50658 ... c Min unsat cost LB: 51482 ... c Min unsat cost LB: 51670 ... c Min unsat cost LB: 51734 ... c Min unsat cost LB: 52157 ... c Min unsat cost LB: 52639 ... c Min unsat cost LB: 52826 ... c Min unsat cost LB: 54163 ... c Min unsat cost LB: 54227 ... c Min unsat cost LB: 54414 ... c Min unsat cost LB: 54478 ... c Min unsat cost LB: 55825 ... c Min unsat cost LB: 55889 ... c Min unsat cost LB: 55953 ... c Min unsat cost LB: 56017 ... c Min unsat cost LB: 56081 ... c Min unsat cost LB: 57137 ... c Min unsat cost LB: 57201 ... c Min unsat cost LB: 58106 ... c Min unsat cost LB: 58170 ... c Min unsat cost LB: 58234 ... c Min unsat cost LB: 58298 ... c Min unsat cost LB: 58362 ... c Min unsat cost LB: 59217 ... c Min unsat cost LB: 59640 ... c Min unsat cost LB: 59880 ... c Min unsat cost LB: 60355 ... c Min unsat cost LB: 61200 ... c Min unsat cost LB: 61264 ... c Min unsat cost LB: 61431 ... c Min unsat cost LB: 61470 ... c Min unsat cost LB: 61870 ... c Min unsat cost LB: 61934 ... c Min unsat cost LB: 62779 ... c Min unsat cost LB: 62843 ... c Min unsat cost LB: 63684 ... c Min unsat cost LB: 63748 ... c Min unsat cost LB: 63973 ... c Min unsat cost LB: 64342 ... c Min unsat cost LB: 64593 ... c Min unsat cost LB: 64657 ... c Min unsat cost LB: 65288 ... c Min unsat cost LB: 65502 ... c Min unsat cost LB: 65566 ... c Min unsat cost LB: 65630 ... c Min unsat cost LB: 66587 ... c Min unsat cost LB: 66774 ... c Min unsat cost LB: 66838 ... c Min unsat cost LB: 66902 ... c Min unsat cost LB: 67004 ... c Min unsat cost LB: 67068 ... c Min unsat cost LB: 67132 ... c Min unsat cost LB: 67196 ... c Min unsat cost LB: 67260 ... c Min unsat cost LB: 67324 ... c Min unsat cost LB: 67345 ... c Min unsat cost LB: 67575 ... c Min unsat cost LB: 67596 ... c Min unsat cost LB: 67660 ... c Min unsat cost LB: 68040 ... c Min unsat cost LB: 68236 ... c Min unsat cost LB: 68997 ... c Min unsat cost LB: 69573 ... c Min unsat cost LB: 70334 ... c Min unsat cost LB: 70398 ... c Min unsat cost LB: 70462 ... c Min unsat cost LB: 70526 ... c Min unsat cost LB: 70590 ... c Min unsat cost LB: 70654 ... c Min unsat cost LB: 70718 ... c Min unsat cost LB: 70816 ... c Min unsat cost LB: 70823 ... c Min unsat cost LB: 70887 ... c Min unsat cost LB: 71007 ... c Min unsat cost LB: 71430 ... c Min unsat cost LB: 71494 ... c Min unsat cost LB: 72831 ... c Min unsat cost LB: 72852 ... c Min unsat cost LB: 73018 ... c Min unsat cost LB: 73082 ... c Min unsat cost LB: 73269 ... c Min unsat cost LB: 73808 ... c Min unsat cost LB: 73947 ... c Min unsat cost LB: 74353 ... c Min unsat cost LB: 75022 ... c Min unsat cost LB: 75198 ... c Min unsat cost LB: 75535 ... c Min unsat cost LB: 75792 ... c Min unsat cost LB: 76080 ... c Min unsat cost LB: 76925 ... c Min unsat cost LB: 76984 ... c Min unsat cost LB: 77560 ... c Min unsat cost LB: 78103 ... c Min unsat cost LB: 78281 ... c Min unsat cost LB: 78473 ... c Min unsat cost LB: 78550 ... c Min unsat cost LB: 78674 ... c Min unsat cost LB: 78696 ... c Min unsat cost LB: 78883 ... c Min unsat cost LB: 79085 ... c Min unsat cost LB: 79252 ... c Min unsat cost LB: 79503 ... c Min unsat cost LB: 79619 ... c Min unsat cost LB: 79844 ... c Min unsat cost LB: 80010 ... c Min unsat cost LB: 80132 ... c Min unsat cost LB: 80276 ... c Min unsat cost LB: 80641 ... c Min unsat cost LB: 80705 ... c Min unsat cost LB: 81181 ... c Min unsat cost LB: 81453 ... c Min unsat cost LB: 81529 ... c Min unsat cost LB: 81593 ... c Min unsat cost LB: 81717 ... c Min unsat cost LB: 82019 ... c Min unsat cost LB: 82223 ... c Min unsat cost LB: 82452 ... c Min unsat cost LB: 82562 ... c Min unsat cost LB: 82729 ... c Min unsat cost LB: 82941 ... c Min unsat cost LB: 82980 ... c Min unsat cost LB: 83064 ... c Min unsat cost LB: 83127 ... c Min unsat cost LB: 83341 ... c Min unsat cost LB: 83503 ... c Min unsat cost LB: 83585 ... c Min unsat cost LB: 83898 ... c Min unsat cost LB: 84536 ... c Min unsat cost LB: 84795 ... c Min unsat cost LB: 85235 ... c Min unsat cost LB: 85352 ... c Min unsat cost LB: 85843 ... c Min unsat cost LB: 85844 ... c Min unsat cost LB: 86251 ... c Min unsat cost LB: 86508 ... c Min unsat cost LB: 86856 ... c Min unsat cost LB: 87181 ... c Min unsat cost LB: 87781 ... c Min unsat cost LB: 87804 ... c Min unsat cost LB: 88232 ... c Min unsat cost LB: 88268 ... c Min unsat cost LB: 88691 ... c Min unsat cost LB: 88977 ... c Min unsat cost LB: 89124 ... c Min unsat cost LB: 89137 ... c Min unsat cost LB: 89440 ... c Min unsat cost LB: 89556 ... c Min unsat cost LB: 89560 ... c Min unsat cost LB: 89620 ... c Min unsat cost LB: 89624 ... c Min unsat cost LB: 89641 ... c Min unsat cost LB: 89684 ... c Min unsat cost LB: 89748 ... c Min unsat cost LB: 89812 ... c Min unsat cost LB: 89876 ... c Min unsat cost LB: 89887 ... c Min unsat cost LB: 89940 ... c Min unsat cost LB: 90004 ... c Min unsat cost LB: 90068 ... c Min unsat cost LB: 90089 ... c Min unsat cost LB: 90099 ... c Min unsat cost LB: 90163 ... c Min unsat cost LB: 90196 ... c Min unsat cost LB: 90227 ... c Min unsat cost LB: 90260 ... c Min unsat cost LB: 90302 ... c Min unsat cost LB: 90324 ... c Min unsat cost LB: 90383 ... c Min unsat cost LB: 90447 ... c Min unsat cost LB: 90505 ... c Min unsat cost LB: 90565 ... c Min unsat cost LB: 90607 ... c Min unsat cost LB: 90867 ... c Min unsat cost LB: 90931 ... c Min unsat cost LB: 91109 ... c Min unsat cost LB: 91410 ... c Min unsat cost LB: 91605 ... c Min unsat cost LB: 91651 ... c Min unsat cost LB: 92043 ... c Min unsat cost LB: 92161 ... c Min unsat cost LB: 92182 ... c Min unsat cost LB: 92188 ... c Min unsat cost LB: 92192 ... c Min unsat cost LB: 92214 ... c Min unsat cost LB: 92238 ... c Min unsat cost LB: 92252 ... c Min unsat cost LB: 92260 ... c Min unsat cost LB: 92384 ... c Min unsat cost LB: 92411 ... c Min unsat cost LB: 92653 ... c Min unsat cost LB: 92774 ... c Min unsat cost LB: 92928 ... c Min unsat cost LB: 92992 ... c Min unsat cost LB: 93003 ... c Min unsat cost LB: 93019 ... c Min unsat cost LB: 93407 ... c Min unsat cost LB: 93425 ... c Min unsat cost LB: 93647 ... c Min unsat cost LB: 93765 ... c Min unsat cost LB: 93816 ... c Min unsat cost LB: 93829 ... c Min unsat cost LB: 93855 ... c Min unsat cost LB: 93926 ... c Min unsat cost LB: 93929 ... c Min unsat cost LB: 93950 ... c Min unsat cost LB: 93952 ... c Min unsat cost LB: 94006 ... c Min unsat cost LB: 94108 ... c Min unsat cost LB: 94288 ... c Min unsat cost LB: 94671 ... c Min unsat cost LB: 94927 ... c Min unsat cost LB: 95099 ... c Min unsat cost LB: 95287 ... c Min unsat cost LB: 95663 ... c Min unsat cost LB: 95838 ... c Min unsat cost LB: 95859 ... c Min unsat cost LB: 96026 ... c Min unsat cost LB: 96112 ... c Min unsat cost LB: 96192 ... c Min unsat cost LB: 96364 ... c Min unsat cost LB: 96469 ... c Min unsat cost LB: 96713 ... c Min unsat cost LB: 96833 ... c Min unsat cost LB: 96851 ... c Min unsat cost LB: 96922 ... c Min unsat cost LB: 97000 ... c Min unsat cost LB: 97303 ... c Min unsat cost LB: 97374 ... c Min unsat cost LB: 97432 ... c Min unsat cost LB: 97495 ... c Min unsat cost LB: 97531 ... c Min unsat cost LB: 97559 ... c Min unsat cost LB: 97635 ... c Min unsat cost LB: 97642 ... c Min unsat cost LB: 97755 ... c Min unsat cost LB: 97907 ... c Min unsat cost LB: 97939 ... c Min unsat cost LB: 97955 ... c Min unsat cost LB: 98049 ... c Min unsat cost LB: 98056 ... c Min unsat cost LB: 98136 ... c Min unsat cost LB: 98137 ... c Min unsat cost LB: 98294 ... c Min unsat cost LB: 98307 ... c Min unsat cost LB: 98403 ... c Min unsat cost LB: 98467 ... c Min unsat cost LB: 98488 ... c Min unsat cost LB: 98580 ... c Min unsat cost LB: 98628 ... c Min unsat cost LB: 98662 ... c Min unsat cost LB: 98712 ... c Min unsat cost LB: 98729 ... c Min unsat cost LB: 98755 ... c Min unsat cost LB: 98766 ... c Min unsat cost LB: 98772 ... c Min unsat cost LB: 98787 ... c Min unsat cost LB: 98831 ... c Min unsat cost LB: 98842 ... c Min unsat cost LB: 98865 ... c Min unsat cost LB: 98869 ... c Min unsat cost LB: 98883 ... c Min unsat cost LB: 98998 ... c Min unsat cost LB: 99058 ... c Min unsat cost LB: 99221 ... c Min unsat cost LB: 99250 ... c Min unsat cost LB: 99291 ... c Min unsat cost LB: 99312 ... c Min unsat cost LB: 99314 ... c Min unsat cost LB: 99344 ... c Min unsat cost LB: 99363 ... c Min unsat cost LB: 99397 ... c Min unsat cost LB: 99441 ... c Min unsat cost LB: 99492 ... c Min unsat cost LB: 99556 ... c Min unsat cost LB: 99624 ... c Min unsat cost LB: 99627 ... c Min unsat cost LB: 99688 ... c Min unsat cost LB: 99690 ... c Min unsat cost LB: 99786 ... c Min unsat cost LB: 99795 ... c Min unsat cost LB: 99901 ... c Min unsat cost LB: 99905 ... c Min unsat cost LB: 99958 ... c Min unsat cost LB: 99969 ... c Min unsat cost LB: 100033 ... c Min unsat cost LB: 100041 ... c Min unsat cost LB: 100063 ... c Min unsat cost LB: 100092 ... c Min unsat cost LB: 100093 ... c Min unsat cost LB: 100117 ... c Min unsat cost LB: 100235 ... c Min unsat cost LB: 100319 ... c Min unsat cost LB: 100321 ... c Min unsat cost LB: 100335 ... c Min unsat cost LB: 100358 ... c Min unsat cost LB: 100479 ... c Min unsat cost LB: 100512 ... c Min unsat cost LB: 100518 ... c Min unsat cost LB: 100525 ... c Min unsat cost LB: 100640 ... c Min unsat cost LB: 100646 ... c Min unsat cost LB: 100737 ... c Min unsat cost LB: 100741 ... c Min unsat cost LB: 100844 ... c Min unsat cost LB: 100883 ... c Min unsat cost LB: 100904 ... c Min unsat cost LB: 100937 ... c Min unsat cost LB: 101005 ... c Min unsat cost LB: 101049 ... c Min unsat cost LB: 101124 ... c Min unsat cost LB: 101342 ... c Min unsat cost LB: 101518 ... c Min unsat cost LB: 101544 ... c Min unsat cost LB: 101555 ... c Min unsat cost LB: 101566 ... c Min unsat cost LB: 101577 ... c Min unsat cost LB: 101578 ... c Min unsat cost LB: 101586 ... c Min unsat cost LB: 101615 ... c Min unsat cost LB: 101617 ... c Min unsat cost LB: 101654 ... c Min unsat cost LB: 101735 ... c Min unsat cost LB: 101819 ... c Min unsat cost LB: 101843 ... c Min unsat cost LB: 101854 ... c Min unsat cost LB: 101862 ... c Min unsat cost LB: 101891 ... c Min unsat cost LB: 101912 ... c Min unsat cost LB: 101913 ... c Min unsat cost LB: 101934 ... c Min unsat cost LB: 101958 ... c Min unsat cost LB: 101959 ... c Min unsat cost LB: 101961 ... c Min unsat cost LB: 102004 ... c Min unsat cost LB: 102025 ... c Min unsat cost LB: 102055 ... c Min unsat cost LB: 102076 ... c Min unsat cost LB: 102078 ... c Min unsat cost LB: 102079 ... c Min unsat cost LB: 102095 ... c Min unsat cost LB: 102105 ... c Min unsat cost LB: 102138 ... c Min unsat cost LB: 102144 ... c Min unsat cost LB: 102145 ... c Min unsat cost LB: 102150 ... c Min unsat cost LB: 102151 ... c Min unsat cost LB: 102188 ... c Min unsat cost LB: 102199 ... c Min unsat cost LB: 102202 ... c Min unsat cost LB: 102208 ... c Min unsat cost LB: 102214 ... c Min unsat cost LB: 102218 ... c Min unsat cost LB: 102221 ... c Min unsat cost LB: 102222 ... c Min unsat cost LB: 102243 ... c Min unsat cost LB: 102245 ... c Min unsat cost LB: 102247 ... c Min unsat cost LB: 102254 ... c Min unsat cost LB: 102261 ... c Min unsat cost LB: 102267 ... c Min unsat cost LB: 102278 ... c Min unsat cost LB: 102279 ... c Min unsat cost LB: 102280 ... c Min unsat cost LB: 102281 ... c Min unsat cost LB: 102289 ... c Min unsat cost LB: 102314 ... c Min unsat cost LB: 102340 ... c Min unsat cost LB: 102348 ... c Min unsat cost LB: 102378 ... c Min unsat cost LB: 102395 ... c Min unsat cost LB: 102397 ... c Min unsat cost LB: 102406 ... c Min unsat cost LB: 102420 ... c Min unsat cost LB: 102425 ... c Min unsat cost LB: 102435 ... c Min unsat cost LB: 102437 ... c Min unsat cost LB: 102452 ... c Min unsat cost LB: 102456 ... c Min unsat cost LB: 102476 ... c Min unsat cost LB: 102490 ... c Min unsat cost LB: 102500 ... c Min unsat cost LB: 102504 ... c Min unsat cost LB: 102508 ... c Min unsat cost LB: 102512 ... c Min unsat cost LB: 102514 ... c Min unsat cost LB: 102520 ... c Min unsat cost LB: 102535 ... c Min unsat cost LB: 102537 ... c Min unsat cost LB: 102539 ... c Min unsat cost LB: 102540 ... c Min unsat cost LB: 102546 ... c Min unsat cost LB: 102559 ... c Min unsat cost LB: 102570 ... c Min unsat cost LB: 102579 ... c Min unsat cost LB: 102586 ... c Min unsat cost LB: 102602 ... c Min unsat cost LB: 102603 ... c Min unsat cost LB: 102616 ... c Min unsat cost LB: 102624 ... c Min unsat cost LB: 102635 ... c Min unsat cost LB: 102636 ... c Min unsat cost LB: 102643 ... c Min unsat cost LB: 102649 ... c Min unsat cost LB: 102659 ... c Min unsat cost LB: 102676 ... c Min unsat cost LB: 102677 ... c Min unsat cost LB: 102678 ... c Min unsat cost LB: 102682 ... c Min unsat cost LB: 102684 ... c Min unsat cost LB: 102693 ... c Min unsat cost LB: 102694 ... c Min unsat cost LB: 102699 ... c Min unsat cost LB: 102701 ... c Min unsat cost LB: 102703 ... c Min unsat cost LB: 102706 ... c Min unsat cost LB: 102708 ... c Min unsat cost LB: 102711 ... c Min unsat cost LB: 102712 ... c Min unsat cost LB: 102716 ... c Min unsat cost LB: 102717 ... c Min unsat cost LB: 102726 ... c Min unsat cost LB: 102731 ... c Min unsat cost LB: 102735 ... c Min unsat cost LB: 102737 ... c Min unsat cost LB: 102755 ... c Min unsat cost LB: 102757 ... c Min unsat cost LB: 102775 ... c Min unsat cost LB: 102776 ... c Min unsat cost LB: 102780 ... c Min unsat cost LB: 102787 ... c Min unsat cost LB: 102791 ... c Min unsat cost LB: 102801 ... c Min unsat cost LB: 102802 ... c Min unsat cost LB: 102803 ... c Min unsat cost LB: 102808 ... c Min unsat cost LB: 102810 ... c Min unsat cost LB: 102814 ... c Min unsat cost LB: 102815 ... c Min unsat cost LB: 102828 ... c Min unsat cost LB: 102844 ... c Min unsat cost LB: 102848 ... c Min unsat cost LB: 102849 ... c Min unsat cost LB: 102859 ... c Min unsat cost LB: 102866 ... c Min unsat cost LB: 102867 ... c Min unsat cost LB: 102875 ... c Min unsat cost LB: 102876 ... c Min unsat cost LB: 102877 ... c Min unsat cost LB: 102883 ... c Min unsat cost LB: 102885 ... c Min unsat cost LB: 102887 ... c Min unsat cost LB: 102890 ... c Min unsat cost LB: 102891 ... c Min unsat cost LB: 102893 ... c Min unsat cost LB: 102895 ... c Min unsat cost LB: 102896 ... c Min unsat cost LB: 102897 ... c Min unsat cost LB: 102901 ... c Min unsat cost LB: 102902 ... c Min unsat cost LB: 102906 ... c Min unsat cost LB: 102911 ... c Min unsat cost LB: 102914 ... c Min unsat cost LB: 102920 ... c Min unsat cost LB: 102924 ... c Min unsat cost LB: 102925 ... c Min unsat cost LB: 102926 ... c Min unsat cost LB: 102927 ... c Min unsat cost LB: 102929 ... c Min unsat cost LB: 102933 ... c Min unsat cost LB: 102935 ... c Min unsat cost LB: 102939 ... c Min unsat cost LB: 102942 ... c Min unsat cost LB: 102945 ... c Min unsat cost LB: 102946 ... c Min unsat cost LB: 102947 ... c Min unsat cost LB: 102948 ... c Min unsat cost LB: 102949 ... c Min unsat cost LB: 102950 ... c Min unsat cost LB: 102967 ... c Min unsat cost LB: 102968 ... c Min unsat cost LB: 103008 ... c Min unsat cost LB: 103022 ... c Min unsat cost LB: 103028 ... c Min unsat cost LB: 103045 ... c Min unsat cost LB: 103078 ... c Min unsat cost LB: 103081 ... c Min unsat cost LB: 103082 ... c Min unsat cost LB: 103083 ... c Min unsat cost LB: 103084 ... c Min unsat cost LB: 103086 ... c Min unsat cost LB: 103090 ... c Min unsat cost LB: 103096 ... c Min unsat cost LB: 103097 ... c Min unsat cost LB: 103100 ... c Min unsat cost LB: 103101 ... c Min unsat cost LB: 103107 ... c Min unsat cost LB: 103112 ... c Min unsat cost LB: 103118 ... c Min unsat cost LB: 103120 ... c Min unsat cost LB: 103123 ... c Min unsat cost LB: 103124 ... c Min unsat cost LB: 103126 ... c Min unsat cost LB: 103127 ... c Min unsat cost LB: 103128 ... c Min unsat cost LB: 103129 ... c Min unsat cost LB: 103131 ... c Min unsat cost LB: 103136 ... c Min unsat cost LB: 103140 ... c Min unsat cost LB: 103142 ... c Min unsat cost LB: 103143 ... c Min unsat cost LB: 103154 ... c Min unsat cost LB: 103172 ... c Min unsat cost LB: 103182 ... c Min unsat cost LB: 103197 ... c Min unsat cost LB: 103199 ... c Min unsat cost LB: 103214 ... c Min unsat cost LB: 103215 ... c Min unsat cost LB: 103218 ... c Min unsat cost LB: 103221 ... c Min unsat cost LB: 103223 ... c Min unsat cost LB: 103224 ... c Min unsat cost LB: 103227 ... c Min unsat cost LB: 103239 ... c Min unsat cost LB: 103241 ... c Min unsat cost LB: 103242 ... c Min unsat cost LB: 103243 ... c Min unsat cost LB: 103250 ... c Min unsat cost LB: 103252 ... c Min unsat cost LB: 103257 ... c Min unsat cost LB: 103272 ... c Min unsat cost LB: 103305 ... c Min unsat cost LB: 103388 ... c Min unsat cost LB: 103392 ... c Min unsat cost LB: 103398 ... c Min unsat cost LB: 103399 ... c Min unsat cost LB: 103400 ... c Min unsat cost LB: 103404 ... c Min unsat cost LB: 103406 ... c Min unsat cost LB: 103417 ... c Min unsat cost LB: 103421 ... c Min unsat cost LB: 103431 ... c Min unsat cost LB: 103449 ... c Min unsat cost LB: 103450 ... c Min unsat cost LB: 103469 ... c Min unsat cost LB: 103552 ... c Min unsat cost LB: 103563 ... c Min unsat cost LB: 103578 ... c Min unsat cost LB: 103585 ... c Min unsat cost LB: 103587 ... c Min unsat cost LB: 103591 ... c Min unsat cost LB: 103594 ... c Min unsat cost LB: 103605 ... c Min unsat cost LB: 103612 ... c Min unsat cost LB: 103641 ... c Min unsat cost LB: 103648 ... c Min unsat cost LB: 103650 ... c Min unsat cost LB: 103653 ... c Min unsat cost LB: 103659 ... c Min unsat cost LB: 103664 ... c Min unsat cost LB: 103669 ... c Min unsat cost LB: 103698 ... c Min unsat cost LB: 103699 ... c Min unsat cost LB: 103700 ... c Min unsat cost LB: 103703 ... c Min unsat cost LB: 103704 ... c Min unsat cost LB: 103705 ... c Min unsat cost LB: 103706 ... c Min unsat cost LB: 103707 ... c Min unsat cost LB: 103713 ... c Min unsat cost LB: 103714 ... c Min unsat cost LB: 103715 ... c Min unsat cost LB: 103723 ... c Min unsat cost LB: 103724 ... c Min unsat cost LB: 103725 ... c Min unsat cost LB: 103726 ... c Min unsat cost LB: 103729 ... c Min unsat cost LB: 103730 ... c Min unsat cost LB: 103732 ... c Min unsat cost LB: 103736 ... c Min unsat cost LB: 103737 ... c Min unsat cost LB: 103738 ... c Min unsat cost LB: 103739 ... c Min unsat cost LB: 103742 ... c Min unsat cost LB: 103750 ... c Min unsat cost LB: 103766 ... c Min unsat cost LB: 103767 ... c Min unsat cost LB: 103769 ... c Min unsat cost LB: 103773 ... c Min unsat cost LB: 103774 ... c Min unsat cost LB: 103777 ... c Min unsat cost LB: 103781 ... c Min unsat cost LB: 103782 ... c Min unsat cost LB: 103801 ... c Min unsat cost LB: 103803 ... c Min unsat cost LB: 103804 ... c Min unsat cost LB: 103806 ... c Min unsat cost LB: 103808 ... c Min unsat cost LB: 103810 ... c Min unsat cost LB: 103811 ... c Min unsat cost LB: 103812 ... c Min unsat cost LB: 103813 ... c Min unsat cost LB: 103814 ... c Min unsat cost LB: 103815 ... c Min unsat cost LB: 103816 ... c Min unsat cost LB: 103819 ... c Min unsat cost LB: 103820 ... c Min unsat cost LB: 103821 ... c Min unsat cost LB: 103822 ... c Min unsat cost LB: 103824 ... c Min unsat cost LB: 103825 ... c Min unsat cost LB: 103826 ... c Min unsat cost LB: 103827 ... c Min unsat cost LB: 103891 ... c Min unsat cost LB: 104005 ... c Min unsat cost LB: 104022 ... c Min unsat cost LB: 104128 ... c Min unsat cost LB: 104144 ... c Min unsat cost LB: 104146 ... c Min unsat cost LB: 104366 ... c Min unsat cost LB: 104388 ... c Min unsat cost LB: 104415 ... c Min unsat cost LB: 104435 ... c Min unsat cost LB: 104439 ... c Min unsat cost LB: 104440 ... c Min unsat cost LB: 104442 ... c Min unsat cost LB: 104443 ... c Min unsat cost LB: 104444 ... c Min unsat cost LB: 104445 ... c Min unsat cost LB: 104448 ... c Min unsat cost LB: 104449 ... c Min unsat cost LB: 104458 ... c Min unsat cost LB: 104489 ... c Min unsat cost LB: 104493 ... c Min unsat cost LB: 104494 ... c Min unsat cost LB: 104495 ... c Min unsat cost LB: 104501 ... c Min unsat cost LB: 104502 ... c Min unsat cost LB: 104503 ... c Min unsat cost LB: 104504 ... c Min unsat cost LB: 104505 ... c Min unsat cost LB: 104506 ... c Min unsat cost LB: 104507 ... c Min unsat cost LB: 104508 ... c Min unsat cost LB: 104509 ... c Min unsat cost LB: 104510 ... c Min unsat cost LB: 104511 ... c Min unsat cost LB: 104512 ... c Min unsat cost LB: 104513 ... c Min unsat cost LB: 104514 ... c Min unsat cost LB: 104516 ... c Min unsat cost LB: 104553 ... c Min unsat cost LB: 104558 ... c Min unsat cost LB: 104671 ... c Min unsat cost LB: 104702 ... c Min unsat cost LB: 104704 ... c Min unsat cost LB: 104733 ... c Min unsat cost LB: 104734 ... c Min unsat cost LB: 104784 ... c Min unsat cost LB: 104785 ... c Min unsat cost LB: 104786 ... c Min unsat cost LB: 104787 ... c Min unsat cost LB: 104788 ... c Min unsat cost LB: 104789 ... c Min unsat cost LB: 104792 ... c Min unsat cost LB: 104857 ... c Min unsat cost LB: 104919 ... c Min unsat cost LB: 104927 ... c Min unsat cost LB: 104928 ... c Min unsat cost LB: 104929 ... c Min unsat cost LB: 104930 ... c Min unsat cost LB: 104931 ... c Min unsat cost LB: 104932 ... c Min unsat cost LB: 104933 ... c Min unsat cost LB: 104934 ... c Min unsat cost LB: 104935 ... c Min unsat cost LB: 104936 ... c Min unsat cost LB: 104937 ... c Min unsat cost LB: 104938 ... c Min unsat cost LB: 104939 ... c Min unsat cost LB: 104940 ... c Min unsat cost LB: 104941 ... c Min unsat cost LB: 104942 ... c Min unsat cost LB: 104943 ... c Min unsat cost LB: 104944 ... c Min unsat cost LB: 104945 ... c Min unsat cost LB: 104947 ... c Min unsat cost LB: 104948 ... c Min unsat cost LB: 104949 ... c Min unsat cost LB: 104950 ... c Min unsat cost LB: 104951 ... c Min unsat cost LB: 104952 ... c Min unsat cost LB: 104954 ... c Min unsat cost LB: 104963 ... c Min unsat cost LB: 104964 ... c Min unsat cost LB: 104965 ... c Min unsat cost LB: 104966 ... c Min unsat cost LB: 104967 ... c Min unsat cost LB: 104968 ... c Min unsat cost LB: 104970 ... c Min unsat cost LB: 104971 ... c Min unsat cost LB: 104972 ... c Min unsat cost LB: 104973 ... c Min unsat cost LB: 104974 ... c Min unsat cost LB: 104975 ... c Min unsat cost LB: 104986 ... c Min unsat cost LB: 104987 ... c Min unsat cost LB: 104988 ... c Min unsat cost LB: 104990 ... c Min unsat cost LB: 104998 ... c Min unsat cost LB: 104999 ... c Min unsat cost LB: 105000 ... c Min unsat cost LB: 105001 ... c Min unsat cost LB: 105002 ... c Min unsat cost LB: 105003 ... c Min unsat cost LB: 105004 ... c Min unsat cost LB: 105005 ... c Min unsat cost LB: 105006 ... c Min unsat cost LB: 105007 ... c Min unsat cost LB: 105008 ... c Min unsat cost LB: 105010 ... c Min unsat cost LB: 105011 ... c Min unsat cost LB: 105012 ... c Min unsat cost LB: 105013 ... c Min unsat cost LB: 105014 ... c Min unsat cost LB: 105015 ... c Min unsat cost LB: 105016 ... c Min unsat cost LB: 105017 ... c Min unsat cost LB: 105018 ... c Min unsat cost LB: 105019 ... c Min unsat cost LB: 105029 ... c Min unsat cost LB: 105030 ... c Min unsat cost LB: 105031 ... c Min unsat cost LB: 105032 ... c Min unsat cost LB: 105033 ... c Min unsat cost LB: 105034 ... c Min unsat cost LB: 105035 ... c Min unsat cost LB: 105036 ... c Min unsat cost LB: 105037 ... c Min unsat cost LB: 105048 ... c Min unsat cost LB: 105049 ... c Min unsat cost LB: 105051 ... c Min unsat cost LB: 105059 ... c Min unsat cost LB: 105060 ... c Min unsat cost LB: 105061 ... c Min unsat cost LB: 105062 ... c Min unsat cost LB: 105063 ... c Min unsat cost LB: 105065 ... c Min unsat cost LB: 105066 ... c Min unsat cost LB: 105067 ... c Min unsat cost LB: 105068 ... c Min unsat cost LB: 105069 ... c Min unsat cost LB: 105070 ... c Min unsat cost LB: 105071 ... c Min unsat cost LB: 105072 ... c Min unsat cost LB: 105073 ... c Min unsat cost LB: 105074 ... c Min unsat cost LB: 105075 ... c Min unsat cost LB: 105076 ... c Min unsat cost LB: 105079 ... c Min unsat cost LB: 105080 ... c Min unsat cost LB: 105082 ... c Min unsat cost LB: 105085 ... c Min unsat cost LB: 105086 ... c Min unsat cost LB: 105087 ... c Min unsat cost LB: 105088 ... c Min unsat cost LB: 105089 ... c Min unsat cost LB: 105090 ... c Min unsat cost LB: 105091 ... c Min unsat cost LB: 105092 ... c Min unsat cost LB: 105093 ... c Min unsat cost LB: 105094 ... c Min unsat cost LB: 105095 ... c Min unsat cost LB: 105096 ... c Min unsat cost LB: 105097 ... c Min unsat cost LB: 105099 ... c Min unsat cost LB: 105100 ... c Min unsat cost LB: 105101 ... c Min unsat cost LB: 105106 ... c Min unsat cost LB: 105107 ... c Min unsat cost LB: 105108 ... c Min unsat cost LB: 105110 ... c Min unsat cost LB: 105111 ... c Min unsat cost LB: 105112 ... c Min unsat cost LB: 105118 ... c Min unsat cost LB: 105121 ... c Min unsat cost LB: 105122 ... c Min unsat cost LB: 105125 ... c Min unsat cost LB: 105135 ... c Min unsat cost LB: 105146 ... c Min unsat cost LB: 105153 ... c Min unsat cost LB: 105154 ... c Min unsat cost LB: 105157 ... c Min unsat cost LB: 105162 ... c Min unsat cost LB: 105168 ... c Min unsat cost LB: 105185 ... c Min unsat cost LB: 105186 ... c Min unsat cost LB: 105195 ... c Min unsat cost LB: 105196 ... c Min unsat cost LB: 105198 ... c Min unsat cost LB: 105208 ... c Min unsat cost LB: 105210 ... c Min unsat cost LB: 105212 ... c Min unsat cost LB: 105213 ... c Min unsat cost LB: 105250 ... c Min unsat cost LB: 105264 ... c Min unsat cost LB: 105265 ... c Min unsat cost LB: 105266 ... c Min unsat cost LB: 105267 ... c Min unsat cost LB: 105268 ... c Min unsat cost LB: 105269 ... c Min unsat cost LB: 105270 ... c Min unsat cost LB: 105271 ... c Min unsat cost LB: 105272 ... c Min unsat cost LB: 105273 ... c Min unsat cost LB: 105274 ... c Min unsat cost LB: 105275 ... c Min unsat cost LB: 105276 ... c Min unsat cost LB: 105281 ... c Min unsat cost LB: 105282 ... c Min unsat cost LB: 105283 ... c Min unsat cost LB: 105284 ... c Min unsat cost LB: 105286 ... c Min unsat cost LB: 105290 ... c Min unsat cost LB: 105291 ... c Min unsat cost LB: 105292 ... c Min unsat cost LB: 105293 ... c Min unsat cost LB: 105294 ... c Min unsat cost LB: 105295 ... c Min unsat cost LB: 105296 ... c Min unsat cost LB: 105299 ... c Min unsat cost LB: 105301 ... c Min unsat cost LB: 105302 ... c Min unsat cost LB: 105303 ... c Min unsat cost LB: 105304 ... c Min unsat cost LB: 105307 ... c Min unsat cost LB: 105308 ... c Min unsat cost LB: 105309 ... c Min unsat cost LB: 105310 ... c Min unsat cost LB: 105311 ... c Min unsat cost LB: 105312 ... c Min unsat cost LB: 105313 ... c Min unsat cost LB: 105314 ... c Min unsat cost LB: 105315 ... c Min unsat cost LB: 105316 ... c Min unsat cost LB: 105318 ... c Min unsat cost LB: 105319 ... c Min unsat cost LB: 105320 ... c Min unsat cost LB: 105321 ... c Min unsat cost LB: 105322 ... c Min unsat cost LB: 105323 ... c Min unsat cost LB: 105325 ... c Min unsat cost LB: 105326 ... c Min unsat cost LB: 105327 ... c Min unsat cost LB: 105328 ... c Min unsat cost LB: 105329 ... c Min unsat cost LB: 105331 ... c Min unsat cost LB: 105332 ... c Min unsat cost LB: 105333 ... c Min unsat cost LB: 105334 ... c Min unsat cost LB: 105335 ... c Min unsat cost LB: 105336 ... c Min unsat cost LB: 105337 ... c Min unsat cost LB: 105338 ... c Min unsat cost LB: 105339 ... c Min unsat cost LB: 105340 ... c Min unsat cost LB: 105341 ... c Min unsat cost LB: 105342 ... c Min unsat cost LB: 105343 ... c Min unsat cost LB: 105346 ... c Min unsat cost LB: 105347 ... c Min unsat cost LB: 105348 ... c Min unsat cost LB: 105349 ... c Min unsat cost LB: 105356 ... c Min unsat cost LB: 105357 ... c Min unsat cost LB: 105360 ... c Min unsat cost LB: 105361 ... c Min unsat cost LB: 105364 ... c Min unsat cost LB: 105365 ... c Min unsat cost LB: 105366 ... c Min unsat cost LB: 105367 ... c Min unsat cost LB: 105368 ... c Min unsat cost LB: 105369 ... c Min unsat cost LB: 105370 ... c Min unsat cost LB: 105371 ... c Min unsat cost LB: 105372 ... c Min unsat cost LB: 105373 ... c Min unsat cost LB: 105374 ... c Min unsat cost LB: 105375 ... c Min unsat cost LB: 105379 ... c Min unsat cost LB: 105384 ... c Min unsat cost LB: 105385 ... c Min unsat cost LB: 105386 ... c Min unsat cost LB: 105387 ... c Min unsat cost LB: 105388 ... c Min unsat cost LB: 105389 ... c Min unsat cost LB: 105390 ... c Min unsat cost LB: 105391 ... c Min unsat cost LB: 105392 ... c Min unsat cost LB: 105393 ... c Min unsat cost LB: 105399 ... c Min unsat cost LB: 105404 ... c Min unsat cost LB: 105405 ... c Min unsat cost LB: 105406 ... c Min unsat cost LB: 105407 ... c Min unsat cost LB: 105408 ... c Min unsat cost LB: 105411 ... c Min unsat cost LB: 105419 ... c Min unsat cost LB: 105423 ... c Min unsat cost LB: 105425 ... c Min unsat cost LB: 105426 ... c Min unsatKilled 1814.574u 5.162s 30:21.66 99.8% 0+0k 0+0io 0pf+0w