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_SCHEDULING_cat_sched_60_140_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_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_SCHEDULING/cat_sched_60_140_0000.txt.wcnf *** c c Min unsat cost LB: 418 ... c Min unsat cost LB: 629 ... c Min unsat cost LB: 840 ... c Min unsat cost LB: 1258 ... c Min unsat cost LB: 1469 ... c Min unsat cost LB: 1887 ... c Min unsat cost LB: 2098 ... c Min unsat cost LB: 2309 ... c Min unsat cost LB: 2727 ... c Min unsat cost LB: 2938 ... c Min unsat cost LB: 3356 ... c Min unsat cost LB: 3774 ... c Min unsat cost LB: 4192 ... c Min unsat cost LB: 4610 ... c Min unsat cost LB: 5028 ... c Min unsat cost LB: 5446 ... c Min unsat cost LB: 5571 ... c Min unsat cost LB: 5782 ... c Min unsat cost LB: 6200 ... c Min unsat cost LB: 6325 ... c Min unsat cost LB: 6743 ... c Min unsat cost LB: 7161 ... c Min unsat cost LB: 7286 ... c Min unsat cost LB: 7497 ... c Min unsat cost LB: 7915 ... c Min unsat cost LB: 8333 ... c Min unsat cost LB: 8626 ... c Min unsat cost LB: 8837 ... c Min unsat cost LB: 10311 ... c Min unsat cost LB: 10522 ... c Min unsat cost LB: 10940 ... c Min unsat cost LB: 11358 ... c Min unsat cost LB: 12832 ... c Min unsat cost LB: 13375 ... c Min unsat cost LB: 13918 ... c Min unsat cost LB: 14336 ... c Min unsat cost LB: 15392 ... c Min unsat cost LB: 15810 ... c Min unsat cost LB: 16228 ... c Min unsat cost LB: 16646 ... c Min unsat cost LB: 17064 ... c Min unsat cost LB: 17938 ... c Min unsat cost LB: 19412 ... c Min unsat cost LB: 20286 ... c Min unsat cost LB: 20646 ... c Min unsat cost LB: 21228 ... c Min unsat cost LB: 21588 ... c Min unsat cost LB: 21919 ... c Min unsat cost LB: 22170 ... c Min unsat cost LB: 22250 ... c Min unsat cost LB: 22581 ... c Min unsat cost LB: 22792 ... c Min unsat cost LB: 23003 ... c Min unsat cost LB: 23585 ... c Min unsat cost LB: 24167 ... c Min unsat cost LB: 24527 ... c Min unsat cost LB: 24738 ... c Min unsat cost LB: 24859 ... c Min unsat cost LB: 25247 ... c Min unsat cost LB: 25607 ... c Min unsat cost LB: 25967 ... c Min unsat cost LB: 26567 ... c Min unsat cost LB: 26720 ... c Min unsat cost LB: 26874 ... c Min unsat cost LB: 28348 ... c Min unsat cost LB: 29822 ... c Min unsat cost LB: 29947 ... c Min unsat cost LB: 30227 ... c Min unsat cost LB: 31701 ... c Min unsat cost LB: 33175 ... c Min unsat cost LB: 34649 ... c Min unsat cost LB: 34924 ... c Min unsat cost LB: 36109 ... c Min unsat cost LB: 36398 ... c Min unsat cost LB: 37872 ... c Min unsat cost LB: 39346 ... c Min unsat cost LB: 40751 ... c Min unsat cost LB: 41169 ... c Min unsat cost LB: 41587 ... c Min unsat cost LB: 41656 ... c Min unsat cost LB: 41867 ... c Min unsat cost LB: 43187 ... c Min unsat cost LB: 44243 ... c Min unsat cost LB: 45428 ... c Min unsat cost LB: 45582 ... c Min unsat cost LB: 45725 ... c Min unsat cost LB: 45874 ... c Min unsat cost LB: 46292 ... c Min unsat cost LB: 46499 ... c Min unsat cost LB: 46917 ... c Min unsat cost LB: 47277 ... c Min unsat cost LB: 47474 ... c Min unsat cost LB: 47695 ... c Min unsat cost LB: 47878 ... c Min unsat cost LB: 48296 ... c Min unsat cost LB: 48714 ... c Min unsat cost LB: 49132 ... c Min unsat cost LB: 49550 ... c Min unsat cost LB: 49610 ... c Min unsat cost LB: 49959 ... c Min unsat cost LB: 50377 ... c Min unsat cost LB: 50502 ... c Min unsat cost LB: 50627 ... c Min unsat cost LB: 50752 ... c Min unsat cost LB: 50873 ... c Min unsat cost LB: 51376 ... c Min unsat cost LB: 51587 ... c Min unsat cost LB: 51666 ... c Min unsat cost LB: 51707 ... c Min unsat cost LB: 51901 ... c Min unsat cost LB: 51910 ... c Min unsat cost LB: 52026 ... c Min unsat cost LB: 52328 ... c Min unsat cost LB: 52444 ... c Min unsat cost LB: 52862 ... c Min unsat cost LB: 53124 ... c Min unsat cost LB: 53455 ... c Min unsat cost LB: 53542 ... c Min unsat cost LB: 53670 ... c Min unsat cost LB: 53826 ... c Min unsat cost LB: 53942 ... c Min unsat cost LB: 54116 ... c Min unsat cost LB: 54203 ... c Min unsat cost LB: 54534 ... c Min unsat cost LB: 54719 ... c Min unsat cost LB: 54727 ... c Min unsat cost LB: 54787 ... c Min unsat cost LB: 55137 ... c Min unsat cost LB: 55146 ... c Min unsat cost LB: 55214 ... c Min unsat cost LB: 55303 ... c Min unsat cost LB: 55578 ... c Min unsat cost LB: 55846 ... c Min unsat cost LB: 55996 ... c Min unsat cost LB: 56139 ... c Min unsat cost LB: 56291 ... c Min unsat cost LB: 56389 ... c Min unsat cost LB: 56470 ... c Min unsat cost LB: 56722 ... c Min unsat cost LB: 56809 ... c Min unsat cost LB: 56858 ... c Min unsat cost LB: 56992 ... c Min unsat cost LB: 57352 ... c Min unsat cost LB: 57384 ... c Min unsat cost LB: 57405 ... c Min unsat cost LB: 57410 ... c Min unsat cost LB: 57472 ... c Min unsat cost LB: 57491 ... c Min unsat cost LB: 58054 ... c Min unsat cost LB: 58197 ... c Min unsat cost LB: 58448 ... c Min unsat cost LB: 58622 ... c Min unsat cost LB: 58636 ... c Min unsat cost LB: 58750 ... c Min unsat cost LB: 58837 ... c Min unsat cost LB: 58934 ... c Min unsat cost LB: 58941 ... c Min unsat cost LB: 59301 ... c Min unsat cost LB: 59313 ... c Min unsat cost LB: 59410 ... c Min unsat cost LB: 59468 ... c Min unsat cost LB: 59702 ... c Min unsat cost LB: 59715 ... c Min unsat cost LB: 59770 ... c Min unsat cost LB: 59926 ... c Min unsat cost LB: 59981 ... c Min unsat cost LB: 60130 ... c Min unsat cost LB: 60188 ... c Min unsat cost LB: 60397 ... c Min unsat cost LB: 60606 ... c Min unsat cost LB: 60710 ... c Min unsat cost LB: 60921 ... c Min unsat cost LB: 61041 ... c Min unsat cost LB: 61130 ... c Min unsat cost LB: 61313 ... c Min unsat cost LB: 61534 ... c Min unsat cost LB: 61548 ... c Min unsat cost LB: 61731 ... c Min unsat cost LB: 61808 ... c Min unsat cost LB: 61849 ... c Min unsat cost LB: 61891 ... c Min unsat cost LB: 61895 ... c Min unsat cost LB: 62089 ... c Min unsat cost LB: 62106 ... c Min unsat cost LB: 62317 ... c Min unsat cost LB: 62406 ... c Min unsat cost LB: 62502 ... c Min unsat cost LB: 62593 ... c Min unsat cost LB: 62673 ... c Min unsat cost LB: 62793 ... c Min unsat cost LB: 62817 ... c Min unsat cost LB: 63076 ... c Min unsat cost LB: 63235 ... c Min unsat cost LB: 63360 ... c Min unsat cost LB: 63392 ... c Min unsat cost LB: 63737 ... c Min unsat cost LB: 63835 ... c Min unsat cost LB: 63916 ... c Min unsat cost LB: 63920 ... c Min unsat cost LB: 64072 ... c Min unsat cost LB: 64199 ... c Min unsat cost LB: 64355 ... c Min unsat cost LB: 64410 ... c Min unsat cost LB: 64413 ... c Min unsat cost LB: 64479 ... c Min unsat cost LB: 64552 ... c Min unsat cost LB: 64583 ... c Min unsat cost LB: 64600 ... c Min unsat cost LB: 64617 ... c Min unsat cost LB: 64638 ... c Min unsat cost LB: 64683 ... c Min unsat cost LB: 64811 ... c Min unsat cost LB: 64828 ... c Min unsat cost LB: 64835 ... c Min unsat cost LB: 64836 ... c Min unsat cost LB: 64913 ... c Min unsat cost LB: 64965 ... c Min unsat cost LB: 65009 ... c Min unsat cost LB: 65098 ... c Min unsat cost LB: 65100 ... c Min unsat cost LB: 65181 ... c Min unsat cost LB: 65185 ... c Min unsat cost LB: 65283 ... c Min unsat cost LB: 65426 ... c Min unsat cost LB: 65481 ... c Min unsat cost LB: 65633 ... c Min unsat cost LB: 65767 ... c Min unsat cost LB: 65786 ... c Min unsat cost LB: 65940 ... c Min unsat cost LB: 65953 ... c Min unsat cost LB: 66080 ... c Min unsat cost LB: 66459 ... c Min unsat cost LB: 66732 ... c Min unsat cost LB: 66875 ... c Min unsat cost LB: 66962 ... c Min unsat cost LB: 67203 ... c Min unsat cost LB: 67211 ... c Min unsat cost LB: 67299 ... c Min unsat cost LB: 67700 ... c Min unsat cost LB: 67825 ... c Min unsat cost LB: 67883 ... c Min unsat cost LB: 67890 ... c Min unsat cost LB: 68039 ... c Min unsat cost LB: 68457 ... c Min unsat cost LB: 68909 ... c Min unsat cost LB: 69149 ... c Min unsat cost LB: 69381 ... c Min unsat cost LB: 69701 ... c Min unsat cost LB: 70227 ... c Min unsat cost LB: 70379 ... c Min unsat cost LB: 70384 ... c Min unsat cost LB: 70558 ... c Min unsat cost LB: 71108 ... c Min unsat cost LB: 71222 ... c Min unsat cost LB: 71282 ... c Min unsat cost LB: 71606 ... c Min unsat cost LB: 71748 ... c Min unsat cost LB: 71845 ... c Min unsat cost LB: 71850 ... c Min unsat cost LB: 71871 ... c Min unsat cost LB: 72425 ... c Min unsat cost LB: 72535 ... c Min unsat cost LB: 72868 ... c Min unsat cost LB: 72988 ... c Min unsat cost LB: 73002 ... c Min unsat cost LB: 73026 ... c Min unsat cost LB: 73047 ... c Min unsat cost LB: 73230 ... c Min unsat cost LB: 73288 ... c Min unsat cost LB: 73488 ... c Min unsat cost LB: 73638 ... c Min unsat cost LB: 73661 ... c Min unsat cost LB: 73699 ... c Min unsat cost LB: 73710 ... c Min unsat cost LB: 73761 ... c Min unsat cost LB: 73848 ... c Min unsat cost LB: 73891 ... c Min unsat cost LB: 73906 ... c Min unsat cost LB: 73911 ... c Min unsat cost LB: 73945 ... c Min unsat cost LB: 73985 ... c Min unsat cost LB: 74001 ... c Min unsat cost LB: 74007 ... c Min unsat cost LB: 74015 ... c Min unsat cost LB: 74021 ... c Min unsat cost LB: 74039 ... c Min unsat cost LB: 74041 ... c Min unsat cost LB: 74066 ... c Min unsat cost LB: 74082 ... c Min unsat cost LB: 74083 ... c Min unsat cost LB: 74092 ... c Min unsat cost LB: 74132 ... c Min unsat cost LB: 74138 ... c Min unsat cost LB: 74161 ... c Min unsat cost LB: 74170 ... c Min unsat cost LB: 74195 ... c Min unsat cost LB: 74213 ... c Min unsat cost LB: 74218 ... c Min unsat cost LB: 74233 ... c Min unsat cost LB: 74268 ... c Min unsat cost LB: 74301 ... c Min unsat cost LB: 74315 ... c Min unsat cost LB: 74321 ... c Min unsat cost LB: 74378 ... c Min unsat cost LB: 74387 ... c Min unsat cost LB: 74396 ... c Min unsat cost LB: 74398 ... c Min unsat cost LB: 74405 ... c Min unsat cost LB: 74718 ... c Min unsat cost LB: 74727 ... c Min unsat cost LB: 74728 ... c Min unsat cost LB: 74796 ... c Min unsat cost LB: 74835 ... c Min unsat cost LB: 74885 ... c Min unsat cost LB: 74939 ... c Min unsat cost LB: 74945 ... c Min unsat cost LB: 74962 ... c Min unsat cost LB: 74964 ... c Min unsat cost LB: 74968 ... c Min unsat cost LB: 74970 ... c Min unsat cost LB: 74971 ... c Min unsat cost LB: 74972 ... c Min unsat cost LB: 74979 ... c Min unsat cost LB: 74985 ... c Min unsat cost LB: 74987 ... c Min unsat cost LB: 74988 ... c Min unsat cost LB: 74989 ... c Min unsat cost LB: 74990 ... c Min unsat cost LB: 74991 ... c Min unsat cost LB: 74992 ... c Min unsat cost LB: 74993 ... c Min unsat cost LB: 74994 ... c Min unsat cost LB: 74995 ... c Min unsat cost LB: 75004 ... c Min unsat cost LB: 75005 ... c Min unsat cost LB: 75007 ... c Min unsat cost LB: 75010 ... c Min unsat cost LB: 75024 ... c Min unsat cost LB: 75028 ... c Min unsat cost LB: 75034 ... c Min unsat cost LB: 75036 ... c Min unsat cost LB: 75041 ... c Min unsat cost LB: 75047 ... c Min unsat cost LB: 75072 ... c Min unsat cost LB: 75073 ... c Min unsat cost LB: 75075 ... c Min unsat cost LB: 75076 ... c Min unsat cost LB: 75077 ... c Min unsat cost LB: 75078 ... c Min unsat cost LB: 75080 ... c Min unsat cost LB: 75101 ... c Min unsat cost LB: 75104 ... c Min unsat cost LB: 75137 ... c Min unsat cost LB: 75144 ... c Min unsat cost LB: 75148 ... c Min unsat cost LB: 75151 ... c Min unsat cost LB: 75156 ... c Min unsat cost LB: 75192 ... c Min unsat cost LB: 75200 ... c Min unsat cost LB: 75202 ... c Min unsat cost LB: 75236 ... c Min unsat cost LB: 75279 ... c Min unsat cost LB: 75284 ... c Min unsat cost LB: 75286 ... c Min unsat cost LB: 75297 ... c Min unsat cost LB: 75304 ... c Min unsat cost LB: 75311 ... c Min unsat cost LB: 75328 ... c Min unsat cost LB: 75333 ... c Min unsat cost LB: 75356 ... c Min unsat cost LB: 75371 ... c Min unsat cost LB: 75374 ... c Min unsat cost LB: 75376 ... c Min unsat cost LB: 75378 ... c Min unsat cost LB: 75379 ... c Min unsat cost LB: 75381 ... c Min unsat cost LB: 75384 ... c Min unsat cost LB: 75405 ... c Min unsat cost LB: 75406 ... c Min unsat cost LB: 75407 ... c Min unsat cost LB: 75408 ... c Min unsat cost LB: 75410 ... c Min unsat cost LB: 75411 ... c Min unsat cost LB: 75412 ... c Min unsat cost LB: 75413 ... c Min unsat cost LB: 75415 ... c Min unsat cost LB: 75430 ... c Min unsat cost LB: 75444 ... c Min unsat cost LB: 75449 ... c Min unsat cost LB: 75461 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75525 ... c Min unsat cost LB: 75528 ... c Min unsat cost LB: 75531 ... c Min unsat cost LB: 75681 ... c Min unsat cost LB: 75736 ... c Min unsat cost LB: 75747 ... c Min unsat cost LB: 75751 ... c Min unsat cost LB: 75790 ... c Min unsat cost LB: 75802 ... c Min unsat cost LB: 75859 ... c Min unsat cost LB: 75881 ... c Min unsat cost LB: 75886 ... c Min unsat cost LB: 75887 ... c Min unsat cost LB: 75888 ... c Min unsat cost LB: 75889 ... c Min unsat cost LB: 75890 ... c Min unsat cost LB: 75892 ... c Min unsat cost LB: 75893 ... c Min unsat cost LB: 75894 ... c Min unsat cost LB: 75895 ... c Min unsat cost LB: 75904 ... c Min unsat cost LB: 75905 ... c Min unsat cost LB: 75906 ... c Min unsat cost LB: 75907 ... c Min unsat cost LB: 75913 ... c Min unsat cost LB: 75916 ... c Min unsat cost LB: 75922 ... c Min unsat cost LB: 75928 ... c Min unsat cost LB: 75929 ... c Min unsat cost LB: 75930 ... c Min unsat cost LB: 75931 ... c Min unsat cost LB: 75934 ... c Min unsat cost LB: 75937 ... c Min unsat cost LB: 75938 ... c Min unsat cost LB: 75948 ... c Min unsat cost LB: 75953 ... c Min unsat cost LB: 75966 ... c Min unsat cost LB: 75974 ... c Min unsat cost LB: 75987 ... c Min unsat cost LB: 76029 ... c Min unsat cost LB: 76036 ... c Min unsat cost LB: 76037 ... c Min unsat cost LB: 76041 ... c Min unsat cost LB: 76042 ... c Min unsat cost LB: 76044 ... c Min unsat cost LB: 76045 ... c Min unsat cost LB: 76046 ... c Min unsat cost LB: 76048 ... c Min unsat cost LB: 76049 ... c Min unsat cost LB: 76051 ... c Min unsat cost LB: 76053 ... c Min unsat cost LB: 76057 ... c Min unsat cost LB: 76058 ... c Min unsat cost LB: 76059 ... c Min unsat cost LB: 76060 ... c Min unsat cost LB: 76061 ... c Min unsat cost LB: 76062 ... c Min unsat cost LB: 76065 ... c Min unsat cost LB: 76067 ... c Min unsat cost LB: 76070 ... c Min unsat cost LB: 76071 ... c Min unsat cost LB: 76072 ... c Min unsat cost LB: 76073 ... c Min unsat cost LB: 76078 ... c Min unsat cost LB: 76080 ... c Min unsat cost LB: 76083 ... c Min unsat cost LB: 76084 ... c Min unsat cost LB: 76085 ... c Min unsat cost LB: 76086 ... c Min unsat cost LB: 76087 ... c Min unsat cost LB: 76088 ... c Min unsat cost LB: 76089 ... c Min unsat cost LB: 76093 ... c Min unsat cost LB: 76094 ... c Min unsat cost LB: 76095 ... c Min unsat cost LB: 76097 ... c Min unsat cost LB: 76098 ... c Min unsat cost LB: 76101 ... c Min unsat cost LB: 76109 ... c Min unsat cost LB: 76112 ... c Min unsat cost LB: 76120 ... c Min unsat cost LB: 76129 ... c Min unsat cost LB: 76134 ... c Min unsat cost LB: 76136 ... c Min unsat cost LB: 76138 ... c Min unsat cost LB: 76139 ... c Min unsat cost LB: 76140 ... c Min unsat cost LB: 76141 ... c Min unsat cost LB: 76142 ... c Min unsat cost LB: 76143 ... c Min unsat cost LB: 76144 ... c Min unsat cost LB: 76146 ... c Min unsat cost LB: 76163 ... c Min unsat cost LB: 76194 ... c Min unsat cost LB: 76197 ... c Min unsat cost LB: 76205 ... c Min unsat cost LB: 76207 ... c Min unsat cost LB: 76215 ... c Min unsat cost LB: 76302 ... c Min unsat cost LB: 76356 ... c Min unsat cost LB: 76392 ... c Min unsat cost LB: 76411 ... c Min unsat cost LB: 76451 ... c Min unsat cost LB: 76490 ... c Min unsat cost LB: 76502 ... c Min unsat cost LB: 76526 ... c Min unsat cost LB: 76534 ... c Min unsat cost LB: 76536 ... c Min unsat cost LB: 76538 ... c Min unsat cost LB: 76541 ... c Min unsat cost LB: 76542 ... c Min unsat cost LB: 76619 ... c Min unsat cost LB: 76659 ... c Min unsat cost LB: 76661 ... c Min unsat cost LB: 76671 ... c Min unsat cost LB: 76676 ... c Min unsat cost LB: 76695 ... c Min unsat cost LB: 76696 ... c Min unsat cost LB: 76697 ... c Min unsat cost LB: 76704 ... c Min unsat cost LB: 76708 ... c Min unsat cost LB: 76714 ... c Min unsat cost LB: 76723 ... c Min unsat cost LB: 76736 ... c Min unsat cost LB: 76742 ... c Min unsat cost LB: 76746 ... c Min unsat cost LB: 76749 ... c Min unsat cost LB: 76754 ... c Min unsat cost LB: 76756 ... c Min unsat cost LB: 76768 ... c Min unsat cost LB: 76775 ... c Min unsat cost LB: 76822 ... c Min unsat cost LB: 76839 ... c Min unsat cost LB: 76841 ... c Min unsat cost LB: 76842 ... c Min unsat cost LB: 76844 ... c Min unsat cost LB: 76847 ... c Min unsat cost LB: 76850 ... c Min unsat cost LB: 76855 ... c Min unsat cost LB: 76858 ... c Min unsat cost LB: 76864 ... c Min unsat cost LB: 76901 ... c Min unsat cost LB: 76996 ... c Min unsat cost LB: 76998 ... c Min unsat cost LB: 76999 ... c Min unsat cost LB: 77000 ... c Min unsat cost LB: 77002 ... c Min unsat cost LB: 77003 ... c Min unsat cost LB: 77004 ... c Min unsat cost LB: 77005 ... c Min unsat cost LB: 77006 ... c Min unsat cost LB: 77007 ... c Min unsat cost LB: 77008 ... c Min unsat cost LB: 77011 ... c Min unsat cost LB: 77012 ... c Min unsat cost LB: 77014 ... c Min unsat cost LB: 77015 ... c Min unsat cost LB: 77016 ... c Min unsat cost LB: 77017 ... c Min unsat cost LB: 77018 ... c Min unsat cost LB: 77019 ... c Min unsat cost LB: 77020 ... c Min unsat cost LB: 77022 ... c Min unsat cost LB: 77025 ... c Min unsat cost LB: 77026 ... c Min unsat cost LB: 77027 ... c Min unsat cost LB: 77028 ... c Min unsat cost LB: 77029 ... c Min unsat cost LB: 77030 ... c Min unsat cost LB: 77034 ... c Min unsat cost LB: 77035 ... c Min unsat cost LB: 77039 ... c Min unsat cost LB: 77045 ... c Min unsat cost LB: 77047 ... c Min unsat cost LB: 77048 ... c Min unsat cost LB: 77049 ... c Min unsat cost LB: 77050 ... c Min unsat cost LB: 77052 ... c Min unsat cost LB: 77055 ... c Min unsat cost LB: 77056 ... c Min unsat cost LB: 77057 ... c Min unsat cost LB: 77058 ... c Min unsat cost LB: 77059 ... c Min unsat cost LB: 77061 ... c Min unsat cost LB: 77062 ... c Min unsat cost LB: 77064 ... c Min unsat cost LB: 77065 ... c Min unsat cost LB: 77066 ... c Min unsat cost LB: 77072 ... c Min unsat cost LB: 77084 ... c Min unsat cost LB: 77086 ... c Min unsat cost LB: 77095 ... c Min unsat cost LB: 77096 ... c Min unsat cost LB: 77101 ... c Min unsat cost LB: 77102 ... c Min unsat cost LB: 77104 ... c Min unsat cost LB: 77106 ... c Min unsat cost LB: 77107 ... c Min unsat cost LB: 77108 ... c Min unsat cost LB: 77110 ... c Min unsat cost LB: 77112 ... c Min unsat cost LB: 77116 ... c Min unsat cost LB: 77120 ... c Min unsat cost LB: 77123 ... c Min unsat cost LB: 77126 ... c Min unsat cost LB: 77154 ... c Min unsat cost LB: 77155 ... c Min unsat cost LB: 77159 ... c Min unsat cost LB: 77160 ... c Min unsat cost LB: 77161 ... c Min unsat cost LB: 77162 ... c Min unsat cost LB: 77163 ... c Min unsat cost LB: 77164 ... c Min unsat cost LB: 77166 ... c Min unsat cost LB: 77167 ... c Min unsat cost LB: 77169 ... c Min unsat cost LB: 77170 ... c Min unsat cost LB: 77174 ... c Min unsat cost LB: 77177 ... c Min unsat cost LB: 77178 ... c Min unsat cost LB: 77179 ... c Min unsat cost LB: 77180 ... c Min unsat cost LB: 77181 ... c Min unsat cost LB: 77182 ... c Min unsat cost LB: 77183 ... c Min unsat cost LB: 77184 ... c Min unsat cost LB: 77185 ... c Min unsat cost LB: 77186 ... c Min unsat cost LB: 77187 ... c Min unsat cost LB: 77188 ... c Min unsat cost LB: 77190 ... c Min unsat cost LB: 77191 ... c Min unsat cost LB: 77192 ... c Min unsat cost LB: 77193 ... c Min unsat cost LB: 77194 ... c Min unsat cost LB: 77195 ... c Min unsat cost LB: 77196 ... c Min unsat cost LB: 77197 ... c Min unsat cost LB: 77198 ... c Min unsat cost LB: 77199 ... c Min unsat cost LB: 77205 ... c Min unsat cost LB: 77207 ... c Min unsat cost LB: 77208 ... c Min unsat cost LB: 77209 ... c Min unsat cost LB: 77210 ... c Min unsat cost LB: 77212 ... c Min unsat cost LB: 77213 ... c Min unsat cost LB: 77215 ... c Min unsat cost LB: 77216 ... c Min unsat cost LB: 77232 ... c Min unsat cost LB: 77235 ... c Min unsat cost LB: 77262 ... c Min unsat cost LB: 77264 ... c Min unsat cost LB: 77267 ... c Min unsat cost LB: 77269 ... c Min unsat cost LB: 77270 ... c Min unsat cost LB: 77283 ... c Min unsat cost LB: 77284 ... c Min unsat cost LB: 77286 ... c Min unsat cost LB: 77287 ... c Min unsat cost LB: 77291 ... c Min unsat cost LB: 77293 ... c Min unsat cost LB: 77295 ... c Min unsat cost LB: 77297 ... c Min unsat cost LB: 77374 ... c Min unsat cost LB: 77375 ... c Min unsat cost LB: 77376 ... c Min unsat cost LB: 77384 ... c Min unsat cost LB: 77385 ... c Min unsat cost LB: 77386 ... c Min unsat cost LB: 77387 ... c Min unsat cost LB: 77397 ... c Min unsat cost LB: 77406 ... c Min unsat cost LB: 77411 ... c Min unsat cost LB: 77412 ... c Min unsat cost LB: 77415 ... c Min unsat cost LB: 77416 ... c Min unsat cost LB: 77417 ... c Min unsat cost LB: 77418 ... c Min unsat cost LB: 77419 ... c Min unsat cost LB: 77420 ... c Min unsat cost LB: 77421 ... c Min unsat cost LB: 77422 ... c Min unsat cost LB: 77423 ... c Min unsat cost LB: 77424 ... c Min unsat cost LB: 77425 ... c Min unsat cost LB: 77426 ... c Min unsat cost LB: 77427 ... c Min unsat cost LB: 77428 ... c Min unsat cost LB: 77429 ... c Min unsat cost LB: 77430 ... c Min unsat cost LB: 77431 ... c Min unsat cost LB: 77434 ... c Min unsat cost LB: 77435 ... c Min unsat cost LB: 77436 ... c Min unsat cost LB: 77437 ... c Min unsat cost LB: 77439 ... c Min unsat cost LB: 77449 ... c Min unsat cost LB: 77450 ... c Min unsat cost LB: 77452 ... c Min unsat cost LB: 77456 ... c Min unsat cost LB: 77508 ... c Min unsat cost LB: 77509 ... c Min unsat cost LB: 77512 ... c Min unsat cost LB: 77519 ... c Min unsat cost LB: 77555 ... c Min unsat cost LB: 77556 ... c Min unsat cost LB: 77568 ... c Min unsat cost LB: 77607 ... c Min unsat cost LB: 77626 ... c Min unsat cost LB: 77639 ... c Min unsat cost LB: 77640 ... c Min unsat cost LB: 77644 ... c Min unsat cost LB: 77647 ... c Min unsat cost LB: 77648 ... c Min unsat cost LB: 77649 ... c Min unsat cost LB: 77650 ... c Min unsat cost LB: 77651 ... c Min unsat cost LB: 77659 ... c Min unsat cost LB: 77669 ... c Min unsat cost LB: 77670 ... c Min unsat cost LB: 77672 ... c Min unsat cost LB: 77725 ... c Min unsat cost LB: 77726 ... c Min unsat cost LB: 77727 ... c Min unsat cost LB: 77751 ... c Min unsat cost LB: 77765 ... c Min unsat cost LB: 77788 ... c Min unsat cost LB: 77789 ... c Min unsat cost LB: 77825 ... c Min unsat cost LB: 77868 ... c Min unsat cost LB: 77870 ... c Min unsat cost LB: 77871 ... c Min unsat cost LB: 77873 ... c Min unsat cost LB: 77878 ... c Min unsat cost LB: 77978 ... c Min unsat cost LB: 77988 ... c Min unsat cost LB: 77996 ... c Min unsat cost LB: 78080 ... c Min unsat cost LB: 78082 ... c Min unsat cost LB: 78085 ... c Min unsat cost LB: 78086 ... c Min unsat cost LB: 78175 ... c Min unsat cost LB: 78198 ... c Min unsat cost LB: 78203 ... c Min unsat cost LB: 78207 ... c Min unsat cost LB: 78209 ... c Min unsat cost LB: 78210 ... c Min unsat cost LB: 78211 ... c Min unsat cost LB: 78212 ... c Min unsat cost LB: 78213 ... c Min unsat cost LB: 78214 ... c Min unsat cost LB: 78215 ... c Min unsat cost LB: 78216 ... c Min unsat cost LB: 78217 ... c Min unsat cost LB: 78220 ... c Min unsat cost LB: 78221 ... c Min unsat cost LB: 78222 ... c Min unsat cost LB: 78250 ... c Min unsat cost LB: 78251 ... c Min unsat cost LB: 78252 ... c Min unsat cost LB: 78253 ... c Min unsat cost LB: 78254 ... c Min unsat cost LB: 78256 ... c Min unsat cost LB: 78260 ... c Min unsat cost LB: 78261 ... c Min unsat cost LB: 78262 ... c Min unsat cost LB: 78266 ... c Min unsat cost LB: 78269 ... c Min unsat cost LB: 78273 ... c Min unsat cost LB: 78277 ... c Min unsat cost LB: 78278 ... c Min unsat cost LB: 78281 ... c Min unsat cost LB: 78284 ... c Min unsat cost LB: 78285 ... c Min unsat cost LB: 78286 ... c Min unsat cost LB: 78287 ... c Min unsat cost LB: 78288 ... c Min unsat cost LB: 78289 ... c Min unsat cost LB: 78290 ... c Min unsat cost LB: 78291 ... c Min unsat cost LB: 78292 ... c Min unsat cost LB: 78293 ... c Min unsat cost LB: 78294 ... c Min unsat cost LB: 78297 ... c Min unsat cost LB: 78298 ... c Min unsat cost LB: 78299 ... c Min unsat cost LB: 78300 ... c Min unsat cost LB: 78305 ... c Min unsat cost LB: 78306 ... c Min unsat cost LB: 78309 ... c Min unsat cost LB: 78310 ... c Min unsat cost LB: 78311 ... c Min unsat cost LB: 78314 ... c Min unsat cost LB: 78315 ... c Min unsat cost LB: 78316 ... c Min unsat cost LB: 78317 ... c Min unsat cost LB: 78318 ... c Min unsat cost LB: 78319 ... c Min unsat cost LB: 78322 ... c Min unsat cost LB: 78325 ... c Min unsat cost LB: 78326 ... c Min unsat cost LB: 78329 ... c Min unsat cost LB: 78335 ... c Min unsat cost LB: 78338 ... c Min unsat cost LB: 78339 ... c Min unsat cost LB: 78340 ... c Min unsat cost LB: 78341 ... c Min unsat cost LB: 78345 ... c Min unsat cost LB: 78346 ... c Min unsat cost LB: 78347 ... c Min unsat cost LB: 78348 ... c Min unsat cost LB: 78349 ... c Min unsat cost LB: 78350 ... c Min unsat cost LB: 78351 ... c Min unsat cost LB: 78352 ... c Min unsat cost LB: 78449 ... c Min unsat cost LB: 78542 ... c Min unsat cost LB: 78570 ... c Min unsat cost LB: 78572 ... c Min unsat cost LB: 78578 ... c Min unsat cost LB: 78579 ... c Min unsat cost LB: 78584 ... c Min unsat cost LB: 78585 ... c Min unsat cost LB: 78586 ... c Min unsat cost LB: 78587 ... c Min unsat cost LB: 78590 ... c Min unsat cost LB: 78591 ... c Min unsat cost LB: 78592 ... c Min unsat cost LB: 78593 ... c Min unsat cost LB: 78594 ... c Min unsat cost LB: 78595 ... c Min unsat cost LB: 78596 ... c Min unsat cost LB: 78597 ... c Min unsat cost LB: 78598 ... c Min unsat cost LB: 78600 ... c Min unsat cost LB: 78601 ... c Min unsat cost LB: 78602 ... c Min unsat cost LB: 78603 ... c Min unsat cost LB: 78604 ... c Min unsat cost LB: 78605 ... c Min unsat cost LB: 78606 ... c Min unsat cost LB: 78642 ... c Min unsat cost LB: 78645 ... c Min unsat cost LB: 78646 ... c Min unsat cost LB: 78647 ... c Min unsat cost LB: 78655 ... c Min unsat cost LB: 78657 ... c Min unsat cost LB: 78658 ... c Min unsat cost LB: 78659 ... c Min unsat cost LB: 78660 ... c Min unsat cost LB: 78661 ... c Min unsat cost LB: 78662 ... c Min unsat cost LB: 78663 ... c Min unsat cost LB: 78665 ... c Min unsat cost LB: 78670 ... c Min unsat cost LB: 78676 ... c Min unsat cost LB: 78680 ... c Min unsat cost LB: 78681 ... c Min unsat cost LB: 78682 ... c Min unsat cost LB: 78683 ... c Min unsat cost LB: 78684 ... c Min unsat cost LB: 78685 ... c Min unsat cost LB: 78686 ... c Min unsat cost LB: 78687 ... c Min unsat cost LB: 78688 ... c Min unsat cost LB: 78689 ... c Min unsat cost LB: 78691 ... c Min unsat cost LB: 78703 ... c Min unsat cost LB: 78719 ... c Min unsat cost LB: 78721 ... c Min unsat cost LB: 78722 ... c Min unsat cost LB: 78723 ... c Min unsat cost LB: 78725 ... c Min unsat cost LB: 78734 ... c Min unsat cost LB: 78735 ... c Min unsat cost LB: 78736 ... c Min unsat cost LB: 78737 ... c Min unsat cost LB: 78738 ... c Min unsat cost LB: 78743 ... c Min unsat cost LB: 78745 ... c Min unsat cost LB: 78750 ... c Min unsat cost LB: 78751 ... c Min unsat cost LB: 78774 ... c Min unsat cost LB: 78775 ... c Min unsat cost LB: 78780 ... c Min unsat cost LB: 78781 ... c Min unsat cost LB: 78782 ... c Min unsat cost LB: 78783 ... c Min unsat cost LB: 78784 ... c Min unsat cost LB: 78785 ... c Min unsat cost LB: 78786 ... c Min unsat cost LB: 78788 ... c Min unsat cost LB: 78795 ... c Min unsat cost LB: 78797 ... c Min unsat cost LB: 78799 ... c Min unsat cost LB: 78805 ... c Min unsat cost LB: 78809 ... c Min unsat cost LB: 78945 ... c Min unsat cost LB: 78947 ... c Min unsat cost LB: 79143 ... c Min unsat cost LB: 79187 ... c Min unsat cost LB: 79216 ... c Min unsat cost LB: 79219 ... c Min unsat cost LB: 79363 ... c Min unsat cost LB: 79364 ... c Min unsat cost LB: 79365 ... c Min unsat cost LB: 79366 ... c Min unsat cost LB: 79367 ... c Min unsat cost LB: 79370 ... c Min unsat cost LB: 79371 ... c Min unsat cost LB: 79374 ... c Min unsat cost LB: 79377 ... c Min unsat cost LB: 79378 ... c Min unsat cost LB: 79379 ... c Min unsat cost LB: 79381 ... c Min unsat cost LB: 79385 ... c Min unsat cost LB: 79388 ... c Min unsat cost LB: 79445 ... c Min unsat cost LB: 79447 ... c Min unsat cost LB: 79458 ... c Min unsat cost LB: 79461 ... c Min unsat cost LB: 79463 ... c Min unsat cost LB: 79470 ... c Min unsat cost LB: 79484 ... c Min unsat cost LB: 79490 ... c Min unsat cost LB: 79491 ... c Min unsat cost LB: 79492 ... c Min unsat cost LB: 79493 ... c Min unsat cost LB: 79495 ... c Min unsat cost LB: 79497 ... c Min unsat cost LB: 79498 ... c Min unsat cost LB: 79500 ... c Min unsat cost LB: 79501 ... c Min unsat cost LB: 79502 ... c Min unsat cost LB: 79504 ... c Min unsat cost LB: 79505 ... c Min unsat cost LB: 79506 ... c Min unsat cost LB: 79509 ... c Min unsat cost LB: 79511 ... c Min unsat cost LB: 79512 ... c Min unsat cost LB: 79513 ... c Min unsat cost LB: 79514 ... c Min unsat cost LB: 79515 ... c Min unsat cost LB: 79516 ... c Min unsat cost LB: 79517 ... c Min unsat cost LB: 79518 ... c Min unsat cost LB: 79519 ... c Min unsat cost LB: 79520 ... c Min unsat cost LB: 79521 ... c Min unsat cost LB: 79522 ... c Min unsat cost LB: 79525 ... c Min unsat cost LB: 79526 ... c Min unsat cost LB: 79527 ... c Min unsat cost LB: 79528 ... c Min unsat cost LB: 79529 ... c Min unsat cost LB: 79530 ... c Min unsat cost LB: 79531 ... c Min unsat cost LB: 79532 ... c Min unsat cost LB: 79533 ... c Min unsat cost LB: 79534 ... c Min unsat cost LB: 79535 ... c Min unsat cost LB: 79536 ... c Min unsat cost LB: 79537 ... c Min unsat cost LB: 79538 ... c Min unsat cost LB: 79539 ... c Min unsat cost LB: 79540 ... c Min unsat cost LB: 79541 ... c Min unsat cost LB: 79542 ... c Min unsat cost LB: 79543 ... c Min unsat cost LB: 79544 ... c Min unsat cost LB: 79545 ... c Min unsat cost LB: 79546 ... c Min unsat cost LB: 79547 ... c Min unsat cost LB: 79548 ... c Min unsat cost LB: 79549 ... c Min unsat cost LB: 79550 ... c Min unsat cost LB: 79551 ... c Min unsat cost LB: 79552 ... c Min unsat cost LB: 79553 ... c Min unsat cost LB: 79554 ... c Min unsat cost LB: 79561 ... c Min unsat cost LB: 79562 ... c Min unsat cost LB: 79563 ... c Min unsat cost LB: 79565 ... c Min unsat cost LB: 79568 ... c Min unsat cost LB: 79570 ... c Min unsat cost LB: 79576 ... c Min unsat cost LB: 79577 ... c Min unsat cost LB: 79578 ... c Min unsat cost LB: 79579 ... c Min unsat cost LB: 79580 ... c Min unsat cost LB: 79581 ... c Min unsat cost LB: 79582 ... c Min unsat cost LB: 79583 ... c Min unsat cost LB: 79584 ... c Min unsat cost LB: 79585 ... c Min unsat cost LB: 79586 ... c Min unsat cost LB: 79587 ... c Min unsat cost LB: 79588 ... c Min unsat cost LB: 79590 ... c Min unsat cost LB: 79592 ... c Min unsat cost LB: 79593 ... c Min unsat cost LB: 79757 ... c Min unsat cost LB: 79778 ... c Min unsat cost LB: 79781 ... c Min unsat cost LB: 79783 ... c Min unsat cost LB: 79855 ... c Min unsat cost LB: 79919 ... c Min unsat cost LB: 79925 ... c Min unsat cost LB: 79926 ... c Min unsat cost LB: 79927 ... c Min unsat cost LB: 79928 ... c Min unsat cost LB: 79929 ... c Min unsat cost LB: 79935 ... c Min unsat cost LB: 79937 ... c Min unsat cost LB: 79939 ... c Min unsat cost LB: 79940 ... c Min unsat cost LB: 79941 ... c Min unsat cost LB: 79942 ... c Min unsat cost LB: 79943 ... c Min unsat cost LB: 79944 ... c Min unsat cost LB: 79945 ... c Min unsat cost LB: 79946 ... c Min unsat cost LB: 79950 ... c Min unsat cost LB: 79951 ... c Min unsat cost LB: 79972 ... c Min unsat cost LB: 79973 ... c Min unsat cost LB: 79993 ... c Min unsat cost LB: 79994 ... c Min unsat cost LB: 79995 ... c Min unsat cost LB: 79996 ... c Min unsat cost LB: 79997 ... c Min unsat cost LB: 79998 ... Killed 1815.927u 3.808s 30:19.92 99.9% 0+0k 0+0io 0pf+0w