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_AUCTIONS_AUC_PATHS_cat_paths_60_110_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0003.txt.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/AUCTIONS/AUC_PATHS/cat_paths_60_110_0003.txt.wcnf *** c c Min unsat cost LB: 782 ... c Min unsat cost LB: 1781 ... c Min unsat cost LB: 2326 ... c Min unsat cost LB: 2436 ... c Min unsat cost LB: 3358 ... c Min unsat cost LB: 3466 ... c Min unsat cost LB: 4449 ... c Min unsat cost LB: 5231 ... c Min unsat cost LB: 6013 ... c Min unsat cost LB: 6034 ... c Min unsat cost LB: 6816 ... c Min unsat cost LB: 7849 ... c Min unsat cost LB: 8143 ... c Min unsat cost LB: 8925 ... c Min unsat cost LB: 9018 ... c Min unsat cost LB: 9330 ... c Min unsat cost LB: 10236 ... c Min unsat cost LB: 11137 ... c Min unsat cost LB: 12080 ... c Min unsat cost LB: 12177 ... c Min unsat cost LB: 12776 ... c Min unsat cost LB: 13178 ... c Min unsat cost LB: 13348 ... c Min unsat cost LB: 14190 ... c Min unsat cost LB: 15223 ... c Min unsat cost LB: 15265 ... c Min unsat cost LB: 16116 ... c Min unsat cost LB: 16253 ... c Min unsat cost LB: 16555 ... c Min unsat cost LB: 16806 ... c Min unsat cost LB: 17631 ... c Min unsat cost LB: 17848 ... c Min unsat cost LB: 18596 ... c Min unsat cost LB: 18848 ... c Min unsat cost LB: 18986 ... c Min unsat cost LB: 19585 ... c Min unsat cost LB: 19900 ... c Min unsat cost LB: 20101 ... c Min unsat cost LB: 20352 ... c Min unsat cost LB: 21415 ... c Min unsat cost LB: 21697 ... c Min unsat cost LB: 22793 ... c Min unsat cost LB: 23373 ... c Min unsat cost LB: 23661 ... c Min unsat cost LB: 23910 ... c Min unsat cost LB: 24543 ... c Min unsat cost LB: 24887 ... c Min unsat cost LB: 24951 ... c Min unsat cost LB: 25290 ... c Min unsat cost LB: 26038 ... c Min unsat cost LB: 26328 ... c Min unsat cost LB: 27187 ... c Min unsat cost LB: 28230 ... c Min unsat cost LB: 28855 ... c Min unsat cost LB: 29165 ... c Min unsat cost LB: 30198 ... c Min unsat cost LB: 30488 ... c Min unsat cost LB: 31347 ... c Min unsat cost LB: 31682 ... c Min unsat cost LB: 32377 ... c Min unsat cost LB: 32552 ... c Min unsat cost LB: 32845 ... c Min unsat cost LB: 32858 ... c Min unsat cost LB: 33728 ... c Min unsat cost LB: 33893 ... c Min unsat cost LB: 34474 ... c Min unsat cost LB: 34648 ... c Min unsat cost LB: 35394 ... c Min unsat cost LB: 35437 ... c Min unsat cost LB: 36036 ... c Min unsat cost LB: 36183 ... c Min unsat cost LB: 36488 ... c Min unsat cost LB: 37234 ... c Min unsat cost LB: 37270 ... c Min unsat cost LB: 37521 ... c Min unsat cost LB: 38016 ... c Min unsat cost LB: 38249 ... c Min unsat cost LB: 38500 ... c Min unsat cost LB: 39081 ... c Min unsat cost LB: 39105 ... c Min unsat cost LB: 39141 ... c Min unsat cost LB: 39385 ... c Min unsat cost LB: 39392 ... c Min unsat cost LB: 39767 ... c Min unsat cost LB: 39914 ... c Min unsat cost LB: 39996 ... c Min unsat cost LB: 40909 ... c Min unsat cost LB: 41623 ... c Min unsat cost LB: 41743 ... c Min unsat cost LB: 41915 ... c Min unsat cost LB: 42811 ... c Min unsat cost LB: 42894 ... c Min unsat cost LB: 43334 ... c Min unsat cost LB: 43386 ... c Min unsat cost LB: 43702 ... c Min unsat cost LB: 43828 ... c Min unsat cost LB: 44258 ... c Min unsat cost LB: 44269 ... c Min unsat cost LB: 44494 ... c Min unsat cost LB: 44558 ... c Min unsat cost LB: 44602 ... c Min unsat cost LB: 44691 ... c Min unsat cost LB: 44704 ... c Min unsat cost LB: 44765 ... c Min unsat cost LB: 44832 ... c Min unsat cost LB: 44868 ... c Min unsat cost LB: 45006 ... c Min unsat cost LB: 45089 ... c Min unsat cost LB: 45118 ... c Min unsat cost LB: 45392 ... c Min unsat cost LB: 45616 ... c Min unsat cost LB: 45632 ... c Min unsat cost LB: 45729 ... c Min unsat cost LB: 45758 ... c Min unsat cost LB: 45896 ... c Min unsat cost LB: 46006 ... c Min unsat cost LB: 46020 ... c Min unsat cost LB: 46424 ... c Min unsat cost LB: 46525 ... c Min unsat cost LB: 46548 ... c Min unsat cost LB: 46683 ... c Min unsat cost LB: 46884 ... c Min unsat cost LB: 47113 ... c Min unsat cost LB: 47282 ... c Min unsat cost LB: 47327 ... c Min unsat cost LB: 47338 ... c Min unsat cost LB: 47563 ... c Min unsat cost LB: 47670 ... c Min unsat cost LB: 47691 ... c Min unsat cost LB: 47884 ... c Min unsat cost LB: 47914 ... c Min unsat cost LB: 48165 ... c Min unsat cost LB: 48183 ... c Min unsat cost LB: 48228 ... c Min unsat cost LB: 48275 ... c Min unsat cost LB: 48539 ... c Min unsat cost LB: 48791 ... c Min unsat cost LB: 49061 ... c Min unsat cost LB: 49154 ... c Min unsat cost LB: 49260 ... c Min unsat cost LB: 49351 ... c Min unsat cost LB: 49453 ... c Min unsat cost LB: 49465 ... c Min unsat cost LB: 49482 ... c Min unsat cost LB: 49494 ... c Min unsat cost LB: 49610 ... c Min unsat cost LB: 49711 ... c Min unsat cost LB: 49752 ... c Min unsat cost LB: 49774 ... c Min unsat cost LB: 49918 ... c Min unsat cost LB: 50047 ... c Min unsat cost LB: 50083 ... c Min unsat cost LB: 50177 ... c Min unsat cost LB: 50200 ... c Min unsat cost LB: 50220 ... c Min unsat cost LB: 50280 ... c Min unsat cost LB: 50423 ... c Min unsat cost LB: 50535 ... c Min unsat cost LB: 50583 ... c Min unsat cost LB: 50751 ... c Min unsat cost LB: 50787 ... c Min unsat cost LB: 50924 ... c Min unsat cost LB: 50953 ... c Min unsat cost LB: 51162 ... c Min unsat cost LB: 51287 ... c Min unsat cost LB: 51310 ... c Min unsat cost LB: 51488 ... c Min unsat cost LB: 51511 ... c Min unsat cost LB: 51581 ... c Min unsat cost LB: 51683 ... c Min unsat cost LB: 51716 ... c Min unsat cost LB: 51741 ... c Min unsat cost LB: 51879 ... c Min unsat cost LB: 52031 ... c Min unsat cost LB: 52073 ... c Min unsat cost LB: 52524 ... c Min unsat cost LB: 52795 ... c Min unsat cost LB: 52798 ... c Min unsat cost LB: 52882 ... c Min unsat cost LB: 53114 ... c Min unsat cost LB: 53164 ... c Min unsat cost LB: 53377 ... c Min unsat cost LB: 53626 ... c Min unsat cost LB: 53755 ... c Min unsat cost LB: 53800 ... c Min unsat cost LB: 53823 ... c Min unsat cost LB: 53859 ... c Min unsat cost LB: 53992 ... c Min unsat cost LB: 53994 ... c Min unsat cost LB: 54088 ... c Min unsat cost LB: 54125 ... c Min unsat cost LB: 54149 ... c Min unsat cost LB: 54170 ... c Min unsat cost LB: 54183 ... c Min unsat cost LB: 54201 ... c Min unsat cost LB: 54235 ... c Min unsat cost LB: 54535 ... c Min unsat cost LB: 54576 ... c Min unsat cost LB: 54596 ... c Min unsat cost LB: 54606 ... c Min unsat cost LB: 54618 ... c Min unsat cost LB: 54626 ... c Min unsat cost LB: 54635 ... c Min unsat cost LB: 54641 ... c Min unsat cost LB: 54651 ... c Min unsat cost LB: 54660 ... c Min unsat cost LB: 54662 ... c Min unsat cost LB: 54669 ... c Min unsat cost LB: 54764 ... c Min unsat cost LB: 54767 ... c Min unsat cost LB: 54783 ... c Min unsat cost LB: 54784 ... c Min unsat cost LB: 54786 ... c Min unsat cost LB: 54796 ... c Min unsat cost LB: 54848 ... c Min unsat cost LB: 54851 ... c Min unsat cost LB: 54852 ... c Min unsat cost LB: 54932 ... c Min unsat cost LB: 54975 ... c Min unsat cost LB: 54983 ... c Min unsat cost LB: 54996 ... c Min unsat cost LB: 55004 ... c Min unsat cost LB: 55034 ... c Min unsat cost LB: 55089 ... c Min unsat cost LB: 55112 ... c Min unsat cost LB: 55117 ... c Min unsat cost LB: 55128 ... c Min unsat cost LB: 55184 ... c Min unsat cost LB: 55196 ... c Min unsat cost LB: 55200 ... c Min unsat cost LB: 55223 ... c Min unsat cost LB: 55284 ... c Min unsat cost LB: 55286 ... c Min unsat cost LB: 55338 ... c Min unsat cost LB: 55407 ... c Min unsat cost LB: 55413 ... c Min unsat cost LB: 55434 ... c Min unsat cost LB: 55446 ... c Min unsat cost LB: 55449 ... c Min unsat cost LB: 55451 ... c Min unsat cost LB: 55466 ... c Min unsat cost LB: 55468 ... c Min unsat cost LB: 55483 ... c Min unsat cost LB: 55484 ... c Min unsat cost LB: 55498 ... c Min unsat cost LB: 55502 ... c Min unsat cost LB: 55517 ... c Min unsat cost LB: 55532 ... c Min unsat cost LB: 55581 ... c Min unsat cost LB: 55593 ... c Min unsat cost LB: 55598 ... c Min unsat cost LB: 55611 ... c Min unsat cost LB: 55614 ... c Min unsat cost LB: 55617 ... c Min unsat cost LB: 55620 ... c Min unsat cost LB: 55627 ... c Min unsat cost LB: 55629 ... c Min unsat cost LB: 55631 ... c Min unsat cost LB: 55636 ... c Min unsat cost LB: 55640 ... c Min unsat cost LB: 55650 ... c Min unsat cost LB: 55667 ... c Min unsat cost LB: 55712 ... c Min unsat cost LB: 55723 ... c Min unsat cost LB: 55724 ... c Min unsat cost LB: 55738 ... c Min unsat cost LB: 55753 ... c Min unsat cost LB: 55758 ... c Min unsat cost LB: 55760 ... c Min unsat cost LB: 55761 ... c Min unsat cost LB: 55766 ... c Min unsat cost LB: 55777 ... c Min unsat cost LB: 55780 ... c Min unsat cost LB: 55786 ... c Min unsat cost LB: 55834 ... c Min unsat cost LB: 55840 ... c Min unsat cost LB: 55842 ... c Min unsat cost LB: 55844 ... c Min unsat cost LB: 55853 ... c Min unsat cost LB: 55854 ... c Min unsat cost LB: 55856 ... c Min unsat cost LB: 55857 ... c Min unsat cost LB: 55861 ... c Min unsat cost LB: 55901 ... c Min unsat cost LB: 55904 ... c Min unsat cost LB: 55912 ... c Min unsat cost LB: 55914 ... c Min unsat cost LB: 55943 ... c Min unsat cost LB: 56047 ... c Min unsat cost LB: 56058 ... c Min unsat cost LB: 56146 ... c Min unsat cost LB: 56149 ... c Min unsat cost LB: 56151 ... c Min unsat cost LB: 56172 ... c Min unsat cost LB: 56195 ... c Min unsat cost LB: 56224 ... c Min unsat cost LB: 56247 ... c Min unsat cost LB: 56253 ... c Min unsat cost LB: 56268 ... c Min unsat cost LB: 56273 ... c Min unsat cost LB: 56275 ... c Min unsat cost LB: 56293 ... c Min unsat cost LB: 56308 ... c Min unsat cost LB: 56338 ... c Min unsat cost LB: 56343 ... c Min unsat cost LB: 56357 ... c Min unsat cost LB: 56365 ... c Min unsat cost LB: 56379 ... c Min unsat cost LB: 56390 ... c Min unsat cost LB: 56398 ... c Min unsat cost LB: 56406 ... c Min unsat cost LB: 56411 ... c Min unsat cost LB: 56414 ... c Min unsat cost LB: 56419 ... c Min unsat cost LB: 56500 ... c Min unsat cost LB: 56506 ... c Min unsat cost LB: 56521 ... c Min unsat cost LB: 56523 ... c Min unsat cost LB: 56547 ... c Min unsat cost LB: 56552 ... c Min unsat cost LB: 56559 ... c Min unsat cost LB: 56561 ... c Min unsat cost LB: 56570 ... c Min unsat cost LB: 56573 ... c Min unsat cost LB: 56575 ... c Min unsat cost LB: 56577 ... c Min unsat cost LB: 56579 ... c Min unsat cost LB: 56585 ... c Min unsat cost LB: 56590 ... c Min unsat cost LB: 56591 ... c Min unsat cost LB: 56593 ... c Min unsat cost LB: 56594 ... c Min unsat cost LB: 56606 ... c Min unsat cost LB: 56612 ... c Min unsat cost LB: 56617 ... c Min unsat cost LB: 56619 ... c Min unsat cost LB: 56623 ... c Min unsat cost LB: 56629 ... c Min unsat cost LB: 56630 ... c Min unsat cost LB: 56633 ... c Min unsat cost LB: 56634 ... c Min unsat cost LB: 56635 ... c Min unsat cost LB: 56644 ... c Min unsat cost LB: 56660 ... c Min unsat cost LB: 56665 ... c Min unsat cost LB: 56684 ... c Min unsat cost LB: 56702 ... c Min unsat cost LB: 56745 ... c Min unsat cost LB: 56772 ... c Min unsat cost LB: 56773 ... c Min unsat cost LB: 56774 ... c Min unsat cost LB: 56775 ... c Min unsat cost LB: 56776 ... c Min unsat cost LB: 56778 ... c Min unsat cost LB: 56782 ... c Min unsat cost LB: 56786 ... c Min unsat cost LB: 56788 ... c Min unsat cost LB: 56790 ... c Min unsat cost LB: 56791 ... c Min unsat cost LB: 56793 ... c Min unsat cost LB: 56794 ... c Min unsat cost LB: 56795 ... c Min unsat cost LB: 56796 ... c Min unsat cost LB: 56798 ... c Min unsat cost LB: 56801 ... c Min unsat cost LB: 56802 ... c Min unsat cost LB: 56803 ... c Min unsat cost LB: 56804 ... c Min unsat cost LB: 56805 ... c Min unsat cost LB: 56806 ... c Min unsat cost LB: 56807 ... c Min unsat cost LB: 56808 ... c Min unsat cost LB: 56810 ... c Min unsat cost LB: 56811 ... c Min unsat cost LB: 56812 ... c Min unsat cost LB: 56813 ... c Min unsat cost LB: 56814 ... c Min unsat cost LB: 56815 ... c Min unsat cost LB: 56816 ... c Min unsat cost LB: 56817 ... c Min unsat cost LB: 56818 ... c Min unsat cost LB: 56819 ... c Min unsat cost LB: 56820 ... c Min unsat cost LB: 56821 ... c Min unsat cost LB: 56822 ... c Min unsat cost LB: 56823 ... c Min unsat cost LB: 56824 ... c Min unsat cost LB: 56825 ... c Min unsat cost LB: 56826 ... c Min unsat cost LB: 56827 ... c Min unsat cost LB: 56828 ... c Min unsat cost LB: 56829 ... c Min unsat cost LB: 56830 ... c Min unsat cost LB: 56831 ... c Min unsat cost LB: 56832 ... c Min unsat cost LB: 56833 ... c Min unsat cost LB: 56834 ... c Min unsat cost LB: 56836 ... c Min unsat cost LB: 56837 ... c Min unsat cost LB: 56838 ... c Min unsat cost LB: 56839 ... c Min unsat cost LB: 56840 ... c Min unsat cost LB: 56841 ... c Min unsat cost LB: 56842 ... c Min unsat cost LB: 56843 ... c Min unsat cost LB: 56844 ... c Min unsat cost LB: 56851 ... c Min unsat cost LB: 56855 ... c Min unsat cost LB: 56857 ... c Min unsat cost LB: 56858 ... c Min unsat cost LB: 56859 ... c Min unsat cost LB: 56860 ... c Min unsat cost LB: 56861 ... c Min unsat cost LB: 56862 ... c Min unsat cost LB: 56863 ... c Min unsat cost LB: 56864 ... c Min unsat cost LB: 56865 ... c Min unsat cost LB: 56867 ... c Min unsat cost LB: 56868 ... c Min unsat cost LB: 56869 ... c Min unsat cost LB: 56870 ... c Min unsat cost LB: 56871 ... c Min unsat cost LB: 56872 ... c Min unsat cost LB: 56873 ... c Min unsat cost LB: 56874 ... c Min unsat cost LB: 56875 ... c Min unsat cost LB: 56876 ... c Min unsat cost LB: 56877 ... c Min unsat cost LB: 56880 ... c Min unsat cost LB: 56882 ... c Min unsat cost LB: 56883 ... c Min unsat cost LB: 56885 ... c Min unsat cost LB: 56886 ... c Min unsat cost LB: 56888 ... c Min unsat cost LB: 56893 ... c Min unsat cost LB: 56894 ... c Min unsat cost LB: 56895 ... c Min unsat cost LB: 56897 ... c Min unsat cost LB: 56898 ... c Min unsat cost LB: 56900 ... c Min unsat cost LB: 56902 ... c Min unsat cost LB: 56905 ... c Min unsat cost LB: 56907 ... c Min unsat cost LB: 56908 ... c Min unsat cost LB: 56909 ... c Min unsat cost LB: 56910 ... c Min unsat cost LB: 56911 ... c Min unsat cost LB: 56912 ... c Min unsat cost LB: 56913 ... c Min unsat cost LB: 56914 ... c Min unsat cost LB: 56915 ... c Min unsat cost LB: 56917 ... c Min unsat cost LB: 56921 ... c Min unsat cost LB: 56922 ... c Min unsat cost LB: 56923 ... c Min unsat cost LB: 56924 ... c Min unsat cost LB: 56925 ... c Min unsat cost LB: 56928 ... c Min unsat cost LB: 56929 ... c Min unsat cost LB: 56930 ... c Min unsat cost LB: 56931 ... c Min unsat cost LB: 56932 ... c Min unsat cost LB: 56933 ... c Min unsat cost LB: 56934 ... c Min unsat cost LB: 56935 ... c Min unsat cost LB: 56936 ... c Min unsat cost LB: 56937 ... c Min unsat cost LB: 56938 ... c Min unsat cost LB: 56939 ... c Min unsat cost LB: 56940 ... c Min unsat cost LB: 56941 ... c Min unsat cost LB: 56942 ... c Min unsat cost LB: 56943 ... c Min unsat cost LB: 56944 ... c Min unsat cost LB: 56946 ... c Min unsat cost LB: 56947 ... c Min unsat cost LB: 56953 ... c Min unsat cost LB: 56954 ... c Min unsat cost LB: 56956 ... c Min unsat cost LB: 56959 ... c Min unsat cost LB: 56960 ... c Min unsat cost LB: 56961 ... c Min unsat cost LB: 56962 ... c Min unsat cost LB: 56963 ... c Min unsat cost LB: 56968 ... c Min unsat cost LB: 56978 ... c Min unsat cost LB: 56981 ... c Min unsat cost LB: 56982 ... c Min unsat cost LB: 56983 ... c Min unsat cost LB: 56984 ... c Min unsat cost LB: 56985 ... c Min unsat cost LB: 56986 ... c Min unsat cost LB: 56990 ... c Min unsat cost LB: 56991 ... c Min unsat cost LB: 56996 ... c Min unsat cost LB: 56997 ... c Min unsat cost LB: 56998 ... c Min unsat cost LB: 56999 ... c Min unsat cost LB: 57002 ... c Min unsat cost LB: 57005 ... c Min unsat cost LB: 57010 ... c Min unsat cost LB: 57022 ... c Min unsat cost LB: 57025 ... c Min unsat cost LB: 57026 ... c Min unsat cost LB: 57032 ... c Min unsat cost LB: 57033 ... c Min unsat cost LB: 57037 ... c Min unsat cost LB: 57038 ... c Min unsat cost LB: 57039 ... c Min unsat cost LB: 57041 ... c Min unsat cost LB: 57044 ... c Min unsat cost LB: 57045 ... c Min unsat cost LB: 57046 ... c Min unsat cost LB: 57052 ... c Min unsat cost LB: 57053 ... c Min unsat cost LB: 57054 ... c Min unsat cost LB: 57055 ... c Min unsat cost LB: 57100 ... c Min unsat cost LB: 57101 ... c Min unsat cost LB: 57102 ... c Min unsat cost LB: 57103 ... c Min unsat cost LB: 57105 ... c Min unsat cost LB: 57114 ... c Min unsat cost LB: 57115 ... c Min unsat cost LB: 57116 ... c Min unsat cost LB: 57129 ... c Min unsat cost LB: 57130 ... c Min unsat cost LB: 57131 ... c Min unsat cost LB: 57154 ... c Min unsat cost LB: 57156 ... c Min unsat cost LB: 57160 ... c Min unsat cost LB: 57164 ... c Min unsat cost LB: 57165 ... c Min unsat cost LB: 57166 ... c Min unsat cost LB: 57177 ... c Min unsat cost LB: 57200 ... c Min unsat cost LB: 57211 ... c Min unsat cost LB: 57316 ... c Min unsat cost LB: 57317 ... c Min unsat cost LB: 57324 ... c Min unsat cost LB: 57325 ... c Min unsat cost LB: 57326 ... c Min unsat cost LB: 57327 ... c Min unsat cost LB: 57328 ... c Min unsat cost LB: 57330 ... c Min unsat cost LB: 57331 ... c Min unsat cost LB: 57332 ... c Min unsat cost LB: 57333 ... c Min unsat cost LB: 57334 ... c Min unsat cost LB: 57335 ... c Min unsat cost LB: 57336 ... c Min unsat cost LB: 57337 ... c Min unsat cost LB: 57338 ... c Min unsat cost LB: 57339 ... c Min unsat cost LB: 57354 ... c Min unsat cost LB: 57355 ... c Min unsat cost LB: 57356 ... c Min unsat cost LB: 57357 ... c Min unsat cost LB: 57358 ... c Min unsat cost LB: 57359 ... c Min unsat cost LB: 57360 ... c Min unsat cost LB: 57361 ... c Min unsat cost LB: 57362 ... c Min unsat cost LB: 57363 ... c Min unsat cost LB: 57364 ... c Min unsat cost LB: 57365 ... c Min unsat cost LB: 57366 ... c Min unsat cost LB: 57367 ... c Min unsat cost LB: 57368 ... c Min unsat cost LB: 57369 ... c Min unsat cost LB: 57370 ... c Min unsat cost LB: 57371 ... c Min unsat cost LB: 57372 ... c Min unsat cost LB: 57373 ... c Min unsat cost LB: 57374 ... c Min unsat cost LB: 57375 ... c Min unsat cost LB: 57376 ... c Min unsat cost LB: 57377 ... c Min unsat cost LB: 57378 ... c Min unsat cost LB: 57379 ... c Min unsat cost LB: 57386 ... c Min unsat cost LB: 57390 ... c Min unsat cost LB: 57396 ... c Min unsat cost LB: 57397 ... c Min unsat cost LB: 57406 ... c Min unsat cost LB: 57413 ... c Min unsat cost LB: 57414 ... c Min unsat cost LB: 57415 ... c Min unsat cost LB: 57416 ... c Min unsat cost LB: 57417 ... c Min unsat cost LB: 57418 ... c Min unsat cost LB: 57419 ... c Min unsat cost LB: 57420 ... c Min unsat cost LB: 57421 ... c Min unsat cost LB: 57422 ... c Min unsat cost LB: 57423 ... c Min unsat cost LB: 57424 ... c Min unsat cost LB: 57425 ... c Min unsat cost LB: 57426 ... c Min unsat cost LB: 57427 ... c Min unsat cost LB: 57428 ... c Min unsat cost LB: 57429 ... c Min unsat cost LB: 57430 ... c Min unsat cost LB: 57431 ... c Min unsat cost LB: 57432 ... c Min unsat cost LB: 57433 ... c Min unsat cost LB: 57434 ... c Min unsat cost LB: 57435 ... c Min unsat cost LB: 57436 ... c Min unsat cost LB: 57437 ... c Min unsat cost LB: 57438 ... c Min unsat cost LB: 57439 ... c Min unsat cost LB: 57440 ... c Min unsat cost LB: 57441 ... c Min unsat cost LB: 57442 ... c Min unsat cost LB: 57443 ... c Min unsat cost LB: 57444 ... c Min unsat cost LB: 57445 ... c Min unsat cost LB: 57446 ... c Min unsat cost LB: 57447 ... c Min unsat cost LB: 57448 ... c Min unsat cost LB: 57449 ... c Min unsat cost LB: 57450 ... c Min unsat cost LB: 57451 ... c Min unsat cost LB: 57452 ... c Min unsat cost LB: 57453 ... c Min unsat cost LB: 57454 ... c Min unsat cost LB: 57455 ... c Min unsat cost LB: 57456 ... c Min unsat cost LB: 57459 ... c Min unsat cost LB: 57460 ... c Min unsat cost LB: 57461 ... c Min unsat cost LB: 57462 ... c Min unsat cost LB: 57464 ... c Min unsat cost LB: 57465 ... c Min unsat cost LB: 57466 ... c Min unsat cost LB: 57470 ... c Min unsat cost LB: 57471 ... c Min unsat cost LB: 57472 ... c Min unsat cost LB: 57473 ... c Min unsat cost LB: 57474 ... c Min unsat cost LB: 57475 ... c Min unsat cost LB: 57476 ... c Min unsat cost LB: 57477 ... c Min unsat cost LB: 57478 ... c Min unsat cost LB: 57479 ... c Min unsat cost LB: 57480 ... c Min unsat cost LB: 57482 ... c Min unsat cost LB: 57483 ... c Min unsat cost LB: 57484 ... c Min unsat cost LB: 57485 ... c Min unsat cost LB: 57486 ... c Min unsat cost LB: 57487 ... c Min unsat cost LB: 57488 ... c Min unsat cost LB: 57489 ... c Min unsat cost LB: 57490 ... c Min unsat cost LB: 57491 ... c Min unsat cost LB: 57494 ... c Min unsat cost LB: 57495 ... c Min unsat cost LB: 57496 ... c Min unsat cost LB: 57497 ... c Min unsat cost LB: 57498 ... c Min unsat cost LB: 57499 ... c Min unsat cost LB: 57501 ... c Min unsat cost LB: 57502 ... c Min unsat cost LB: 57504 ... c Min unsat cost LB: 57509 ... c Min unsat cost LB: 57514 ... c Min unsat cost LB: 57518 ... c Min unsat cost LB: 57519 ... c Min unsat cost LB: 57520 ... c Min unsat cost LB: 57521 ... c Min unsat cost LB: 57529 ... c Min unsat cost LB: 57531 ... c Min unsat cost LB: 57532 ... c Min unsat cost LB: 57534 ... c Min unsat cost LB: 57535 ... c Min unsat cost LB: 57536 ... c Min unsat cost LB: 57537 ... c Min unsat cost LB: 57538 ... c Min unsat cost LB: 57539 ... c Min unsat cost LB: 57540 ... c Min unsat cost LB: 57541 ... c Min unsat cost LB: 57542 ... c Min unsat cost LB: 57543 ... c Min unsat cost LB: 57544 ... c Min unsat cost LB: 57545 ... c Min unsat cost LB: 57546 ... c Min unsat cost LB: 57547 ... c Min unsat cost LB: 57548 ... c Min unsat cost LB: 57549 ... c Min unsat cost LB: 57550 ... c Min unsat cost LB: 57551 ... c Min unsat cost LB: 57552 ... c Min unsat cost LB: 57555 ... c Min unsat cost LB: 57557 ... c Min unsat cost LB: 57558 ... c Min unsat cost LB: 57559 ... c Min unsat cost LB: 57561 ... c Min unsat cost LB: 57562 ... c Min unsat cost LB: 57564 ... c Min unsat cost LB: 57565 ... c Min unsat cost LB: 57566 ... c Min unsat cost LB: 57573 ... c Min unsat cost LB: 57574 ... c Min unsat cost LB: 57579 ... c Min unsat cost LB: 57580 ... c Min unsat cost LB: 57581 ... c Min unsat cost LB: 57582 ... c Min unsat cost LB: 57583 ... c Min unsat cost LB: 57584 ... c Min unsat cost LB: 57585 ... c Min unsat cost LB: 57586 ... c Min unsat cost LB: 57587 ... c Min unsat cost LB: 57589 ... c Min unsat cost LB: 57590 ... c Min unsat cost LB: 57591 ... c Min unsat cost LB: 57592 ... c Min unsat cost LB: 57593 ... c Min unsat cost LB: 57596 ... c Min unsat cost LB: 57597 ... c Min unsat cost LB: 57598 ... c Min unsat cost LB: 57599 ... c Min unsat cost LB: 57601 ... c Min unsat cost LB: 57602 ... c Min unsat cost LB: 57603 ... c Min unsat cost LB: 57604 ... c Min unsat cost LB: 57606 ... c Min unsat cost LB: 57607 ... c Min unsat cost LB: 57608 ... c Min unsat cost LB: 57609 ... c Min unsat cost LB: 57610 ... c Min unsat cost LB: 57611 ... c Min unsat cost LB: 57612 ... c Min unsat cost LB: 57613 ... c Min unsat cost LB: 57614 ... c Min unsat cost LB: 57615 ... c Min unsat cost LB: 57616 ... c Min unsat cost LB: 57617 ... c Min unsat cost LB: 57618 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 57620 ... c Min unsat cost LB: 57621 ... c Min unsat cost LB: 57622 ... c Min unsat cost LB: 57627 ... c Min unsat cost LB: 57628 ... c Min unsat cost LB: 57635 ... c Min unsat cost LB: 57636 ... c Min unsat cost LB: 57637 ... c Min unsat cost LB: 57638 ... c Min unsat cost LB: 57639 ... c Min unsat cost LB: 57640 ... c Min unsat cost LB: 57641 ... c Min unsat cost LB: 57642 ... c Min unsat cost LB: 57643 ... c Min unsat cost LB: 57644 ... c Min unsat cost LB: 57645 ... c Min unsat cost LB: 57646 ... c Min unsat cost LB: 57647 ... c Min unsat cost LB: 57648 ... c Min unsat cost LB: 57649 ... c Min unsat cost LB: 57650 ... c Min unsat cost LB: 57651 ... c Min unsat cost LB: 57652 ... c Min unsat cost LB: 57653 ... c Min unsat cost LB: 57655 ... c Min unsat cost LB: 57656 ... c Min unsat cost LB: 57657 ... c Min unsat cost LB: 57658 ... c Min unsat cost LB: 57659 ... c Min unsat cost LB: 57660 ... c Min unsat cost LB: 57661 ... c Min unsat cost LB: 57662 ... c Min unsat cost LB: 57663 ... c Min unsat cost LB: 57664 ... c Min unsat cost LB: 57665 ... c Min unsat cost LB: 57666 ... c Min unsat cost LB: 57667 ... c Min unsat cost LB: 57668 ... c Min unsat cost LB: 57669 ... c Min unsat cost LB: 57670 ... c Min unsat cost LB: 57753 ... c Min unsat cost LB: 57754 ... c Min unsat cost LB: 57755 ... c Min unsat cost LB: 57756 ... c Min unsat cost LB: 57757 ... c Min unsat cost LB: 57758 ... c Min unsat cost LB: 57759 ... c Min unsat cost LB: 57760 ... c Min unsat cost LB: 57761 ... c Min unsat cost LB: 57762 ... c Min unsat cost LB: 57763 ... c Min unsat cost LB: 57764 ... c Min unsat cost LB: 57766 ... c Min unsat cost LB: 57767 ... c Min unsat cost LB: 57768 ... c Min unsat cost LB: 57769 ... c Min unsat cost LB: 57770 ... c Min unsat cost LB: 57771 ... c Min unsat cost LB: 57772 ... c Min unsat cost LB: 57773 ... c Min unsat cost LB: 57774 ... c Min unsat cost LB: 57775 ... c Min unsat cost LB: 57776 ... c Min unsat cost LB: 57777 ... c Min unsat cost LB: 57778 ... c Min unsat cost LB: 57779 ... c Min unsat cost LB: 57780 ... c Min unsat cost LB: 57781 ... c Min unsat cost LB: 57782 ... c Min unsat cost LB: 57783 ... c Min unsat cost LB: 57784 ... c Min unsat cost LB: 57785 ... c Min unsat cost LB: 57786 ... c Min unsat cost LB: 57787 ... c Min unsat cost LB: 57788 ... c Min unsat cost LB: 57789 ... c Min unsat cost LB: 57790 ... c Min unsat cost LB: 57791 ... c Min unsat cost LB: 57792 ... c Min unsat cost LB: 57793 ... c Min unsat cost LB: 57794 ... c Min unsat cost LB: 57795 ... c Min unsat cost LB: 57796 ... c Min unsat cost LB: 57797 ... c Min unsat cost LB: 57798 ... c Min unsat cost LB: 57799 ... c Min unsat cost LB: 57800 ... c Min unsat cost LB: 57801 ... c Min unsat cost LB: 57802 ... c Min unsat cost LB: 57803 ... c Min unsat cost LB: 57804 ... c Min unsat cost LB: 57805 ... c Min unsat cost LB: 57806 ... c Min unsat cost LB: 57807 ... c Min unsat cost LB: 57808 ... c Min unsat cost LB: 57809 ... c Min unsat cost LB: 57810 ... c Min unsat cost LB: 57812 ... c Min unsat cost LB: 57814 ... c Min unsat cost LB: 57822 ... c Min unsat cost LB: 57823 ... c Min unsat cost LB: 57824 ... c Min unsat cost LB: 57825 ... c Min unsat cost LB: 57826 ... c Min unsat cost LB: 57827 ... c Min unsat cost LB: 57828 ... c Min unsat cost LB: 57830 ... c Min unsat cost LB: 57831 ... c Min unsat cost LB: 57832 ... c Min unsat cost LB: 57833 ... c Min unsat cost LB: 57834 ... c Min unsat cost LB: 57836 ... c Min unsat cost LB: 57837 ... c Min unsat cost LB: 57856 ... c Min unsat cost LB: 57857 ... c Min unsat cost LB: 57858 ... c Min unsat cost LB: 57859 ... c Min unsat cost LB: 57860 ... c Min unsat cost LB: 57861 ... c Min unsat cost LB: 57862 ... c Min unsat cost LB: 57863 ... c Min unsat cost LB: 57864 ... c Min unsat cost LB: 57865 ... c Min unsat cost LB: 57866 ... c Min unsat cost LB: 57867 ... c Min unsat cost LB: 57868 ... c Min unsat cost LB: 57869 ... c Min unsat cost LB: 57870 ... c Min unsat cost LB: 57871 ... c Min unsat cost LB: 57882 ... c Min unsat cost LB: 57889 ... c Min unsat cost LB: 57900 ... c Min unsat cost LB: 57901 ... c Min unsat cost LB: 57902 ... c Min unsat cost LB: 57903 ... c Min unsat cost LB: 57904 ... c Min unsat cost LB: 57905 ... c Min unsat cost LB: 57906 ... c Min unsat cost LB: 57907 ... c Min unsat cost LB: 57908 ... c Min unsat cost LB: 57909 ... c Min unsat cost LB: 57910 ... c Min unsat cost LB: 57911 ... c Min unsat cost LB: 57912 ... c Min unsat cost LB: 57913 ... c Min unsat cost LB: 57914 ... c Min unsat cost LB: 57915 ... c Min unsat cost LB: 57916 ... c Min unsat cost LB: 57917 ... c Min unsat cost LB: 57918 ... c Min unsat cost LB: 57919 ... c Min unsat cost LB: 57920 ... c Min unsat cost LB: 57921 ... c Min unsat cost LB: 57922 ... c Min unsat cost LB: 57923 ... c Min unsat cost LB: 57924 ... c Min unsat cost LB: 57925 ... c Min unsat cost LB: 57927 ... c Min unsat cost LB: 57930 ... c Min unsat cost LB: 57931 ... c Min unsat cost LB: 57932 ... c Min unsat cost LB: 57934 ... c Min unsat cost LB: 57935 ... c Min unsat cost LB: 57936 ... c Min unsat cost LB: 57937 ... c Min unsat cost LB: 57938 ... c Min unsat cost LB: 57940 ... c Min unsat cost LB: 57941 ... c Min unsat cost LB: 57942 ... c Min unsat cost LB: 57943 ... c Min unsat cost LB: 57944 ... c Min unsat cost LB: 57945 ... c Min unsat cost LB: 57946 ... c Min unsat cost LB: 57947 ... c Min unsat cost LB: 57949 ... c Min unsat cost LB: 57951 ... c Min unsat cost LB: 57952 ... c Min unsat cost LB: 57953 ... c Min unsat cost LB: 57954 ... c Min unsat cost LB: 57955 ... c Min unsat cost LB: 57956 ... c Min unsat cost LB: 57957 ... c Min unsat cost LB: 57958 ... c Min unsat cost LB: 57959 ... c Min unsat cost LB: 57960 ... c Min unsat cost LB: 57961 ... c Min unsat cost LB: 57963 ... c Min unsat cost LB: 57965 ... c Min unsat cost LB: 57966 ... c Min unsat cost LB: 57967 ... c Min unsat cost LB: 57968 ... c Min unsat cost LB: 57969 ... c Min unsat cost LB: 57970 ... c Min unsat cost LB: 57971 ... c Min unsat cost LB: 57972 ... c Min unsat cost LB: 57973 ... c Min unsat cost LB: 57974 ... c Min unsat cost LB: 57975 ... c Min unsat cost LB: 57976 ... c Min unsat cost LB: 57977 ... c Min unsat cost LB: 57978 ... c Min unsat cost LB: 57979 ... c Min unsat cost LB: 57980 ... c Min unsat cost LB: 57981 ... c Min unsat cost LB: 57982 ... c Min unsat cost LB: 57983 ... c Min unsat cost LB: 57984 ... c Min unsat cost LB: 57985 ... c Min unsat cost LB: 57986 ... c Min unsat cost LB: 57987 ... c Min unsat cost LB: 57988 ... c Min unsat cost LB: 57989 ... c Min unsat cost LB: 57991 ... c Min unsat cost LB: 57992 ... c Min unsat cost LB: 57993 ... c Min unsat cost LB: 57994 ... c Min unsat cost LB: 57995 ... c Min unsat cost LB: 57996 ... c Min unsat cost LB: 57998 ... c Min unsat cost LB: 57999 ... c Min unsat cost LB: 58000 ... c Min unsat cost LB: 58001 ... c Min unsat cost LB: 58002 ... c Min unsat cost LB: 58005 ... c Min unsat cost LB: 58008 ... c Min unsat cost LB: 58014 ... c Min unsat cost LB: 58045 ... c Min unsat cost LB: 58052 ... c Min unsat cost LB: 58053 ... c Min unsat cost LB: 58054 ... c Min unsat cost LB: 58058 ... c Min unsat cost LB: 58104 ... c Min unsat cost LB: 58105 ... c Min unsat cost LB: 58106 ... c Min unsat cost LB: 58107 ... c Min unsat cost LB: 58108 ... c Min unsat cost LB: 58109 ... c Min unsat cost LB: 58110 ... c Min unsat cost LB: 58111 ... c Min unsat cost LB: 58112 ... c Min unsat cost LB: 58114 ... c Min unsat cost LB: 58115 ... c Min unsat cost LB: 58120 ... c Min unsat cost LB: 58121 ... c Min unsat cost LB: 58122 ... c Min unsat cost LB: 58123 ... c Min unsat cost LB: 58124 ... c Min unsat cost LB: 58125 ... c Min unsat cost LB: 58126 ... c Min unsat cost LB: 58127 ... c Min unsat cost LB: 58128 ... c Min unsat cost LB: 58129 ... c Min unsat cost LB: 58130 ... c Min unsat cost LB: 58131 ... c Min unsat cost LB: 58132 ... c Min unsat cost LB: 58133 ... c Min unsat cost LB: 58134 ... c Min unsat cost LB: 58135 ... c Min unsat cost LB: 58136 ... c Min unsat cost LB: 58137 ... c Min unsat cost LB: 58138 ... c Min unsat cost LB: 58139 ... c Min unsat cost LB: 58140 ... c Min unsat cost LB: 58141 ... c Min unsat cost LB: 58142 ... c Min unsat cost LB: 58146 ... c Min unsat cost LB: 58147 ... c Min unsat cost LB: 58148 ... c Min unsat cost LB: 58149 ... c Min unsat cost LB: 58150 ... c Min unsat cost LB: 58151 ... c Min unsat cost LB: 58152 ... c Min unsat cost LB: 58153 ... c Min unsat cost LB: 58154 ... c Min unsat cost LB: 58155 ... c Min unsat cost LB: 58157 ... c Min unsat cost LB: 58158 ... c Min unsat cost LB: 58159 ... c Min unsat cost LB: 58160 ... c Min unsat cost LB: 58161 ... c Min unsat cost LB: 58162 ... c Min unsat cost LB: 58163 ... c Min unsat cost LB: 58164 ... c Min unsat cost Killed 1810.562u 9.180s 30:22.22 99.8% 0+0k 0+0io 0pf+0w