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-240-1_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-3.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-240-1_network-3.net.wcnf *** c c Min unsat cost LB: 1701 ... c Min unsat cost LB: 2758 ... c Min unsat cost LB: 3046 ... c Min unsat cost LB: 4326 ... c Min unsat cost LB: 5055 ... c Min unsat cost LB: 5261 ... c Min unsat cost LB: 5555 ... c Min unsat cost LB: 6583 ... c Min unsat cost LB: 6677 ... c Min unsat cost LB: 8371 ... c Min unsat cost LB: 8451 ... c Min unsat cost LB: 8932 ... c Min unsat cost LB: 9768 ... c Min unsat cost LB: 10122 ... c Min unsat cost LB: 10235 ... c Min unsat cost LB: 11205 ... c Min unsat cost LB: 11266 ... c Min unsat cost LB: 12372 ... c Min unsat cost LB: 12548 ... c Min unsat cost LB: 13908 ... c Min unsat cost LB: 14073 ... c Min unsat cost LB: 14418 ... c Min unsat cost LB: 14836 ... c Min unsat cost LB: 16044 ... c Min unsat cost LB: 16852 ... c Min unsat cost LB: 18080 ... c Min unsat cost LB: 19078 ... c Min unsat cost LB: 19174 ... c Min unsat cost LB: 19270 ... c Min unsat cost LB: 19737 ... c Min unsat cost LB: 19772 ... c Min unsat cost LB: 19966 ... c Min unsat cost LB: 20177 ... c Min unsat cost LB: 21619 ... c Min unsat cost LB: 21692 ... c Min unsat cost LB: 22325 ... c Min unsat cost LB: 23545 ... c Min unsat cost LB: 23645 ... c Min unsat cost LB: 24637 ... c Min unsat cost LB: 24757 ... c Min unsat cost LB: 26776 ... c Min unsat cost LB: 27032 ... c Min unsat cost LB: 27555 ... c Min unsat cost LB: 28879 ... c Min unsat cost LB: 29103 ... c Min unsat cost LB: 30331 ... c Min unsat cost LB: 30360 ... c Min unsat cost LB: 31404 ... c Min unsat cost LB: 31837 ... c Min unsat cost LB: 32094 ... c Min unsat cost LB: 32148 ... c Min unsat cost LB: 32509 ... c Min unsat cost LB: 32644 ... c Min unsat cost LB: 32897 ... c Min unsat cost LB: 33795 ... c Min unsat cost LB: 34418 ... c Min unsat cost LB: 34446 ... c Min unsat cost LB: 34582 ... c Min unsat cost LB: 34752 ... c Min unsat cost LB: 35066 ... c Min unsat cost LB: 35463 ... c Min unsat cost LB: 35843 ... c Min unsat cost LB: 36264 ... c Min unsat cost LB: 36497 ... c Min unsat cost LB: 37621 ... c Min unsat cost LB: 37721 ... c Min unsat cost LB: 37982 ... c Min unsat cost LB: 38334 ... c Min unsat cost LB: 39098 ... c Min unsat cost LB: 39520 ... c Min unsat cost LB: 39738 ... c Min unsat cost LB: 40415 ... c Min unsat cost LB: 40670 ... c Min unsat cost LB: 41440 ... c Min unsat cost LB: 41532 ... c Min unsat cost LB: 41623 ... c Min unsat cost LB: 41894 ... c Min unsat cost LB: 42503 ... c Min unsat cost LB: 42731 ... c Min unsat cost LB: 42888 ... c Min unsat cost LB: 42891 ... c Min unsat cost LB: 43389 ... c Min unsat cost LB: 43760 ... c Min unsat cost LB: 43887 ... c Min unsat cost LB: 43918 ... c Min unsat cost LB: 44024 ... c Min unsat cost LB: 44705 ... c Min unsat cost LB: 45210 ... c Min unsat cost LB: 45964 ... c Min unsat cost LB: 46088 ... c Min unsat cost LB: 46116 ... c Min unsat cost LB: 46256 ... c Min unsat cost LB: 46484 ... c Min unsat cost LB: 46810 ... c Min unsat cost LB: 47204 ... c Min unsat cost LB: 47473 ... c Min unsat cost LB: 47960 ... c Min unsat cost LB: 48016 ... c Min unsat cost LB: 48061 ... c Min unsat cost LB: 49231 ... c Min unsat cost LB: 49558 ... c Min unsat cost LB: 50297 ... c Min unsat cost LB: 50504 ... c Min unsat cost LB: 50540 ... c Min unsat cost LB: 50956 ... c Min unsat cost LB: 50989 ... c Min unsat cost LB: 51462 ... c Min unsat cost LB: 51650 ... c Min unsat cost LB: 51683 ... c Min unsat cost LB: 52235 ... c Min unsat cost LB: 52241 ... c Min unsat cost LB: 52329 ... c Min unsat cost LB: 52690 ... c Min unsat cost LB: 53449 ... c Min unsat cost LB: 53520 ... c Min unsat cost LB: 53657 ... c Min unsat cost LB: 53759 ... c Min unsat cost LB: 54977 ... c Min unsat cost LB: 54986 ... c Min unsat cost LB: 55104 ... c Min unsat cost LB: 55940 ... c Min unsat cost LB: 56112 ... c Min unsat cost LB: 56242 ... c Min unsat cost LB: 56511 ... c Min unsat cost LB: 56819 ... c Min unsat cost LB: 56903 ... c Min unsat cost LB: 57381 ... c Min unsat cost LB: 58034 ... c Min unsat cost LB: 58137 ... c Min unsat cost LB: 58292 ... c Min unsat cost LB: 58297 ... c Min unsat cost LB: 58544 ... c Min unsat cost LB: 58762 ... c Min unsat cost LB: 58848 ... c Min unsat cost LB: 58949 ... c Min unsat cost LB: 59222 ... c Min unsat cost LB: 59227 ... c Min unsat cost LB: 60735 ... c Min unsat cost LB: 61442 ... c Min unsat cost LB: 61896 ... c Min unsat cost LB: 62337 ... c Min unsat cost LB: 62364 ... c Min unsat cost LB: 62403 ... c Min unsat cost LB: 62443 ... c Min unsat cost LB: 62971 ... c Min unsat cost LB: 63013 ... c Min unsat cost LB: 63075 ... c Min unsat cost LB: 63382 ... c Min unsat cost LB: 63729 ... c Min unsat cost LB: 64507 ... c Min unsat cost LB: 64531 ... c Min unsat cost LB: 65000 ... c Min unsat cost LB: 65069 ... c Min unsat cost LB: 65279 ... c Min unsat cost LB: 65674 ... c Min unsat cost LB: 66096 ... c Min unsat cost LB: 66875 ... c Min unsat cost LB: 67249 ... c Min unsat cost LB: 67736 ... c Min unsat cost LB: 67779 ... c Min unsat cost LB: 67918 ... c Min unsat cost LB: 68210 ... c Min unsat cost LB: 68730 ... c Min unsat cost LB: 68831 ... c Min unsat cost LB: 69306 ... c Min unsat cost LB: 69313 ... c Min unsat cost LB: 69459 ... c Min unsat cost LB: 69736 ... c Min unsat cost LB: 69952 ... c Min unsat cost LB: 70865 ... c Min unsat cost LB: 71413 ... c Min unsat cost LB: 71725 ... c Min unsat cost LB: 71791 ... c Min unsat cost LB: 71826 ... c Min unsat cost LB: 71833 ... c Min unsat cost LB: 72017 ... c Min unsat cost LB: 72067 ... c Min unsat cost LB: 72826 ... c Min unsat cost LB: 73001 ... c Min unsat cost LB: 73063 ... c Min unsat cost LB: 73262 ... c Min unsat cost LB: 73952 ... c Min unsat cost LB: 74196 ... c Min unsat cost LB: 74344 ... c Min unsat cost LB: 74394 ... c Min unsat cost LB: 74608 ... c Min unsat cost LB: 74883 ... c Min unsat cost LB: 75027 ... c Min unsat cost LB: 75079 ... c Min unsat cost LB: 75400 ... c Min unsat cost LB: 75647 ... c Min unsat cost LB: 75662 ... c Min unsat cost LB: 75895 ... c Min unsat cost LB: 76784 ... c Min unsat cost LB: 77208 ... c Min unsat cost LB: 77237 ... c Min unsat cost LB: 77438 ... c Min unsat cost LB: 78035 ... c Min unsat cost LB: 78213 ... c Min unsat cost LB: 78535 ... c Min unsat cost LB: 78641 ... c Min unsat cost LB: 79182 ... c Min unsat cost LB: 79191 ... c Min unsat cost LB: 79267 ... c Min unsat cost LB: 79401 ... c Min unsat cost LB: 79893 ... c Min unsat cost LB: 80030 ... c Min unsat cost LB: 80161 ... c Min unsat cost LB: 80178 ... c Min unsat cost LB: 80230 ... c Min unsat cost LB: 80914 ... c Min unsat cost LB: 81043 ... c Min unsat cost LB: 81409 ... c Min unsat cost LB: 81635 ... c Min unsat cost LB: 82229 ... c Min unsat cost LB: 82316 ... c Min unsat cost LB: 82323 ... c Min unsat cost LB: 82411 ... c Min unsat cost LB: 82477 ... c Min unsat cost LB: 82482 ... c Min unsat cost LB: 82578 ... c Min unsat cost LB: 83024 ... c Min unsat cost LB: 83143 ... c Min unsat cost LB: 83211 ... c Min unsat cost LB: 83273 ... c Min unsat cost LB: 83452 ... c Min unsat cost LB: 84183 ... c Min unsat cost LB: 84438 ... c Min unsat cost LB: 85145 ... c Min unsat cost LB: 85567 ... c Min unsat cost LB: 86674 ... c Min unsat cost LB: 86683 ... c Min unsat cost LB: 86729 ... c Min unsat cost LB: 86784 ... c Min unsat cost LB: 86854 ... c Min unsat cost LB: 87573 ... c Min unsat cost LB: 87690 ... c Min unsat cost LB: 87739 ... c Min unsat cost LB: 88775 ... c Min unsat cost LB: 88817 ... c Min unsat cost LB: 89118 ... c Min unsat cost LB: 89317 ... c Min unsat cost LB: 89741 ... c Min unsat cost LB: 90996 ... c Min unsat cost LB: 91563 ... c Min unsat cost LB: 91789 ... c Min unsat cost LB: 92062 ... c Min unsat cost LB: 92178 ... c Min unsat cost LB: 92247 ... c Min unsat cost LB: 93421 ... c Min unsat cost LB: 93550 ... c Min unsat cost LB: 93703 ... c Min unsat cost LB: 93805 ... c Min unsat cost LB: 93910 ... c Min unsat cost LB: 93994 ... c Min unsat cost LB: 94097 ... c Min unsat cost LB: 94308 ... c Min unsat cost LB: 94389 ... c Min unsat cost LB: 94492 ... c Min unsat cost LB: 95353 ... c Min unsat cost LB: 95513 ... c Min unsat cost LB: 95910 ... c Min unsat cost LB: 96070 ... c Min unsat cost LB: 96192 ... c Min unsat cost LB: 96334 ... c Min unsat cost LB: 96483 ... c Min unsat cost LB: 96569 ... c Min unsat cost LB: 96605 ... c Min unsat cost LB: 96760 ... c Min unsat cost LB: 97087 ... c Min unsat cost LB: 97244 ... c Min unsat cost LB: 97246 ... c Min unsat cost LB: 97261 ... c Min unsat cost LB: 97941 ... c Min unsat cost LB: 99354 ... c Min unsat cost LB: 99469 ... c Min unsat cost LB: 99784 ... c Min unsat cost LB: 99993 ... c Min unsat cost LB: 100432 ... c Min unsat cost LB: 100903 ... c Min unsat cost LB: 101106 ... c Min unsat cost LB: 101324 ... c Min unsat cost LB: 101552 ... c Min unsat cost LB: 101756 ... c Min unsat cost LB: 102347 ... c Min unsat cost LB: 103018 ... c Min unsat cost LB: 103278 ... c Min unsat cost LB: 103405 ... c Min unsat cost LB: 103434 ... c Min unsat cost LB: 103506 ... c Min unsat cost LB: 104202 ... c Min unsat cost LB: 104328 ... c Min unsat cost LB: 104344 ... c Min unsat cost LB: 104400 ... c Min unsat cost LB: 105313 ... c Min unsat cost LB: 105697 ... c Min unsat cost LB: 105986 ... c Min unsat cost LB: 106085 ... c Min unsat cost LB: 106198 ... c Min unsat cost LB: 106687 ... c Min unsat cost LB: 106862 ... c Min unsat cost LB: 107070 ... c Min unsat cost LB: 107401 ... c Min unsat cost LB: 107521 ... c Min unsat cost LB: 107532 ... c Min unsat cost LB: 108604 ... c Min unsat cost LB: 108760 ... c Min unsat cost LB: 108814 ... c Min unsat cost LB: 109961 ... c Min unsat cost LB: 109991 ... c Min unsat cost LB: 110007 ... c Min unsat cost LB: 110388 ... c Min unsat cost LB: 110404 ... c Min unsat cost LB: 110430 ... c Min unsat cost LB: 110588 ... c Min unsat cost LB: 110685 ... c Min unsat cost LB: 111595 ... c Min unsat cost LB: 111602 ... c Min unsat cost LB: 111636 ... c Min unsat cost LB: 111839 ... c Min unsat cost LB: 111958 ... c Min unsat cost LB: 112006 ... c Min unsat cost LB: 112055 ... c Min unsat cost LB: 112121 ... c Min unsat cost LB: 112136 ... c Min unsat cost LB: 112161 ... c Min unsat cost LB: 112177 ... c Min unsat cost LB: 113010 ... c Min unsat cost LB: 113419 ... c Min unsat cost LB: 113736 ... c Min unsat cost LB: 114172 ... c Min unsat cost LB: 114272 ... c Min unsat cost LB: 114294 ... c Min unsat cost LB: 114352 ... c Min unsat cost LB: 114768 ... c Min unsat cost LB: 114851 ... c Min unsat cost LB: 116057 ... c Min unsat cost LB: 116099 ... c Min unsat cost LB: 116340 ... c Min unsat cost LB: 117028 ... c Min unsat cost LB: 117495 ... c Min unsat cost LB: 117534 ... c Min unsat cost LB: 117715 ... c Min unsat cost LB: 118076 ... c Min unsat cost LB: 118333 ... c Min unsat cost LB: 118573 ... c Min unsat cost LB: 118876 ... c Min unsat cost LB: 119783 ... c Min unsat cost LB: 119977 ... c Min unsat cost LB: 120931 ... c Min unsat cost LB: 121465 ... c Min unsat cost LB: 121574 ... c Min unsat cost LB: 121657 ... c Min unsat cost LB: 121752 ... c Min unsat cost LB: 121799 ... c Min unsat cost LB: 122575 ... c Min unsat cost LB: 122776 ... c Min unsat cost LB: 124022 ... c Min unsat cost LB: 124097 ... c Min unsat cost LB: 124101 ... c Min unsat cost LB: 124403 ... c Min unsat cost LB: 124426 ... c Min unsat cost LB: 124666 ... c Min unsat cost LB: 124977 ... c Min unsat cost LB: 125134 ... c Min unsat cost LB: 125515 ... c Min unsat cost LB: 125585 ... c Min unsat cost LB: 126098 ... c Min unsat cost LB: 126388 ... c Min unsat cost LB: 126994 ... c Min unsat cost LB: 127093 ... c Min unsat cost LB: 127293 ... c Min unsat cost LB: 127388 ... c Min unsat cost LB: 127806 ... c Min unsat cost LB: 129140 ... c Min unsat cost LB: 129183 ... c Min unsat cost LB: 129754 ... c Min unsat cost LB: 129956 ... c Min unsat cost LB: 130030 ... c Min unsat cost LB: 130040 ... c Min unsat cost LB: 130049 ... c Min unsat cost LB: 130069 ... c Min unsat cost LB: 130085 ... c Min unsat cost LB: 130102 ... c Min unsat cost LB: 130188 ... c Min unsat cost LB: 131063 ... c Min unsat cost LB: 131178 ... c Min unsat cost LB: 131297 ... c Min unsat cost LB: 132582 ... c Min unsat cost LB: 132711 ... c Min unsat cost LB: 132739 ... c Min unsat cost LB: 132948 ... c Min unsat cost LB: 133203 ... c Min unsat cost LB: 133223 ... c Min unsat cost LB: 133282 ... c Min unsat cost LB: 133284 ... c Min unsat cost LB: 133306 ... c Min unsat cost LB: 133327 ... c Min unsat cost LB: 133384 ... c Min unsat cost LB: 133424 ... c Min unsat cost LB: 133569 ... c Min unsat cost LB: 133622 ... c Min unsat cost LB: 133784 ... c Min unsat cost LB: 133936 ... c Min unsat cost LB: 134180 ... c Min unsat cost LB: 134272 ... c Min unsat cost LB: 135114 ... c Min unsat cost LB: 135301 ... c Min unsat cost LB: 135315 ... c Min unsat cost LB: 135324 ... c Min unsat cost LB: 135334 ... c Min unsat cost LB: 135349 ... c Min unsat cost LB: 135354 ... c Min unsat cost LB: 135358 ... c Min unsat cost LB: 135367 ... c Min unsat cost LB: 135514 ... c Min unsat cost LB: 135749 ... c Min unsat cost LB: 135983 ... c Min unsat cost LB: 136211 ... c Min unsat cost LB: 136385 ... c Min unsat cost LB: 136495 ... c Min unsat cost LB: 137005 ... c Min unsat cost LB: 137549 ... c Min unsat cost LB: 138370 ... c Min unsat cost LB: 138477 ... c Min unsat cost LB: 138948 ... c Min unsat cost LB: 139305 ... c Min unsat cost LB: 139310 ... c Min unsat cost LB: 139675 ... c Min unsat cost LB: 140588 ... c Min unsat cost LB: 140621 ... c Min unsat cost LB: 140629 ... c Min unsat cost LB: 140654 ... c Min unsat cost LB: 140665 ... c Min unsat cost LB: 140683 ... c Min unsat cost LB: 140700 ... c Min unsat cost LB: 140703 ... c Min unsat cost LB: 140737 ... c Min unsat cost LB: 140805 ... c Min unsat cost LB: 141329 ... c Min unsat cost LB: 141673 ... c Min unsat cost LB: 141844 ... c Min unsat cost LB: 141847 ... c Min unsat cost LB: 141983 ... c Min unsat cost LB: 142041 ... c Min unsat cost LB: 142043 ... c Min unsat cost LB: 142463 ... c Min unsat cost LB: 142690 ... c Min unsat cost LB: 142978 ... c Min unsat cost LB: 142983 ... c Min unsat cost LB: 143028 ... c Min unsat cost LB: 143044 ... c Min unsat cost LB: 143131 ... c Min unsat cost LB: 143148 ... c Min unsat cost LB: 143170 ... c Min unsat cost LB: 143171 ... c Min unsat cost LB: 143175 ... c Min unsat cost LB: 143227 ... c Min unsat cost LB: 143254 ... c Min unsat cost LB: 143258 ... c Min unsat cost LB: 143266 ... c Min unsat cost LB: 143270 ... c Min unsat cost LB: 143271 ... c Min unsat cost LB: 143275 ... c Min unsat cost LB: 143276 ... c Min unsat cost LB: 143288 ... c Min unsat cost LB: 143319 ... c Min unsat cost LB: 143321 ... c Min unsat cost LB: 143367 ... c Min unsat cost LB: 143370 ... c Min unsat cost LB: 143371 ... c Min unsat cost LB: 143431 ... c Min unsat cost LB: 143435 ... c Min unsat cost LB: 143436 ... c Min unsat cost LB: 143480 ... c Min unsat cost LB: 143538 ... c Min unsat cost LB: 143634 ... c Min unsat cost LB: 143807 ... c Min unsat cost LB: 144808 ... c Min unsat cost LB: 144813 ... c Min unsat cost LB: 144824 ... c Min unsat cost LB: 144829 ... c Min unsat cost LB: 144830 ... c Min unsat cost LB: 144835 ... c Min unsat cost LB: 144843 ... c Min unsat cost LB: 144851 ... c Min unsat cost LB: 144855 ... c Min unsat cost LB: 144860 ... c Min unsat cost LB: 144907 ... c Min unsat cost LB: 144910 ... c Min unsat cost LB: 144911 ... c Min unsat cost LB: 144913 ... c Min unsat cost LB: 144918 ... c Min unsat cost LB: 144930 ... c Min unsat cost LB: 145119 ... c Min unsat cost LB: 145449 ... c Min unsat cost LB: 145725 ... c Min unsat cost LB: 145733 ... c Min unsat cost LB: 145743 ... c Min unsat cost LB: 145749 ... c Min unsat cost LB: 145764 ... c Min unsat cost LB: 145766 ... c Min unsat cost LB: 145769 ... c Min unsat cost LB: 145773 ... c Min unsat cost LB: 145778 ... c Min unsat cost LB: 145779 ... c Min unsat cost LB: 145782 ... c Min unsat cost LB: 145783 ... c Min unsat cost LB: 145786 ... c Min unsat cost LB: 145789 ... c Min unsat cost LB: 145790 ... c Min unsat cost LB: 145791 ... c Min unsat cost LB: 145794 ... c Min unsat cost LB: 145798 ... c Min unsat cost LB: 145804 ... c Min unsat cost LB: 145807 ... c Min unsat cost LB: 145818 ... c Min unsat cost LB: 145819 ... c Min unsat cost LB: 145820 ... c Min unsat cost LB: 145823 ... c Min unsat cost LB: 145824 ... c Min unsat cost LB: 146066 ... c Min unsat cost LB: 146642 ... c Min unsat cost LB: 146774 ... c Min unsat cost LB: 146851 ... c Min unsat cost LB: 146883 ... c Min unsat cost LB: 147065 ... c Min unsat cost LB: 147084 ... c Min unsat cost LB: 147090 ... c Min unsat cost LB: 147197 ... c Min unsat cost LB: 147449 ... c Min unsat cost LB: 147679 ... c Min unsat cost LB: 147723 ... c Min unsat cost LB: 147761 ... c Min unsat cost LB: 147986 ... c Min unsat cost LB: 148152 ... c Min unsat cost LB: 148232 ... c Min unsat cost LB: 148249 ... c Min unsat cost LB: 148290 ... c Min unsat cost LB: 148611 ... c Min unsat cost LB: 148628 ... c Min unsat cost LB: 148637 ... c Min unsat cost LB: 148788 ... c Min unsat cost LB: 148981 ... c Min unsat cost LB: 148998 ... c Min unsat cost LB: 149805 ... c Min unsat cost LB: 150475 ... c Min unsat cost LB: 151195 ... c Min unsat cost LB: 151731 ... c Min unsat cost LB: 151790 ... c Min unsat cost LB: 151854 ... c Min unsat cost LB: 152305 ... c Min unsat cost LB: 152335 ... c Min unsat cost LB: 153152 ... c Min unsat cost LB: 153160 ... c Min unsat cost LB: 153377 ... c Min unsat cost LB: 153441 ... c Min unsat cost LB: 153751 ... c Min unsat cost LB: 153960 ... c Min unsat cost LB: 154120 ... c Min unsat cost LB: 154126 ... c Min unsat cost LB: 154381 ... c Min unsat cost LB: 154609 ... c Min unsat cost LB: 155066 ... c Min unsat cost LB: 155481 ... c Min unsat cost LB: 155507 ... c Min unsat cost LB: 155956 ... c Min unsat cost LB: 157253 ... c Min unsat cost LB: 157383 ... c Min unsat cost LB: 157746 ... c Min unsat cost LB: 157847 ... c Min unsat cost LB: 157898 ... c Min unsat cost LB: 157982 ... c Min unsat cost LB: 158840 ... c Min unsat cost LB: 159306 ... c Min unsat cost LB: 159413 ... c Min unsat cost LB: 159787 ... c Min unsat cost LB: 159964 ... c Min unsat cost LB: 160174 ... c Min unsat cost LB: 160945 ... c Min unsat cost LB: 161483 ... c Min unsat cost LB: 161794 ... c Min unsat cost LB: 161879 ... c Min unsat cost LB: 161880 ... c Min unsat cost LB: 162634 ... c Min unsat cost LB: 162645 ... c Min unsat cost LB: 163079 ... c Min unsat cost LB: 163099 ... c Min unsat cost LB: 163273 ... c Min unsat cost LB: 163670 ... c Min unsat cost LB: 163860 ... c Min unsat cost LB: 164103 ... c Min unsat cost LB: 164209 ... c Min unsat cost LB: 164783 ... c Min unsat cost LB: 164930 ... c Min unsat cost LB: 165207 ... c Min unsat cost LB: 165595 ... c Min unsat cost LB: 165716 ... c Min unsat cost LB: 165738 ... c Min unsat cost LB: 166236 ... c Min unsat cost LB: 166273 ... c Min unsat cost LB: 166598 ... c Min unsat cost LB: 167084 ... c Min unsat cost LB: 167275 ... c Min unsat cost LB: 167548 ... c Min unsat cost LB: 167750 ... c Min unsat cost LB: 168059 ... c Min unsat cost LB: 168123 ... c Min unsat cost LB: 168129 ... c Min unsat cost LB: 168148 ... c Min unsat cost LB: 168210 ... c Min unsat cost LB: 168254 ... c Min unsat cost LB: 168255 ... c Min unsat cost LB: 168304 ... c Min unsat cost LB: 168530 ... c Min unsat cost LB: 168622 ... c Min unsat cost LB: 168637 ... c Min unsat cost LB: 169862 ... c Min unsat cost LB: 169883 ... c Min unsat cost LB: 170128 ... c Min unsat cost LB: 170578 ... c Min unsat cost LB: 170780 ... c Min unsat cost LB: 171443 ... c Min unsat cost LB: 171686 ... c Min unsat cost LB: 172008 ... c Min unsat cost LB: 172274 ... c Min unsat cost LB: 172331 ... c Min unsat cost LB: 172523 ... c Min unsat cost LB: 173093 ... c Min unsat cost LB: 173403 ... c Min unsat cost LB: 174011 ... c Min unsat cost LB: 174059 ... c Min unsat cost LB: 174099 ... c Min unsat cost LB: 174446 ... c Min unsat cost LB: 174838 ... c Min unsat cost LB: 174887 ... c Min unsat cost LB: 175261 ... c Min unsat cost LB: 175272 ... c Min unsat cost LB: 175301 ... c Min unsat cost LB: 175388 ... c Min unsat cost LB: 175422 ... c Min unsat cost LB: 175428 ... c Min unsat cost LB: 175945 ... c Min unsat cost LB: 176362 ... c Min unsat cost LB: 176409 ... c Min unsat cost LB: 176517 ... c Min unsat cost LB: 176942 ... c Min unsat cost LB: 177006 ... c Min unsat cost LB: 177691 ... c Min unsat cost LB: 177758 ... c Min unsat cost LB: 178504 ... c Min unsat cost LB: 178588 ... c Min unsat cost LB: 178743 ... c Min unsat cost LB: 178773 ... c Min unsat cost LB: 179067 ... c Min unsat cost LB: 179730 ... c Min unsat cost LB: 180177 ... c Min unsat cost LB: 180205 ... c Min unsat cost LB: 180361 ... c Min unsat cost LB: 180393 ... c Min unsat cost LB: 180445 ... c Min unsat cost LB: 180959 ... c Min unsat cost LB: 181343 ... c Min unsat cost LB: 181480 ... c Min unsat cost LB: 182083 ... c Min unsat cost LB: 182792 ... c Min unsat cost LB: 183131 ... c Min unsat cost LB: 183760 ... c Min unsat cost LB: 183761 ... c Min unsat cost LB: 183777 ... c Min unsat cost LB: 183784 ... c Min unsat cost LB: 183787 ... c Min unsat cost LB: 183881 ... c Min unsat cost LB: 184620 ... c Min unsat cost LB: 185114 ... c Min unsat cost LB: 185504 ... c Min unsat cost LB: 185887 ... c Min unsat cost LB: 185932 ... c Min unsat cost LB: 185961 ... c Min unsat cost LB: 185974 ... c Min unsat cost LB: 186551 ... c Min unsat cost LB: 186678 ... c Min unsat cost LB: 186946 ... c Min unsat cost LB: 187085 ... c Min unsat cost LB: 188205 ... c Min unsat cost LB: 188238 ... c Min unsat cost LB: 188245 ... c Min unsat cost LB: 188278 ... c Min unsat cost LB: 188286 ... c Min unsat cost LB: 188311 ... c Min unsat cost LB: 188313 ... c Min unsat cost LB: 188318 ... c Min unsat cost LB: 188322 ... c Min unsat cost LB: 188339 ... c Min unsat cost LB: 188357 ... c Min unsat cost LB: 188470 ... c Min unsat cost LB: 188864 ... c Min unsat cost LB: 189041 ... c Min unsat cost LB: 189333 ... c Min unsat cost LB: 190219 ... c Min unsat cost LB: 190325 ... c Min unsat cost LB: 190336 ... c Min unsat cost LB: 190337 ... c Min unsat cost LB: 190339 ... c Min unsat cost LB: 190591 ... c Min unsat cost LB: 190592 ... c Min unsat cost LB: 190595 ... c Min unsat cost LB: 190846 ... c Min unsat cost LB: 191031 ... c Min unsat cost LB: 191099 ... c Min unsat cost LB: 191138 ... c Min unsat cost LB: 191200 ... c Min unsat cost LB: 191296 ... c Min unsat cost LB: 191470 ... c Min unsat cost LB: 191935 ... c Min unsat cost LB: 192217 ... c Min unsat cost LB: 192473 ... c Min unsat cost LB: 192530 ... c Min unsat cost LB: 193074 ... c Min unsat cost LB: 193495 ... c Min unsat cost LB: 193694 ... c Min unsat cost LB: 193715 ... c Min unsat cost LB: 193798 ... c Min unsat cost LB: 194084 ... c Min unsat cost LB: 194225 ... c Min unsat cost LB: 194293 ... c Min unsat cost LB: 194816 ... c Min unsat cost LB: 194865 ... c Min unsat cost LB: 195045 ... c Min unsat cost LB: 195660 ... c Min unsat cost LB: 196196 ... c Min unsat cost LB: 196268 ... c Min unsat cost LB: 196324 ... c Min unsat cost LB: 196672 ... c Min unsat cost LB: 197212 ... c Min unsat cost LB: 197249 ... c Min unsat cost LB: 198369 ... c Min unsat cost LB: 198425 ... c Min unsat cost LB: 198634 ... c Min unsat cost LB: 198669 ... c Min unsat cost LB: 198744 ... c Min unsat cost LB: 199049 ... c Min unsat cost LB: 199143 ... c Min unsat cost LB: 199260 ... c Min unsat cost LB: 199620 ... c Min unsat cost LB: 199663 ... c Min unsat cost LB: 199684 ... c Min unsat cost LB: 200793 ... c Min unsat cost LB: 200887 ... c Min unsat cost LB: 201179 ... c Min unsat cost LB: 201336 ... c Min unsat cost LB: 202021 ... c Min unsat cost LB: 202044 ... c Min unsat cost LB: 202113 ... c Min unsat cost LB: 202238 ... c Min unsat cost LB: 202558 ... c Min unsat cost LB: 202561 ... c Min unsat cost LB: 202565 ... c Min unsat cost LB: 202603 ... c Min unsat cost LB: 202622 ... c Min unsat cost LB: 203039 ... c Min unsat cost LB: 203794 ... c Min unsat cost LB: 203959 ... c Min unsat cost LB: 203970 ... c Min unsat cost LB: 204014 ... c Min unsat cost LB: 204110 ... c Min unsat cost LB: 204142 ... c Min unsat cost LB: 204234 ... c Min unsat cost LB: 205339 ... c Min unsat cost LB: 205412 ... c Min unsat cost LB: 205453 ... c Min unsat cost LB: 205639 ... c Min unsat cost LB: 205756 ... c Min unsat cost LB: 205773 ... c Min unsat cost LB: 206116 ... c Min unsat cost LB: 206136 ... c Min unsat cost LB: 206338 ... c Min unsat cost LB: 206375 ... c Min unsat cost LB: 206596 ... c Min unsat cost LB: 206601 ... c Min unsat cost LB: 207064 ... c Min unsat cost LB: 207166 ... c Min unsat cost LB: 207457 ... c Min unsat cost LB: 207584 ... c Min unsat cost LB: 207599 ... c Min unsat cost LB: 207716 ... c Min unsat cost LB: 207734 ... c Min unsat cost LB: 207755 ... c Min unsat cost LB: 207760 ... c Min unsat cost LB: 207774 ... c Min unsat cost LB: 208395 ... c Min unsat cost LB: 209164 ... c Min unsat cost LB: 209320 ... c Min unsat cost LB: 209499 ... c Min unsat cost LB: 210131 ... c Min unsat cost LB: 210133 ... c Min unsat cost LB: 210195 ... c Min unsat cost LB: 210480 ... c Min unsat cost LB: 210609 ... c Min unsat cost LB: 210749 ... c Min unsat cost LB: 210773 ... c Min unsat cost LB: 211026 ... c Min unsat cost LB: 211073 ... c Min unsat cost LB: 211107 ... c Min unsat cost LB: 211332 ... c Min unsat cost LB: 211357 ... c Min unsat cost LB: 211358 ... c Min unsat cost LB: 211409 ... c Min unsat cost LB: 211411 ... c Min unsat cost LB: 211421 ... c Min unsat cost LB: 211463 ... c Min unsat cost LB: 211473 ... c Min unsat cost LB: 211498 ... c Min unsat cost LB: 211499 ... c Min unsat cost LB: 211549 ... c Min unsat cost LB: 211583 ... c Min unsat cost LB: 211591 ... c Min unsat cost LB: 212590 ... c Min unsat cost LB: 212600 ... c Min unsat cost LB: 212719 ... c Min unsat cost LB: 212730 ... c Min unsat cost LB: 212910 ... c Min unsat cost LB: 213085 ... c Min unsat cost LB: 213742 ... c Min unsat cost LB: 213743 ... c Min unsat cost LB: 213744 ... c Min unsat cost LB: 213745 ... c Min unsat cost LB: 213746 ... c Min unsat cost LB: 213747 ... c Min unsat cost LB: 213748 ... c Min unsat cost LB: 213749 ... c Min unsat cost LB: 213751 ... c Min unsat cost LB: 213752 ... c Min unsat cost LB: 213753 ... c Min unsat cost LB: 213754 ... c Min unsat cost LB: 213755 ... o 213755 s OPTIMUM FOUND v -1 2 3 -4 -5 -6 7 -8 9 -10 11 12 -13 14 -15 -16 -17 -18 -19 20 -21 22 -23 24 -25 -26 -27 28 29 -30 31 -32 -33 -34 -35 36 -37 38 -39 -40 -41 -42 43 44 -45 -46 47 -48 -49 -50 51 -52 53 -54 55 -56 57 -58 59 -60 -61 62 63 -64 -65 -66 -67 68 69 -70 -71 -72 -73 74 -75 76 -77 78 -79 -80 -81 82 -83 -84 85 -86 -87 88 -89 -90 91 -92 93 -94 -95 -96 97 -98 -99 100 -101 102 103 -104 -105 -106 -107 -108 109 -110 -111 -112 113 -114 -115 -116 117 -118 119 -120 -121 122 123 -124 125 -126 -127 128 -129 -130 -131 -132 -133 134 -135 136 -137 -138 -139 140 -141 142 -143 -144 145 -146 -147 -148 149 150 -151 -152 153 -154 -155 -156 157 -158 159 -160 161 -162 163 -164 165 -166 -167 -168 169 -170 171 -172 173 -174 -175 -176 -177 178 -179 -180 181 -182 -183 -184 185 -186 187 188 -189 -190 -191 192 -193 194 -195 -196 -197 198 -199 -200 201 202 -203 -204 -205 -206 207 -208 -209 210 -211 -212 -213 -214 -215 216 217 -218 -219 -220 221 -222 -223 224 225 -226 -227 -228 229 -230 -231 -232 -233 234 -235 -236 -237 238 -239 -240 241 -242 -243 244 -245 -246 247 -248 249 250 -251 -252 -253 254 -255 -256 -257 258 -259 260 -261 -262 263 -264 -265 -266 -267 268 269 -270 271 -272 -273 -274 275 -276 277 -278 -279 -280 -281 -282 283 -284 285 -286 -287 288 289 -290 -291 -292 -293 294 -295 -296 297 -298 -299 300 -301 -302 -303 -304 305 -306 -307 -308 309 -310 311 -312 313 -314 315 -316 -317 318 -319 -320 -321 -322 323 -324 325 -326 -327 328 -329 -330 331 -332 -333 334 -335 336 -337 338 -339 340 -341 -342 -343 344 -345 -346 -347 348 349 -350 351 -352 -353 -354 -355 356 -357 -358 359 -360 361 -362 -363 -364 365 -366 367 -368 -369 -370 371 -372 -373 374 375 -376 -377 378 -379 -380 -381 -382 383 -384 385 -386 -387 388 -389 -390 391 392 -393 -394 -395 396 -397 -398 399 -400 -401 -402 -403 404 -405 406 -407 -408 -409 -410 411 -412 -413 -414 415 416 -417 -418 -419 420 -421 -422 423 -424 -425 426 -427 428 -429 430 -431 432 -433 -434 -435 436 -437 -438 -439 -440 441 442 -443 444 -445 -446 -447 448 -449 -450 451 -452 -453 -454 455 -456 457 -458 -459 -460 461 -462 -463 464 -465 466 -467 468 -469 -470 471 -472 -473 474 -475 476 -477 -478 -479 -480 -481 482 -483 -484 485 -486 -487 -488 489 -490 -491 492 493 -494 -495 -496 -497 498 -499 500 -501 -502 -503 504 505 -506 -507 508 -509 -510 511 -512 513 -514 -515 -516 517 -518 -519 -520 -521 522 -523 524 -525 -526 -527 528 -529 530 -531 -532 533 534 -535 -536 -537 538 -539 -540 -541 542 -543 544 -545 -546 -547 -548 549 550 -551 -552 -553 -554 555 -556 -557 558 -559 -560 -561 562 563 -564 -565 -566 -567 -568 569 -570 571 -572 -573 574 -575 -576 577 -578 -579 580 -581 -582 -583 -584 585 -586 587 -588 -589 590 -591 592 -593 -594 -595 -596 -597 598 -599 600 -601 602 -603 604 -605 -606 607 -608 -609 -610 611 612 -613 -614 -615 616 617 -618 -619 620 -621 -622 623 -624 c CPU Time: 59.6949 59.747u 0.326s 1:00.21 99.7% 0+0k 0+0io 0pf+0w