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-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-1.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-1.net.wcnf *** c c Min unsat cost LB: 485 ... c Min unsat cost LB: 1365 ... c Min unsat cost LB: 1623 ... c Min unsat cost LB: 2834 ... c Min unsat cost LB: 3808 ... c Min unsat cost LB: 4710 ... c Min unsat cost LB: 5742 ... c Min unsat cost LB: 5772 ... c Min unsat cost LB: 6978 ... c Min unsat cost LB: 7000 ... c Min unsat cost LB: 7865 ... c Min unsat cost LB: 8560 ... c Min unsat cost LB: 9210 ... c Min unsat cost LB: 10775 ... c Min unsat cost LB: 12224 ... c Min unsat cost LB: 12907 ... c Min unsat cost LB: 13416 ... c Min unsat cost LB: 13849 ... c Min unsat cost LB: 14538 ... c Min unsat cost LB: 15778 ... c Min unsat cost LB: 16907 ... c Min unsat cost LB: 17914 ... c Min unsat cost LB: 18696 ... c Min unsat cost LB: 19436 ... c Min unsat cost LB: 19450 ... c Min unsat cost LB: 20501 ... c Min unsat cost LB: 20584 ... c Min unsat cost LB: 20718 ... c Min unsat cost LB: 21578 ... c Min unsat cost LB: 21625 ... c Min unsat cost LB: 22352 ... c Min unsat cost LB: 22797 ... c Min unsat cost LB: 23301 ... c Min unsat cost LB: 23732 ... c Min unsat cost LB: 23885 ... c Min unsat cost LB: 24063 ... c Min unsat cost LB: 24478 ... c Min unsat cost LB: 24760 ... c Min unsat cost LB: 25703 ... c Min unsat cost LB: 25755 ... c Min unsat cost LB: 26423 ... c Min unsat cost LB: 27389 ... c Min unsat cost LB: 27981 ... c Min unsat cost LB: 29297 ... c Min unsat cost LB: 29514 ... c Min unsat cost LB: 30445 ... c Min unsat cost LB: 30517 ... c Min unsat cost LB: 31209 ... c Min unsat cost LB: 31408 ... c Min unsat cost LB: 32297 ... c Min unsat cost LB: 33324 ... c Min unsat cost LB: 35144 ... c Min unsat cost LB: 35202 ... c Min unsat cost LB: 35957 ... c Min unsat cost LB: 37230 ... c Min unsat cost LB: 37414 ... c Min unsat cost LB: 37448 ... c Min unsat cost LB: 38471 ... c Min unsat cost LB: 38770 ... c Min unsat cost LB: 38803 ... c Min unsat cost LB: 39962 ... c Min unsat cost LB: 40058 ... c Min unsat cost LB: 41192 ... c Min unsat cost LB: 42454 ... c Min unsat cost LB: 43764 ... c Min unsat cost LB: 43972 ... c Min unsat cost LB: 45291 ... c Min unsat cost LB: 46839 ... c Min unsat cost LB: 47667 ... c Min unsat cost LB: 49426 ... c Min unsat cost LB: 49881 ... c Min unsat cost LB: 50372 ... c Min unsat cost LB: 51199 ... c Min unsat cost LB: 51429 ... c Min unsat cost LB: 51681 ... c Min unsat cost LB: 51792 ... c Min unsat cost LB: 52113 ... c Min unsat cost LB: 52844 ... c Min unsat cost LB: 52880 ... c Min unsat cost LB: 53382 ... c Min unsat cost LB: 53755 ... c Min unsat cost LB: 54099 ... c Min unsat cost LB: 54993 ... c Min unsat cost LB: 55315 ... c Min unsat cost LB: 55606 ... c Min unsat cost LB: 56402 ... c Min unsat cost LB: 57272 ... c Min unsat cost LB: 57419 ... c Min unsat cost LB: 57670 ... c Min unsat cost LB: 58015 ... c Min unsat cost LB: 58419 ... c Min unsat cost LB: 58479 ... c Min unsat cost LB: 58933 ... c Min unsat cost LB: 59242 ... c Min unsat cost LB: 59633 ... c Min unsat cost LB: 59868 ... c Min unsat cost LB: 60146 ... c Min unsat cost LB: 60237 ... c Min unsat cost LB: 60494 ... c Min unsat cost LB: 60670 ... c Min unsat cost LB: 61268 ... c Min unsat cost LB: 62838 ... c Min unsat cost LB: 62986 ... c Min unsat cost LB: 62994 ... c Min unsat cost LB: 63465 ... c Min unsat cost LB: 63965 ... c Min unsat cost LB: 64208 ... c Min unsat cost LB: 64374 ... c Min unsat cost LB: 64635 ... c Min unsat cost LB: 64928 ... c Min unsat cost LB: 66066 ... c Min unsat cost LB: 66155 ... c Min unsat cost LB: 66268 ... c Min unsat cost LB: 66309 ... c Min unsat cost LB: 66497 ... c Min unsat cost LB: 67118 ... c Min unsat cost LB: 67120 ... c Min unsat cost LB: 67810 ... c Min unsat cost LB: 68172 ... c Min unsat cost LB: 68961 ... c Min unsat cost LB: 69469 ... c Min unsat cost LB: 70420 ... c Min unsat cost LB: 70425 ... c Min unsat cost LB: 70874 ... c Min unsat cost LB: 71186 ... c Min unsat cost LB: 71272 ... c Min unsat cost LB: 71657 ... c Min unsat cost LB: 72384 ... c Min unsat cost LB: 72681 ... c Min unsat cost LB: 72772 ... c Min unsat cost LB: 73056 ... c Min unsat cost LB: 73160 ... c Min unsat cost LB: 73204 ... c Min unsat cost LB: 73292 ... c Min unsat cost LB: 73422 ... c Min unsat cost LB: 74162 ... c Min unsat cost LB: 74261 ... c Min unsat cost LB: 74388 ... c Min unsat cost LB: 74592 ... c Min unsat cost LB: 74683 ... c Min unsat cost LB: 74796 ... c Min unsat cost LB: 75950 ... c Min unsat cost LB: 75983 ... c Min unsat cost LB: 76564 ... c Min unsat cost LB: 76669 ... c Min unsat cost LB: 76673 ... c Min unsat cost LB: 76734 ... c Min unsat cost LB: 76833 ... c Min unsat cost LB: 76843 ... c Min unsat cost LB: 76844 ... c Min unsat cost LB: 77083 ... c Min unsat cost LB: 77343 ... c Min unsat cost LB: 78045 ... c Min unsat cost LB: 78216 ... c Min unsat cost LB: 78297 ... c Min unsat cost LB: 78611 ... c Min unsat cost LB: 80150 ... c Min unsat cost LB: 80263 ... c Min unsat cost LB: 80280 ... c Min unsat cost LB: 80707 ... c Min unsat cost LB: 80789 ... c Min unsat cost LB: 82203 ... c Min unsat cost LB: 82261 ... c Min unsat cost LB: 82362 ... c Min unsat cost LB: 82862 ... c Min unsat cost LB: 83145 ... c Min unsat cost LB: 83214 ... c Min unsat cost LB: 83453 ... c Min unsat cost LB: 83999 ... c Min unsat cost LB: 84036 ... c Min unsat cost LB: 84296 ... c Min unsat cost LB: 84667 ... c Min unsat cost LB: 84679 ... c Min unsat cost LB: 85218 ... c Min unsat cost LB: 85461 ... c Min unsat cost LB: 85868 ... c Min unsat cost LB: 86054 ... c Min unsat cost LB: 86242 ... c Min unsat cost LB: 86407 ... c Min unsat cost LB: 86961 ... c Min unsat cost LB: 87762 ... c Min unsat cost LB: 88275 ... c Min unsat cost LB: 89030 ... c Min unsat cost LB: 89099 ... c Min unsat cost LB: 89107 ... c Min unsat cost LB: 89276 ... c Min unsat cost LB: 89502 ... c Min unsat cost LB: 90031 ... c Min unsat cost LB: 90087 ... c Min unsat cost LB: 90592 ... c Min unsat cost LB: 90758 ... c Min unsat cost LB: 91532 ... c Min unsat cost LB: 91540 ... c Min unsat cost LB: 91568 ... c Min unsat cost LB: 91906 ... c Min unsat cost LB: 91975 ... c Min unsat cost LB: 91977 ... c Min unsat cost LB: 91983 ... c Min unsat cost LB: 91987 ... c Min unsat cost LB: 92033 ... c Min unsat cost LB: 92444 ... c Min unsat cost LB: 92671 ... c Min unsat cost LB: 93019 ... c Min unsat cost LB: 93368 ... c Min unsat cost LB: 94067 ... c Min unsat cost LB: 94251 ... c Min unsat cost LB: 94908 ... c Min unsat cost LB: 95369 ... c Min unsat cost LB: 95529 ... c Min unsat cost LB: 95574 ... c Min unsat cost LB: 95885 ... c Min unsat cost LB: 96342 ... c Min unsat cost LB: 96535 ... c Min unsat cost LB: 96826 ... c Min unsat cost LB: 97185 ... c Min unsat cost LB: 97556 ... c Min unsat cost LB: 98415 ... c Min unsat cost LB: 98670 ... c Min unsat cost LB: 99072 ... c Min unsat cost LB: 99196 ... c Min unsat cost LB: 99684 ... c Min unsat cost LB: 99689 ... c Min unsat cost LB: 99790 ... c Min unsat cost LB: 100085 ... c Min unsat cost LB: 100967 ... c Min unsat cost LB: 101235 ... c Min unsat cost LB: 101255 ... c Min unsat cost LB: 101557 ... c Min unsat cost LB: 101643 ... c Min unsat cost LB: 102812 ... c Min unsat cost LB: 102891 ... c Min unsat cost LB: 102916 ... c Min unsat cost LB: 103030 ... c Min unsat cost LB: 103031 ... c Min unsat cost LB: 103759 ... c Min unsat cost LB: 103879 ... c Min unsat cost LB: 104466 ... c Min unsat cost LB: 104770 ... c Min unsat cost LB: 105289 ... c Min unsat cost LB: 105293 ... c Min unsat cost LB: 105300 ... c Min unsat cost LB: 105562 ... c Min unsat cost LB: 105572 ... c Min unsat cost LB: 106789 ... c Min unsat cost LB: 106803 ... c Min unsat cost LB: 106983 ... c Min unsat cost LB: 107294 ... c Min unsat cost LB: 107463 ... c Min unsat cost LB: 107487 ... c Min unsat cost LB: 107627 ... c Min unsat cost LB: 107628 ... c Min unsat cost LB: 107927 ... c Min unsat cost LB: 107934 ... c Min unsat cost LB: 108523 ... c Min unsat cost LB: 108571 ... c Min unsat cost LB: 109239 ... c Min unsat cost LB: 109242 ... c Min unsat cost LB: 109909 ... c Min unsat cost LB: 109924 ... c Min unsat cost LB: 110082 ... c Min unsat cost LB: 110323 ... c Min unsat cost LB: 110345 ... c Min unsat cost LB: 111055 ... c Min unsat cost LB: 111132 ... c Min unsat cost LB: 111157 ... c Min unsat cost LB: 111441 ... c Min unsat cost LB: 111520 ... c Min unsat cost LB: 111547 ... c Min unsat cost LB: 111577 ... c Min unsat cost LB: 111605 ... c Min unsat cost LB: 111624 ... c Min unsat cost LB: 111637 ... c Min unsat cost LB: 111881 ... c Min unsat cost LB: 112692 ... c Min unsat cost LB: 112709 ... c Min unsat cost LB: 112731 ... c Min unsat cost LB: 112798 ... c Min unsat cost LB: 112854 ... c Min unsat cost LB: 113337 ... c Min unsat cost LB: 114436 ... c Min unsat cost LB: 114460 ... c Min unsat cost LB: 114477 ... c Min unsat cost LB: 114952 ... c Min unsat cost LB: 115889 ... c Min unsat cost LB: 116235 ... c Min unsat cost LB: 116355 ... c Min unsat cost LB: 116578 ... c Min unsat cost LB: 116673 ... c Min unsat cost LB: 116710 ... c Min unsat cost LB: 116861 ... c Min unsat cost LB: 116908 ... c Min unsat cost LB: 117242 ... c Min unsat cost LB: 117251 ... c Min unsat cost LB: 117385 ... c Min unsat cost LB: 117677 ... c Min unsat cost LB: 118086 ... c Min unsat cost LB: 118205 ... c Min unsat cost LB: 118330 ... c Min unsat cost LB: 119205 ... c Min unsat cost LB: 119392 ... c Min unsat cost LB: 119672 ... c Min unsat cost LB: 119875 ... c Min unsat cost LB: 120538 ... c Min unsat cost LB: 120842 ... c Min unsat cost LB: 120991 ... c Min unsat cost LB: 121607 ... c Min unsat cost LB: 121627 ... c Min unsat cost LB: 121952 ... c Min unsat cost LB: 122243 ... c Min unsat cost LB: 122406 ... c Min unsat cost LB: 122472 ... c Min unsat cost LB: 122640 ... c Min unsat cost LB: 123128 ... c Min unsat cost LB: 123167 ... c Min unsat cost LB: 123389 ... c Min unsat cost LB: 124013 ... c Min unsat cost LB: 124434 ... c Min unsat cost LB: 124585 ... c Min unsat cost LB: 124610 ... c Min unsat cost LB: 124648 ... c Min unsat cost LB: 125043 ... c Min unsat cost LB: 125439 ... c Min unsat cost LB: 126321 ... c Min unsat cost LB: 126376 ... c Min unsat cost LB: 126619 ... c Min unsat cost LB: 126632 ... c Min unsat cost LB: 126732 ... c Min unsat cost LB: 127107 ... c Min unsat cost LB: 127199 ... c Min unsat cost LB: 127662 ... c Min unsat cost LB: 128812 ... c Min unsat cost LB: 128928 ... c Min unsat cost LB: 129300 ... c Min unsat cost LB: 129718 ... c Min unsat cost LB: 129818 ... c Min unsat cost LB: 130447 ... c Min unsat cost LB: 131052 ... c Min unsat cost LB: 131220 ... c Min unsat cost LB: 131457 ... c Min unsat cost LB: 131468 ... c Min unsat cost LB: 131588 ... c Min unsat cost LB: 131911 ... c Min unsat cost LB: 132152 ... c Min unsat cost LB: 132304 ... c Min unsat cost LB: 132489 ... c Min unsat cost LB: 132538 ... c Min unsat cost LB: 132605 ... c Min unsat cost LB: 132707 ... c Min unsat cost LB: 132716 ... c Min unsat cost LB: 132850 ... c Min unsat cost LB: 133347 ... c Min unsat cost LB: 133530 ... c Min unsat cost LB: 133830 ... c Min unsat cost LB: 133867 ... c Min unsat cost LB: 134537 ... c Min unsat cost LB: 134937 ... c Min unsat cost LB: 134995 ... c Min unsat cost LB: 135208 ... c Min unsat cost LB: 136278 ... c Min unsat cost LB: 137339 ... c Min unsat cost LB: 137520 ... c Min unsat cost LB: 137810 ... c Min unsat cost LB: 139200 ... c Min unsat cost LB: 139209 ... c Min unsat cost LB: 139395 ... c Min unsat cost LB: 139745 ... c Min unsat cost LB: 139810 ... c Min unsat cost LB: 139993 ... c Min unsat cost LB: 140028 ... c Min unsat cost LB: 140140 ... c Min unsat cost LB: 140467 ... c Min unsat cost LB: 140563 ... c Min unsat cost LB: 140655 ... c Min unsat cost LB: 140667 ... c Min unsat cost LB: 140775 ... c Min unsat cost LB: 140827 ... c Min unsat cost LB: 140875 ... c Min unsat cost LB: 140927 ... c Min unsat cost LB: 140956 ... c Min unsat cost LB: 141089 ... c Min unsat cost LB: 141154 ... c Min unsat cost LB: 141269 ... c Min unsat cost LB: 141348 ... c Min unsat cost LB: 141354 ... c Min unsat cost LB: 141413 ... c Min unsat cost LB: 142690 ... c Min unsat cost LB: 142697 ... c Min unsat cost LB: 142734 ... c Min unsat cost LB: 142983 ... c Min unsat cost LB: 143003 ... c Min unsat cost LB: 143217 ... c Min unsat cost LB: 143229 ... c Min unsat cost LB: 143298 ... c Min unsat cost LB: 143818 ... c Min unsat cost LB: 144089 ... c Min unsat cost LB: 144142 ... c Min unsat cost LB: 144570 ... c Min unsat cost LB: 144624 ... c Min unsat cost LB: 145523 ... c Min unsat cost LB: 145659 ... c Min unsat cost LB: 145905 ... c Min unsat cost LB: 145917 ... c Min unsat cost LB: 145940 ... c Min unsat cost LB: 146030 ... c Min unsat cost LB: 146070 ... c Min unsat cost LB: 147070 ... c Min unsat cost LB: 147326 ... c Min unsat cost LB: 147464 ... c Min unsat cost LB: 147697 ... c Min unsat cost LB: 147770 ... c Min unsat cost LB: 147835 ... c Min unsat cost LB: 147843 ... c Min unsat cost LB: 147884 ... c Min unsat cost LB: 148176 ... c Min unsat cost LB: 148206 ... c Min unsat cost LB: 148335 ... c Min unsat cost LB: 148336 ... c Min unsat cost LB: 148340 ... c Min unsat cost LB: 148762 ... c Min unsat cost LB: 148944 ... c Min unsat cost LB: 149099 ... c Min unsat cost LB: 150330 ... c Min unsat cost LB: 150765 ... c Min unsat cost LB: 151023 ... c Min unsat cost LB: 151082 ... c Min unsat cost LB: 151519 ... c Min unsat cost LB: 151665 ... c Min unsat cost LB: 152154 ... c Min unsat cost LB: 152916 ... c Min unsat cost LB: 152975 ... c Min unsat cost LB: 152993 ... c Min unsat cost LB: 153108 ... c Min unsat cost LB: 153457 ... c Min unsat cost LB: 153910 ... c Min unsat cost LB: 154079 ... c Min unsat cost LB: 154154 ... c Min unsat cost LB: 154249 ... c Min unsat cost LB: 154279 ... c Min unsat cost LB: 154280 ... c Min unsat cost LB: 154317 ... c Min unsat cost LB: 154330 ... c Min unsat cost LB: 154622 ... c Min unsat cost LB: 154785 ... c Min unsat cost LB: 154786 ... c Min unsat cost LB: 154852 ... c Min unsat cost LB: 154938 ... c Min unsat cost LB: 154946 ... c Min unsat cost LB: 154954 ... c Min unsat cost LB: 154979 ... c Min unsat cost LB: 155507 ... c Min unsat cost LB: 155593 ... c Min unsat cost LB: 155611 ... c Min unsat cost LB: 155870 ... c Min unsat cost LB: 155872 ... c Min unsat cost LB: 155895 ... c Min unsat cost LB: 155927 ... c Min unsat cost LB: 155939 ... c Min unsat cost LB: 155955 ... c Min unsat cost LB: 155995 ... c Min unsat cost LB: 156053 ... c Min unsat cost LB: 156539 ... c Min unsat cost LB: 156695 ... c Min unsat cost LB: 156845 ... c Min unsat cost LB: 156856 ... c Min unsat cost LB: 156867 ... c Min unsat cost LB: 156880 ... c Min unsat cost LB: 156893 ... c Min unsat cost LB: 156900 ... c Min unsat cost LB: 156907 ... c Min unsat cost LB: 156939 ... c Min unsat cost LB: 156967 ... c Min unsat cost LB: 157640 ... c Min unsat cost LB: 157653 ... c Min unsat cost LB: 157979 ... c Min unsat cost LB: 158495 ... c Min unsat cost LB: 158500 ... c Min unsat cost LB: 158596 ... c Min unsat cost LB: 158607 ... c Min unsat cost LB: 158624 ... c Min unsat cost LB: 158629 ... c Min unsat cost LB: 158635 ... c Min unsat cost LB: 158657 ... c Min unsat cost LB: 158683 ... c Min unsat cost LB: 158774 ... c Min unsat cost LB: 159913 ... c Min unsat cost LB: 159966 ... c Min unsat cost LB: 160023 ... c Min unsat cost LB: 160557 ... c Min unsat cost LB: 160562 ... c Min unsat cost LB: 160836 ... c Min unsat cost LB: 161778 ... c Min unsat cost LB: 161787 ... c Min unsat cost LB: 161929 ... c Min unsat cost LB: 161969 ... c Min unsat cost LB: 162055 ... c Min unsat cost LB: 162116 ... c Min unsat cost LB: 162267 ... c Min unsat cost LB: 162272 ... c Min unsat cost LB: 162277 ... c Min unsat cost LB: 162285 ... c Min unsat cost LB: 162298 ... c Min unsat cost LB: 162358 ... c Min unsat cost LB: 162422 ... c Min unsat cost LB: 162480 ... c Min unsat cost LB: 162528 ... c Min unsat cost LB: 162548 ... c Min unsat cost LB: 162579 ... c Min unsat cost LB: 163566 ... c Min unsat cost LB: 163567 ... c Min unsat cost LB: 163613 ... c Min unsat cost LB: 163617 ... c Min unsat cost LB: 163846 ... c Min unsat cost LB: 164497 ... c Min unsat cost LB: 164817 ... c Min unsat cost LB: 164953 ... c Min unsat cost LB: 165232 ... c Min unsat cost LB: 165984 ... c Min unsat cost LB: 166152 ... c Min unsat cost LB: 166223 ... c Min unsat cost LB: 166225 ... c Min unsat cost LB: 166307 ... c Min unsat cost LB: 166618 ... c Min unsat cost LB: 166623 ... c Min unsat cost LB: 166701 ... c Min unsat cost LB: 167488 ... c Min unsat cost LB: 167566 ... c Min unsat cost LB: 167804 ... c Min unsat cost LB: 168272 ... c Min unsat cost LB: 168510 ... c Min unsat cost LB: 168783 ... c Min unsat cost LB: 168886 ... c Min unsat cost LB: 168929 ... c Min unsat cost LB: 168984 ... c Min unsat cost LB: 169309 ... c Min unsat cost LB: 169641 ... c Min unsat cost LB: 170038 ... c Min unsat cost LB: 170085 ... c Min unsat cost LB: 170504 ... c Min unsat cost LB: 170703 ... c Min unsat cost LB: 171175 ... c Min unsat cost LB: 171498 ... c Min unsat cost LB: 171687 ... c Min unsat cost LB: 172402 ... c Min unsat cost LB: 172696 ... c Min unsat cost LB: 172737 ... c Min unsat cost LB: 172798 ... c Min unsat cost LB: 173842 ... c Min unsat cost LB: 173969 ... c Min unsat cost LB: 174318 ... c Min unsat cost LB: 174384 ... c Min unsat cost LB: 174907 ... c Min unsat cost LB: 175378 ... c Min unsat cost LB: 175599 ... c Min unsat cost LB: 176011 ... c Min unsat cost LB: 176233 ... c Min unsat cost LB: 176727 ... c Min unsat cost LB: 177511 ... c Min unsat cost LB: 177688 ... c Min unsat cost LB: 177726 ... c Min unsat cost LB: 178176 ... c Min unsat cost LB: 178932 ... c Min unsat cost LB: 179140 ... c Min unsat cost LB: 179155 ... c Min unsat cost LB: 179179 ... c Min unsat cost LB: 179198 ... c Min unsat cost LB: 179211 ... c Min unsat cost LB: 179235 ... c Min unsat cost LB: 179238 ... c Min unsat cost LB: 179251 ... c Min unsat cost LB: 179265 ... c Min unsat cost LB: 179270 ... c Min unsat cost LB: 179306 ... c Min unsat cost LB: 180004 ... c Min unsat cost LB: 180005 ... c Min unsat cost LB: 180009 ... c Min unsat cost LB: 180018 ... c Min unsat cost LB: 180021 ... c Min unsat cost LB: 180023 ... c Min unsat cost LB: 180024 ... c Min unsat cost LB: 180036 ... c Min unsat cost LB: 180055 ... c Min unsat cost LB: 180110 ... c Min unsat cost LB: 180576 ... c Min unsat cost LB: 180761 ... c Min unsat cost LB: 180779 ... c Min unsat cost LB: 181155 ... c Min unsat cost LB: 181357 ... c Min unsat cost LB: 181581 ... c Min unsat cost LB: 181644 ... c Min unsat cost LB: 181975 ... c Min unsat cost LB: 182259 ... c Min unsat cost LB: 182462 ... c Min unsat cost LB: 182465 ... c Min unsat cost LB: 183016 ... c Min unsat cost LB: 183121 ... c Min unsat cost LB: 183337 ... c Min unsat cost LB: 183364 ... c Min unsat cost LB: 183795 ... c Min unsat cost LB: 184381 ... c Min unsat cost LB: 184575 ... c Min unsat cost LB: 184628 ... c Min unsat cost LB: 184828 ... c Min unsat cost LB: 184985 ... c Min unsat cost LB: 185628 ... c Min unsat cost LB: 185670 ... c Min unsat cost LB: 185749 ... c Min unsat cost LB: 186883 ... c Min unsat cost LB: 187101 ... c Min unsat cost LB: 187102 ... c Min unsat cost LB: 187940 ... c Min unsat cost LB: 187960 ... c Min unsat cost LB: 188193 ... c Min unsat cost LB: 188784 ... c Min unsat cost LB: 189045 ... c Min unsat cost LB: 189051 ... c Min unsat cost LB: 189147 ... c Min unsat cost LB: 189432 ... c Min unsat cost LB: 189528 ... c Min unsat cost LB: 189534 ... c Min unsat cost LB: 189535 ... c Min unsat cost LB: 189551 ... c Min unsat cost LB: 190596 ... c Min unsat cost LB: 190621 ... c Min unsat cost LB: 190697 ... c Min unsat cost LB: 190797 ... c Min unsat cost LB: 190831 ... c Min unsat cost LB: 191099 ... c Min unsat cost LB: 191527 ... c Min unsat cost LB: 192196 ... c Min unsat cost LB: 192341 ... c Min unsat cost LB: 192443 ... c Min unsat cost LB: 192630 ... c Min unsat cost LB: 192743 ... c Min unsat cost LB: 192823 ... c Min unsat cost LB: 193115 ... c Min unsat cost LB: 193462 ... c Min unsat cost LB: 193893 ... c Min unsat cost LB: 194647 ... c Min unsat cost LB: 194684 ... c Min unsat cost LB: 196139 ... c Min unsat cost LB: 196295 ... c Min unsat cost LB: 196302 ... c Min unsat cost LB: 196325 ... c Min unsat cost LB: 196476 ... c Min unsat cost LB: 196585 ... c Min unsat cost LB: 196626 ... c Min unsat cost LB: 197172 ... c Min unsat cost LB: 197188 ... c Min unsat cost LB: 197333 ... c Min unsat cost LB: 197393 ... c Min unsat cost LB: 198024 ... c Min unsat cost LB: 198529 ... c Min unsat cost LB: 198596 ... c Min unsat cost LB: 199064 ... c Min unsat cost LB: 199508 ... c Min unsat cost LB: 199585 ... c Min unsat cost LB: 199919 ... c Min unsat cost LB: 199927 ... c Min unsat cost LB: 200064 ... c Min unsat cost LB: 200678 ... c Min unsat cost LB: 200910 ... c Min unsat cost LB: 201245 ... c Min unsat cost LB: 201409 ... c Min unsat cost LB: 201437 ... c Min unsat cost LB: 201478 ... c Min unsat cost LB: 201592 ... c Min unsat cost LB: 201694 ... c Min unsat cost LB: 201722 ... c Min unsat cost LB: 201763 ... c Min unsat cost LB: 201836 ... c Min unsat cost LB: 201848 ... c Min unsat cost LB: 201849 ... c Min unsat cost LB: 202443 ... c Min unsat cost LB: 203005 ... c Min unsat cost LB: 203420 ... c Min unsat cost LB: 203751 ... c Min unsat cost LB: 204394 ... c Min unsat cost LB: 204451 ... c Min unsat cost LB: 205421 ... c Min unsat cost LB: 205986 ... c Min unsat cost LB: 206014 ... c Min unsat cost LB: 206502 ... c Min unsat cost LB: 206621 ... c Min unsat cost LB: 206633 ... c Min unsat cost LB: 207209 ... c Min unsat cost LB: 207541 ... c Min unsat cost LB: 207847 ... c Min unsat cost LB: 208371 ... c Min unsat cost LB: 208680 ... c Min unsat cost LB: 208857 ... c Min unsat cost LB: 208930 ... c Min unsat cost LB: 209254 ... c Min unsat cost LB: 209378 ... c Min unsat cost LB: 209390 ... c Min unsat cost LB: 209456 ... c Min unsat cost LB: 209509 ... c Min unsat cost LB: 209681 ... c Min unsat cost LB: 209691 ... c Min unsat cost LB: 209705 ... c Min unsat cost LB: 210077 ... c Min unsat cost LB: 210446 ... c Min unsat cost LB: 210472 ... c Min unsat cost LB: 210511 ... c Min unsat cost LB: 210609 ... c Min unsat cost LB: 210688 ... c Min unsat cost LB: 211015 ... c Min unsat cost LB: 211028 ... c Min unsat cost LB: 211366 ... c Min unsat cost LB: 211369 ... c Min unsat cost LB: 211510 ... c Min unsat cost LB: 211875 ... c Min unsat cost LB: 212013 ... c Min unsat cost LB: 212016 ... c Min unsat cost LB: 212157 ... c Min unsat cost LB: 212205 ... c Min unsat cost LB: 212780 ... c Min unsat cost LB: 212837 ... c Min unsat cost LB: 212961 ... c Min unsat cost LB: 213153 ... c Min unsat cost LB: 213156 ... c Min unsat cost LB: 213170 ... c Min unsat cost LB: 213546 ... c Min unsat cost LB: 213624 ... c Min unsat cost LB: 213656 ... c Min unsat cost LB: 214196 ... c Min unsat cost LB: 214303 ... c Min unsat cost LB: 214326 ... c Min unsat cost LB: 214757 ... c Min unsat cost LB: 215282 ... c Min unsat cost LB: 215693 ... c Min unsat cost LB: 215783 ... c Min unsat cost LB: 215884 ... c Min unsat cost LB: 215915 ... c Min unsat cost LB: 216004 ... c Min unsat cost LB: 216023 ... c Min unsat cost LB: 216304 ... o 216304 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 c CPU Time: 44.8392 44.878u 0.167s 0:45.07 99.9% 0+0k 0+0io 0pf+0w