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-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-6.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-6.net.wcnf *** c c Min unsat cost LB: 534 ... c Min unsat cost LB: 1755 ... c Min unsat cost LB: 3476 ... c Min unsat cost LB: 5204 ... c Min unsat cost LB: 5601 ... c Min unsat cost LB: 7199 ... c Min unsat cost LB: 8296 ... c Min unsat cost LB: 8462 ... c Min unsat cost LB: 10255 ... c Min unsat cost LB: 11414 ... c Min unsat cost LB: 12070 ... c Min unsat cost LB: 13483 ... c Min unsat cost LB: 13928 ... c Min unsat cost LB: 15247 ... c Min unsat cost LB: 16683 ... c Min unsat cost LB: 17567 ... c Min unsat cost LB: 19061 ... c Min unsat cost LB: 19732 ... c Min unsat cost LB: 20366 ... c Min unsat cost LB: 20368 ... c Min unsat cost LB: 20735 ... c Min unsat cost LB: 21495 ... c Min unsat cost LB: 21887 ... c Min unsat cost LB: 22322 ... c Min unsat cost LB: 22661 ... c Min unsat cost LB: 22706 ... c Min unsat cost LB: 23187 ... c Min unsat cost LB: 24301 ... c Min unsat cost LB: 26134 ... c Min unsat cost LB: 26920 ... c Min unsat cost LB: 27334 ... c Min unsat cost LB: 28539 ... c Min unsat cost LB: 28770 ... c Min unsat cost LB: 29746 ... c Min unsat cost LB: 30607 ... c Min unsat cost LB: 31566 ... c Min unsat cost LB: 32335 ... c Min unsat cost LB: 32522 ... c Min unsat cost LB: 33905 ... c Min unsat cost LB: 34332 ... c Min unsat cost LB: 35430 ... c Min unsat cost LB: 36325 ... c Min unsat cost LB: 36942 ... c Min unsat cost LB: 37787 ... c Min unsat cost LB: 39282 ... c Min unsat cost LB: 39935 ... c Min unsat cost LB: 40763 ... c Min unsat cost LB: 40898 ... c Min unsat cost LB: 40957 ... c Min unsat cost LB: 41855 ... c Min unsat cost LB: 43760 ... c Min unsat cost LB: 43973 ... c Min unsat cost LB: 45287 ... c Min unsat cost LB: 45606 ... c Min unsat cost LB: 46195 ... c Min unsat cost LB: 46903 ... c Min unsat cost LB: 47576 ... c Min unsat cost LB: 47850 ... c Min unsat cost LB: 47997 ... c Min unsat cost LB: 48342 ... c Min unsat cost LB: 49098 ... c Min unsat cost LB: 50046 ... c Min unsat cost LB: 50122 ... c Min unsat cost LB: 50207 ... c Min unsat cost LB: 50662 ... c Min unsat cost LB: 51422 ... c Min unsat cost LB: 51971 ... c Min unsat cost LB: 52176 ... c Min unsat cost LB: 52546 ... c Min unsat cost LB: 52742 ... c Min unsat cost LB: 53647 ... c Min unsat cost LB: 53720 ... c Min unsat cost LB: 54117 ... c Min unsat cost LB: 54336 ... c Min unsat cost LB: 54703 ... c Min unsat cost LB: 54880 ... c Min unsat cost LB: 54964 ... c Min unsat cost LB: 55349 ... c Min unsat cost LB: 55847 ... c Min unsat cost LB: 57093 ... c Min unsat cost LB: 57449 ... c Min unsat cost LB: 57476 ... c Min unsat cost LB: 57521 ... c Min unsat cost LB: 57556 ... c Min unsat cost LB: 57722 ... c Min unsat cost LB: 58794 ... c Min unsat cost LB: 59018 ... c Min unsat cost LB: 59130 ... c Min unsat cost LB: 59204 ... c Min unsat cost LB: 59464 ... c Min unsat cost LB: 60453 ... c Min unsat cost LB: 60519 ... c Min unsat cost LB: 60746 ... c Min unsat cost LB: 61281 ... c Min unsat cost LB: 61711 ... c Min unsat cost LB: 61723 ... c Min unsat cost LB: 62331 ... c Min unsat cost LB: 62687 ... c Min unsat cost LB: 63086 ... c Min unsat cost LB: 63941 ... c Min unsat cost LB: 64054 ... c Min unsat cost LB: 64120 ... c Min unsat cost LB: 64623 ... c Min unsat cost LB: 65132 ... c Min unsat cost LB: 65281 ... c Min unsat cost LB: 65362 ... c Min unsat cost LB: 65455 ... c Min unsat cost LB: 65570 ... c Min unsat cost LB: 65909 ... c Min unsat cost LB: 65919 ... c Min unsat cost LB: 66110 ... c Min unsat cost LB: 66136 ... c Min unsat cost LB: 66247 ... c Min unsat cost LB: 66601 ... c Min unsat cost LB: 66851 ... c Min unsat cost LB: 67015 ... c Min unsat cost LB: 67477 ... c Min unsat cost LB: 68049 ... c Min unsat cost LB: 68649 ... c Min unsat cost LB: 68909 ... c Min unsat cost LB: 69435 ... c Min unsat cost LB: 69502 ... c Min unsat cost LB: 70375 ... c Min unsat cost LB: 70542 ... c Min unsat cost LB: 70728 ... c Min unsat cost LB: 71203 ... c Min unsat cost LB: 71212 ... c Min unsat cost LB: 71709 ... c Min unsat cost LB: 72411 ... c Min unsat cost LB: 72759 ... c Min unsat cost LB: 72820 ... c Min unsat cost LB: 73129 ... c Min unsat cost LB: 73256 ... c Min unsat cost LB: 73441 ... c Min unsat cost LB: 73491 ... c Min unsat cost LB: 73750 ... c Min unsat cost LB: 73767 ... c Min unsat cost LB: 74984 ... c Min unsat cost LB: 75269 ... c Min unsat cost LB: 75520 ... c Min unsat cost LB: 75932 ... c Min unsat cost LB: 75978 ... c Min unsat cost LB: 76714 ... c Min unsat cost LB: 77027 ... c Min unsat cost LB: 78084 ... c Min unsat cost LB: 78218 ... c Min unsat cost LB: 78317 ... c Min unsat cost LB: 78326 ... c Min unsat cost LB: 78407 ... c Min unsat cost LB: 78702 ... c Min unsat cost LB: 78934 ... c Min unsat cost LB: 78985 ... c Min unsat cost LB: 78988 ... c Min unsat cost LB: 79147 ... c Min unsat cost LB: 79684 ... c Min unsat cost LB: 79797 ... c Min unsat cost LB: 80464 ... c Min unsat cost LB: 80640 ... c Min unsat cost LB: 80915 ... c Min unsat cost LB: 81014 ... c Min unsat cost LB: 81197 ... c Min unsat cost LB: 81247 ... c Min unsat cost LB: 81349 ... c Min unsat cost LB: 81466 ... c Min unsat cost LB: 81517 ... c Min unsat cost LB: 81557 ... c Min unsat cost LB: 81564 ... c Min unsat cost LB: 81635 ... c Min unsat cost LB: 81855 ... c Min unsat cost LB: 82790 ... c Min unsat cost LB: 83038 ... c Min unsat cost LB: 83408 ... c Min unsat cost LB: 83560 ... c Min unsat cost LB: 83850 ... c Min unsat cost LB: 83879 ... c Min unsat cost LB: 83905 ... c Min unsat cost LB: 83934 ... c Min unsat cost LB: 83946 ... c Min unsat cost LB: 84335 ... c Min unsat cost LB: 84561 ... c Min unsat cost LB: 85029 ... c Min unsat cost LB: 85274 ... c Min unsat cost LB: 85635 ... c Min unsat cost LB: 85820 ... c Min unsat cost LB: 85827 ... c Min unsat cost LB: 86129 ... c Min unsat cost LB: 86826 ... c Min unsat cost LB: 87924 ... c Min unsat cost LB: 88632 ... c Min unsat cost LB: 89147 ... c Min unsat cost LB: 89308 ... c Min unsat cost LB: 89919 ... c Min unsat cost LB: 89942 ... c Min unsat cost LB: 89958 ... c Min unsat cost LB: 89984 ... c Min unsat cost LB: 90176 ... c Min unsat cost LB: 90257 ... c Min unsat cost LB: 90294 ... c Min unsat cost LB: 90415 ... c Min unsat cost LB: 90681 ... c Min unsat cost LB: 90753 ... c Min unsat cost LB: 90965 ... c Min unsat cost LB: 91260 ... c Min unsat cost LB: 91409 ... c Min unsat cost LB: 91891 ... c Min unsat cost LB: 92038 ... c Min unsat cost LB: 92708 ... c Min unsat cost LB: 92729 ... c Min unsat cost LB: 92738 ... c Min unsat cost LB: 93819 ... c Min unsat cost LB: 93884 ... c Min unsat cost LB: 93947 ... c Min unsat cost LB: 94243 ... c Min unsat cost LB: 94971 ... c Min unsat cost LB: 95272 ... c Min unsat cost LB: 95524 ... c Min unsat cost LB: 96108 ... c Min unsat cost LB: 96233 ... c Min unsat cost LB: 96503 ... c Min unsat cost LB: 96513 ... c Min unsat cost LB: 96851 ... c Min unsat cost LB: 97033 ... c Min unsat cost LB: 97224 ... c Min unsat cost LB: 97293 ... c Min unsat cost LB: 98875 ... c Min unsat cost LB: 98973 ... c Min unsat cost LB: 98989 ... c Min unsat cost LB: 99984 ... c Min unsat cost LB: 100480 ... c Min unsat cost LB: 100515 ... c Min unsat cost LB: 100654 ... c Min unsat cost LB: 101013 ... c Min unsat cost LB: 101067 ... c Min unsat cost LB: 102317 ... c Min unsat cost LB: 102401 ... c Min unsat cost LB: 102532 ... c Min unsat cost LB: 102547 ... c Min unsat cost LB: 102680 ... c Min unsat cost LB: 102690 ... c Min unsat cost LB: 102771 ... c Min unsat cost LB: 102809 ... c Min unsat cost LB: 102973 ... c Min unsat cost LB: 102991 ... c Min unsat cost LB: 103337 ... c Min unsat cost LB: 103445 ... c Min unsat cost LB: 103880 ... c Min unsat cost LB: 103988 ... c Min unsat cost LB: 104307 ... c Min unsat cost LB: 104880 ... c Min unsat cost LB: 104901 ... c Min unsat cost LB: 105017 ... c Min unsat cost LB: 105243 ... c Min unsat cost LB: 105348 ... c Min unsat cost LB: 105434 ... c Min unsat cost LB: 105894 ... c Min unsat cost LB: 105981 ... c Min unsat cost LB: 105992 ... c Min unsat cost LB: 106355 ... c Min unsat cost LB: 106477 ... c Min unsat cost LB: 106693 ... c Min unsat cost LB: 107135 ... c Min unsat cost LB: 107193 ... c Min unsat cost LB: 108509 ... c Min unsat cost LB: 108927 ... c Min unsat cost LB: 109371 ... c Min unsat cost LB: 109382 ... c Min unsat cost LB: 109867 ... c Min unsat cost LB: 110075 ... c Min unsat cost LB: 110132 ... c Min unsat cost LB: 110219 ... c Min unsat cost LB: 110257 ... c Min unsat cost LB: 110477 ... c Min unsat cost LB: 110564 ... c Min unsat cost LB: 111135 ... c Min unsat cost LB: 111137 ... c Min unsat cost LB: 111349 ... c Min unsat cost LB: 111541 ... c Min unsat cost LB: 112071 ... c Min unsat cost LB: 112104 ... c Min unsat cost LB: 112171 ... c Min unsat cost LB: 113325 ... c Min unsat cost LB: 113799 ... c Min unsat cost LB: 113819 ... c Min unsat cost LB: 114013 ... c Min unsat cost LB: 114748 ... c Min unsat cost LB: 116081 ... c Min unsat cost LB: 116231 ... c Min unsat cost LB: 116281 ... c Min unsat cost LB: 116465 ... c Min unsat cost LB: 116580 ... c Min unsat cost LB: 116648 ... c Min unsat cost LB: 116730 ... c Min unsat cost LB: 116864 ... c Min unsat cost LB: 116883 ... c Min unsat cost LB: 116941 ... c Min unsat cost LB: 116950 ... c Min unsat cost LB: 117076 ... c Min unsat cost LB: 117162 ... c Min unsat cost LB: 117179 ... c Min unsat cost LB: 117331 ... c Min unsat cost LB: 117750 ... c Min unsat cost LB: 118856 ... c Min unsat cost LB: 119102 ... c Min unsat cost LB: 119307 ... c Min unsat cost LB: 119349 ... c Min unsat cost LB: 119412 ... c Min unsat cost LB: 119516 ... c Min unsat cost LB: 120706 ... c Min unsat cost LB: 120713 ... c Min unsat cost LB: 121796 ... c Min unsat cost LB: 121956 ... c Min unsat cost LB: 122025 ... c Min unsat cost LB: 122180 ... c Min unsat cost LB: 122263 ... c Min unsat cost LB: 122346 ... c Min unsat cost LB: 122375 ... c Min unsat cost LB: 122433 ... c Min unsat cost LB: 122465 ... c Min unsat cost LB: 122480 ... c Min unsat cost LB: 122484 ... c Min unsat cost LB: 122578 ... c Min unsat cost LB: 122620 ... c Min unsat cost LB: 122731 ... c Min unsat cost LB: 122822 ... c Min unsat cost LB: 123681 ... c Min unsat cost LB: 123746 ... c Min unsat cost LB: 123790 ... c Min unsat cost LB: 124683 ... c Min unsat cost LB: 124729 ... c Min unsat cost LB: 124827 ... c Min unsat cost LB: 125228 ... c Min unsat cost LB: 125257 ... c Min unsat cost LB: 125623 ... c Min unsat cost LB: 125749 ... c Min unsat cost LB: 126042 ... c Min unsat cost LB: 126060 ... c Min unsat cost LB: 126281 ... c Min unsat cost LB: 126563 ... c Min unsat cost LB: 126983 ... c Min unsat cost LB: 127986 ... c Min unsat cost LB: 128069 ... c Min unsat cost LB: 128121 ... c Min unsat cost LB: 128334 ... c Min unsat cost LB: 128517 ... c Min unsat cost LB: 128926 ... c Min unsat cost LB: 129617 ... c Min unsat cost LB: 129640 ... c Min unsat cost LB: 129798 ... c Min unsat cost LB: 129881 ... c Min unsat cost LB: 129913 ... c Min unsat cost LB: 130287 ... c Min unsat cost LB: 130406 ... c Min unsat cost LB: 130743 ... c Min unsat cost LB: 130881 ... c Min unsat cost LB: 130984 ... c Min unsat cost LB: 132401 ... c Min unsat cost LB: 132597 ... c Min unsat cost LB: 132604 ... c Min unsat cost LB: 133179 ... c Min unsat cost LB: 133370 ... c Min unsat cost LB: 133669 ... c Min unsat cost LB: 133674 ... c Min unsat cost LB: 133735 ... c Min unsat cost LB: 133972 ... c Min unsat cost LB: 133979 ... c Min unsat cost LB: 135121 ... c Min unsat cost LB: 135461 ... c Min unsat cost LB: 135494 ... c Min unsat cost LB: 136419 ... c Min unsat cost LB: 136671 ... c Min unsat cost LB: 136833 ... c Min unsat cost LB: 137020 ... c Min unsat cost LB: 137171 ... c Min unsat cost LB: 137174 ... c Min unsat cost LB: 137773 ... c Min unsat cost LB: 138202 ... c Min unsat cost LB: 139589 ... c Min unsat cost LB: 139626 ... c Min unsat cost LB: 140612 ... c Min unsat cost LB: 140632 ... c Min unsat cost LB: 140679 ... c Min unsat cost LB: 140776 ... c Min unsat cost LB: 140852 ... c Min unsat cost LB: 140906 ... c Min unsat cost LB: 140976 ... c Min unsat cost LB: 140987 ... c Min unsat cost LB: 141117 ... c Min unsat cost LB: 141341 ... c Min unsat cost LB: 142273 ... c Min unsat cost LB: 142799 ... c Min unsat cost LB: 143187 ... c Min unsat cost LB: 143283 ... c Min unsat cost LB: 143377 ... c Min unsat cost LB: 144737 ... c Min unsat cost LB: 144906 ... c Min unsat cost LB: 145005 ... c Min unsat cost LB: 145330 ... c Min unsat cost LB: 145398 ... c Min unsat cost LB: 145417 ... c Min unsat cost LB: 145567 ... c Min unsat cost LB: 145587 ... c Min unsat cost LB: 145641 ... c Min unsat cost LB: 145676 ... c Min unsat cost LB: 145807 ... c Min unsat cost LB: 146206 ... c Min unsat cost LB: 146303 ... c Min unsat cost LB: 146464 ... c Min unsat cost LB: 146879 ... c Min unsat cost LB: 146885 ... c Min unsat cost LB: 146932 ... c Min unsat cost LB: 146990 ... c Min unsat cost LB: 146999 ... c Min unsat cost LB: 147032 ... c Min unsat cost LB: 147059 ... c Min unsat cost LB: 147117 ... c Min unsat cost LB: 147148 ... c Min unsat cost LB: 147170 ... c Min unsat cost LB: 147896 ... c Min unsat cost LB: 147930 ... c Min unsat cost LB: 148291 ... c Min unsat cost LB: 148325 ... c Min unsat cost LB: 148384 ... c Min unsat cost LB: 148406 ... c Min unsat cost LB: 148421 ... c Min unsat cost LB: 148904 ... c Min unsat cost LB: 149487 ... c Min unsat cost LB: 149564 ... c Min unsat cost LB: 150317 ... c Min unsat cost LB: 150318 ... c Min unsat cost LB: 150363 ... c Min unsat cost LB: 150399 ... c Min unsat cost LB: 150426 ... c Min unsat cost LB: 150738 ... c Min unsat cost LB: 150823 ... c Min unsat cost LB: 150934 ... c Min unsat cost LB: 151370 ... c Min unsat cost LB: 151594 ... c Min unsat cost LB: 151598 ... c Min unsat cost LB: 151604 ... c Min unsat cost LB: 151655 ... c Min unsat cost LB: 151733 ... c Min unsat cost LB: 152235 ... c Min unsat cost LB: 153085 ... c Min unsat cost LB: 153100 ... c Min unsat cost LB: 153400 ... c Min unsat cost LB: 153709 ... c Min unsat cost LB: 153769 ... c Min unsat cost LB: 153934 ... c Min unsat cost LB: 154118 ... c Min unsat cost LB: 154772 ... c Min unsat cost LB: 154865 ... c Min unsat cost LB: 155040 ... c Min unsat cost LB: 155514 ... c Min unsat cost LB: 155649 ... c Min unsat cost LB: 155653 ... c Min unsat cost LB: 156018 ... c Min unsat cost LB: 156225 ... c Min unsat cost LB: 156246 ... c Min unsat cost LB: 156262 ... c Min unsat cost LB: 156529 ... c Min unsat cost LB: 156549 ... c Min unsat cost LB: 156583 ... c Min unsat cost LB: 156635 ... c Min unsat cost LB: 156643 ... c Min unsat cost LB: 156674 ... c Min unsat cost LB: 156738 ... c Min unsat cost LB: 156743 ... c Min unsat cost LB: 156757 ... c Min unsat cost LB: 156772 ... c Min unsat cost LB: 156835 ... c Min unsat cost LB: 157010 ... c Min unsat cost LB: 157026 ... c Min unsat cost LB: 157076 ... c Min unsat cost LB: 157516 ... c Min unsat cost LB: 157544 ... c Min unsat cost LB: 157696 ... c Min unsat cost LB: 157948 ... c Min unsat cost LB: 158340 ... c Min unsat cost LB: 158413 ... c Min unsat cost LB: 158419 ... c Min unsat cost LB: 158509 ... c Min unsat cost LB: 158516 ... c Min unsat cost LB: 158569 ... c Min unsat cost LB: 158574 ... c Min unsat cost LB: 158590 ... c Min unsat cost LB: 158593 ... c Min unsat cost LB: 158597 ... c Min unsat cost LB: 159008 ... c Min unsat cost LB: 159032 ... c Min unsat cost LB: 159039 ... c Min unsat cost LB: 159045 ... c Min unsat cost LB: 159053 ... c Min unsat cost LB: 160001 ... c Min unsat cost LB: 160183 ... c Min unsat cost LB: 160186 ... c Min unsat cost LB: 160236 ... c Min unsat cost LB: 160244 ... c Min unsat cost LB: 160251 ... c Min unsat cost LB: 160255 ... c Min unsat cost LB: 160282 ... c Min unsat cost LB: 160322 ... c Min unsat cost LB: 160326 ... c Min unsat cost LB: 160332 ... c Min unsat cost LB: 160413 ... c Min unsat cost LB: 160420 ... c Min unsat cost LB: 161011 ... c Min unsat cost LB: 161297 ... c Min unsat cost LB: 161961 ... c Min unsat cost LB: 162281 ... c Min unsat cost LB: 162297 ... c Min unsat cost LB: 162435 ... c Min unsat cost LB: 162703 ... c Min unsat cost LB: 162870 ... c Min unsat cost LB: 163240 ... c Min unsat cost LB: 163313 ... c Min unsat cost LB: 163425 ... c Min unsat cost LB: 163726 ... c Min unsat cost LB: 163886 ... c Min unsat cost LB: 163889 ... c Min unsat cost LB: 163894 ... c Min unsat cost LB: 163936 ... c Min unsat cost LB: 163951 ... c Min unsat cost LB: 163963 ... c Min unsat cost LB: 163966 ... c Min unsat cost LB: 163968 ... c Min unsat cost LB: 163970 ... c Min unsat cost LB: 163971 ... c Min unsat cost LB: 163973 ... c Min unsat cost LB: 163975 ... c Min unsat cost LB: 163976 ... c Min unsat cost LB: 163978 ... c Min unsat cost LB: 163979 ... c Min unsat cost LB: 165026 ... c Min unsat cost LB: 165250 ... c Min unsat cost LB: 165341 ... c Min unsat cost LB: 165457 ... c Min unsat cost LB: 166505 ... c Min unsat cost LB: 166738 ... c Min unsat cost LB: 166781 ... c Min unsat cost LB: 167188 ... c Min unsat cost LB: 167197 ... c Min unsat cost LB: 167502 ... c Min unsat cost LB: 167517 ... c Min unsat cost LB: 167602 ... c Min unsat cost LB: 168088 ... c Min unsat cost LB: 168357 ... c Min unsat cost LB: 168722 ... c Min unsat cost LB: 168727 ... c Min unsat cost LB: 168984 ... c Min unsat cost LB: 169130 ... c Min unsat cost LB: 169478 ... c Min unsat cost LB: 169579 ... c Min unsat cost LB: 170273 ... c Min unsat cost LB: 171063 ... c Min unsat cost LB: 171155 ... c Min unsat cost LB: 171799 ... c Min unsat cost LB: 171918 ... c Min unsat cost LB: 172767 ... c Min unsat cost LB: 172989 ... c Min unsat cost LB: 172994 ... c Min unsat cost LB: 173689 ... c Min unsat cost LB: 173730 ... c Min unsat cost LB: 173916 ... c Min unsat cost LB: 174124 ... c Min unsat cost LB: 174244 ... c Min unsat cost LB: 174715 ... c Min unsat cost LB: 174795 ... c Min unsat cost LB: 174802 ... c Min unsat cost LB: 175215 ... c Min unsat cost LB: 175773 ... c Min unsat cost LB: 175871 ... c Min unsat cost LB: 176347 ... c Min unsat cost LB: 176420 ... c Min unsat cost LB: 176540 ... c Min unsat cost LB: 177237 ... c Min unsat cost LB: 177256 ... c Min unsat cost LB: 177413 ... c Min unsat cost LB: 177443 ... c Min unsat cost LB: 178305 ... c Min unsat cost LB: 178641 ... c Min unsat cost LB: 178829 ... c Min unsat cost LB: 179136 ... c Min unsat cost LB: 179700 ... c Min unsat cost LB: 179808 ... c Min unsat cost LB: 180117 ... c Min unsat cost LB: 180180 ... c Min unsat cost LB: 180322 ... c Min unsat cost LB: 180336 ... c Min unsat cost LB: 180357 ... c Min unsat cost LB: 180550 ... c Min unsat cost LB: 180703 ... c Min unsat cost LB: 180750 ... c Min unsat cost LB: 180790 ... c Min unsat cost LB: 181276 ... c Min unsat cost LB: 181555 ... c Min unsat cost LB: 181576 ... c Min unsat cost LB: 181693 ... c Min unsat cost LB: 182006 ... c Min unsat cost LB: 182082 ... c Min unsat cost LB: 182090 ... c Min unsat cost LB: 182106 ... c Min unsat cost LB: 182143 ... c Min unsat cost LB: 182155 ... c Min unsat cost LB: 182166 ... c Min unsat cost LB: 182168 ... c Min unsat cost LB: 182612 ... c Min unsat cost LB: 182638 ... c Min unsat cost LB: 182844 ... c Min unsat cost LB: 183461 ... c Min unsat cost LB: 183523 ... c Min unsat cost LB: 183869 ... c Min unsat cost LB: 184627 ... c Min unsat cost LB: 184703 ... c Min unsat cost LB: 185108 ... c Min unsat cost LB: 185258 ... c Min unsat cost LB: 186342 ... c Min unsat cost LB: 186366 ... c Min unsat cost LB: 186425 ... c Min unsat cost LB: 186513 ... c Min unsat cost LB: 186537 ... c Min unsat cost LB: 186550 ... c Min unsat cost LB: 186735 ... c Min unsat cost LB: 186901 ... c Min unsat cost LB: 187039 ... c Min unsat cost LB: 187799 ... c Min unsat cost LB: 188230 ... c Min unsat cost LB: 188250 ... c Min unsat cost LB: 188282 ... c Min unsat cost LB: 188311 ... c Min unsat cost LB: 188796 ... c Min unsat cost LB: 189077 ... c Min unsat cost LB: 189507 ... c Min unsat cost LB: 189666 ... c Min unsat cost LB: 190348 ... c Min unsat cost LB: 190357 ... c Min unsat cost LB: 190364 ... c Min unsat cost LB: 190372 ... c Min unsat cost LB: 190385 ... c Min unsat cost LB: 190448 ... c Min unsat cost LB: 190450 ... c Min unsat cost LB: 190462 ... c Min unsat cost LB: 190463 ... c Min unsat cost LB: 190473 ... c Min unsat cost LB: 190482 ... c Min unsat cost LB: 190654 ... c Min unsat cost LB: 190800 ... c Min unsat cost LB: 190814 ... c Min unsat cost LB: 190816 ... c Min unsat cost LB: 190828 ... c Min unsat cost LB: 190934 ... c Min unsat cost LB: 190941 ... c Min unsat cost LB: 190944 ... c Min unsat cost LB: 190987 ... c Min unsat cost LB: 191385 ... c Min unsat cost LB: 191846 ... c Min unsat cost LB: 191859 ... c Min unsat cost LB: 191860 ... c Min unsat cost LB: 191861 ... c Min unsat cost LB: 191866 ... c Min unsat cost LB: 191875 ... c Min unsat cost LB: 191882 ... c Min unsat cost LB: 191883 ... c Min unsat cost LB: 191894 ... c Min unsat cost LB: 191896 ... c Min unsat cost LB: 191902 ... c Min unsat cost LB: 191910 ... c Min unsat cost LB: 191912 ... c Min unsat cost LB: 191923 ... c Min unsat cost LB: 191927 ... c Min unsat cost LB: 191947 ... c Min unsat cost LB: 191949 ... c Min unsat cost LB: 191951 ... c Min unsat cost LB: 191952 ... c Min unsat cost LB: 191961 ... c Min unsat cost LB: 191965 ... c Min unsat cost LB: 191968 ... c Min unsat cost LB: 191977 ... c Min unsat cost LB: 191979 ... c Min unsat cost LB: 191981 ... c Min unsat cost LB: 191982 ... c Min unsat cost LB: 191984 ... c Min unsat cost LB: 191985 ... c Min unsat cost LB: 192014 ... c Min unsat cost LB: 192817 ... c Min unsat cost LB: 192894 ... c Min unsat cost LB: 194291 ... c Min unsat cost LB: 194465 ... c Min unsat cost LB: 194996 ... c Min unsat cost LB: 195157 ... c Min unsat cost LB: 196159 ... c Min unsat cost LB: 196572 ... c Min unsat cost LB: 196778 ... c Min unsat cost LB: 197157 ... c Min unsat cost LB: 197697 ... c Min unsat cost LB: 197993 ... c Min unsat cost LB: 198662 ... c Min unsat cost LB: 198734 ... c Min unsat cost LB: 199318 ... c Min unsat cost LB: 199508 ... c Min unsat cost LB: 200347 ... c Min unsat cost LB: 201822 ... c Min unsat cost LB: 201886 ... c Min unsat cost LB: 202012 ... c Min unsat cost LB: 202023 ... c Min unsat cost LB: 202437 ... c Min unsat cost LB: 202449 ... c Min unsat cost LB: 202771 ... c Min unsat cost LB: 202833 ... c Min unsat cost LB: 202855 ... c Min unsat cost LB: 203078 ... c Min unsat cost LB: 203085 ... c Min unsat cost LB: 203282 ... c Min unsat cost LB: 203784 ... c Min unsat cost LB: 204399 ... c Min unsat cost LB: 205263 ... c Min unsat cost LB: 205370 ... c Min unsat cost LB: 205491 ... c Min unsat cost LB: 205535 ... c Min unsat cost LB: 205913 ... c Min unsat cost LB: 206801 ... c Min unsat cost LB: 207457 ... c Min unsat cost LB: 207561 ... c Min unsat cost LB: 207946 ... c Min unsat cost LB: 208118 ... c Min unsat cost LB: 208122 ... c Min unsat cost LB: 208206 ... c Min unsat cost LB: 208527 ... c Min unsat cost LB: 208646 ... c Min unsat cost LB: 208666 ... c Min unsat cost LB: 208838 ... c Min unsat cost LB: 208922 ... c Min unsat cost LB: 208941 ... c Min unsat cost LB: 208955 ... c Min unsat cost LB: 208969 ... c Min unsat cost LB: 208978 ... c Min unsat cost LB: 209020 ... c Min unsat cost LB: 209527 ... c Min unsat cost LB: 209605 ... c Min unsat cost LB: 209622 ... c Min unsat cost LB: 209886 ... c Min unsat cost LB: 209963 ... c Min unsat cost LB: 210285 ... c Min unsat cost LB: 210311 ... c Min unsat cost LB: 211261 ... c Min unsat cost LB: 211440 ... c Min unsat cost LB: 211457 ... c Min unsat cost LB: 211464 ... c Min unsat cost LB: 211469 ... c Min unsat cost LB: 211526 ... c Min unsat cost LB: 211543 ... c Min unsat cost LB: 211552 ... c Min unsat cost LB: 211555 ... c Min unsat cost LB: 211557 ... c Min unsat cost LB: 211562 ... c Min unsat cost LB: 211564 ... c Min unsat cost LB: 211565 ... c Min unsat cost LB: 211568 ... c Min unsat cost LB: 211581 ... c Min unsat cost LB: 211953 ... c Min unsat cost LB: 212401 ... c Min unsat cost LB: 212484 ... c Min unsat cost LB: 212543 ... c Min unsat cost LB: 212550 ... c Min unsat cost LB: 212814 ... c Min unsat cost LB: 213012 ... c Min unsat cost LB: 213811 ... c Min unsat cost LB: 213874 ... c Min unsat cost LB: 214039 ... c Min unsat cost LB: 214698 ... c Min unsat cost LB: 214807 ... c Min unsat cost LB: 215173 ... c Min unsat cost LB: 215230 ... c Min unsat cost LB: 216080 ... c Min unsat cost LB: 216092 ... c Min unsat cost LB: 216543 ... c Min unsat cost LB: 216814 ... c Min unsat cost LB: 217472 ... c Min unsat cost LB: 217480 ... c Min unsat cost LB: 217484 ... c Min unsat cost LB: 217488 ... c Min unsat cost LB: 217489 ... c Min unsat cost LB: 217490 ... c Min unsat cost LB: 217491 ... c Min unsat cost LB: 217492 ... c Min unsat cost LB: 217493 ... c Min unsat cost LB: 217777 ... c Min unsat cost LB: 217780 ... c Min unsat cost LB: 217782 ... c Min unsat cost LB: 217783 ... c Min unsat cost LB: 217785 ... c Min unsat cost LB: 217786 ... c Min unsat cost LB: 217788 ... c Min unsat cost LB: 217789 ... c Min unsat cost LB: 217790 ... c Min unsat cost LB: 217791 ... c Min unsat cost LB: 217792 ... c Min unsat cost LB: 217793 ... c Min unsat cost LB: 217794 ... c Min unsat cost LB: 217795 ... c Min unsat cost LB: 217796 ... c Min unsat cost LB: 217797 ... c Min unsat cost LB: 217798 ... c Min unsat cost LB: 217799 ... c Min unsat cost LB: 217800 ... c Min unsat cost LB: 217812 ... c Min unsat cost LB: 217814 ... c Min unsat cost LB: 217823 ... c Min unsat cost LB: 217824 ... c Min unsat cost LB: 218132 ... c Min unsat cost LB: 218135 ... c Min unsat cost LB: 218154 ... c Min unsat cost LB: 218155 ... c Min unsat cost LB: 218156 ... c Min unsat cost LB: 218159 ... c Min unsat cost LB: 218160 ... c Min unsat cost LB: 218161 ... c Min unsat cost LB: 218165 ... c Min unsat cost LB: 218166 ... c Min unsat cost LB: 218167 ... c Min unsat cost LB: 218168 ... c Min unsat cost LB: 218169 ... c Min unsat cost LB: 218170 ... c Min unsat cost LB: 218171 ... c Min unsat cost LB: 218172 ... c Min unsat cost LB: 218173 ... c Min unsat cost LB: 218350 ... c Min unsat cost LB: 218357 ... c Min unsat cost LB: 218626 ... c Min unsat cost LB: 218903 ... c Min unsat cost LB: 219126 ... c Min unsat cost LB: 219994 ... c Min unsat cost LB: 220105 ... c Min unsat cost LB: 220177 ... c Min unsat cost LB: 220355 ... c Min unsat cost LB: 220489 ... c Min unsat cost LB: 220493 ... c Min unsat cost LB: 220557 ... c Min unsat cost LB: 220699 ... c Min unsat cost LB: 220898 ... c Min unsat cost LB: 221070 ... c Min unsat cost LB: 221908 ... c Min unsat cost LB: 222044 ... c Min unsat cost LB: 222193 ... c Min unsat cost LB: 222246 ... c Min unsat cost LB: 222668 ... c Min unsat cost LB: 222732 ... c Min unsat cost LB: 223874 ... c Min unsat cost LB: 224089 ... c Min unsat cost LB: 224102 ... c Min unsat cost LB: 224123 ... c Min unsat cost LB: 224609 ... c Min unsat cost LB: 224693 ... c Min unsat cost LB: 224695 ... c Min unsat cost LB: 224718 ... c Min unsat cost LB: 224733 ... c Min unsat cost LB: 224737 ... c Min unsat cost LB: 224747 ... c Min unsat cost LB: 224851 ... c Min unsat cost LB: 225468 ... c Min unsat cost LB: 225575 ... c Min unsat cost LB: 225679 ... c Min unsat cost LB: 225702 ... c Min unsat cost LB: 225704 ... c Min unsat cost LB: 225788 ... c Min unsat cost LB: 225989 ... c Min unsat cost LB: 226721 ... c Min unsat cost LB: 226808 ... c Min unsat cost LB: 227200 ... c Min unsat cost LB: 228291 ... c Min unsat cost LB: 228315 ... c Min unsat cost LB: 228453 ... c Min unsat cost LB: 228730 ... c Min unsat cost LB: 229021 ... c Min unsat cost LB: 229362 ... c Min unsat cost LB: 229376 ... c Min unsat cost LB: 229432 ... c Min unsat cost LB: 229483 ... c Min unsat cost LB: 229503 ... c Min unsat cost LB: 229583 ... c Min unsat cost LB: 230200 ... c Min unsat cost LB: 230299 ... c Min unsat cost LB: 230306 ... c Min unsat cost LB: 230665 ... c Min unsat cost LB: 230795 ... c Min unsat cost LB: 231767 ... c Min unsat cost LB: 231997 ... c Min unsat cost LB: 232050 ... c Min unsat cost LB: 232054 ... c Min unsat cost LB: 232068 ... c Min unsat cost LB: 232158 ... c Min unsat cost LB: 232342 ... c Min unsat cost LB: 232349 ... c Min unsat cost LB: 232409 ... c Min unsat cost LB: 232433 ... c Min unsat cost LB: 232456 ... c Min unsat cost LB: 232512 ... c Min unsat cost LB: 232517 ... c Min unsat cost LB: 232646 ... c Min unsat cost LB: 233654 ... c Min unsat cost LB: 233764 ... c Min unsat cost LB: 233796 ... c Min unsat cost LB: 233801 ... c Min unsat cost LB: 233810 ... c Min unsat cost LB: 234116 ... c Min unsat cost LB: 234347 ... c Min unsat cost LB: 234504 ... c Min unsat cost LB: 234698 ... c Min unsat cost LB: 234778 ... c Min unsat cost LB: 234822 ... c Min unsat cost LB: 234824 ... c Min unsat cost LB: 234856 ... c Min unsat cost LB: 234858 ... c Min unsat cost LB: 235026 ... c Min unsat cost LB: 235210 ... c Min unsat cost LB: 235381 ... c Min unsat cost LB: 235500 ... c Min unsat cost LB: 235542 ... c Min unsat cost LB: 236669 ... c Min unsat cost LB: 236737 ... c Min unsat cost LB: 237153 ... c Min unsat cost LB: 237888 ... c Min unsat cost LB: 237949 ... c Min unsat cost LB: 238035 ... c Min unsat cost LB: 239053 ... c Min unsat cost LB: 239078 ... c Min unsat cost LB: 239213 ... c Min unsat cost LB: 239320 ... c Min unsat cost LB: 239400 ... c Min unsat cost LB: 240224 ... c Min unsat cost LB: 240446 ... c Min unsat cost LB: 240753 ... c Min unsat cost LB: 240756 ... c Min unsat cost LB: 240760 ... c Min unsat cost LB: 240779 ... c Min unsat cost LB: 240780 ... c Min unsat cost LB: 240813 ... c Min unsat cost LB: 240832 ... c Min unsat cost LB: 240838 ... c Min unsat cost LB: 240847 ... c Min unsat cost LB: 240854 ... c Min unsat cost LB: 240856 ... c Min unsat cost LB: 240858 ... c Min unsat cost LB: 240860 ... c Min unsat cost LB: 240861 ... c Min unsat cost LB: 240862 ... c Min unsat cost LB: 240863 ... c Min unsat cost LB: 240864 ... c Min unsat cost LB: 240870 ... c Min unsat cost LB: 240882 ... c Min unsat cost LB: 240883 ... c Min unsat cost LB: 240894 ... c Min unsat cost LB: 240908 ... c Min unsat cost LB: 240926 ... c Min unsat cost LB: 240939 ... c Min unsat cost LB: 240941 ... c Min unsat cost LB: 240942 ... c Min unsat cost LB: 240948 ... c Min unsat cost LB: 240949 ... c Min unsat cost LB: 240950 ... c Min unsat cost LB: 240952 ... c Min unsat cost LB: 240955 ... c Min unsat cost LB: 240956 ... c Min unsat cost LB: 241249 ... c Min unsat cost LB: 242220 ... c Min unsat cost LB: 242319 ... c Min unsat cost LB: 242364 ... c Min unsat cost LB: 242382 ... c Min unsat cost LB: 242467 ... c Min unsat cost LB: 242471 ... c Min unsat cost LB: 242481 ... c Min unsat cost LB: 242485 ... c Min unsat cost LB: 242486 ... c Min unsat cost LB: 242488 ... c Min unsat cost LB: 242489 ... c Min unsat cost LB: 242491 ... c Min unsat cost LB: 242493 ... c Min unsat cost LB: 242494 ... c Min unsat cost LB: 242495 ... c Min unsat cost LB: 242497 ... c Min unsat cost LB: 242501 ... c Min unsat cost LB: 242512 ... c Min unsat cost LB: 242513 ... c Min unsat cost LB: 242514 ... c Min unsat cost LB: 242565 ... c Min unsat cost LB: 242794 ... c Min unsat cost LB: 243181 ... c Min unsat cost LB: 243737 ... c Min unsat cost LB: 243798 ... c Min unsat cost LB: 244142 ... c Min unsat cost LB: 244395 ... c Min unsat cost LB: 244461 ... c Min unsat cost LB: 244603 ... c Min unsat cost LB: 245015 ... c Min unsat cost LB: 245017 ... c Min unsat cost LB: 245018 ... c Min unsat cost LB: 245019 ... c Min unsat cost LB: 245020 ... c Min unsat cost LB: 245021 ... c Min unsat cost LB: 245022 ... c Min unsat cost LB: 245023 ... c MinKilled 1817.160u 2.600s 30:22.86 99.8% 0+0k 0+0io 0pf+0w