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-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_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-80-2_network-1.net.wcnf *** c c Min unsat cost LB: 690 ... c Min unsat cost LB: 2025 ... c Min unsat cost LB: 2363 ... c Min unsat cost LB: 3037 ... c Min unsat cost LB: 3673 ... c Min unsat cost LB: 4088 ... c Min unsat cost LB: 5371 ... c Min unsat cost LB: 6335 ... c Min unsat cost LB: 8008 ... c Min unsat cost LB: 9534 ... c Min unsat cost LB: 10087 ... c Min unsat cost LB: 10118 ... c Min unsat cost LB: 10809 ... c Min unsat cost LB: 11597 ... c Min unsat cost LB: 13049 ... c Min unsat cost LB: 13333 ... c Min unsat cost LB: 13730 ... c Min unsat cost LB: 13739 ... c Min unsat cost LB: 13741 ... c Min unsat cost LB: 14360 ... c Min unsat cost LB: 14949 ... c Min unsat cost LB: 15157 ... c Min unsat cost LB: 15374 ... c Min unsat cost LB: 16650 ... c Min unsat cost LB: 16675 ... c Min unsat cost LB: 16736 ... c Min unsat cost LB: 16743 ... c Min unsat cost LB: 16757 ... c Min unsat cost LB: 17088 ... c Min unsat cost LB: 17286 ... c Min unsat cost LB: 17326 ... c Min unsat cost LB: 17374 ... c Min unsat cost LB: 17473 ... c Min unsat cost LB: 17504 ... c Min unsat cost LB: 17532 ... c Min unsat cost LB: 17577 ... c Min unsat cost LB: 17600 ... c Min unsat cost LB: 17664 ... c Min unsat cost LB: 18499 ... c Min unsat cost LB: 18943 ... c Min unsat cost LB: 19222 ... c Min unsat cost LB: 19470 ... c Min unsat cost LB: 19818 ... c Min unsat cost LB: 19876 ... c Min unsat cost LB: 19944 ... c Min unsat cost LB: 19960 ... c Min unsat cost LB: 20016 ... c Min unsat cost LB: 20156 ... c Min unsat cost LB: 20801 ... c Min unsat cost LB: 20937 ... c Min unsat cost LB: 21043 ... c Min unsat cost LB: 21112 ... c Min unsat cost LB: 21347 ... c Min unsat cost LB: 21974 ... c Min unsat cost LB: 21997 ... c Min unsat cost LB: 22023 ... c Min unsat cost LB: 22238 ... c Min unsat cost LB: 22400 ... c Min unsat cost LB: 22746 ... c Min unsat cost LB: 22762 ... c Min unsat cost LB: 22784 ... c Min unsat cost LB: 23166 ... c Min unsat cost LB: 23619 ... c Min unsat cost LB: 23700 ... c Min unsat cost LB: 23749 ... c Min unsat cost LB: 23916 ... c Min unsat cost LB: 25035 ... c Min unsat cost LB: 25212 ... c Min unsat cost LB: 25241 ... c Min unsat cost LB: 25246 ... c Min unsat cost LB: 25280 ... c Min unsat cost LB: 25418 ... c Min unsat cost LB: 26404 ... c Min unsat cost LB: 26408 ... c Min unsat cost LB: 26447 ... c Min unsat cost LB: 26500 ... c Min unsat cost LB: 26605 ... c Min unsat cost LB: 26762 ... c Min unsat cost LB: 26847 ... c Min unsat cost LB: 27041 ... c Min unsat cost LB: 27058 ... c Min unsat cost LB: 27068 ... c Min unsat cost LB: 27107 ... c Min unsat cost LB: 27128 ... c Min unsat cost LB: 27261 ... c Min unsat cost LB: 28517 ... c Min unsat cost LB: 28534 ... c Min unsat cost LB: 28692 ... c Min unsat cost LB: 28812 ... c Min unsat cost LB: 28978 ... c Min unsat cost LB: 28995 ... c Min unsat cost LB: 29052 ... c Min unsat cost LB: 29136 ... c Min unsat cost LB: 29182 ... c Min unsat cost LB: 29552 ... c Min unsat cost LB: 29635 ... c Min unsat cost LB: 29767 ... c Min unsat cost LB: 29786 ... c Min unsat cost LB: 29881 ... c Min unsat cost LB: 30131 ... c Min unsat cost LB: 30287 ... c Min unsat cost LB: 30414 ... c Min unsat cost LB: 30433 ... c Min unsat cost LB: 30610 ... c Min unsat cost LB: 30752 ... c Min unsat cost LB: 30879 ... c Min unsat cost LB: 30894 ... c Min unsat cost LB: 31023 ... c Min unsat cost LB: 31048 ... c Min unsat cost LB: 31901 ... c Min unsat cost LB: 31926 ... c Min unsat cost LB: 31932 ... c Min unsat cost LB: 31972 ... c Min unsat cost LB: 31988 ... c Min unsat cost LB: 32075 ... c Min unsat cost LB: 32081 ... c Min unsat cost LB: 32130 ... c Min unsat cost LB: 32185 ... c Min unsat cost LB: 32237 ... c Min unsat cost LB: 32248 ... c Min unsat cost LB: 32270 ... c Min unsat cost LB: 32271 ... c Min unsat cost LB: 32278 ... c Min unsat cost LB: 32501 ... c Min unsat cost LB: 32526 ... c Min unsat cost LB: 32593 ... c Min unsat cost LB: 32618 ... c Min unsat cost LB: 32713 ... c Min unsat cost LB: 32764 ... c Min unsat cost LB: 32797 ... c Min unsat cost LB: 32877 ... c Min unsat cost LB: 32887 ... c Min unsat cost LB: 32929 ... c Min unsat cost LB: 32939 ... c Min unsat cost LB: 32943 ... c Min unsat cost LB: 32947 ... c Min unsat cost LB: 32952 ... c Min unsat cost LB: 32954 ... c Min unsat cost LB: 32969 ... c Min unsat cost LB: 32970 ... c Min unsat cost LB: 32981 ... c Min unsat cost LB: 33006 ... c Min unsat cost LB: 33040 ... c Min unsat cost LB: 33066 ... c Min unsat cost LB: 33085 ... c Min unsat cost LB: 33091 ... c Min unsat cost LB: 33097 ... c Min unsat cost LB: 33102 ... c Min unsat cost LB: 33103 ... c Min unsat cost LB: 33128 ... c Min unsat cost LB: 33131 ... c Min unsat cost LB: 33141 ... c Min unsat cost LB: 33147 ... c Min unsat cost LB: 33171 ... c Min unsat cost LB: 33172 ... c Min unsat cost LB: 33193 ... c Min unsat cost LB: 33197 ... c Min unsat cost LB: 33203 ... c Min unsat cost LB: 33204 ... c Min unsat cost LB: 33212 ... c Min unsat cost LB: 33217 ... c Min unsat cost LB: 33607 ... c Min unsat cost LB: 33698 ... c Min unsat cost LB: 33907 ... c Min unsat cost LB: 34025 ... c Min unsat cost LB: 34102 ... c Min unsat cost LB: 34209 ... c Min unsat cost LB: 34247 ... c Min unsat cost LB: 34429 ... c Min unsat cost LB: 34964 ... c Min unsat cost LB: 34966 ... c Min unsat cost LB: 34970 ... c Min unsat cost LB: 34971 ... c Min unsat cost LB: 34972 ... c Min unsat cost LB: 34973 ... c Min unsat cost LB: 34975 ... c Min unsat cost LB: 34977 ... c Min unsat cost LB: 34978 ... c Min unsat cost LB: 34981 ... c Min unsat cost LB: 34982 ... c Min unsat cost LB: 34984 ... c Min unsat cost LB: 34986 ... c Min unsat cost LB: 34987 ... c Min unsat cost LB: 34989 ... c Min unsat cost LB: 34992 ... c Min unsat cost LB: 35006 ... c Min unsat cost LB: 35016 ... c Min unsat cost LB: 35017 ... c Min unsat cost LB: 35028 ... c Min unsat cost LB: 35035 ... c Min unsat cost LB: 35073 ... c Min unsat cost LB: 35081 ... c Min unsat cost LB: 35139 ... c Min unsat cost LB: 35184 ... c Min unsat cost LB: 35207 ... c Min unsat cost LB: 35329 ... c Min unsat cost LB: 35453 ... c Min unsat cost LB: 35465 ... c Min unsat cost LB: 35479 ... c Min unsat cost LB: 35486 ... c Min unsat cost LB: 35562 ... c Min unsat cost LB: 35581 ... c Min unsat cost LB: 35604 ... c Min unsat cost LB: 35713 ... c Min unsat cost LB: 35817 ... c Min unsat cost LB: 35896 ... c Min unsat cost LB: 36175 ... c Min unsat cost LB: 36180 ... c Min unsat cost LB: 36195 ... c Min unsat cost LB: 36214 ... c Min unsat cost LB: 36410 ... c Min unsat cost LB: 36470 ... c Min unsat cost LB: 36473 ... c Min unsat cost LB: 36562 ... c Min unsat cost LB: 36609 ... c Min unsat cost LB: 36770 ... c Min unsat cost LB: 36772 ... c Min unsat cost LB: 36891 ... c Min unsat cost LB: 37307 ... c Min unsat cost LB: 37660 ... c Min unsat cost LB: 37689 ... c Min unsat cost LB: 37704 ... c Min unsat cost LB: 37709 ... c Min unsat cost LB: 37752 ... c Min unsat cost LB: 37818 ... c Min unsat cost LB: 37900 ... c Min unsat cost LB: 37919 ... c Min unsat cost LB: 37976 ... c Min unsat cost LB: 38146 ... c Min unsat cost LB: 38218 ... c Min unsat cost LB: 38528 ... c Min unsat cost LB: 38758 ... c Min unsat cost LB: 38859 ... c Min unsat cost LB: 38981 ... c Min unsat cost LB: 39073 ... c Min unsat cost LB: 39170 ... c Min unsat cost LB: 39494 ... c Min unsat cost LB: 39530 ... c Min unsat cost LB: 39655 ... c Min unsat cost LB: 39755 ... c Min unsat cost LB: 39816 ... c Min unsat cost LB: 39969 ... c Min unsat cost LB: 40315 ... c Min unsat cost LB: 40352 ... c Min unsat cost LB: 40382 ... c Min unsat cost LB: 40387 ... c Min unsat cost LB: 40402 ... c Min unsat cost LB: 40418 ... c Min unsat cost LB: 40425 ... c Min unsat cost LB: 40430 ... c Min unsat cost LB: 40483 ... c Min unsat cost LB: 40499 ... c Min unsat cost LB: 40500 ... c Min unsat cost LB: 40676 ... c Min unsat cost LB: 40713 ... c Min unsat cost LB: 40743 ... c Min unsat cost LB: 40745 ... c Min unsat cost LB: 40770 ... c Min unsat cost LB: 40841 ... c Min unsat cost LB: 40930 ... c Min unsat cost LB: 41017 ... c Min unsat cost LB: 41161 ... c Min unsat cost LB: 41192 ... c Min unsat cost LB: 41193 ... c Min unsat cost LB: 41195 ... c Min unsat cost LB: 41202 ... c Min unsat cost LB: 41218 ... c Min unsat cost LB: 41240 ... c Min unsat cost LB: 41248 ... c Min unsat cost LB: 41253 ... c Min unsat cost LB: 41261 ... c Min unsat cost LB: 41269 ... c Min unsat cost LB: 41337 ... c Min unsat cost LB: 41340 ... c Min unsat cost LB: 41346 ... c Min unsat cost LB: 41361 ... c Min unsat cost LB: 41414 ... c Min unsat cost LB: 41439 ... c Min unsat cost LB: 41518 ... c Min unsat cost LB: 41615 ... c Min unsat cost LB: 41620 ... c Min unsat cost LB: 41626 ... c Min unsat cost LB: 41657 ... c Min unsat cost LB: 41665 ... c Min unsat cost LB: 41687 ... c Min unsat cost LB: 41755 ... c Min unsat cost LB: 41765 ... c Min unsat cost LB: 41948 ... c Min unsat cost LB: 42013 ... c Min unsat cost LB: 42402 ... c Min unsat cost LB: 42409 ... c Min unsat cost LB: 42578 ... c Min unsat cost LB: 42782 ... c Min unsat cost LB: 42942 ... c Min unsat cost LB: 42985 ... c Min unsat cost LB: 43194 ... c Min unsat cost LB: 43221 ... c Min unsat cost LB: 43605 ... c Min unsat cost LB: 43645 ... c Min unsat cost LB: 43689 ... c Min unsat cost LB: 43731 ... c Min unsat cost LB: 43838 ... c Min unsat cost LB: 43866 ... c Min unsat cost LB: 43987 ... c Min unsat cost LB: 44061 ... c Min unsat cost LB: 44078 ... c Min unsat cost LB: 44131 ... c Min unsat cost LB: 44343 ... c Min unsat cost LB: 44435 ... c Min unsat cost LB: 44450 ... c Min unsat cost LB: 44579 ... c Min unsat cost LB: 44582 ... c Min unsat cost LB: 44614 ... c Min unsat cost LB: 44626 ... c Min unsat cost LB: 44696 ... c Min unsat cost LB: 44715 ... c Min unsat cost LB: 44749 ... c Min unsat cost LB: 44770 ... c Min unsat cost LB: 44798 ... c Min unsat cost LB: 44802 ... c Min unsat cost LB: 44875 ... c Min unsat cost LB: 44922 ... c Min unsat cost LB: 45120 ... c Min unsat cost LB: 45167 ... c Min unsat cost LB: 45215 ... c Min unsat cost LB: 45240 ... c Min unsat cost LB: 45680 ... c Min unsat cost LB: 45684 ... c Min unsat cost LB: 45697 ... c Min unsat cost LB: 45720 ... c Min unsat cost LB: 45754 ... c Min unsat cost LB: 45793 ... c Min unsat cost LB: 45808 ... c Min unsat cost LB: 45812 ... c Min unsat cost LB: 45854 ... c Min unsat cost LB: 45935 ... c Min unsat cost LB: 45948 ... c Min unsat cost LB: 45952 ... c Min unsat cost LB: 46073 ... c Min unsat cost LB: 46261 ... c Min unsat cost LB: 46284 ... c Min unsat cost LB: 46317 ... c Min unsat cost LB: 46635 ... c Min unsat cost LB: 46693 ... c Min unsat cost LB: 46734 ... c Min unsat cost LB: 46917 ... c Min unsat cost LB: 47162 ... c Min unsat cost LB: 47463 ... c Min unsat cost LB: 47489 ... c Min unsat cost LB: 47615 ... c Min unsat cost LB: 47633 ... c Min unsat cost LB: 47641 ... c Min unsat cost LB: 47645 ... c Min unsat cost LB: 47646 ... c Min unsat cost LB: 47722 ... c Min unsat cost LB: 47726 ... c Min unsat cost LB: 47727 ... c Min unsat cost LB: 47731 ... c Min unsat cost LB: 47744 ... c Min unsat cost LB: 47762 ... c Min unsat cost LB: 47807 ... c Min unsat cost LB: 47843 ... c Min unsat cost LB: 47847 ... c Min unsat cost LB: 47864 ... c Min unsat cost LB: 47990 ... c Min unsat cost LB: 48016 ... c Min unsat cost LB: 48034 ... c Min unsat cost LB: 48174 ... c Min unsat cost LB: 48278 ... c Min unsat cost LB: 48343 ... c Min unsat cost LB: 48374 ... c Min unsat cost LB: 48575 ... c Min unsat cost LB: 48635 ... c Min unsat cost LB: 48711 ... c Min unsat cost LB: 48715 ... c Min unsat cost LB: 48719 ... c Min unsat cost LB: 48727 ... c Min unsat cost LB: 48745 ... c Min unsat cost LB: 48790 ... c Min unsat cost LB: 48800 ... c Min unsat cost LB: 48816 ... c Min unsat cost LB: 48869 ... c Min unsat cost LB: 48931 ... c Min unsat cost LB: 48973 ... c Min unsat cost LB: 49039 ... c Min unsat cost LB: 49046 ... c Min unsat cost LB: 49157 ... c Min unsat cost LB: 49186 ... c Min unsat cost LB: 49214 ... c Min unsat cost LB: 49223 ... c Min unsat cost LB: 49337 ... c Min unsat cost LB: 49488 ... c Min unsat cost LB: 49490 ... c Min unsat cost LB: 49499 ... c Min unsat cost LB: 49507 ... c Min unsat cost LB: 49559 ... c Min unsat cost LB: 49566 ... c Min unsat cost LB: 49588 ... c Min unsat cost LB: 49626 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49668 ... c Min unsat cost LB: 49689 ... c Min unsat cost LB: 49712 ... c Min unsat cost LB: 50230 ... c Min unsat cost LB: 50261 ... c Min unsat cost LB: 50396 ... c Min unsat cost LB: 50821 ... c Min unsat cost LB: 50979 ... c Min unsat cost LB: 50983 ... c Min unsat cost LB: 50991 ... c Min unsat cost LB: 50996 ... c Min unsat cost LB: 50997 ... c Min unsat cost LB: 51006 ... c Min unsat cost LB: 51013 ... c Min unsat cost LB: 51018 ... c Min unsat cost LB: 51019 ... c Min unsat cost LB: 51023 ... c Min unsat cost LB: 51036 ... c Min unsat cost LB: 51040 ... c Min unsat cost LB: 51044 ... c Min unsat cost LB: 51055 ... c Min unsat cost LB: 51070 ... c Min unsat cost LB: 51074 ... c Min unsat cost LB: 51082 ... c Min unsat cost LB: 51089 ... c Min unsat cost LB: 51096 ... c Min unsat cost LB: 51114 ... c Min unsat cost LB: 51413 ... c Min unsat cost LB: 51424 ... c Min unsat cost LB: 51474 ... c Min unsat cost LB: 51488 ... c Min unsat cost LB: 51516 ... c Min unsat cost LB: 51543 ... c Min unsat cost LB: 51686 ... c Min unsat cost LB: 51740 ... c Min unsat cost LB: 51744 ... c Min unsat cost LB: 51893 ... c Min unsat cost LB: 52200 ... c Min unsat cost LB: 52243 ... c Min unsat cost LB: 52739 ... c Min unsat cost LB: 52883 ... c Min unsat cost LB: 52980 ... c Min unsat cost LB: 53086 ... c Min unsat cost LB: 53105 ... c Min unsat cost LB: 53107 ... c Min unsat cost LB: 53122 ... c Min unsat cost LB: 53187 ... c Min unsat cost LB: 53191 ... c Min unsat cost LB: 53265 ... c Min unsat cost LB: 53335 ... c Min unsat cost LB: 53542 ... c Min unsat cost LB: 53604 ... c Min unsat cost LB: 53618 ... c Min unsat cost LB: 53639 ... c Min unsat cost LB: 53651 ... c Min unsat cost LB: 53865 ... c Min unsat cost LB: 54102 ... c Min unsat cost LB: 54116 ... c Min unsat cost LB: 54137 ... c Min unsat cost LB: 54140 ... c Min unsat cost LB: 54199 ... c Min unsat cost LB: 54319 ... c Min unsat cost LB: 54405 ... c Min unsat cost LB: 54414 ... c Min unsat cost LB: 54517 ... c Min unsat cost LB: 54628 ... c Min unsat cost LB: 54664 ... c Min unsat cost LB: 54688 ... c Min unsat cost LB: 54689 ... c Min unsat cost LB: 54695 ... c Min unsat cost LB: 54765 ... c Min unsat cost LB: 54773 ... c Min unsat cost LB: 54777 ... c Min unsat cost LB: 54785 ... c Min unsat cost LB: 54806 ... c Min unsat cost LB: 54871 ... c Min unsat cost LB: 54885 ... c Min unsat cost LB: 54886 ... c Min unsat cost LB: 54897 ... c Min unsat cost LB: 54901 ... c Min unsat cost LB: 54916 ... c Min unsat cost LB: 54922 ... c Min unsat cost LB: 54975 ... c Min unsat cost LB: 54984 ... c Min unsat cost LB: 54986 ... c Min unsat cost LB: 54988 ... c Min unsat cost LB: 55006 ... c Min unsat cost LB: 55012 ... c Min unsat cost LB: 55041 ... c Min unsat cost LB: 55045 ... c Min unsat cost LB: 55521 ... c Min unsat cost LB: 55604 ... c Min unsat cost LB: 55663 ... c Min unsat cost LB: 55781 ... c Min unsat cost LB: 55796 ... c Min unsat cost LB: 55807 ... c Min unsat cost LB: 55811 ... c Min unsat cost LB: 55837 ... c Min unsat cost LB: 55872 ... c Min unsat cost LB: 55879 ... c Min unsat cost LB: 55881 ... c Min unsat cost LB: 55887 ... c Min unsat cost LB: 55898 ... c Min unsat cost LB: 55902 ... c Min unsat cost LB: 55928 ... c Min unsat cost LB: 55946 ... c Min unsat cost LB: 55963 ... c Min unsat cost LB: 55967 ... c Min unsat cost LB: 55975 ... c Min unsat cost LB: 56018 ... c Min unsat cost LB: 56022 ... c Min unsat cost LB: 56029 ... c Min unsat cost LB: 56037 ... c Min unsat cost LB: 56039 ... c Min unsat cost LB: 56045 ... c Min unsat cost LB: 56046 ... c Min unsat cost LB: 56053 ... c Min unsat cost LB: 56059 ... c Min unsat cost LB: 56060 ... c Min unsat cost LB: 56078 ... c Min unsat cost LB: 56079 ... c Min unsat cost LB: 56115 ... c Min unsat cost LB: 56121 ... c Min unsat cost LB: 56125 ... c Min unsat cost LB: 56127 ... c Min unsat cost LB: 56142 ... c Min unsat cost LB: 56149 ... c Min unsat cost LB: 56151 ... c Min unsat cost LB: 56155 ... c Min unsat cost LB: 56157 ... c Min unsat cost LB: 56201 ... c Min unsat cost LB: 56203 ... c Min unsat cost LB: 56209 ... c Min unsat cost LB: 56211 ... c Min unsat cost LB: 56213 ... c Min unsat cost LB: 56266 ... c Min unsat cost LB: 56283 ... c Min unsat cost LB: 56331 ... c Min unsat cost LB: 56371 ... c Min unsat cost LB: 56385 ... c Min unsat cost LB: 56388 ... c Min unsat cost LB: 56409 ... c Min unsat cost LB: 56411 ... c Min unsat cost LB: 56430 ... c Min unsat cost LB: 56462 ... c Min unsat cost LB: 56489 ... c Min unsat cost LB: 56501 ... c Min unsat cost LB: 56503 ... c Min unsat cost LB: 56510 ... c Min unsat cost LB: 56513 ... c Min unsat cost LB: 56515 ... c Min unsat cost LB: 56517 ... c Min unsat cost LB: 56518 ... c Min unsat cost LB: 56522 ... c Min unsat cost LB: 56523 ... c Min unsat cost LB: 56527 ... c Min unsat cost LB: 56528 ... c Min unsat cost LB: 56531 ... c Min unsat cost LB: 56534 ... c Min unsat cost LB: 56545 ... c Min unsat cost LB: 56547 ... c Min unsat cost LB: 56549 ... c Min unsat cost LB: 56552 ... c Min unsat cost LB: 56554 ... c Min unsat cost LB: 56555 ... c Min unsat cost LB: 56559 ... c Min unsat cost LB: 56561 ... c Min unsat cost LB: 56562 ... c Min unsat cost LB: 56563 ... c Min unsat cost LB: 56566 ... c Min unsat cost LB: 56568 ... c Min unsat cost LB: 56574 ... c Min unsat cost LB: 56577 ... c Min unsat cost LB: 56578 ... c Min unsat cost LB: 56580 ... c Min unsat cost LB: 56584 ... c Min unsat cost LB: 56616 ... c Min unsat cost LB: 56617 ... c Min unsat cost LB: 56625 ... c Min unsat cost LB: 56630 ... c Min unsat cost LB: 56631 ... c Min unsat cost LB: 56634 ... c Min unsat cost LB: 56642 ... c Min unsat cost LB: 56646 ... c Min unsat cost LB: 56648 ... c Min unsat cost LB: 56655 ... c Min unsat cost LB: 56661 ... c Min unsat cost LB: 56663 ... c Min unsat cost LB: 56668 ... c Min unsat cost LB: 56669 ... c Min unsat cost LB: 56672 ... c Min unsat cost LB: 56673 ... c Min unsat cost LB: 56675 ... c Min unsat cost LB: 56676 ... c Min unsat cost LB: 56677 ... c Min unsat cost LB: 56680 ... c Min unsat cost LB: 56684 ... c Min unsat cost LB: 56728 ... c Min unsat cost LB: 56748 ... c Min unsat cost LB: 56749 ... c Min unsat cost LB: 57024 ... c Min unsat cost LB: 57025 ... c Min unsat cost LB: 57026 ... c Min unsat cost LB: 57030 ... c Min unsat cost LB: 57031 ... c Min unsat cost LB: 57032 ... c Min unsat cost LB: 57081 ... c Min unsat cost LB: 57455 ... c Min unsat cost LB: 57457 ... c Min unsat cost LB: 57459 ... c Min unsat cost LB: 57463 ... c Min unsat cost LB: 57467 ... c Min unsat cost LB: 57474 ... c Min unsat cost LB: 57476 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 57993 ... c Min unsat cost LB: 58068 ... c Min unsat cost LB: 58108 ... c Min unsat cost LB: 58116 ... c Min unsat cost LB: 58211 ... c Min unsat cost LB: 58213 ... c Min unsat cost LB: 58216 ... c Min unsat cost LB: 58217 ... c Min unsat cost LB: 58218 ... c Min unsat cost LB: 58261 ... c Min unsat cost LB: 58262 ... c Min unsat cost LB: 58265 ... c Min unsat cost LB: 58266 ... c Min unsat cost LB: 58275 ... c Min unsat cost LB: 58276 ... c Min unsat cost LB: 58277 ... c Min unsat cost LB: 58280 ... c Min unsat cost LB: 58282 ... c Min unsat cost LB: 58286 ... c Min unsat cost LB: 58287 ... c Min unsat cost LB: 58293 ... c Min unsat cost LB: 58296 ... c Min unsat cost LB: 58297 ... c Min unsat cost LB: 58436 ... c Min unsat cost LB: 58438 ... c Min unsat cost LB: 58439 ... c Min unsat cost LB: 58440 ... c Min unsat cost LB: 58446 ... c Min unsat cost LB: 58448 ... c Min unsat cost LB: 58452 ... c Min unsat cost LB: 58453 ... c Min unsat cost LB: 58454 ... c Min unsat cost LB: 58455 ... c Min unsat cost LB: 58456 ... c Min unsat cost LB: 58457 ... c Min unsat cost LB: 58458 ... c Min unsat cost LB: 58459 ... c Min unsat cost LB: 58460 ... c Min unsat cost LB: 58461 ... c Min unsat cost LB: 58462 ... c Min unsat cost LB: 58463 ... c Min unsat cost LB: 58464 ... c Min unsat cost LB: 58465 ... c Min unsat cost LB: 58466 ... c Min unsat cost LB: 58467 ... c Min unsat cost LB: 58468 ... c Min unsat cost LB: 58503 ... c Min unsat cost LB: 58504 ... c Min unsat cost LB: 58539 ... c Min unsat cost LB: 58541 ... c Min unsat cost LB: 58543 ... c Min unsat cost LB: 58545 ... c Min unsat cost LB: 58553 ... c Min unsat cost LB: 58554 ... c Min unsat cost LB: 58577 ... c Min unsat cost LB: 58578 ... c Min unsat cost LB: 58579 ... c Min unsat cost LB: 58581 ... c Min unsat cost LB: 58582 ... c Min unsat cost LB: 58585 ... c Min unsat cost LB: 58587 ... c Min unsat cost LB: 58588 ... c Min unsat cost LB: 58589 ... c Min unsat cost LB: 58593 ... c Min unsat cost LB: 58600 ... c Min unsat cost LB: 58604 ... c Min unsat cost LB: 58607 ... c Min unsat cost LB: 58614 ... c Min unsat cost LB: 58618 ... c Min unsat cost LB: 58624 ... c Min unsat cost LB: 58633 ... c Min unsat cost LB: 58636 ... c Min unsat cost LB: 58705 ... c Min unsat cost LB: 58757 ... c Min unsat cost LB: 58758 ... c Min unsat cost LB: 58759 ... c Min unsat cost LB: 58760 ... c Min unsat cost LB: 58761 ... c Min unsat cost LB: 58762 ... c Min unsat cost LB: 58763 ... c Min unsat cost LB: 58764 ... c Min unsat cost LB: 58765 ... c Min unsat cost LB: 58767 ... c Min unsat cost LB: 58769 ... c Min unsat cost LB: 58770 ... c Min unsat cost LB: 58771 ... c Min unsat cost LB: 58772 ... c Min unsat cost LB: 58773 ... c Min unsat cost LB: 58774 ... c Min unsat cost LB: 58775 ... c Min unsat cost LB: 58776 ... c Min unsat cost LB: 58777 ... c Min unsat cost LB: 58778 ... c Min unsat cost LB: 59047 ... c Min unsat cost LB: 59048 ... c Min unsat cost LB: 59049 ... c Min unsat cost LB: 59050 ... c Min unsat cost LB: 59051 ... c Min unsat cost LB: 59052 ... c Min unsat cost LB: 59053 ... c Min unsat cost LB: 59054 ... c Min unsat cost LB: 59135 ... c Min unsat cost LB: 59174 ... c Min unsat cost LB: 59200 ... c Min unsat cost LB: 59226 ... c Min unsat cost LB: 59396 ... c Min unsat cost LB: 59404 ... c Min unsat cost LB: 59436 ... c Min unsat cost LB: 59453 ... c Min unsat cost LB: 59463 ... c Min unsat cost LB: 59545 ... c Min unsat cost LB: 59549 ... c Min unsat cost LB: 59593 ... c Min unsat cost LB: 59727 ... c Min unsat cost LB: 60101 ... c Min unsat cost LB: 60258 ... c Min unsat cost LB: 60443 ... c Min unsat cost LB: 60458 ... c Min unsat cost LB: 60477 ... c Min unsat cost LB: 60521 ... c Min unsat cost LB: 60552 ... c Min unsat cost LB: 60692 ... c Min unsat cost LB: 60698 ... c Min unsat cost LB: 60700 ... c Min unsat cost LB: 60740 ... c Min unsat cost LB: 60811 ... c Min unsat cost LB: 60815 ... c Min unsat cost LB: 60831 ... c Min unsat cost LB: 60900 ... c Min unsat cost LB: 60926 ... c Min unsat cost LB: 60931 ... c Min unsat cost LB: 61614 ... c Min unsat cost LB: 61648 ... c Min unsat cost LB: 61652 ... c Min unsat cost LB: 61674 ... c Min unsat cost LB: 61709 ... c Min unsat cost LB: 61714 ... c Min unsat cost LB: 61721 ... c Min unsat cost LB: 61737 ... c Min unsat cost LB: 61754 ... c Min unsat cost LB: 61760 ... c Min unsat cost LB: 61772 ... c Min unsat cost LB: 61782 ... c Min unsat cost LB: 61812 ... c Min unsat cost LB: 61838 ... c Min unsat cost LB: 61860 ... c Min unsat cost LB: 62064 ... c Min unsat cost LB: 62106 ... c Min unsat cost LB: 62149 ... c Min unsat cost LB: 62154 ... c Min unsat cost LB: 62160 ... c Min unsat cost LB: 62273 ... c Min unsat cost LB: 62277 ... c Min unsat cost LB: 62296 ... c Min unsat cost LB: 62304 ... c Min unsat cost LB: 62316 ... c Min unsat cost LB: 62332 ... c Min unsat cost LB: 62344 ... c Min unsat cost LB: 62351 ... c Min unsat cost LB: 62354 ... c Min unsat cost LB: 62369 ... c Min unsat cost LB: 62374 ... c Min unsat cost LB: 62376 ... c Min unsat cost LB: 62380 ... c Min unsat cost LB: 62399 ... c Min unsat cost LB: 62400 ... c Min unsat cost LB: 62405 ... c Min unsat cost LB: 62416 ... c Min unsat cost LB: 62425 ... c Min unsat cost LB: 62426 ... c Min unsat cost LB: 62430 ... c Min unsat cost LB: 62441 ... c Min unsat cost LB: 62445 ... c Min unsat cost LB: 62452 ... c Min unsat cost LB: 62460 ... c Min unsat cost LB: 62465 ... c Min unsat cost LB: 62474 ... c Min unsat cost LB: 62475 ... c Min unsat cost LB: 62489 ... c Min unsat cost LB: 62494 ... c Min unsat cost LB: 62496 ... c Min unsat cost LB: 62501 ... c Min unsat cost LB: 62544 ... c Min unsat cost LB: 62560 ... c Min unsat cost LB: 62573 ... c Min unsat cost LB: 62586 ... c Min unsat cost LB: 62589 ... c Min unsat cost LB: 62601 ... c Min unsat cost LB: 62602 ... c Min unsat cost LB: 62609 ... c Min unsat cost LB: 62613 ... c Min unsat cost LB: 62616 ... c Min unsat cost LB: 62618 ... c Min unsat cost LB: 62619 ... c Min unsat cost LB: 62620 ... c Min unsat cost LB: 62632 ... c Min unsat cost LB: 62635 ... c Min unsat cost LB: 62644 ... c Min unsat cost LB: 62646 ... c Min unsat cost LB: 62652 ... c Min unsat cost LB: 62662 ... c Min unsat cost LB: 62667 ... c Min unsat cost LB: 62668 ... c Min unsat cost LB: 62674 ... c Min unsat cost LB: 62676 ... c Min unsat cost LB: 62682 ... c Min unsat cost LB: 62683 ... c Min unsat cost LB: 62687 ... c Min unsat cost LB: 62689 ... c Min unsat cost LB: 62693 ... c Min unsat cost LB: 62701 ... c Min unsat cost LB: 62702 ... c Min unsat cost LB: 62706 ... c Min unsat cost LB: 62708 ... c Min unsat cost LB: 62712 ... c Min unsat cost LB: 62715 ... c Min unsat cost LB: 62716 ... c Min unsat cost LB: 62722 ... c Min unsat cost LB: 62727 ... c Min unsat cost LB: 62731 ... c Min unsat cost LB: 62739 ... c Min unsat cost LB: 62741 ... c Min unsat cost LB: 62747 ... c Min unsat cost LB: 62748 ... c Min unsat cost LB: 62751 ... c Min unsat cost LB: 62752 ... c Min unsat cost LB: 62756 ... c Min unsat cost LB: 62757 ... c Min unsat cost LB: 62761 ... c Min unsat cost LB: 62767 ... c Min unsat cost LB: 62771 ... c Min unsat cost LB: 62775 ... c Min unsat cost LB: 62776 ... c Min unsat cost LB: 62777 ... c Min unsat cost LB: 62778 ... c Min unsat cost LB: 62779 ... c Min unsat cost LB: 62780 ... c Min unsat cost LB: 62934 ... c Min unsat cost LB: 62998 ... c Min unsat cost LB: 63087 ... c Min unsat cost LB: 63193 ... c Min unsat cost LB: 63199 ... c Min unsat cost LB: 63496 ... c Min unsat cost LB: 63539 ... c Min unsat cost LB: 63583 ... c Min unsat cost LB: 63608 ... c Min unsat cost LB: 63632 ... c Min unsat cost LB: 63661 ... c Min unsat cost LB: 63764 ... c Min unsat cost LB: 63804 ... c Min unsat cost LB: 63907 ... c Min unsat cost LB: 63908 ... c Min unsat cost LB: 63912 ... c Min unsat cost LB: 63917 ... c Min unsat cost LB: 63918 ... c Min unsat cost LB: 63919 ... c Min unsat cost LB: 63920 ... c Min unsat cost LB: 63921 ... c Min unsat cost LB: 63922 ... c Min unsat cost LB: 63924 ... c Min unsat cost LB: 63928 ... c Min unsat cost LB: 64040 ... c Min unsat cost LB: 64147 ... c Min unsat cost LB: 64200 ... c Min unsat cost LB: 64220 ... c Min unsat cost LB: 64221 ... c Min unsat cost LB: 64222 ... c Min unsat cost LB: 64224 ... c Min unsat cost LB: 64225 ... c Min unsat cost LB: 64227 ... c Min unsat cost LB: 64228 ... c Min unsat cost LB: 64229 ... c Min unsat cost LB: 64232 ... c Min unsat cost LB: 64236 ... c Min unsat cost LB: 64239 ... c Min unsat cost LB: 64244 ... c Min unsat cost LB: 64247 ... c Min unsat cost LB: 64249 ... c Min unsat cost LB: 64250 ... c Min unsat cost LB: 64253 ... c Min unsat cost LB: 64255 ... c Min unsat cost LB: 64258 ... c Min unsat cost LB: 64261 ... c Min unsat cost LB: 64265 ... c Min unsat cost LB: 64266 ... c Min unsat cost LB: 64270 ... c Min unsat cost LB: 64271 ... c Min unsat cost LB: 64274 ... c Min unsat cost LB: 64275 ... c Min unsat cost LB: 64276 ... c Min unsat cost LB: 64280 ... c Min unsat cost LB: 64287 ... c Min unsat cost LB: 64288 ... c Min unsat cost LB: 64289 ... c Min unsat cost LB: 64290 ... c Min unsat cost LB: 64301 ... c Min unsat cost LB: 64318 ... c Min unsat cost LB: 64320 ... c Min unsat cost LB: 64322 ... c Min unsat cost LB: 64329 ... c Min unsat cost LB: 64333 ... c Min unsat cost LB: 64338 ... c Min unsat cost LB: 64339 ... c Min unsat cost LB: 64345 ... c Min unsat cost LB: 64346 ... c Min unsat cost LB: 64347 ... c Min unsat cost LB: 64350 ... c Min unsat cost LB: 64351 ... c Min unsat cost LB: 64353 ... c Min unsat cost LB: 64355 ... c Min unsat cost LB: 64356 ... c Min unsat cost LB: 64358 ... c Min unsat cost LB: 64359 ... c Min unsat cost LB: 64360 ... c Min unsat cost LB: 64361 ... c Min unsat cost LB: 64363 ... c Min unsat cost LB: 64365 ... c Min unsat cost LB: 64369 ... c Min unsat cost LB: 64370 ... c Min unsat cost LB: 64373 ... c Min unsat cost LB: 64374 ... c Min unsat cost LB: 64379 ... c Min unsat cost LB: 64382 ... c Min unsat cost LB: 64383 ... c Min unsat cost LB: 64385 ... c Min unsat cost LB: 64386 ... c Min unsat cost LB: 64390 ... c Min unsat cost LB: 64391 ... c Min unsat cost LB: 64392 ... c Min unsat cost LB: 64393 ... c Min unsat cost LB: 64395 ... c Min unsat cost LB: 64396 ... c Min unsat cost LB: 64397 ... c Min unsat cost LB: 64398 ... c Min unsat cost LB: 64401 ... c Min unsat cost LB: 64402 ... c Min unsat cost LB: 64404 ... c Min unsat cost LB: 64405 ... c Min unsat cost LB: 64406 ... c Min unsat cost LB: 64407 ... c Min unsat cost LB: 64408 ... c Min unsat cost LB: 64409 ... c Min unsat cost LB: 64410 ... c Min unsat cost LB: 64411 ... c Min unsat cost LB: 64412 ... c Min unsat cost LB: 64413 ... c Min unsat cost LB: 64414 ... c Min unsat cost LB: 64415 ... c Min unsat cost LB: 64416 ... c Min unsat cost LB: 64417 ... c Min unsat cost LB: 64419 ... c Min unsat cost LB: 64420 ... c Min unsat cost LB: 64421 ... c Min unsat cost LB: 64424 ... c Min unsat cost LB: 64425 ... c Min unsat cost LB: 64427 ... c Min unsat cost LB: 64428 ... c Min unsat cost LB: 64429 ... c Min unsat cost LB: 64431 ... c Min unsat cost LB: 64432 ... c Min unsat cost LB: 64433 ... c Min unsat cost LB: 64460 ... c Min unsat cost LB: 64469 ... c Min unsat cost LB: 64480 ... c Min unsat cost LB: 64483 ... c Min unsat cost LB: 64484 ... c Min unsat cost LB: 64485 ... c Min unsat cost LB: 64486 ... c Min unsat cost LB: 64487 ... c Min unsat cost LB: 64488 ... c Min unsat cost LB: 64489 ... c Min unsat cost LB: 64490 ... c Min unsat cost LB: 64491 ... c Min unsat cost LB: 64492 ... c Min unsat cost LB: 64493 ... c Min unsat cost LB: 64495 ... c Min unsat cost LB: 64496 ... c Min unsat cost LB: 64498 ... c Min unsat cost LB: 64501 ... c Min unsat cost LB: 64503 ... c Min unsat cost LB: 64504 ... c Min unsat cost LB: 64506 ... c Min unsat cost LB: 64507 ... c Min unsat cost LB: 64508 ... c Min unsat cost LB: 64509 ... c Min unsat cost LB: 64511 ... c Min unsat cost LB: 64512 ... c Min unsat cost LB: 64513 ... c Min unsat cost LB: 64514 ... c Min unsat cost LB: 64516 ... c Min unsat cost LB: 64518 ... c Min unsat cost LB: 64522 ... c Min unsat cost LB: 64523 ... c Min unsat cost LB: 64524 ... c Min unsat cost LB: 64525 ... c Min unsat cost LB: 64526 ... c Min unsat cost LB: 64530 ... c Min unsat cost LB: 64531 ... c Min unsat cost LB: 64532 ... c Min unsat cost LB: 64534 ... c Min unsat cost LB: 64535 ... c Min unsat cost LB: 64538 ... c Min unsat cost LB: 64542 ... c Min unsat cost LB: 64543 ... c Min unsat cost LB: 64545 ... c Min unsat cost LB: 64547 ... c Min unsat cost LB: 64548 ... c Min unsat cost LB: 64549 ... c Min unsat cost LB: 64550 ... c Min unsat cost LB: 64551 ... c Min unsat cost LB: 64704 ... c Min unsat cost LB: 64705 ... c Min unsat cost LB: 64706 ... c Min unsat cost LB: 64707 ... c Min unsat cost LB: 64708 ... c Min unsat cost LB: 64709 ... c Min unsat cost LB: 64710 ... c Min unsat cost LB: 64711 ... c Min unsat cost LB: 64713 ... c Min unsat cost LB: 64714 ... c Min unsat cost LB: 64715 ... c Min unsat cost LB: 64716 ... c Min unsat cost LB: 64717 ... c Min unsat cost LB: 64718 ... c Min unsat cost LB: 64719 ... c Min unsat cost LB: 64720 ... c Min unsat cost LB: 64721 ... c Min unsat cost LB: 64722 ... c Min unsat cost LB: 64794 ... c Min unsat cost LB: 64795 ... c Min unsat cost LB: 64796 ... c Min unsat cost LB: 64798 ... c Min unsat cost LB: 64802 ... c Min unsat cost LB: 64809 ... c Min unsat cost LB: 64810 ... c Min unsat cost LB: 64811 ... c Min unsat cost LB: 64812 ... c Min unsat cost LB: 64814 ... c Min unsat cost LB: 64815 ... c Min unsat cost LB: 64816 ... c Min unsat cost LB: 64819 ... c Min unsat cost LB: 64823 ... c Min unsat cost LB: 64826 ... c Min unsat cost LB: 64840 ... c Min unsat cost LB: 64841 ... c Min unsat cost LB: 64842 ... c Min unsat cost LB: 64843 ... c Min unsat cost LB: 64844 ... c Min unsat cost LB: 64846 ... c Min unsat cost LB: 64847 ... c Min unsat cost LB: 64849 ... c Min unsat cost LB: 64854 ... c Min unsat cost LB: 64855 ... c Min unsat cost LB: 64856 ... c Min unsat cost LB: 64857 ... c Min unsat cost LB: 64859 ... c Min unsat cost LB: 64860 ... c Min unsat cost LB: 64861 ... c Min unsat cost LB: 64863 ... c Min unsat cost LB: 64864 ... c Min unsat cost LB: 64866 ... c Min unsat cost LB: 64867 ... c Min unsat cost LB: 64870 ... c Min unsat cost LB: 64871 ... c Min unsat cost LB: 64877 ... c Min unsat cost LB: 64880 ... c Min unsat cost LB: 64884 ... c Min unsat cost LB: 64885 ... c Min unsat cost LB: 64886 ... c Min unsat cost LB: 64887 ... c Min unsat cost LB: 64888 ... c Min unsat cost LB: 64889 ... c Min unsat cost LB: 64890 ... c Min unsat cost LB: 64891 ... c Min unsat cost LB: 64892 ... c Min unsat cost LB: 64893 ... c Min unsat cost LB: 64894 ... c Min unsat cost LB: 64895 ... c Min unsat cost LB: 64897 ... c Min unsat cost LB: 64898 ... c Min unsat cost LB: 64899 ... c Min unsat cost LB: 64900 ... c Min unsat cost LB: 64901 ... c Min unsat cost LB: 64902 ... c Min unsat cost LB: 64903 ... c Min unsat cost LB: 64904 ... c Min unsat cost LB: 64905 ... c Min unsat cost LB: 64906 ... c Min unsat cost LB: 64907 ... c Min unsat cost LB: 64908 ... c Min unsat cost LB: 64909 ... c Min unsat cost LB: 64910 ... c Min unsat cost LB: 64911 ... c Min unsat cost LB: 64912 ... c Min unsat cost LB: 64913 ... c Min unsat cost LB: 64914 ... c Min unsat cost LB: 64915 ... c Min unsat cost LB: 64916 ... c Min unsat cost LB: 64917 ... c Min unsat cost LB: 64918 ... c Min unsat cost LB: 64919 ... c Min unsat cost LB: 64920 ... c Min unsat cost LB: 64921 ... c Min unsat cost LB: 64922 ... c Min unsat cost LB: 64923 ... c Min unsat cost LB: 64924 ... c Min unsat cost LB: 64925 ... c Min unsat cost LB: 64926 ... c Min unsat cost LB: 64927 ... c Min unsat cost LB: 64928 ... c Min unsat cost LB: 64929 ... c Min unsat cost LB: 64930 ... c Min unsat cost LB: 64931 ... c Min unsat cost LB: 65087 ... c Min unsat cost LB: 65167 ... c Min unsat cost LB: 65275 ... c Min unsat cost LB: 65336 ... c Min unsat cost LB: 65337 ... c Min unsat cost LB: 65338 ... c Min unsat cost LB: 65339 ... c Min unsat cost LB: 65355 ... c Min unsat cost LB: 65499 ... c Min unsat cost LB: 65539 ... c Min unsat cost LB: 65913 ... c Min unsat cost LB: 65963 ... c Min unsat cost LB: 66018 ... c Min unsat cost LB: 66171 ... c Min unsat cost LB: 66186 ... c Min unsat cost LB: 66478 ... c Min unsat cost LB: 66479 ... c Min unsat cost LB: 66509 ... c Min unsat cost LB: 66519 ... c Min unsat cost LB: 66587 ... c Min unsat cost LB: 66618 ... c Min unsat cost LB: 66619 ... c Min unsat cost LB: 66620 ... c Min unsat cost LB: 66621 ... c Min unsat cost LB: 66622 ... c Min unsat cost LB: 66623 ... c Min unsat cost LB: 66624 ... c Min unsat cost LB: 66625 ... c Min unsat cost LB: 66626 ... c Min unsat cost LB: 66627 ... c Min unsat cost LB: 66628 ... c Min unsat cost LB: 66629 ... c Min unsat cost LB: 66630 ... c Min unsat cost LB: 66631 ... c Min unsat cost LB: 66632 ... c Min unsat cost LB: 66633 ... c Min unsat cost LB: 66634 ... c Min unsat cost LB: 66635 ... c Min unsat cost LB: 66636 ... c Min unsat cost LB: 66637 ... c Min unsat cost LB: 66638 ... c Min unsat cost LB: 66701 ... c Min unsat cost LB: 66745 ... c Min unsat cost LB: 66746 ... c Min unsat cost LB: 66747 ... c Min unsat cost LB: 66748 ... c Min unsat cost LB: 66749 ... c Min unsat cost LB: 66750 ... c Min unsat cost LB: 66751 ... c Min unsat cost LB: 67054 ... c Min unsat cost LB: 67055 ... c Min unsat cost LB: 67056 ... c Min unsat cost LB: 67057 ... c Min unsat cost LB: 67060 ... c Min unsat cost LB: 67061 ... c Min unsat cost LB: 67062 ... c Min unsat cost LB: 67063 ... c Min unsat cost LB: 67065 ... c Min unsat cost LB: 67066 ... c Min unsat cost LB: 67067 ... c Min unsat cost LB: 67068 ... c Min unsat cost LB: 67069 ... c Min unsat cost LB: 67070 ... c Min unsat cost LB: 67072 ... c Min unsat cost LB: 67073 ... c Min unsat cost LB: 67074 ... c Min unsat cost LB: 67075 ... c Min unsat cost LB: 67076 ... c Min unsat cost LB: 67077 ... c Min unsat cost LB: 67078 ... c Min unsat cost LB: 67079 ... c Min unsat cost LB: 67080 ... c Min unsat cost LB: 67081 ... c Min unsat cost LB: 67082 ... c Min unsat cost LB: 67083 ... c Min unsat cost LB: 67084 ... c Min unsat cost LB: 67085 ... c Min unsat cost LB: 67086 ... c Min unsat cost LB: 67088 ... c Min unsat cost LB: 67089 ... c Min unsat cost LB: 67090 ... c Min unsat cost LB: 67091 ... c Min unsat cost LB: 67092 ... c Min unsat cost LB: 67093 ... c Min unsat cost LB: 67095 ... c Min unsat cost LB: 67097 ... c Min unsat cost LB: 67098 ... c Min unsat cost LB: 67099 ... c Min unsat cost LB: 67100 ... c Min unsat cost LB: 67101 ... c Min unsat cost LB: 67102 ... c Min unsat cost LB: 67103 ... c Min unsat cost LB: 67104 ... c Min unsat cost LB: 67105 ... c Min unsat cost LB: 67106 ... c Min unsat cost LB: 67107 ... c Min unsat cost LB: 67108 ... c Min unsat cost LB: 67109 ... c Min unsat cost LB: 67110 ... c Min unsat cost LB: 67111 ... c Min unsat cost LB: 67112 ... c Min unsat cost LB: 67113 ... c Min unsat cost LB: 67114 ... c Min unsat cost LB: 67115 ... c Min unsat cost LB: 67116 ... c Min unsat cost LB: 67117 ... c Min unsat cost LB: 67118 ... c Min unsat cost LB: 67119 ... c Min unsat cost LB: 67120 ... c Min unsat cost LB: 67121 ... c Min unsat cost LB: 67122 ... c Min unsat cost LB: 67126 ... c Min unsat cost LB: 67128 ... c Min unsat cost LB: 67130 ... c Min unsat cost LB: 67131 ... c Min unsat cost LB: 67133 ... c Min unsat cost LB: 67134 ... c Min unsat cost LB: 67135 ... c Min unsat cost LB: 67136 ... c Min unsat cost LB: 67138 ... c Min unsat cost LB: 67139 ... c Min unsat cost LB: 67140 ... c Min unsat cost LB: 67141 ... c Min unsat cost LB: 67250 ... c Min unsat cost LB: 67265 ... c Min unsat cost LB: 67319 ... c Min unsat cost LB: 67544 ... c Min unsat cost LB: 67545 ... c Min unsat cost LB: 67546 ... c Min unsat cost LB: 67547 ... c Min unsat cost LB: 67548 ... c Min unsat cost LB: 67549 ... c Min unsat cost LB: 67550 ... o 67550 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 c CPU Time: 1732.29 1732.546u 10.103s 29:02.78 99.9% 0+0k 0+0io 0pf+0w