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_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0005.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_0005.txt.wcnf *** c c Min unsat cost LB: 690 ... c Min unsat cost LB: 1656 ... c Min unsat cost LB: 1830 ... c Min unsat cost LB: 2970 ... c Min unsat cost LB: 4019 ... c Min unsat cost LB: 4811 ... c Min unsat cost LB: 5042 ... c Min unsat cost LB: 6114 ... c Min unsat cost LB: 7186 ... c Min unsat cost LB: 7254 ... c Min unsat cost LB: 8458 ... c Min unsat cost LB: 9530 ... c Min unsat cost LB: 10083 ... c Min unsat cost LB: 10773 ... c Min unsat cost LB: 11725 ... c Min unsat cost LB: 11880 ... c Min unsat cost LB: 12677 ... c Min unsat cost LB: 13084 ... c Min unsat cost LB: 13698 ... c Min unsat cost LB: 14650 ... c Min unsat cost LB: 15385 ... c Min unsat cost LB: 15604 ... c Min unsat cost LB: 16558 ... c Min unsat cost LB: 16975 ... c Min unsat cost LB: 17786 ... c Min unsat cost LB: 17884 ... c Min unsat cost LB: 18707 ... c Min unsat cost LB: 18749 ... c Min unsat cost LB: 19139 ... c Min unsat cost LB: 19379 ... c Min unsat cost LB: 20129 ... c Min unsat cost LB: 20318 ... c Min unsat cost LB: 20544 ... c Min unsat cost LB: 21141 ... c Min unsat cost LB: 22164 ... c Min unsat cost LB: 22281 ... c Min unsat cost LB: 23236 ... c Min unsat cost LB: 23248 ... c Min unsat cost LB: 24102 ... c Min unsat cost LB: 24408 ... c Min unsat cost LB: 25071 ... c Min unsat cost LB: 25523 ... c Min unsat cost LB: 26156 ... c Min unsat cost LB: 26390 ... c Min unsat cost LB: 27392 ... c Min unsat cost LB: 27468 ... c Min unsat cost LB: 27979 ... c Min unsat cost LB: 28629 ... c Min unsat cost LB: 28981 ... c Min unsat cost LB: 29900 ... c Min unsat cost LB: 30502 ... c Min unsat cost LB: 30902 ... c Min unsat cost LB: 31625 ... c Min unsat cost LB: 32544 ... c Min unsat cost LB: 32644 ... c Min unsat cost LB: 33034 ... c Min unsat cost LB: 33432 ... c Min unsat cost LB: 34046 ... c Min unsat cost LB: 34617 ... c Min unsat cost LB: 35250 ... c Min unsat cost LB: 35602 ... c Min unsat cost LB: 36352 ... c Min unsat cost LB: 36400 ... c Min unsat cost LB: 36832 ... c Min unsat cost LB: 37194 ... c Min unsat cost LB: 37242 ... c Min unsat cost LB: 38206 ... c Min unsat cost LB: 38638 ... c Min unsat cost LB: 39602 ... c Min unsat cost LB: 39858 ... c Min unsat cost LB: 40237 ... c Min unsat cost LB: 40790 ... c Min unsat cost LB: 40890 ... c Min unsat cost LB: 41322 ... c Min unsat cost LB: 41896 ... c Min unsat cost LB: 42386 ... c Min unsat cost LB: 42818 ... c Min unsat cost LB: 43797 ... c Min unsat cost LB: 44185 ... c Min unsat cost LB: 44243 ... c Min unsat cost LB: 44281 ... c Min unsat cost LB: 44536 ... c Min unsat cost LB: 45177 ... c Min unsat cost LB: 45230 ... c Min unsat cost LB: 46049 ... c Min unsat cost LB: 46187 ... c Min unsat cost LB: 46578 ... c Min unsat cost LB: 46869 ... c Min unsat cost LB: 47120 ... c Min unsat cost LB: 47304 ... c Min unsat cost LB: 48113 ... c Min unsat cost LB: 49014 ... c Min unsat cost LB: 49321 ... c Min unsat cost LB: 49476 ... c Min unsat cost LB: 50412 ... c Min unsat cost LB: 50469 ... c Min unsat cost LB: 50685 ... c Min unsat cost LB: 51220 ... c Min unsat cost LB: 52186 ... c Min unsat cost LB: 52885 ... c Min unsat cost LB: 52921 ... c Min unsat cost LB: 53091 ... c Min unsat cost LB: 53187 ... c Min unsat cost LB: 53662 ... c Min unsat cost LB: 53781 ... c Min unsat cost LB: 53957 ... c Min unsat cost LB: 54414 ... c Min unsat cost LB: 54480 ... c Min unsat cost LB: 54510 ... c Min unsat cost LB: 54636 ... c Min unsat cost LB: 54640 ... c Min unsat cost LB: 54676 ... c Min unsat cost LB: 54828 ... c Min unsat cost LB: 54862 ... c Min unsat cost LB: 55000 ... c Min unsat cost LB: 55531 ... c Min unsat cost LB: 55650 ... c Min unsat cost LB: 55686 ... c Min unsat cost LB: 55784 ... c Min unsat cost LB: 55958 ... c Min unsat cost LB: 56581 ... c Min unsat cost LB: 56638 ... c Min unsat cost LB: 56648 ... c Min unsat cost LB: 57077 ... c Min unsat cost LB: 57237 ... c Min unsat cost LB: 57337 ... c Min unsat cost LB: 57367 ... c Min unsat cost LB: 57452 ... c Min unsat cost LB: 57504 ... c Min unsat cost LB: 57604 ... c Min unsat cost LB: 57669 ... c Min unsat cost LB: 57830 ... c Min unsat cost LB: 57834 ... c Min unsat cost LB: 58266 ... c Min unsat cost LB: 58427 ... c Min unsat cost LB: 58462 ... c Min unsat cost LB: 58522 ... c Min unsat cost LB: 58674 ... c Min unsat cost LB: 59402 ... c Min unsat cost LB: 59659 ... c Min unsat cost LB: 59695 ... c Min unsat cost LB: 60050 ... c Min unsat cost LB: 60290 ... c Min unsat cost LB: 60366 ... c Min unsat cost LB: 60859 ... c Min unsat cost LB: 60918 ... c Min unsat cost LB: 61003 ... c Min unsat cost LB: 61129 ... c Min unsat cost LB: 61194 ... c Min unsat cost LB: 61389 ... c Min unsat cost LB: 61437 ... c Min unsat cost LB: 61442 ... c Min unsat cost LB: 61601 ... c Min unsat cost LB: 61643 ... c Min unsat cost LB: 61877 ... c Min unsat cost LB: 61989 ... c Min unsat cost LB: 62057 ... c Min unsat cost LB: 62200 ... c Min unsat cost LB: 62352 ... c Min unsat cost LB: 62367 ... c Min unsat cost LB: 62666 ... c Min unsat cost LB: 62675 ... c Min unsat cost LB: 62691 ... c Min unsat cost LB: 63382 ... c Min unsat cost LB: 63389 ... c Min unsat cost LB: 63466 ... c Min unsat cost LB: 63474 ... c Min unsat cost LB: 63503 ... c Min unsat cost LB: 63517 ... c Min unsat cost LB: 63532 ... c Min unsat cost LB: 63541 ... c Min unsat cost LB: 63561 ... c Min unsat cost LB: 63568 ... c Min unsat cost LB: 63597 ... c Min unsat cost LB: 63617 ... c Min unsat cost LB: 63670 ... c Min unsat cost LB: 63717 ... c Min unsat cost LB: 63838 ... c Min unsat cost LB: 63995 ... c Min unsat cost LB: 64114 ... c Min unsat cost LB: 64275 ... c Min unsat cost LB: 64436 ... c Min unsat cost LB: 64531 ... c Min unsat cost LB: 64546 ... c Min unsat cost LB: 64644 ... c Min unsat cost LB: 64706 ... c Min unsat cost LB: 64804 ... c Min unsat cost LB: 64809 ... c Min unsat cost LB: 64868 ... c Min unsat cost LB: 64890 ... c Min unsat cost LB: 64898 ... c Min unsat cost LB: 64928 ... c Min unsat cost LB: 65039 ... c Min unsat cost LB: 65073 ... c Min unsat cost LB: 65097 ... c Min unsat cost LB: 65183 ... c Min unsat cost LB: 65221 ... c Min unsat cost LB: 65293 ... c Min unsat cost LB: 65359 ... c Min unsat cost LB: 65506 ... c Min unsat cost LB: 65532 ... c Min unsat cost LB: 65568 ... c Min unsat cost LB: 65683 ... c Min unsat cost LB: 65736 ... c Min unsat cost LB: 65742 ... c Min unsat cost LB: 65752 ... c Min unsat cost LB: 65764 ... c Min unsat cost LB: 65785 ... c Min unsat cost LB: 65821 ... c Min unsat cost LB: 65874 ... c Min unsat cost LB: 65961 ... c Min unsat cost LB: 66037 ... c Min unsat cost LB: 66073 ... c Min unsat cost LB: 66149 ... c Min unsat cost LB: 66159 ... c Min unsat cost LB: 66161 ... c Min unsat cost LB: 66179 ... c Min unsat cost LB: 66243 ... c Min unsat cost LB: 66295 ... c Min unsat cost LB: 66448 ... c Min unsat cost LB: 66460 ... c Min unsat cost LB: 66483 ... c Min unsat cost LB: 66504 ... c Min unsat cost LB: 66549 ... c Min unsat cost LB: 66570 ... c Min unsat cost LB: 66574 ... c Min unsat cost LB: 66609 ... c Min unsat cost LB: 66630 ... c Min unsat cost LB: 66711 ... c Min unsat cost LB: 66785 ... c Min unsat cost LB: 66928 ... c Min unsat cost LB: 66954 ... c Min unsat cost LB: 66986 ... c Min unsat cost LB: 67009 ... c Min unsat cost LB: 67057 ... c Min unsat cost LB: 67079 ... c Min unsat cost LB: 67120 ... c Min unsat cost LB: 67369 ... c Min unsat cost LB: 67533 ... c Min unsat cost LB: 67596 ... c Min unsat cost LB: 67756 ... c Min unsat cost LB: 67831 ... c Min unsat cost LB: 67872 ... c Min unsat cost LB: 67922 ... c Min unsat cost LB: 67974 ... c Min unsat cost LB: 68363 ... c Min unsat cost LB: 68485 ... c Min unsat cost LB: 68615 ... c Min unsat cost LB: 68979 ... c Min unsat cost LB: 69356 ... c Min unsat cost LB: 69552 ... c Min unsat cost LB: 69746 ... c Min unsat cost LB: 69828 ... c Min unsat cost LB: 69844 ... c Min unsat cost LB: 69852 ... c Min unsat cost LB: 69859 ... c Min unsat cost LB: 69964 ... c Min unsat cost LB: 69992 ... c Min unsat cost LB: 70118 ... c Min unsat cost LB: 70135 ... c Min unsat cost LB: 70165 ... c Min unsat cost LB: 70224 ... c Min unsat cost LB: 70300 ... c Min unsat cost LB: 70307 ... c Min unsat cost LB: 70312 ... c Min unsat cost LB: 70315 ... c Min unsat cost LB: 70456 ... c Min unsat cost LB: 70499 ... c Min unsat cost LB: 70524 ... c Min unsat cost LB: 70611 ... c Min unsat cost LB: 70621 ... c Min unsat cost LB: 70667 ... c Min unsat cost LB: 70682 ... c Min unsat cost LB: 70779 ... c Min unsat cost LB: 70841 ... c Min unsat cost LB: 70892 ... c Min unsat cost LB: 70912 ... c Min unsat cost LB: 71012 ... c Min unsat cost LB: 71017 ... c Min unsat cost LB: 71037 ... c Min unsat cost LB: 71039 ... c Min unsat cost LB: 71162 ... c Min unsat cost LB: 71164 ... c Min unsat cost LB: 71180 ... c Min unsat cost LB: 71195 ... c Min unsat cost LB: 71205 ... c Min unsat cost LB: 71211 ... c Min unsat cost LB: 71216 ... c Min unsat cost LB: 71231 ... c Min unsat cost LB: 71252 ... c Min unsat cost LB: 71256 ... c Min unsat cost LB: 71267 ... c Min unsat cost LB: 71273 ... c Min unsat cost LB: 71276 ... c Min unsat cost LB: 71280 ... c Min unsat cost LB: 71282 ... c Min unsat cost LB: 71285 ... c Min unsat cost LB: 71287 ... c Min unsat cost LB: 71293 ... c Min unsat cost LB: 71296 ... c Min unsat cost LB: 71325 ... c Min unsat cost LB: 71345 ... c Min unsat cost LB: 71349 ... c Min unsat cost LB: 71379 ... c Min unsat cost LB: 71385 ... c Min unsat cost LB: 71395 ... c Min unsat cost LB: 71432 ... c Min unsat cost LB: 71498 ... c Min unsat cost LB: 71509 ... c Min unsat cost LB: 71512 ... c Min unsat cost LB: 71517 ... c Min unsat cost LB: 71536 ... c Min unsat cost LB: 71538 ... c Min unsat cost LB: 71548 ... c Min unsat cost LB: 71571 ... c Min unsat cost LB: 71578 ... c Min unsat cost LB: 71581 ... c Min unsat cost LB: 71597 ... c Min unsat cost LB: 71643 ... c Min unsat cost LB: 71653 ... c Min unsat cost LB: 71660 ... c Min unsat cost LB: 71663 ... c Min unsat cost LB: 71667 ... c Min unsat cost LB: 71677 ... c Min unsat cost LB: 71712 ... c Min unsat cost LB: 71713 ... c Min unsat cost LB: 71716 ... c Min unsat cost LB: 71723 ... c Min unsat cost LB: 71750 ... c Min unsat cost LB: 71760 ... c Min unsat cost LB: 71769 ... c Min unsat cost LB: 71783 ... c Min unsat cost LB: 71804 ... c Min unsat cost LB: 71814 ... c Min unsat cost LB: 71834 ... c Min unsat cost LB: 71835 ... c Min unsat cost LB: 71864 ... c Min unsat cost LB: 71866 ... c Min unsat cost LB: 71867 ... c Min unsat cost LB: 71868 ... c Min unsat cost LB: 71871 ... c Min unsat cost LB: 71921 ... c Min unsat cost LB: 71922 ... c Min unsat cost LB: 71927 ... c Min unsat cost LB: 71931 ... c Min unsat cost LB: 71951 ... c Min unsat cost LB: 71954 ... c Min unsat cost LB: 71960 ... c Min unsat cost LB: 71974 ... c Min unsat cost LB: 71975 ... c Min unsat cost LB: 71976 ... c Min unsat cost LB: 71977 ... c Min unsat cost LB: 71980 ... c Min unsat cost LB: 71981 ... c Min unsat cost LB: 72022 ... c Min unsat cost LB: 72057 ... c Min unsat cost LB: 72060 ... c Min unsat cost LB: 72063 ... c Min unsat cost LB: 72067 ... c Min unsat cost LB: 72077 ... c Min unsat cost LB: 72090 ... c Min unsat cost LB: 72092 ... c Min unsat cost LB: 72095 ... c Min unsat cost LB: 72106 ... c Min unsat cost LB: 72108 ... c Min unsat cost LB: 72114 ... c Min unsat cost LB: 72118 ... c Min unsat cost LB: 72130 ... c Min unsat cost LB: 72131 ... c Min unsat cost LB: 72137 ... c Min unsat cost LB: 72138 ... c Min unsat cost LB: 72141 ... c Min unsat cost LB: 72142 ... c Min unsat cost LB: 72175 ... c Min unsat cost LB: 72195 ... c Min unsat cost LB: 72196 ... c Min unsat cost LB: 72206 ... c Min unsat cost LB: 72216 ... c Min unsat cost LB: 72227 ... c Min unsat cost LB: 72236 ... c Min unsat cost LB: 72245 ... c Min unsat cost LB: 72246 ... c Min unsat cost LB: 72252 ... c Min unsat cost LB: 72256 ... c Min unsat cost LB: 72258 ... c Min unsat cost LB: 72260 ... c Min unsat cost LB: 72268 ... c Min unsat cost LB: 72272 ... c Min unsat cost LB: 72276 ... c Min unsat cost LB: 72326 ... c Min unsat cost LB: 72350 ... c Min unsat cost LB: 72356 ... c Min unsat cost LB: 72358 ... c Min unsat cost LB: 72366 ... c Min unsat cost LB: 72371 ... c Min unsat cost LB: 72391 ... c Min unsat cost LB: 72392 ... c Min unsat cost LB: 72394 ... c Min unsat cost LB: 72410 ... c Min unsat cost LB: 72411 ... c Min unsat cost LB: 72422 ... c Min unsat cost LB: 72427 ... c Min unsat cost LB: 72444 ... c Min unsat cost LB: 72461 ... c Min unsat cost LB: 72464 ... c Min unsat cost LB: 72466 ... c Min unsat cost LB: 72468 ... c Min unsat cost LB: 72473 ... c Min unsat cost LB: 72474 ... c Min unsat cost LB: 72476 ... c Min unsat cost LB: 72487 ... c Min unsat cost LB: 72489 ... c Min unsat cost LB: 72492 ... c Min unsat cost LB: 72542 ... c Min unsat cost LB: 72547 ... c Min unsat cost LB: 72549 ... c Min unsat cost LB: 72550 ... c Min unsat cost LB: 72551 ... c Min unsat cost LB: 72553 ... c Min unsat cost LB: 72558 ... c Min unsat cost LB: 72566 ... c Min unsat cost LB: 72568 ... c Min unsat cost LB: 72569 ... c Min unsat cost LB: 72570 ... c Min unsat cost LB: 72571 ... c Min unsat cost LB: 72573 ... c Min unsat cost LB: 72574 ... c Min unsat cost LB: 72591 ... c Min unsat cost LB: 72595 ... c Min unsat cost LB: 72599 ... c Min unsat cost LB: 72600 ... c Min unsat cost LB: 72648 ... c Min unsat cost LB: 72651 ... c Min unsat cost LB: 72653 ... c Min unsat cost LB: 72654 ... c Min unsat cost LB: 72657 ... c Min unsat cost LB: 72659 ... c Min unsat cost LB: 72662 ... c Min unsat cost LB: 72666 ... c Min unsat cost LB: 72684 ... c Min unsat cost LB: 72688 ... c Min unsat cost LB: 72692 ... c Min unsat cost LB: 72693 ... c Min unsat cost LB: 72701 ... c Min unsat cost LB: 72702 ... c Min unsat cost LB: 72710 ... c Min unsat cost LB: 72763 ... c Min unsat cost LB: 72781 ... c Min unsat cost LB: 72782 ... c Min unsat cost LB: 72784 ... c Min unsat cost LB: 72800 ... c Min unsat cost LB: 72818 ... c Min unsat cost LB: 72854 ... c Min unsat cost LB: 72867 ... c Min unsat cost LB: 72893 ... c Min unsat cost LB: 72896 ... c Min unsat cost LB: 72910 ... c Min unsat cost LB: 72922 ... c Min unsat cost LB: 72927 ... c Min unsat cost LB: 72932 ... c Min unsat cost LB: 72937 ... c Min unsat cost LB: 72942 ... c Min unsat cost LB: 72943 ... c Min unsat cost LB: 72964 ... c Min unsat cost LB: 72967 ... c Min unsat cost LB: 72968 ... c Min unsat cost LB: 72983 ... c Min unsat cost LB: 73004 ... c Min unsat cost LB: 73020 ... c Min unsat cost LB: 73044 ... c Min unsat cost LB: 73046 ... c Min unsat cost LB: 73055 ... c Min unsat cost LB: 73060 ... c Min unsat cost LB: 73061 ... c Min unsat cost LB: 73066 ... c Min unsat cost LB: 73070 ... c Min unsat cost LB: 73073 ... c Min unsat cost LB: 73127 ... c Min unsat cost LB: 73130 ... c Min unsat cost LB: 73148 ... c Min unsat cost LB: 73169 ... c Min unsat cost LB: 73185 ... c Min unsat cost LB: 73194 ... c Min unsat cost LB: 73224 ... c Min unsat cost LB: 73291 ... c Min unsat cost LB: 73323 ... c Min unsat cost LB: 73330 ... c Min unsat cost LB: 73338 ... c Min unsat cost LB: 73369 ... c Min unsat cost LB: 73372 ... c Min unsat cost LB: 73447 ... c Min unsat cost LB: 73563 ... c Min unsat cost LB: 73570 ... c Min unsat cost LB: 73617 ... c Min unsat cost LB: 73651 ... c Min unsat cost LB: 73655 ... c Min unsat cost LB: 73658 ... c Min unsat cost LB: 73667 ... c Min unsat cost LB: 73671 ... c Min unsat cost LB: 73672 ... c Min unsat cost LB: 73674 ... c Min unsat cost LB: 73677 ... c Min unsat cost LB: 73681 ... c Min unsat cost LB: 73684 ... c Min unsat cost LB: 73687 ... c Min unsat cost LB: 73688 ... c Min unsat cost LB: 73706 ... c Min unsat cost LB: 73708 ... c Min unsat cost LB: 73712 ... c Min unsat cost LB: 73713 ... c Min unsat cost LB: 73714 ... c Min unsat cost LB: 73715 ... c Min unsat cost LB: 73716 ... c Min unsat cost LB: 73720 ... c Min unsat cost LB: 73725 ... c Min unsat cost LB: 73735 ... c Min unsat cost LB: 73736 ... c Min unsat cost LB: 73737 ... c Min unsat cost LB: 73738 ... c Min unsat cost LB: 73739 ... c Min unsat cost LB: 73742 ... c Min unsat cost LB: 73794 ... c Min unsat cost LB: 73795 ... c Min unsat cost LB: 73805 ... c Min unsat cost LB: 73814 ... c Min unsat cost LB: 73815 ... c Min unsat cost LB: 73816 ... c Min unsat cost LB: 73819 ... c Min unsat cost LB: 73820 ... c Min unsat cost LB: 73823 ... c Min unsat cost LB: 73832 ... c Min unsat cost LB: 73835 ... c Min unsat cost LB: 73840 ... c Min unsat cost LB: 73844 ... c Min unsat cost LB: 73852 ... c Min unsat cost LB: 73854 ... c Min unsat cost LB: 73857 ... c Min unsat cost LB: 73858 ... c Min unsat cost LB: 73859 ... c Min unsat cost LB: 73860 ... c Min unsat cost LB: 73868 ... c Min unsat cost LB: 73871 ... c Min unsat cost LB: 73872 ... c Min unsat cost LB: 73881 ... c Min unsat cost LB: 73890 ... c Min unsat cost LB: 73901 ... c Min unsat cost LB: 73927 ... c Min unsat cost LB: 73939 ... c Min unsat cost LB: 73940 ... c Min unsat cost LB: 73942 ... c Min unsat cost LB: 73943 ... c Min unsat cost LB: 73945 ... c Min unsat cost LB: 73947 ... c Min unsat cost LB: 73948 ... c Min unsat cost LB: 73949 ... c Min unsat cost LB: 73951 ... c Min unsat cost LB: 73952 ... c Min unsat cost LB: 73954 ... c Min unsat cost LB: 73956 ... c Min unsat cost LB: 73957 ... c Min unsat cost LB: 73958 ... c Min unsat cost LB: 73967 ... c Min unsat cost LB: 73973 ... c Min unsat cost LB: 73994 ... c Min unsat cost LB: 74001 ... c Min unsat cost LB: 74006 ... c Min unsat cost LB: 74009 ... c Min unsat cost LB: 74011 ... c Min unsat cost LB: 74012 ... c Min unsat cost LB: 74014 ... c Min unsat cost LB: 74018 ... c Min unsat cost LB: 74019 ... c Min unsat cost LB: 74020 ... c Min unsat cost LB: 74023 ... c Min unsat cost LB: 74024 ... c Min unsat cost LB: 74028 ... c Min unsat cost LB: 74029 ... c Min unsat cost LB: 74030 ... c Min unsat cost LB: 74031 ... c Min unsat cost LB: 74032 ... c Min unsat cost LB: 74033 ... c Min unsat cost LB: 74034 ... c Min unsat cost LB: 74035 ... c Min unsat cost LB: 74036 ... c Min unsat cost LB: 74042 ... c Min unsat cost LB: 74047 ... c Min unsat cost LB: 74048 ... c Min unsat cost LB: 74049 ... c Min unsat cost LB: 74050 ... c Min unsat cost LB: 74051 ... c Min unsat cost LB: 74054 ... c Min unsat cost LB: 74055 ... c Min unsat cost LB: 74056 ... c Min unsat cost LB: 74057 ... c Min unsat cost LB: 74058 ... c Min unsat cost LB: 74059 ... c Min unsat cost LB: 74060 ... c Min unsat cost LB: 74061 ... c Min unsat cost LB: 74062 ... c Min unsat cost LB: 74063 ... c Min unsat cost LB: 74064 ... c Min unsat cost LB: 74065 ... c Min unsat cost LB: 74066 ... c Min unsat cost LB: 74067 ... c Min unsat cost LB: 74069 ... c Min unsat cost LB: 74070 ... c Min unsat cost LB: 74071 ... c Min unsat cost LB: 74076 ... c Min unsat cost LB: 74078 ... c Min unsat cost LB: 74079 ... c Min unsat cost LB: 74081 ... c Min unsat cost LB: 74082 ... c Min unsat cost LB: 74083 ... c Min unsat cost LB: 74088 ... c Min unsat cost LB: 74090 ... c Min unsat cost LB: 74100 ... c Min unsat cost LB: 74103 ... c Min unsat cost LB: 74106 ... c Min unsat cost LB: 74108 ... c Min unsat cost LB: 74139 ... c Min unsat cost LB: 74158 ... c Min unsat cost LB: 74176 ... c Min unsat cost LB: 74188 ... c Min unsat cost LB: 74189 ... c Min unsat cost LB: 74190 ... c Min unsat cost LB: 74191 ... c Min unsat cost LB: 74192 ... c Min unsat cost LB: 74193 ... c Min unsat cost LB: 74194 ... c Min unsat cost LB: 74199 ... c Min unsat cost LB: 74200 ... c Min unsat cost LB: 74201 ... c Min unsat cost LB: 74202 ... c Min unsat cost LB: 74203 ... c Min unsat cost LB: 74204 ... c Min unsat cost LB: 74211 ... c Min unsat cost LB: 74212 ... c Min unsat cost LB: 74213 ... c Min unsat cost LB: 74214 ... c Min unsat cost LB: 74215 ... c Min unsat cost LB: 74216 ... c Min unsat cost LB: 74217 ... c Min unsat cost LB: 74218 ... c Min unsat cost LB: 74220 ... c Min unsat cost LB: 74223 ... c Min unsat cost LB: 74224 ... c Min unsat cost LB: 74225 ... c Min unsat cost LB: 74226 ... c Min unsat cost LB: 74233 ... c Min unsat cost LB: 74234 ... c Min unsat cost LB: 74236 ... c Min unsat cost LB: 74241 ... c Min unsat cost LB: 74242 ... c Min unsat cost LB: 74243 ... c Min unsat cost LB: 74244 ... c Min unsat cost LB: 74245 ... c Min unsat cost LB: 74246 ... c Min unsat cost LB: 74248 ... c Min unsat cost LB: 74249 ... c Min unsat cost LB: 74250 ... c Min unsat cost LB: 74270 ... c Min unsat cost LB: 74271 ... c Min unsat cost LB: 74272 ... c Min unsat cost LB: 74273 ... c Min unsat cost LB: 74275 ... c Min unsat cost LB: 74277 ... c Min unsat cost LB: 74281 ... c Min unsat cost LB: 74283 ... c Min unsat cost LB: 74285 ... c Min unsat cost LB: 74289 ... c Min unsat cost LB: 74290 ... c Min unsat cost LB: 74291 ... c Min unsat cost LB: 74292 ... c Min unsat cost LB: 74293 ... c Min unsat cost LB: 74294 ... c Min unsat cost LB: 74295 ... c Min unsat cost LB: 74296 ... c Min unsat cost LB: 74298 ... c Min unsat cost LB: 74299 ... c Min unsat cost LB: 74305 ... c Min unsat cost LB: 74309 ... c Min unsat cost LB: 74311 ... c Min unsat cost LB: 74316 ... c Min unsat cost LB: 74317 ... c Min unsat cost LB: 74319 ... c Min unsat cost LB: 74320 ... c Min unsat cost LB: 74321 ... c Min unsat cost LB: 74322 ... c Min unsat cost LB: 74323 ... c Min unsat cost LB: 74325 ... c Min unsat cost LB: 74326 ... c Min unsat cost LB: 74327 ... c Min unsat cost LB: 74328 ... c Min unsat cost LB: 74330 ... c Min unsat cost LB: 74334 ... c Min unsat cost LB: 74335 ... c Min unsat cost LB: 74336 ... c Min unsat cost LB: 74338 ... c Min unsat cost LB: 74339 ... c Min unsat cost LB: 74340 ... c Min unsat cost LB: 74343 ... c Min unsat cost LB: 74356 ... c Min unsat cost LB: 74361 ... c Min unsat cost LB: 74362 ... c Min unsat cost LB: 74365 ... c Min unsat cost LB: 74366 ... c Min unsat cost LB: 74367 ... c Min unsat cost LB: 74368 ... c Min unsat cost LB: 74370 ... c Min unsat cost LB: 74378 ... c Min unsat cost LB: 74379 ... c Min unsat cost LB: 74380 ... c Min unsat cost LB: 74381 ... c Min unsat cost LB: 74383 ... c Min unsat cost LB: 74385 ... c Min unsat cost LB: 74389 ... c Min unsat cost LB: 74391 ... c Min unsat cost LB: 74393 ... c Min unsat cost LB: 74395 ... c Min unsat cost LB: 74399 ... c Min unsat cost LB: 74405 ... c Min unsat cost LB: 74407 ... c Min unsat cost LB: 74413 ... c Min unsat cost LB: 74414 ... c Min unsat cost LB: 74416 ... c Min unsat cost LB: 74426 ... c Min unsat cost LB: 74427 ... c Min unsat cost LB: 74428 ... c Min unsat cost LB: 74435 ... c Min unsat cost LB: 74436 ... c Min unsat cost LB: 74437 ... c Min unsat cost LB: 74438 ... c Min unsat cost LB: 74440 ... c Min unsat cost LB: 74444 ... c Min unsat cost LB: 74447 ... c Min unsat cost LB: 74469 ... c Min unsat cost LB: 74470 ... c Min unsat cost LB: 74471 ... c Min unsat cost LB: 74472 ... c Min unsat cost LB: 74473 ... c Min unsat cost LB: 74474 ... c Min unsat cost LB: 74475 ... c Min unsat cost LB: 74476 ... c Min unsat cost LB: 74478 ... c Min unsat cost LB: 74479 ... c Min unsat cost LB: 74484 ... c Min unsat cost LB: 74485 ... c Min unsat cost LB: 74486 ... c Min unsat cost LB: 74490 ... c Min unsat cost LB: 74492 ... c Min unsat cost LB: 74499 ... c Min unsat cost LB: 74500 ... c Min unsat cost LB: 74502 ... c Min unsat cost LB: 74516 ... c Min unsat cost LB: 74519 ... c Min unsat cost LB: 74520 ... c Min unsat cost LB: 74521 ... c Min unsat cost LB: 74522 ... c Min unsat cost LB: 74523 ... c Min unsat cost LB: 74524 ... c Min unsat cost LB: 74525 ... c Min unsat cost LB: 74526 ... c Min unsat cost LB: 74527 ... c Min unsat cost LB: 74528 ... c Min unsat cost LB: 74530 ... c Min unsat cost LB: 74549 ... c Min unsat cost LB: 74552 ... c Min unsat cost LB: 74553 ... c Min unsat cost LB: 74554 ... c Min unsat cost LB: 74555 ... c Min unsat cost LB: 74559 ... c Min unsat cost LB: 74566 ... c Min unsat cost LB: 74571 ... c Min unsat cost LB: 74575 ... c Min unsat cost LB: 74579 ... c Min unsat cost LB: 74580 ... c Min unsat cost LB: 74581 ... c Min unsat cost LB: 74582 ... c Min unsat cost LB: 74585 ... c Min unsat cost LB: 74591 ... c Min unsat cost LB: 74593 ... c Min unsat cost LB: 74594 ... c Min unsat cost LB: 74598 ... c Min unsat cost LB: 74607 ... c Min unsat cost LB: 74608 ... c Min unsat cost LB: 74609 ... c Min unsat cost LB: 74610 ... c Min unsat cost LB: 74611 ... c Min unsat cost LB: 74612 ... c Min unsat cost LB: 74613 ... c Min unsat cost LB: 74614 ... c Min unsat cost LB: 74615 ... c Min unsat cost LB: 74616 ... c Min unsat cost LB: 74617 ... c Min unsat cost LB: 74618 ... c Min unsat cost LB: 74619 ... c Min unsat cost LB: 74620 ... c Min unsat cost LB: 74621 ... c Min unsat cost LB: 74622 ... c Min unsat cost LB: 74623 ... c Min unsat cost LB: 74624 ... c Min unsat cost LB: 74625 ... c Min unsat cost LB: 74626 ... c Min unsat cost LB: 74627 ... c Min unsat cost LB: 74628 ... c Min unsat cost LB: 74629 ... c Min unsat cost LB: 74632 ... c Min unsat cost LB: 74633 ... c Min unsat cost LB: 74634 ... c Min unsat cost LB: 74635 ... c Min unsat cost LB: 74637 ... c Min unsat cost LB: 74638 ... c Min unsat cost LB: 74641 ... c Min unsat cost LB: 74645 ... c Min unsat cost LB: 74646 ... c Min unsat cost LB: 74653 ... c Min unsat cost LB: 74654 ... c Min unsat cost LB: 74655 ... c Min unsat cost LB: 74657 ... c Min unsat cost LB: 74660 ... c Min unsat cost LB: 74661 ... c Min unsat cost LB: 74662 ... c Min unsat cost LB: 74671 ... c Min unsat cost LB: 74672 ... c Min unsat cost LB: 74674 ... c Min unsat cost LB: 74675 ... c Min unsat cost LB: 74676 ... c Min unsat cost LB: 74677 ... c Min unsat cost LB: 74678 ... c Min unsat cost LB: 74679 ... c Min unsat cost LB: 74680 ... c Min unsat cost LB: 74685 ... c Min unsat cost LB: 74688 ... c Min unsat cost LB: 74689 ... c Min unsat cost LB: 74690 ... c Min unsat cost LB: 74693 ... c Min unsat cost LB: 74694 ... c Min unsat cost LB: 74696 ... c Min unsat cost LB: 74697 ... c Min unsat cost LB: 74698 ... c Min unsat cost LB: 74701 ... c Min unsat cost LB: 74704 ... c Min unsat cost LB: 74710 ... c Min unsat cost LB: 74711 ... c Min unsat cost LB: 74712 ... c Min unsat cost LB: 74713 ... c Min unsat cost LB: 74714 ... c Min unsat cost LB: 74718 ... c Min unsat cost LB: 74720 ... c Min unsat cost LB: 74721 ... c Min unsat cost LB: 74723 ... c Min unsat cost LB: 74724 ... c Min unsat cost LB: 74725 ... c Min unsat cost LB: 74726 ... c Min unsat cost LB: 74727 ... c Min unsat cost LB: 74728 ... c Min unsat cost LB: 74729 ... c Min unsat cost LB: 74730 ... c Min unsat cost LB: 74731 ... c Min unsat cost LB: 74732 ... c Min unsat cost LB: 74733 ... c Min unsat cost LB: 74734 ... c Min unsat cost LB: 74735 ... c Min unsat cost LB: 74736 ... c Min unsat cost LB: 74737 ... c Min unsat cost LB: 74738 ... c Min unsat cost LB: 74739 ... c Min unsat cost LB: 74742 ... c Min unsat cost LB: 74745 ... c Min unsat cost LB: 74747 ... c Min unsat cost LB: 74749 ... c Min unsat cost LB: 74750 ... c Min unsat cost LB: 74751 ... c Min unsat cost LB: 74752 ... c Min unsat cost LB: 74753 ... c Min unsat cost LB: 74754 ... c Min unsat cost LB: 74755 ... c Min unsat cost LB: 74756 ... c Min unsat cost LB: 74757 ... c Min unsat cost LB: 74758 ... c Min unsat cost LB: 74759 ... c Min unsat cost LB: 74760 ... c Min unsat cost LB: 74761 ... c Min unsat cost LB: 74762 ... c Min unsat cost LB: 74791 ... c Min unsat cost LB: 74795 ... c Min unsat cost LB: 74796 ... c Min unsat cost LB: 74797 ... c Min unsat cost LB: 74798 ... c Min unsat cost LB: 74799 ... c Min unsat cost LB: 74800 ... c Min unsat cost LB: 74801 ... c Min unsat cost LB: 74802 ... c Min unsat cost LB: 74803 ... c Min unsat cost LB: 74804 ... c Min unsat cost LB: 74805 ... c Min unsat cost LB: 74806 ... c Min unsat cost LB: 74807 ... c Min unsat cost LB: 74808 ... c Min unsat cost LB: 74809 ... c Min unsat cost LB: 74810 ... c Min unsat cost LB: 74818 ... c Min unsat cost LB: 74822 ... c Min unsat cost LB: 74824 ... c Min unsat cost LB: 74825 ... c Min unsat cost LB: 74826 ... c Min unsat cost LB: 74828 ... c Min unsat cost LB: 74829 ... c Min unsat cost LB: 74830 ... c Min unsat cost LB: 74831 ... c Min unsat cost LB: 74832 ... c Min unsat cost LB: 74833 ... c Min unsat cost LB: 74834 ... c Min unsat cost LB: 74835 ... c Min unsat cost LB: 74836 ... c Min unsat cost LB: 74837 ... c Min unsat cost LB: 74838 ... c Min unsat cost LB: 74839 ... c Min unsat cost LB: 74840 ... c Min unsat cost LB: 74841 ... c Min unsat cost LB: 74842 ... c Min unsat cost LB: 74843 ... c Min unsat cost LB: 74845 ... c Min unsat cost LB: 74847 ... c Min unsat cost LB: 74848 ... c Min unsat cost LB: 74849 ... c Min unsat cost LB: 74850 ... c Min unsat cost LB: 74851 ... c Min unsat cost LB: 74852 ... c Min unsat cost LB: 74853 ... c Min unsat cost LB: 74854 ... c Min unsat cost LB: 74855 ... c Min unsat cost LB: 74857 ... c Min unsat cost LB: 74860 ... c Min unsat cost LB: 74861 ... c Min unsat cost LB: 74862 ... c Min unsat cost LB: 74863 ... c Min unsat cost LB: 74864 ... c Min unsat cost LB: 74865 ... c Min unsat cost LB: 74866 ... c Min unsat cost LB: 74867 ... c Min unsat cost LB: 74868 ... c Min unsat cost LB: 74869 ... c Min unsat cost LB: 74870 ... c Min unsat cost LB: 74871 ... c Min unsat cost LB: 74872 ... c Min unsat cost LB: 74873 ... c Min unsat cost LB: 74874 ... c Min unsat cost LB: 74875 ... c Min unsat cost LB: 74876 ... c Min unsat cost LB: 74877 ... c Min unsat cost LB: 74885 ... c Min unsat cost LB: 74889 ... c Min unsat cost LB: 74890 ... c Min unsat cost LB: 74909 ... c Min unsat cost LB: 74914 ... c Min unsat cost LB: 74915 ... c Min unsat cost LB: 74916 ... c Min unsat cost LB: 74917 ... c Min unsat cost LB: 74918 ... c Min unsat cost LB: 74919 ... c Min unsat cost LB: 74920 ... c Min unsat cost LB: 74921 ... c Min unsat cost LB: 74922 ... c Min unsat cost LB: 74923 ... c Min unsat cost LB: 74924 ... c Min unsat cost LB: 74925 ... c Min unsat cost LB: 74926 ... c Min unsat cost LB: 74927 ... c Min unsat cost LB: 74928 ... c Min unsat cost LB: 74929 ... c Min unsat cost LB: 74930 ... c Min unsat cost LB: 74931 ... c Min unsat cost LB: 74932 ... c Min unsat cost LB: 74933 ... c Min unsat cost LB: 74934 ... c Min unsat cost LB: 74935 ... c Min unsat cost LB: 74936 ... c Min unsat cost LB: 74937 ... c Min unsat cost LB: 74938 ... c Min unsat cost LB: 74939 ... c Min unsat cost LB: 74940 ... c Min unsat cost LB: 74945 ... c Min unsat cost LB: 74946 ... c Min unsat cost LB: 74948 ... c Min unsat cost LB: 74951 ... c Min unsat cost LB: 74952 ... c Min unsat cost LB: 74953 ... c Min unsat cost LB: 74954 ... c Min unsat cost LB: 74955 ... c Min unsat cost LB: 74956 ... c Min unsat cost LB: 74957 ... c Min unsat cost LB: 74958 ... c Min unsat cost LB: 74959 ... c Min unsat cost LB: 74960 ... c Min unsat cost LB: 74961 ... c Min unsat cost LB: 74964 ... c Min unsat cost LB: 74966 ... c Min unsat cost LB: 74968 ... c Min unsat cost LB: 74979 ... c Min unsat cost LB: 74980 ... c Min unsat cost LB: 74983 ... c Min unsat cost LB: 74993 ... c Min unsat cost LB: 74994 ... c Min unsat cost LB: 75000 ... c Min unsat cost LB: 75001 ... c Min unsat cost LB: 75002 ... c Min unsat cost LB: 75003 ... c Min unsat cost LB: 75004 ... c Min unsat cost LB: 75005 ... c Min unsat cost LB: 75011 ... c Min unsat cost LB: 75012 ... c Min unsat cost LB: 75013 ... c Min unsat cost LB: 75014 ... c Min unsat cost LB: 75016 ... c Min unsat cost LB: 75018 ... c Min unsat cost LB: 75019 ... c Min unsat cost LB: 75020 ... c Min unsat cost LB: 75025 ... c Min unsat cost LB: 75028 ... c Min unsat cost LB: 75029 ... c Min unsat cost LB: 75030 ... c Min unsat cost LB: 75031 ... c Min unsat cost LB: 75032 ... c Min unsat cKilled 1809.795u 9.945s 30:19.69 100.0% 0+0k 0+0io 0pf+0w