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-220-1_network-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-9.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-220-1_network-9.net.wcnf *** c c Min unsat cost LB: 991 ... c Min unsat cost LB: 1640 ... c Min unsat cost LB: 3090 ... c Min unsat cost LB: 5032 ... c Min unsat cost LB: 5705 ... c Min unsat cost LB: 6895 ... c Min unsat cost LB: 7954 ... c Min unsat cost LB: 9201 ... c Min unsat cost LB: 10528 ... c Min unsat cost LB: 10741 ... c Min unsat cost LB: 11204 ... c Min unsat cost LB: 11681 ... c Min unsat cost LB: 12781 ... c Min unsat cost LB: 13932 ... c Min unsat cost LB: 14649 ... c Min unsat cost LB: 15820 ... c Min unsat cost LB: 17091 ... c Min unsat cost LB: 17291 ... c Min unsat cost LB: 17614 ... c Min unsat cost LB: 17935 ... c Min unsat cost LB: 17951 ... c Min unsat cost LB: 18151 ... c Min unsat cost LB: 18308 ... c Min unsat cost LB: 19186 ... c Min unsat cost LB: 19442 ... c Min unsat cost LB: 20152 ... c Min unsat cost LB: 20805 ... c Min unsat cost LB: 21006 ... c Min unsat cost LB: 22078 ... c Min unsat cost LB: 23155 ... c Min unsat cost LB: 24523 ... c Min unsat cost LB: 24743 ... c Min unsat cost LB: 25860 ... c Min unsat cost LB: 26317 ... c Min unsat cost LB: 26509 ... c Min unsat cost LB: 26655 ... c Min unsat cost LB: 26956 ... c Min unsat cost LB: 27660 ... c Min unsat cost LB: 28112 ... c Min unsat cost LB: 28217 ... c Min unsat cost LB: 28513 ... c Min unsat cost LB: 29919 ... c Min unsat cost LB: 31889 ... c Min unsat cost LB: 32968 ... c Min unsat cost LB: 33505 ... c Min unsat cost LB: 34037 ... c Min unsat cost LB: 34280 ... c Min unsat cost LB: 35182 ... c Min unsat cost LB: 35187 ... c Min unsat cost LB: 36480 ... c Min unsat cost LB: 37502 ... c Min unsat cost LB: 38013 ... c Min unsat cost LB: 38394 ... c Min unsat cost LB: 38400 ... c Min unsat cost LB: 38616 ... c Min unsat cost LB: 38987 ... c Min unsat cost LB: 39769 ... c Min unsat cost LB: 40145 ... c Min unsat cost LB: 40179 ... c Min unsat cost LB: 41075 ... c Min unsat cost LB: 41608 ... c Min unsat cost LB: 41967 ... c Min unsat cost LB: 42097 ... c Min unsat cost LB: 42288 ... c Min unsat cost LB: 42395 ... c Min unsat cost LB: 42618 ... c Min unsat cost LB: 42728 ... c Min unsat cost LB: 42733 ... c Min unsat cost LB: 43097 ... c Min unsat cost LB: 43300 ... c Min unsat cost LB: 43513 ... c Min unsat cost LB: 43577 ... c Min unsat cost LB: 43856 ... c Min unsat cost LB: 43946 ... c Min unsat cost LB: 44505 ... c Min unsat cost LB: 44931 ... c Min unsat cost LB: 45228 ... c Min unsat cost LB: 45289 ... c Min unsat cost LB: 45373 ... c Min unsat cost LB: 46426 ... c Min unsat cost LB: 46662 ... c Min unsat cost LB: 47683 ... c Min unsat cost LB: 47898 ... c Min unsat cost LB: 47918 ... c Min unsat cost LB: 48538 ... c Min unsat cost LB: 49055 ... c Min unsat cost LB: 49344 ... c Min unsat cost LB: 49497 ... c Min unsat cost LB: 49640 ... c Min unsat cost LB: 49661 ... c Min unsat cost LB: 49885 ... c Min unsat cost LB: 50600 ... c Min unsat cost LB: 50674 ... c Min unsat cost LB: 51860 ... c Min unsat cost LB: 52121 ... c Min unsat cost LB: 52165 ... c Min unsat cost LB: 52439 ... c Min unsat cost LB: 52693 ... c Min unsat cost LB: 52971 ... c Min unsat cost LB: 53275 ... c Min unsat cost LB: 53878 ... c Min unsat cost LB: 54113 ... c Min unsat cost LB: 54228 ... c Min unsat cost LB: 54814 ... c Min unsat cost LB: 54846 ... c Min unsat cost LB: 55280 ... c Min unsat cost LB: 55490 ... c Min unsat cost LB: 55751 ... c Min unsat cost LB: 56087 ... c Min unsat cost LB: 56108 ... c Min unsat cost LB: 56193 ... c Min unsat cost LB: 56338 ... c Min unsat cost LB: 57020 ... c Min unsat cost LB: 57236 ... c Min unsat cost LB: 57709 ... c Min unsat cost LB: 58189 ... c Min unsat cost LB: 58339 ... c Min unsat cost LB: 58347 ... c Min unsat cost LB: 58499 ... c Min unsat cost LB: 59053 ... c Min unsat cost LB: 59071 ... c Min unsat cost LB: 59687 ... c Min unsat cost LB: 60256 ... c Min unsat cost LB: 60359 ... c Min unsat cost LB: 60492 ... c Min unsat cost LB: 60704 ... c Min unsat cost LB: 60711 ... c Min unsat cost LB: 60800 ... c Min unsat cost LB: 60862 ... c Min unsat cost LB: 61071 ... c Min unsat cost LB: 61392 ... c Min unsat cost LB: 61573 ... c Min unsat cost LB: 61730 ... c Min unsat cost LB: 62032 ... c Min unsat cost LB: 62590 ... c Min unsat cost LB: 62943 ... c Min unsat cost LB: 63909 ... c Min unsat cost LB: 64007 ... c Min unsat cost LB: 64122 ... c Min unsat cost LB: 64171 ... c Min unsat cost LB: 64416 ... c Min unsat cost LB: 64688 ... c Min unsat cost LB: 64854 ... c Min unsat cost LB: 64863 ... c Min unsat cost LB: 65469 ... c Min unsat cost LB: 65476 ... c Min unsat cost LB: 65701 ... c Min unsat cost LB: 66881 ... c Min unsat cost LB: 67383 ... c Min unsat cost LB: 67420 ... c Min unsat cost LB: 68086 ... c Min unsat cost LB: 68242 ... c Min unsat cost LB: 68288 ... c Min unsat cost LB: 68428 ... c Min unsat cost LB: 68499 ... c Min unsat cost LB: 68546 ... c Min unsat cost LB: 68558 ... c Min unsat cost LB: 68620 ... c Min unsat cost LB: 68621 ... c Min unsat cost LB: 68636 ... c Min unsat cost LB: 68898 ... c Min unsat cost LB: 69134 ... c Min unsat cost LB: 70130 ... c Min unsat cost LB: 70863 ... c Min unsat cost LB: 70998 ... c Min unsat cost LB: 71406 ... c Min unsat cost LB: 71584 ... c Min unsat cost LB: 71631 ... c Min unsat cost LB: 71745 ... c Min unsat cost LB: 71843 ... c Min unsat cost LB: 71947 ... c Min unsat cost LB: 72384 ... c Min unsat cost LB: 73097 ... c Min unsat cost LB: 73141 ... c Min unsat cost LB: 73245 ... c Min unsat cost LB: 73277 ... c Min unsat cost LB: 73521 ... c Min unsat cost LB: 73640 ... c Min unsat cost LB: 73741 ... c Min unsat cost LB: 73800 ... c Min unsat cost LB: 74399 ... c Min unsat cost LB: 74683 ... c Min unsat cost LB: 74864 ... c Min unsat cost LB: 74988 ... c Min unsat cost LB: 75456 ... c Min unsat cost LB: 75875 ... c Min unsat cost LB: 76797 ... c Min unsat cost LB: 77050 ... c Min unsat cost LB: 77183 ... c Min unsat cost LB: 77803 ... c Min unsat cost LB: 77897 ... c Min unsat cost LB: 78615 ... c Min unsat cost LB: 78751 ... c Min unsat cost LB: 78883 ... c Min unsat cost LB: 79064 ... c Min unsat cost LB: 79100 ... c Min unsat cost LB: 79660 ... c Min unsat cost LB: 80000 ... c Min unsat cost LB: 80107 ... c Min unsat cost LB: 80474 ... c Min unsat cost LB: 80485 ... c Min unsat cost LB: 80636 ... c Min unsat cost LB: 80761 ... c Min unsat cost LB: 80773 ... c Min unsat cost LB: 80858 ... c Min unsat cost LB: 80904 ... c Min unsat cost LB: 80935 ... c Min unsat cost LB: 81434 ... c Min unsat cost LB: 81584 ... c Min unsat cost LB: 81948 ... c Min unsat cost LB: 82557 ... c Min unsat cost LB: 83087 ... c Min unsat cost LB: 83559 ... c Min unsat cost LB: 83639 ... c Min unsat cost LB: 83676 ... c Min unsat cost LB: 83709 ... c Min unsat cost LB: 84072 ... c Min unsat cost LB: 84271 ... c Min unsat cost LB: 84437 ... c Min unsat cost LB: 84722 ... c Min unsat cost LB: 84970 ... c Min unsat cost LB: 85065 ... c Min unsat cost LB: 85721 ... c Min unsat cost LB: 86170 ... c Min unsat cost LB: 86327 ... c Min unsat cost LB: 86768 ... c Min unsat cost LB: 86771 ... c Min unsat cost LB: 87100 ... c Min unsat cost LB: 87620 ... c Min unsat cost LB: 87638 ... c Min unsat cost LB: 87687 ... c Min unsat cost LB: 87732 ... c Min unsat cost LB: 87782 ... c Min unsat cost LB: 87914 ... c Min unsat cost LB: 88083 ... c Min unsat cost LB: 88094 ... c Min unsat cost LB: 88127 ... c Min unsat cost LB: 88130 ... c Min unsat cost LB: 88142 ... c Min unsat cost LB: 88172 ... c Min unsat cost LB: 88288 ... c Min unsat cost LB: 88300 ... c Min unsat cost LB: 89140 ... c Min unsat cost LB: 89141 ... c Min unsat cost LB: 89150 ... c Min unsat cost LB: 89207 ... c Min unsat cost LB: 90094 ... c Min unsat cost LB: 90288 ... c Min unsat cost LB: 90478 ... c Min unsat cost LB: 90491 ... c Min unsat cost LB: 90602 ... c Min unsat cost LB: 90639 ... c Min unsat cost LB: 90768 ... c Min unsat cost LB: 90871 ... c Min unsat cost LB: 90928 ... c Min unsat cost LB: 91133 ... c Min unsat cost LB: 91709 ... c Min unsat cost LB: 92027 ... c Min unsat cost LB: 92625 ... c Min unsat cost LB: 92909 ... c Min unsat cost LB: 93270 ... c Min unsat cost LB: 93311 ... c Min unsat cost LB: 93387 ... c Min unsat cost LB: 93411 ... c Min unsat cost LB: 93675 ... c Min unsat cost LB: 93994 ... c Min unsat cost LB: 94043 ... c Min unsat cost LB: 94133 ... c Min unsat cost LB: 94163 ... c Min unsat cost LB: 94274 ... c Min unsat cost LB: 94377 ... c Min unsat cost LB: 94498 ... c Min unsat cost LB: 94685 ... c Min unsat cost LB: 94730 ... c Min unsat cost LB: 95203 ... c Min unsat cost LB: 95927 ... c Min unsat cost LB: 96613 ... c Min unsat cost LB: 96735 ... c Min unsat cost LB: 96802 ... c Min unsat cost LB: 96921 ... c Min unsat cost LB: 97027 ... c Min unsat cost LB: 97038 ... c Min unsat cost LB: 97643 ... c Min unsat cost LB: 97650 ... c Min unsat cost LB: 97734 ... c Min unsat cost LB: 97757 ... c Min unsat cost LB: 97758 ... c Min unsat cost LB: 97763 ... c Min unsat cost LB: 97764 ... c Min unsat cost LB: 97765 ... c Min unsat cost LB: 97777 ... c Min unsat cost LB: 97796 ... c Min unsat cost LB: 97834 ... c Min unsat cost LB: 98474 ... c Min unsat cost LB: 98542 ... c Min unsat cost LB: 98546 ... c Min unsat cost LB: 99218 ... c Min unsat cost LB: 99569 ... c Min unsat cost LB: 99989 ... c Min unsat cost LB: 100028 ... c Min unsat cost LB: 100325 ... c Min unsat cost LB: 100364 ... c Min unsat cost LB: 100366 ... c Min unsat cost LB: 100755 ... c Min unsat cost LB: 101320 ... c Min unsat cost LB: 101798 ... c Min unsat cost LB: 102066 ... c Min unsat cost LB: 102167 ... c Min unsat cost LB: 102269 ... c Min unsat cost LB: 102383 ... c Min unsat cost LB: 102408 ... c Min unsat cost LB: 103995 ... c Min unsat cost LB: 104001 ... c Min unsat cost LB: 104173 ... c Min unsat cost LB: 104807 ... c Min unsat cost LB: 104816 ... c Min unsat cost LB: 104913 ... c Min unsat cost LB: 105419 ... c Min unsat cost LB: 105643 ... c Min unsat cost LB: 105713 ... c Min unsat cost LB: 105714 ... c Min unsat cost LB: 106565 ... c Min unsat cost LB: 106715 ... c Min unsat cost LB: 107024 ... c Min unsat cost LB: 107472 ... c Min unsat cost LB: 107668 ... c Min unsat cost LB: 107683 ... c Min unsat cost LB: 107713 ... c Min unsat cost LB: 107722 ... c Min unsat cost LB: 107751 ... c Min unsat cost LB: 107763 ... c Min unsat cost LB: 107768 ... c Min unsat cost LB: 107785 ... c Min unsat cost LB: 107802 ... c Min unsat cost LB: 107806 ... c Min unsat cost LB: 107809 ... c Min unsat cost LB: 107813 ... c Min unsat cost LB: 108221 ... c Min unsat cost LB: 108566 ... c Min unsat cost LB: 108753 ... c Min unsat cost LB: 108818 ... c Min unsat cost LB: 109387 ... c Min unsat cost LB: 109996 ... c Min unsat cost LB: 110125 ... c Min unsat cost LB: 110251 ... c Min unsat cost LB: 110281 ... c Min unsat cost LB: 110412 ... c Min unsat cost LB: 110933 ... c Min unsat cost LB: 111132 ... c Min unsat cost LB: 111148 ... c Min unsat cost LB: 111265 ... c Min unsat cost LB: 111336 ... c Min unsat cost LB: 111366 ... c Min unsat cost LB: 111504 ... c Min unsat cost LB: 111535 ... c Min unsat cost LB: 111565 ... c Min unsat cost LB: 111571 ... c Min unsat cost LB: 111583 ... c Min unsat cost LB: 111970 ... c Min unsat cost LB: 111971 ... c Min unsat cost LB: 111981 ... c Min unsat cost LB: 111992 ... c Min unsat cost LB: 111995 ... c Min unsat cost LB: 112003 ... c Min unsat cost LB: 112006 ... c Min unsat cost LB: 112021 ... c Min unsat cost LB: 112026 ... c Min unsat cost LB: 112033 ... c Min unsat cost LB: 112044 ... c Min unsat cost LB: 112051 ... c Min unsat cost LB: 112093 ... c Min unsat cost LB: 112098 ... c Min unsat cost LB: 112306 ... c Min unsat cost LB: 112319 ... c Min unsat cost LB: 113086 ... c Min unsat cost LB: 113388 ... c Min unsat cost LB: 113583 ... c Min unsat cost LB: 113697 ... c Min unsat cost LB: 113748 ... c Min unsat cost LB: 114226 ... c Min unsat cost LB: 114310 ... c Min unsat cost LB: 114380 ... c Min unsat cost LB: 114398 ... c Min unsat cost LB: 114445 ... c Min unsat cost LB: 114501 ... c Min unsat cost LB: 114536 ... c Min unsat cost LB: 114731 ... c Min unsat cost LB: 115149 ... c Min unsat cost LB: 115220 ... c Min unsat cost LB: 115544 ... c Min unsat cost LB: 115892 ... c Min unsat cost LB: 116243 ... c Min unsat cost LB: 117004 ... c Min unsat cost LB: 117248 ... c Min unsat cost LB: 117336 ... c Min unsat cost LB: 117419 ... c Min unsat cost LB: 117632 ... c Min unsat cost LB: 118023 ... c Min unsat cost LB: 118744 ... c Min unsat cost LB: 119342 ... c Min unsat cost LB: 119382 ... c Min unsat cost LB: 119676 ... c Min unsat cost LB: 119754 ... c Min unsat cost LB: 119854 ... c Min unsat cost LB: 120871 ... c Min unsat cost LB: 120917 ... c Min unsat cost LB: 120933 ... c Min unsat cost LB: 121264 ... c Min unsat cost LB: 121291 ... c Min unsat cost LB: 121355 ... c Min unsat cost LB: 121411 ... c Min unsat cost LB: 121420 ... c Min unsat cost LB: 121423 ... c Min unsat cost LB: 121451 ... c Min unsat cost LB: 121501 ... c Min unsat cost LB: 121612 ... c Min unsat cost LB: 121675 ... c Min unsat cost LB: 121698 ... c Min unsat cost LB: 121721 ... c Min unsat cost LB: 121737 ... c Min unsat cost LB: 121929 ... c Min unsat cost LB: 122242 ... c Min unsat cost LB: 122253 ... c Min unsat cost LB: 122257 ... c Min unsat cost LB: 122258 ... c Min unsat cost LB: 122260 ... c Min unsat cost LB: 122262 ... c Min unsat cost LB: 122265 ... c Min unsat cost LB: 122266 ... c Min unsat cost LB: 122274 ... c Min unsat cost LB: 122678 ... c Min unsat cost LB: 122884 ... c Min unsat cost LB: 122887 ... c Min unsat cost LB: 122896 ... c Min unsat cost LB: 122899 ... c Min unsat cost LB: 122917 ... c Min unsat cost LB: 123616 ... c Min unsat cost LB: 123644 ... c Min unsat cost LB: 123664 ... c Min unsat cost LB: 123778 ... c Min unsat cost LB: 123856 ... c Min unsat cost LB: 124456 ... c Min unsat cost LB: 124462 ... c Min unsat cost LB: 124518 ... c Min unsat cost LB: 124520 ... c Min unsat cost LB: 124659 ... c Min unsat cost LB: 124706 ... c Min unsat cost LB: 124950 ... c Min unsat cost LB: 124989 ... c Min unsat cost LB: 125239 ... c Min unsat cost LB: 125270 ... c Min unsat cost LB: 125319 ... c Min unsat cost LB: 125367 ... c Min unsat cost LB: 125837 ... c Min unsat cost LB: 125877 ... c Min unsat cost LB: 125881 ... c Min unsat cost LB: 125966 ... c Min unsat cost LB: 125969 ... c Min unsat cost LB: 125975 ... c Min unsat cost LB: 125982 ... c Min unsat cost LB: 126017 ... c Min unsat cost LB: 126326 ... c Min unsat cost LB: 126427 ... c Min unsat cost LB: 127595 ... c Min unsat cost LB: 127672 ... c Min unsat cost LB: 127831 ... c Min unsat cost LB: 129251 ... c Min unsat cost LB: 129261 ... c Min unsat cost LB: 129271 ... c Min unsat cost LB: 129725 ... c Min unsat cost LB: 129779 ... c Min unsat cost LB: 129956 ... c Min unsat cost LB: 130044 ... c Min unsat cost LB: 130759 ... c Min unsat cost LB: 130764 ... c Min unsat cost LB: 131119 ... c Min unsat cost LB: 131519 ... c Min unsat cost LB: 131863 ... c Min unsat cost LB: 132645 ... c Min unsat cost LB: 133309 ... c Min unsat cost LB: 133441 ... c Min unsat cost LB: 133535 ... c Min unsat cost LB: 133539 ... c Min unsat cost LB: 134497 ... c Min unsat cost LB: 134590 ... c Min unsat cost LB: 134632 ... c Min unsat cost LB: 134688 ... c Min unsat cost LB: 134883 ... c Min unsat cost LB: 135592 ... c Min unsat cost LB: 135700 ... c Min unsat cost LB: 135822 ... c Min unsat cost LB: 135889 ... c Min unsat cost LB: 135905 ... c Min unsat cost LB: 135909 ... c Min unsat cost LB: 135961 ... c Min unsat cost LB: 135989 ... c Min unsat cost LB: 136027 ... c Min unsat cost LB: 136036 ... c Min unsat cost LB: 136086 ... c Min unsat cost LB: 136089 ... c Min unsat cost LB: 136107 ... c Min unsat cost LB: 136110 ... c Min unsat cost LB: 136563 ... c Min unsat cost LB: 136578 ... c Min unsat cost LB: 136588 ... c Min unsat cost LB: 136593 ... c Min unsat cost LB: 137214 ... c Min unsat cost LB: 137405 ... c Min unsat cost LB: 137420 ... c Min unsat cost LB: 137421 ... c Min unsat cost LB: 137428 ... c Min unsat cost LB: 137431 ... c Min unsat cost LB: 137456 ... c Min unsat cost LB: 137546 ... c Min unsat cost LB: 137943 ... c Min unsat cost LB: 138118 ... c Min unsat cost LB: 138865 ... c Min unsat cost LB: 139115 ... c Min unsat cost LB: 139157 ... c Min unsat cost LB: 139224 ... c Min unsat cost LB: 139250 ... c Min unsat cost LB: 139270 ... c Min unsat cost LB: 139273 ... c Min unsat cost LB: 139274 ... c Min unsat cost LB: 139279 ... c Min unsat cost LB: 139286 ... c Min unsat cost LB: 139290 ... c Min unsat cost LB: 139293 ... c Min unsat cost LB: 139295 ... c Min unsat cost LB: 139296 ... c Min unsat cost LB: 139298 ... c Min unsat cost LB: 139302 ... c Min unsat cost LB: 139312 ... c Min unsat cost LB: 139344 ... c Min unsat cost LB: 139364 ... c Min unsat cost LB: 139365 ... c Min unsat cost LB: 139366 ... c Min unsat cost LB: 139367 ... c Min unsat cost LB: 139370 ... c Min unsat cost LB: 139371 ... c Min unsat cost LB: 139374 ... c Min unsat cost LB: 139375 ... c Min unsat cost LB: 139731 ... c Min unsat cost LB: 140197 ... c Min unsat cost LB: 141450 ... c Min unsat cost LB: 142047 ... c Min unsat cost LB: 142173 ... c Min unsat cost LB: 142195 ... c Min unsat cost LB: 142205 ... c Min unsat cost LB: 142206 ... c Min unsat cost LB: 142223 ... c Min unsat cost LB: 142224 ... c Min unsat cost LB: 142302 ... c Min unsat cost LB: 142303 ... c Min unsat cost LB: 142304 ... c Min unsat cost LB: 142398 ... c Min unsat cost LB: 142399 ... c Min unsat cost LB: 142545 ... c Min unsat cost LB: 142564 ... c Min unsat cost LB: 142704 ... c Min unsat cost LB: 142707 ... c Min unsat cost LB: 142825 ... c Min unsat cost LB: 142855 ... c Min unsat cost LB: 142856 ... c Min unsat cost LB: 142886 ... c Min unsat cost LB: 142928 ... c Min unsat cost LB: 143665 ... c Min unsat cost LB: 143718 ... c Min unsat cost LB: 143720 ... c Min unsat cost LB: 143741 ... c Min unsat cost LB: 143745 ... c Min unsat cost LB: 143747 ... c Min unsat cost LB: 143863 ... c Min unsat cost LB: 143865 ... c Min unsat cost LB: 143890 ... c Min unsat cost LB: 143891 ... c Min unsat cost LB: 143892 ... c Min unsat cost LB: 143903 ... c Min unsat cost LB: 144014 ... c Min unsat cost LB: 144101 ... c Min unsat cost LB: 144127 ... c Min unsat cost LB: 144147 ... c Min unsat cost LB: 144366 ... c Min unsat cost LB: 144896 ... c Min unsat cost LB: 145266 ... c Min unsat cost LB: 145561 ... c Min unsat cost LB: 145563 ... c Min unsat cost LB: 145565 ... c Min unsat cost LB: 145567 ... c Min unsat cost LB: 145593 ... c Min unsat cost LB: 145628 ... c Min unsat cost LB: 146367 ... c Min unsat cost LB: 146507 ... c Min unsat cost LB: 146864 ... c Min unsat cost LB: 147326 ... c Min unsat cost LB: 147363 ... c Min unsat cost LB: 147916 ... c Min unsat cost LB: 147918 ... c Min unsat cost LB: 147920 ... c Min unsat cost LB: 147921 ... c Min unsat cost LB: 147925 ... c Min unsat cost LB: 147926 ... c Min unsat cost LB: 147927 ... c Min unsat cost LB: 147928 ... c Min unsat cost LB: 147929 ... c Min unsat cost LB: 147932 ... c Min unsat cost LB: 147936 ... c Min unsat cost LB: 147944 ... c Min unsat cost LB: 147946 ... c Min unsat cost LB: 147948 ... c Min unsat cost LB: 147949 ... c Min unsat cost LB: 147951 ... c Min unsat cost LB: 147952 ... c Min unsat cost LB: 147953 ... c Min unsat cost LB: 147969 ... c Min unsat cost LB: 148060 ... c Min unsat cost LB: 148221 ... c Min unsat cost LB: 148328 ... c Min unsat cost LB: 148520 ... c Min unsat cost LB: 149118 ... c Min unsat cost LB: 149284 ... c Min unsat cost LB: 149630 ... c Min unsat cost LB: 150508 ... c Min unsat cost LB: 150781 ... c Min unsat cost LB: 151022 ... c Min unsat cost LB: 151617 ... c Min unsat cost LB: 152084 ... c Min unsat cost LB: 152141 ... c Min unsat cost LB: 152196 ... c Min unsat cost LB: 152336 ... c Min unsat cost LB: 152655 ... c Min unsat cost LB: 153168 ... c Min unsat cost LB: 153527 ... c Min unsat cost LB: 153648 ... c Min unsat cost LB: 153662 ... c Min unsat cost LB: 153707 ... c Min unsat cost LB: 154626 ... c Min unsat cost LB: 154791 ... c Min unsat cost LB: 155127 ... c Min unsat cost LB: 155185 ... c Min unsat cost LB: 155409 ... c Min unsat cost LB: 155457 ... c Min unsat cost LB: 155459 ... c Min unsat cost LB: 155594 ... c Min unsat cost LB: 156250 ... c Min unsat cost LB: 156641 ... c Min unsat cost LB: 156715 ... c Min unsat cost LB: 156899 ... c Min unsat cost LB: 157141 ... c Min unsat cost LB: 157179 ... c Min unsat cost LB: 157237 ... c Min unsat cost LB: 157419 ... c Min unsat cost LB: 157433 ... c Min unsat cost LB: 157807 ... c Min unsat cost LB: 158551 ... c Min unsat cost LB: 158609 ... c Min unsat cost LB: 158667 ... c Min unsat cost LB: 158683 ... c Min unsat cost LB: 158746 ... c Min unsat cost LB: 160085 ... c Min unsat cost LB: 160261 ... c Min unsat cost LB: 160514 ... c Min unsat cost LB: 160533 ... c Min unsat cost LB: 160534 ... c Min unsat cost LB: 160802 ... c Min unsat cost LB: 161353 ... c Min unsat cost LB: 161834 ... c Min unsat cost LB: 162084 ... c Min unsat cost LB: 162511 ... c Min unsat cost LB: 162531 ... c Min unsat cost LB: 162665 ... c Min unsat cost LB: 162703 ... c Min unsat cost LB: 162777 ... c Min unsat cost LB: 163500 ... c Min unsat cost LB: 163515 ... c Min unsat cost LB: 164028 ... c Min unsat cost LB: 164271 ... c Min unsat cost LB: 164406 ... c Min unsat cost LB: 164441 ... c Min unsat cost LB: 164571 ... c Min unsat cost LB: 164593 ... c Min unsat cost LB: 164639 ... c Min unsat cost LB: 164720 ... c Min unsat cost LB: 165541 ... c Min unsat cost LB: 165581 ... c Min unsat cost LB: 165586 ... c Min unsat cost LB: 165959 ... c Min unsat cost LB: 166128 ... c Min unsat cost LB: 166736 ... c Min unsat cost LB: 167649 ... c Min unsat cost LB: 167764 ... c Min unsat cost LB: 167889 ... c Min unsat cost LB: 167922 ... c Min unsat cost LB: 167932 ... c Min unsat cost LB: 167944 ... c Min unsat cost LB: 167980 ... c Min unsat cost LB: 168442 ... c Min unsat cost LB: 168965 ... c Min unsat cost LB: 169009 ... c Min unsat cost LB: 169371 ... c Min unsat cost LB: 169868 ... c Min unsat cost LB: 169981 ... c Min unsat cost LB: 170061 ... c Min unsat cost LB: 170156 ... c Min unsat cost LB: 170805 ... c Min unsat cost LB: 170975 ... c Min unsat cost LB: 171422 ... c Min unsat cost LB: 172308 ... c Min unsat cost LB: 172393 ... c Min unsat cost LB: 173051 ... c Min unsat cost LB: 173388 ... c Min unsat cost LB: 173398 ... c Min unsat cost LB: 173669 ... c Min unsat cost LB: 173822 ... c Min unsat cost LB: 174191 ... c Min unsat cost LB: 174309 ... c Min unsat cost LB: 174567 ... c Min unsat cost LB: 174898 ... c Min unsat cost LB: 175450 ... c Min unsat cost LB: 175516 ... c Min unsat cost LB: 175607 ... c Min unsat cost LB: 175622 ... c Min unsat cost LB: 176494 ... c Min unsat cost LB: 177240 ... c Min unsat cost LB: 177494 ... c Min unsat cost LB: 177552 ... c Min unsat cost LB: 178063 ... c Min unsat cost LB: 178108 ... c Min unsat cost LB: 178134 ... c Min unsat cost LB: 178144 ... c Min unsat cost LB: 178935 ... c Min unsat cost LB: 178976 ... c Min unsat cost LB: 179549 ... c Min unsat cost LB: 179699 ... c Min unsat cost LB: 179769 ... c Min unsat cost LB: 179859 ... c Min unsat cost LB: 180449 ... c Min unsat cost LB: 181170 ... c Min unsat cost LB: 181592 ... c Min unsat cost LB: 181645 ... c Min unsat cost LB: 181794 ... c Min unsat cost LB: 182283 ... c Min unsat cost LB: 182807 ... c Min unsat cost LB: 183158 ... c Min unsat cost LB: 183702 ... c Min unsat cost LB: 183900 ... c Min unsat cost LB: 184453 ... c Min unsat cost LB: 184472 ... c Min unsat cost LB: 184672 ... c Min unsat cost LB: 184751 ... c Min unsat cost LB: 184924 ... c Min unsat cost LB: 185231 ... c Min unsat cost LB: 185416 ... c Min unsat cost LB: 185556 ... c Min unsat cost LB: 185609 ... c Min unsat cost LB: 185661 ... c Min unsat cost LB: 185698 ... c Min unsat cost LB: 185718 ... c Min unsat cost LB: 185810 ... c Min unsat cost LB: 185970 ... c Min unsat cost LB: 186078 ... c Min unsat cost LB: 186111 ... c Min unsat cost LB: 186266 ... c Min unsat cost LB: 186589 ... c Min unsat cost LB: 186730 ... c Min unsat cost LB: 186771 ... c Min unsat cost LB: 187150 ... c Min unsat cost LB: 187271 ... c Min unsat cost LB: 187698 ... c Min unsat cost LB: 188594 ... c Min unsat cost LB: 188613 ... c Min unsat cost LB: 188847 ... c Min unsat cost LB: 188941 ... c Min unsat cost LB: 189025 ... c Min unsat cost LB: 189181 ... c Min unsat cost LB: 189478 ... c Min unsat cost LB: 189826 ... c Min unsat cost LB: 190203 ... c Min unsat cost LB: 190236 ... c Min unsat cost LB: 190401 ... c Min unsat cost LB: 191055 ... c Min unsat cost LB: 191177 ... c Min unsat cost LB: 191432 ... c Min unsat cost LB: 191498 ... c Min unsat cost LB: 191922 ... c Min unsat cost LB: 192264 ... c Min unsat cost LB: 192376 ... c Min unsat cost LB: 192781 ... c Min unsat cost LB: 193216 ... c Min unsat cost LB: 193226 ... c Min unsat cost LB: 193228 ... c Min unsat cost LB: 193238 ... c Min unsat cost LB: 193366 ... c Min unsat cost LB: 194060 ... c Min unsat cost LB: 194080 ... c Min unsat cost LB: 194086 ... c Min unsat cost LB: 194246 ... c Min unsat cost LB: 194266 ... c Min unsat cost LB: 194386 ... c Min unsat cost LB: 194597 ... c Min unsat cost LB: 194914 ... c Min unsat cost LB: 194955 ... c Min unsat cost LB: 194994 ... c Min unsat cost LB: 195438 ... c Min unsat cost LB: 195515 ... c Min unsat cost LB: 195862 ... c Min unsat cost LB: 196031 ... c Min unsat cost LB: 196095 ... c Min unsat cost LB: 196096 ... c Min unsat cost LB: 196221 ... c Min unsat cost LB: 196254 ... c Min unsat cost LB: 196388 ... c Min unsat cost LB: 196589 ... c Min unsat cost LB: 196608 ... c Min unsat cost LB: 196799 ... c Min unsat cost LB: 197310 ... c Min unsat cost LB: 197590 ... c Min unsat cost LB: 197687 ... c Min unsat cost LB: 198621 ... c Min unsat cost LB: 198624 ... c Min unsat cost LB: 198711 ... c Min unsat cost LB: 198723 ... c Min unsat cost LB: 198770 ... c Min unsat cost LB: 198796 ... c Min unsat cost LB: 198888 ... c Min unsat cost LB: 199015 ... c Min unsat cost LB: 200215 ... c Min unsat cost LB: 200216 ... c Min unsat cost LB: 200219 ... c Min unsat cost LB: 200266 ... c Min unsat cost LB: 200278 ... c Min unsat cost LB: 200297 ... c Min unsat cost LB: 200308 ... c Min unsat cost LB: 200325 ... c Min unsat cost LB: 200334 ... c Min unsat cost LB: 200345 ... c Min unsat cost LB: 200369 ... c Min unsat cost LB: 200379 ... c Min unsat cost LB: 200395 ... c Min unsat cost LB: 200536 ... c Min unsat cost LB: 201019 ... c Min unsat cost LB: 201037 ... c Min unsat cost LB: 201097 ... c Min unsat cost LB: 201220 ... c Min unsat cost LB: 201256 ... c Min unsat cost LB: 201383 ... c Min unsat cost LB: 201512 ... c Min unsat cost LB: 201564 ... c Min unsat cost LB: 201574 ... c Min unsat cost LB: 201948 ... c Min unsat cost LB: 201982 ... c Min unsat cost LB: 201998 ... c Min unsat cost LB: 202519 ... c Min unsat cost LB: 202521 ... c Min unsat cost LB: 202529 ... o 202529 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 c CPU Time: 108.468 108.553u 0.959s 1:49.81 99.7% 0+0k 0+0io 0pf+0w