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-100-2_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-2.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-100-2_network-2.net.wcnf *** c c Min unsat cost LB: 774 ... c Min unsat cost LB: 1351 ... c Min unsat cost LB: 2188 ... c Min unsat cost LB: 3370 ... c Min unsat cost LB: 4027 ... c Min unsat cost LB: 5516 ... c Min unsat cost LB: 6481 ... c Min unsat cost LB: 7111 ... c Min unsat cost LB: 8485 ... c Min unsat cost LB: 9342 ... c Min unsat cost LB: 10630 ... c Min unsat cost LB: 10875 ... c Min unsat cost LB: 12215 ... c Min unsat cost LB: 12285 ... c Min unsat cost LB: 12782 ... c Min unsat cost LB: 13035 ... c Min unsat cost LB: 14466 ... c Min unsat cost LB: 15718 ... c Min unsat cost LB: 17257 ... c Min unsat cost LB: 17298 ... c Min unsat cost LB: 18084 ... c Min unsat cost LB: 19295 ... c Min unsat cost LB: 20115 ... c Min unsat cost LB: 20391 ... c Min unsat cost LB: 20905 ... c Min unsat cost LB: 21347 ... c Min unsat cost LB: 21774 ... c Min unsat cost LB: 21830 ... c Min unsat cost LB: 21934 ... c Min unsat cost LB: 22119 ... c Min unsat cost LB: 22301 ... c Min unsat cost LB: 23245 ... c Min unsat cost LB: 23625 ... c Min unsat cost LB: 23656 ... c Min unsat cost LB: 23723 ... c Min unsat cost LB: 23729 ... c Min unsat cost LB: 23760 ... c Min unsat cost LB: 23799 ... c Min unsat cost LB: 24122 ... c Min unsat cost LB: 25127 ... c Min unsat cost LB: 25620 ... c Min unsat cost LB: 25724 ... c Min unsat cost LB: 26120 ... c Min unsat cost LB: 26999 ... c Min unsat cost LB: 27334 ... c Min unsat cost LB: 28003 ... c Min unsat cost LB: 28061 ... c Min unsat cost LB: 28520 ... c Min unsat cost LB: 28783 ... c Min unsat cost LB: 29270 ... c Min unsat cost LB: 29454 ... c Min unsat cost LB: 29525 ... c Min unsat cost LB: 30079 ... c Min unsat cost LB: 30306 ... c Min unsat cost LB: 31215 ... c Min unsat cost LB: 31282 ... c Min unsat cost LB: 31486 ... c Min unsat cost LB: 31664 ... c Min unsat cost LB: 31678 ... c Min unsat cost LB: 32270 ... c Min unsat cost LB: 32658 ... c Min unsat cost LB: 33106 ... c Min unsat cost LB: 33326 ... c Min unsat cost LB: 33573 ... c Min unsat cost LB: 33849 ... c Min unsat cost LB: 34199 ... c Min unsat cost LB: 34273 ... c Min unsat cost LB: 34888 ... c Min unsat cost LB: 35041 ... c Min unsat cost LB: 35151 ... c Min unsat cost LB: 35452 ... c Min unsat cost LB: 35555 ... c Min unsat cost LB: 35589 ... c Min unsat cost LB: 35824 ... c Min unsat cost LB: 35836 ... c Min unsat cost LB: 36189 ... c Min unsat cost LB: 36208 ... c Min unsat cost LB: 36884 ... c Min unsat cost LB: 37923 ... c Min unsat cost LB: 38378 ... c Min unsat cost LB: 38489 ... c Min unsat cost LB: 38911 ... c Min unsat cost LB: 38912 ... c Min unsat cost LB: 39180 ... c Min unsat cost LB: 39188 ... c Min unsat cost LB: 39199 ... c Min unsat cost LB: 39212 ... c Min unsat cost LB: 39592 ... c Min unsat cost LB: 39749 ... c Min unsat cost LB: 39914 ... c Min unsat cost LB: 40314 ... c Min unsat cost LB: 40616 ... c Min unsat cost LB: 40664 ... c Min unsat cost LB: 40800 ... c Min unsat cost LB: 40962 ... c Min unsat cost LB: 40975 ... c Min unsat cost LB: 41113 ... c Min unsat cost LB: 41121 ... c Min unsat cost LB: 41134 ... c Min unsat cost LB: 41272 ... c Min unsat cost LB: 41616 ... c Min unsat cost LB: 41691 ... c Min unsat cost LB: 41962 ... c Min unsat cost LB: 42367 ... c Min unsat cost LB: 42513 ... c Min unsat cost LB: 42522 ... c Min unsat cost LB: 42634 ... c Min unsat cost LB: 42670 ... c Min unsat cost LB: 42875 ... c Min unsat cost LB: 43100 ... c Min unsat cost LB: 43276 ... c Min unsat cost LB: 44070 ... c Min unsat cost LB: 44185 ... c Min unsat cost LB: 44260 ... c Min unsat cost LB: 46285 ... c Min unsat cost LB: 46481 ... c Min unsat cost LB: 46801 ... c Min unsat cost LB: 47059 ... c Min unsat cost LB: 47311 ... c Min unsat cost LB: 47397 ... c Min unsat cost LB: 47545 ... c Min unsat cost LB: 47741 ... c Min unsat cost LB: 47909 ... c Min unsat cost LB: 47923 ... c Min unsat cost LB: 47936 ... c Min unsat cost LB: 47993 ... c Min unsat cost LB: 48030 ... c Min unsat cost LB: 48109 ... c Min unsat cost LB: 48229 ... c Min unsat cost LB: 48313 ... c Min unsat cost LB: 48571 ... c Min unsat cost LB: 51333 ... c Min unsat cost LB: 51518 ... c Min unsat cost LB: 51721 ... c Min unsat cost LB: 51758 ... c Min unsat cost LB: 51800 ... c Min unsat cost LB: 51811 ... c Min unsat cost LB: 51815 ... c Min unsat cost LB: 51925 ... c Min unsat cost LB: 52057 ... c Min unsat cost LB: 52376 ... c Min unsat cost LB: 52378 ... c Min unsat cost LB: 52448 ... c Min unsat cost LB: 52506 ... c Min unsat cost LB: 52550 ... c Min unsat cost LB: 52605 ... c Min unsat cost LB: 52662 ... c Min unsat cost LB: 52669 ... c Min unsat cost LB: 52676 ... c Min unsat cost LB: 52681 ... c Min unsat cost LB: 52722 ... c Min unsat cost LB: 53112 ... c Min unsat cost LB: 53423 ... c Min unsat cost LB: 53439 ... c Min unsat cost LB: 53590 ... c Min unsat cost LB: 53592 ... c Min unsat cost LB: 54005 ... c Min unsat cost LB: 54139 ... c Min unsat cost LB: 54189 ... c Min unsat cost LB: 54295 ... c Min unsat cost LB: 54311 ... c Min unsat cost LB: 54365 ... c Min unsat cost LB: 54367 ... c Min unsat cost LB: 54389 ... c Min unsat cost LB: 54441 ... c Min unsat cost LB: 54489 ... c Min unsat cost LB: 55226 ... c Min unsat cost LB: 55350 ... c Min unsat cost LB: 55365 ... c Min unsat cost LB: 55509 ... c Min unsat cost LB: 55612 ... c Min unsat cost LB: 55624 ... c Min unsat cost LB: 55673 ... c Min unsat cost LB: 55678 ... c Min unsat cost LB: 55763 ... c Min unsat cost LB: 55810 ... c Min unsat cost LB: 56054 ... c Min unsat cost LB: 56059 ... c Min unsat cost LB: 56358 ... c Min unsat cost LB: 56391 ... c Min unsat cost LB: 56398 ... c Min unsat cost LB: 56416 ... c Min unsat cost LB: 56509 ... c Min unsat cost LB: 56565 ... c Min unsat cost LB: 56694 ... c Min unsat cost LB: 56725 ... c Min unsat cost LB: 56727 ... c Min unsat cost LB: 56733 ... c Min unsat cost LB: 56743 ... c Min unsat cost LB: 56744 ... c Min unsat cost LB: 56763 ... c Min unsat cost LB: 56764 ... c Min unsat cost LB: 56766 ... c Min unsat cost LB: 56787 ... c Min unsat cost LB: 56804 ... c Min unsat cost LB: 56838 ... c Min unsat cost LB: 56840 ... c Min unsat cost LB: 56846 ... c Min unsat cost LB: 56973 ... c Min unsat cost LB: 57058 ... c Min unsat cost LB: 57077 ... c Min unsat cost LB: 57081 ... c Min unsat cost LB: 57082 ... c Min unsat cost LB: 57083 ... c Min unsat cost LB: 57104 ... c Min unsat cost LB: 57130 ... c Min unsat cost LB: 57140 ... c Min unsat cost LB: 57171 ... c Min unsat cost LB: 57433 ... c Min unsat cost LB: 57504 ... c Min unsat cost LB: 57836 ... c Min unsat cost LB: 57968 ... c Min unsat cost LB: 58002 ... c Min unsat cost LB: 58030 ... c Min unsat cost LB: 58051 ... c Min unsat cost LB: 58057 ... c Min unsat cost LB: 58059 ... c Min unsat cost LB: 58069 ... c Min unsat cost LB: 58086 ... c Min unsat cost LB: 58101 ... c Min unsat cost LB: 58103 ... c Min unsat cost LB: 58162 ... c Min unsat cost LB: 58202 ... c Min unsat cost LB: 58215 ... c Min unsat cost LB: 58227 ... c Min unsat cost LB: 58237 ... c Min unsat cost LB: 58240 ... c Min unsat cost LB: 58300 ... c Min unsat cost LB: 58309 ... c Min unsat cost LB: 58363 ... c Min unsat cost LB: 58373 ... c Min unsat cost LB: 58421 ... c Min unsat cost LB: 58451 ... c Min unsat cost LB: 58457 ... c Min unsat cost LB: 58467 ... c Min unsat cost LB: 58470 ... c Min unsat cost LB: 58507 ... c Min unsat cost LB: 58513 ... c Min unsat cost LB: 58549 ... c Min unsat cost LB: 58562 ... c Min unsat cost LB: 58566 ... c Min unsat cost LB: 58574 ... c Min unsat cost LB: 58850 ... c Min unsat cost LB: 58870 ... c Min unsat cost LB: 58896 ... c Min unsat cost LB: 58906 ... c Min unsat cost LB: 58916 ... c Min unsat cost LB: 58919 ... c Min unsat cost LB: 58920 ... c Min unsat cost LB: 58949 ... c Min unsat cost LB: 58957 ... c Min unsat cost LB: 58968 ... c Min unsat cost LB: 58978 ... c Min unsat cost LB: 59005 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59011 ... c Min unsat cost LB: 59015 ... c Min unsat cost LB: 59024 ... c Min unsat cost LB: 59027 ... c Min unsat cost LB: 59033 ... c Min unsat cost LB: 59038 ... c Min unsat cost LB: 59041 ... c Min unsat cost LB: 59051 ... c Min unsat cost LB: 59060 ... c Min unsat cost LB: 59071 ... c Min unsat cost LB: 59274 ... c Min unsat cost LB: 59452 ... c Min unsat cost LB: 59462 ... c Min unsat cost LB: 59644 ... c Min unsat cost LB: 59726 ... c Min unsat cost LB: 59800 ... c Min unsat cost LB: 59803 ... c Min unsat cost LB: 59810 ... c Min unsat cost LB: 59813 ... c Min unsat cost LB: 59882 ... c Min unsat cost LB: 59898 ... c Min unsat cost LB: 60209 ... c Min unsat cost LB: 60387 ... c Min unsat cost LB: 60454 ... c Min unsat cost LB: 60538 ... c Min unsat cost LB: 60553 ... c Min unsat cost LB: 60758 ... c Min unsat cost LB: 60803 ... c Min unsat cost LB: 61223 ... c Min unsat cost LB: 61244 ... c Min unsat cost LB: 61251 ... c Min unsat cost LB: 61253 ... c Min unsat cost LB: 61254 ... c Min unsat cost LB: 61263 ... c Min unsat cost LB: 61264 ... c Min unsat cost LB: 61266 ... c Min unsat cost LB: 61270 ... c Min unsat cost LB: 61273 ... c Min unsat cost LB: 61274 ... c Min unsat cost LB: 61276 ... c Min unsat cost LB: 61279 ... c Min unsat cost LB: 61415 ... c Min unsat cost LB: 61680 ... c Min unsat cost LB: 61736 ... c Min unsat cost LB: 61766 ... c Min unsat cost LB: 61842 ... c Min unsat cost LB: 61856 ... c Min unsat cost LB: 61864 ... c Min unsat cost LB: 61936 ... c Min unsat cost LB: 61938 ... c Min unsat cost LB: 61994 ... c Min unsat cost LB: 62004 ... c Min unsat cost LB: 62158 ... c Min unsat cost LB: 62490 ... c Min unsat cost LB: 62670 ... c Min unsat cost LB: 62673 ... c Min unsat cost LB: 62685 ... c Min unsat cost LB: 62690 ... c Min unsat cost LB: 62703 ... c Min unsat cost LB: 62711 ... c Min unsat cost LB: 62725 ... c Min unsat cost LB: 62727 ... c Min unsat cost LB: 62729 ... c Min unsat cost LB: 62746 ... c Min unsat cost LB: 62752 ... c Min unsat cost LB: 62760 ... c Min unsat cost LB: 62761 ... c Min unsat cost LB: 62798 ... c Min unsat cost LB: 62803 ... c Min unsat cost LB: 62816 ... c Min unsat cost LB: 62817 ... c Min unsat cost LB: 62839 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 62864 ... c Min unsat cost LB: 62899 ... c Min unsat cost LB: 62994 ... c Min unsat cost LB: 63268 ... c Min unsat cost LB: 63296 ... c Min unsat cost LB: 63363 ... c Min unsat cost LB: 63371 ... c Min unsat cost LB: 63375 ... c Min unsat cost LB: 63448 ... c Min unsat cost LB: 63496 ... c Min unsat cost LB: 63527 ... c Min unsat cost LB: 63791 ... c Min unsat cost LB: 63932 ... c Min unsat cost LB: 63933 ... c Min unsat cost LB: 63934 ... c Min unsat cost LB: 63940 ... c Min unsat cost LB: 63957 ... c Min unsat cost LB: 64182 ... c Min unsat cost LB: 64214 ... c Min unsat cost LB: 64243 ... c Min unsat cost LB: 64302 ... c Min unsat cost LB: 64325 ... c Min unsat cost LB: 64407 ... c Min unsat cost LB: 64534 ... c Min unsat cost LB: 64535 ... c Min unsat cost LB: 64536 ... c Min unsat cost LB: 64538 ... c Min unsat cost LB: 64540 ... c Min unsat cost LB: 64541 ... c Min unsat cost LB: 64542 ... c Min unsat cost LB: 64543 ... c Min unsat cost LB: 64544 ... c Min unsat cost LB: 64545 ... c Min unsat cost LB: 64546 ... c Min unsat cost LB: 64547 ... c Min unsat cost LB: 64548 ... c Min unsat cost LB: 64550 ... c Min unsat cost LB: 64593 ... c Min unsat cost LB: 64603 ... c Min unsat cost LB: 64646 ... c Min unsat cost LB: 64676 ... c Min unsat cost LB: 64721 ... c Min unsat cost LB: 64780 ... c Min unsat cost LB: 64796 ... c Min unsat cost LB: 64799 ... c Min unsat cost LB: 64802 ... c Min unsat cost LB: 64872 ... c Min unsat cost LB: 64876 ... c Min unsat cost LB: 65002 ... c Min unsat cost LB: 65050 ... c Min unsat cost LB: 65075 ... c Min unsat cost LB: 65187 ... c Min unsat cost LB: 65256 ... c Min unsat cost LB: 65257 ... c Min unsat cost LB: 65299 ... c Min unsat cost LB: 65307 ... c Min unsat cost LB: 65315 ... c Min unsat cost LB: 65424 ... c Min unsat cost LB: 65431 ... c Min unsat cost LB: 65461 ... c Min unsat cost LB: 65466 ... c Min unsat cost LB: 65693 ... c Min unsat cost LB: 65888 ... c Min unsat cost LB: 65909 ... c Min unsat cost LB: 65925 ... c Min unsat cost LB: 65929 ... c Min unsat cost LB: 65937 ... c Min unsat cost LB: 65965 ... c Min unsat cost LB: 65979 ... c Min unsat cost LB: 65992 ... c Min unsat cost LB: 66075 ... c Min unsat cost LB: 66234 ... c Min unsat cost LB: 66308 ... c Min unsat cost LB: 66319 ... c Min unsat cost LB: 66480 ... c Min unsat cost LB: 66511 ... c Min unsat cost LB: 66661 ... c Min unsat cost LB: 66842 ... c Min unsat cost LB: 67006 ... c Min unsat cost LB: 67007 ... c Min unsat cost LB: 67010 ... c Min unsat cost LB: 67034 ... c Min unsat cost LB: 67038 ... c Min unsat cost LB: 67353 ... c Min unsat cost LB: 67595 ... c Min unsat cost LB: 67672 ... c Min unsat cost LB: 67678 ... c Min unsat cost LB: 67699 ... c Min unsat cost LB: 67727 ... c Min unsat cost LB: 67778 ... c Min unsat cost LB: 67786 ... c Min unsat cost LB: 67800 ... c Min unsat cost LB: 67809 ... c Min unsat cost LB: 67813 ... c Min unsat cost LB: 67821 ... c Min unsat cost LB: 67823 ... c Min unsat cost LB: 67860 ... c Min unsat cost LB: 67868 ... c Min unsat cost LB: 67996 ... c Min unsat cost LB: 68007 ... c Min unsat cost LB: 68028 ... c Min unsat cost LB: 68053 ... c Min unsat cost LB: 68056 ... c Min unsat cost LB: 68090 ... c Min unsat cost LB: 68107 ... c Min unsat cost LB: 68126 ... c Min unsat cost LB: 68150 ... c Min unsat cost LB: 68216 ... c Min unsat cost LB: 68224 ... c Min unsat cost LB: 68257 ... c Min unsat cost LB: 68573 ... c Min unsat cost LB: 68742 ... c Min unsat cost LB: 68780 ... c Min unsat cost LB: 68788 ... c Min unsat cost LB: 69068 ... c Min unsat cost LB: 69069 ... c Min unsat cost LB: 69070 ... c Min unsat cost LB: 69072 ... c Min unsat cost LB: 69073 ... c Min unsat cost LB: 69263 ... c Min unsat cost LB: 69325 ... c Min unsat cost LB: 69392 ... c Min unsat cost LB: 69460 ... c Min unsat cost LB: 69467 ... c Min unsat cost LB: 69642 ... c Min unsat cost LB: 69981 ... c Min unsat cost LB: 70018 ... c Min unsat cost LB: 70168 ... c Min unsat cost LB: 70196 ... c Min unsat cost LB: 70210 ... c Min unsat cost LB: 70227 ... c Min unsat cost LB: 70278 ... c Min unsat cost LB: 70345 ... c Min unsat cost LB: 70376 ... c Min unsat cost LB: 70396 ... c Min unsat cost LB: 70401 ... c Min unsat cost LB: 70410 ... c Min unsat cost LB: 70463 ... c Min unsat cost LB: 70492 ... c Min unsat cost LB: 70571 ... c Min unsat cost LB: 70572 ... c Min unsat cost LB: 70573 ... c Min unsat cost LB: 70575 ... c Min unsat cost LB: 70576 ... c Min unsat cost LB: 70577 ... c Min unsat cost LB: 70716 ... c Min unsat cost LB: 70726 ... c Min unsat cost LB: 70778 ... c Min unsat cost LB: 70921 ... c Min unsat cost LB: 71207 ... c Min unsat cost LB: 71229 ... c Min unsat cost LB: 71335 ... c Min unsat cost LB: 71446 ... c Min unsat cost LB: 71535 ... c Min unsat cost LB: 71778 ... c Min unsat cost LB: 71818 ... c Min unsat cost LB: 71864 ... c Min unsat cost LB: 71871 ... c Min unsat cost LB: 72128 ... c Min unsat cost LB: 72227 ... c Min unsat cost LB: 72229 ... c Min unsat cost LB: 72291 ... c Min unsat cost LB: 72293 ... c Min unsat cost LB: 72297 ... c Min unsat cost LB: 72299 ... c Min unsat cost LB: 72300 ... c Min unsat cost LB: 72315 ... c Min unsat cost LB: 72319 ... c Min unsat cost LB: 72320 ... c Min unsat cost LB: 72321 ... c Min unsat cost LB: 72328 ... c Min unsat cost LB: 72338 ... c Min unsat cost LB: 72421 ... c Min unsat cost LB: 72428 ... c Min unsat cost LB: 72505 ... c Min unsat cost LB: 72626 ... c Min unsat cost LB: 72703 ... c Min unsat cost LB: 72860 ... c Min unsat cost LB: 72902 ... c Min unsat cost LB: 72967 ... c Min unsat cost LB: 72968 ... c Min unsat cost LB: 72969 ... c Min unsat cost LB: 72970 ... c Min unsat cost LB: 72971 ... c Min unsat cost LB: 72972 ... c Min unsat cost LB: 72973 ... c Min unsat cost LB: 72974 ... c Min unsat cost LB: 72975 ... c Min unsat cost LB: 72976 ... c Min unsat cost LB: 72977 ... c Min unsat cost LB: 72978 ... c Min unsat cost LB: 72979 ... c Min unsat cost LB: 72980 ... c Min unsat cost LB: 72981 ... c Min unsat cost LB: 72982 ... c Min unsat cost LB: 72983 ... c Min unsat cost LB: 72984 ... c Min unsat cost LB: 72985 ... c Min unsat cost LB: 72986 ... c Min unsat cost LB: 72987 ... c Min unsat cost LB: 73083 ... c Min unsat cost LB: 73141 ... c Min unsat cost LB: 73556 ... c Min unsat cost LB: 73866 ... c Min unsat cost LB: 74025 ... c Min unsat cost LB: 74288 ... c Min unsat cost LB: 74289 ... c Min unsat cost LB: 74569 ... c Min unsat cost LB: 74912 ... c Min unsat cost LB: 75099 ... c Min unsat cost LB: 75380 ... c Min unsat cost LB: 75428 ... c Min unsat cost LB: 75439 ... c Min unsat cost LB: 75672 ... c Min unsat cost LB: 75673 ... c Min unsat cost LB: 75694 ... c Min unsat cost LB: 75712 ... c Min unsat cost LB: 75719 ... c Min unsat cost LB: 75728 ... c Min unsat cost LB: 75747 ... c Min unsat cost LB: 75761 ... c Min unsat cost LB: 75785 ... c Min unsat cost LB: 75825 ... c Min unsat cost LB: 76157 ... c Min unsat cost LB: 76292 ... c Min unsat cost LB: 76354 ... c Min unsat cost LB: 76355 ... c Min unsat cost LB: 76371 ... c Min unsat cost LB: 76376 ... c Min unsat cost LB: 76380 ... c Min unsat cost LB: 76392 ... c Min unsat cost LB: 76397 ... c Min unsat cost LB: 76404 ... c Min unsat cost LB: 76415 ... c Min unsat cost LB: 76417 ... c Min unsat cost LB: 76423 ... c Min unsat cost LB: 76424 ... c Min unsat cost LB: 76438 ... c Min unsat cost LB: 76445 ... c Min unsat cost LB: 76452 ... c Min unsat cost LB: 76459 ... c Min unsat cost LB: 76466 ... c Min unsat cost LB: 76476 ... c Min unsat cost LB: 76483 ... c Min unsat cost LB: 76489 ... c Min unsat cost LB: 76491 ... c Min unsat cost LB: 76494 ... c Min unsat cost LB: 76498 ... c Min unsat cost LB: 76503 ... c Min unsat cost LB: 76505 ... c Min unsat cost LB: 76507 ... c Min unsat cost LB: 76508 ... c Min unsat cost LB: 76511 ... c Min unsat cost LB: 76512 ... c Min unsat cost LB: 76514 ... c Min unsat cost LB: 76517 ... c Min unsat cost LB: 76518 ... c Min unsat cost LB: 76519 ... c Min unsat cost LB: 76521 ... c Min unsat cost LB: 76522 ... c Min unsat cost LB: 76526 ... c Min unsat cost LB: 76538 ... c Min unsat cost LB: 76540 ... c Min unsat cost LB: 76557 ... c Min unsat cost LB: 76563 ... c Min unsat cost LB: 76566 ... c Min unsat cost LB: 76636 ... c Min unsat cost LB: 76637 ... c Min unsat cost LB: 76640 ... c Min unsat cost LB: 76642 ... c Min unsat cost LB: 76653 ... c Min unsat cost LB: 76659 ... c Min unsat cost LB: 76661 ... c Min unsat cost LB: 76794 ... c Min unsat cost LB: 76800 ... c Min unsat cost LB: 76805 ... c Min unsat cost LB: 76807 ... c Min unsat cost LB: 76810 ... c Min unsat cost LB: 76822 ... c Min unsat cost LB: 76831 ... c Min unsat cost LB: 76836 ... c Min unsat cost LB: 76837 ... c Min unsat cost LB: 76842 ... c Min unsat cost LB: 76844 ... c Min unsat cost LB: 76845 ... c Min unsat cost LB: 76852 ... c Min unsat cost LB: 76860 ... c Min unsat cost LB: 76873 ... c Min unsat cost LB: 76902 ... c Min unsat cost LB: 76905 ... c Min unsat cost LB: 76918 ... c Min unsat cost LB: 76919 ... c Min unsat cost LB: 76920 ... c Min unsat cost LB: 76921 ... c Min unsat cost LB: 76923 ... c Min unsat cost LB: 76925 ... c Min unsat cost LB: 76926 ... c Min unsat cost LB: 76927 ... c Min unsat cost LB: 76928 ... c Min unsat cost LB: 76929 ... c Min unsat cost LB: 76930 ... c Min unsat cost LB: 76931 ... c Min unsat cost LB: 76932 ... c Min unsat cost LB: 76933 ... c Min unsat cost LB: 76971 ... c Min unsat cost LB: 76975 ... c Min unsat cost LB: 77000 ... c Min unsat cost LB: 77001 ... c Min unsat cost LB: 77002 ... c Min unsat cost LB: 77040 ... c Min unsat cost LB: 77042 ... c Min unsat cost LB: 77044 ... c Min unsat cost LB: 77045 ... c Min unsat cost LB: 77046 ... c Min unsat cost LB: 77059 ... c Min unsat cost LB: 77084 ... c Min unsat cost LB: 77246 ... c Min unsat cost LB: 77281 ... c Min unsat cost LB: 77312 ... c Min unsat cost LB: 77682 ... c Min unsat cost LB: 77861 ... c Min unsat cost LB: 77862 ... c Min unsat cost LB: 77863 ... c Min unsat cost LB: 77879 ... c Min unsat cost LB: 77888 ... c Min unsat cost LB: 77889 ... c Min unsat cost LB: 77890 ... c Min unsat cost LB: 77893 ... c Min unsat cost LB: 77894 ... c Min unsat cost LB: 77895 ... c Min unsat cost LB: 77899 ... c Min unsat cost LB: 77900 ... c Min unsat cost LB: 77901 ... c Min unsat cost LB: 77909 ... c Min unsat cost LB: 77913 ... c Min unsat cost LB: 77983 ... c Min unsat cost LB: 77994 ... c Min unsat cost LB: 78021 ... c Min unsat cost LB: 78022 ... c Min unsat cost LB: 78023 ... c Min unsat cost LB: 78024 ... c Min unsat cost LB: 78025 ... c Min unsat cost LB: 78026 ... c Min unsat cost LB: 78027 ... c Min unsat cost LB: 78028 ... c Min unsat cost LB: 78029 ... c Min unsat cost LB: 78030 ... c Min unsat cost LB: 78031 ... c Min unsat cost LB: 78032 ... c Min unsat cost LB: 78033 ... c Min unsat cost LB: 78034 ... c Min unsat cost LB: 78035 ... c Min unsat cost LB: 78036 ... c Min unsat cost LB: 78037 ... c Min unsat cost LB: 78038 ... c Min unsat cost LB: 78039 ... c Min unsat cost LB: 78040 ... c Min unsat cost LB: 78041 ... c Min unsat cost LB: 78042 ... c Min unsat cost LB: 78043 ... c Min unsat cost LB: 78044 ... c Min unsat cost LB: 78045 ... c Min unsat cost LB: 78046 ... c Min unsat cost LB: 78047 ... c Min unsat cost LB: 78048 ... c Min unsat cost LB: 78049 ... c Min unsat cost LB: 78050 ... c Min unsat cost LB: 78051 ... c Min unsat cost LB: 78052 ... c Min unsat cost LB: 78055 ... c Min unsat cost LB: 78056 ... c Min unsat cost LB: 78057 ... c Min unsat cost LB: 78058 ... c Min unsat cost LB: 78063 ... c Min unsat cost LB: 78064 ... c Min unsat cost LB: 78065 ... c Min unsat cost LB: 78066 ... c Min unsat cost LB: 78067 ... c Min unsat cost LB: 78068 ... c Min unsat cost LB: 78069 ... c Min unsat cost LB: 78070 ... c Min unsat cost LB: 78071 ... c Min unsat cost LB: 78072 ... c Min unsat cost LB: 78073 ... c Min unsat cost LB: 78074 ... c Min unsat cost LB: 78075 ... c Min unsat cost LB: 78076 ... c Min unsat cost LB: 78078 ... c Min unsat cost LB: 78079 ... c Min unsat cost LB: 78080 ... c Min unsat cost LB: 78081 ... c Min unsat cost LB: 78082 ... c Min unsat cost LB: 78083 ... c Min unsat cost LB: 78084 ... c Min unsat cost LB: 78085 ... c Min unsat cost LB: 78086 ... c Min unsat cost LB: 78087 ... c Min unsat cost LB: 78088 ... c Min unsat cost LB: 78089 ... c Min unsat cost LB: 78090 ... c Min unsat cost LB: 78091 ... c Min unsat cost LB: 78092 ... c Min unsat cost LB: 78093 ... c Min unsat cost LB: 78094 ... c Min unsat cost LB: 78095 ... c Min unsat cost LB: 78096 ... c Min unsat cost LB: 78097 ... c Min unsat cost LB: 78098 ... c Min unsat cost LB: 78099 ... c Min unsat cost LB: 78100 ... c Min unsat cost LB: 78101 ... c Min unsat cost LB: 78102 ... c Min unsat cost LB: 78103 ... c Min unsat cost LB: 78104 ... c Min unsat cost LB: 78105 ... c Min unsat cost LB: 78106 ... c Min unsat cost LB: 78107 ... c Min unsat cost LB: 78108 ... c Min unsat cost LB: 78109 ... c Min unsat cost LB: 78110 ... c Min unsat cost LB: 78111 ... c Min unsat cost LB: 78112 ... c Min unsat cost LB: 78155 ... c Min unsat cost LB: 78156 ... c Min unsat cost LB: 78157 ... c Min unsat cost LB: 78158 ... c Min unsat cost LB: 78159 ... c Min unsat cost LB: 78160 ... c Min unsat cost LB: 78161 ... c Min unsat cost LB: 78162 ... c Min unsat cost LB: 78163 ... c Min unsat cost LB: 78164 ... c Min unsat cost LB: 78165 ... c Min unsat cost LB: 78166 ... c Min unsat cost LB: 78167 ... c Min unsat cost LB: 78168 ... c Min unsat cost LB: 78169 ... c Min unsat cost LB: 78170 ... c Min unsat cost LB: 78171 ... c Min unsat cost LB: 78172 ... c Min unsat cost LB: 78201 ... c Min unsat cost LB: 78256 ... c Min unsat cost LB: 78443 ... c Min unsat cost LB: 78444 ... c Min unsat cost LB: 78445 ... c Min unsat cost LB: 78446 ... c Min unsat cost LB: 78447 ... c Min unsat cost LB: 78448 ... c Min unsat cost LB: 78449 ... c Min unsat cost LB: 78450 ... c Min unsat cost LB: 78451 ... c Min unsat cost LB: 78452 ... c Min unsat cost LB: 78453 ... c Min unsat cost LB: 78454 ... c Min unsat cost LB: 78455 ... c Min unsat cost LB: 78456 ... c Min unsat cost LB: 78457 ... c Min unsat cost LB: 78458 ... c Min unsat cost LB: 78459 ... c Min unsat cost LB: 78471 ... c Min unsat cost LB: 78472 ... c Min unsat cost LB: 78473 ... c Min unsat cost LB: 78474 ... c Min unsat cost LB: 78475 ... c Min unsat cost LB: 78476 ... c Min unsat cost LB: 78477 ... c Min unsat cost LB: 78478 ... c Min unsat cost LB: 78479 ... c Min unsat cost LB: 78481 ... c Min unsat cost LB: 78483 ... c Min unsat cost LB: 78521 ... c Min unsat cost LB: 78522 ... c Min unsat cost LB: 78523 ... c Min unsat cost LB: 78524 ... c Min unsat cost LB: 78525 ... c Min unsat cost LB: 78527 ... c Min unsat cost LB: 78528 ... c Min unsat cost LB: 78529 ... c Min unsat cost LB: 78530 ... c Min unsat cost LB: 78531 ... c Min unsat cost LB: 78543 ... c Min unsat cost LB: 78544 ... c Min unsat cost LB: 78545 ... c Min unsat cost LB: 78546 ... c Min unsat cost LB: 78547 ... c Min unsat cost LB: 78548 ... c Min unsat cost LB: 78549 ... c Min unsat cost LB: 78550 ... c Min unsat cost LB: 78551 ... c Min unsat cost LB: 78552 ... c Min unsat cost LB: 78553 ... c Min unsat cost LB: 78554 ... c Min unsat cost LB: 78555 ... c Min unsat cost LB: 78556 ... c Min unsat cost LB: 78557 ... c Min unsat cost LB: 78558 ... c Min unsat cost LB: 78559 ... c Min unsat cost LB: 78560 ... c Min unsat cost LB: 78561 ... c Min unsat cost LB: 78562 ... c Min unsat cost LB: 78563 ... c Min unsat cost LB: 78564 ... c Min unsat cost LB: 78572 ... c Min unsat cost LB: 78674 ... c Min unsat cost LB: 78797 ... c Min unsat cost LB: 78798 ... c Min unsat cost LB: 78799 ... c Min unsat cost LB: 78800 ... c Min unsat cost LB: 78829 ... c Min unsat cost LB: 78830 ... c Min unsat cost LB: 78831 ... c Min unsat cost LB: 78832 ... c Min unsat cost LB: 78833 ... c Min unsat cost LB: 78834 ... c Min unsat cost LB: 78836 ... c Min unsat cost LB: 78838 ... c Min unsat cost LB: 78839 ... c Min unsat cost LB: 78840 ... c Min unsat cost LB: 78841 ... c Min unsat cost LB: 78842 ... c Min unsat cost LB: 78843 ... c Min unsat cost LB: 78844 ... c Min unsat cost LB: 78881 ... c Min unsat cost LB: 78883 ... c Min unsat cost LB: 78884 ... c Min unsat cost LB: 78885 ... c Min unsat cost LB: 78886 ... c Min unsat cost LB: 78887 ... c Min unsat cost LB: 78888 ... c Min unsat cost LB: 78889 ... c Min unsat cost LB: 78890 ... c Min unsat cost LB: 78894 ... c Min unsat cost LB: 78896 ... c Min unsat cost LB: 78897 ... c Min unsat cost LB: 78898 ... c Min unsat cost LB: 78899 ... c Min unsat cost LB: 78908 ... c Min unsat cost LB: 78942 ... c Min unsat cost LB: 78943 ... c Min unsat cost LB: 78944 ... c Min unsat cost LB: 78945 ... c Min unsat cost LB: 78946 ... c Min unsat cost LB: 78947 ... c Min unsat cost LB: 79002 ... c Min unsat cost LB: 79003 ... c Min unsat cost LB: 79004 ... c Min unsat cost LB: 79005 ... c Min unsat cost LB: 79006 ... c Min unsat cost LB: 79007 ... c Min unsat cost LB: 79008 ... c Min unsat cost LB: 79009 ... c Min unsat cost LB: 79010 ... c Min unsat cost LB: 79011 ... c Min unsat cost LB: 79012 ... c Min unsat cost LB: 79013 ... c Min unsat cost LB: 79014 ... c Min unsat cost LB: 79015 ... c Min unsat cost LB: 79016 ... c Min unsat cost LB: 79017 ... c Min unsat cost LB: 79018 ... c Min unsat cost LB: 79019 ... c Min unsat cost LB: 79020 ... c Min unsat cost LB: 79021 ... c Min unsat cost LB: 79022 ... c Min unsat cost LB: 79023 ... c Min unsat cost LB: 79024 ... c Min unsat cost LB: 79025 ... c Min unsat cost LB: 79026 ... c Min unsat cost LB: 79027 ... c Min unsat cost LB: 79028 ... c Min unsat cost LB: 79100 ... c Min unsat cost LB: 79112 ... c Min unsat cost LB: 79193 ... c Min unsat cost LB: 79335 ... c Min unsat cost LB: 79394 ... c Min unsat cost LB: 79527 ... c Min unsat cost LB: 79695 ... c Min unsat cost LB: 79767 ... c Min unsat cost LB: 79858 ... c Min unsat cost LB: 79945 ... c Min unsat cost LB: 80017 ... c Min unsat cost LB: 80029 ... c Min unsat cost LB: 80030 ... c Min unsat cost LB: 80047 ... c Min unsat cost LB: 80061 ... c Min unsat cost LB: 80100 ... c Min unsat cost LB: 80110 ... c Min unsat cost LB: 80116 ... c Min unsat cost LB: 80159 ... c Min unsat cost LB: 80222 ... c Min unsat cost LB: 80252 ... c Min unsat cost LB: 80286 ... c Min unsat cost LB: 80305 ... c Min unsat cost LB: 80316 ... c Min unsat cost LB: 80322 ... c Min unsat cost LB: 80642 ... c Min unsat cost LB: 80643 ... c Min unsat cost LB: 80989 ... c Min unsat cost LB: 81012 ... c Min unsat cost LB: 81144 ... c Min unsat cost LB: 81219 ... c Min unsat cost LB: 81337 ... c Min unsat cost LB: 81423 ... c Min unsat cost LB: 81566 ... c Min unsat cost LB: 81607 ... c Min unsat cost LB: 81758 ... c Min unsat cost LB: 81804 ... c Min unsat cost LB: 81989 ... c Min unsat cost LB: 82197 ... c Min unsat cost LB: 82198 ... c Min unsat cost LB: 82209 ... c Min unsat cost LB: 82219 ... c Min unsat cost LB: 82225 ... c Min unsat cost LB: 82243 ... c Min unsat cost LB: 82248 ... c Min unsat cost LB: 82258 ... c Min unsat cost LB: 82262 ... c Min unsat cost LB: 82264 ... c Min unsat cost LB: 82268 ... c Min unsat cost LB: 82273 ... c Min unsat cost LB: 82279 ... c Min unsat cost LB: 82292 ... c Min unsat cost LB: 82296 ... c Min unsat cost LB: 82300 ... c Min unsat cost LB: 82306 ... c Min unsat cost LB: 82311 ... c Min unsat cost LB: 82325 ... c Min unsat cost LB: 82331 ... c Min unsat cost LB: 82432 ... c Min unsat cost LB: 82513 ... c Min unsat cost LB: 82651 ... c Min unsat cost LB: 82682 ... c Min unsat cost LB: 82873 ... c Min unsat cost LB: 82932 ... c Min unsat cost LB: 82965 ... c Min unsat cost LB: 82977 ... c Min unsat cost LB: 82985 ... c Min unsat cost LB: 82986 ... c Min unsat cost LB: 83027 ... c Min unsat cost LB: 83171 ... c Min unsat cost LB: 83735 ... c Min unsat cost LB: 83794 ... c Min unsat cost LB: 83795 ... c Min unsat cost LB: 83910 ... c Min unsat cost LB: 83964 ... c Min unsat cost LB: 84043 ... c Min unsat cost LB: 84061 ... c Min unsat cost LB: 84115 ... c Min unsat cost LB: 84132 ... c Min unsat cost LB: 84186 ... c Min unsat cost LB: 84223 ... c Min unsat cost LB: 84543 ... c Min unsat cost LB: 84570 ... c Min unsat cost LB: 84712 ... c Min unsat cost LB: 84799 ... c Min unsat cost LB: 84896 ... c Min unsat cost LB: 85115 ... c Min unsat cost LB: 85243 ... c Min unsat cost LB: 85573 ... c Min unsat cost LB: 85652 ... c Min unsat cost LB: 85797 ... c Min unsat cost LB: 85839 ... c Min unsat cost LB: 85840 ... c Min unsat cost LB: 85843 ... c Min unsat cost LB: 85912 ... c Min unsat cost LB: 86002 ... c Min unsat cost LB: 86003 ... c Min unsat cost LB: 86059 ... c Min unsat cost LB: 86095 ... c Min unsat cost LB: 86485 ... c Min unsat cost LB: 86711 ... c Min unsat cost LB: 86928 ... c Min unsat cost LB: 87291 ... c Min unsat cost LB: 87292 ... c Min unsat cost LB: 87293 ... c Min unsat cost LB: 87294 ... c Min unsat cost LB: 87295 ... c Min unsat cost LB: 87296 ... c Min unsat cost LB: 87297 ... c Min unsat cost LB: 87298 ... c Min unsat cost LB: 87299 ... c Min unsat cost LB: 87300 ... c Min unsat cost LB: 87301 ... c Min unsat cost LB: 87302 ... c Min unsat cost LB: 87303 ... c Min unsat cost LB: 87304 ... c Min unsat cost LB: 87305 ... c Min unsat cost LB: 87306 ... c Min unsat cost LB: 87307 ... c Min unsat cost LB: 87308 ... c Min unsat cost LB: 87309 ... c Min unsat cost LB: 87310 ... c Min unsat cost LB: 87311 ... c Min unsat cost LB: 87312 ... c Min unsat cost LB: 87313 ... c Min unsat cost LB: 87314 ... c Min unsatKilled 1813.418u 6.324s 30:19.88 99.9% 0+0k 0+0io 0pf+0w