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-80-2_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-8.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-80-2_network-8.net.wcnf *** c c Min unsat cost LB: 1100 ... c Min unsat cost LB: 1463 ... c Min unsat cost LB: 2375 ... c Min unsat cost LB: 3127 ... c Min unsat cost LB: 3488 ... c Min unsat cost LB: 4370 ... c Min unsat cost LB: 4844 ... c Min unsat cost LB: 6187 ... c Min unsat cost LB: 7433 ... c Min unsat cost LB: 8793 ... c Min unsat cost LB: 9084 ... c Min unsat cost LB: 9944 ... c Min unsat cost LB: 10710 ... c Min unsat cost LB: 11790 ... c Min unsat cost LB: 12976 ... c Min unsat cost LB: 13577 ... c Min unsat cost LB: 13584 ... c Min unsat cost LB: 13732 ... c Min unsat cost LB: 14749 ... c Min unsat cost LB: 15756 ... c Min unsat cost LB: 15982 ... c Min unsat cost LB: 16747 ... c Min unsat cost LB: 17167 ... c Min unsat cost LB: 17372 ... c Min unsat cost LB: 17456 ... c Min unsat cost LB: 18149 ... c Min unsat cost LB: 18200 ... c Min unsat cost LB: 18461 ... c Min unsat cost LB: 18570 ... c Min unsat cost LB: 18703 ... c Min unsat cost LB: 18867 ... c Min unsat cost LB: 19015 ... c Min unsat cost LB: 19099 ... c Min unsat cost LB: 19343 ... c Min unsat cost LB: 20279 ... c Min unsat cost LB: 20387 ... c Min unsat cost LB: 20716 ... c Min unsat cost LB: 21286 ... c Min unsat cost LB: 21437 ... c Min unsat cost LB: 21902 ... c Min unsat cost LB: 22470 ... c Min unsat cost LB: 22569 ... c Min unsat cost LB: 22820 ... c Min unsat cost LB: 22858 ... c Min unsat cost LB: 22979 ... c Min unsat cost LB: 23104 ... c Min unsat cost LB: 23245 ... c Min unsat cost LB: 23647 ... c Min unsat cost LB: 23843 ... c Min unsat cost LB: 24040 ... c Min unsat cost LB: 24054 ... c Min unsat cost LB: 24077 ... c Min unsat cost LB: 24161 ... c Min unsat cost LB: 25153 ... c Min unsat cost LB: 25844 ... c Min unsat cost LB: 25997 ... c Min unsat cost LB: 26131 ... c Min unsat cost LB: 26875 ... c Min unsat cost LB: 26997 ... c Min unsat cost LB: 27114 ... c Min unsat cost LB: 27488 ... c Min unsat cost LB: 27799 ... c Min unsat cost LB: 28217 ... c Min unsat cost LB: 28345 ... c Min unsat cost LB: 28360 ... c Min unsat cost LB: 28477 ... c Min unsat cost LB: 29112 ... c Min unsat cost LB: 29337 ... c Min unsat cost LB: 29459 ... c Min unsat cost LB: 29967 ... c Min unsat cost LB: 30830 ... c Min unsat cost LB: 31640 ... c Min unsat cost LB: 32257 ... c Min unsat cost LB: 32393 ... c Min unsat cost LB: 32432 ... c Min unsat cost LB: 32521 ... c Min unsat cost LB: 32591 ... c Min unsat cost LB: 32614 ... c Min unsat cost LB: 32674 ... c Min unsat cost LB: 32719 ... c Min unsat cost LB: 32856 ... c Min unsat cost LB: 32962 ... c Min unsat cost LB: 33303 ... c Min unsat cost LB: 33513 ... c Min unsat cost LB: 33695 ... c Min unsat cost LB: 34928 ... c Min unsat cost LB: 35834 ... c Min unsat cost LB: 36210 ... c Min unsat cost LB: 36406 ... c Min unsat cost LB: 36491 ... c Min unsat cost LB: 36737 ... c Min unsat cost LB: 37441 ... c Min unsat cost LB: 37543 ... c Min unsat cost LB: 37664 ... c Min unsat cost LB: 37741 ... c Min unsat cost LB: 38047 ... c Min unsat cost LB: 38149 ... c Min unsat cost LB: 38196 ... c Min unsat cost LB: 38604 ... c Min unsat cost LB: 38654 ... c Min unsat cost LB: 38708 ... c Min unsat cost LB: 38718 ... c Min unsat cost LB: 39033 ... c Min unsat cost LB: 39068 ... c Min unsat cost LB: 39105 ... c Min unsat cost LB: 39109 ... c Min unsat cost LB: 39567 ... c Min unsat cost LB: 39783 ... c Min unsat cost LB: 40115 ... c Min unsat cost LB: 40576 ... c Min unsat cost LB: 40659 ... c Min unsat cost LB: 40682 ... c Min unsat cost LB: 41653 ... c Min unsat cost LB: 41712 ... c Min unsat cost LB: 41771 ... c Min unsat cost LB: 41855 ... c Min unsat cost LB: 42393 ... c Min unsat cost LB: 42560 ... c Min unsat cost LB: 43146 ... c Min unsat cost LB: 43502 ... c Min unsat cost LB: 43689 ... c Min unsat cost LB: 43768 ... c Min unsat cost LB: 43837 ... c Min unsat cost LB: 43973 ... c Min unsat cost LB: 44203 ... c Min unsat cost LB: 44388 ... c Min unsat cost LB: 44556 ... c Min unsat cost LB: 44704 ... c Min unsat cost LB: 44739 ... c Min unsat cost LB: 44816 ... c Min unsat cost LB: 44851 ... c Min unsat cost LB: 45067 ... c Min unsat cost LB: 45108 ... c Min unsat cost LB: 45252 ... c Min unsat cost LB: 45335 ... c Min unsat cost LB: 45401 ... c Min unsat cost LB: 45647 ... c Min unsat cost LB: 45705 ... c Min unsat cost LB: 45821 ... c Min unsat cost LB: 46327 ... c Min unsat cost LB: 46416 ... c Min unsat cost LB: 46722 ... c Min unsat cost LB: 47083 ... c Min unsat cost LB: 47095 ... c Min unsat cost LB: 47166 ... c Min unsat cost LB: 47192 ... c Min unsat cost LB: 47204 ... c Min unsat cost LB: 47208 ... c Min unsat cost LB: 47258 ... c Min unsat cost LB: 47280 ... c Min unsat cost LB: 47284 ... c Min unsat cost LB: 47300 ... c Min unsat cost LB: 47369 ... c Min unsat cost LB: 47393 ... c Min unsat cost LB: 47409 ... c Min unsat cost LB: 47423 ... c Min unsat cost LB: 47424 ... c Min unsat cost LB: 47449 ... c Min unsat cost LB: 47462 ... c Min unsat cost LB: 47512 ... c Min unsat cost LB: 47519 ... c Min unsat cost LB: 47779 ... c Min unsat cost LB: 47824 ... c Min unsat cost LB: 47829 ... c Min unsat cost LB: 47833 ... c Min unsat cost LB: 47834 ... c Min unsat cost LB: 47838 ... c Min unsat cost LB: 47840 ... c Min unsat cost LB: 47842 ... c Min unsat cost LB: 47847 ... c Min unsat cost LB: 47914 ... c Min unsat cost LB: 47924 ... c Min unsat cost LB: 47930 ... c Min unsat cost LB: 47959 ... c Min unsat cost LB: 47973 ... c Min unsat cost LB: 48013 ... c Min unsat cost LB: 48395 ... c Min unsat cost LB: 48461 ... c Min unsat cost LB: 48514 ... c Min unsat cost LB: 48515 ... c Min unsat cost LB: 48516 ... c Min unsat cost LB: 48518 ... c Min unsat cost LB: 48701 ... c Min unsat cost LB: 48761 ... c Min unsat cost LB: 48967 ... c Min unsat cost LB: 49036 ... c Min unsat cost LB: 49114 ... c Min unsat cost LB: 49333 ... c Min unsat cost LB: 49368 ... c Min unsat cost LB: 49416 ... c Min unsat cost LB: 49428 ... c Min unsat cost LB: 49432 ... c Min unsat cost LB: 49459 ... c Min unsat cost LB: 49553 ... c Min unsat cost LB: 49629 ... c Min unsat cost LB: 49785 ... c Min unsat cost LB: 49977 ... c Min unsat cost LB: 50020 ... c Min unsat cost LB: 50055 ... c Min unsat cost LB: 50152 ... c Min unsat cost LB: 51129 ... c Min unsat cost LB: 51183 ... c Min unsat cost LB: 51205 ... c Min unsat cost LB: 51318 ... c Min unsat cost LB: 51361 ... c Min unsat cost LB: 51373 ... c Min unsat cost LB: 51417 ... c Min unsat cost LB: 51421 ... c Min unsat cost LB: 51440 ... c Min unsat cost LB: 51465 ... c Min unsat cost LB: 51467 ... c Min unsat cost LB: 51479 ... c Min unsat cost LB: 51487 ... c Min unsat cost LB: 51720 ... c Min unsat cost LB: 51963 ... c Min unsat cost LB: 52085 ... c Min unsat cost LB: 52099 ... c Min unsat cost LB: 52111 ... c Min unsat cost LB: 52116 ... c Min unsat cost LB: 52120 ... c Min unsat cost LB: 52125 ... c Min unsat cost LB: 52128 ... c Min unsat cost LB: 52129 ... c Min unsat cost LB: 52221 ... c Min unsat cost LB: 52223 ... c Min unsat cost LB: 52225 ... c Min unsat cost LB: 52226 ... c Min unsat cost LB: 52332 ... c Min unsat cost LB: 52350 ... c Min unsat cost LB: 52352 ... c Min unsat cost LB: 52448 ... c Min unsat cost LB: 52454 ... c Min unsat cost LB: 52480 ... c Min unsat cost LB: 52523 ... c Min unsat cost LB: 52529 ... c Min unsat cost LB: 52531 ... c Min unsat cost LB: 52536 ... c Min unsat cost LB: 52540 ... c Min unsat cost LB: 52544 ... c Min unsat cost LB: 52549 ... c Min unsat cost LB: 52551 ... c Min unsat cost LB: 52553 ... c Min unsat cost LB: 52554 ... c Min unsat cost LB: 52566 ... c Min unsat cost LB: 52583 ... c Min unsat cost LB: 52591 ... c Min unsat cost LB: 52646 ... c Min unsat cost LB: 52651 ... c Min unsat cost LB: 52655 ... c Min unsat cost LB: 52656 ... c Min unsat cost LB: 52659 ... c Min unsat cost LB: 52664 ... c Min unsat cost LB: 52667 ... c Min unsat cost LB: 52686 ... c Min unsat cost LB: 52981 ... c Min unsat cost LB: 53185 ... c Min unsat cost LB: 53326 ... c Min unsat cost LB: 53653 ... c Min unsat cost LB: 53668 ... c Min unsat cost LB: 53927 ... c Min unsat cost LB: 54007 ... c Min unsat cost LB: 54021 ... c Min unsat cost LB: 54071 ... c Min unsat cost LB: 54117 ... c Min unsat cost LB: 54166 ... c Min unsat cost LB: 54197 ... c Min unsat cost LB: 54309 ... c Min unsat cost LB: 54395 ... c Min unsat cost LB: 54428 ... c Min unsat cost LB: 54805 ... c Min unsat cost LB: 54910 ... c Min unsat cost LB: 54919 ... c Min unsat cost LB: 55083 ... c Min unsat cost LB: 55109 ... c Min unsat cost LB: 55111 ... c Min unsat cost LB: 55306 ... c Min unsat cost LB: 55307 ... c Min unsat cost LB: 55312 ... c Min unsat cost LB: 55313 ... c Min unsat cost LB: 55317 ... c Min unsat cost LB: 55351 ... c Min unsat cost LB: 55354 ... c Min unsat cost LB: 55355 ... c Min unsat cost LB: 55359 ... c Min unsat cost LB: 55360 ... c Min unsat cost LB: 55361 ... c Min unsat cost LB: 55363 ... c Min unsat cost LB: 55500 ... c Min unsat cost LB: 55684 ... c Min unsat cost LB: 55685 ... c Min unsat cost LB: 55686 ... c Min unsat cost LB: 55687 ... c Min unsat cost LB: 55690 ... c Min unsat cost LB: 55691 ... c Min unsat cost LB: 55692 ... c Min unsat cost LB: 55693 ... c Min unsat cost LB: 55694 ... c Min unsat cost LB: 55729 ... c Min unsat cost LB: 55766 ... c Min unsat cost LB: 55814 ... c Min unsat cost LB: 55858 ... c Min unsat cost LB: 55870 ... c Min unsat cost LB: 55915 ... c Min unsat cost LB: 55924 ... c Min unsat cost LB: 56027 ... c Min unsat cost LB: 56040 ... c Min unsat cost LB: 56118 ... c Min unsat cost LB: 56194 ... c Min unsat cost LB: 56198 ... c Min unsat cost LB: 56200 ... c Min unsat cost LB: 56612 ... c Min unsat cost LB: 56658 ... c Min unsat cost LB: 56671 ... c Min unsat cost LB: 56675 ... c Min unsat cost LB: 56751 ... c Min unsat cost LB: 56784 ... c Min unsat cost LB: 56800 ... c Min unsat cost LB: 56829 ... c Min unsat cost LB: 56831 ... c Min unsat cost LB: 56870 ... c Min unsat cost LB: 56881 ... c Min unsat cost LB: 56968 ... c Min unsat cost LB: 57265 ... c Min unsat cost LB: 57266 ... c Min unsat cost LB: 57267 ... c Min unsat cost LB: 57268 ... c Min unsat cost LB: 57309 ... c Min unsat cost LB: 57348 ... c Min unsat cost LB: 57658 ... c Min unsat cost LB: 57872 ... c Min unsat cost LB: 58159 ... c Min unsat cost LB: 58405 ... c Min unsat cost LB: 58836 ... c Min unsat cost LB: 58924 ... c Min unsat cost LB: 58935 ... c Min unsat cost LB: 59119 ... c Min unsat cost LB: 59138 ... c Min unsat cost LB: 59177 ... c Min unsat cost LB: 59191 ... c Min unsat cost LB: 59201 ... c Min unsat cost LB: 59354 ... c Min unsat cost LB: 59401 ... c Min unsat cost LB: 59449 ... c Min unsat cost LB: 59546 ... c Min unsat cost LB: 59551 ... c Min unsat cost LB: 59805 ... c Min unsat cost LB: 59954 ... c Min unsat cost LB: 60100 ... c Min unsat cost LB: 60107 ... c Min unsat cost LB: 60215 ... c Min unsat cost LB: 60253 ... c Min unsat cost LB: 60332 ... c Min unsat cost LB: 60935 ... c Min unsat cost LB: 61043 ... c Min unsat cost LB: 61072 ... c Min unsat cost LB: 61153 ... c Min unsat cost LB: 61171 ... c Min unsat cost LB: 61586 ... c Min unsat cost LB: 61945 ... c Min unsat cost LB: 61975 ... c Min unsat cost LB: 62009 ... c Min unsat cost LB: 62021 ... c Min unsat cost LB: 62124 ... c Min unsat cost LB: 62141 ... c Min unsat cost LB: 62171 ... c Min unsat cost LB: 62263 ... c Min unsat cost LB: 62412 ... c Min unsat cost LB: 62421 ... c Min unsat cost LB: 62423 ... c Min unsat cost LB: 62474 ... c Min unsat cost LB: 62689 ... c Min unsat cost LB: 62723 ... c Min unsat cost LB: 62735 ... c Min unsat cost LB: 62896 ... c Min unsat cost LB: 63078 ... c Min unsat cost LB: 63094 ... c Min unsat cost LB: 63124 ... c Min unsat cost LB: 63177 ... c Min unsat cost LB: 63189 ... c Min unsat cost LB: 63202 ... c Min unsat cost LB: 63224 ... c Min unsat cost LB: 63227 ... c Min unsat cost LB: 63292 ... c Min unsat cost LB: 63309 ... c Min unsat cost LB: 63358 ... c Min unsat cost LB: 63500 ... c Min unsat cost LB: 63546 ... c Min unsat cost LB: 63551 ... c Min unsat cost LB: 63552 ... c Min unsat cost LB: 63553 ... c Min unsat cost LB: 63555 ... c Min unsat cost LB: 63556 ... c Min unsat cost LB: 63557 ... c Min unsat cost LB: 63559 ... c Min unsat cost LB: 63561 ... c Min unsat cost LB: 63565 ... c Min unsat cost LB: 63566 ... c Min unsat cost LB: 63567 ... c Min unsat cost LB: 63571 ... c Min unsat cost LB: 63586 ... c Min unsat cost LB: 63587 ... c Min unsat cost LB: 63589 ... c Min unsat cost LB: 63590 ... c Min unsat cost LB: 63591 ... c Min unsat cost LB: 63592 ... c Min unsat cost LB: 63595 ... c Min unsat cost LB: 63600 ... c Min unsat cost LB: 63602 ... c Min unsat cost LB: 63606 ... c Min unsat cost LB: 63611 ... c Min unsat cost LB: 63615 ... c Min unsat cost LB: 63617 ... c Min unsat cost LB: 63620 ... c Min unsat cost LB: 63625 ... c Min unsat cost LB: 63626 ... c Min unsat cost LB: 63627 ... c Min unsat cost LB: 63629 ... c Min unsat cost LB: 63632 ... c Min unsat cost LB: 63633 ... c Min unsat cost LB: 63635 ... c Min unsat cost LB: 63644 ... c Min unsat cost LB: 63645 ... c Min unsat cost LB: 63646 ... c Min unsat cost LB: 63647 ... c Min unsat cost LB: 63648 ... c Min unsat cost LB: 63649 ... c Min unsat cost LB: 63650 ... c Min unsat cost LB: 63653 ... c Min unsat cost LB: 63654 ... c Min unsat cost LB: 63658 ... c Min unsat cost LB: 63674 ... c Min unsat cost LB: 63677 ... c Min unsat cost LB: 63678 ... c Min unsat cost LB: 63680 ... c Min unsat cost LB: 63681 ... c Min unsat cost LB: 63682 ... c Min unsat cost LB: 63683 ... c Min unsat cost LB: 63684 ... c Min unsat cost LB: 63685 ... c Min unsat cost LB: 63686 ... c Min unsat cost LB: 63687 ... c Min unsat cost LB: 63688 ... c Min unsat cost LB: 63712 ... c Min unsat cost LB: 63714 ... c Min unsat cost LB: 63863 ... c Min unsat cost LB: 63864 ... c Min unsat cost LB: 64311 ... c Min unsat cost LB: 64425 ... c Min unsat cost LB: 64744 ... c Min unsat cost LB: 64801 ... c Min unsat cost LB: 65289 ... c Min unsat cost LB: 65307 ... c Min unsat cost LB: 65313 ... c Min unsat cost LB: 65360 ... c Min unsat cost LB: 65401 ... c Min unsat cost LB: 65421 ... c Min unsat cost LB: 65488 ... c Min unsat cost LB: 65540 ... c Min unsat cost LB: 65546 ... c Min unsat cost LB: 65646 ... c Min unsat cost LB: 65655 ... c Min unsat cost LB: 65686 ... c Min unsat cost LB: 65706 ... c Min unsat cost LB: 65790 ... c Min unsat cost LB: 65812 ... c Min unsat cost LB: 65848 ... c Min unsat cost LB: 65912 ... c Min unsat cost LB: 66024 ... c Min unsat cost LB: 66033 ... c Min unsat cost LB: 66071 ... c Min unsat cost LB: 66080 ... c Min unsat cost LB: 66091 ... c Min unsat cost LB: 66114 ... c Min unsat cost LB: 66120 ... c Min unsat cost LB: 66124 ... c Min unsat cost LB: 66138 ... c Min unsat cost LB: 66139 ... c Min unsat cost LB: 66156 ... c Min unsat cost LB: 66176 ... c Min unsat cost LB: 66179 ... c Min unsat cost LB: 66180 ... c Min unsat cost LB: 66181 ... c Min unsat cost LB: 66182 ... c Min unsat cost LB: 66183 ... c Min unsat cost LB: 66194 ... c Min unsat cost LB: 66217 ... c Min unsat cost LB: 66223 ... c Min unsat cost LB: 66224 ... c Min unsat cost LB: 66225 ... c Min unsat cost LB: 66226 ... c Min unsat cost LB: 66227 ... c Min unsat cost LB: 66228 ... c Min unsat cost LB: 67255 ... c Min unsat cost LB: 67667 ... c Min unsat cost LB: 67774 ... c Min unsat cost LB: 67960 ... c Min unsat cost LB: 67970 ... c Min unsat cost LB: 68024 ... c Min unsat cost LB: 68223 ... c Min unsat cost LB: 68274 ... c Min unsat cost LB: 68315 ... c Min unsat cost LB: 68355 ... c Min unsat cost LB: 68357 ... c Min unsat cost LB: 68370 ... c Min unsat cost LB: 68693 ... c Min unsat cost LB: 69034 ... c Min unsat cost LB: 69035 ... c Min unsat cost LB: 69093 ... c Min unsat cost LB: 69114 ... c Min unsat cost LB: 69202 ... c Min unsat cost LB: 69599 ... c Min unsat cost LB: 69612 ... c Min unsat cost LB: 69627 ... c Min unsat cost LB: 69654 ... c Min unsat cost LB: 69664 ... c Min unsat cost LB: 69699 ... c Min unsat cost LB: 69739 ... c Min unsat cost LB: 70024 ... c Min unsat cost LB: 70169 ... c Min unsat cost LB: 70354 ... c Min unsat cost LB: 70434 ... c Min unsat cost LB: 70477 ... c Min unsat cost LB: 70486 ... c Min unsat cost LB: 70557 ... c Min unsat cost LB: 70823 ... c Min unsat cost LB: 70838 ... c Min unsat cost LB: 70855 ... c Min unsat cost LB: 70873 ... c Min unsat cost LB: 70890 ... c Min unsat cost LB: 70970 ... c Min unsat cost LB: 71013 ... c Min unsat cost LB: 71076 ... c Min unsat cost LB: 71268 ... c Min unsat cost LB: 71595 ... c Min unsat cost LB: 71606 ... c Min unsat cost LB: 71622 ... c Min unsat cost LB: 71643 ... c Min unsat cost LB: 71665 ... c Min unsat cost LB: 71685 ... c Min unsat cost LB: 71702 ... c Min unsat cost LB: 71745 ... c Min unsat cost LB: 71762 ... c Min unsat cost LB: 71772 ... c Min unsat cost LB: 71814 ... c Min unsat cost LB: 71823 ... c Min unsat cost LB: 71831 ... c Min unsat cost LB: 71832 ... c Min unsat cost LB: 71841 ... c Min unsat cost LB: 71851 ... c Min unsat cost LB: 71857 ... c Min unsat cost LB: 71874 ... c Min unsat cost LB: 71876 ... c Min unsat cost LB: 71878 ... c Min unsat cost LB: 71889 ... c Min unsat cost LB: 71891 ... c Min unsat cost LB: 71902 ... c Min unsat cost LB: 71904 ... c Min unsat cost LB: 71949 ... c Min unsat cost LB: 72029 ... c Min unsat cost LB: 72037 ... c Min unsat cost LB: 72045 ... c Min unsat cost LB: 72047 ... c Min unsat cost LB: 72072 ... c Min unsat cost LB: 72085 ... c Min unsat cost LB: 72087 ... c Min unsat cost LB: 72088 ... c Min unsat cost LB: 72094 ... c Min unsat cost LB: 72101 ... c Min unsat cost LB: 72102 ... c Min unsat cost LB: 72103 ... c Min unsat cost LB: 72125 ... c Min unsat cost LB: 72129 ... c Min unsat cost LB: 72130 ... c Min unsat cost LB: 72140 ... c Min unsat cost LB: 72142 ... c Min unsat cost LB: 72143 ... c Min unsat cost LB: 72144 ... c Min unsat cost LB: 72150 ... c Min unsat cost LB: 72161 ... c Min unsat cost LB: 72163 ... c Min unsat cost LB: 72164 ... c Min unsat cost LB: 72165 ... c Min unsat cost LB: 72167 ... c Min unsat cost LB: 72170 ... c Min unsat cost LB: 72171 ... c Min unsat cost LB: 72174 ... c Min unsat cost LB: 72175 ... c Min unsat cost LB: 72177 ... c Min unsat cost LB: 72181 ... c Min unsat cost LB: 72183 ... c Min unsat cost LB: 72184 ... c Min unsat cost LB: 72192 ... c Min unsat cost LB: 72193 ... c Min unsat cost LB: 72202 ... c Min unsat cost LB: 72204 ... c Min unsat cost LB: 72205 ... c Min unsat cost LB: 72206 ... c Min unsat cost LB: 72208 ... c Min unsat cost LB: 72209 ... c Min unsat cost LB: 72210 ... c Min unsat cost LB: 72211 ... c Min unsat cost LB: 72212 ... c Min unsat cost LB: 72214 ... c Min unsat cost LB: 72216 ... c Min unsat cost LB: 72225 ... c Min unsat cost LB: 72229 ... c Min unsat cost LB: 72242 ... c Min unsat cost LB: 72245 ... c Min unsat cost LB: 72246 ... c Min unsat cost LB: 72249 ... c Min unsat cost LB: 72250 ... c Min unsat cost LB: 72251 ... c Min unsat cost LB: 72252 ... c Min unsat cost LB: 72253 ... c Min unsat cost LB: 72254 ... c Min unsat cost LB: 72255 ... c Min unsat cost LB: 72256 ... c Min unsat cost LB: 72257 ... c Min unsat cost LB: 72258 ... c Min unsat cost LB: 72259 ... c Min unsat cost LB: 72260 ... c Min unsat cost LB: 72261 ... c Min unsat cost LB: 72264 ... c Min unsat cost LB: 72266 ... c Min unsat cost LB: 72269 ... c Min unsat cost LB: 72270 ... c Min unsat cost LB: 72271 ... c Min unsat cost LB: 72272 ... c Min unsat cost LB: 72273 ... c Min unsat cost LB: 72274 ... c Min unsat cost LB: 72275 ... c Min unsat cost LB: 72276 ... c Min unsat cost LB: 72277 ... c Min unsat cost LB: 72278 ... c Min unsat cost LB: 72279 ... c Min unsat cost LB: 72280 ... c Min unsat cost LB: 72281 ... c Min unsat cost LB: 72282 ... c Min unsat cost LB: 72283 ... c Min unsat cost LB: 72284 ... c Min unsat cost LB: 72285 ... c Min unsat cost LB: 72286 ... c Min unsat cost LB: 72287 ... c Min unsat cost LB: 72288 ... c Min unsat cost LB: 72289 ... c Min unsat cost LB: 72290 ... c Min unsat cost LB: 72291 ... c Min unsat cost LB: 72292 ... c Min unsat cost LB: 72293 ... c Min unsat cost LB: 72294 ... c Min unsat cost LB: 72295 ... c Min unsat cost LB: 72296 ... c Min unsat cost LB: 72297 ... c Min unsat cost LB: 72298 ... c Min unsat cost LB: 72299 ... c Min unsat cost LB: 72300 ... c Min unsat cost LB: 72301 ... c Min unsat cost LB: 72302 ... c Min unsat cost LB: 72303 ... c Min unsat cost LB: 72304 ... c Min unsat cost LB: 72305 ... c Min unsat cost LB: 72306 ... c Min unsat cost LB: 72307 ... o 72307 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 c CPU Time: 508.319 508.410u 1.832s 8:31.37 99.7% 0+0k 0+0io 0pf+0w