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_200_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_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_SCHEDULING/cat_sched_60_200_0005.txt.wcnf *** c c Min unsat cost LB: 529 ... c Min unsat cost LB: 1332 ... c Min unsat cost LB: 1861 ... c Min unsat cost LB: 2664 ... c Min unsat cost LB: 2938 ... c Min unsat cost LB: 3467 ... c Min unsat cost LB: 3996 ... c Min unsat cost LB: 4799 ... c Min unsat cost LB: 5602 ... c Min unsat cost LB: 6131 ... c Min unsat cost LB: 6660 ... c Min unsat cost LB: 7463 ... c Min unsat cost LB: 7737 ... c Min unsat cost LB: 8266 ... c Min unsat cost LB: 8413 ... c Min unsat cost LB: 8942 ... c Min unsat cost LB: 9471 ... c Min unsat cost LB: 10000 ... c Min unsat cost LB: 10803 ... c Min unsat cost LB: 11077 ... c Min unsat cost LB: 11332 ... c Min unsat cost LB: 11714 ... c Min unsat cost LB: 11969 ... c Min unsat cost LB: 12263 ... c Min unsat cost LB: 12939 ... c Min unsat cost LB: 13066 ... c Min unsat cost LB: 13487 ... c Min unsat cost LB: 14016 ... c Min unsat cost LB: 14163 ... c Min unsat cost LB: 14437 ... c Min unsat cost LB: 15113 ... c Min unsat cost LB: 15495 ... c Min unsat cost LB: 15789 ... c Min unsat cost LB: 16171 ... c Min unsat cost LB: 16700 ... c Min unsat cost LB: 17229 ... c Min unsat cost LB: 17376 ... c Min unsat cost LB: 17631 ... c Min unsat cost LB: 18052 ... c Min unsat cost LB: 18728 ... c Min unsat cost LB: 18855 ... c Min unsat cost LB: 19531 ... c Min unsat cost LB: 20207 ... c Min unsat cost LB: 21081 ... c Min unsat cost LB: 21610 ... c Min unsat cost LB: 22139 ... c Min unsat cost LB: 22413 ... c Min unsat cost LB: 22795 ... c Min unsat cost LB: 22922 ... c Min unsat cost LB: 23343 ... c Min unsat cost LB: 23725 ... c Min unsat cost LB: 23872 ... c Min unsat cost LB: 24746 ... c Min unsat cost LB: 25148 ... c Min unsat cost LB: 25403 ... c Min unsat cost LB: 26277 ... c Min unsat cost LB: 27151 ... c Min unsat cost LB: 27827 ... c Min unsat cost LB: 27955 ... c Min unsat cost LB: 28210 ... c Min unsat cost LB: 28739 ... c Min unsat cost LB: 28829 ... c Min unsat cost LB: 29703 ... c Min unsat cost LB: 29830 ... c Min unsat cost LB: 30028 ... c Min unsat cost LB: 30302 ... c Min unsat cost LB: 30902 ... c Min unsat cost LB: 31776 ... c Min unsat cost LB: 31851 ... c Min unsat cost LB: 32290 ... c Min unsat cost LB: 32564 ... c Min unsat cost LB: 33036 ... c Min unsat cost LB: 33910 ... c Min unsat cost LB: 34784 ... c Min unsat cost LB: 35115 ... c Min unsat cost LB: 35607 ... c Min unsat cost LB: 36258 ... c Min unsat cost LB: 36406 ... c Min unsat cost LB: 37057 ... c Min unsat cost LB: 37218 ... c Min unsat cost LB: 37860 ... c Min unsat cost LB: 38389 ... c Min unsat cost LB: 39263 ... c Min unsat cost LB: 39385 ... c Min unsat cost LB: 40132 ... c Min unsat cost LB: 40661 ... c Min unsat cost LB: 40783 ... c Min unsat cost LB: 41305 ... c Min unsat cost LB: 41834 ... c Min unsat cost LB: 42356 ... c Min unsat cost LB: 42708 ... c Min unsat cost LB: 42983 ... c Min unsat cost LB: 43153 ... c Min unsat cost LB: 43280 ... c Min unsat cost LB: 43512 ... c Min unsat cost LB: 44034 ... c Min unsat cost LB: 44556 ... c Min unsat cost LB: 45078 ... c Min unsat cost LB: 45600 ... c Min unsat cost LB: 46001 ... c Min unsat cost LB: 46408 ... c Min unsat cost LB: 46652 ... c Min unsat cost LB: 47174 ... c Min unsat cost LB: 47717 ... c Min unsat cost LB: 48190 ... c Min unsat cost LB: 48712 ... c Min unsat cost LB: 48972 ... c Min unsat cost LB: 49494 ... c Min unsat cost LB: 49501 ... c Min unsat cost LB: 50016 ... c Min unsat cost LB: 50538 ... c Min unsat cost LB: 51060 ... c Min unsat cost LB: 51582 ... c Min unsat cost LB: 51863 ... c Min unsat cost LB: 52385 ... c Min unsat cost LB: 52670 ... c Min unsat cost LB: 52907 ... c Min unsat cost LB: 53429 ... c Min unsat cost LB: 53951 ... c Min unsat cost LB: 54303 ... c Min unsat cost LB: 54595 ... c Min unsat cost LB: 54765 ... c Min unsat cost LB: 54772 ... c Min unsat cost LB: 54995 ... c Min unsat cost LB: 55294 ... c Min unsat cost LB: 55816 ... c Min unsat cost LB: 56223 ... c Min unsat cost LB: 56338 ... c Min unsat cost LB: 56752 ... c Min unsat cost LB: 56860 ... c Min unsat cost LB: 57122 ... c Min unsat cost LB: 57382 ... c Min unsat cost LB: 57734 ... c Min unsat cost LB: 58086 ... c Min unsat cost LB: 58100 ... c Min unsat cost LB: 58622 ... c Min unsat cost LB: 58737 ... c Min unsat cost LB: 59259 ... c Min unsat cost LB: 59781 ... c Min unsat cost LB: 60232 ... c Min unsat cost LB: 60473 ... c Min unsat cost LB: 60894 ... c Min unsat cost LB: 61570 ... c Min unsat cost LB: 61697 ... c Min unsat cost LB: 61825 ... c Min unsat cost LB: 61953 ... c Min unsat cost LB: 62002 ... c Min unsat cost LB: 62179 ... c Min unsat cost LB: 62524 ... c Min unsat cost LB: 62531 ... c Min unsat cost LB: 62657 ... c Min unsat cost LB: 62708 ... c Min unsat cost LB: 62869 ... c Min unsat cost LB: 62911 ... c Min unsat cost LB: 63090 ... c Min unsat cost LB: 63207 ... c Min unsat cost LB: 63263 ... c Min unsat cost LB: 63354 ... c Min unsat cost LB: 63432 ... c Min unsat cost LB: 63579 ... c Min unsat cost LB: 63619 ... c Min unsat cost LB: 63853 ... c Min unsat cost LB: 64066 ... c Min unsat cost LB: 64194 ... c Min unsat cost LB: 64615 ... c Min unsat cost LB: 64869 ... c Min unsat cost LB: 65672 ... c Min unsat cost LB: 65755 ... c Min unsat cost LB: 65762 ... c Min unsat cost LB: 65946 ... c Min unsat cost LB: 66091 ... c Min unsat cost LB: 66201 ... c Min unsat cost LB: 66250 ... c Min unsat cost LB: 66291 ... c Min unsat cost LB: 66348 ... c Min unsat cost LB: 66475 ... c Min unsat cost LB: 66602 ... c Min unsat cost LB: 66753 ... c Min unsat cost LB: 66828 ... c Min unsat cost LB: 66955 ... c Min unsat cost LB: 67015 ... c Min unsat cost LB: 67093 ... c Min unsat cost LB: 67148 ... c Min unsat cost LB: 67184 ... c Min unsat cost LB: 67404 ... c Min unsat cost LB: 67525 ... c Min unsat cost LB: 67572 ... c Min unsat cost LB: 67699 ... c Min unsat cost LB: 68177 ... c Min unsat cost LB: 68660 ... c Min unsat cost LB: 68704 ... c Min unsat cost LB: 69012 ... c Min unsat cost LB: 69111 ... c Min unsat cost LB: 69534 ... c Min unsat cost LB: 69633 ... c Min unsat cost LB: 70007 ... c Min unsat cost LB: 70155 ... c Min unsat cost LB: 70270 ... c Min unsat cost LB: 70507 ... c Min unsat cost LB: 70556 ... c Min unsat cost LB: 70590 ... c Min unsat cost LB: 70634 ... c Min unsat cost LB: 70875 ... c Min unsat cost LB: 70882 ... c Min unsat cost LB: 71027 ... c Min unsat cost LB: 71068 ... c Min unsat cost LB: 71178 ... c Min unsat cost LB: 71362 ... c Min unsat cost LB: 71381 ... c Min unsat cost LB: 71528 ... c Min unsat cost LB: 71551 ... c Min unsat cost LB: 71558 ... c Min unsat cost LB: 71705 ... c Min unsat cost LB: 71719 ... c Min unsat cost LB: 71809 ... c Min unsat cost LB: 72073 ... c Min unsat cost LB: 72087 ... c Min unsat cost LB: 72209 ... c Min unsat cost LB: 72216 ... c Min unsat cost LB: 72338 ... c Min unsat cost LB: 72731 ... c Min unsat cost LB: 72860 ... c Min unsat cost LB: 73012 ... c Min unsat cost LB: 73182 ... c Min unsat cost LB: 73318 ... c Min unsat cost LB: 73511 ... c Min unsat cost LB: 73575 ... c Min unsat cost LB: 73590 ... c Min unsat cost LB: 73661 ... c Min unsat cost LB: 73771 ... c Min unsat cost LB: 73854 ... c Min unsat cost LB: 74097 ... c Min unsat cost LB: 74128 ... c Min unsat cost LB: 74244 ... c Min unsat cost LB: 74247 ... c Min unsat cost LB: 74397 ... c Min unsat cost LB: 74524 ... c Min unsat cost LB: 74619 ... c Min unsat cost LB: 74659 ... c Min unsat cost LB: 74745 ... c Min unsat cost LB: 75005 ... c Min unsat cost LB: 75053 ... c Min unsat cost LB: 75166 ... c Min unsat cost LB: 75175 ... c Min unsat cost LB: 75352 ... c Min unsat cost LB: 75657 ... c Min unsat cost LB: 75664 ... c Min unsat cost LB: 75697 ... c Min unsat cost LB: 75873 ... c Min unsat cost LB: 75938 ... c Min unsat cost LB: 75945 ... c Min unsat cost LB: 75976 ... c Min unsat cost LB: 75983 ... c Min unsat cost LB: 76094 ... c Min unsat cost LB: 76494 ... c Min unsat cost LB: 76583 ... c Min unsat cost LB: 76616 ... c Min unsat cost LB: 76728 ... c Min unsat cost LB: 76857 ... c Min unsat cost LB: 76918 ... c Min unsat cost LB: 77103 ... c Min unsat cost LB: 77348 ... c Min unsat cost LB: 77390 ... c Min unsat cost LB: 77400 ... c Min unsat cost LB: 77632 ... c Min unsat cost LB: 77750 ... c Min unsat cost LB: 77792 ... c Min unsat cost LB: 77922 ... c Min unsat cost LB: 78098 ... c Min unsat cost LB: 78130 ... c Min unsat cost LB: 78177 ... c Min unsat cost LB: 78184 ... c Min unsat cost LB: 78264 ... c Min unsat cost LB: 78320 ... c Min unsat cost LB: 78334 ... c Min unsat cost LB: 78386 ... c Min unsat cost LB: 78405 ... c Min unsat cost LB: 78446 ... c Min unsat cost LB: 78515 ... c Min unsat cost LB: 78759 ... c Min unsat cost LB: 78787 ... c Min unsat cost LB: 78854 ... c Min unsat cost LB: 78870 ... c Min unsat cost LB: 78937 ... c Min unsat cost LB: 78963 ... c Min unsat cost LB: 79251 ... c Min unsat cost LB: 79266 ... c Min unsat cost LB: 79426 ... c Min unsat cost LB: 79506 ... c Min unsat cost LB: 79512 ... c Min unsat cost LB: 79552 ... c Min unsat cost LB: 79561 ... c Min unsat cost LB: 79568 ... c Min unsat cost LB: 79578 ... c Min unsat cost LB: 79655 ... c Min unsat cost LB: 79770 ... c Min unsat cost LB: 79912 ... c Min unsat cost LB: 79940 ... c Min unsat cost LB: 79958 ... c Min unsat cost LB: 79992 ... c Min unsat cost LB: 80109 ... c Min unsat cost LB: 80231 ... c Min unsat cost LB: 80235 ... c Min unsat cost LB: 80277 ... c Min unsat cost LB: 80300 ... c Min unsat cost LB: 80495 ... c Min unsat cost LB: 80598 ... c Min unsat cost LB: 80642 ... c Min unsat cost LB: 80650 ... c Min unsat cost LB: 80714 ... c Min unsat cost LB: 80813 ... c Min unsat cost LB: 80829 ... c Min unsat cost LB: 80832 ... c Min unsat cost LB: 80890 ... c Min unsat cost LB: 80940 ... c Min unsat cost LB: 81119 ... c Min unsat cost LB: 81340 ... c Min unsat cost LB: 81371 ... c Min unsat cost LB: 81383 ... c Min unsat cost LB: 81415 ... c Min unsat cost LB: 81472 ... c Min unsat cost LB: 81657 ... c Min unsat cost LB: 81900 ... c Min unsat cost LB: 81945 ... c Min unsat cost LB: 82149 ... c Min unsat cost LB: 82318 ... c Min unsat cost LB: 82331 ... c Min unsat cost LB: 82447 ... c Min unsat cost LB: 82505 ... c Min unsat cost LB: 82617 ... c Min unsat cost LB: 82630 ... c Min unsat cost LB: 82667 ... c Min unsat cost LB: 82862 ... c Min unsat cost LB: 82898 ... c Min unsat cost LB: 82976 ... c Min unsat cost LB: 83098 ... c Min unsat cost LB: 83117 ... c Min unsat cost LB: 83151 ... c Min unsat cost LB: 83174 ... c Min unsat cost LB: 83200 ... c Min unsat cost LB: 83299 ... c Min unsat cost LB: 83300 ... c Min unsat cost LB: 83341 ... c Min unsat cost LB: 83349 ... c Min unsat cost LB: 83393 ... c Min unsat cost LB: 83402 ... c Min unsat cost LB: 83409 ... c Min unsat cost LB: 83443 ... c Min unsat cost LB: 83581 ... c Min unsat cost LB: 83627 ... c Min unsat cost LB: 83636 ... c Min unsat cost LB: 83641 ... c Min unsat cost LB: 83676 ... c Min unsat cost LB: 83708 ... c Min unsat cost LB: 83718 ... c Min unsat cost LB: 83793 ... c Min unsat cost LB: 83828 ... c Min unsat cost LB: 83829 ... c Min unsat cost LB: 83944 ... c Min unsat cost LB: 83956 ... c Min unsat cost LB: 84187 ... c Min unsat cost LB: 84202 ... c Min unsat cost LB: 84231 ... c Min unsat cost LB: 84330 ... c Min unsat cost LB: 84333 ... c Min unsat cost LB: 84364 ... c Min unsat cost LB: 84379 ... c Min unsat cost LB: 84443 ... c Min unsat cost LB: 84485 ... c Min unsat cost LB: 84542 ... c Min unsat cost LB: 84566 ... c Min unsat cost LB: 84582 ... c Min unsat cost LB: 84585 ... c Min unsat cost LB: 84632 ... c Min unsat cost LB: 84649 ... c Min unsat cost LB: 84691 ... c Min unsat cost LB: 84692 ... c Min unsat cost LB: 84710 ... c Min unsat cost LB: 84738 ... c Min unsat cost LB: 84777 ... c Min unsat cost LB: 84798 ... c Min unsat cost LB: 84888 ... c Min unsat cost LB: 84916 ... c Min unsat cost LB: 84920 ... c Min unsat cost LB: 84973 ... c Min unsat cost LB: 85018 ... c Min unsat cost LB: 85036 ... c Min unsat cost LB: 85045 ... c Min unsat cost LB: 85081 ... c Min unsat cost LB: 85095 ... c Min unsat cost LB: 85208 ... c Min unsat cost LB: 85215 ... c Min unsat cost LB: 85240 ... c Min unsat cost LB: 85254 ... c Min unsat cost LB: 85331 ... c Min unsat cost LB: 85354 ... c Min unsat cost LB: 85416 ... c Min unsat cost LB: 85430 ... c Min unsat cost LB: 85443 ... c Min unsat cost LB: 85455 ... c Min unsat cost LB: 85532 ... c Min unsat cost LB: 85559 ... c Min unsat cost LB: 85718 ... c Min unsat cost LB: 85759 ... c Min unsat cost LB: 85800 ... c Min unsat cost LB: 85808 ... c Min unsat cost LB: 85841 ... c Min unsat cost LB: 85850 ... c Min unsat cost LB: 85893 ... c Min unsat cost LB: 85894 ... c Min unsat cost LB: 85899 ... c Min unsat cost LB: 85902 ... c Min unsat cost LB: 85918 ... c Min unsat cost LB: 85919 ... c Min unsat cost LB: 85933 ... c Min unsat cost LB: 85947 ... c Min unsat cost LB: 85985 ... c Min unsat cost LB: 85999 ... c Min unsat cost LB: 86057 ... c Min unsat cost LB: 86072 ... c Min unsat cost LB: 86113 ... c Min unsat cost LB: 86183 ... c Min unsat cost LB: 86201 ... c Min unsat cost LB: 86219 ... c Min unsat cost LB: 86235 ... c Min unsat cost LB: 86238 ... c Min unsat cost LB: 86288 ... c Min unsat cost LB: 86292 ... c Min unsat cost LB: 86297 ... c Min unsat cost LB: 86299 ... c Min unsat cost LB: 86304 ... c Min unsat cost LB: 86322 ... c Min unsat cost LB: 86337 ... c Min unsat cost LB: 86497 ... c Min unsat cost LB: 86506 ... c Min unsat cost LB: 86785 ... c Min unsat cost LB: 86792 ... c Min unsat cost LB: 86794 ... c Min unsat cost LB: 86821 ... c Min unsat cost LB: 86832 ... c Min unsat cost LB: 86833 ... c Min unsat cost LB: 86834 ... c Min unsat cost LB: 86836 ... c Min unsat cost LB: 86838 ... c Min unsat cost LB: 86853 ... c Min unsat cost LB: 86854 ... c Min unsat cost LB: 86864 ... c Min unsat cost LB: 86865 ... c Min unsat cost LB: 86866 ... c Min unsat cost LB: 86867 ... c Min unsat cost LB: 86868 ... c Min unsat cost LB: 86921 ... c Min unsat cost LB: 86922 ... c Min unsat cost LB: 86923 ... c Min unsat cost LB: 86925 ... c Min unsat cost LB: 86933 ... c Min unsat cost LB: 86934 ... c Min unsat cost LB: 86941 ... c Min unsat cost LB: 86942 ... c Min unsat cost LB: 86943 ... c Min unsat cost LB: 86944 ... c Min unsat cost LB: 86945 ... c Min unsat cost LB: 86946 ... c Min unsat cost LB: 86947 ... c Min unsat cost LB: 86948 ... c Min unsat cost LB: 86949 ... c Min unsat cost LB: 86950 ... c Min unsat cost LB: 86951 ... c Min unsat cost LB: 86952 ... c Min unsat cost LB: 86953 ... c Min unsat cost LB: 86954 ... c Min unsat cost LB: 86955 ... c Min unsat cost LB: 86965 ... c Min unsat cost LB: 86972 ... c Min unsat cost LB: 87066 ... c Min unsat cost LB: 87071 ... c Min unsat cost LB: 87075 ... c Min unsat cost LB: 87083 ... c Min unsat cost LB: 87084 ... c Min unsat cost LB: 87085 ... c Min unsat cost LB: 87086 ... c Min unsat cost LB: 87087 ... c Min unsat cost LB: 87088 ... c Min unsat cost LB: 87090 ... c Min unsat cost LB: 87095 ... c Min unsat cost LB: 87096 ... c Min unsat cost LB: 87097 ... c Min unsat cost LB: 87111 ... c Min unsat cost LB: 87112 ... c Min unsat cost LB: 87113 ... c Min unsat cost LB: 87114 ... c Min unsat cost LB: 87117 ... c Min unsat cost LB: 87129 ... c Min unsat cost LB: 87142 ... c Min unsat cost LB: 87145 ... c Min unsat cost LB: 87151 ... c Min unsat cost LB: 87154 ... c Min unsat cost LB: 87158 ... c Min unsat cost LB: 87163 ... c Min unsat cost LB: 87165 ... c Min unsat cost LB: 87182 ... c Min unsat cost LB: 87190 ... c Min unsat cost LB: 87193 ... c Min unsat cost LB: 87198 ... c Min unsat cost LB: 87200 ... c Min unsat cost LB: 87205 ... c Min unsat cost LB: 87218 ... c Min unsat cost LB: 87229 ... c Min unsat cost LB: 87233 ... c Min unsat cost LB: 87267 ... c Min unsat cost LB: 87299 ... c Min unsat cost LB: 87305 ... c Min unsat cost LB: 87327 ... c Min unsat cost LB: 87329 ... c Min unsat cost LB: 87336 ... c Min unsat cost LB: 87337 ... c Min unsat cost LB: 87365 ... c Min unsat cost LB: 87370 ... c Min unsat cost LB: 87393 ... c Min unsat cost LB: 87405 ... c Min unsat cost LB: 87476 ... c Min unsat cost LB: 87479 ... c Min unsat cost LB: 87507 ... c Min unsat cost LB: 87513 ... c Min unsat cost LB: 87552 ... c Min unsat cost LB: 87568 ... c Min unsat cost LB: 87605 ... c Min unsat cost LB: 87614 ... c Min unsat cost LB: 87795 ... c Min unsat cost LB: 87801 ... c Min unsat cost LB: 87817 ... c Min unsat cost LB: 87846 ... c Min unsat cost LB: 87849 ... c Min unsat cost LB: 87867 ... c Min unsat cost LB: 87903 ... c Min unsat cost LB: 87918 ... c Min unsat cost LB: 87971 ... c Min unsat cost LB: 87975 ... c Min unsat cost LB: 87979 ... c Min unsat cost LB: 87983 ... c Min unsat cost LB: 87991 ... c Min unsat cost LB: 87995 ... c Min unsat cost LB: 88003 ... c Min unsat cost LB: 88007 ... c Min unsat cost LB: 88071 ... c Min unsat cost LB: 88080 ... c Min unsat cost LB: 88096 ... c Min unsat cost LB: 88099 ... c Min unsat cost LB: 88100 ... c Min unsat cost LB: 88103 ... c Min unsat cost LB: 88104 ... c Min unsat cost LB: 88107 ... c Min unsat cost LB: 88121 ... c Min unsat cost LB: 88124 ... c Min unsat cost LB: 88125 ... c Min unsat cost LB: 88126 ... c Min unsat cost LB: 88129 ... c Min unsat cost LB: 88132 ... c Min unsat cost LB: 88134 ... c Min unsat cost LB: 88135 ... c Min unsat cost LB: 88177 ... c Min unsat cost LB: 88187 ... c Min unsat cost LB: 88301 ... c Min unsat cost LB: 88305 ... c Min unsat cost LB: 88320 ... c Min unsat cost LB: 88380 ... c Min unsat cost LB: 88389 ... c Min unsat cost LB: 88398 ... c Min unsat cost LB: 88418 ... c Min unsat cost LB: 88421 ... c Min unsat cost LB: 88424 ... c Min unsat cost LB: 88437 ... c Min unsat cost LB: 88442 ... c Min unsat cost LB: 88452 ... c Min unsat cost LB: 88462 ... c Min unsat cost LB: 88491 ... c Min unsat cost LB: 88694 ... c Min unsat cost LB: 88824 ... c Min unsat cost LB: 88828 ... c Min unsat cost LB: 88867 ... c Min unsat cost LB: 88905 ... c Min unsat cost LB: 88911 ... c Min unsat cost LB: 88915 ... c Min unsat cost LB: 88919 ... c Min unsat cost LB: 88928 ... c Min unsat cost LB: 88943 ... c Min unsat cost LB: 88944 ... c Min unsat cost LB: 88945 ... c Min unsat cost LB: 88946 ... c Min unsat cost LB: 88947 ... c Min unsat cost LB: 88948 ... c Min unsat cost LB: 88950 ... c Min unsat cost LB: 88952 ... c Min unsat cost LB: 88955 ... c Min unsat cost LB: 88957 ... c Min unsat cost LB: 88958 ... c Min unsat cost LB: 88961 ... c Min unsat cost LB: 88962 ... c Min unsat cost LB: 88971 ... c Min unsat cost LB: 88984 ... c Min unsat cost LB: 88985 ... c Min unsat cost LB: 88989 ... c Min unsat cost LB: 88991 ... c Min unsat cost LB: 88993 ... c Min unsat cost LB: 88997 ... c Min unsat cost LB: 88998 ... c Min unsat cost LB: 89000 ... c Min unsat cost LB: 89001 ... c Min unsat cost LB: 89003 ... c Min unsat cost LB: 89004 ... c Min unsat cost LB: 89007 ... c Min unsat cost LB: 89011 ... c Min unsat cost LB: 89021 ... c Min unsat cost LB: 89026 ... c Min unsat cost LB: 89027 ... c Min unsat cost LB: 89031 ... c Min unsat cost LB: 89033 ... c Min unsat cost LB: 89034 ... c Min unsat cost LB: 89035 ... c Min unsat cost LB: 89036 ... c Min unsat cost LB: 89038 ... c Min unsat cost LB: 89039 ... c Min unsat cost LB: 89040 ... c Min unsat cost LB: 89041 ... c Min unsat cost LB: 89049 ... c Min unsat cost LB: 89055 ... c Min unsat cost LB: 89057 ... c Min unsat cost LB: 89058 ... c Min unsat cost LB: 89059 ... c Min unsat cost LB: 89060 ... c Min unsat cost LB: 89061 ... c Min unsat cost LB: 89062 ... c Min unsat cost LB: 89064 ... c Min unsat cost LB: 89065 ... c Min unsat cost LB: 89066 ... c Min unsat cost LB: 89067 ... c Min unsat cost LB: 89068 ... c Min unsat cost LB: 89070 ... c Min unsat cost LB: 89083 ... c Min unsat cost LB: 89084 ... c Min unsat cost LB: 89091 ... c Min unsat cost LB: 89092 ... c Min unsat cost LB: 89093 ... c Min unsat cost LB: 89094 ... c Min unsat cost LB: 89095 ... c Min unsat cost LB: 89100 ... c Min unsat cost LB: 89103 ... c Min unsat cost LB: 89104 ... c Min unsat cost LB: 89109 ... c Min unsat cost LB: 89110 ... c Min unsat cost LB: 89111 ... c Min unsat cost LB: 89112 ... c Min unsat cost LB: 89113 ... c Min unsat cost LB: 89114 ... c Min unsat cost LB: 89115 ... c Min unsat cost LB: 89116 ... c Min unsat cost LB: 89117 ... c Min unsat cost LB: 89118 ... c Min unsat cost LB: 89120 ... c Min unsat cost LB: 89121 ... c Min unsat cost LB: 89122 ... c Min unsat cost LB: 89123 ... c Min unsat cost LB: 89124 ... c Min unsat cost LB: 89125 ... c Min unsat cost LB: 89127 ... c Min unsat cost LB: 89128 ... c Min unsat cost LB: 89129 ... c Min unsat cost LB: 89130 ... c Min unsat cost LB: 89131 ... c Min unsat cost LB: 89132 ... c Min unsat cost LB: 89133 ... c Min unsat cost LB: 89134 ... c Min unsat cost LB: 89135 ... c Min unsat cost LB: 89136 ... c Min unsat cost LB: 89137 ... c Min unsat cost LB: 89138 ... c Min unsat cost LB: 89140 ... c Min unsat cost LB: 89141 ... c Min unsat cost LB: 89142 ... c Min unsat cost LB: 89144 ... c Min unsat cost LB: 89145 ... c Min unsat cost LB: 89146 ... c Min unsat cost LB: 89148 ... c Min unsat cost LB: 89154 ... c Min unsat cost LB: 89155 ... c Min unsat cost LB: 89156 ... c Min unsat cost LB: 89157 ... c Min unsat cost LB: 89158 ... c Min unsat cost LB: 89159 ... c Min unsat cost LB: 89160 ... c Min unsat cost LB: 89161 ... c Min unsat cost LB: 89162 ... c Min unsat cost LB: 89163 ... c Min unsat cost LB: 89164 ... c Min unsat cost LB: 89167 ... c Min unsat cost LB: 89172 ... c Min unsat cost LB: 89179 ... c Min unsat cost LB: 89194 ... c Min unsat cost LB: 89195 ... c Min unsat cost LB: 89196 ... c Min unsat cost LB: 89201 ... c Min unsat cost LB: 89218 ... c Min unsat cost LB: 89219 ... c Min unsat cost LB: 89220 ... c Min unsat cost LB: 89226 ... c Min unsat cost LB: 89233 ... c Min unsat cost LB: 89264 ... c Min unsat cost LB: 89280 ... c Min unsat cost LB: 89284 ... c Min unsat cost LB: 89286 ... c Min unsat cost LB: 89288 ... c Min unsat cost LB: 89295 ... c Min unsat cost LB: 89304 ... c Min unsat cost LB: 89320 ... c Min unsat cost LB: 89322 ... c Min unsat cost LB: 89323 ... c Min unsat cost LB: 89324 ... c Min unsat cost LB: 89325 ... c Min unsat cost LB: 89326 ... c Min unsat cost LB: 89327 ... c Min unsat cost LB: 89328 ... c Min unsat cost LB: 89329 ... c Min unsat cost LB: 89330 ... c Min unsat cost LB: 89331 ... c Min unsat cost LB: 89332 ... c Min unsat cost LB: 89333 ... c Min unsat cost LB: 89334 ... c Min unsat cost LB: 89339 ... c Min unsat cost LB: 89341 ... c Min unsat cost LB: 89342 ... c Min unsat cost LB: 89343 ... c Min unsat cost LB: 89346 ... c Min unsat cost LB: 89352 ... c Min unsat cost LB: 89353 ... c Min unsat cost LB: 89366 ... c Min unsat cost LB: 89367 ... c Min unsat cost LB: 89372 ... c Min unsat cost LB: 89377 ... c Min unsat cost LB: 89381 ... c Min unsat cost LB: 89382 ... c Min unsat cost LB: 89407 ... c Min unsat cost LB: 89408 ... c Min unsat cost LB: 89409 ... c Min unsat cost LB: 89410 ... c Min unsat cost LB: 89411 ... c Min unsat cost LB: 89412 ... c Min unsat cost LB: 89416 ... c Min unsat cost LB: 89417 ... c Min unsat cost LB: 89418 ... c Min unsat cost LB: 89419 ... c Min unsat cost LB: 89420 ... c Min unsat cost LB: 89425 ... c Min unsat cost LB: 89426 ... c Min unsat cost LB: 89427 ... c Min unsat cost LB: 89429 ... c Min unsat cost LB: 89431 ... c Min unsat cost LB: 89432 ... c Min unsat cost LB: 89433 ... c Min unsat cost LB: 89436 ... c Min unsat cost LB: 89442 ... c Min unsat cost LB: 89443 ... c Min unsat cost LB: 89444 ... c Min unsat cost LB: 89445 ... c Min unsat cost LB: 89446 ... c Min unsat cost LB: 89447 ... c Min unsat cost LB: 89474 ... c Min unsat cost LB: 89475 ... c Min unsat cost LB: 89476 ... c Min unsat cost LB: 89477 ... c Min unsat cost LB: 89478 ... c Min unsat cost LB: 89481 ... c Min unsat cost LB: 89482 ... c Min unsat cost LB: 89483 ... c Min unsat cost LB: 89484 ... c Min unsat cost LB: 89487 ... c Min unsat cost LB: 89491 ... c Min unsat cost LB: 89493 ... c Min unsat cost LB: 89496 ... c Min unsat cost LB: 89497 ... c Min unsat cost LB: 89501 ... c Min unsat cost LB: 89502 ... c Min unsat cost LB: 89503 ... c Min unsat cost LB: 89504 ... c Min unsat cost LB: 89505 ... c Min unsat cost LB: 89506 ... c Min unsat cost LB: 89507 ... c Min unsat cost LB: 89508 ... c Min unsat cost LB: 89509 ... c Min unsat cost LB: 89510 ... c Min unsat cost LB: 89511 ... c Min unsat cost LB: 89512 ... c Min unsat cost LB: 89513 ... c Min unsat cost LB: 89514 ... c Min unsat cost LB: 89515 ... c Min unsat cost LB: 89516 ... c Min unsat cost LB: 89517 ... c Min unsat cost LB: 89518 ... c Min unsat cost LB: 89519 ... c Min unsat cost LB: 89520 ... c Min unsat cost LB: 89521 ... c Min unsat cost LB: 89522 ... c Min unsat cost LB: 89524 ... c Min unsat cost LB: 89526 ... c Min unsat cost LB: 89527 ... c Min unsat cost LB: 89528 ... c Min unsat cost LB: 89529 ... c Min unsat cost LB: 89530 ... c Min unsat cost LB: 89532 ... c Min unsat cost LB: 89537 ... c Min unsat cost LB: 89540 ... c Min unsat cost LB: 89541 ... c Min unsat cost LB: 89542 ... c Min unsat cost LB: 89552 ... c Min unsat cost LB: 89553 ... c Min unsat cost LB: 89554 ... c Min unsat cost LB: 89555 ... c Min unsat cost LB: 89556 ... c Min unsat cost LB: 89557 ... c Min unsat cost LB: 89559 ... c Min unsat cost LB: 89560 ... c Min unsat cost LB: 89561 ... c Min unsat cost LB: 89562 ... c Min unsat cost LB: 89563 ... c Min unsat cost LB: 89564 ... c Min unsat cost LB: 89565 ... c Min unsat cost LB: 89566 ... c Min unsat cost LB: 89567 ... c Min unsat cost LB: 89568 ... c Min unsat cost LB: 89569 ... c Min unsat cost LB: 89570 ... c Min unsat cost LB: 89571 ... c Min unsat cost LB: 89572 ... c Min unsat cost LB: 89573 ... c Min unsat cost LB: 89574 ... c Min unsat cost LB: 89575 ... c Min unsat cost LB: 89576 ... c Min unsat cost LB: 89577 ... c Min unsat cost LB: 89580 ... c Min unsat cost LB: 89581 ... c Min unsat cost LB: 89582 ... c Min unsat cost LB: 89583 ... c Min unsat cost LB: 89585 ... c Min unsat cost LB: 89587 ... c Min unsat cost LB: 89594 ... c Min unsat cost LB: 89598 ... c Min unsat cost LB: 89601 ... c Min unsat cost LB: 89602 ... c Min unsat cost LB: 89603 ... c Min unsat cost LB: 89604 ... c Min unsat cost LB: 89605 ... c Min unsat cost LB: 89608 ... c Min unsat cost LB: 89609 ... c Min unsat cost LB: 89611 ... c Min unsat cost LB: 89612 ... c Min unsat cost LB: 89616 ... c Min unsat cost LB: 89629 ... c Min unsat cost LB: 89631 ... c Min unsat cost LB: 89633 ... c Min unsat cost LB: 89641 ... c Min unsat cost LB: 89644 ... c Min unsat cost LB: 89645 ... c Min unsat cost LB: 89647 ... c Min unsat cost LB: 89649 ... c Min unsat cost LB: 89651 ... c Min unsat cost LB: 89653 ... c Min unsat cost LB: 89657 ... c Min unsat cost LB: 89660 ... c Min unsat cost LB: 89675 ... c Min unsat cost LB: 89676 ... c Min unsat cost LB: 89677 ... c Min unsat cost LB: 89679 ... c Min unsat cost LB: 89680 ... c Min unsat cost LB: 89683 ... c Min unsat cost LB: 89685 ... c Min unsat cost LB: 89687 ... c Min unsat cost LB: 89694 ... c Min unsat cost LB: 89695 ... c Min unsat cost LB: 89698 ... c Min unsat cost LB: 89699 ... c Min unsat cost LB: 89707 ... c Min unsat cost LB: 89710 ... c Min unsat cost LB: 89711 ... c Min unsat cost LB: 89713 ... c Min unsat cost LB: 89714 ... c Min unsat cost LB: 89715 ... c Min unsat cost LB: 89717 ... c Min unsat cost LB: 89727 ... c Min unsat cost LB: 89732 ... c Min unsat cost LB: 89733 ... c Min unsat cost LB: 89736 ... c Min unsat cost LB: 89737 ... c Min unsat cost LB: 89738 ... c Min unsat cost LB: 89753 ... c Min unsat cost LB: 89754 ... c Min unsat cost LB: 89755 ... c Min unsat cost LB: 89756 ... c Min unsat cost LB: 89757 ... c Min unsat cost LB: 89881 ... c Min unsat cost LB: 89886 ... c Min unsat cost LB: 89897 ... c Min unsat cost LB: 89898 ... c Min unsat cost LB: 89902 ... c Min unsat cost LB: 89903 ... c Min unsat cost LB: 89904 ... c Min unsat cost LB: 89905 ... c Min unsat cost LB: 89906 ... c Min unsat cost LB: 89915 ... c Min unsat cost LB: 89922 ... c Min unsat cost LB: 89923 ... c Min unsat cost LB: 89944 ... c Min unsat cost LB: 89945 ... c Min unsat cost LB: 89946 ... c Min unsat cost LB: 89947 ... c Min unsat cost LB: 89948 ... c Min unsat cost LB: 89949 ... c Min unsat cost LB: 89950 ... c Min unsat cost LB: 89951 ... c Min unsat cost LB: 89952 ... c Min unsat cost LB: 89953 ... c Min unsat cost LB: 89954 ... c Min unsat cost LB: 89955 ... c Min unsat cost LB: 89956 ... c Min unsat cost LB: 89957 ... c Min unsat cost LB: 89958 ... c Min unsat cost LB: 89959 ... c Min unsat cost LB: 89960 ... c Min unsat cost LB: 89961 ... c Min unsat cost LB: 89962 ... c Min unsat cost LB: 89963 ... c Min unsat cost LB: 89983 ... c Min unsat cost LB: 90005 ... c Min unsat cost LB: 90006 ... c Min unsat cost LB: 90007 ... c Min unsat cost LB: 90008 ... c Min unsat cost LB: 90023 ... c Min unsat cost LB: 90024 ... c Min unsat cost LB: 90025 ... c Min unsat cost LB: 90026 ... c Min unsat cost LB: 90027 ... c Min unsat cost LB: 90028 ... c Min unsat cost LB: 90029 ... c Min unsat cost LB: 90030 ... c Min unsat cost LB: 90031 ... c Min unsat cost LB: 90032 ... c Min unsat cost LB: 90033 ... c Min unsat cost LB: 90034 ... c Min unsat cost LB: 90035 ... c Min unsat cost LB: 90036 ... c Min unsat cost LB: 90037 ... c Min unsat cost LB: 90038 ... c Min unsat cost LB: 90039 ... c Min unsat cost LB: 90040 ... c Min unsat cost LB: 90041 ... c Min unsat cost LB: 90042 ... c Min unsat cost LB: 90045 ... c Min unsat cost LB: 90046 ... c Min unsat cost LB: 90051 ... c Min unsat cost LB: 90052 ... c Min unsat cost LB: 90053 ... c Min unsat cost LB: 90054 ... c Min unsat cost LB: 90055 ... c Min unsat cost LB: 90058 ... c Min unsat cost LB: 90060 ... c Min unsat cost LB: 90061 ... c Min unsat cost LB: 90093 ... c Min unsat cost LB: 90094 ... c Min unsat cost LB: 90104 ... c Min unsat cost LB: 90120 ... c Min unsat cost LB: 90121 ... c Min unsat cost LB: 90126 ... c Min unsat cost LB: 90135 ... c Min unsat cost LB: 90136 ... c Min unsat cost LB: 90163 ... c Min unsat cost LB: 90167 ... c Min unsat cost LB: 90172 ... c Min unsat cost LB: 90213 ... c Min unsat cost LB: 90214 ... c Min unsat cost LB: 90216 ... c Min unsat cost LB: 90217 ... c Min unsat cost LB: 90219 ... c Min unsat cost LB: 90220 ... c Min unsat cost LB: 90221 ... c Min unsat cost LB: 90222 ... c Min unsat cost LB: 90223 ... c Min unsat cost LB: 90224 ... c Min unsat cost LB: 90225 ... c Min unsat cost LB: 90226 ... c Min unsat cost LB: 90282 ... c Min unsat cost LB: 90283 ... c Min unsat cost LB: 90297 ... c Min unsat cost LB: 90301 ... c Min unsat cost LB: 90359 ... c Min unsat cost LB: 90372 ... c Min unsat cost LB: 90374 ... c Min unsat cost LB: 90375 ... c Min unsat cost LB: 90388 ... c Min unsat cost LB: 90390 ... c Min unsat cost LB: 90398 ... c Min unsat cost LB: 90399 ... c Min unsat cost LB: 90402 ... c Min unsat cost LB: 90403 ... c Min unsat cost LB: 90414 ... c Min unsat cost LB: 90416 ... c Min unsat cost LB: 90424 ... c Min unsat cost LB: 90425 ... c Min unsat cost LB: 90426 ... c Min unsat cost LB: 90427 ... c Min unsat cost LB: 90428 ... c Min unsat cost LB: 90429 ... c Min unsat cost LB: 90430 ... c Min unsat cost LB: 90431 ... c Min unsat cost LB: 90432 ... c Min unsat cost LB: 90433 ... c Min unsat cost LB: 90434 ... c Min unsat cost LB: 90435 ... c Min unsat cost LB: 90436 ... c Min unsat cost LB: 90437 ... c Min unsat cost LB: 90442 ... c Min unsat cost LB: 90443 ... c Min unsat cost LB: 90445 ... c Min unsat cost LB: 90446 ... c Min unsat cost LB: 90447 ... c Min unsat cost LB: 90448 ... c Min unsat cost LB: 90451 ... c Min unsat cost LKilled 1816.210u 3.525s 30:19.91 99.9% 0+0k 0+0io 0pf+0w