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_KnotPipatsrisawat_random-net-260-1_network-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-5.net.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/KnotPipatsrisawat/random-net-260-1_network-5.net.wcnf *** c c Min unsat cost LB: 722 ... c Min unsat cost LB: 1543 ... c Min unsat cost LB: 2504 ... c Min unsat cost LB: 3623 ... c Min unsat cost LB: 4714 ... c Min unsat cost LB: 5071 ... c Min unsat cost LB: 6393 ... c Min unsat cost LB: 7268 ... c Min unsat cost LB: 9095 ... c Min unsat cost LB: 9266 ... c Min unsat cost LB: 10457 ... c Min unsat cost LB: 10463 ... c Min unsat cost LB: 10627 ... c Min unsat cost LB: 11092 ... c Min unsat cost LB: 11845 ... c Min unsat cost LB: 13769 ... c Min unsat cost LB: 15831 ... c Min unsat cost LB: 16964 ... c Min unsat cost LB: 17375 ... c Min unsat cost LB: 17485 ... c Min unsat cost LB: 17820 ... c Min unsat cost LB: 18345 ... c Min unsat cost LB: 18509 ... c Min unsat cost LB: 19527 ... c Min unsat cost LB: 20482 ... c Min unsat cost LB: 21214 ... c Min unsat cost LB: 22066 ... c Min unsat cost LB: 22412 ... c Min unsat cost LB: 23059 ... c Min unsat cost LB: 23641 ... c Min unsat cost LB: 24322 ... c Min unsat cost LB: 25809 ... c Min unsat cost LB: 26677 ... c Min unsat cost LB: 27230 ... c Min unsat cost LB: 27810 ... c Min unsat cost LB: 28971 ... c Min unsat cost LB: 29766 ... c Min unsat cost LB: 30646 ... c Min unsat cost LB: 30686 ... c Min unsat cost LB: 31239 ... c Min unsat cost LB: 32510 ... c Min unsat cost LB: 33482 ... c Min unsat cost LB: 33680 ... c Min unsat cost LB: 33741 ... c Min unsat cost LB: 34213 ... c Min unsat cost LB: 34663 ... c Min unsat cost LB: 35375 ... c Min unsat cost LB: 36060 ... c Min unsat cost LB: 36122 ... c Min unsat cost LB: 36836 ... c Min unsat cost LB: 36955 ... c Min unsat cost LB: 37096 ... c Min unsat cost LB: 37349 ... c Min unsat cost LB: 37704 ... c Min unsat cost LB: 37864 ... c Min unsat cost LB: 38588 ... c Min unsat cost LB: 38797 ... c Min unsat cost LB: 39472 ... c Min unsat cost LB: 39710 ... c Min unsat cost LB: 39940 ... c Min unsat cost LB: 39974 ... c Min unsat cost LB: 40093 ... c Min unsat cost LB: 40257 ... c Min unsat cost LB: 40903 ... c Min unsat cost LB: 41873 ... c Min unsat cost LB: 41879 ... c Min unsat cost LB: 42587 ... c Min unsat cost LB: 42826 ... c Min unsat cost LB: 43260 ... c Min unsat cost LB: 43285 ... c Min unsat cost LB: 43555 ... c Min unsat cost LB: 44050 ... c Min unsat cost LB: 44387 ... c Min unsat cost LB: 44765 ... c Min unsat cost LB: 45198 ... c Min unsat cost LB: 45531 ... c Min unsat cost LB: 45577 ... c Min unsat cost LB: 46229 ... c Min unsat cost LB: 46511 ... c Min unsat cost LB: 46566 ... c Min unsat cost LB: 47912 ... c Min unsat cost LB: 48056 ... c Min unsat cost LB: 49050 ... c Min unsat cost LB: 49750 ... c Min unsat cost LB: 49781 ... c Min unsat cost LB: 49821 ... c Min unsat cost LB: 50969 ... c Min unsat cost LB: 51063 ... c Min unsat cost LB: 51144 ... c Min unsat cost LB: 51356 ... c Min unsat cost LB: 52363 ... c Min unsat cost LB: 52529 ... c Min unsat cost LB: 52655 ... c Min unsat cost LB: 52984 ... c Min unsat cost LB: 53880 ... c Min unsat cost LB: 53925 ... c Min unsat cost LB: 54138 ... c Min unsat cost LB: 54560 ... c Min unsat cost LB: 54772 ... c Min unsat cost LB: 55196 ... c Min unsat cost LB: 55281 ... c Min unsat cost LB: 55357 ... c Min unsat cost LB: 55678 ... c Min unsat cost LB: 55853 ... c Min unsat cost LB: 56057 ... c Min unsat cost LB: 56267 ... c Min unsat cost LB: 57144 ... c Min unsat cost LB: 57148 ... c Min unsat cost LB: 57851 ... c Min unsat cost LB: 57894 ... c Min unsat cost LB: 58512 ... c Min unsat cost LB: 59484 ... c Min unsat cost LB: 60049 ... c Min unsat cost LB: 60863 ... c Min unsat cost LB: 61040 ... c Min unsat cost LB: 61138 ... c Min unsat cost LB: 61422 ... c Min unsat cost LB: 61450 ... c Min unsat cost LB: 61755 ... c Min unsat cost LB: 61766 ... c Min unsat cost LB: 62288 ... c Min unsat cost LB: 62636 ... c Min unsat cost LB: 63276 ... c Min unsat cost LB: 63448 ... c Min unsat cost LB: 63584 ... c Min unsat cost LB: 64027 ... c Min unsat cost LB: 64149 ... c Min unsat cost LB: 65094 ... c Min unsat cost LB: 65168 ... c Min unsat cost LB: 65972 ... c Min unsat cost LB: 66265 ... c Min unsat cost LB: 66428 ... c Min unsat cost LB: 67670 ... c Min unsat cost LB: 67890 ... c Min unsat cost LB: 68229 ... c Min unsat cost LB: 68493 ... c Min unsat cost LB: 68501 ... c Min unsat cost LB: 68752 ... c Min unsat cost LB: 68766 ... c Min unsat cost LB: 69120 ... c Min unsat cost LB: 69451 ... c Min unsat cost LB: 69589 ... c Min unsat cost LB: 69990 ... c Min unsat cost LB: 70540 ... c Min unsat cost LB: 70576 ... c Min unsat cost LB: 70611 ... c Min unsat cost LB: 70671 ... c Min unsat cost LB: 70943 ... c Min unsat cost LB: 71399 ... c Min unsat cost LB: 71842 ... c Min unsat cost LB: 71921 ... c Min unsat cost LB: 72075 ... c Min unsat cost LB: 72620 ... c Min unsat cost LB: 73670 ... c Min unsat cost LB: 74034 ... c Min unsat cost LB: 74732 ... c Min unsat cost LB: 74829 ... c Min unsat cost LB: 75324 ... c Min unsat cost LB: 75776 ... c Min unsat cost LB: 76372 ... c Min unsat cost LB: 76618 ... c Min unsat cost LB: 76619 ... c Min unsat cost LB: 76661 ... c Min unsat cost LB: 77272 ... c Min unsat cost LB: 77808 ... c Min unsat cost LB: 77895 ... c Min unsat cost LB: 78382 ... c Min unsat cost LB: 78424 ... c Min unsat cost LB: 79301 ... c Min unsat cost LB: 79789 ... c Min unsat cost LB: 79974 ... c Min unsat cost LB: 80110 ... c Min unsat cost LB: 80157 ... c Min unsat cost LB: 80442 ... c Min unsat cost LB: 80584 ... c Min unsat cost LB: 80596 ... c Min unsat cost LB: 80606 ... c Min unsat cost LB: 80782 ... c Min unsat cost LB: 81257 ... c Min unsat cost LB: 81452 ... c Min unsat cost LB: 81897 ... c Min unsat cost LB: 81992 ... c Min unsat cost LB: 82247 ... c Min unsat cost LB: 82442 ... c Min unsat cost LB: 82456 ... c Min unsat cost LB: 82460 ... c Min unsat cost LB: 82535 ... c Min unsat cost LB: 82556 ... c Min unsat cost LB: 83013 ... c Min unsat cost LB: 83338 ... c Min unsat cost LB: 83951 ... c Min unsat cost LB: 84069 ... c Min unsat cost LB: 84128 ... c Min unsat cost LB: 84610 ... c Min unsat cost LB: 84898 ... c Min unsat cost LB: 85279 ... c Min unsat cost LB: 85412 ... c Min unsat cost LB: 85606 ... c Min unsat cost LB: 85712 ... c Min unsat cost LB: 86783 ... c Min unsat cost LB: 87433 ... c Min unsat cost LB: 87543 ... c Min unsat cost LB: 87700 ... c Min unsat cost LB: 87778 ... c Min unsat cost LB: 87897 ... c Min unsat cost LB: 88107 ... c Min unsat cost LB: 88147 ... c Min unsat cost LB: 88364 ... c Min unsat cost LB: 88404 ... c Min unsat cost LB: 89302 ... c Min unsat cost LB: 89395 ... c Min unsat cost LB: 90610 ... c Min unsat cost LB: 90797 ... c Min unsat cost LB: 90866 ... c Min unsat cost LB: 90936 ... c Min unsat cost LB: 90982 ... c Min unsat cost LB: 91330 ... c Min unsat cost LB: 91368 ... c Min unsat cost LB: 91534 ... c Min unsat cost LB: 91765 ... c Min unsat cost LB: 91936 ... c Min unsat cost LB: 92150 ... c Min unsat cost LB: 92770 ... c Min unsat cost LB: 92809 ... c Min unsat cost LB: 92879 ... c Min unsat cost LB: 93114 ... c Min unsat cost LB: 93124 ... c Min unsat cost LB: 93284 ... c Min unsat cost LB: 93430 ... c Min unsat cost LB: 93473 ... c Min unsat cost LB: 93508 ... c Min unsat cost LB: 93512 ... c Min unsat cost LB: 93522 ... c Min unsat cost LB: 93582 ... c Min unsat cost LB: 94032 ... c Min unsat cost LB: 94327 ... c Min unsat cost LB: 94440 ... c Min unsat cost LB: 94747 ... c Min unsat cost LB: 94856 ... c Min unsat cost LB: 95088 ... c Min unsat cost LB: 95245 ... c Min unsat cost LB: 96099 ... c Min unsat cost LB: 96451 ... c Min unsat cost LB: 96785 ... c Min unsat cost LB: 96949 ... c Min unsat cost LB: 97062 ... c Min unsat cost LB: 97154 ... c Min unsat cost LB: 97410 ... c Min unsat cost LB: 97476 ... c Min unsat cost LB: 97780 ... c Min unsat cost LB: 97814 ... c Min unsat cost LB: 97832 ... c Min unsat cost LB: 97836 ... c Min unsat cost LB: 97879 ... c Min unsat cost LB: 97885 ... c Min unsat cost LB: 98780 ... c Min unsat cost LB: 98833 ... c Min unsat cost LB: 98845 ... c Min unsat cost LB: 98880 ... c Min unsat cost LB: 98987 ... c Min unsat cost LB: 99597 ... c Min unsat cost LB: 99661 ... c Min unsat cost LB: 99808 ... c Min unsat cost LB: 100699 ... c Min unsat cost LB: 100719 ... c Min unsat cost LB: 100734 ... c Min unsat cost LB: 100738 ... c Min unsat cost LB: 100853 ... c Min unsat cost LB: 100930 ... c Min unsat cost LB: 100934 ... c Min unsat cost LB: 101136 ... c Min unsat cost LB: 101208 ... c Min unsat cost LB: 101225 ... c Min unsat cost LB: 101290 ... c Min unsat cost LB: 101553 ... c Min unsat cost LB: 101705 ... c Min unsat cost LB: 102042 ... c Min unsat cost LB: 102394 ... c Min unsat cost LB: 102476 ... c Min unsat cost LB: 102966 ... c Min unsat cost LB: 103258 ... c Min unsat cost LB: 103483 ... c Min unsat cost LB: 103534 ... c Min unsat cost LB: 103888 ... c Min unsat cost LB: 104047 ... c Min unsat cost LB: 104292 ... c Min unsat cost LB: 104443 ... c Min unsat cost LB: 104765 ... c Min unsat cost LB: 105106 ... c Min unsat cost LB: 105465 ... c Min unsat cost LB: 106056 ... c Min unsat cost LB: 106340 ... c Min unsat cost LB: 107053 ... c Min unsat cost LB: 107668 ... c Min unsat cost LB: 107689 ... c Min unsat cost LB: 107729 ... c Min unsat cost LB: 108138 ... c Min unsat cost LB: 108936 ... c Min unsat cost LB: 109110 ... c Min unsat cost LB: 109166 ... c Min unsat cost LB: 109180 ... c Min unsat cost LB: 109271 ... c Min unsat cost LB: 109312 ... c Min unsat cost LB: 109887 ... c Min unsat cost LB: 110018 ... c Min unsat cost LB: 110825 ... c Min unsat cost LB: 110830 ... c Min unsat cost LB: 111037 ... c Min unsat cost LB: 111252 ... c Min unsat cost LB: 111459 ... c Min unsat cost LB: 111784 ... c Min unsat cost LB: 111999 ... c Min unsat cost LB: 112905 ... c Min unsat cost LB: 113733 ... c Min unsat cost LB: 113871 ... c Min unsat cost LB: 114098 ... c Min unsat cost LB: 115020 ... c Min unsat cost LB: 115386 ... c Min unsat cost LB: 115636 ... c Min unsat cost LB: 116442 ... c Min unsat cost LB: 116508 ... c Min unsat cost LB: 116587 ... c Min unsat cost LB: 117707 ... c Min unsat cost LB: 117954 ... c Min unsat cost LB: 117979 ... c Min unsat cost LB: 117995 ... c Min unsat cost LB: 118061 ... c Min unsat cost LB: 118307 ... c Min unsat cost LB: 118403 ... c Min unsat cost LB: 118825 ... c Min unsat cost LB: 118975 ... c Min unsat cost LB: 119000 ... c Min unsat cost LB: 119762 ... c Min unsat cost LB: 119812 ... c Min unsat cost LB: 119822 ... c Min unsat cost LB: 119841 ... c Min unsat cost LB: 120374 ... c Min unsat cost LB: 120897 ... c Min unsat cost LB: 120926 ... c Min unsat cost LB: 121087 ... c Min unsat cost LB: 122038 ... c Min unsat cost LB: 122693 ... c Min unsat cost LB: 122822 ... c Min unsat cost LB: 123089 ... c Min unsat cost LB: 123099 ... c Min unsat cost LB: 123104 ... c Min unsat cost LB: 123170 ... c Min unsat cost LB: 123212 ... c Min unsat cost LB: 123273 ... c Min unsat cost LB: 123278 ... c Min unsat cost LB: 123531 ... c Min unsat cost LB: 123670 ... c Min unsat cost LB: 123994 ... c Min unsat cost LB: 124150 ... c Min unsat cost LB: 124201 ... c Min unsat cost LB: 124641 ... c Min unsat cost LB: 124681 ... c Min unsat cost LB: 124739 ... c Min unsat cost LB: 124810 ... c Min unsat cost LB: 124833 ... c Min unsat cost LB: 124879 ... c Min unsat cost LB: 124927 ... c Min unsat cost LB: 125299 ... c Min unsat cost LB: 125322 ... c Min unsat cost LB: 125324 ... c Min unsat cost LB: 126066 ... c Min unsat cost LB: 126072 ... c Min unsat cost LB: 126642 ... c Min unsat cost LB: 126904 ... c Min unsat cost LB: 127121 ... c Min unsat cost LB: 127405 ... c Min unsat cost LB: 127570 ... c Min unsat cost LB: 127776 ... c Min unsat cost LB: 128136 ... c Min unsat cost LB: 128756 ... c Min unsat cost LB: 129143 ... c Min unsat cost LB: 129918 ... c Min unsat cost LB: 130193 ... c Min unsat cost LB: 130529 ... c Min unsat cost LB: 130549 ... c Min unsat cost LB: 130930 ... c Min unsat cost LB: 130951 ... c Min unsat cost LB: 131024 ... c Min unsat cost LB: 131112 ... c Min unsat cost LB: 131174 ... c Min unsat cost LB: 132183 ... c Min unsat cost LB: 132376 ... c Min unsat cost LB: 133348 ... c Min unsat cost LB: 133386 ... c Min unsat cost LB: 133956 ... c Min unsat cost LB: 134039 ... c Min unsat cost LB: 134084 ... c Min unsat cost LB: 134196 ... c Min unsat cost LB: 134239 ... c Min unsat cost LB: 134431 ... c Min unsat cost LB: 135206 ... c Min unsat cost LB: 136229 ... c Min unsat cost LB: 136680 ... c Min unsat cost LB: 136702 ... c Min unsat cost LB: 136966 ... c Min unsat cost LB: 136978 ... c Min unsat cost LB: 137187 ... c Min unsat cost LB: 137229 ... c Min unsat cost LB: 137272 ... c Min unsat cost LB: 137292 ... c Min unsat cost LB: 138058 ... c Min unsat cost LB: 138104 ... c Min unsat cost LB: 138123 ... c Min unsat cost LB: 138124 ... c Min unsat cost LB: 138163 ... c Min unsat cost LB: 138220 ... c Min unsat cost LB: 138277 ... c Min unsat cost LB: 138305 ... c Min unsat cost LB: 138387 ... c Min unsat cost LB: 139099 ... c Min unsat cost LB: 139109 ... c Min unsat cost LB: 139115 ... c Min unsat cost LB: 139126 ... c Min unsat cost LB: 139163 ... c Min unsat cost LB: 139256 ... c Min unsat cost LB: 139262 ... c Min unsat cost LB: 139292 ... c Min unsat cost LB: 139309 ... c Min unsat cost LB: 139343 ... c Min unsat cost LB: 139361 ... c Min unsat cost LB: 139577 ... c Min unsat cost LB: 139649 ... c Min unsat cost LB: 139776 ... c Min unsat cost LB: 139804 ... c Min unsat cost LB: 140596 ... c Min unsat cost LB: 140848 ... c Min unsat cost LB: 140859 ... c Min unsat cost LB: 140865 ... c Min unsat cost LB: 140876 ... c Min unsat cost LB: 140880 ... c Min unsat cost LB: 140886 ... c Min unsat cost LB: 140887 ... c Min unsat cost LB: 141014 ... c Min unsat cost LB: 141072 ... c Min unsat cost LB: 141216 ... c Min unsat cost LB: 141237 ... c Min unsat cost LB: 141496 ... c Min unsat cost LB: 142578 ... c Min unsat cost LB: 142620 ... c Min unsat cost LB: 142637 ... c Min unsat cost LB: 142749 ... c Min unsat cost LB: 142798 ... c Min unsat cost LB: 143384 ... c Min unsat cost LB: 143463 ... c Min unsat cost LB: 143673 ... c Min unsat cost LB: 143764 ... c Min unsat cost LB: 144280 ... c Min unsat cost LB: 144973 ... c Min unsat cost LB: 145678 ... c Min unsat cost LB: 145799 ... c Min unsat cost LB: 145872 ... c Min unsat cost LB: 146904 ... c Min unsat cost LB: 147513 ... c Min unsat cost LB: 147641 ... c Min unsat cost LB: 147667 ... c Min unsat cost LB: 148667 ... c Min unsat cost LB: 148831 ... c Min unsat cost LB: 149384 ... c Min unsat cost LB: 149401 ... c Min unsat cost LB: 149873 ... c Min unsat cost LB: 149887 ... c Min unsat cost LB: 150526 ... c Min unsat cost LB: 150548 ... c Min unsat cost LB: 150650 ... c Min unsat cost LB: 150665 ... c Min unsat cost LB: 150971 ... c Min unsat cost LB: 151113 ... c Min unsat cost LB: 151132 ... c Min unsat cost LB: 151144 ... c Min unsat cost LB: 151150 ... c Min unsat cost LB: 151152 ... c Min unsat cost LB: 151153 ... c Min unsat cost LB: 151173 ... c Min unsat cost LB: 151191 ... c Min unsat cost LB: 151192 ... c Min unsat cost LB: 151195 ... c Min unsat cost LB: 151200 ... c Min unsat cost LB: 151345 ... c Min unsat cost LB: 151481 ... c Min unsat cost LB: 151636 ... c Min unsat cost LB: 151637 ... c Min unsat cost LB: 151639 ... c Min unsat cost LB: 151784 ... c Min unsat cost LB: 151812 ... c Min unsat cost LB: 151984 ... c Min unsat cost LB: 152045 ... c Min unsat cost LB: 152400 ... c Min unsat cost LB: 152872 ... c Min unsat cost LB: 153346 ... c Min unsat cost LB: 153456 ... c Min unsat cost LB: 153505 ... c Min unsat cost LB: 153506 ... c Min unsat cost LB: 153507 ... c Min unsat cost LB: 153859 ... c Min unsat cost LB: 153884 ... c Min unsat cost LB: 154084 ... c Min unsat cost LB: 154157 ... c Min unsat cost LB: 154328 ... c Min unsat cost LB: 154393 ... c Min unsat cost LB: 154915 ... c Min unsat cost LB: 155289 ... c Min unsat cost LB: 155774 ... c Min unsat cost LB: 155818 ... c Min unsat cost LB: 155867 ... c Min unsat cost LB: 155882 ... c Min unsat cost LB: 155883 ... c Min unsat cost LB: 155884 ... c Min unsat cost LB: 155885 ... c Min unsat cost LB: 155892 ... c Min unsat cost LB: 155896 ... c Min unsat cost LB: 155901 ... c Min unsat cost LB: 155902 ... c Min unsat cost LB: 155904 ... c Min unsat cost LB: 155905 ... c Min unsat cost LB: 155907 ... c Min unsat cost LB: 155908 ... c Min unsat cost LB: 155993 ... c Min unsat cost LB: 156270 ... c Min unsat cost LB: 156725 ... c Min unsat cost LB: 157329 ... c Min unsat cost LB: 157353 ... c Min unsat cost LB: 157654 ... c Min unsat cost LB: 158695 ... c Min unsat cost LB: 158713 ... c Min unsat cost LB: 158890 ... c Min unsat cost LB: 158986 ... c Min unsat cost LB: 159065 ... c Min unsat cost LB: 159066 ... c Min unsat cost LB: 159076 ... c Min unsat cost LB: 159084 ... c Min unsat cost LB: 159088 ... c Min unsat cost LB: 159089 ... c Min unsat cost LB: 159090 ... c Min unsat cost LB: 159091 ... c Min unsat cost LB: 159093 ... c Min unsat cost LB: 159099 ... c Min unsat cost LB: 159100 ... c Min unsat cost LB: 159168 ... c Min unsat cost LB: 159204 ... c Min unsat cost LB: 159411 ... c Min unsat cost LB: 159437 ... c Min unsat cost LB: 160869 ... c Min unsat cost LB: 161049 ... c Min unsat cost LB: 161064 ... c Min unsat cost LB: 161180 ... c Min unsat cost LB: 161181 ... c Min unsat cost LB: 161182 ... c Min unsat cost LB: 161191 ... c Min unsat cost LB: 161213 ... c Min unsat cost LB: 161216 ... c Min unsat cost LB: 161217 ... c Min unsat cost LB: 161218 ... c Min unsat cost LB: 161220 ... c Min unsat cost LB: 161222 ... c Min unsat cost LB: 161223 ... c Min unsat cost LB: 161226 ... c Min unsat cost LB: 161229 ... c Min unsat cost LB: 161231 ... c Min unsat cost LB: 161232 ... c Min unsat cost LB: 161233 ... c Min unsat cost LB: 161235 ... c Min unsat cost LB: 161236 ... c Min unsat cost LB: 161237 ... c Min unsat cost LB: 161238 ... c Min unsat cost LB: 161239 ... c Min unsat cost LB: 161240 ... c Min unsat cost LB: 161241 ... c Min unsat cost LB: 161243 ... c Min unsat cost LB: 161244 ... c Min unsat cost LB: 161245 ... c Min unsat cost LB: 161246 ... c Min unsat cost LB: 161247 ... c Min unsat cost LB: 161248 ... c Min unsat cost LB: 161249 ... c Min unsat cost LB: 161250 ... c Min unsat cost LB: 161251 ... c Min unsat cost LB: 161252 ... c Min unsat cost LB: 161253 ... c Min unsat cost LB: 161258 ... c Min unsat cost LB: 161260 ... c Min unsat cost LB: 161355 ... c Min unsat cost LB: 161489 ... c Min unsat cost LB: 161574 ... c Min unsat cost LB: 161699 ... c Min unsat cost LB: 162099 ... c Min unsat cost LB: 162108 ... c Min unsat cost LB: 162166 ... c Min unsat cost LB: 162167 ... c Min unsat cost LB: 162878 ... c Min unsat cost LB: 162879 ... c Min unsat cost LB: 162885 ... c Min unsat cost LB: 163351 ... c Min unsat cost LB: 163437 ... c Min unsat cost LB: 163706 ... c Min unsat cost LB: 164296 ... c Min unsat cost LB: 164339 ... c Min unsat cost LB: 165180 ... c Min unsat cost LB: 165187 ... c Min unsat cost LB: 165217 ... c Min unsat cost LB: 165230 ... c Min unsat cost LB: 165258 ... c Min unsat cost LB: 165836 ... c Min unsat cost LB: 165913 ... c Min unsat cost LB: 165962 ... c Min unsat cost LB: 166290 ... c Min unsat cost LB: 167394 ... c Min unsat cost LB: 167548 ... c Min unsat cost LB: 167627 ... c Min unsat cost LB: 167631 ... c Min unsat cost LB: 167638 ... c Min unsat cost LB: 167651 ... c Min unsat cost LB: 167675 ... c Min unsat cost LB: 167714 ... c Min unsat cost LB: 167769 ... c Min unsat cost LB: 167775 ... c Min unsat cost LB: 167818 ... c Min unsat cost LB: 167872 ... c Min unsat cost LB: 167884 ... c Min unsat cost LB: 167894 ... c Min unsat cost LB: 167900 ... c Min unsat cost LB: 167913 ... c Min unsat cost LB: 167947 ... c Min unsat cost LB: 167962 ... c Min unsat cost LB: 168011 ... c Min unsat cost LB: 168016 ... c Min unsat cost LB: 168022 ... c Min unsat cost LB: 168023 ... c Min unsat cost LB: 168025 ... c Min unsat cost LB: 168034 ... c Min unsat cost LB: 168036 ... c Min unsat cost LB: 168039 ... c Min unsat cost LB: 168050 ... c Min unsat cost LB: 168052 ... c Min unsat cost LB: 168053 ... c Min unsat cost LB: 168054 ... c Min unsat cost LB: 168060 ... c Min unsat cost LB: 168068 ... c Min unsat cost LB: 168194 ... c Min unsat cost LB: 168201 ... c Min unsat cost LB: 168214 ... c Min unsat cost LB: 168221 ... c Min unsat cost LB: 168363 ... c Min unsat cost LB: 168797 ... c Min unsat cost LB: 169868 ... c Min unsat cost LB: 169914 ... c Min unsat cost LB: 170314 ... c Min unsat cost LB: 170364 ... c Min unsat cost LB: 170388 ... c Min unsat cost LB: 170405 ... c Min unsat cost LB: 170442 ... c Min unsat cost LB: 170488 ... c Min unsat cost LB: 170492 ... c Min unsat cost LB: 170829 ... c Min unsat cost LB: 171625 ... c Min unsat cost LB: 172153 ... c Min unsat cost LB: 172280 ... c Min unsat cost LB: 172544 ... c Min unsat cost LB: 172624 ... c Min unsat cost LB: 172735 ... c Min unsat cost LB: 172911 ... c Min unsat cost LB: 172970 ... c Min unsat cost LB: 173069 ... c Min unsat cost LB: 173093 ... c Min unsat cost LB: 173148 ... c Min unsat cost LB: 173597 ... c Min unsat cost LB: 173810 ... c Min unsat cost LB: 173814 ... c Min unsat cost LB: 173832 ... c Min unsat cost LB: 174086 ... c Min unsat cost LB: 174217 ... c Min unsat cost LB: 174231 ... c Min unsat cost LB: 174663 ... c Min unsat cost LB: 174665 ... c Min unsat cost LB: 174997 ... c Min unsat cost LB: 175151 ... c Min unsat cost LB: 175152 ... c Min unsat cost LB: 175448 ... c Min unsat cost LB: 175624 ... c Min unsat cost LB: 175748 ... c Min unsat cost LB: 175887 ... c Min unsat cost LB: 175979 ... c Min unsat cost LB: 176002 ... c Min unsat cost LB: 176173 ... c Min unsat cost LB: 176190 ... c Min unsat cost LB: 176273 ... c Min unsat cost LB: 176274 ... c Min unsat cost LB: 176452 ... c Min unsat cost LB: 176454 ... c Min unsat cost LB: 176599 ... c Min unsat cost LB: 177372 ... c Min unsat cost LB: 177391 ... c Min unsat cost LB: 177392 ... c Min unsat cost LB: 177464 ... c Min unsat cost LB: 177469 ... c Min unsat cost LB: 178088 ... c Min unsat cost LB: 178501 ... c Min unsat cost LB: 178502 ... c Min unsat cost LB: 178507 ... c Min unsat cost LB: 178508 ... c Min unsat cost LB: 178513 ... c Min unsat cost LB: 178514 ... c Min unsat cost LB: 178517 ... c Min unsat cost LB: 178518 ... c Min unsat cost LB: 178519 ... c Min unsat cost LB: 178520 ... c Min unsat cost LB: 178522 ... c Min unsat cost LB: 178523 ... c Min unsat cost LB: 178525 ... c Min unsat cost LB: 178527 ... c Min unsat cost LB: 178528 ... c Min unsat cost LB: 178563 ... c Min unsat cost LB: 178564 ... c Min unsat cost LB: 178570 ... c Min unsat cost LB: 178571 ... c Min unsat cost LB: 178572 ... c Min unsat cost LB: 178786 ... c Min unsat cost LB: 178787 ... c Min unsat cost LB: 178788 ... c Min unsat cost LB: 178789 ... c Min unsat cost LB: 178790 ... c Min unsat cost LB: 178791 ... c Min unsat cost LB: 178792 ... c Min unsat cost LB: 178793 ... c Min unsat cost LB: 178794 ... c Min unsat cost LB: 178795 ... c Min unsat cost LB: 178796 ... c Min unsat cost LB: 178797 ... c Min unsat cost LB: 178800 ... c Min unsat cost LB: 178801 ... c Min unsat cost LB: 178802 ... c Min unsat cost LB: 178803 ... c Min unsat cost LB: 178804 ... c Min unsat cost LB: 178805 ... c Min unsat cost LB: 178808 ... c Min unsat cost LB: 178809 ... c Min unsat cost LB: 178810 ... c Min unsat cost LB: 178811 ... c Min unsat cost LB: 178812 ... c Min unsat cost LB: 179538 ... c Min unsat cost LB: 179766 ... c Min unsat cost LB: 180010 ... c Min unsat cost LB: 180011 ... c Min unsat cost LB: 180428 ... c Min unsat cost LB: 180469 ... c Min unsat cost LB: 180846 ... c Min unsat cost LB: 181065 ... c Min unsat cost LB: 181187 ... c Min unsat cost LB: 181907 ... c Min unsat cost LB: 181982 ... c Min unsat cost LB: 181983 ... c Min unsat cost LB: 181984 ... c Min unsat cost LB: 181985 ... c Min unsat cost LB: 181986 ... c Min unsat cost LB: 181987 ... c Min unsat cost LB: 181988 ... c Min unsat cost LB: 181989 ... c Min unsat cost LB: 182028 ... c Min unsat cost LB: 182058 ... c Min unsat cost LB: 182075 ... c Min unsat cost LB: 182146 ... c Min unsat cost LB: 182233 ... c Min unsat cost LB: 182397 ... c Min unsat cost LB: 182469 ... c Min unsat cost LB: 182530 ... c Min unsat cost LB: 183196 ... c Min unsat cost LB: 183213 ... c Min unsat cost LB: 183218 ... c Min unsat cost LB: 183233 ... c Min unsat cost LB: 183245 ... c Min unsat cost LB: 183248 ... c Min unsat cost LB: 183249 ... c Min unsat cost LB: 183250 ... c Min unsat cost LB: 183251 ... c Min unsat cost LB: 183252 ... c Min unsat cost LB: 183253 ... c Min unsat cost LB: 183274 ... c Min unsat cost LB: 183275 ... c Min unsat cost LB: 183286 ... c Min unsat cost LB: 183303 ... c Min unsat cost LB: 183307 ... c Min unsat cost LB: 183314 ... c Min unsat cost LB: 183316 ... c Min unsat cost LB: 183318 ... c Min unsat cost LB: 183323 ... c Min unsat cost LB: 183336 ... c Min unsat cost LB: 183385 ... c Min unsat cost LB: 183388 ... c Min unsat cost LB: 183392 ... c Min unsat cost LB: 183395 ... c Min unsat cost LB: 183408 ... c Min unsat cost LB: 183434 ... c Min unsat cost LB: 183441 ... c Min unsat cost LB: 183445 ... c Min unsat cost LB: 183447 ... c Min unsat cost LB: 183454 ... c Min unsat cost LB: 183470 ... c Min unsat cost LB: 183472 ... c Min unsat cost LB: 183475 ... c Min unsat cost LB: 183476 ... c Min unsat cost LB: 183477 ... c Min unsat cost LB: 183654 ... c Min unsat cost LB: 184588 ... c Min unsat cost LB: 184669 ... c Min unsat cost LB: 184670 ... c Min unsat cost LB: 184977 ... c Min unsat cost LB: 184978 ... c Min unsat cost LB: 184979 ... c Min unsat cost LB: 184980 ... c Min unsat cost LB: 185093 ... c Min unsat cost LB: 185779 ... c Min unsat cost LB: 186194 ... c Min unsat cost LB: 186229 ... c Min unsat cost LB: 186249 ... c Min unsat cost LB: 186266 ... c Min unsat cost LB: 186269 ... c Min unsat cost LB: 186273 ... c Min unsat cost LB: 186322 ... c Min unsat cost LB: 186332 ... c Min unsat cost LB: 186333 ... c Min unsat cost LB: 186507 ... c Min unsat cost LB: 186712 ... c Min unsat cost LB: 186823 ... c Min unsat cost LB: 187259 ... c Min unsat cost LB: 187331 ... c Min unsat cost LB: 187383 ... c Min unsat cost LB: 187408 ... c Min unsat cost LB: 187874 ... c Min unsat cost LB: 188105 ... c Min unsat cost LB: 188469 ... c Min unsat cost LB: 188564 ... c Min unsat cost LB: 188628 ... c Min unsat cost LB: 189106 ... c Min unsat cost LB: 189476 ... c Min unsat cost LB: 189528 ... c Min unsat cost LB: 189773 ... c Min unsat cost LB: 189918 ... c Min unsat cost LB: 189984 ... c Min unsat cost LB: 190096 ... c Min unsat cost LB: 190377 ... c Min unsat cost LB: 190409 ... c Min unsat cost LB: 190419 ... c Min unsat cost LB: 191119 ... c Min unsat cost LB: 191379 ... c Min unsat cost LB: 191730 ... c Min unsat cost LB: 191733 ... c Min unsat cost LB: 191740 ... c Min unsat cost LB: 192341 ... c Min unsat cost LB: 192474 ... c Min unsat cost LB: 193984 ... c Min unsat cost LB: 194000 ... c Min unsat cost LB: 194382 ... c Min unsat cost LB: 194656 ... c Min unsat cost LB: 194879 ... c Min unsat cost LB: 194896 ... c Min unsat cost LB: 194897 ... c Min unsat cost LB: 194898 ... c Min unsat cost LB: 194899 ... c Min unsat cost LB: 194900 ... c Min unsat cost LB: 194903 ... c Min unsat cost LB: 195143 ... c Min unsat cost LB: 195144 ... c Min unsat cost LB: 195145 ... c Min unsat cost LB: 195146 ... c Min unsat cost LB: 195193 ... c Min unsat cost LB: 195353 ... c Min unsat cost LB: 195407 ... c Min unsat cost LB: 195630 ... c Min unsat cost LB: 195631 ... c Min unsat cost LB: 195632 ... c Min unsat cost LB: 195633 ... c Min unsat cost LB: 195634 ... c Min unsat cost LB: 195873 ... c Min unsat cost LB: 195919 ... c Min unsat cost LB: 196832 ... c Min unsat cost LB: 196975 ... c Min unsat cost LB: 197182 ... c Min unsat cost LB: 197593 ... c Min unsat cost LB: 197594 ... c Min unsat cost LB: 197595 ... c Min unsat cost LB: 197797 ... c Min unsat cost LB: 197909 ... c Min unsat cost LB: 198032 ... c Min unsat cost LB: 198146 ... c Min unsat cost LB: 198289 ... c Min unsat cost LB: 198354 ... c Min unsat cost LB: 198620 ... c Min unsat cost LB: 198621 ... c Min unsat cost LB: 198622 ... c Min unsat cost LB: 198623 ... c Min unsat cost LB: 198624 ... c Min unsat cost LB: 198625 ... c Min unsat cost LB: 198626 ... c Min unsat cost LB: 198627 ... c Min unsat cost LB: 198628 ... c Min unsat cost LB: 198629 ... c Min unsat cost LB: 198630 ... c Min unsat cost LB: 198631 ... c Min unsat cost LB: 198632 ... c Min unsat cost LB: 198633 ... c Min unsat cost LB: 198634 ... c Min unsat cost LB: 198635 ... c Min unsat cost LB: 198636 ... c Min unsat cost LB: 198637 ... c Min unsat cost LB: 198638 ... c Min unsat cost LB: 198639 ... c Min unsat cost LB: 198640 ... c Min unsat cost LB: 198641 ... c Min unsat cost LB: 198642 ... c Min unsat cost LB: 198643 ... c Min unsat cost LB: 198644 ... c Min unsat cost LB: 198646 ... c Min unsat cost LB: 198648 ... c Min unsat cost LB: 198649 ... c Min unsat cost LB: 198650 ... c Min unsat cost LB: 198651 ... c Min unsat cost LB: 198656 ... c Min unsat cost LB: 198657 ... c Min unsat cost LB: 198658 ... c Min unsat cost LB: 198661 ... c Min unsat cost LB: 198663 ... c Min unsat cost LB: 198664 ... c Min unsat cost LB: 198665 ... c Min unsat cost LB: 200010 ... c Min unsat cost LB: 200117 ... c Min unsat cost LB: 200186 ... c Min unsat cost LB: 200948 ... c Min unsat cost LB: 201161 ... c Min unsat cost LB: 201357 ... c Min unsat cost LB: 201464 ... c Min unsat cost LB: 201554 ... c Min unsat cost LB: 201975 ... c Min unsat cost LB: 202154 ... c Min unsat cost LB: 202210 ... c Min unsat cost LB: 202423 ... c Min unsat cost LB: 202468 ... c Min unsat cost LB: 202510 ... c Min unsat cost LB: 203046 ... c Min unsat cost LB: 203265 ... c Min unsat cost LB: 203496 ... c Min unsat cost LB: 203566 ... c Min unsat cost LB: 203579 ... c Min unsat cost LB: 203613 ... c Min unsat cost LB: 204277 ... c Min unsat cost LB: 204516 ... c Min unsat cost LB: 204601 ... c Min unsat cost LB: 204731 ... c Min unsat cost LB: 204934 ... c Min unsat cost LB: 205738 ... c Min unsat cost LB: 205818 ... c Min unsat cost LB: 206505 ... c Min unsat cost LB: 206542 ... c Min unsat cost LB: 207986 ... c Min unsat cost LB: 208036 ... c Min unsat cost LB: 208037 ... c Min unsat cost LB: 208038 ... c Min unsat cost LB: 208039 ... c Min unsat cost LB: 208040 ... c Min unsat cost LB: 208041 ... c Min unsat cost LB: 208042 ... c Min unsat cost LB: 208043 ... c Min unsat cost LB: 208044 ... c Min unsat cost LB: 208045 ... c Min unsat cost LB: 208046 ... c Min unsat cost LB: 208047 ... c Min unsat cost LB: 208048 ... c Min unsat cost LB: 208049 ... c Min unsat cost LB: 208050 ... c Min unsat cost LB: 208051 ... c Min unsat cost LB: 208052 ... c Min unsat cost LB: 208053 ... c Min unsat cost LB: 208054 ... c Min unsat cost LB: 208055 ... c Min unsat cost LB: 208056 ... c Min unsat cost LB: 208967 ... c Min unsat cost LB: 208992 ... c Min unsat cost LB: 209018 ... c Min unsat cost LB: 209069 ... c Min unsat cost LB: 209154 ... c Min unsat cost LB: 209528 ... c Min unsat cost LB: 209612 ... c Min unsat cost LB: 210141 ... c Min unsat cost LB: 210203 ... c Min unsat cost LB: 210204 ... c Min unsat cost LB: 210205 ... c Min unsat cost LB: 210206 ... c Min unsat cost LB: 210207 ... c Min unsat cost LB: 210208 ... c Min unsat cost LB: 210209 ... c Min unsat cost LB: 210210 ... c Min unsat cost LB: 210211 ... c Min unsat cost LB: 210212 ... c Min unsat cost LB: 210213 ... c Min unsat cost LB: 210214 ... c Min unsat cost LB: 210215 ... c Min unsat cost LB: 210216 ... c Min unsat cost LB: 210217 ... c Min unsKilled 1816.033u 3.710s 30:23.94 99.7% 0+0k 0+0io 0pf+0w