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_140_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0007.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_140_0007.txt.wcnf *** c c Min unsat cost LB: 748 ... c Min unsat cost LB: 912 ... c Min unsat cost LB: 2079 ... c Min unsat cost LB: 2395 ... c Min unsat cost LB: 2538 ... c Min unsat cost LB: 3483 ... c Min unsat cost LB: 3946 ... c Min unsat cost LB: 4163 ... c Min unsat cost LB: 5108 ... c Min unsat cost LB: 6093 ... c Min unsat cost LB: 7070 ... c Min unsat cost LB: 7236 ... c Min unsat cost LB: 8053 ... c Min unsat cost LB: 8655 ... c Min unsat cost LB: 9023 ... c Min unsat cost LB: 9225 ... c Min unsat cost LB: 10044 ... c Min unsat cost LB: 10190 ... c Min unsat cost LB: 10290 ... c Min unsat cost LB: 10932 ... c Min unsat cost LB: 11294 ... c Min unsat cost LB: 11430 ... c Min unsat cost LB: 11936 ... c Min unsat cost LB: 12374 ... c Min unsat cost LB: 12514 ... c Min unsat cost LB: 12552 ... c Min unsat cost LB: 12787 ... c Min unsat cost LB: 13103 ... c Min unsat cost LB: 13851 ... c Min unsat cost LB: 14754 ... c Min unsat cost LB: 15192 ... c Min unsat cost LB: 15807 ... c Min unsat cost LB: 16348 ... c Min unsat cost LB: 16752 ... c Min unsat cost LB: 16777 ... c Min unsat cost LB: 17379 ... c Min unsat cost LB: 18251 ... c Min unsat cost LB: 18567 ... c Min unsat cost LB: 18598 ... c Min unsat cost LB: 19036 ... c Min unsat cost LB: 19360 ... c Min unsat cost LB: 19563 ... c Min unsat cost LB: 20084 ... c Min unsat cost LB: 20503 ... c Min unsat cost LB: 20894 ... c Min unsat cost LB: 21502 ... c Min unsat cost LB: 21598 ... c Min unsat cost LB: 22311 ... c Min unsat cost LB: 22432 ... c Min unsat cost LB: 22464 ... c Min unsat cost LB: 22734 ... c Min unsat cost LB: 23142 ... c Min unsat cost LB: 23404 ... c Min unsat cost LB: 24012 ... c Min unsat cost LB: 24044 ... c Min unsat cost LB: 24390 ... c Min unsat cost LB: 25103 ... c Min unsat cost LB: 25165 ... c Min unsat cost LB: 25400 ... c Min unsat cost LB: 25529 ... c Min unsat cost LB: 26185 ... c Min unsat cost LB: 26670 ... c Min unsat cost LB: 27307 ... c Min unsat cost LB: 27569 ... c Min unsat cost LB: 27749 ... c Min unsat cost LB: 28253 ... c Min unsat cost LB: 28624 ... c Min unsat cost LB: 29123 ... c Min unsat cost LB: 29426 ... c Min unsat cost LB: 29731 ... c Min unsat cost LB: 30135 ... c Min unsat cost LB: 30339 ... c Min unsat cost LB: 30841 ... c Min unsat cost LB: 31021 ... c Min unsat cost LB: 31207 ... c Min unsat cost LB: 31291 ... c Min unsat cost LB: 32004 ... c Min unsat cost LB: 32792 ... c Min unsat cost LB: 32982 ... c Min unsat cost LB: 33514 ... c Min unsat cost LB: 33927 ... c Min unsat cost LB: 34044 ... c Min unsat cost LB: 34434 ... c Min unsat cost LB: 34646 ... c Min unsat cost LB: 35179 ... c Min unsat cost LB: 35882 ... c Min unsat cost LB: 36122 ... c Min unsat cost LB: 37005 ... c Min unsat cost LB: 37247 ... c Min unsat cost LB: 37907 ... c Min unsat cost LB: 38087 ... c Min unsat cost LB: 38323 ... c Min unsat cost LB: 38359 ... c Min unsat cost LB: 39257 ... c Min unsat cost LB: 39314 ... c Min unsat cost LB: 40078 ... c Min unsat cost LB: 40258 ... c Min unsat cost LB: 40577 ... c Min unsat cost LB: 40757 ... c Min unsat cost LB: 40839 ... c Min unsat cost LB: 41283 ... c Min unsat cost LB: 41531 ... c Min unsat cost LB: 41674 ... c Min unsat cost LB: 41990 ... c Min unsat cost LB: 42382 ... c Min unsat cost LB: 42903 ... c Min unsat cost LB: 43076 ... c Min unsat cost LB: 43456 ... c Min unsat cost LB: 43642 ... c Min unsat cost LB: 44301 ... c Min unsat cost LB: 44338 ... c Min unsat cost LB: 44339 ... c Min unsat cost LB: 44587 ... c Min unsat cost LB: 44747 ... c Min unsat cost LB: 45063 ... c Min unsat cost LB: 45562 ... c Min unsat cost LB: 45668 ... c Min unsat cost LB: 46085 ... c Min unsat cost LB: 46273 ... c Min unsat cost LB: 46460 ... c Min unsat cost LB: 46620 ... c Min unsat cost LB: 47129 ... c Min unsat cost LB: 47333 ... c Min unsat cost LB: 47365 ... c Min unsat cost LB: 47370 ... c Min unsat cost LB: 47461 ... c Min unsat cost LB: 47623 ... c Min unsat cost LB: 47769 ... c Min unsat cost LB: 47981 ... c Min unsat cost LB: 48178 ... c Min unsat cost LB: 48490 ... c Min unsat cost LB: 48726 ... c Min unsat cost LB: 48954 ... c Min unsat cost LB: 48974 ... c Min unsat cost LB: 49134 ... c Min unsat cost LB: 49450 ... c Min unsat cost LB: 49612 ... c Min unsat cost LB: 49758 ... c Min unsat cost LB: 50265 ... c Min unsat cost LB: 50431 ... c Min unsat cost LB: 50580 ... c Min unsat cost LB: 50598 ... c Min unsat cost LB: 50715 ... c Min unsat cost LB: 50747 ... c Min unsat cost LB: 51092 ... c Min unsat cost LB: 51231 ... c Min unsat cost LB: 51345 ... c Min unsat cost LB: 51496 ... c Min unsat cost LB: 51660 ... c Min unsat cost LB: 51763 ... c Min unsat cost LB: 51777 ... c Min unsat cost LB: 51787 ... c Min unsat cost LB: 51916 ... c Min unsat cost LB: 52240 ... c Min unsat cost LB: 52380 ... c Min unsat cost LB: 52695 ... c Min unsat cost LB: 52760 ... c Min unsat cost LB: 52796 ... c Min unsat cost LB: 52932 ... c Min unsat cost LB: 52950 ... c Min unsat cost LB: 52980 ... c Min unsat cost LB: 53043 ... c Min unsat cost LB: 53279 ... c Min unsat cost LB: 53723 ... c Min unsat cost LB: 53880 ... c Min unsat cost LB: 53932 ... c Min unsat cost LB: 53942 ... c Min unsat cost LB: 53950 ... c Min unsat cost LB: 54026 ... c Min unsat cost LB: 54114 ... c Min unsat cost LB: 54177 ... c Min unsat cost LB: 54254 ... c Min unsat cost LB: 54378 ... c Min unsat cost LB: 54410 ... c Min unsat cost LB: 54430 ... c Min unsat cost LB: 54492 ... c Min unsat cost LB: 54508 ... c Min unsat cost LB: 54548 ... c Min unsat cost LB: 54551 ... c Min unsat cost LB: 54657 ... c Min unsat cost LB: 55008 ... c Min unsat cost LB: 55023 ... c Min unsat cost LB: 55041 ... c Min unsat cost LB: 55138 ... c Min unsat cost LB: 55158 ... c Min unsat cost LB: 55174 ... c Min unsat cost LB: 55206 ... c Min unsat cost LB: 55268 ... c Min unsat cost LB: 55306 ... c Min unsat cost LB: 55322 ... c Min unsat cost LB: 55394 ... c Min unsat cost LB: 55489 ... c Min unsat cost LB: 55642 ... c Min unsat cost LB: 55700 ... c Min unsat cost LB: 55756 ... c Min unsat cost LB: 55759 ... c Min unsat cost LB: 55782 ... c Min unsat cost LB: 55895 ... c Min unsat cost LB: 55940 ... c Min unsat cost LB: 55957 ... c Min unsat cost LB: 55991 ... c Min unsat cost LB: 56057 ... c Min unsat cost LB: 56058 ... c Min unsat cost LB: 56105 ... c Min unsat cost LB: 56151 ... c Min unsat cost LB: 56207 ... c Min unsat cost LB: 56268 ... c Min unsat cost LB: 56288 ... c Min unsat cost LB: 56298 ... c Min unsat cost LB: 56429 ... c Min unsat cost LB: 56452 ... c Min unsat cost LB: 56473 ... c Min unsat cost LB: 56668 ... c Min unsat cost LB: 56713 ... c Min unsat cost LB: 56746 ... c Min unsat cost LB: 56750 ... c Min unsat cost LB: 56770 ... c Min unsat cost LB: 56809 ... c Min unsat cost LB: 56813 ... c Min unsat cost LB: 56821 ... c Min unsat cost LB: 56836 ... c Min unsat cost LB: 56837 ... c Min unsat cost LB: 56875 ... c Min unsat cost LB: 56886 ... c Min unsat cost LB: 56938 ... c Min unsat cost LB: 57043 ... c Min unsat cost LB: 57111 ... c Min unsat cost LB: 57144 ... c Min unsat cost LB: 57352 ... c Min unsat cost LB: 57506 ... c Min unsat cost LB: 57531 ... c Min unsat cost LB: 57541 ... c Min unsat cost LB: 57565 ... c Min unsat cost LB: 57620 ... c Min unsat cost LB: 57723 ... c Min unsat cost LB: 57795 ... c Min unsat cost LB: 57844 ... c Min unsat cost LB: 57919 ... c Min unsat cost LB: 57921 ... c Min unsat cost LB: 57955 ... c Min unsat cost LB: 57978 ... c Min unsat cost LB: 58009 ... c Min unsat cost LB: 58123 ... c Min unsat cost LB: 58288 ... c Min unsat cost LB: 58355 ... c Min unsat cost LB: 58370 ... c Min unsat cost LB: 58375 ... c Min unsat cost LB: 58525 ... c Min unsat cost LB: 58629 ... c Min unsat cost LB: 58720 ... c Min unsat cost LB: 58745 ... c Min unsat cost LB: 58818 ... c Min unsat cost LB: 58848 ... c Min unsat cost LB: 58864 ... c Min unsat cost LB: 58961 ... c Min unsat cost LB: 59011 ... c Min unsat cost LB: 59028 ... c Min unsat cost LB: 59114 ... c Min unsat cost LB: 59132 ... c Min unsat cost LB: 59140 ... c Min unsat cost LB: 59186 ... c Min unsat cost LB: 59215 ... c Min unsat cost LB: 59286 ... c Min unsat cost LB: 59382 ... c Min unsat cost LB: 59407 ... c Min unsat cost LB: 59500 ... c Min unsat cost LB: 59514 ... c Min unsat cost LB: 59531 ... c Min unsat cost LB: 59534 ... c Min unsat cost LB: 59645 ... c Min unsat cost LB: 59651 ... c Min unsat cost LB: 59694 ... c Min unsat cost LB: 59716 ... c Min unsat cost LB: 59755 ... c Min unsat cost LB: 59843 ... c Min unsat cost LB: 60159 ... c Min unsat cost LB: 60233 ... c Min unsat cost LB: 60263 ... c Min unsat cost LB: 60266 ... c Min unsat cost LB: 60289 ... c Min unsat cost LB: 60359 ... c Min unsat cost LB: 60384 ... c Min unsat cost LB: 60391 ... c Min unsat cost LB: 60396 ... c Min unsat cost LB: 60482 ... c Min unsat cost LB: 60557 ... c Min unsat cost LB: 60637 ... c Min unsat cost LB: 60841 ... c Min unsat cost LB: 60847 ... c Min unsat cost LB: 60998 ... c Min unsat cost LB: 61006 ... c Min unsat cost LB: 61068 ... c Min unsat cost LB: 61131 ... c Min unsat cost LB: 61139 ... c Min unsat cost LB: 61140 ... c Min unsat cost LB: 61141 ... c Min unsat cost LB: 61148 ... c Min unsat cost LB: 61149 ... c Min unsat cost LB: 61200 ... c Min unsat cost LB: 61201 ... c Min unsat cost LB: 61217 ... c Min unsat cost LB: 61280 ... c Min unsat cost LB: 61298 ... c Min unsat cost LB: 61306 ... c Min unsat cost LB: 61495 ... c Min unsat cost LB: 61496 ... c Min unsat cost LB: 61504 ... c Min unsat cost LB: 61510 ... c Min unsat cost LB: 61527 ... c Min unsat cost LB: 61548 ... c Min unsat cost LB: 61558 ... c Min unsat cost LB: 61564 ... c Min unsat cost LB: 61572 ... c Min unsat cost LB: 61576 ... c Min unsat cost LB: 61588 ... c Min unsat cost LB: 61608 ... c Min unsat cost LB: 61612 ... c Min unsat cost LB: 61671 ... c Min unsat cost LB: 61679 ... c Min unsat cost LB: 61686 ... c Min unsat cost LB: 61688 ... c Min unsat cost LB: 61692 ... c Min unsat cost LB: 61707 ... c Min unsat cost LB: 61708 ... c Min unsat cost LB: 61716 ... c Min unsat cost LB: 61723 ... c Min unsat cost LB: 61724 ... c Min unsat cost LB: 61725 ... c Min unsat cost LB: 61726 ... c Min unsat cost LB: 61748 ... c Min unsat cost LB: 61756 ... c Min unsat cost LB: 61763 ... c Min unsat cost LB: 61767 ... c Min unsat cost LB: 61781 ... c Min unsat cost LB: 61784 ... c Min unsat cost LB: 61786 ... c Min unsat cost LB: 61789 ... c Min unsat cost LB: 61796 ... c Min unsat cost LB: 61797 ... c Min unsat cost LB: 61801 ... c Min unsat cost LB: 61806 ... c Min unsat cost LB: 61817 ... c Min unsat cost LB: 61818 ... c Min unsat cost LB: 61821 ... c Min unsat cost LB: 61835 ... c Min unsat cost LB: 61851 ... c Min unsat cost LB: 61852 ... c Min unsat cost LB: 61860 ... c Min unsat cost LB: 61863 ... c Min unsat cost LB: 61869 ... c Min unsat cost LB: 61871 ... c Min unsat cost LB: 61877 ... c Min unsat cost LB: 61879 ... c Min unsat cost LB: 61900 ... c Min unsat cost LB: 61908 ... c Min unsat cost LB: 61922 ... c Min unsat cost LB: 61926 ... c Min unsat cost LB: 61934 ... c Min unsat cost LB: 61940 ... c Min unsat cost LB: 61942 ... c Min unsat cost LB: 61945 ... c Min unsat cost LB: 61947 ... c Min unsat cost LB: 61948 ... c Min unsat cost LB: 61949 ... c Min unsat cost LB: 61952 ... c Min unsat cost LB: 61955 ... c Min unsat cost LB: 61961 ... c Min unsat cost LB: 61967 ... c Min unsat cost LB: 61968 ... c Min unsat cost LB: 61969 ... c Min unsat cost LB: 61980 ... c Min unsat cost LB: 61982 ... c Min unsat cost LB: 61986 ... c Min unsat cost LB: 61990 ... c Min unsat cost LB: 61992 ... c Min unsat cost LB: 61994 ... c Min unsat cost LB: 61996 ... c Min unsat cost LB: 61999 ... c Min unsat cost LB: 62004 ... c Min unsat cost LB: 62005 ... c Min unsat cost LB: 62015 ... c Min unsat cost LB: 62020 ... c Min unsat cost LB: 62027 ... c Min unsat cost LB: 62041 ... c Min unsat cost LB: 62043 ... c Min unsat cost LB: 62050 ... c Min unsat cost LB: 62052 ... c Min unsat cost LB: 62058 ... c Min unsat cost LB: 62060 ... c Min unsat cost LB: 62061 ... c Min unsat cost LB: 62062 ... c Min unsat cost LB: 62063 ... c Min unsat cost LB: 62064 ... c Min unsat cost LB: 62065 ... c Min unsat cost LB: 62066 ... c Min unsat cost LB: 62084 ... c Min unsat cost LB: 62085 ... c Min unsat cost LB: 62086 ... c Min unsat cost LB: 62091 ... c Min unsat cost LB: 62095 ... c Min unsat cost LB: 62098 ... c Min unsat cost LB: 62099 ... c Min unsat cost LB: 62100 ... c Min unsat cost LB: 62102 ... c Min unsat cost LB: 62103 ... c Min unsat cost LB: 62104 ... c Min unsat cost LB: 62105 ... c Min unsat cost LB: 62136 ... c Min unsat cost LB: 62138 ... c Min unsat cost LB: 62139 ... c Min unsat cost LB: 62142 ... c Min unsat cost LB: 62144 ... c Min unsat cost LB: 62150 ... c Min unsat cost LB: 62151 ... c Min unsat cost LB: 62152 ... c Min unsat cost LB: 62153 ... c Min unsat cost LB: 62154 ... c Min unsat cost LB: 62155 ... c Min unsat cost LB: 62156 ... c Min unsat cost LB: 62158 ... c Min unsat cost LB: 62213 ... c Min unsat cost LB: 62233 ... c Min unsat cost LB: 62239 ... c Min unsat cost LB: 62241 ... c Min unsat cost LB: 62242 ... c Min unsat cost LB: 62244 ... c Min unsat cost LB: 62246 ... c Min unsat cost LB: 62247 ... c Min unsat cost LB: 62248 ... c Min unsat cost LB: 62249 ... c Min unsat cost LB: 62250 ... c Min unsat cost LB: 62259 ... c Min unsat cost LB: 62261 ... c Min unsat cost LB: 62262 ... c Min unsat cost LB: 62263 ... c Min unsat cost LB: 62264 ... c Min unsat cost LB: 62266 ... c Min unsat cost LB: 62271 ... c Min unsat cost LB: 62277 ... c Min unsat cost LB: 62278 ... c Min unsat cost LB: 62296 ... c Min unsat cost LB: 62297 ... c Min unsat cost LB: 62299 ... c Min unsat cost LB: 62300 ... c Min unsat cost LB: 62303 ... c Min unsat cost LB: 62307 ... c Min unsat cost LB: 62308 ... c Min unsat cost LB: 62309 ... c Min unsat cost LB: 62310 ... c Min unsat cost LB: 62312 ... c Min unsat cost LB: 62313 ... c Min unsat cost LB: 62318 ... c Min unsat cost LB: 62320 ... c Min unsat cost LB: 62321 ... c Min unsat cost LB: 62322 ... c Min unsat cost LB: 62324 ... c Min unsat cost LB: 62325 ... c Min unsat cost LB: 62326 ... c Min unsat cost LB: 62327 ... c Min unsat cost LB: 62328 ... c Min unsat cost LB: 62329 ... c Min unsat cost LB: 62330 ... c Min unsat cost LB: 62331 ... c Min unsat cost LB: 62332 ... c Min unsat cost LB: 62334 ... c Min unsat cost LB: 62337 ... c Min unsat cost LB: 62338 ... c Min unsat cost LB: 62339 ... c Min unsat cost LB: 62342 ... c Min unsat cost LB: 62345 ... c Min unsat cost LB: 62360 ... c Min unsat cost LB: 62413 ... c Min unsat cost LB: 62414 ... c Min unsat cost LB: 62415 ... c Min unsat cost LB: 62416 ... c Min unsat cost LB: 62417 ... c Min unsat cost LB: 62418 ... c Min unsat cost LB: 62419 ... c Min unsat cost LB: 62420 ... c Min unsat cost LB: 62421 ... c Min unsat cost LB: 62422 ... c Min unsat cost LB: 62431 ... c Min unsat cost LB: 62432 ... c Min unsat cost LB: 62444 ... c Min unsat cost LB: 62449 ... c Min unsat cost LB: 62450 ... c Min unsat cost LB: 62451 ... c Min unsat cost LB: 62453 ... c Min unsat cost LB: 62457 ... c Min unsat cost LB: 62460 ... c Min unsat cost LB: 62461 ... c Min unsat cost LB: 62462 ... c Min unsat cost LB: 62463 ... c Min unsat cost LB: 62471 ... c Min unsat cost LB: 62473 ... c Min unsat cost LB: 62474 ... c Min unsat cost LB: 62480 ... c Min unsat cost LB: 62482 ... c Min unsat cost LB: 62485 ... c Min unsat cost LB: 62490 ... c Min unsat cost LB: 62505 ... c Min unsat cost LB: 62520 ... c Min unsat cost LB: 62522 ... c Min unsat cost LB: 62525 ... c Min unsat cost LB: 62529 ... c Min unsat cost LB: 62533 ... c Min unsat cost LB: 62536 ... c Min unsat cost LB: 62538 ... c Min unsat cost LB: 62539 ... c Min unsat cost LB: 62540 ... c Min unsat cost LB: 62541 ... c Min unsat cost LB: 62542 ... c Min unsat cost LB: 62543 ... c Min unsat cost LB: 62544 ... c Min unsat cost LB: 62545 ... c Min unsat cost LB: 62546 ... c Min unsat cost LB: 62547 ... c Min unsat cost LB: 62548 ... c Min unsat cost LB: 62549 ... c Min unsat cost LB: 62550 ... c Min unsat cost LB: 62552 ... c Min unsat cost LB: 62553 ... c Min unsat cost LB: 62555 ... c Min unsat cost LB: 62606 ... c Min unsat cost LB: 62619 ... c Min unsat cost LB: 62625 ... c Min unsat cost LB: 62627 ... c Min unsat cost LB: 62639 ... c Min unsat cost LB: 62667 ... c Min unsat cost LB: 62673 ... c Min unsat cost LB: 62676 ... c Min unsat cost LB: 62694 ... c Min unsat cost LB: 62710 ... c Min unsat cost LB: 62722 ... c Min unsat cost LB: 62728 ... c Min unsat cost LB: 62753 ... c Min unsat cost LB: 62754 ... c Min unsat cost LB: 62758 ... c Min unsat cost LB: 62770 ... c Min unsat cost LB: 62771 ... c Min unsat cost LB: 62775 ... c Min unsat cost LB: 62792 ... c Min unsat cost LB: 62801 ... c Min unsat cost LB: 62802 ... c Min unsat cost LB: 62803 ... c Min unsat cost LB: 62804 ... c Min unsat cost LB: 62805 ... c Min unsat cost LB: 62806 ... c Min unsat cost LB: 62807 ... c Min unsat cost LB: 62808 ... c Min unsat cost LB: 62817 ... c Min unsat cost LB: 62818 ... c Min unsat cost LB: 62819 ... c Min unsat cost LB: 62820 ... c Min unsat cost LB: 62822 ... c Min unsat cost LB: 62823 ... c Min unsat cost LB: 62824 ... c Min unsat cost LB: 62825 ... c Min unsat cost LB: 62826 ... c Min unsat cost LB: 62829 ... c Min unsat cost LB: 62839 ... c Min unsat cost LB: 62841 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 62866 ... c Min unsat cost LB: 62868 ... c Min unsat cost LB: 62869 ... c Min unsat cost LB: 62870 ... c Min unsat cost LB: 62872 ... c Min unsat cost LB: 62873 ... c Min unsat cost LB: 62885 ... c Min unsat cost LB: 62893 ... c Min unsat cost LB: 62896 ... c Min unsat cost LB: 62897 ... c Min unsat cost LB: 62900 ... c Min unsat cost LB: 62901 ... c Min unsat cost LB: 62902 ... c Min unsat cost LB: 62907 ... c Min unsat cost LB: 62910 ... c Min unsat cost LB: 62911 ... c Min unsat cost LB: 62912 ... c Min unsat cost LB: 62913 ... c Min unsat cost LB: 62916 ... c Min unsat cost LB: 62917 ... c Min unsat cost LB: 62918 ... c Min unsat cost LB: 62919 ... c Min unsat cost LB: 62920 ... c Min unsat cost LB: 62924 ... c Min unsat cost LB: 62925 ... c Min unsat cost LB: 62929 ... c Min unsat cost LB: 62933 ... c Min unsat cost LB: 62934 ... c Min unsat cost LB: 62942 ... c Min unsat cost LB: 62950 ... c Min unsat cost LB: 62951 ... c Min unsat cost LB: 62953 ... c Min unsat cost LB: 62967 ... c Min unsat cost LB: 62971 ... c Min unsat cost LB: 62976 ... c Min unsat cost LB: 62977 ... c Min unsat cost LB: 62978 ... c Min unsat cost LB: 62984 ... c Min unsat cost LB: 62985 ... c Min unsat cost LB: 62986 ... c Min unsat cost LB: 62987 ... c Min unsat cost LB: 62988 ... c Min unsat cost LB: 62990 ... c Min unsat cost LB: 62997 ... c Min unsat cost LB: 63014 ... c Min unsat cost LB: 63015 ... c Min unsat cost LB: 63016 ... c Min unsat cost LB: 63017 ... c Min unsat cost LB: 63024 ... c Min unsat cost LB: 63031 ... c Min unsat cost LB: 63038 ... c Min unsat cost LB: 63043 ... c Min unsat cost LB: 63049 ... c Min unsat cost LB: 63050 ... c Min unsat cost LB: 63051 ... c Min unsat cost LB: 63052 ... c Min unsat cost LB: 63053 ... c Min unsat cost LB: 63054 ... c Min unsat cost LB: 63056 ... c Min unsat cost LB: 63060 ... c Min unsat cost LB: 63061 ... c Min unsat cost LB: 63063 ... c Min unsat cost LB: 63073 ... c Min unsat cost LB: 63080 ... c Min unsat cost LB: 63086 ... c Min unsat cost LB: 63095 ... c Min unsat cost LB: 63100 ... c Min unsat cost LB: 63105 ... c Min unsat cost LB: 63107 ... c Min unsat cost LB: 63110 ... c Min unsat cost LB: 63111 ... c Min unsat cost LB: 63113 ... c Min unsat cost LB: 63123 ... c Min unsat cost LB: 63124 ... c Min unsat cost LB: 63134 ... c Min unsat cost LB: 63138 ... c Min unsat cost LB: 63139 ... c Min unsat cost LB: 63140 ... c Min unsat cost LB: 63141 ... c Min unsat cost LB: 63142 ... c Min unsat cost LB: 63143 ... c Min unsat cost LB: 63144 ... c Min unsat cost LB: 63146 ... c Min unsat cost LB: 63147 ... c Min unsat cost LB: 63150 ... c Min unsat cost LB: 63152 ... c Min unsat cost LB: 63157 ... c Min unsat cost LB: 63164 ... c Min unsat cost LB: 63166 ... c Min unsat cost LB: 63176 ... c Min unsat cost LB: 63177 ... c Min unsat cost LB: 63182 ... c Min unsat cost LB: 63183 ... c Min unsat cost LB: 63186 ... c Min unsat cost LB: 63190 ... c Min unsat cost LB: 63191 ... c Min unsat cost LB: 63192 ... c Min unsat cost LB: 63198 ... c Min unsat cost LB: 63218 ... c Min unsat cost LB: 63240 ... c Min unsat cost LB: 63242 ... c Min unsat cost LB: 63245 ... c Min unsat cost LB: 63253 ... c Min unsat cost LB: 63254 ... c Min unsat cost LB: 63260 ... c Min unsat cost LB: 63270 ... c Min unsat cost LB: 63277 ... c Min unsat cost LB: 63278 ... c Min unsat cost LB: 63296 ... c Min unsat cost LB: 63297 ... c Min unsat cost LB: 63301 ... c Min unsat cost LB: 63311 ... c Min unsat cost LB: 63313 ... c Min unsat cost LB: 63317 ... c Min unsat cost LB: 63318 ... c Min unsat cost LB: 63319 ... c Min unsat cost LB: 63334 ... c Min unsat cost LB: 63335 ... c Min unsat cost LB: 63345 ... c Min unsat cost LB: 63361 ... c Min unsat cost LB: 63432 ... c Min unsat cost LB: 63433 ... c Min unsat cost LB: 63434 ... c Min unsat cost LB: 63435 ... c Min unsat cost LB: 63439 ... c Min unsat cost LB: 63440 ... c Min unsat cost LB: 63441 ... c Min unsat cost LB: 63447 ... c Min unsat cost LB: 63452 ... c Min unsat cost LB: 63453 ... c Min unsat cost LB: 63455 ... c Min unsat cost LB: 63456 ... c Min unsat cost LB: 63457 ... c Min unsat cost LB: 63458 ... c Min unsat cost LB: 63459 ... c Min unsat cost LB: 63460 ... c Min unsat cost LB: 63461 ... c Min unsat cost LB: 63462 ... c Min unsat cost LB: 63463 ... c Min unsat cost LB: 63464 ... c Min unsat cost LB: 63465 ... c Min unsat cost LB: 63466 ... c Min unsat cost LB: 63467 ... c Min unsat cost LB: 63469 ... c Min unsat cost LB: 63471 ... c Min unsat cost LB: 63472 ... c Min unsat cost LB: 63473 ... c Min unsat cost LB: 63474 ... c Min unsat cost LB: 63475 ... c Min unsat cost LB: 63476 ... c Min unsat cost LB: 63477 ... c Min unsat cost LB: 63478 ... c Min unsat cost LB: 63479 ... c Min unsat cost LB: 63480 ... c Min unsat cost LB: 63481 ... c Min unsat cost LB: 63482 ... c Min unsat cost LB: 63483 ... c Min unsat cost LB: 63484 ... c Min unsat cost LB: 63485 ... c Min unsat cost LB: 63486 ... c Min unsat cost LB: 63487 ... c Min unsat cost LB: 63488 ... c Min unsat cost LB: 63489 ... c Min unsat cost LB: 63490 ... c Min unsat cost LB: 63491 ... c Min unsat cost LB: 63492 ... c Min unsat cost LB: 63493 ... c Min unsat cost LB: 63494 ... c Min unsat cost LB: 63495 ... c Min unsat cost LB: 63496 ... c Min unsat cost LB: 63497 ... c Min unsat cost LB: 63498 ... c Min unsat cost LB: 63499 ... c Min unsat cost LB: 63506 ... c Min unsat cost LB: 63520 ... c Min unsat cost LB: 63521 ... c Min unsat cost LB: 63525 ... c Min unsat cost LB: 63526 ... c Min unsat cost LB: 63530 ... c Min unsat cost LB: 63533 ... c Min unsat cost LB: 63534 ... c Min unsat cost LB: 63542 ... c Min unsat cost LB: 63545 ... c Min unsat cost LB: 63547 ... c Min unsat cost LB: 63548 ... c Min unsat cost LB: 63550 ... c Min unsat cost LB: 63555 ... c Min unsat cost LB: 63556 ... c Min unsat cost LB: 63559 ... c Min unsat cost LB: 63560 ... c Min unsat cost LB: 63561 ... c Min unsat cost LB: 63562 ... c Min unsat cost LB: 63563 ... c Min unsat cost LB: 63564 ... c Min unsat cost LB: 63565 ... c Min unsat cost LB: 63568 ... c Min unsat cost LB: 63569 ... c Min unsat cost LB: 63570 ... c Min unsat cost LB: 63571 ... c Min unsat cost LB: 63573 ... c Min unsat cost LB: 63574 ... c Min unsat cost LB: 63575 ... c Min unsat cost LB: 63576 ... c Min unsat cost LB: 63577 ... c Min unsat cost LB: 63578 ... c Min unsat cost LB: 63579 ... c Min unsat cost LB: 63580 ... c Min unsat cost LB: 63583 ... c Min unsat cost LB: 63586 ... c Min unsat cost LB: 63587 ... c Min unsat cost LB: 63588 ... c Min unsat cost LB: 63590 ... c Min unsat cost LB: 63591 ... c Min unsat cost LB: 63592 ... c Min unsat cost LB: 63596 ... c Min unsat cost LB: 63598 ... c Min unsat cost LB: 63599 ... c Min unsat cost LB: 63620 ... c Min unsat cost LB: 63621 ... c Min unsat cost LB: 63622 ... c Min unsat cost LB: 63623 ... c Min unsat cost LB: 63624 ... c Min unsat cost LB: 63646 ... c Min unsat cost LB: 63647 ... c Min unsat cost LB: 63648 ... c Min unsat cost LB: 63650 ... c Min unsat cost LB: 63651 ... c Min unsat cost LB: 63652 ... c Min unsat cost LB: 63653 ... c Min unsat cost LB: 63654 ... c Min unsat cost LB: 63655 ... c Min unsat cost LB: 63656 ... c Min unsat cost LB: 63658 ... c Min unsat cost LB: 63659 ... c Min unsat cost LB: 63660 ... c Min unsat cost LB: 63661 ... c Min unsat cost LB: 63662 ... c Min unsat cost LB: 63663 ... c Min unsat cost LB: 63666 ... c Min unsat cost LB: 63667 ... c Min unsat cost LB: 63668 ... c Min unsat cost LB: 63669 ... c Min unsat cost LB: 63674 ... c Min unsat cost LB: 63675 ... c Min unsat cost LB: 63676 ... c Min unsat cost LB: 63680 ... c Min unsat cost LB: 63681 ... c Min unsat cost LB: 63682 ... c Min unsat cost LB: 63683 ... c Min unsat cost LB: 63684 ... c Min unsat cost LB: 63685 ... c Min unsat cost LB: 63686 ... c Min unsat cost LB: 63687 ... c Min unsat cost LB: 63688 ... c Min unsat cost LB: 63692 ... c Min unsat cost LB: 63693 ... c Min unsat cost LB: 63694 ... c Min unsat cost LB: 63695 ... c Min unsat cost LB: 63696 ... c Min unsat cost LB: 63697 ... c Min unsat cost LB: 63698 ... c Min unsat cost LB: 63699 ... c Min unsat cost LB: 63700 ... c Min unsat cost LB: 63701 ... c Min unsat cost LB: 63702 ... c Min unsat cost LB: 63703 ... c Min unsat cost LB: 63704 ... c Min unsat cost LB: 63705 ... c Min unsat cost LB: 63706 ... c Min unsat cost LB: 63707 ... c Min unsat cost LB: 63708 ... c Min unsat cost LB: 63709 ... c Min unsat cost LB: 63710 ... c Min unsat cost LB: 63711 ... c Min unsat cost LB: 63712 ... c Min unsat cost LB: 63713 ... c Min unsat cost LB: 63714 ... c Min unsat cost LB: 63715 ... c Min unsat cost LB: 63716 ... c Min unsat cost LB: 63718 ... c Min unsat cost LB: 63722 ... c Min unsat cost LB: 63739 ... c Min unsat cost LB: 63743 ... c Min unsat cost LB: 63744 ... c Min unsat cost LB: 63761 ... c Min unsat cost LB: 63762 ... c Min unsat cost LB: 63763 ... c Min unsat cost LB: 63764 ... c Min unsat cost LB: 63765 ... c Min unsat cost LB: 63767 ... c Min unsat cost LB: 63768 ... c Min unsat cost LB: 63775 ... c Min unsat cost LB: 63776 ... c Min unsat cost LB: 63779 ... c Min unsat cost LB: 63785 ... c Min unsat cost LB: 63786 ... c Min unsat cost LB: 63787 ... c Min unsat cost LB: 63790 ... c Min unsat cost LB: 63791 ... c Min unsat cost LB: 63792 ... c Min unsat cost LB: 63793 ... c Min unsat cost LB: 63794 ... c Min unsat cost LB: 63796 ... c Min unsat cost LB: 63797 ... c Min unsat cost LB: 63798 ... c Min unsat cost LB: 63800 ... c Min unsat cost LB: 63802 ... c Min unsat cost LB: 63803 ... c Min unsat cost LB: 63804 ... c Min unsat cost LB: 63805 ... c Min unsat cost LB: 63806 ... c Min unsat cost LB: 63808 ... c Min unsat cost LB: 63809 ... c Min unsat cost LB: 63810 ... c Min unsat cost LB: 63813 ... c Min unsat cost LB: 63814 ... c Min unsat cost LB: 63815 ... c Min unsat cost LB: 63816 ... c Min unsat cost LB: 63818 ... c Min unsat cost LB: 63819 ... c Min unsat cost LB: 63823 ... c Min unsat cost LB: 63824 ... c Min unsat cost LB: 63825 ... c Min unsat cost LB: 63826 ... c Min unsat cost LB: 63827 ... c Min unsat cost LB: 63828 ... c Min unsat cost LB: 63829 ... c Min unsat cost LB: 63830 ... c Min unsat cost LB: 63831 ... c Min unsat cost LB: 63832 ... c Min unsat cost LB: 63834 ... c Min unsat cost LB: 63835 ... c Min unsat cost LB: 63836 ... c Min unsat cost LB: 63838 ... c Min unsat cost LB: 63839 ... c Min unsat cost LB: 63842 ... c Min unsat cost LB: 63844 ... c Min unsat cost LB: 63846 ... c Min unsat cost LB: 63847 ... c Min unsat cost LB: 63848 ... c Min unsat cost LB: 63851 ... c Min unsat cost LB: 63852 ... c Min unsat cost LB: 63854 ... c Min unsat cost LB: 63855 ... c Min unsat cost LB: 63856 ... c Min unsat cost LB: 63860 ... c Min unsat cost LB: 63861 ... c Min unsat cost LB: 63862 ... c Min unsat cost LB: 63863 ... c Min unsat cost LB: 63864 ... c Min unsat cost LB: 63865 ... c Min unsat cost LB: 63866 ... c Min unsat cost LB: 63867 ... c Min unsat cost LB: 63868 ... c Min unsat cost LB: 63871 ... c Min unsat cost LB: 63872 ... c Min unsat cost LB: 63873 ... c Min unsat cost LB: 63875 ... c Min unsat cost LB: 63876 ... c Min unsat cost LB: 63877 ... c Min unsat cost LB: 63878 ... c Min unsat cost LB: 63879 ... c Min unsat cost LB: 63880 ... c Min unsat cost LB: 63881 ... c Min unsat cost LB: 63882 ... c Min unsat cost LB: 63883 ... c Min unsat cost LB: 63885 ... c Min unsat cost LB: 63887 ... c Min unsat cost LB: 63906 ... c Min unsat cost LB: 63920 ... c Min unsat cost LB: 63921 ... c Min unsat cost LB: 63922 ... c Min unsat cost LB: 63923 ... c Min unsat cost LB: 63924 ... c Min unsat cost LB: 63925 ... c Min unsat cost LB: 63926 ... c Min unsat cost LB: 63927 ... c Min unsat cost LB: 63928 ... c Min unsat cost LB: 63930 ... c Min unsat cost LB: 63931 ... c Min unsat cost LB: 63932 ... c Min unsat cost LB: 63933 ... c Min unsat cost LB: 63935 ... c Min unsat cost LB: 63940 ... c Min unsat cost LB: 63941 ... c Min unsat cost LB: 63943 ... c Min unsat cost LB: 63944 ... c Min unsat cost LB: 63945 ... c Min unsat cost LB: 63946 ... c Min unsat cost LB: 63955 ... c Min unsat cost LB: 63956 ... c Min unsat cost LB: 63957 ... c Min unsat cost LB: 63959 ... c Min unsat cost LB: 63960 ... c Min unsat cost LB: 63961 ... c Min unsat cost LB: 63962 ... c Min unsat cost LB: 63964 ... c Min unsat cost LB: 63965 ... c Min unsat cost LB: 63966 ... c Min unsat cost LB: 63981 ... c Min unsat cost LB: 64009 ... c Min unsat cost LB: 64010 ... c Min unsat cost LB: 64011 ... c Min unsat cost LB: 64012 ... c Min unsat cost LB: 64013 ... c Min unsat cost LB: 64014 ... c Min unsat cost LB: 64015 ... c Min unsat cost LB: 64016 ... c Min unsat cost LB: 64017 ... c Min unsat cost LB: 64018 ... c Min unsat cost LB: 64019 ... c Min unsat cost LB: 64020 ... c Min unsat cost LB: 64021 ... c Min unsat cost LB: 64022 ... c Min unsat cost LB: 64023 ... c Min unsat cost LB: 64024 ... c Min unsat cost LB: 64025 ... c Min unsat cost LB: 64026 ... c Min unsat cost LB: 64027 ... c Min unsat cost LB: 64028 ... c Min unsat cost LB: 64029 ... c Min unsat cost LB: 64030 ... c Min unsat cost LB: 64032 ... c Min unsat cost LB: 64033 ... c Min unsat cost LB: 64034 ... c Min unsat cost LB: 64035 ... c Min unsat cost LB: 64036 ... c Min unsat cost LB: 64037 ... c Min unsat cost LB: 64038 ... c Min unsat cost LB: 64039 ... c Min unsat cost LB: 64040 ... c Min unsat cost LB: 64041 ... c Min unsat cost LB: 64042 ... c Min unsat cost LB: 64043 ... c Min unsat cost LB: 64044 ... c Min unsat cost LB: 64045 ... c Min unsat cost LB: 64046 ... c Min unsat cost LB: 64047 ... c Min unsat cost LB: 64048 ... c Min unsat cost LB: 64049 ... c Min unsat cost LB: 64050 ... c Min unsat cost LB: 64051 ... c Min unsat cost LB: 64052 ... c Min unsat cost LB: 64053 ... c Min unsat cost LB: 64054 ... c Min unsat cost LB: 64055 ... c Min unsat cost LB: 64056 ... c Min unsat cost LB: 64058 ... c Min unsat cost LB: 64059 ... c Min unsat cost LB: 64064 ... c Min unsat cost LB: 64065 ... c Min unsat cost LB: 64066 ... c Min unsat cost LB: 64067 ... c Min unsat cost LB: 64068 ... c Min unsat cost LB: 64069 ... c Min unsat cost LB: 64070 ... c Min unsat cost LB: 64083 ... c Min unsat cost LB: 64086 ... c Min unsat cost LB: 64087 ... c Min unsat cost LB: 64088 ... c Min unsat cost LB: 64089 ... c Min unsat cost LKilled 1812.845u 6.893s 30:19.65 100.0% 0+0k 0+0io 0pf+0w