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-200-1_network-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-7.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-200-1_network-7.net.wcnf *** c c Min unsat cost LB: 671 ... c Min unsat cost LB: 2808 ... c Min unsat cost LB: 2988 ... c Min unsat cost LB: 4719 ... c Min unsat cost LB: 6361 ... c Min unsat cost LB: 7514 ... c Min unsat cost LB: 7958 ... c Min unsat cost LB: 9046 ... c Min unsat cost LB: 9188 ... c Min unsat cost LB: 10298 ... c Min unsat cost LB: 11423 ... c Min unsat cost LB: 11774 ... c Min unsat cost LB: 12457 ... c Min unsat cost LB: 12534 ... c Min unsat cost LB: 12689 ... c Min unsat cost LB: 13163 ... c Min unsat cost LB: 13376 ... c Min unsat cost LB: 14716 ... c Min unsat cost LB: 15856 ... c Min unsat cost LB: 16983 ... c Min unsat cost LB: 18189 ... c Min unsat cost LB: 18389 ... c Min unsat cost LB: 18566 ... c Min unsat cost LB: 19430 ... c Min unsat cost LB: 20987 ... c Min unsat cost LB: 21615 ... c Min unsat cost LB: 21681 ... c Min unsat cost LB: 22930 ... c Min unsat cost LB: 24415 ... c Min unsat cost LB: 25488 ... c Min unsat cost LB: 25926 ... c Min unsat cost LB: 27825 ... c Min unsat cost LB: 27953 ... c Min unsat cost LB: 29421 ... c Min unsat cost LB: 30211 ... c Min unsat cost LB: 30762 ... c Min unsat cost LB: 30871 ... c Min unsat cost LB: 31861 ... c Min unsat cost LB: 32603 ... c Min unsat cost LB: 33692 ... c Min unsat cost LB: 33957 ... c Min unsat cost LB: 35933 ... c Min unsat cost LB: 36738 ... c Min unsat cost LB: 37729 ... c Min unsat cost LB: 37896 ... c Min unsat cost LB: 39050 ... c Min unsat cost LB: 39185 ... c Min unsat cost LB: 39335 ... c Min unsat cost LB: 39685 ... c Min unsat cost LB: 39745 ... c Min unsat cost LB: 40800 ... c Min unsat cost LB: 41221 ... c Min unsat cost LB: 41330 ... c Min unsat cost LB: 41463 ... c Min unsat cost LB: 41520 ... c Min unsat cost LB: 42019 ... c Min unsat cost LB: 42088 ... c Min unsat cost LB: 42135 ... c Min unsat cost LB: 42359 ... c Min unsat cost LB: 42899 ... c Min unsat cost LB: 43327 ... c Min unsat cost LB: 43397 ... c Min unsat cost LB: 43425 ... c Min unsat cost LB: 43634 ... c Min unsat cost LB: 44123 ... c Min unsat cost LB: 44198 ... c Min unsat cost LB: 44460 ... c Min unsat cost LB: 44599 ... c Min unsat cost LB: 44613 ... c Min unsat cost LB: 44769 ... c Min unsat cost LB: 45374 ... c Min unsat cost LB: 45791 ... c Min unsat cost LB: 45872 ... c Min unsat cost LB: 45955 ... c Min unsat cost LB: 45985 ... c Min unsat cost LB: 46935 ... c Min unsat cost LB: 46987 ... c Min unsat cost LB: 47062 ... c Min unsat cost LB: 47411 ... c Min unsat cost LB: 47477 ... c Min unsat cost LB: 48235 ... c Min unsat cost LB: 48238 ... c Min unsat cost LB: 48741 ... c Min unsat cost LB: 49165 ... c Min unsat cost LB: 49266 ... c Min unsat cost LB: 49815 ... c Min unsat cost LB: 50247 ... c Min unsat cost LB: 50828 ... c Min unsat cost LB: 51517 ... c Min unsat cost LB: 51861 ... c Min unsat cost LB: 51968 ... c Min unsat cost LB: 52238 ... c Min unsat cost LB: 52302 ... c Min unsat cost LB: 52750 ... c Min unsat cost LB: 52811 ... c Min unsat cost LB: 53096 ... c Min unsat cost LB: 53159 ... c Min unsat cost LB: 53229 ... c Min unsat cost LB: 53546 ... c Min unsat cost LB: 54025 ... c Min unsat cost LB: 54081 ... c Min unsat cost LB: 54999 ... c Min unsat cost LB: 55101 ... c Min unsat cost LB: 55183 ... c Min unsat cost LB: 55292 ... c Min unsat cost LB: 55423 ... c Min unsat cost LB: 56017 ... c Min unsat cost LB: 56330 ... c Min unsat cost LB: 56515 ... c Min unsat cost LB: 56841 ... c Min unsat cost LB: 56942 ... c Min unsat cost LB: 57633 ... c Min unsat cost LB: 57747 ... c Min unsat cost LB: 58770 ... c Min unsat cost LB: 58835 ... c Min unsat cost LB: 58852 ... c Min unsat cost LB: 58996 ... c Min unsat cost LB: 59173 ... c Min unsat cost LB: 60222 ... c Min unsat cost LB: 60311 ... c Min unsat cost LB: 60536 ... c Min unsat cost LB: 60699 ... c Min unsat cost LB: 60850 ... c Min unsat cost LB: 60959 ... c Min unsat cost LB: 61588 ... c Min unsat cost LB: 61847 ... c Min unsat cost LB: 61872 ... c Min unsat cost LB: 62022 ... c Min unsat cost LB: 62658 ... c Min unsat cost LB: 63029 ... c Min unsat cost LB: 63109 ... c Min unsat cost LB: 63276 ... c Min unsat cost LB: 63409 ... c Min unsat cost LB: 63449 ... c Min unsat cost LB: 63787 ... c Min unsat cost LB: 63939 ... c Min unsat cost LB: 64005 ... c Min unsat cost LB: 64030 ... c Min unsat cost LB: 64649 ... c Min unsat cost LB: 65363 ... c Min unsat cost LB: 65517 ... c Min unsat cost LB: 66185 ... c Min unsat cost LB: 66334 ... c Min unsat cost LB: 66782 ... c Min unsat cost LB: 67611 ... c Min unsat cost LB: 67734 ... c Min unsat cost LB: 67799 ... c Min unsat cost LB: 67922 ... c Min unsat cost LB: 67977 ... c Min unsat cost LB: 68268 ... c Min unsat cost LB: 68339 ... c Min unsat cost LB: 68448 ... c Min unsat cost LB: 68545 ... c Min unsat cost LB: 68595 ... c Min unsat cost LB: 68775 ... c Min unsat cost LB: 68923 ... c Min unsat cost LB: 69283 ... c Min unsat cost LB: 69340 ... c Min unsat cost LB: 69404 ... c Min unsat cost LB: 69417 ... c Min unsat cost LB: 69580 ... c Min unsat cost LB: 69886 ... c Min unsat cost LB: 70067 ... c Min unsat cost LB: 70097 ... c Min unsat cost LB: 70196 ... c Min unsat cost LB: 70384 ... c Min unsat cost LB: 70526 ... c Min unsat cost LB: 71858 ... c Min unsat cost LB: 72395 ... c Min unsat cost LB: 72985 ... c Min unsat cost LB: 73481 ... c Min unsat cost LB: 73977 ... c Min unsat cost LB: 74069 ... c Min unsat cost LB: 74157 ... c Min unsat cost LB: 74723 ... c Min unsat cost LB: 75268 ... c Min unsat cost LB: 75401 ... c Min unsat cost LB: 75770 ... c Min unsat cost LB: 76272 ... c Min unsat cost LB: 76483 ... c Min unsat cost LB: 76643 ... c Min unsat cost LB: 77572 ... c Min unsat cost LB: 77603 ... c Min unsat cost LB: 77754 ... c Min unsat cost LB: 77770 ... c Min unsat cost LB: 77861 ... c Min unsat cost LB: 78492 ... c Min unsat cost LB: 78727 ... c Min unsat cost LB: 78791 ... c Min unsat cost LB: 79142 ... c Min unsat cost LB: 79664 ... c Min unsat cost LB: 79676 ... c Min unsat cost LB: 80117 ... c Min unsat cost LB: 80317 ... c Min unsat cost LB: 80331 ... c Min unsat cost LB: 80512 ... c Min unsat cost LB: 81527 ... c Min unsat cost LB: 81558 ... c Min unsat cost LB: 81810 ... c Min unsat cost LB: 82354 ... c Min unsat cost LB: 82654 ... c Min unsat cost LB: 82745 ... c Min unsat cost LB: 82985 ... c Min unsat cost LB: 83119 ... c Min unsat cost LB: 83720 ... c Min unsat cost LB: 83907 ... c Min unsat cost LB: 83925 ... c Min unsat cost LB: 83952 ... c Min unsat cost LB: 84571 ... c Min unsat cost LB: 84927 ... c Min unsat cost LB: 84977 ... c Min unsat cost LB: 85006 ... c Min unsat cost LB: 85649 ... c Min unsat cost LB: 85996 ... c Min unsat cost LB: 86762 ... c Min unsat cost LB: 86821 ... c Min unsat cost LB: 87165 ... c Min unsat cost LB: 87190 ... c Min unsat cost LB: 87200 ... c Min unsat cost LB: 87343 ... c Min unsat cost LB: 87387 ... c Min unsat cost LB: 87509 ... c Min unsat cost LB: 87739 ... c Min unsat cost LB: 87906 ... c Min unsat cost LB: 88000 ... c Min unsat cost LB: 88012 ... c Min unsat cost LB: 88536 ... c Min unsat cost LB: 88564 ... c Min unsat cost LB: 88585 ... c Min unsat cost LB: 89248 ... c Min unsat cost LB: 89413 ... c Min unsat cost LB: 89899 ... c Min unsat cost LB: 89958 ... c Min unsat cost LB: 90104 ... c Min unsat cost LB: 90135 ... c Min unsat cost LB: 90582 ... c Min unsat cost LB: 90890 ... c Min unsat cost LB: 90950 ... c Min unsat cost LB: 91545 ... c Min unsat cost LB: 91996 ... c Min unsat cost LB: 92050 ... c Min unsat cost LB: 92252 ... c Min unsat cost LB: 92268 ... c Min unsat cost LB: 92416 ... c Min unsat cost LB: 92495 ... c Min unsat cost LB: 92918 ... c Min unsat cost LB: 93037 ... c Min unsat cost LB: 93493 ... c Min unsat cost LB: 93628 ... c Min unsat cost LB: 93762 ... c Min unsat cost LB: 94563 ... c Min unsat cost LB: 94573 ... c Min unsat cost LB: 94752 ... c Min unsat cost LB: 94765 ... c Min unsat cost LB: 94873 ... c Min unsat cost LB: 95676 ... c Min unsat cost LB: 95953 ... c Min unsat cost LB: 96586 ... c Min unsat cost LB: 97215 ... c Min unsat cost LB: 97307 ... c Min unsat cost LB: 97601 ... c Min unsat cost LB: 98041 ... c Min unsat cost LB: 98340 ... c Min unsat cost LB: 98730 ... c Min unsat cost LB: 98865 ... c Min unsat cost LB: 99007 ... c Min unsat cost LB: 99054 ... c Min unsat cost LB: 99139 ... c Min unsat cost LB: 99370 ... c Min unsat cost LB: 99540 ... c Min unsat cost LB: 99583 ... c Min unsat cost LB: 100052 ... c Min unsat cost LB: 100382 ... c Min unsat cost LB: 100387 ... c Min unsat cost LB: 100640 ... c Min unsat cost LB: 100835 ... c Min unsat cost LB: 100977 ... c Min unsat cost LB: 101131 ... c Min unsat cost LB: 101191 ... c Min unsat cost LB: 102097 ... c Min unsat cost LB: 102191 ... c Min unsat cost LB: 102404 ... c Min unsat cost LB: 103268 ... c Min unsat cost LB: 103543 ... c Min unsat cost LB: 103839 ... c Min unsat cost LB: 104255 ... c Min unsat cost LB: 104469 ... c Min unsat cost LB: 104663 ... c Min unsat cost LB: 105337 ... c Min unsat cost LB: 105390 ... c Min unsat cost LB: 105503 ... c Min unsat cost LB: 105507 ... c Min unsat cost LB: 105716 ... c Min unsat cost LB: 105761 ... c Min unsat cost LB: 106198 ... c Min unsat cost LB: 106744 ... c Min unsat cost LB: 106900 ... c Min unsat cost LB: 106950 ... c Min unsat cost LB: 107078 ... c Min unsat cost LB: 107081 ... c Min unsat cost LB: 107480 ... c Min unsat cost LB: 107536 ... c Min unsat cost LB: 107975 ... c Min unsat cost LB: 108124 ... c Min unsat cost LB: 108151 ... c Min unsat cost LB: 108233 ... c Min unsat cost LB: 108351 ... c Min unsat cost LB: 108397 ... c Min unsat cost LB: 108718 ... c Min unsat cost LB: 109933 ... c Min unsat cost LB: 110053 ... c Min unsat cost LB: 110136 ... c Min unsat cost LB: 110952 ... c Min unsat cost LB: 111016 ... c Min unsat cost LB: 111237 ... c Min unsat cost LB: 112179 ... c Min unsat cost LB: 112221 ... c Min unsat cost LB: 112237 ... c Min unsat cost LB: 112287 ... c Min unsat cost LB: 112490 ... c Min unsat cost LB: 112699 ... c Min unsat cost LB: 112755 ... c Min unsat cost LB: 112832 ... c Min unsat cost LB: 113424 ... c Min unsat cost LB: 113450 ... c Min unsat cost LB: 113660 ... c Min unsat cost LB: 113719 ... c Min unsat cost LB: 113755 ... c Min unsat cost LB: 113866 ... c Min unsat cost LB: 114116 ... c Min unsat cost LB: 114121 ... c Min unsat cost LB: 114156 ... c Min unsat cost LB: 114335 ... c Min unsat cost LB: 115255 ... c Min unsat cost LB: 115294 ... c Min unsat cost LB: 115687 ... c Min unsat cost LB: 115742 ... c Min unsat cost LB: 116511 ... c Min unsat cost LB: 116519 ... c Min unsat cost LB: 116745 ... c Min unsat cost LB: 116758 ... c Min unsat cost LB: 116888 ... c Min unsat cost LB: 117464 ... c Min unsat cost LB: 117497 ... c Min unsat cost LB: 117543 ... c Min unsat cost LB: 117583 ... c Min unsat cost LB: 117691 ... c Min unsat cost LB: 117951 ... c Min unsat cost LB: 117969 ... c Min unsat cost LB: 117981 ... c Min unsat cost LB: 118071 ... c Min unsat cost LB: 118083 ... c Min unsat cost LB: 118088 ... c Min unsat cost LB: 118113 ... c Min unsat cost LB: 118483 ... c Min unsat cost LB: 118756 ... c Min unsat cost LB: 119634 ... c Min unsat cost LB: 120175 ... c Min unsat cost LB: 120404 ... c Min unsat cost LB: 120414 ... c Min unsat cost LB: 120416 ... c Min unsat cost LB: 120423 ... c Min unsat cost LB: 120469 ... c Min unsat cost LB: 120471 ... c Min unsat cost LB: 120499 ... c Min unsat cost LB: 120530 ... c Min unsat cost LB: 120593 ... c Min unsat cost LB: 120601 ... c Min unsat cost LB: 120609 ... c Min unsat cost LB: 120868 ... c Min unsat cost LB: 120996 ... c Min unsat cost LB: 121031 ... c Min unsat cost LB: 121051 ... c Min unsat cost LB: 121067 ... c Min unsat cost LB: 121068 ... c Min unsat cost LB: 121074 ... c Min unsat cost LB: 121820 ... c Min unsat cost LB: 121901 ... c Min unsat cost LB: 122487 ... c Min unsat cost LB: 122523 ... c Min unsat cost LB: 122824 ... c Min unsat cost LB: 123125 ... c Min unsat cost LB: 123590 ... c Min unsat cost LB: 123902 ... c Min unsat cost LB: 123931 ... c Min unsat cost LB: 125127 ... c Min unsat cost LB: 125326 ... c Min unsat cost LB: 125498 ... c Min unsat cost LB: 125614 ... c Min unsat cost LB: 125627 ... c Min unsat cost LB: 125796 ... c Min unsat cost LB: 125963 ... c Min unsat cost LB: 125971 ... c Min unsat cost LB: 126212 ... c Min unsat cost LB: 126214 ... c Min unsat cost LB: 126216 ... c Min unsat cost LB: 126224 ... c Min unsat cost LB: 126230 ... c Min unsat cost LB: 126231 ... c Min unsat cost LB: 126255 ... c Min unsat cost LB: 126259 ... c Min unsat cost LB: 126277 ... c Min unsat cost LB: 126300 ... c Min unsat cost LB: 126309 ... c Min unsat cost LB: 126684 ... c Min unsat cost LB: 126692 ... c Min unsat cost LB: 126746 ... c Min unsat cost LB: 126757 ... c Min unsat cost LB: 126759 ... c Min unsat cost LB: 126800 ... c Min unsat cost LB: 126839 ... c Min unsat cost LB: 127078 ... c Min unsat cost LB: 128545 ... c Min unsat cost LB: 128560 ... c Min unsat cost LB: 128798 ... c Min unsat cost LB: 128893 ... c Min unsat cost LB: 129005 ... c Min unsat cost LB: 129130 ... c Min unsat cost LB: 129376 ... c Min unsat cost LB: 129668 ... c Min unsat cost LB: 131136 ... c Min unsat cost LB: 131324 ... c Min unsat cost LB: 131395 ... c Min unsat cost LB: 131506 ... c Min unsat cost LB: 131521 ... c Min unsat cost LB: 131707 ... c Min unsat cost LB: 132560 ... c Min unsat cost LB: 132679 ... c Min unsat cost LB: 132906 ... c Min unsat cost LB: 132967 ... c Min unsat cost LB: 133541 ... c Min unsat cost LB: 133775 ... c Min unsat cost LB: 134150 ... c Min unsat cost LB: 134710 ... c Min unsat cost LB: 135374 ... c Min unsat cost LB: 135578 ... c Min unsat cost LB: 135592 ... c Min unsat cost LB: 135824 ... c Min unsat cost LB: 136111 ... c Min unsat cost LB: 136506 ... c Min unsat cost LB: 136673 ... c Min unsat cost LB: 136721 ... c Min unsat cost LB: 136830 ... c Min unsat cost LB: 136860 ... c Min unsat cost LB: 136918 ... c Min unsat cost LB: 136950 ... c Min unsat cost LB: 137057 ... c Min unsat cost LB: 137192 ... c Min unsat cost LB: 137277 ... c Min unsat cost LB: 137295 ... c Min unsat cost LB: 138525 ... c Min unsat cost LB: 138584 ... c Min unsat cost LB: 138618 ... c Min unsat cost LB: 138649 ... c Min unsat cost LB: 138650 ... c Min unsat cost LB: 139096 ... c Min unsat cost LB: 139948 ... c Min unsat cost LB: 140017 ... c Min unsat cost LB: 140572 ... c Min unsat cost LB: 140912 ... c Min unsat cost LB: 141024 ... c Min unsat cost LB: 141564 ... c Min unsat cost LB: 141805 ... c Min unsat cost LB: 142290 ... c Min unsat cost LB: 142588 ... c Min unsat cost LB: 142749 ... c Min unsat cost LB: 142781 ... c Min unsat cost LB: 142820 ... c Min unsat cost LB: 143260 ... c Min unsat cost LB: 144012 ... c Min unsat cost LB: 144381 ... c Min unsat cost LB: 144407 ... c Min unsat cost LB: 145346 ... c Min unsat cost LB: 145408 ... c Min unsat cost LB: 145834 ... c Min unsat cost LB: 146214 ... c Min unsat cost LB: 146482 ... c Min unsat cost LB: 146493 ... c Min unsat cost LB: 146495 ... c Min unsat cost LB: 146499 ... c Min unsat cost LB: 146507 ... c Min unsat cost LB: 146520 ... c Min unsat cost LB: 146549 ... c Min unsat cost LB: 146561 ... c Min unsat cost LB: 146569 ... c Min unsat cost LB: 146577 ... c Min unsat cost LB: 146580 ... c Min unsat cost LB: 146593 ... c Min unsat cost LB: 146601 ... c Min unsat cost LB: 146603 ... c Min unsat cost LB: 146607 ... c Min unsat cost LB: 146609 ... c Min unsat cost LB: 146623 ... c Min unsat cost LB: 147530 ... c Min unsat cost LB: 147736 ... c Min unsat cost LB: 147759 ... c Min unsat cost LB: 147819 ... c Min unsat cost LB: 148207 ... c Min unsat cost LB: 148230 ... c Min unsat cost LB: 148375 ... c Min unsat cost LB: 148398 ... c Min unsat cost LB: 148426 ... c Min unsat cost LB: 148894 ... c Min unsat cost LB: 149643 ... c Min unsat cost LB: 149747 ... c Min unsat cost LB: 150090 ... c Min unsat cost LB: 150134 ... c Min unsat cost LB: 150157 ... c Min unsat cost LB: 150316 ... c Min unsat cost LB: 150359 ... c Min unsat cost LB: 150734 ... c Min unsat cost LB: 150775 ... c Min unsat cost LB: 151501 ... c Min unsat cost LB: 151522 ... c Min unsat cost LB: 152083 ... c Min unsat cost LB: 152391 ... c Min unsat cost LB: 152548 ... c Min unsat cost LB: 153119 ... c Min unsat cost LB: 153306 ... c Min unsat cost LB: 153972 ... c Min unsat cost LB: 154239 ... c Min unsat cost LB: 154380 ... c Min unsat cost LB: 154392 ... c Min unsat cost LB: 154405 ... c Min unsat cost LB: 154435 ... c Min unsat cost LB: 154695 ... c Min unsat cost LB: 154827 ... c Min unsat cost LB: 154909 ... c Min unsat cost LB: 154946 ... c Min unsat cost LB: 155017 ... c Min unsat cost LB: 155323 ... c Min unsat cost LB: 155522 ... c Min unsat cost LB: 155837 ... c Min unsat cost LB: 157062 ... c Min unsat cost LB: 157186 ... c Min unsat cost LB: 157682 ... c Min unsat cost LB: 158254 ... c Min unsat cost LB: 158710 ... c Min unsat cost LB: 158973 ... c Min unsat cost LB: 159919 ... c Min unsat cost LB: 159960 ... c Min unsat cost LB: 160338 ... c Min unsat cost LB: 160386 ... c Min unsat cost LB: 160895 ... c Min unsat cost LB: 160904 ... c Min unsat cost LB: 161012 ... c Min unsat cost LB: 161148 ... c Min unsat cost LB: 161214 ... c Min unsat cost LB: 161231 ... c Min unsat cost LB: 161280 ... c Min unsat cost LB: 161296 ... c Min unsat cost LB: 161310 ... c Min unsat cost LB: 162058 ... c Min unsat cost LB: 162258 ... c Min unsat cost LB: 162600 ... c Min unsat cost LB: 162614 ... c Min unsat cost LB: 162769 ... c Min unsat cost LB: 162802 ... c Min unsat cost LB: 162819 ... c Min unsat cost LB: 162823 ... c Min unsat cost LB: 162993 ... c Min unsat cost LB: 163075 ... c Min unsat cost LB: 163118 ... c Min unsat cost LB: 163180 ... c Min unsat cost LB: 163205 ... c Min unsat cost LB: 163289 ... c Min unsat cost LB: 163332 ... c Min unsat cost LB: 163505 ... c Min unsat cost LB: 163609 ... c Min unsat cost LB: 163641 ... c Min unsat cost LB: 163671 ... c Min unsat cost LB: 163741 ... c Min unsat cost LB: 163749 ... c Min unsat cost LB: 163793 ... c Min unsat cost LB: 163962 ... c Min unsat cost LB: 164056 ... c Min unsat cost LB: 164069 ... c Min unsat cost LB: 164090 ... c Min unsat cost LB: 164094 ... c Min unsat cost LB: 164189 ... c Min unsat cost LB: 164201 ... c Min unsat cost LB: 164204 ... c Min unsat cost LB: 164217 ... c Min unsat cost LB: 165170 ... c Min unsat cost LB: 165234 ... c Min unsat cost LB: 165253 ... c Min unsat cost LB: 165655 ... c Min unsat cost LB: 165844 ... c Min unsat cost LB: 165895 ... c Min unsat cost LB: 166297 ... c Min unsat cost LB: 166792 ... c Min unsat cost LB: 167303 ... c Min unsat cost LB: 167762 ... c Min unsat cost LB: 167870 ... c Min unsat cost LB: 168182 ... c Min unsat cost LB: 168237 ... c Min unsat cost LB: 168307 ... c Min unsat cost LB: 168311 ... c Min unsat cost LB: 168885 ... c Min unsat cost LB: 169015 ... c Min unsat cost LB: 169109 ... c Min unsat cost LB: 169111 ... c Min unsat cost LB: 169119 ... c Min unsat cost LB: 169192 ... c Min unsat cost LB: 169204 ... c Min unsat cost LB: 169206 ... c Min unsat cost LB: 169208 ... c Min unsat cost LB: 169209 ... c Min unsat cost LB: 169215 ... c Min unsat cost LB: 169218 ... c Min unsat cost LB: 169234 ... c Min unsat cost LB: 169236 ... c Min unsat cost LB: 169260 ... c Min unsat cost LB: 169261 ... c Min unsat cost LB: 169264 ... c Min unsat cost LB: 169265 ... c Min unsat cost LB: 169267 ... c Min unsat cost LB: 169269 ... c Min unsat cost LB: 169357 ... c Min unsat cost LB: 169379 ... c Min unsat cost LB: 169657 ... c Min unsat cost LB: 169892 ... c Min unsat cost LB: 169975 ... c Min unsat cost LB: 170116 ... c Min unsat cost LB: 170301 ... c Min unsat cost LB: 170353 ... c Min unsat cost LB: 170358 ... c Min unsat cost LB: 170480 ... c Min unsat cost LB: 170488 ... c Min unsat cost LB: 170498 ... c Min unsat cost LB: 170516 ... c Min unsat cost LB: 170551 ... c Min unsat cost LB: 170591 ... c Min unsat cost LB: 170608 ... c Min unsat cost LB: 170713 ... c Min unsat cost LB: 171243 ... c Min unsat cost LB: 171817 ... c Min unsat cost LB: 172039 ... c Min unsat cost LB: 172146 ... c Min unsat cost LB: 172347 ... c Min unsat cost LB: 172720 ... c Min unsat cost LB: 173380 ... c Min unsat cost LB: 173782 ... c Min unsat cost LB: 173995 ... c Min unsat cost LB: 174085 ... c Min unsat cost LB: 174234 ... c Min unsat cost LB: 174628 ... c Min unsat cost LB: 174841 ... c Min unsat cost LB: 174923 ... c Min unsat cost LB: 174944 ... c Min unsat cost LB: 175020 ... c Min unsat cost LB: 175049 ... c Min unsat cost LB: 175072 ... c Min unsat cost LB: 175855 ... c Min unsat cost LB: 176068 ... c Min unsat cost LB: 176196 ... c Min unsat cost LB: 176343 ... c Min unsat cost LB: 176345 ... c Min unsat cost LB: 176358 ... c Min unsat cost LB: 176369 ... c Min unsat cost LB: 176943 ... c Min unsat cost LB: 176975 ... c Min unsat cost LB: 177073 ... c Min unsat cost LB: 177083 ... c Min unsat cost LB: 177720 ... c Min unsat cost LB: 177825 ... c Min unsat cost LB: 178050 ... c Min unsat cost LB: 178148 ... c Min unsat cost LB: 178531 ... c Min unsat cost LB: 179126 ... c Min unsat cost LB: 179135 ... c Min unsat cost LB: 179571 ... c Min unsat cost LB: 179574 ... c Min unsat cost LB: 179619 ... c Min unsat cost LB: 180432 ... c Min unsat cost LB: 180441 ... c Min unsat cost LB: 180536 ... c Min unsat cost LB: 180548 ... c Min unsat cost LB: 180871 ... c Min unsat cost LB: 181064 ... c Min unsat cost LB: 181316 ... c Min unsat cost LB: 181325 ... c Min unsat cost LB: 181784 ... c Min unsat cost LB: 181881 ... c Min unsat cost LB: 182027 ... c Min unsat cost LB: 182123 ... c Min unsat cost LB: 182278 ... c Min unsat cost LB: 182430 ... c Min unsat cost LB: 182617 ... c Min unsat cost LB: 182670 ... c Min unsat cost LB: 182743 ... c Min unsat cost LB: 182966 ... c Min unsat cost LB: 182968 ... o 182968 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 c CPU Time: 40.8098 40.856u 0.178s 0:41.09 99.8% 0+0k 0+0io 0pf+0w