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_80_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0000.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_80_0000.txt.wcnf *** c c Min unsat cost LB: 734 ... c Min unsat cost LB: 1468 ... c Min unsat cost LB: 1658 ... c Min unsat cost LB: 1973 ... c Min unsat cost LB: 2925 ... c Min unsat cost LB: 3150 ... c Min unsat cost LB: 3157 ... c Min unsat cost LB: 4056 ... c Min unsat cost LB: 4774 ... c Min unsat cost LB: 4874 ... c Min unsat cost LB: 5039 ... c Min unsat cost LB: 5310 ... c Min unsat cost LB: 5625 ... c Min unsat cost LB: 6093 ... c Min unsat cost LB: 6243 ... c Min unsat cost LB: 7188 ... c Min unsat cost LB: 7351 ... c Min unsat cost LB: 7594 ... c Min unsat cost LB: 8462 ... c Min unsat cost LB: 9287 ... c Min unsat cost LB: 10051 ... c Min unsat cost LB: 10815 ... c Min unsat cost LB: 11611 ... c Min unsat cost LB: 12407 ... c Min unsat cost LB: 12595 ... c Min unsat cost LB: 12749 ... c Min unsat cost LB: 13701 ... c Min unsat cost LB: 13944 ... c Min unsat cost LB: 14274 ... c Min unsat cost LB: 14484 ... c Min unsat cost LB: 15147 ... c Min unsat cost LB: 16071 ... c Min unsat cost LB: 16791 ... c Min unsat cost LB: 17574 ... c Min unsat cost LB: 18294 ... c Min unsat cost LB: 18329 ... c Min unsat cost LB: 18414 ... c Min unsat cost LB: 18640 ... c Min unsat cost LB: 18864 ... c Min unsat cost LB: 19223 ... c Min unsat cost LB: 19828 ... c Min unsat cost LB: 20599 ... c Min unsat cost LB: 21333 ... c Min unsat cost LB: 21464 ... c Min unsat cost LB: 22297 ... c Min unsat cost LB: 22322 ... c Min unsat cost LB: 22407 ... c Min unsat cost LB: 22749 ... c Min unsat cost LB: 22939 ... c Min unsat cost LB: 23538 ... c Min unsat cost LB: 23997 ... c Min unsat cost LB: 24026 ... c Min unsat cost LB: 24161 ... c Min unsat cost LB: 24344 ... c Min unsat cost LB: 24358 ... c Min unsat cost LB: 25099 ... c Min unsat cost LB: 25230 ... c Min unsat cost LB: 25264 ... c Min unsat cost LB: 25457 ... c Min unsat cost LB: 25473 ... c Min unsat cost LB: 25521 ... c Min unsat cost LB: 25528 ... c Min unsat cost LB: 25704 ... c Min unsat cost LB: 25914 ... c Min unsat cost LB: 25973 ... c Min unsat cost LB: 26244 ... c Min unsat cost LB: 26400 ... c Min unsat cost LB: 26655 ... c Min unsat cost LB: 26691 ... c Min unsat cost LB: 26741 ... c Min unsat cost LB: 27102 ... c Min unsat cost LB: 27118 ... c Min unsat cost LB: 27170 ... c Min unsat cost LB: 27343 ... c Min unsat cost LB: 27419 ... c Min unsat cost LB: 27700 ... c Min unsat cost LB: 27888 ... c Min unsat cost LB: 28042 ... c Min unsat cost LB: 28111 ... c Min unsat cost LB: 28146 ... c Min unsat cost LB: 28211 ... c Min unsat cost LB: 28394 ... c Min unsat cost LB: 28411 ... c Min unsat cost LB: 29016 ... c Min unsat cost LB: 29147 ... c Min unsat cost LB: 29350 ... c Min unsat cost LB: 29576 ... c Min unsat cost LB: 29741 ... c Min unsat cost LB: 29758 ... c Min unsat cost LB: 29788 ... c Min unsat cost LB: 29931 ... c Min unsat cost LB: 29952 ... c Min unsat cost LB: 30131 ... c Min unsat cost LB: 30200 ... c Min unsat cost LB: 30236 ... c Min unsat cost LB: 30252 ... c Min unsat cost LB: 30266 ... c Min unsat cost LB: 30277 ... c Min unsat cost LB: 30451 ... c Min unsat cost LB: 30639 ... c Min unsat cost LB: 30793 ... c Min unsat cost LB: 30800 ... c Min unsat cost LB: 30816 ... c Min unsat cost LB: 30978 ... c Min unsat cost LB: 31151 ... c Min unsat cost LB: 31175 ... c Min unsat cost LB: 31186 ... c Min unsat cost LB: 31189 ... c Min unsat cost LB: 31197 ... c Min unsat cost LB: 31239 ... c Min unsat cost LB: 31291 ... c Min unsat cost LB: 31523 ... c Min unsat cost LB: 31584 ... c Min unsat cost LB: 31635 ... c Min unsat cost LB: 31900 ... c Min unsat cost LB: 31925 ... c Min unsat cost LB: 31985 ... c Min unsat cost LB: 32079 ... c Min unsat cost LB: 32096 ... c Min unsat cost LB: 32112 ... c Min unsat cost LB: 32125 ... c Min unsat cost LB: 32130 ... c Min unsat cost LB: 32206 ... c Min unsat cost LB: 32229 ... c Min unsat cost LB: 32243 ... c Min unsat cost LB: 32354 ... c Min unsat cost LB: 32741 ... c Min unsat cost LB: 32757 ... c Min unsat cost LB: 32849 ... c Min unsat cost LB: 32852 ... c Min unsat cost LB: 32907 ... c Min unsat cost LB: 32915 ... c Min unsat cost LB: 33322 ... c Min unsat cost LB: 33482 ... c Min unsat cost LB: 33686 ... c Min unsat cost LB: 33739 ... c Min unsat cost LB: 33817 ... c Min unsat cost LB: 33820 ... c Min unsat cost LB: 33850 ... c Min unsat cost LB: 33976 ... c Min unsat cost LB: 34124 ... c Min unsat cost LB: 34155 ... c Min unsat cost LB: 34320 ... c Min unsat cost LB: 34396 ... c Min unsat cost LB: 34417 ... c Min unsat cost LB: 34537 ... c Min unsat cost LB: 34546 ... c Min unsat cost LB: 34585 ... c Min unsat cost LB: 34590 ... c Min unsat cost LB: 34596 ... c Min unsat cost LB: 34612 ... c Min unsat cost LB: 34675 ... c Min unsat cost LB: 34740 ... c Min unsat cost LB: 34744 ... c Min unsat cost LB: 34758 ... c Min unsat cost LB: 34769 ... c Min unsat cost LB: 34779 ... c Min unsat cost LB: 34800 ... c Min unsat cost LB: 34898 ... c Min unsat cost LB: 35023 ... c Min unsat cost LB: 35072 ... c Min unsat cost LB: 35096 ... c Min unsat cost LB: 35102 ... c Min unsat cost LB: 35112 ... c Min unsat cost LB: 35113 ... c Min unsat cost LB: 35123 ... c Min unsat cost LB: 35132 ... c Min unsat cost LB: 35239 ... c Min unsat cost LB: 35245 ... c Min unsat cost LB: 35254 ... c Min unsat cost LB: 35261 ... c Min unsat cost LB: 35264 ... c Min unsat cost LB: 35271 ... c Min unsat cost LB: 35306 ... c Min unsat cost LB: 35313 ... c Min unsat cost LB: 35365 ... c Min unsat cost LB: 35371 ... c Min unsat cost LB: 35407 ... c Min unsat cost LB: 35418 ... c Min unsat cost LB: 35469 ... c Min unsat cost LB: 35489 ... c Min unsat cost LB: 35509 ... c Min unsat cost LB: 35552 ... c Min unsat cost LB: 35555 ... c Min unsat cost LB: 35559 ... c Min unsat cost LB: 35565 ... c Min unsat cost LB: 35568 ... c Min unsat cost LB: 35572 ... c Min unsat cost LB: 35573 ... c Min unsat cost LB: 35575 ... c Min unsat cost LB: 35596 ... c Min unsat cost LB: 35600 ... c Min unsat cost LB: 35611 ... c Min unsat cost LB: 35616 ... c Min unsat cost LB: 35627 ... c Min unsat cost LB: 35628 ... c Min unsat cost LB: 35635 ... c Min unsat cost LB: 35644 ... c Min unsat cost LB: 35652 ... c Min unsat cost LB: 35657 ... c Min unsat cost LB: 35658 ... c Min unsat cost LB: 35660 ... c Min unsat cost LB: 35665 ... c Min unsat cost LB: 35666 ... c Min unsat cost LB: 35671 ... c Min unsat cost LB: 35672 ... c Min unsat cost LB: 35675 ... c Min unsat cost LB: 35682 ... c Min unsat cost LB: 35687 ... c Min unsat cost LB: 35690 ... c Min unsat cost LB: 35698 ... c Min unsat cost LB: 35701 ... c Min unsat cost LB: 35712 ... c Min unsat cost LB: 35713 ... c Min unsat cost LB: 35730 ... c Min unsat cost LB: 35733 ... c Min unsat cost LB: 35735 ... c Min unsat cost LB: 35741 ... c Min unsat cost LB: 35745 ... c Min unsat cost LB: 35749 ... c Min unsat cost LB: 35756 ... c Min unsat cost LB: 35776 ... c Min unsat cost LB: 35779 ... c Min unsat cost LB: 35783 ... c Min unsat cost LB: 35785 ... c Min unsat cost LB: 35786 ... c Min unsat cost LB: 35787 ... c Min unsat cost LB: 35790 ... c Min unsat cost LB: 35793 ... c Min unsat cost LB: 35799 ... c Min unsat cost LB: 35802 ... c Min unsat cost LB: 35808 ... c Min unsat cost LB: 35810 ... c Min unsat cost LB: 35816 ... c Min unsat cost LB: 35827 ... c Min unsat cost LB: 35837 ... c Min unsat cost LB: 35843 ... c Min unsat cost LB: 35850 ... c Min unsat cost LB: 35851 ... c Min unsat cost LB: 35852 ... c Min unsat cost LB: 35855 ... c Min unsat cost LB: 35856 ... c Min unsat cost LB: 35857 ... c Min unsat cost LB: 35860 ... c Min unsat cost LB: 35861 ... c Min unsat cost LB: 35865 ... c Min unsat cost LB: 35866 ... c Min unsat cost LB: 35867 ... c Min unsat cost LB: 35868 ... c Min unsat cost LB: 35871 ... c Min unsat cost LB: 35873 ... c Min unsat cost LB: 35878 ... c Min unsat cost LB: 35881 ... c Min unsat cost LB: 35885 ... c Min unsat cost LB: 35886 ... c Min unsat cost LB: 35892 ... c Min unsat cost LB: 35897 ... c Min unsat cost LB: 35907 ... c Min unsat cost LB: 35926 ... c Min unsat cost LB: 35970 ... c Min unsat cost LB: 35973 ... c Min unsat cost LB: 35975 ... c Min unsat cost LB: 35976 ... c Min unsat cost LB: 36001 ... c Min unsat cost LB: 36002 ... c Min unsat cost LB: 36003 ... c Min unsat cost LB: 36007 ... c Min unsat cost LB: 36011 ... c Min unsat cost LB: 36012 ... c Min unsat cost LB: 36013 ... c Min unsat cost LB: 36017 ... c Min unsat cost LB: 36020 ... c Min unsat cost LB: 36024 ... c Min unsat cost LB: 36029 ... c Min unsat cost LB: 36030 ... c Min unsat cost LB: 36033 ... c Min unsat cost LB: 36034 ... c Min unsat cost LB: 36035 ... c Min unsat cost LB: 36036 ... c Min unsat cost LB: 36039 ... c Min unsat cost LB: 36040 ... c Min unsat cost LB: 36041 ... c Min unsat cost LB: 36042 ... c Min unsat cost LB: 36049 ... c Min unsat cost LB: 36050 ... c Min unsat cost LB: 36053 ... c Min unsat cost LB: 36054 ... c Min unsat cost LB: 36055 ... c Min unsat cost LB: 36056 ... c Min unsat cost LB: 36057 ... c Min unsat cost LB: 36059 ... c Min unsat cost LB: 36065 ... c Min unsat cost LB: 36068 ... c Min unsat cost LB: 36070 ... c Min unsat cost LB: 36072 ... c Min unsat cost LB: 36074 ... c Min unsat cost LB: 36075 ... c Min unsat cost LB: 36084 ... c Min unsat cost LB: 36088 ... c Min unsat cost LB: 36091 ... c Min unsat cost LB: 36092 ... c Min unsat cost LB: 36096 ... c Min unsat cost LB: 36097 ... c Min unsat cost LB: 36103 ... c Min unsat cost LB: 36117 ... c Min unsat cost LB: 36123 ... c Min unsat cost LB: 36126 ... c Min unsat cost LB: 36127 ... c Min unsat cost LB: 36129 ... c Min unsat cost LB: 36130 ... c Min unsat cost LB: 36131 ... c Min unsat cost LB: 36132 ... c Min unsat cost LB: 36133 ... c Min unsat cost LB: 36134 ... c Min unsat cost LB: 36135 ... c Min unsat cost LB: 36137 ... c Min unsat cost LB: 36138 ... c Min unsat cost LB: 36139 ... c Min unsat cost LB: 36140 ... c Min unsat cost LB: 36149 ... c Min unsat cost LB: 36150 ... c Min unsat cost LB: 36151 ... c Min unsat cost LB: 36152 ... c Min unsat cost LB: 36153 ... c Min unsat cost LB: 36154 ... c Min unsat cost LB: 36195 ... c Min unsat cost LB: 36196 ... c Min unsat cost LB: 36198 ... c Min unsat cost LB: 36199 ... c Min unsat cost LB: 36200 ... c Min unsat cost LB: 36201 ... c Min unsat cost LB: 36206 ... c Min unsat cost LB: 36211 ... c Min unsat cost LB: 36212 ... c Min unsat cost LB: 36216 ... c Min unsat cost LB: 36217 ... c Min unsat cost LB: 36218 ... c Min unsat cost LB: 36219 ... c Min unsat cost LB: 36220 ... c Min unsat cost LB: 36221 ... c Min unsat cost LB: 36222 ... c Min unsat cost LB: 36223 ... c Min unsat cost LB: 36224 ... c Min unsat cost LB: 36226 ... c Min unsat cost LB: 36227 ... c Min unsat cost LB: 36236 ... c Min unsat cost LB: 36238 ... c Min unsat cost LB: 36243 ... c Min unsat cost LB: 36247 ... c Min unsat cost LB: 36263 ... c Min unsat cost LB: 36269 ... c Min unsat cost LB: 36281 ... c Min unsat cost LB: 36283 ... c Min unsat cost LB: 36289 ... c Min unsat cost LB: 36362 ... c Min unsat cost LB: 36364 ... c Min unsat cost LB: 36397 ... c Min unsat cost LB: 36398 ... c Min unsat cost LB: 36487 ... c Min unsat cost LB: 36488 ... c Min unsat cost LB: 36489 ... c Min unsat cost LB: 36491 ... c Min unsat cost LB: 36493 ... c Min unsat cost LB: 36496 ... c Min unsat cost LB: 36498 ... c Min unsat cost LB: 36499 ... c Min unsat cost LB: 36509 ... c Min unsat cost LB: 36510 ... c Min unsat cost LB: 36511 ... c Min unsat cost LB: 36512 ... c Min unsat cost LB: 36514 ... c Min unsat cost LB: 36526 ... c Min unsat cost LB: 36527 ... c Min unsat cost LB: 36528 ... c Min unsat cost LB: 36529 ... c Min unsat cost LB: 36530 ... c Min unsat cost LB: 36531 ... c Min unsat cost LB: 36532 ... c Min unsat cost LB: 36534 ... c Min unsat cost LB: 36535 ... c Min unsat cost LB: 36548 ... c Min unsat cost LB: 36556 ... c Min unsat cost LB: 36557 ... c Min unsat cost LB: 36558 ... c Min unsat cost LB: 36560 ... c Min unsat cost LB: 36561 ... c Min unsat cost LB: 36568 ... c Min unsat cost LB: 36585 ... c Min unsat cost LB: 36588 ... c Min unsat cost LB: 36631 ... c Min unsat cost LB: 36635 ... c Min unsat cost LB: 36638 ... c Min unsat cost LB: 36639 ... c Min unsat cost LB: 36641 ... c Min unsat cost LB: 36642 ... c Min unsat cost LB: 36645 ... c Min unsat cost LB: 36646 ... c Min unsat cost LB: 36647 ... c Min unsat cost LB: 36648 ... c Min unsat cost LB: 36649 ... c Min unsat cost LB: 36650 ... c Min unsat cost LB: 36655 ... c Min unsat cost LB: 36656 ... c Min unsat cost LB: 36657 ... c Min unsat cost LB: 36658 ... c Min unsat cost LB: 36659 ... c Min unsat cost LB: 36660 ... c Min unsat cost LB: 36661 ... c Min unsat cost LB: 36662 ... c Min unsat cost LB: 36663 ... c Min unsat cost LB: 36664 ... c Min unsat cost LB: 36666 ... c Min unsat cost LB: 36667 ... c Min unsat cost LB: 36668 ... c Min unsat cost LB: 36670 ... c Min unsat cost LB: 36671 ... c Min unsat cost LB: 36672 ... c Min unsat cost LB: 36673 ... c Min unsat cost LB: 36674 ... c Min unsat cost LB: 36675 ... c Min unsat cost LB: 36676 ... c Min unsat cost LB: 36677 ... c Min unsat cost LB: 36678 ... c Min unsat cost LB: 36681 ... c Min unsat cost LB: 36682 ... c Min unsat cost LB: 36683 ... c Min unsat cost LB: 36684 ... c Min unsat cost LB: 36685 ... c Min unsat cost LB: 36686 ... c Min unsat cost LB: 36687 ... c Min unsat cost LB: 36688 ... c Min unsat cost LB: 36689 ... c Min unsat cost LB: 36690 ... c Min unsat cost LB: 36692 ... c Min unsat cost LB: 36693 ... c Min unsat cost LB: 36694 ... c Min unsat cost LB: 36695 ... c Min unsat cost LB: 36696 ... c Min unsat cost LB: 36697 ... c Min unsat cost LB: 36698 ... c Min unsat cost LB: 36699 ... c Min unsat cost LB: 36701 ... c Min unsat cost LB: 36703 ... c Min unsat cost LB: 36704 ... c Min unsat cost LB: 36705 ... c Min unsat cost LB: 36706 ... c Min unsat cost LB: 36707 ... c Min unsat cost LB: 36708 ... c Min unsat cost LB: 36710 ... c Min unsat cost LB: 36711 ... c Min unsat cost LB: 36713 ... c Min unsat cost LB: 36714 ... c Min unsat cost LB: 36715 ... c Min unsat cost LB: 36716 ... c Min unsat cost LB: 36717 ... c Min unsat cost LB: 36718 ... c Min unsat cost LB: 36719 ... c Min unsat cost LB: 36720 ... c Min unsat cost LB: 36721 ... c Min unsat cost LB: 36724 ... c Min unsat cost LB: 36725 ... c Min unsat cost LB: 36726 ... c Min unsat cost LB: 36727 ... c Min unsat cost LB: 36728 ... c Min unsat cost LB: 36729 ... c Min unsat cost LB: 36730 ... c Min unsat cost LB: 36731 ... c Min unsat cost LB: 36732 ... c Min unsat cost LB: 36733 ... c Min unsat cost LB: 36734 ... c Min unsat cost LB: 36735 ... c Min unsat cost LB: 36736 ... c Min unsat cost LB: 36737 ... c Min unsat cost LB: 36738 ... c Min unsat cost LB: 36739 ... c Min unsat cost LB: 36740 ... c Min unsat cost LB: 36741 ... c Min unsat cost LB: 36742 ... c Min unsat cost LB: 36743 ... c Min unsat cost LB: 36744 ... c Min unsat cost LB: 36745 ... c Min unsat cost LB: 36746 ... c Min unsat cost LB: 36747 ... c Min unsat cost LB: 36748 ... c Min unsat cost LB: 36749 ... c Min unsat cost LB: 36750 ... c Min unsat cost LB: 36751 ... c Min unsat cost LB: 36752 ... c Min unsat cost LB: 36763 ... c Min unsat cost LB: 36764 ... c Min unsat cost LB: 36767 ... c Min unsat cost LB: 36770 ... c Min unsat cost LB: 36771 ... c Min unsat cost LB: 36772 ... c Min unsat cost LB: 36774 ... c Min unsat cost LB: 36775 ... c Min unsat cost LB: 36777 ... c Min unsat cost LB: 36778 ... c Min unsat cost LB: 36779 ... c Min unsat cost LB: 36780 ... c Min unsat cost LB: 36781 ... c Min unsat cost LB: 36783 ... c Min unsat cost LB: 36784 ... c Min unsat cost LB: 36785 ... c Min unsat cost LB: 36786 ... c Min unsat cost LB: 36787 ... c Min unsat cost LB: 36788 ... c Min unsat cost LB: 36789 ... c Min unsat cost LB: 36790 ... c Min unsat cost LB: 36791 ... c Min unsat cost LB: 36792 ... c Min unsat cost LB: 36793 ... c Min unsat cost LB: 36794 ... c Min unsat cost LB: 36795 ... c Min unsat cost LB: 36796 ... c Min unsat cost LB: 36797 ... c Min unsat cost LB: 36798 ... c Min unsat cost LB: 36801 ... c Min unsat cost LB: 36802 ... c Min unsat cost LB: 36803 ... c Min unsat cost LB: 36804 ... c Min unsat cost LB: 36805 ... c Min unsat cost LB: 36807 ... c Min unsat cost LB: 36808 ... c Min unsat cost LB: 36809 ... c Min unsat cost LB: 36810 ... c Min unsat cost LB: 36812 ... c Min unsat cost LB: 36813 ... c Min unsat cost LB: 36814 ... c Min unsat cost LB: 36815 ... c Min unsat cost LB: 36816 ... c Min unsat cost LB: 36821 ... c Min unsat cost LB: 36822 ... c Min unsat cost LB: 36823 ... c Min unsat cost LB: 36824 ... c Min unsat cost LB: 36825 ... c Min unsat cost LB: 36827 ... c Min unsat cost LB: 36828 ... c Min unsat cost LB: 36829 ... c Min unsat cost LB: 36830 ... c Min unsat cost LB: 36831 ... c Min unsat cost LB: 36832 ... c Min unsat cost LB: 36833 ... c Min unsat cost LB: 36834 ... c Min unsat cost LB: 36836 ... c Min unsat cost LB: 36837 ... c Min unsat cost LB: 36839 ... c Min unsat cost LB: 36840 ... c Min unsat cost LB: 36844 ... c Min unsat cost LB: 36845 ... c Min unsat cost LB: 36846 ... c Min unsat cost LB: 36847 ... c Min unsat cost LB: 36850 ... c Min unsat cost LB: 36851 ... c Min unsat cost LB: 36853 ... c Min unsat cost LB: 36854 ... c Min unsat cost LB: 36855 ... c Min unsat cost LB: 36856 ... c Min unsat cost LB: 36857 ... c Min unsat cost LB: 36858 ... c Min unsat cost LB: 36859 ... c Min unsat cost LB: 36860 ... c Min unsat cost LB: 36861 ... c Min unsat cost LB: 36862 ... c Min unsat cost LB: 36863 ... c Min unsat cost LB: 36864 ... c Min unsat cost LB: 36865 ... c Min unsat cost LB: 36866 ... c Min unsat cost LB: 36867 ... c Min unsat cost LB: 36868 ... c Min unsat cost LB: 36869 ... c Min unsat cost LB: 36870 ... c Min unsat cost LB: 36871 ... c Min unsat cost LB: 36872 ... c Min unsat cost LB: 36873 ... c Min unsat cost LB: 36874 ... c Min unsat cost LB: 36875 ... c Min unsat cost LB: 36876 ... c Min unsat cost LB: 36877 ... c Min unsat cost LB: 36878 ... c Min unsat cost LB: 36879 ... c Min unsat cost LB: 36880 ... c Min unsat cost LB: 36881 ... c Min unsat cost LB: 36882 ... c Min unsat cost LB: 36883 ... c Min unsat cost LB: 36884 ... c Min unsat cost LB: 36885 ... c Min unsat cost LB: 36888 ... c Min unsat cost LB: 36889 ... c Min unsat cost LB: 36890 ... c Min unsat cost LB: 36891 ... c Min unsat cost LB: 36892 ... c Min unsat cost LB: 36893 ... c Min unsat cost LB: 36894 ... c Min unsat cost LB: 36895 ... c Min unsat cost LB: 36896 ... c Min unsat cost LB: 36897 ... c Min unsat cost LB: 36898 ... c Min unsat cost LB: 36899 ... c Min unsat cost LB: 36907 ... c Min unsat cost LB: 36908 ... c Min unsat cost LB: 36909 ... c Min unsat cost LB: 36910 ... c Min unsat cost LB: 36911 ... c Min unsat cost LB: 36912 ... c Min unsat cost LB: 36913 ... c Min unsat cost LB: 36916 ... c Min unsat cost LB: 36917 ... c Min unsat cost LB: 36922 ... c Min unsat cost LB: 36923 ... c Min unsat cost LB: 36924 ... c Min unsat cost LB: 36925 ... c Min unsat cost LB: 36926 ... c Min unsat cost LB: 36927 ... c Min unsat cost LB: 36928 ... c Min unsat cost LB: 36929 ... c Min unsat cost LB: 36930 ... c Min unsat cost LB: 36931 ... c Min unsat cost LB: 36932 ... c Min unsat cost LB: 36933 ... c Min unsat cost LB: 36934 ... c Min unsat cost LB: 36935 ... c Min unsat cost LB: 36936 ... c Min unsat cost LB: 36937 ... c Min unsat cost LB: 36938 ... c Min unsat cost LB: 36939 ... c Min unsat cost LB: 36941 ... c Min unsat cost LB: 36942 ... c Min unsat cost LB: 36943 ... c Min unsat cost LB: 36944 ... c Min unsat cost LB: 36945 ... c Min unsat cost LB: 36946 ... c Min unsat cost LB: 36948 ... c Min unsat cost LB: 36952 ... c Min unsat cost LB: 36953 ... c Min unsat cost LB: 36955 ... c Min unsat cost LB: 36956 ... c Min unsat cost LB: 36957 ... c Min unsat cost LB: 36958 ... c Min unsat cost LB: 36960 ... c Min unsat cost LB: 36961 ... c Min unsat cost LB: 36962 ... c Min unsat cost LB: 36963 ... c Min unsat cost LB: 36964 ... c Min unsat cost LB: 36965 ... c Min unsat cost LB: 36966 ... c Min unsat cost LB: 36967 ... c Min unsat cost LB: 36968 ... c Min unsat cost LB: 36969 ... c Min unsat cost LB: 36970 ... c Min unsat cost LB: 36971 ... c Min unsat cost LB: 36972 ... c Min unsat cost LB: 36973 ... c Min unsat cost LB: 36974 ... c Min unsat cost LB: 36975 ... c Min unsat cost LB: 36978 ... c Min unsat cost LB: 36979 ... c Min unsat cost LB: 36980 ... c Min unsat cost LB: 36981 ... c Min unsat cost LB: 36982 ... c Min unsat cost LB: 36983 ... c Min unsat cost LB: 36984 ... c Min unsat cost LB: 36986 ... c Min unsat cost LB: 36987 ... c Min unsat cost LB: 36988 ... c Min unsat cost LB: 36989 ... c Min unsat cost LB: 36990 ... c Min unsat cost LB: 36991 ... c Min unsat cost LB: 36992 ... c Min unsat cost LB: 36993 ... c Min unsat cost LB: 36994 ... c Min unsat cost LB: 36995 ... c Min unsat cost LB: 36996 ... c Min unsat cost LB: 36997 ... c Min unsat cost LB: 36998 ... c Min unsat cost LB: 36999 ... c Min unsat cost LB: 37000 ... c Min unsat cost LB: 37001 ... c Min unsat cost LB: 37002 ... c Min unsat cost LB: 37003 ... c Min unsat cost LB: 37006 ... c Min unsat cost LB: 37007 ... c Min unsat cost LB: 37008 ... c Min unsat cost LB: 37009 ... c Min unsat cost LB: 37010 ... c Min unsat cost LB: 37011 ... c Min unsat cost LB: 37012 ... c Min unsat cost LB: 37013 ... c Min unsat cost LB: 37014 ... c Min unsat cost LB: 37015 ... c Min unsat cost LB: 37017 ... c Min unsat cost LB: 37018 ... c Min unsat cost LB: 37019 ... c Min unsat cost LB: 37020 ... c Min unsat cost LB: 37021 ... c Min unsat cost LB: 37022 ... c Min unsat cost LB: 37023 ... c Min unsat cost LB: 37024 ... c Min unsat cost LB: 37026 ... c Min unsat cost LB: 37167 ... c Min unsat cost LB: 37175 ... c Min unsat cost LB: 37176 ... c Min unsat cost LB: 37177 ... c Min unsat cost LB: 37178 ... c Min unsat cost LB: 37179 ... c Min unsat cost LB: 37180 ... c Min unsat cost LB: 37181 ... c Min unsat cost LB: 37182 ... c Min unsat cost LB: 37183 ... c Min unsat cost LB: 37184 ... c Min unsat cost LB: 37185 ... c Min unsat cost LB: 37186 ... c Min unsat cost LB: 37187 ... c Min unsat cost LB: 37188 ... c Min unsat cost LB: 37189 ... c Min unsat cost LB: 37190 ... c Min unsat cost LB: 37191 ... c Min unsat cost LB: 37192 ... c Min unsat cost LB: 37196 ... c Min unsat cost LB: 37197 ... c Min unsat cost LB: 37215 ... c Min unsat cost LB: 37216 ... c Min unsat cost LB: 37218 ... c Min unsat cost LB: 37219 ... c Min unsat cost LB: 37220 ... c Min unsat cost LB: 37223 ... c Min unsat cost LB: 37224 ... c Min unsat cost LB: 37225 ... c Min unsat cost LB: 37226 ... c Min unsat cost LB: 37227 ... c Min unsat cost LB: 37228 ... c Min unsat cost LB: 37229 ... c Min unsat cost LB: 37230 ... c Min unsat cost LB: 37231 ... c Min unsat cost LB: 37233 ... c Min unsat cost LB: 37234 ... c Min unsat cost LB: 37235 ... c Min unsat cost LB: 37236 ... c Min unsat cost LB: 37237 ... c Min unsat cost LB: 37238 ... c Min unsat cost LB: 37239 ... c Min unsat cost LB: 37240 ... c Min unsat cost LB: 37241 ... c Min unsat cost LB: 37242 ... c Min unsat cost LB: 37243 ... c Min unsat cost LB: 37244 ... c Min unsat cost LB: 37245 ... c Min unsat cost LB: 37246 ... c Min unsat cost LB: 37247 ... c Min unsat cost LB: 37248 ... c Min unsat cost LB: 37249 ... c Min unsat cost LB: 37250 ... c Min unsat cost LB: 37251 ... c Min unsat cost LB: 37252 ... c Min unsat cost LB: 37253 ... c Min unsat cost LB: 37254 ... c Min unsat cost LB: 37255 ... c Min unsat cost LB: 37256 ... c Min unsat cost LB: 37257 ... c Min unsat cost LB: 37258 ... c Min unsat cost LB: 37259 ... c Min unsat cost LB: 37260 ... c Min unsat cost LB: 37261 ... c Min unsat cost LB: 37262 ... c Min unsat cost LB: 37263 ... c Min unsat cost LB: 37264 ... c Min unsat cost LB: 37265 ... c Min unsat cost LB: 37266 ... c Min unsat cost LB: 37267 ... c Min unsat cost LB: 37268 ... c Min unsat cost LB: 37269 ... c Min unsat cost LB: 37270 ... c Min unsat cost LB: 37271 ... c Min unsat cost LB: 37303 ... c Min unsat cost LB: 37304 ... c Min unsat cost LB: 37305 ... c Min unsat cost LB: 37306 ... c Min unsat cost LB: 37307 ... c Min unsat cost LB: 37308 ... c Min unsat cost LB: 37309 ... c Min unsat cost LB: 37310 ... c Min unsat cost LB: 37311 ... c Min unsat cost LB: 37312 ... c Min unsat cost LB: 37313 ... c Min unsat cost LB: 37314 ... c Min unsat cost LB: 37315 ... c Min unsat cost LB: 37316 ... c Min unsat cost LB: 37317 ... c Min unsat cost LB: 37318 ... c Min unsat cost LB: 37319 ... c Min unsat cost LB: 37320 ... c Min unsat cost LB: 37321 ... c Min unsat cost LB: 37322 ... c Min unsat cost LB: 37323 ... c Min unsat cost LB: 37324 ... c Min unsat cost LB: 37325 ... c Min unsat cost LB: 37326 ... c Min unsat cost LB: 37327 ... c Min unsat cost LB: 37328 ... c Min unsat cost LB: 37329 ... c Min unsat cost LB: 37356 ... c Min unsat cost LB: 37357 ... c Min unsat cost LB: 37362 ... c Min unsat cost LB: 37368 ... c Min unsat cost LB: 37369 ... c Min unsat cost LB: 37370 ... c Min unsat cost LB: 37371 ... c Min unsat cost LB: 37372 ... c Min unsat cost LB: 37373 ... c Min unsat cost LB: 37374 ... c Min unsat cost LB: 37375 ... c Min unsat cost LB: 37376 ... c Min unsat cost LB: 37377 ... c Min unsat cost LB: 37378 ... c Min unsat cost LB: 37379 ... c Min unsat cost LB: 37380 ... c Min unsat cost LB: 37381 ... c Min unsat cost LB: 37382 ... c Min unsat cost LB: 37383 ... c Min unsat cost LB: 37385 ... c Min unsat cost LB: 37389 ... c Min unsat cost LB: 37394 ... c Min unsat cost LB: 37396 ... c Min unsat cost LB: 37398 ... c Min unsat cost LB: 37401 ... c Min unsat cost LB: 37402 ... c Min unsat cost LB: 37403 ... c Min unsat cost LB: 37404 ... c Min unsat cost LB: 37405 ... c Min unsat cost LB: 37406 ... c Min unsat cost LB: 37407 ... c Min unsat cost LB: 37408 ... c Min unsat cost LB: 37409 ... c Min unsat cost LB: 37410 ... c Min unsat cost LB: 37411 ... c Min unsat cost LB: 37412 ... c Min unsat cost LB: 37413 ... c Min unsat cost LB: 37414 ... c Min unsat cost LB: 37415 ... c Min unsat cost LB: 37416 ... c Min unsat cost LB: 37417 ... c Min unsat cost LB: 37418 ... c Min unsat cost LB: 37419 ... c Min unsat cost LB: 37420 ... c Min unsat cost LB: 37421 ... c Min unsat cost LB: 37422 ... c Min unsat cost LB: 37423 ... c Min unsat cost LB: 37424 ... c Min unsat cost LB: 37425 ... c Min unsat cost LB: 37426 ... c Min unsat cost LB: 37427 ... c Min unsat cost LB: 37428 ... c Min unsat cost LB: 37429 ... c Min unsat cost LB: 37430 ... c Min unsat cost LB: 37431 ... c Min unsat cost LB: 37432 ... c Min unsat cost LB: 37433 ... c Min unsat cost LB: 37434 ... c Min unsat cost LB: 37435 ... c Min unsat cost LB: 37436 ... c Min unsat cost LB: 37437 ... c Min unsat cost LB: 37438 ... c Min unsat cost LB: 37439 ... c Min unsat cost LB: 37440 ... c Min unsat cost LB: 37441 ... c Min unsat cost LB: 37442 ... c Min unsat cost LB: 37443 ... c Min unsat cost LB: 37444 ... c Min unsat cost LB: 37445 ... c Min unsat cost LB: 37446 ... c Min unsat cost LB: 37447 ... c Min unsat cost LB: 37448 ... c Min unsat cost LB: 37449 ... c Min unsat cost LB: 37450 ... c Min unsat cost LB: 37451 ... c Min unsat cost LB: 37452 ... c Min unsat cost LB: 37453 ... c Min unsat cost LB: 37454 ... c Min unsat cost LB: 37455 ... c Min unsat cost LB: 37456 ... c Min unsat cost LB: 37457 ... c Min unsat cost LB: 37458 ... c Min unsat cost LB: 37459 ... c Min unsat cost LB: 37460 ... c Min unsat cost LB: 37461 ... c Min unsat cost LB: 37462 ... c Min unsat cost LB: 37463 ... c Min unsat cost LB: 37464 ... c Min unsat cost LB: 37465 ... c Min unsat cost LB: 37466 ... c Min unsat cost LB: 37467 ... c Min unsat cost LB: 37468 ... c Min unsat cost LB: 37469 ... c Min unsat cost LB: 37470 ... c Min unsat cost LB: 37471 ... c Min unsat cost LB: 37472 ... c Min unsat cost LB: 37473 ... c Min unsat cost LB: 37474 ... c Min unsat cost LB: 37475 ... c Min unsat cost LB: 37476 ... c Min unsat cost LB: 37477 ... c Min unsat cost LB: 37478 ... c Min unsat cost LB: 37479 ... c Min unsat cost LB: 37480 ... c Min unsat cost LB: 37481 ... c Min unsat cost LB: 37482 ... c Min unsat cost LB: 37483 ... c Min unsat cost LB: 37484 ... c Min unsat cost LB: 37485 ... c Min unsat cost LB: 37486 ... c Min unsat cost LB: 37487 ... c Min unsat cost LB: 37488 ... c Min unsat cost LB: 37489 ... c Min unsat cost LB: 37490 ... c Min unsat cost LB: 37491 ... c Min unsat cost LB: 37494 ... c Min unsat cost LB: 37495 ... c Min unsat cost LB: 37496 ... c Min unsat cost LB: 37497 ... c Min unsat cost LB: 37498 ... c Min unsat cost LB: 37499 ... c Min unsat cost LB: 37500 ... c Min unsat cost LB: 37501 ... c Min unsat cost LB: 37502 ... c Min unsat cost LB: 37503 ... c Min unsat cost LB: 37504 ... c Min unsat cost LB: 37505 ... c Min unsat cost LB: 37506 ... c Min unsat cost LB: 37507 ... c Min unsat cost LB: 37508 ... c Min unsat cost LB: 37509 ... c Min unsat cost LB: 37510 ... c Min unsat cost LB: 37511 ... c Min unsat cost LB: 37512 ... c Min unsat cost LB: 37513 ... c Min unsat cost LB: 37514 ... c Min unsat cost LB: 37515 ... c Min unsat cost LB: 37516 ... c Min unsat cost LB: 37517 ... c Min unsat cost LB: 37518 ... c Min unsat cost LB: 37519 ... c Min unsat cost LB: 37520 ... c Min unsat cost LB: 37521 ... c Min unsat cost LB: 37522 ... c Min unsat cost LB: 37523 ... c Min unsat cost LB: 37524 ... c Min unsat cost LB: 37525 ... c Min unsat cost LB: 37526 ... c Min unsat cost LB: 37527 ... c Min unsat cost LB: 37528 ... c Min unsat cost LB: 37529 ... c Min unsat cost LB: 37530 ... c Min unsat cost LB: 37531 ... c Min unsat cost LB: 37547 ... c Min unsat cost LB: 37548 ... c Min unsat cost LB: 37549 ... c Min unsat cost LB: 37550 ... c Min unsat cost LB: 37551 ... c Min unsat cost LB: 37552 ... c Min unsat cost LB: 37553 ... c Min unsat cost LB: 37554 ... c Min unsat cost LB: 37555 ... c Min unsat cost LB: 37556 ... c Min unsat cost LB: 37557 ... c Min unsat cost LB: 37558 ... c Min unsat cost LB: 37559 ... c Min unsat cost LB: 37560 ... c Min unsat cost LB: 37561 ... c Min unsat cost LB: 37562 ... c Min unsat cost LB: 37563 ... c Min unsat cost LB: 37564 ... c Min unsat cost LB: 37565 ... c Min unsat cost LB: 37566 ... c Min unsat cost LB: 37567 ... c Min unsat cost LB: 37568 ... c Min unsat cost LB: 37569 ... c Min unsat cost LB: 37570 ... c Min unsat cost LB: 37571 ... c Min unsat cost LB: 37572 ... c Min unsat cost LB: 37573 ... c Min unsat cost LB: 37574 ... c Min unsat cost LB: 37575 ... c Min unsat cost LB: 37576 ... c Min unsat cost LB: 37577 ... c Min unsat cost LB: 37578 ... c Min unsat cost LB: 37579 ... c Min unsat cost LB: 37580 ... c Min unsat cost LB: 37581 ... c Min unsat cost LB: 37582 ... c Min unsat cost LB: 37583 ... c Min unsat cost LB: 37584 ... c Min unsat cost LB: 37585 ... c Min unsat cost LB: 37586 ... c Min unsat cost LB: 37587 ... c Min unsat cost LB: 37588 ... c Min unsat cost LB: 37589 ... c Min unsat cost LB: 37590 ... c Min unsat cost LB: 37591 ... c Min unsat cost LB: 37592 ... c Min unsat cost LB: 37593 ... c Min unsat cost LB: 37594 ... c Min unsat cost LB: 37597 ... c Min unsat cost LB: 37614 ... c Min unsat cost LB: 37615 ... c Min unsat cost LB: 37616 ... c Min unsat cost LB: 37617 ... c Min unsat cost LB: 37618 ... c Min unsat cost LB: 37619 ... c Min unsat cost LB: 37620 ... c Min unsat cost LB: 37621 ... c Min unsat cost LB: 37622 ... c Min unsat cost LB: 37623 ... c Min unsat cost LB: 37624 ... c Min unsat cost LB: 37625 ... c Min unsat cost LB: 37626 ... c Min unsat cost LB: 37627 ... c Min unsat cost LB: 37628 ... c Min unsat cost LB: 37629 ... c Min unsat cost LB: 37630 ... c Min unsat cost LB: 37631 ... c Min unsat cost LB: 37632 ... c Min unsat cost LB: 37633 ... c Min unsat cost LB: 37634 ... c Min unsat cost LB: 37635 ... c Min unsat cost LB: Killed 1815.558u 4.189s 30:20.03 99.9% 0+0k 0+0io 0pf+0w