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-300-1_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-2.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-300-1_network-2.net.wcnf *** c c Min unsat cost LB: 1099 ... c Min unsat cost LB: 2388 ... c Min unsat cost LB: 2858 ... c Min unsat cost LB: 4391 ... c Min unsat cost LB: 5893 ... c Min unsat cost LB: 6688 ... c Min unsat cost LB: 7115 ... c Min unsat cost LB: 7163 ... c Min unsat cost LB: 7286 ... c Min unsat cost LB: 8321 ... c Min unsat cost LB: 9850 ... c Min unsat cost LB: 10998 ... c Min unsat cost LB: 12663 ... c Min unsat cost LB: 14437 ... c Min unsat cost LB: 15137 ... c Min unsat cost LB: 15952 ... c Min unsat cost LB: 17040 ... c Min unsat cost LB: 17609 ... c Min unsat cost LB: 19274 ... c Min unsat cost LB: 19319 ... c Min unsat cost LB: 19491 ... c Min unsat cost LB: 19795 ... c Min unsat cost LB: 20886 ... c Min unsat cost LB: 22317 ... c Min unsat cost LB: 23186 ... c Min unsat cost LB: 24362 ... c Min unsat cost LB: 24596 ... c Min unsat cost LB: 24713 ... c Min unsat cost LB: 24893 ... c Min unsat cost LB: 25372 ... c Min unsat cost LB: 26065 ... c Min unsat cost LB: 26382 ... c Min unsat cost LB: 27420 ... c Min unsat cost LB: 28428 ... c Min unsat cost LB: 28832 ... c Min unsat cost LB: 29488 ... c Min unsat cost LB: 31352 ... c Min unsat cost LB: 31517 ... c Min unsat cost LB: 32147 ... c Min unsat cost LB: 33271 ... c Min unsat cost LB: 34205 ... c Min unsat cost LB: 34416 ... c Min unsat cost LB: 36095 ... c Min unsat cost LB: 36742 ... c Min unsat cost LB: 38449 ... c Min unsat cost LB: 39594 ... c Min unsat cost LB: 40361 ... c Min unsat cost LB: 41633 ... c Min unsat cost LB: 42272 ... c Min unsat cost LB: 42868 ... c Min unsat cost LB: 43232 ... c Min unsat cost LB: 43985 ... c Min unsat cost LB: 44141 ... c Min unsat cost LB: 44378 ... c Min unsat cost LB: 44552 ... c Min unsat cost LB: 45588 ... c Min unsat cost LB: 46139 ... c Min unsat cost LB: 47122 ... c Min unsat cost LB: 47480 ... c Min unsat cost LB: 47779 ... c Min unsat cost LB: 47784 ... c Min unsat cost LB: 48122 ... c Min unsat cost LB: 49467 ... c Min unsat cost LB: 49757 ... c Min unsat cost LB: 50208 ... c Min unsat cost LB: 51870 ... c Min unsat cost LB: 51905 ... c Min unsat cost LB: 53285 ... c Min unsat cost LB: 53829 ... c Min unsat cost LB: 54914 ... c Min unsat cost LB: 56169 ... c Min unsat cost LB: 56176 ... c Min unsat cost LB: 56309 ... c Min unsat cost LB: 56648 ... c Min unsat cost LB: 57398 ... c Min unsat cost LB: 59611 ... c Min unsat cost LB: 60156 ... c Min unsat cost LB: 60239 ... c Min unsat cost LB: 61567 ... c Min unsat cost LB: 62114 ... c Min unsat cost LB: 63656 ... c Min unsat cost LB: 63947 ... c Min unsat cost LB: 64424 ... c Min unsat cost LB: 65575 ... c Min unsat cost LB: 65886 ... c Min unsat cost LB: 66017 ... c Min unsat cost LB: 66817 ... c Min unsat cost LB: 67694 ... c Min unsat cost LB: 67804 ... c Min unsat cost LB: 68043 ... c Min unsat cost LB: 68413 ... c Min unsat cost LB: 68474 ... c Min unsat cost LB: 68775 ... c Min unsat cost LB: 69130 ... c Min unsat cost LB: 69384 ... c Min unsat cost LB: 69780 ... c Min unsat cost LB: 70982 ... c Min unsat cost LB: 71130 ... c Min unsat cost LB: 71479 ... c Min unsat cost LB: 71595 ... c Min unsat cost LB: 71859 ... c Min unsat cost LB: 72481 ... c Min unsat cost LB: 72554 ... c Min unsat cost LB: 73155 ... c Min unsat cost LB: 73237 ... c Min unsat cost LB: 73265 ... c Min unsat cost LB: 73588 ... c Min unsat cost LB: 73934 ... c Min unsat cost LB: 74260 ... c Min unsat cost LB: 74949 ... c Min unsat cost LB: 75229 ... c Min unsat cost LB: 75716 ... c Min unsat cost LB: 76419 ... c Min unsat cost LB: 77478 ... c Min unsat cost LB: 77512 ... c Min unsat cost LB: 77976 ... c Min unsat cost LB: 78692 ... c Min unsat cost LB: 78752 ... c Min unsat cost LB: 78765 ... c Min unsat cost LB: 79390 ... c Min unsat cost LB: 79427 ... c Min unsat cost LB: 79447 ... c Min unsat cost LB: 80076 ... c Min unsat cost LB: 80223 ... c Min unsat cost LB: 80512 ... c Min unsat cost LB: 80744 ... c Min unsat cost LB: 80788 ... c Min unsat cost LB: 81350 ... c Min unsat cost LB: 81353 ... c Min unsat cost LB: 81705 ... c Min unsat cost LB: 81724 ... c Min unsat cost LB: 82123 ... c Min unsat cost LB: 82414 ... c Min unsat cost LB: 83020 ... c Min unsat cost LB: 83656 ... c Min unsat cost LB: 83778 ... c Min unsat cost LB: 83930 ... c Min unsat cost LB: 83991 ... c Min unsat cost LB: 84587 ... c Min unsat cost LB: 85026 ... c Min unsat cost LB: 85084 ... c Min unsat cost LB: 85348 ... c Min unsat cost LB: 85798 ... c Min unsat cost LB: 86060 ... c Min unsat cost LB: 86208 ... c Min unsat cost LB: 86265 ... c Min unsat cost LB: 87094 ... c Min unsat cost LB: 87229 ... c Min unsat cost LB: 87240 ... c Min unsat cost LB: 87338 ... c Min unsat cost LB: 87559 ... c Min unsat cost LB: 88214 ... c Min unsat cost LB: 88580 ... c Min unsat cost LB: 88760 ... c Min unsat cost LB: 89203 ... c Min unsat cost LB: 89509 ... c Min unsat cost LB: 89567 ... c Min unsat cost LB: 89793 ... c Min unsat cost LB: 90650 ... c Min unsat cost LB: 90726 ... c Min unsat cost LB: 90863 ... c Min unsat cost LB: 91253 ... c Min unsat cost LB: 92087 ... c Min unsat cost LB: 92310 ... c Min unsat cost LB: 92538 ... c Min unsat cost LB: 92619 ... c Min unsat cost LB: 93086 ... c Min unsat cost LB: 93707 ... c Min unsat cost LB: 93756 ... c Min unsat cost LB: 93797 ... c Min unsat cost LB: 94155 ... c Min unsat cost LB: 94159 ... c Min unsat cost LB: 94239 ... c Min unsat cost LB: 94276 ... c Min unsat cost LB: 94587 ... c Min unsat cost LB: 94891 ... c Min unsat cost LB: 95431 ... c Min unsat cost LB: 95946 ... c Min unsat cost LB: 96080 ... c Min unsat cost LB: 96132 ... c Min unsat cost LB: 96138 ... c Min unsat cost LB: 96389 ... c Min unsat cost LB: 96392 ... c Min unsat cost LB: 96683 ... c Min unsat cost LB: 96770 ... c Min unsat cost LB: 96781 ... c Min unsat cost LB: 96975 ... c Min unsat cost LB: 98096 ... c Min unsat cost LB: 98445 ... c Min unsat cost LB: 98878 ... c Min unsat cost LB: 99172 ... c Min unsat cost LB: 99310 ... c Min unsat cost LB: 99412 ... c Min unsat cost LB: 99839 ... c Min unsat cost LB: 100096 ... c Min unsat cost LB: 100534 ... c Min unsat cost LB: 100536 ... c Min unsat cost LB: 100660 ... c Min unsat cost LB: 101058 ... c Min unsat cost LB: 101177 ... c Min unsat cost LB: 101658 ... c Min unsat cost LB: 102695 ... c Min unsat cost LB: 102705 ... c Min unsat cost LB: 102953 ... c Min unsat cost LB: 103148 ... c Min unsat cost LB: 103638 ... c Min unsat cost LB: 103640 ... c Min unsat cost LB: 103856 ... c Min unsat cost LB: 103959 ... c Min unsat cost LB: 104810 ... c Min unsat cost LB: 105692 ... c Min unsat cost LB: 105695 ... c Min unsat cost LB: 105833 ... c Min unsat cost LB: 105879 ... c Min unsat cost LB: 105903 ... c Min unsat cost LB: 105994 ... c Min unsat cost LB: 106813 ... c Min unsat cost LB: 106815 ... c Min unsat cost LB: 106930 ... c Min unsat cost LB: 107061 ... c Min unsat cost LB: 107103 ... c Min unsat cost LB: 107308 ... c Min unsat cost LB: 107841 ... c Min unsat cost LB: 108120 ... c Min unsat cost LB: 108333 ... c Min unsat cost LB: 108919 ... c Min unsat cost LB: 108921 ... c Min unsat cost LB: 108922 ... c Min unsat cost LB: 108978 ... c Min unsat cost LB: 109029 ... c Min unsat cost LB: 109211 ... c Min unsat cost LB: 109519 ... c Min unsat cost LB: 110027 ... c Min unsat cost LB: 110680 ... c Min unsat cost LB: 110727 ... c Min unsat cost LB: 111556 ... c Min unsat cost LB: 111670 ... c Min unsat cost LB: 111708 ... c Min unsat cost LB: 111956 ... c Min unsat cost LB: 112802 ... c Min unsat cost LB: 112944 ... c Min unsat cost LB: 114366 ... c Min unsat cost LB: 114412 ... c Min unsat cost LB: 114501 ... c Min unsat cost LB: 114574 ... c Min unsat cost LB: 114654 ... c Min unsat cost LB: 114973 ... c Min unsat cost LB: 115034 ... c Min unsat cost LB: 115318 ... c Min unsat cost LB: 115440 ... c Min unsat cost LB: 115526 ... c Min unsat cost LB: 115703 ... c Min unsat cost LB: 116345 ... c Min unsat cost LB: 116904 ... c Min unsat cost LB: 117166 ... c Min unsat cost LB: 117183 ... c Min unsat cost LB: 117210 ... c Min unsat cost LB: 117327 ... c Min unsat cost LB: 117329 ... c Min unsat cost LB: 117361 ... c Min unsat cost LB: 117417 ... c Min unsat cost LB: 117418 ... c Min unsat cost LB: 117422 ... c Min unsat cost LB: 117541 ... c Min unsat cost LB: 117577 ... c Min unsat cost LB: 118001 ... c Min unsat cost LB: 119263 ... c Min unsat cost LB: 119301 ... c Min unsat cost LB: 119303 ... c Min unsat cost LB: 119354 ... c Min unsat cost LB: 119391 ... c Min unsat cost LB: 119398 ... c Min unsat cost LB: 119400 ... c Min unsat cost LB: 119434 ... c Min unsat cost LB: 119442 ... c Min unsat cost LB: 119488 ... c Min unsat cost LB: 120061 ... c Min unsat cost LB: 120854 ... c Min unsat cost LB: 121011 ... c Min unsat cost LB: 121127 ... c Min unsat cost LB: 121130 ... c Min unsat cost LB: 121262 ... c Min unsat cost LB: 121339 ... c Min unsat cost LB: 121382 ... c Min unsat cost LB: 121385 ... c Min unsat cost LB: 121387 ... c Min unsat cost LB: 121538 ... c Min unsat cost LB: 122458 ... c Min unsat cost LB: 122844 ... c Min unsat cost LB: 123075 ... c Min unsat cost LB: 123138 ... c Min unsat cost LB: 123520 ... c Min unsat cost LB: 124473 ... c Min unsat cost LB: 125665 ... c Min unsat cost LB: 125687 ... c Min unsat cost LB: 125706 ... c Min unsat cost LB: 125844 ... c Min unsat cost LB: 126050 ... c Min unsat cost LB: 126518 ... c Min unsat cost LB: 126770 ... c Min unsat cost LB: 127226 ... c Min unsat cost LB: 127330 ... c Min unsat cost LB: 127535 ... c Min unsat cost LB: 127563 ... c Min unsat cost LB: 127578 ... c Min unsat cost LB: 128613 ... c Min unsat cost LB: 128627 ... c Min unsat cost LB: 129811 ... c Min unsat cost LB: 129882 ... c Min unsat cost LB: 129917 ... c Min unsat cost LB: 130147 ... c Min unsat cost LB: 130474 ... c Min unsat cost LB: 130735 ... c Min unsat cost LB: 130913 ... c Min unsat cost LB: 131659 ... c Min unsat cost LB: 131697 ... c Min unsat cost LB: 131726 ... c Min unsat cost LB: 132318 ... c Min unsat cost LB: 132626 ... c Min unsat cost LB: 132804 ... c Min unsat cost LB: 132999 ... c Min unsat cost LB: 133504 ... c Min unsat cost LB: 133618 ... c Min unsat cost LB: 133666 ... c Min unsat cost LB: 133851 ... c Min unsat cost LB: 133853 ... c Min unsat cost LB: 134345 ... c Min unsat cost LB: 134945 ... c Min unsat cost LB: 135709 ... c Min unsat cost LB: 135939 ... c Min unsat cost LB: 136458 ... c Min unsat cost LB: 136722 ... c Min unsat cost LB: 136843 ... c Min unsat cost LB: 137489 ... c Min unsat cost LB: 137507 ... c Min unsat cost LB: 137619 ... c Min unsat cost LB: 138158 ... c Min unsat cost LB: 138496 ... c Min unsat cost LB: 138970 ... c Min unsat cost LB: 139315 ... c Min unsat cost LB: 139885 ... c Min unsat cost LB: 140080 ... c Min unsat cost LB: 140096 ... c Min unsat cost LB: 140189 ... c Min unsat cost LB: 140225 ... c Min unsat cost LB: 140607 ... c Min unsat cost LB: 140761 ... c Min unsat cost LB: 141445 ... c Min unsat cost LB: 142076 ... c Min unsat cost LB: 142116 ... c Min unsat cost LB: 142348 ... c Min unsat cost LB: 143090 ... c Min unsat cost LB: 143119 ... c Min unsat cost LB: 143615 ... c Min unsat cost LB: 143704 ... c Min unsat cost LB: 143954 ... c Min unsat cost LB: 144117 ... c Min unsat cost LB: 144196 ... c Min unsat cost LB: 144677 ... c Min unsat cost LB: 144808 ... c Min unsat cost LB: 145075 ... c Min unsat cost LB: 145332 ... c Min unsat cost LB: 146567 ... c Min unsat cost LB: 146780 ... c Min unsat cost LB: 146931 ... c Min unsat cost LB: 147406 ... c Min unsat cost LB: 147919 ... c Min unsat cost LB: 148074 ... c Min unsat cost LB: 148981 ... c Min unsat cost LB: 149196 ... c Min unsat cost LB: 149532 ... c Min unsat cost LB: 149571 ... c Min unsat cost LB: 149664 ... c Min unsat cost LB: 149798 ... c Min unsat cost LB: 150231 ... c Min unsat cost LB: 150295 ... c Min unsat cost LB: 150446 ... c Min unsat cost LB: 150724 ... c Min unsat cost LB: 150809 ... c Min unsat cost LB: 150831 ... c Min unsat cost LB: 151044 ... c Min unsat cost LB: 151061 ... c Min unsat cost LB: 151435 ... c Min unsat cost LB: 151513 ... c Min unsat cost LB: 151717 ... c Min unsat cost LB: 152345 ... c Min unsat cost LB: 152578 ... c Min unsat cost LB: 152663 ... c Min unsat cost LB: 152852 ... c Min unsat cost LB: 154100 ... c Min unsat cost LB: 154318 ... c Min unsat cost LB: 154653 ... c Min unsat cost LB: 155332 ... c Min unsat cost LB: 155453 ... c Min unsat cost LB: 155554 ... c Min unsat cost LB: 156265 ... c Min unsat cost LB: 156432 ... c Min unsat cost LB: 157608 ... c Min unsat cost LB: 157699 ... c Min unsat cost LB: 158116 ... c Min unsat cost LB: 158229 ... c Min unsat cost LB: 158318 ... c Min unsat cost LB: 158598 ... c Min unsat cost LB: 158702 ... c Min unsat cost LB: 159498 ... c Min unsat cost LB: 159757 ... c Min unsat cost LB: 159874 ... c Min unsat cost LB: 160360 ... c Min unsat cost LB: 160983 ... c Min unsat cost LB: 161586 ... c Min unsat cost LB: 161605 ... c Min unsat cost LB: 161703 ... c Min unsat cost LB: 161717 ... c Min unsat cost LB: 162017 ... c Min unsat cost LB: 162096 ... c Min unsat cost LB: 162737 ... c Min unsat cost LB: 162798 ... c Min unsat cost LB: 163011 ... c Min unsat cost LB: 163167 ... c Min unsat cost LB: 163174 ... c Min unsat cost LB: 163185 ... c Min unsat cost LB: 163240 ... c Min unsat cost LB: 163244 ... c Min unsat cost LB: 163806 ... c Min unsat cost LB: 163942 ... c Min unsat cost LB: 163953 ... c Min unsat cost LB: 163992 ... c Min unsat cost LB: 164317 ... c Min unsat cost LB: 164373 ... c Min unsat cost LB: 164536 ... c Min unsat cost LB: 164674 ... c Min unsat cost LB: 165573 ... c Min unsat cost LB: 165577 ... c Min unsat cost LB: 165791 ... c Min unsat cost LB: 166935 ... c Min unsat cost LB: 166948 ... c Min unsat cost LB: 168211 ... c Min unsat cost LB: 168351 ... c Min unsat cost LB: 168485 ... c Min unsat cost LB: 168590 ... c Min unsat cost LB: 168804 ... c Min unsat cost LB: 168815 ... c Min unsat cost LB: 168906 ... c Min unsat cost LB: 169374 ... c Min unsat cost LB: 169466 ... c Min unsat cost LB: 169609 ... c Min unsat cost LB: 170582 ... c Min unsat cost LB: 171003 ... c Min unsat cost LB: 171072 ... c Min unsat cost LB: 171526 ... c Min unsat cost LB: 171583 ... c Min unsat cost LB: 171699 ... c Min unsat cost LB: 171779 ... c Min unsat cost LB: 171883 ... c Min unsat cost LB: 172075 ... c Min unsat cost LB: 172226 ... c Min unsat cost LB: 172325 ... c Min unsat cost LB: 172479 ... c Min unsat cost LB: 172564 ... c Min unsat cost LB: 173016 ... c Min unsat cost LB: 173108 ... c Min unsat cost LB: 173124 ... c Min unsat cost LB: 173145 ... c Min unsat cost LB: 173677 ... c Min unsat cost LB: 173717 ... c Min unsat cost LB: 174080 ... c Min unsat cost LB: 174204 ... c Min unsat cost LB: 174235 ... c Min unsat cost LB: 174252 ... c Min unsat cost LB: 174290 ... c Min unsat cost LB: 174368 ... c Min unsat cost LB: 175008 ... c Min unsat cost LB: 175024 ... c Min unsat cost LB: 175058 ... c Min unsat cost LB: 175098 ... c Min unsat cost LB: 175253 ... c Min unsat cost LB: 175741 ... c Min unsat cost LB: 175868 ... c Min unsat cost LB: 175925 ... c Min unsat cost LB: 176400 ... c Min unsat cost LB: 176622 ... c Min unsat cost LB: 177174 ... c Min unsat cost LB: 177305 ... c Min unsat cost LB: 177758 ... c Min unsat cost LB: 177819 ... c Min unsat cost LB: 178266 ... c Min unsat cost LB: 178300 ... c Min unsat cost LB: 178352 ... c Min unsat cost LB: 179493 ... c Min unsat cost LB: 179749 ... c Min unsat cost LB: 179943 ... c Min unsat cost LB: 180047 ... c Min unsat cost LB: 181417 ... c Min unsat cost LB: 181653 ... c Min unsat cost LB: 182024 ... c Min unsat cost LB: 182036 ... c Min unsat cost LB: 182155 ... c Min unsat cost LB: 182310 ... c Min unsat cost LB: 183018 ... c Min unsat cost LB: 183248 ... c Min unsat cost LB: 183355 ... c Min unsat cost LB: 183725 ... c Min unsat cost LB: 183859 ... c Min unsat cost LB: 183961 ... c Min unsat cost LB: 184580 ... c Min unsat cost LB: 184922 ... c Min unsat cost LB: 185011 ... c Min unsat cost LB: 185425 ... c Min unsat cost LB: 185556 ... c Min unsat cost LB: 185706 ... c Min unsat cost LB: 186709 ... c Min unsat cost LB: 186847 ... c Min unsat cost LB: 187044 ... c Min unsat cost LB: 187403 ... c Min unsat cost LB: 187440 ... c Min unsat cost LB: 187932 ... c Min unsat cost LB: 188361 ... c Min unsat cost LB: 188373 ... c Min unsat cost LB: 188891 ... c Min unsat cost LB: 189503 ... c Min unsat cost LB: 189798 ... c Min unsat cost LB: 189936 ... c Min unsat cost LB: 190729 ... c Min unsat cost LB: 190761 ... c Min unsat cost LB: 191160 ... c Min unsat cost LB: 191241 ... c Min unsat cost LB: 191322 ... c Min unsat cost LB: 191699 ... c Min unsat cost LB: 192211 ... c Min unsat cost LB: 192350 ... c Min unsat cost LB: 192545 ... c Min unsat cost LB: 192763 ... c Min unsat cost LB: 193283 ... c Min unsat cost LB: 193875 ... c Min unsat cost LB: 194199 ... c Min unsat cost LB: 194589 ... c Min unsat cost LB: 195718 ... c Min unsat cost LB: 196025 ... c Min unsat cost LB: 196057 ... c Min unsat cost LB: 196141 ... c Min unsat cost LB: 196584 ... c Min unsat cost LB: 197613 ... c Min unsat cost LB: 197702 ... c Min unsat cost LB: 197771 ... c Min unsat cost LB: 198056 ... c Min unsat cost LB: 198231 ... c Min unsat cost LB: 198255 ... c Min unsat cost LB: 198431 ... c Min unsat cost LB: 198432 ... c Min unsat cost LB: 198449 ... c Min unsat cost LB: 198766 ... c Min unsat cost LB: 199007 ... c Min unsat cost LB: 199366 ... c Min unsat cost LB: 199509 ... c Min unsat cost LB: 199685 ... c Min unsat cost LB: 199723 ... c Min unsat cost LB: 199786 ... c Min unsat cost LB: 200688 ... c Min unsat cost LB: 201381 ... c Min unsat cost LB: 201398 ... c Min unsat cost LB: 201399 ... c Min unsat cost LB: 201460 ... c Min unsat cost LB: 201468 ... c Min unsat cost LB: 201471 ... c Min unsat cost LB: 201611 ... c Min unsat cost LB: 202827 ... c Min unsat cost LB: 202919 ... c Min unsat cost LB: 202932 ... c Min unsat cost LB: 203373 ... c Min unsat cost LB: 203600 ... c Min unsat cost LB: 204071 ... c Min unsat cost LB: 204252 ... c Min unsat cost LB: 204861 ... c Min unsat cost LB: 205236 ... c Min unsat cost LB: 205465 ... c Min unsat cost LB: 205782 ... c Min unsat cost LB: 205850 ... c Min unsat cost LB: 205966 ... c Min unsat cost LB: 205975 ... c Min unsat cost LB: 206599 ... c Min unsat cost LB: 206742 ... c Min unsat cost LB: 206802 ... c Min unsat cost LB: 206806 ... c Min unsat cost LB: 206901 ... c Min unsat cost LB: 208293 ... c Min unsat cost LB: 208305 ... c Min unsat cost LB: 208343 ... c Min unsat cost LB: 208391 ... c Min unsat cost LB: 208459 ... c Min unsat cost LB: 208491 ... c Min unsat cost LB: 209606 ... c Min unsat cost LB: 209621 ... c Min unsat cost LB: 209758 ... c Min unsat cost LB: 209807 ... c Min unsat cost LB: 210349 ... c Min unsat cost LB: 211084 ... c Min unsat cost LB: 211215 ... c Min unsat cost LB: 211927 ... c Min unsat cost LB: 212030 ... c Min unsat cost LB: 212074 ... c Min unsat cost LB: 212168 ... c Min unsat cost LB: 212177 ... c Min unsat cost LB: 212209 ... c Min unsat cost LB: 212589 ... c Min unsat cost LB: 212623 ... c Min unsat cost LB: 212663 ... c Min unsat cost LB: 212695 ... c Min unsat cost LB: 212818 ... c Min unsat cost LB: 212849 ... c Min unsat cost LB: 212873 ... c Min unsat cost LB: 213149 ... c Min unsat cost LB: 213296 ... c Min unsat cost LB: 213310 ... c Min unsat cost LB: 213313 ... c Min unsat cost LB: 214121 ... c Min unsat cost LB: 214135 ... c Min unsat cost LB: 214144 ... c Min unsat cost LB: 214162 ... c Min unsat cost LB: 214191 ... c Min unsat cost LB: 214192 ... c Min unsat cost LB: 214347 ... c Min unsat cost LB: 214622 ... c Min unsat cost LB: 214810 ... c Min unsat cost LB: 215117 ... c Min unsat cost LB: 215314 ... c Min unsat cost LB: 215625 ... c Min unsat cost LB: 215628 ... c Min unsat cost LB: 215639 ... c Min unsat cost LB: 215642 ... c Min unsat cost LB: 215649 ... c Min unsat cost LB: 215656 ... c Min unsat cost LB: 215665 ... c Min unsat cost LB: 215671 ... c Min unsat cost LB: 215698 ... c Min unsat cost LB: 215708 ... c Min unsat cost LB: 215715 ... c Min unsat cost LB: 215732 ... c Min unsat cost LB: 215734 ... c Min unsat cost LB: 216328 ... c Min unsat cost LB: 216337 ... c Min unsat cost LB: 216340 ... c Min unsat cost LB: 216347 ... c Min unsat cost LB: 216350 ... c Min unsat cost LB: 217202 ... c Min unsat cost LB: 217698 ... c Min unsat cost LB: 217873 ... c Min unsat cost LB: 217896 ... c Min unsat cost LB: 217897 ... c Min unsat cost LB: 217931 ... c Min unsat cost LB: 217937 ... c Min unsat cost LB: 217970 ... c Min unsat cost LB: 217998 ... c Min unsat cost LB: 218003 ... c Min unsat cost LB: 218030 ... c Min unsat cost LB: 218858 ... c Min unsat cost LB: 219055 ... c Min unsat cost LB: 220179 ... c Min unsat cost LB: 220918 ... c Min unsat cost LB: 221219 ... c Min unsat cost LB: 221582 ... c Min unsat cost LB: 221821 ... c Min unsat cost LB: 221960 ... c Min unsat cost LB: 222458 ... c Min unsat cost LB: 222734 ... c Min unsat cost LB: 222914 ... c Min unsat cost LB: 223027 ... c Min unsat cost LB: 224079 ... c Min unsat cost LB: 224262 ... c Min unsat cost LB: 224407 ... c Min unsat cost LB: 224592 ... c Min unsat cost LB: 225277 ... c Min unsat cost LB: 225364 ... c Min unsat cost LB: 225576 ... c Min unsat cost LB: 225736 ... c Min unsat cost LB: 225739 ... c Min unsat cost LB: 225750 ... c Min unsat cost LB: 225762 ... c Min unsat cost LB: 225764 ... c Min unsat cost LB: 225767 ... c Min unsat cost LB: 225770 ... c Min unsat cost LB: 225771 ... c Min unsat cost LB: 225774 ... c Min unsat cost LB: 225782 ... c Min unsat cost LB: 225785 ... c Min unsat cost LB: 225788 ... c Min unsat cost LB: 225791 ... c Min unsat cost LB: 225798 ... c Min unsat cost LB: 225801 ... c Min unsat cost LB: 225805 ... c Min unsat cost LB: 225812 ... c Min unsat cost LB: 225814 ... c Min unsat cost LB: 225821 ... c Min unsat cost LB: 225822 ... c Min unsat cost LB: 225828 ... c Min unsat cost LB: 225831 ... c Min unsat cost LB: 225833 ... c Min unsat cost LB: 225835 ... c Min unsat cost LB: 225838 ... c Min unsat cost LB: 225845 ... c Min unsat cost LB: 225847 ... c Min unsat cost LB: 225850 ... c Min unsat cost LB: 225851 ... c Min unsat cost LB: 225854 ... c Min unsat cost LB: 225861 ... c Min unsat cost LB: 225863 ... c Min unsat cost LB: 225871 ... c Min unsat cost LB: 225874 ... c Min unsat cost LB: 225878 ... c Min unsat cost LB: 225879 ... c Min unsat cost LB: 225882 ... c Min unsat cost LB: 225885 ... c Min unsat cost LB: 225886 ... c Min unsat cost LB: 225888 ... c Min unsat cost LB: 225891 ... c Min unsat cost LB: 225893 ... c Min unsat cost LB: 225894 ... c Min unsat cost LB: 225897 ... c Min unsat cost LB: 225898 ... c Min unsat cost LB: 225899 ... c Min unsat cost LB: 225900 ... c Min unsat cost LB: 226030 ... c Min unsat cost LB: 226032 ... c Min unsat cost LB: 226033 ... c Min unsat cost LB: 226034 ... c Min unsat cost LB: 226106 ... c Min unsat cost LB: 226200 ... c Min unsat cost LB: 226658 ... c Min unsat cost LB: 226946 ... c Min unsat cost LB: 227042 ... c Min unsat cost LB: 227901 ... c Min unsat cost LB: 227991 ... c Min unsat cost LB: 228107 ... c Min unsat cost LB: 228383 ... c Min unsat cost LB: 228577 ... c Min unsat cost LB: 229165 ... c Min unsat cost LB: 229172 ... c Min unsat cost LB: 229270 ... c Min unsat cost LB: 229448 ... c Min unsat cost LB: 229464 ... c Min unsat cost LB: 229500 ... c Min unsat cost LB: 229654 ... c Min unsat cost LB: 229752 ... c Min unsat cost LB: 230583 ... c Min unsat cost LB: 230600 ... c Min unsat cost LB: 230737 ... c Min unsat cost LB: 231130 ... c Min unsat cost LB: 231223 ... c Min unsat cost LB: 231505 ... c Min unsat cost LB: 231644 ... c Min unsat cost LB: 231787 ... c Min unsat cost LB: 231966 ... c Min unsat cost LB: 232591 ... c Min unsat cost LB: 232600 ... c Min unsat cost LB: 232652 ... c Min unsat cost LB: 232687 ... c Min unsat cost LB: 232689 ... c Min unsat cost LB: 233095 ... c Min unsat cost LB: 233144 ... c Min unsat cost LB: 234201 ... c Min unsat cost LB: 234295 ... c Min unsat cost LB: 234620 ... c Min unsat cost LB: 234649 ... c Min unsat cost LB: 234772 ... c Min unsat cost LB: 236088 ... c Min unsat cost LB: 236117 ... c Min unsat cost LB: 236389 ... c Min unsat cost LB: 236463 ... c Min unsat cost LB: 236902 ... c Min unsat cost LB: 237417 ... c Min unsat cost LB: 237579 ... c Min unsat cost LB: 237808 ... c Min unsat cost LB: 237860 ... c Min unsat cost LB: 237934 ... c Min unsat cost LB: 238050 ... c Min unsat cost LB: 238107 ... c Min unsat cost LB: 238110 ... c Min unsat cost LB: 238226 ... c Min unsat cost LB: 238283 ... c Min unsat cost LB: 238453 ... c Min unsat cost LB: 239857 ... c Min unsat cost LB: 239873 ... c Min unsat cost LB: 239876 ... c Min unsat cost LB: 239933 ... c Min unsat cost LB: 239955 ... c Min unsat cost LB: 240013 ... c Min unsat cost LB: 240656 ... c Min unsat cost LB: 240792 ... c Min unsat cost LB: 241274 ... c Min unsat cost LB: 241568 ... c Min unsat cost LB: 241654 ... c Min unsat cost LB: 241672 ... c Min unsat cost LB: 241756 ... c Min unsat cost LB: 242322 ... c Min unsat cost LB: 242487 ... c Min unsat cost LB: 242503 ... c Min unsat cost LB: 242504 ... c Min unsat cost LB: 242518 ... c Min unsat cost LB: 243504 ... c Min unsat cost LB: 243617 ... c Min unsat cost LB: 243626 ... c Min unsat cost LB: 243638 ... c Min unsat cost LB: 243640 ... c Min unsat cost LB: 243652 ... c Min unsat cost LB: 243725 ... c Min unsat cost LB: 243968 ... c Min unsat cost LB: 244126 ... c Min unsat cost LB: 244254 ... c Min unsat cost LB: 244267 ... c Min unsat cost LB: 244375 ... c Min unsat cost LB: 244932 ... c Min unsat cost LB: 245021 ... c Min unsat cost LB: 245031 ... c Min unsat cost LB: 245264 ... c Min unsat cost LB: 245645 ... c Min unsat cost LB: 245714 ... c Min unsat cost LB: 245962 ... c Min unsat cost LB: 246000 ... c Min unsat cost LB: 246012 ... c Min unsat cost LB: 246444 ... c Min unsat cost LB: 246653 ... c Min unsat cost LB: 246747 ... c Min unsat cost LB: 246962 ... c Min unsat cost LB: 247086 ... c Min unsat cost LB: 247354 ... c Min unsat cost LB: 247421 ... c Min unsat cost LB: 247663 ... c Min unsat cost LB: 248081 ... c Min unsat cost LB: 248384 ... c Min unsat cost LB: 248726 ... c Min unsat cost LB: 248874 ... c Min unsat cost LB: 249225 ... c Min unsat cost LB: 249463 ... c Min unsat cost LB: 249597 ... c Min unsat cost LB: 249732 ... c Min unsat cost LB: 249826 ... c Min unsat cost LB: 249962 ... c Min unsat cost LB: 250064 ... c Min unsat cost LB: 250199 ... c Min unsat cost LB: 250281 ... c Min unsat cost LB: 250282 ... c Min unsat cost LB: 250283 ... c Min unsat cost LB: 250335 ... c Min unsat cost LB: 250336 ... c Min unsat cost LB: 250338 ... c Min unsat cost LB: 250339 ... c Min unsat cost LB: 250342 ... c Min unsat cost LB: 250345 ... c Min unsat cost LB: 250346 ... c Min unsat cost LB: 250347 ... c Min unsat cost LB: 250348 ... c Min unsat cost LB: 250349 ... c Min unsat cost LB: 250350 ... c Min unsat cost LB: 250351 ... c Min unsat cost LB: 250354 ... c Min unsat cost LB: 250386 ... c Min unsat cost LB: 250392 ... c Min unsat cost LB: 250423 ... c Min unsat cost LB: 250487 ... c Min unsat cost LB: 250825 ... c Min unsat cost LB: 250928 ... c Min unsat cost LB: 251050 ... c Min unsat cost LB: 251074 ... c Min unsat cost LB: 251217 ... c Min unsat cost LB: 251894 ... c Min unsat cost LB: 251922 ... c Min unsat cost LB: 251928 ... c Min unsat cost LB: 251931 ... c Min unsat cost LB: 251963 ... c Min unsat cost LB: 251966 ... c Min unsat cost LB: 251967 ... c Min unsat cost LB: 252499 ... c Min unsat cost LB: 252932 ... c Min unsat cost LB: 253722 ... c Min unsat cost LB: 253993 ... c Min unsat cost LB: 254104 ... c Min unsat cost LB: 254237 ... c Min unsat cost LB: 254256 ... c Min unsat cost LB: 254267 ... c Min unsat cost LB: 254511 ... c Min unsat cost LB: 254893 ... c Min unsat cost LB: 254942 ... c Min unsat cost LB: 255789 ... c Min unsat cost LB: 255860 ... c Min unsat cost LB: 255863 ... c Min unsat cost LB: 255876 ... c Min unsat cost LB: 256008 ... c Min unsat cost LB: 256049 ... c Min unsat cost LB: 256060 ... c Min unsat cost LB: 256146 ... c Min unsat cost LB: 256636 ... c Min unsat cost LB: 256889 ... c Min unsat cost LB: 257096 ... c Min unsat cost LB: 257365 ... c Min unsat cost LB: 257434 ... c Min unsat cost LB: 258030 ... c Min unsat cost LB: 258031 ... c Min unsat cost LB: 258032 ... c Min unsat cost LB: 258033 ... c Min unsat cost LB: 258104 ... c Min unsat cost LB: 258239 ... c Min unsat cost LB: 258527 ... c Min unsat cost LB: 258609 ... c Min unsat cost LB: 258730 ... c Min unsat cost LB: 259366 ... c Min unsat cost LB: 259687 ... c Min unsat cost LB: 260009 ... c Min unsat cost LB: 260184 ... c Min unsat cost LB: 260246 ... c Min unsat cost LB: 260253 ... c Min unsat cost LB: 260262 ... c Min unsat cost LB: 260265 ... c Min unsat cost LB: 260266 ... c Min unsat cost LB: 260267 ... c Min unsat cost LB: 260268 ... c Min unsat cost LB: 260381 ... c Min unsat cost LB: 260452 ... c Min unsat cost LB: 260454 ... c Min unsat cost LB: 261060 ... c Min unsat cost LB: 261913 ... c Min unsat cost LB: 262000 ... c Min unsat cost LB: 262382 ... c Min unsat cost LB: 263313 ... c Min unsat cost LB: 263322 ... c Min unsat cost LB: 263378 ... c Min unsat cost LB: 263383 ... c Min unsat cost LB: 263671 ... c Min unsat cost LB: 263672 ... c Min unsat cost LB: 263677 ... c Min unsat cost LB: 263901 ... c Min unsat cost LB: 263912 ... c Min unsat cost LB: 263915 ... c Min unsat cost LB: 264523 ... c Min unsat cost LB: 264947 ... c Min unsat cost LB: 265050 ... c Min unsat cost LB: 265292 ... c Min unsat cost LB: 265301 ... c Min unsat cost LB: 265436 ... c Min unsat cost LB: 265449 ... c Min unsat cost LB: 265552 ... c Min unsat cost LB: 265561 ... c Min unsat cost LB: 265740 ... c Min unsat cost LB: 266171 ... c Min unsat cost LB: 266705 ... c Min unsat cost LB: 266710 ... c Min unsat cost LB: 266753 ... c Min unsat cost LB: 266926 ... c Min unsat cost LB: 267185 ... c Min unsat cost LB: 267390 ... c Min unsat cost LB: 267534 ... c Min unsat cost LB: 268044 ... c Min unsat cost LB: 268262 ... c Min unsat cost LB: 268383 ... c Min unsat cost LB: 268475 ... c Min unsat cost LB: 268567 ... c Min unsat cost LB: 268597 ... c Min unsat cost LB: 268734 ... c Min unsat cost LB: 268882 ... c Min unsat cost LB: 268974 ... c Min unsat cost LB: 268983 ... c Min unsat cost LB: 269250 ... c Min unsat cost LB: 269781 ... c Min unsat cost LB: 270038 ... c Min unsat cost LB: 270254 ... c Min unsat cost LB: 270315 ... c Min unsat cost LB: 270638 ... c Min unsat cost LB: 270776 ... c Min unsat cost LB: 270843 ... c Min unsat cost LB: 270846 ... c Min unsat cost LB: 270868 ... c Min unsat cost LB: 270874 ... c Min unsat cost LB: 270919 ... c Min unsat cost LB: 270920 ... c Min unsat cost LB: 270938 ... c Min unsat cost LB: 270977 ... c Min unsat cost LB: 271077 ... c Min unsat cost LB: 271341 ... c Min unsat cost LB: 272095 ... c Min unsat cost LB: 272191 ... c Min unsat cost LB: 272315 ... c Min unsat cost LB: 272370 ... c Min unsat cost LB: 272556 ... c Min unsat cost LB: 273014 ... c Min unsat cost LB: 273609 ... c Min unsat cost LB: 273738 ... c Min unsat cost LB: 273774 ... c Min unsat cost LB: 273845 ... c Min unsat cost LB: 274899 ... c Min unsat cost LB: 275352 ... c Min unsat cost LB: 275392 ... c Min unsat cost LB: 276362 ... c Min unsat cost LB: 276425 ... c Min unsat cost LB: 276654 ... c Min unsat cost LB: 276967 ... c Min unsat cost LB: 277337 ... c Min unsat cost LB: 277350 ... c Min unsat cost LB: 277353 ... c Min unsat cost LB: 277367 ... c Min unsat cost LB: 277495 ... c Min unsat cost LB: 277551 ... c Min