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_170_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0003.txt.wcnf *** c c Min unsat cost LB: 903 ... c Min unsat cost LB: 1433 ... c Min unsat cost LB: 1618 ... c Min unsat cost LB: 2634 ... c Min unsat cost LB: 3654 ... c Min unsat cost LB: 4405 ... c Min unsat cost LB: 4435 ... c Min unsat cost LB: 4670 ... c Min unsat cost LB: 5625 ... c Min unsat cost LB: 5881 ... c Min unsat cost LB: 6905 ... c Min unsat cost LB: 7808 ... c Min unsat cost LB: 8832 ... c Min unsat cost LB: 9422 ... c Min unsat cost LB: 10442 ... c Min unsat cost LB: 11032 ... c Min unsat cost LB: 11257 ... c Min unsat cost LB: 11556 ... c Min unsat cost LB: 12117 ... c Min unsat cost LB: 12868 ... c Min unsat cost LB: 12976 ... c Min unsat cost LB: 13909 ... c Min unsat cost LB: 14009 ... c Min unsat cost LB: 14352 ... c Min unsat cost LB: 14370 ... c Min unsat cost LB: 14412 ... c Min unsat cost LB: 15124 ... c Min unsat cost LB: 16057 ... c Min unsat cost LB: 16099 ... c Min unsat cost LB: 16342 ... c Min unsat cost LB: 17367 ... c Min unsat cost LB: 17775 ... c Min unsat cost LB: 18444 ... c Min unsat cost LB: 18515 ... c Min unsat cost LB: 19179 ... c Min unsat cost LB: 19279 ... c Min unsat cost LB: 20212 ... c Min unsat cost LB: 20901 ... c Min unsat cost LB: 21145 ... c Min unsat cost LB: 21685 ... c Min unsat cost LB: 22725 ... c Min unsat cost LB: 22981 ... c Min unsat cost LB: 23914 ... c Min unsat cost LB: 24157 ... c Min unsat cost LB: 24572 ... c Min unsat cost LB: 24989 ... c Min unsat cost LB: 25740 ... c Min unsat cost LB: 26035 ... c Min unsat cost LB: 26572 ... c Min unsat cost LB: 26874 ... c Min unsat cost LB: 27706 ... c Min unsat cost LB: 28431 ... c Min unsat cost LB: 29200 ... c Min unsat cost LB: 30249 ... c Min unsat cost LB: 30535 ... c Min unsat cost LB: 30553 ... c Min unsat cost LB: 31316 ... c Min unsat cost LB: 32045 ... c Min unsat cost LB: 32497 ... c Min unsat cost LB: 33151 ... c Min unsat cost LB: 33400 ... c Min unsat cost LB: 33564 ... c Min unsat cost LB: 33771 ... c Min unsat cost LB: 33930 ... c Min unsat cost LB: 34790 ... c Min unsat cost LB: 35830 ... c Min unsat cost LB: 35834 ... c Min unsat cost LB: 36041 ... c Min unsat cost LB: 36161 ... c Min unsat cost LB: 36539 ... c Min unsat cost LB: 36677 ... c Min unsat cost LB: 37559 ... c Min unsat cost LB: 38113 ... c Min unsat cost LB: 38252 ... c Min unsat cost LB: 39084 ... c Min unsat cost LB: 40104 ... c Min unsat cost LB: 40672 ... c Min unsat cost LB: 41692 ... c Min unsat cost LB: 42012 ... c Min unsat cost LB: 42346 ... c Min unsat cost LB: 42563 ... c Min unsat cost LB: 42592 ... c Min unsat cost LB: 43211 ... c Min unsat cost LB: 43298 ... c Min unsat cost LB: 44318 ... c Min unsat cost LB: 44564 ... c Min unsat cost LB: 44855 ... c Min unsat cost LB: 45498 ... c Min unsat cost LB: 45797 ... c Min unsat cost LB: 46518 ... c Min unsat cost LB: 46550 ... c Min unsat cost LB: 47119 ... c Min unsat cost LB: 47656 ... c Min unsat cost LB: 48677 ... c Min unsat cost LB: 48700 ... c Min unsat cost LB: 48806 ... c Min unsat cost LB: 49804 ... c Min unsat cost LB: 50209 ... c Min unsat cost LB: 50230 ... c Min unsat cost LB: 50776 ... c Min unsat cost LB: 51843 ... c Min unsat cost LB: 52415 ... c Min unsat cost LB: 53109 ... c Min unsat cost LB: 53114 ... c Min unsat cost LB: 53161 ... c Min unsat cost LB: 53460 ... c Min unsat cost LB: 53461 ... c Min unsat cost LB: 53792 ... c Min unsat cost LB: 54329 ... c Min unsat cost LB: 54851 ... c Min unsat cost LB: 55625 ... c Min unsat cost LB: 56448 ... c Min unsat cost LB: 56626 ... c Min unsat cost LB: 57266 ... c Min unsat cost LB: 57839 ... c Min unsat cost LB: 58240 ... c Min unsat cost LB: 59280 ... c Min unsat cost LB: 59899 ... c Min unsat cost LB: 60483 ... c Min unsat cost LB: 60809 ... c Min unsat cost LB: 61009 ... c Min unsat cost LB: 61162 ... c Min unsat cost LB: 61268 ... c Min unsat cost LB: 61520 ... c Min unsat cost LB: 61755 ... c Min unsat cost LB: 61827 ... c Min unsat cost LB: 62057 ... c Min unsat cost LB: 62076 ... c Min unsat cost LB: 62094 ... c Min unsat cost LB: 62845 ... c Min unsat cost LB: 63057 ... c Min unsat cost LB: 63129 ... c Min unsat cost LB: 63134 ... c Min unsat cost LB: 63979 ... c Min unsat cost LB: 64184 ... c Min unsat cost LB: 64281 ... c Min unsat cost LB: 64524 ... c Min unsat cost LB: 65051 ... c Min unsat cost LB: 65188 ... c Min unsat cost LB: 65429 ... c Min unsat cost LB: 66208 ... c Min unsat cost LB: 66252 ... c Min unsat cost LB: 66270 ... c Min unsat cost LB: 66435 ... c Min unsat cost LB: 66560 ... c Min unsat cost LB: 66850 ... c Min unsat cost LB: 67084 ... c Min unsat cost LB: 67222 ... c Min unsat cost LB: 67223 ... c Min unsat cost LB: 67298 ... c Min unsat cost LB: 67373 ... c Min unsat cost LB: 67381 ... c Min unsat cost LB: 67771 ... c Min unsat cost LB: 67848 ... c Min unsat cost LB: 68013 ... c Min unsat cost LB: 68029 ... c Min unsat cost LB: 68031 ... c Min unsat cost LB: 68053 ... c Min unsat cost LB: 68238 ... c Min unsat cost LB: 68322 ... c Min unsat cost LB: 68368 ... c Min unsat cost LB: 68377 ... c Min unsat cost LB: 68406 ... c Min unsat cost LB: 68597 ... c Min unsat cost LB: 68612 ... c Min unsat cost LB: 68657 ... c Min unsat cost LB: 68689 ... c Min unsat cost LB: 69368 ... c Min unsat cost LB: 69499 ... c Min unsat cost LB: 69546 ... c Min unsat cost LB: 69692 ... c Min unsat cost LB: 69936 ... c Min unsat cost LB: 69941 ... c Min unsat cost LB: 70087 ... c Min unsat cost LB: 70289 ... c Min unsat cost LB: 70538 ... c Min unsat cost LB: 70956 ... c Min unsat cost LB: 71250 ... c Min unsat cost LB: 71441 ... c Min unsat cost LB: 71473 ... c Min unsat cost LB: 71580 ... c Min unsat cost LB: 72078 ... c Min unsat cost LB: 72083 ... c Min unsat cost LB: 72198 ... c Min unsat cost LB: 72336 ... c Min unsat cost LB: 72738 ... c Min unsat cost LB: 72743 ... c Min unsat cost LB: 72818 ... c Min unsat cost LB: 72819 ... c Min unsat cost LB: 72894 ... c Min unsat cost LB: 72981 ... c Min unsat cost LB: 73094 ... c Min unsat cost LB: 73167 ... c Min unsat cost LB: 73490 ... c Min unsat cost LB: 73494 ... c Min unsat cost LB: 73583 ... c Min unsat cost LB: 73865 ... c Min unsat cost LB: 73897 ... c Min unsat cost LB: 73903 ... c Min unsat cost LB: 73924 ... c Min unsat cost LB: 73955 ... c Min unsat cost LB: 74019 ... c Min unsat cost LB: 74172 ... c Min unsat cost LB: 74200 ... c Min unsat cost LB: 74241 ... c Min unsat cost LB: 74631 ... c Min unsat cost LB: 74659 ... c Min unsat cost LB: 74662 ... c Min unsat cost LB: 74702 ... c Min unsat cost LB: 74729 ... c Min unsat cost LB: 74916 ... c Min unsat cost LB: 74960 ... c Min unsat cost LB: 74996 ... c Min unsat cost LB: 75126 ... c Min unsat cost LB: 75338 ... c Min unsat cost LB: 75716 ... c Min unsat cost LB: 75820 ... c Min unsat cost LB: 75846 ... c Min unsat cost LB: 76048 ... c Min unsat cost LB: 76053 ... c Min unsat cost LB: 76258 ... c Min unsat cost LB: 76697 ... c Min unsat cost LB: 76701 ... c Min unsat cost LB: 76717 ... c Min unsat cost LB: 76821 ... c Min unsat cost LB: 77051 ... c Min unsat cost LB: 77083 ... c Min unsat cost LB: 77111 ... c Min unsat cost LB: 77152 ... c Min unsat cost LB: 77256 ... c Min unsat cost LB: 77275 ... c Min unsat cost LB: 77343 ... c Min unsat cost LB: 77440 ... c Min unsat cost LB: 77484 ... c Min unsat cost LB: 77642 ... c Min unsat cost LB: 77646 ... c Min unsat cost LB: 77652 ... c Min unsat cost LB: 77691 ... c Min unsat cost LB: 77708 ... c Min unsat cost LB: 77720 ... c Min unsat cost LB: 78040 ... c Min unsat cost LB: 78339 ... c Min unsat cost LB: 78399 ... c Min unsat cost LB: 78470 ... c Min unsat cost LB: 78512 ... c Min unsat cost LB: 78530 ... c Min unsat cost LB: 78556 ... c Min unsat cost LB: 78560 ... c Min unsat cost LB: 78668 ... c Min unsat cost LB: 78782 ... c Min unsat cost LB: 78902 ... c Min unsat cost LB: 79149 ... c Min unsat cost LB: 79177 ... c Min unsat cost LB: 79194 ... c Min unsat cost LB: 79223 ... c Min unsat cost LB: 79408 ... c Min unsat cost LB: 79448 ... c Min unsat cost LB: 79548 ... c Min unsat cost LB: 79727 ... c Min unsat cost LB: 79828 ... c Min unsat cost LB: 79945 ... c Min unsat cost LB: 80068 ... c Min unsat cost LB: 80091 ... c Min unsat cost LB: 80138 ... c Min unsat cost LB: 80264 ... c Min unsat cost LB: 80534 ... c Min unsat cost LB: 80611 ... c Min unsat cost LB: 80617 ... c Min unsat cost LB: 80632 ... c Min unsat cost LB: 80663 ... c Min unsat cost LB: 80704 ... c Min unsat cost LB: 80763 ... c Min unsat cost LB: 80768 ... c Min unsat cost LB: 80817 ... c Min unsat cost LB: 80834 ... c Min unsat cost LB: 80876 ... c Min unsat cost LB: 80886 ... c Min unsat cost LB: 80899 ... c Min unsat cost LB: 80986 ... c Min unsat cost LB: 81017 ... c Min unsat cost LB: 81228 ... c Min unsat cost LB: 81488 ... c Min unsat cost LB: 81831 ... c Min unsat cost LB: 81897 ... c Min unsat cost LB: 82106 ... c Min unsat cost LB: 82168 ... c Min unsat cost LB: 82217 ... c Min unsat cost LB: 82245 ... c Min unsat cost LB: 82312 ... c Min unsat cost LB: 82447 ... c Min unsat cost LB: 82515 ... c Min unsat cost LB: 82540 ... c Min unsat cost LB: 82616 ... c Min unsat cost LB: 82660 ... c Min unsat cost LB: 82691 ... c Min unsat cost LB: 82695 ... c Min unsat cost LB: 82744 ... c Min unsat cost LB: 82787 ... c Min unsat cost LB: 82824 ... c Min unsat cost LB: 82842 ... c Min unsat cost LB: 82844 ... c Min unsat cost LB: 82967 ... c Min unsat cost LB: 82999 ... c Min unsat cost LB: 83009 ... c Min unsat cost LB: 83025 ... c Min unsat cost LB: 83083 ... c Min unsat cost LB: 83097 ... c Min unsat cost LB: 83764 ... c Min unsat cost LB: 83773 ... c Min unsat cost LB: 83808 ... c Min unsat cost LB: 83845 ... c Min unsat cost LB: 83880 ... c Min unsat cost LB: 83881 ... c Min unsat cost LB: 83956 ... c Min unsat cost LB: 83977 ... c Min unsat cost LB: 84000 ... c Min unsat cost LB: 84007 ... c Min unsat cost LB: 84119 ... c Min unsat cost LB: 84223 ... c Min unsat cost LB: 84289 ... c Min unsat cost LB: 84290 ... c Min unsat cost LB: 84295 ... c Min unsat cost LB: 84378 ... c Min unsat cost LB: 84386 ... c Min unsat cost LB: 84433 ... c Min unsat cost LB: 84436 ... c Min unsat cost LB: 84450 ... c Min unsat cost LB: 84465 ... c Min unsat cost LB: 84482 ... c Min unsat cost LB: 84485 ... c Min unsat cost LB: 84525 ... c Min unsat cost LB: 84530 ... c Min unsat cost LB: 84548 ... c Min unsat cost LB: 84552 ... c Min unsat cost LB: 84617 ... c Min unsat cost LB: 84664 ... c Min unsat cost LB: 84693 ... c Min unsat cost LB: 84714 ... c Min unsat cost LB: 84745 ... c Min unsat cost LB: 84750 ... c Min unsat cost LB: 84773 ... c Min unsat cost LB: 84791 ... c Min unsat cost LB: 84852 ... c Min unsat cost LB: 84867 ... c Min unsat cost LB: 84876 ... c Min unsat cost LB: 84950 ... c Min unsat cost LB: 84967 ... c Min unsat cost LB: 84981 ... c Min unsat cost LB: 84986 ... c Min unsat cost LB: 85022 ... c Min unsat cost LB: 85023 ... c Min unsat cost LB: 85030 ... c Min unsat cost LB: 85034 ... c Min unsat cost LB: 85109 ... c Min unsat cost LB: 85234 ... c Min unsat cost LB: 85239 ... c Min unsat cost LB: 85244 ... c Min unsat cost LB: 85246 ... c Min unsat cost LB: 85260 ... c Min unsat cost LB: 85265 ... c Min unsat cost LB: 85320 ... c Min unsat cost LB: 85330 ... c Min unsat cost LB: 85364 ... c Min unsat cost LB: 85385 ... c Min unsat cost LB: 85395 ... c Min unsat cost LB: 85414 ... c Min unsat cost LB: 85440 ... c Min unsat cost LB: 85446 ... c Min unsat cost LB: 85456 ... c Min unsat cost LB: 85486 ... c Min unsat cost LB: 85522 ... c Min unsat cost LB: 85562 ... c Min unsat cost LB: 85589 ... c Min unsat cost LB: 85594 ... c Min unsat cost LB: 85679 ... c Min unsat cost LB: 85689 ... c Min unsat cost LB: 85692 ... c Min unsat cost LB: 85697 ... c Min unsat cost LB: 85704 ... c Min unsat cost LB: 85719 ... c Min unsat cost LB: 85736 ... c Min unsat cost LB: 85744 ... c Min unsat cost LB: 85746 ... c Min unsat cost LB: 85772 ... c Min unsat cost LB: 85780 ... c Min unsat cost LB: 85791 ... c Min unsat cost LB: 85796 ... c Min unsat cost LB: 85798 ... c Min unsat cost LB: 85799 ... c Min unsat cost LB: 85802 ... c Min unsat cost LB: 85806 ... c Min unsat cost LB: 85808 ... c Min unsat cost LB: 85810 ... c Min unsat cost LB: 85826 ... c Min unsat cost LB: 85861 ... c Min unsat cost LB: 85876 ... c Min unsat cost LB: 85884 ... c Min unsat cost LB: 85910 ... c Min unsat cost LB: 85919 ... c Min unsat cost LB: 85926 ... c Min unsat cost LB: 85942 ... c Min unsat cost LB: 85944 ... c Min unsat cost LB: 85969 ... c Min unsat cost LB: 85975 ... c Min unsat cost LB: 85978 ... c Min unsat cost LB: 86001 ... c Min unsat cost LB: 86009 ... c Min unsat cost LB: 86012 ... c Min unsat cost LB: 86015 ... c Min unsat cost LB: 86017 ... c Min unsat cost LB: 86019 ... c Min unsat cost LB: 86020 ... c Min unsat cost LB: 86023 ... c Min unsat cost LB: 86027 ... c Min unsat cost LB: 86030 ... c Min unsat cost LB: 86032 ... c Min unsat cost LB: 86041 ... c Min unsat cost LB: 86062 ... c Min unsat cost LB: 86067 ... c Min unsat cost LB: 86138 ... c Min unsat cost LB: 86209 ... c Min unsat cost LB: 86251 ... c Min unsat cost LB: 86273 ... c Min unsat cost LB: 86279 ... c Min unsat cost LB: 86280 ... c Min unsat cost LB: 86293 ... c Min unsat cost LB: 86319 ... c Min unsat cost LB: 86323 ... c Min unsat cost LB: 86372 ... c Min unsat cost LB: 86382 ... c Min unsat cost LB: 86394 ... c Min unsat cost LB: 86431 ... c Min unsat cost LB: 86490 ... c Min unsat cost LB: 86492 ... c Min unsat cost LB: 86493 ... c Min unsat cost LB: 86495 ... c Min unsat cost LB: 86502 ... c Min unsat cost LB: 86508 ... c Min unsat cost LB: 86517 ... c Min unsat cost LB: 86519 ... c Min unsat cost LB: 86524 ... c Min unsat cost LB: 86528 ... c Min unsat cost LB: 86533 ... c Min unsat cost LB: 86534 ... c Min unsat cost LB: 86535 ... c Min unsat cost LB: 86536 ... c Min unsat cost LB: 86540 ... c Min unsat cost LB: 86542 ... c Min unsat cost LB: 86543 ... c Min unsat cost LB: 86551 ... c Min unsat cost LB: 86554 ... c Min unsat cost LB: 86556 ... c Min unsat cost LB: 86557 ... c Min unsat cost LB: 86561 ... c Min unsat cost LB: 86564 ... c Min unsat cost LB: 86567 ... c Min unsat cost LB: 86569 ... c Min unsat cost LB: 86575 ... c Min unsat cost LB: 86581 ... c Min unsat cost LB: 86584 ... c Min unsat cost LB: 86585 ... c Min unsat cost LB: 86586 ... c Min unsat cost LB: 86589 ... c Min unsat cost LB: 86592 ... c Min unsat cost LB: 86611 ... c Min unsat cost LB: 86620 ... c Min unsat cost LB: 86625 ... c Min unsat cost LB: 86658 ... c Min unsat cost LB: 86668 ... c Min unsat cost LB: 86677 ... c Min unsat cost LB: 86682 ... c Min unsat cost LB: 86686 ... c Min unsat cost LB: 86690 ... c Min unsat cost LB: 86695 ... c Min unsat cost LB: 86699 ... c Min unsat cost LB: 86700 ... c Min unsat cost LB: 86706 ... c Min unsat cost LB: 86709 ... c Min unsat cost LB: 86714 ... c Min unsat cost LB: 86728 ... c Min unsat cost LB: 86754 ... c Min unsat cost LB: 86783 ... c Min unsat cost LB: 86797 ... c Min unsat cost LB: 86798 ... c Min unsat cost LB: 86801 ... c Min unsat cost LB: 86823 ... c Min unsat cost LB: 86827 ... c Min unsat cost LB: 86845 ... c Min unsat cost LB: 86854 ... c Min unsat cost LB: 86882 ... c Min unsat cost LB: 86885 ... c Min unsat cost LB: 86898 ... c Min unsat cost LB: 86910 ... c Min unsat cost LB: 86914 ... c Min unsat cost LB: 86932 ... c Min unsat cost LB: 86946 ... c Min unsat cost LB: 86950 ... c Min unsat cost LB: 86958 ... c Min unsat cost LB: 86970 ... c Min unsat cost LB: 86975 ... c Min unsat cost LB: 86984 ... c Min unsat cost LB: 86993 ... c Min unsat cost LB: 86997 ... c Min unsat cost LB: 87001 ... c Min unsat cost LB: 87012 ... c Min unsat cost LB: 87013 ... c Min unsat cost LB: 87014 ... c Min unsat cost LB: 87028 ... c Min unsat cost LB: 87063 ... c Min unsat cost LB: 87072 ... c Min unsat cost LB: 87073 ... c Min unsat cost LB: 87120 ... c Min unsat cost LB: 87122 ... c Min unsat cost LB: 87128 ... c Min unsat cost LB: 87151 ... c Min unsat cost LB: 87178 ... c Min unsat cost LB: 87182 ... c Min unsat cost LB: 87197 ... c Min unsat cost LB: 87200 ... c Min unsat cost LB: 87203 ... c Min unsat cost LB: 87215 ... c Min unsat cost LB: 87236 ... c Min unsat cost LB: 87239 ... c Min unsat cost LB: 87243 ... c Min unsat cost LB: 87263 ... c Min unsat cost LB: 87264 ... c Min unsat cost LB: 87277 ... c Min unsat cost LB: 87289 ... c Min unsat cost LB: 87317 ... c Min unsat cost LB: 87336 ... c Min unsat cost LB: 87356 ... c Min unsat cost LB: 87365 ... c Min unsat cost LB: 87374 ... c Min unsat cost LB: 87377 ... c Min unsat cost LB: 87379 ... c Min unsat cost LB: 87383 ... c Min unsat cost LB: 87394 ... c Min unsat cost LB: 87395 ... c Min unsat cost LB: 87400 ... c Min unsat cost LB: 87407 ... c Min unsat cost LB: 87409 ... c Min unsat cost LB: 87410 ... c Min unsat cost LB: 87414 ... c Min unsat cost LB: 87417 ... c Min unsat cost LB: 87419 ... c Min unsat cost LB: 87422 ... c Min unsat cost LB: 87426 ... c Min unsat cost LB: 87428 ... c Min unsat cost LB: 87429 ... c Min unsat cost LB: 87430 ... c Min unsat cost LB: 87433 ... c Min unsat cost LB: 87434 ... c Min unsat cost LB: 87438 ... c Min unsat cost LB: 87447 ... c Min unsat cost LB: 87458 ... c Min unsat cost LB: 87461 ... c Min unsat cost LB: 87464 ... c Min unsat cost LB: 87469 ... c Min unsat cost LB: 87544 ... c Min unsat cost LB: 87550 ... c Min unsat cost LB: 87557 ... c Min unsat cost LB: 87559 ... c Min unsat cost LB: 87561 ... c Min unsat cost LB: 87563 ... c Min unsat cost LB: 87564 ... c Min unsat cost LB: 87579 ... c Min unsat cost LB: 87581 ... c Min unsat cost LB: 87611 ... c Min unsat cost LB: 87612 ... c Min unsat cost LB: 87613 ... c Min unsat cost LB: 87618 ... c Min unsat cost LB: 87622 ... c Min unsat cost LB: 87623 ... c Min unsat cost LB: 87624 ... c Min unsat cost LB: 87625 ... c Min unsat cost LB: 87626 ... c Min unsat cost LB: 87633 ... c Min unsat cost LB: 87641 ... c Min unsat cost LB: 87644 ... c Min unsat cost LB: 87646 ... c Min unsat cost LB: 87647 ... c Min unsat cost LB: 87648 ... c Min unsat cost LB: 87649 ... c Min unsat cost LB: 87650 ... c Min unsat cost LB: 87657 ... c Min unsat cost LB: 87660 ... c Min unsat cost LB: 87664 ... c Min unsat cost LB: 87665 ... c Min unsat cost LB: 87667 ... c Min unsat cost LB: 87669 ... c Min unsat cost LB: 87670 ... c Min unsat cost LB: 87683 ... c Min unsat cost LB: 87685 ... c Min unsat cost LB: 87686 ... c Min unsat cost LB: 87687 ... c Min unsat cost LB: 87688 ... c Min unsat cost LB: 87689 ... c Min unsat cost LB: 87690 ... c Min unsat cost LB: 87692 ... c Min unsat cost LB: 87698 ... c Min unsat cost LB: 87701 ... c Min unsat cost LB: 87707 ... c Min unsat cost LB: 87708 ... c Min unsat cost LB: 87709 ... c Min unsat cost LB: 87710 ... c Min unsat cost LB: 87711 ... c Min unsat cost LB: 87713 ... c Min unsat cost LB: 87736 ... c Min unsat cost LB: 87739 ... c Min unsat cost LB: 87741 ... c Min unsat cost LB: 87742 ... c Min unsat cost LB: 87752 ... c Min unsat cost LB: 87753 ... c Min unsat cost LB: 87754 ... c Min unsat cost LB: 87755 ... c Min unsat cost LB: 87756 ... c Min unsat cost LB: 87757 ... c Min unsat cost LB: 87758 ... c Min unsat cost LB: 87762 ... c Min unsat cost LB: 87765 ... c Min unsat cost LB: 87768 ... c Min unsat cost LB: 87818 ... c Min unsat cost LB: 87820 ... c Min unsat cost LB: 87823 ... c Min unsat cost LB: 87827 ... c Min unsat cost LB: 87833 ... c Min unsat cost LB: 87835 ... c Min unsat cost LB: 87837 ... c Min unsat cost LB: 87843 ... c Min unsat cost LB: 87844 ... c Min unsat cost LB: 87849 ... c Min unsat cost LB: 87853 ... c Min unsat cost LB: 87860 ... c Min unsat cost LB: 87864 ... c Min unsat cost LB: 87866 ... c Min unsat cost LB: 87927 ... c Min unsat cost LB: 87955 ... c Min unsat cost LB: 87956 ... c Min unsat cost LB: 87957 ... c Min unsat cost LB: 87958 ... c Min unsat cost LB: 87973 ... c Min unsat cost LB: 87974 ... c Min unsat cost LB: 87975 ... c Min unsat cost LB: 87976 ... c Min unsat cost LB: 87977 ... c Min unsat cost LB: 87978 ... c Min unsat cost LB: 87979 ... c Min unsat cost LB: 87980 ... c Min unsat cost LB: 87982 ... c Min unsat cost LB: 88003 ... c Min unsat cost LB: 88014 ... c Min unsat cost LB: 88015 ... c Min unsat cost LB: 88018 ... c Min unsat cost LB: 88019 ... c Min unsat cost LB: 88022 ... c Min unsat cost LB: 88024 ... c Min unsat cost LB: 88028 ... c Min unsat cost LB: 88029 ... c Min unsat cost LB: 88030 ... c Min unsat cost LB: 88031 ... c Min unsat cost LB: 88032 ... c Min unsat cost LB: 88037 ... c Min unsat cost LB: 88039 ... c Min unsat cost LB: 88044 ... c Min unsat cost LB: 88045 ... c Min unsat cost LB: 88049 ... c Min unsat cost LB: 88050 ... c Min unsat cost LB: 88051 ... c Min unsat cost LB: 88052 ... c Min unsat cost LB: 88053 ... c Min unsat cost LB: 88055 ... c Min unsat cost LB: 88056 ... c Min unsat cost LB: 88106 ... c Min unsat cost LB: 88107 ... c Min unsat cost LB: 88108 ... c Min unsat cost LB: 88110 ... c Min unsat cost LB: 88116 ... c Min unsat cost LB: 88119 ... c Min unsat cost LB: 88125 ... c Min unsat cost LB: 88129 ... c Min unsat cost LB: 88145 ... c Min unsat cost LB: 88146 ... c Min unsat cost LB: 88147 ... c Min unsat cost LB: 88148 ... c Min unsat cost LB: 88149 ... c Min unsat cost LB: 88150 ... c Min unsat cost LB: 88151 ... c Min unsat cost LB: 88155 ... c Min unsat cost LB: 88158 ... c Min unsat cost LB: 88164 ... c Min unsat cost LB: 88165 ... c Min unsat cost LB: 88166 ... c Min unsat cost LB: 88168 ... c Min unsat cost LB: 88170 ... c Min unsat cost LB: 88172 ... c Min unsat cost LB: 88173 ... c Min unsat cost LB: 88176 ... c Min unsat cost LB: 88177 ... c Min unsat cost LB: 88178 ... c Min unsat cost LB: 88180 ... c Min unsat cost LB: 88187 ... c Min unsat cost LB: 88188 ... c Min unsat cost LB: 88189 ... c Min unsat cost LB: 88190 ... c Min unsat cost LB: 88191 ... c Min unsat cost LB: 88193 ... c Min unsat cost LB: 88194 ... c Min unsat cost LB: 88196 ... c Min unsat cost LB: 88197 ... c Min unsat cost LB: 88198 ... c Min unsat cost LB: 88199 ... c Min unsat cost LB: 88205 ... c Min unsat cost LB: 88206 ... c Min unsat cost LB: 88207 ... c Min unsat cost LB: 88208 ... c Min unsat cost LB: 88209 ... c Min unsat cost LB: 88210 ... c Min unsat cost LB: 88212 ... c Min unsat cost LB: 88213 ... c Min unsat cost LB: 88214 ... c Min unsat cost LB: 88216 ... c Min unsat cost LB: 88217 ... c Min unsat cost LB: 88218 ... c Min unsat cost LB: 88219 ... c Min unsat cost LB: 88220 ... c Min unsat cost LB: 88221 ... c Min unsat cost LB: 88222 ... c Min unsat cost LB: 88223 ... c Min unsat cost LB: 88224 ... c Min unsat cost LB: 88225 ... c Min unsat cost LB: 88227 ... c Min unsat cost LB: 88228 ... c Min unsat cost LB: 88229 ... c Min unsat cost LB: 88230 ... c Min unsat cost LB: 88231 ... c Min unsat cost LB: 88232 ... c Min unsat cost LB: 88233 ... c Min unsat cost LB: 88234 ... c Min unsat cost LB: 88235 ... c Min unsat cost LB: 88237 ... c Min unsat cost LB: 88238 ... c Min unsat cost LB: 88239 ... c Min unsat cost LB: 88240 ... c Min unsat cost LB: 88241 ... c Min unsat cost LB: 88242 ... c Min unsat cost LB: 88243 ... c Min unsat cost LB: 88244 ... c Min unsat cost LB: 88245 ... c Min unsat cost LB: 88246 ... c Min unsat cost LB: 88247 ... c Min unsat cost LB: 88248 ... c Min unsat cost LB: 88249 ... c Min unsat cost LB: 88250 ... c Min unsat cost LB: 88251 ... c Min unsat cost LB: 88252 ... c Min unsat cost LB: 88253 ... c Min unsat cost LB: 88254 ... c Min unsat cost LB: 88255 ... c Min unsat cost LB: 88256 ... c Min unsat cost LB: 88323 ... c Min unsat cost LB: 88324 ... c Min unsat cost LB: 88325 ... c Min unsat cost LB: 88326 ... c Min unsat cost LB: 88327 ... c Min unsat cost LB: 88328 ... c Min unsat cost LB: 88329 ... c Min unsat cost LB: 88334 ... c Min unsat cost LB: 88350 ... c Min unsat cost LB: 88355 ... c Min unsat cost LB: 88385 ... c Min unsat cost LB: 88391 ... c Min unsat cost LB: 88394 ... c Min unsat cost LB: 88549 ... c Min unsat cost LB: 88550 ... c Min unsat cost LB: 88551 ... c Min unsat cost LB: 88554 ... c Min unsat cost LB: 88577 ... c Min unsat cost LB: 88624 ... c Min unsat cost LB: 88638 ... c Min unsat cost LB: 88639 ... c Min unsat cost LB: 88646 ... c Min unsat cost LB: 88651 ... c Min unsat cost LB: 88654 ... c Min unsat cost LB: 88657 ... c Min unsat cost LB: 88660 ... c Min unsat cost LB: 88662 ... c Min unsat cost LB: 88666 ... c Min unsat cost LB: 88682 ... c Min unsat cost LB: 88684 ... c Min unsat cost LB: 88686 ... c Min unsat cost LB: 88687 ... c Min unsat cost LB: 88688 ... c Min unsat cost LB: 88691 ... c Min unsat cost LB: 88692 ... c Min unsat cost LB: 88693 ... c Min unsat cost LB: 88696 ... c Min unsat cost LB: 88773 ... c Min unsat cost LB: 88775 ... c Min unsat cost LB: 88870 ... c Min unsat cost LB: 88872 ... c Min unsat cost LB: 88886 ... c Min unsat cost LB: 88889 ... c Min unsat cost LB: 88890 ... c Min unsat cost LB: 88892 ... c Min unsat cost LB: 88899 ... c Min unsat cost LB: 88900 ... c Min unsat cost LB: 88914 ... c Min unsat cost LB: 88915 ... c Min unsat cost LB: 88918 ... c Min unsat cost LB: 88921 ... c Min unsat cost LB: 88922 ... c Min unsat cost LB: 88923 ... c Min unsat cost LB: 88927 ... c Min unsat cost LB: 88928 ... c Min unsat cost LB: 88935 ... c Min unsat cost LB: 88945 ... c Min unsat cost LB: 88947 ... c Min unsat cost LB: 88948 ... c Min unsat cost LB: 88950 ... c Min unsat cost LB: 88953 ... c Min unsat cost LB: 88954 ... c Min unsat cost LB: 88955 ... c Min unsat cost LB: 88956 ... c Min unsat cost LB: 88957 ... c Min unsat cost LB: 88960 ... c Min unsat cost LB: 88961 ... c Min unsat cost LB: 88962 ... c Min unsat cost LB: 88976 ... c Min unsat cost LB: 88978 ... c Min unsat cost LB: 88979 ... c Min unsat cost LB: 88987 ... c Min unsat cost LB: 88988 ... c Min unsat cost LB: 88989 ... c Min unsat cost LB: 88991 ... c Min unsat cost LB: 89007 ... c Min unsat cost LB: 89008 ... c Min unsat cost LB: 89010 ... c Min unsat cost LB: 89011 ... c Min unsat cost LB: 89020 ... c Min unsat cost LB: 89021 ... c Min unsat cost LB: 89025 ... c Min unsat cost LB: 89026 ... c Min unsat cost LB: 89027 ... c Min unsat cost LB: 89028 ... c Min unsat cost LB: 89031 ... c Min unsat cost LB: 89032 ... c Min unsat cost LB: 89033 ... c Min unsat cost LB: 89034 ... c Min unsat cost LB: 89035 ... c Min unsat cost LB: 89102 ... c Min unsat cost LB: 89108 ... c Min unsat cost LB: 89110 ... c Min unsat cost LB: 89112 ... c Min unsat cost LB: 89180 ... c Min unsat cost LB: 89182 ... c Min unsat cost LB: 89183 ... c Min unsat cost LB: 89186 ... c Min unsat cost LB: 89187 ... c Min unsat cost LB: 89188 ... c Min unsat cost LB: 89189 ... c Min unsat cost LB: 89192 ... c Min unsat cost LB: 89193 ... c Min unsat cost LB: 89194 ... c Min unsat cost LB: 89195 ... c Min unsat cost LB: 89196 ... c Min unsat cost LB: 89211 ... c Min unsat cost LB: 89214 ... c Min unsat cost LB: 89217 ... c Min unsat cost LB: 89218 ... c Min unsat cost LB: 89219 ... c Min unsat cost LB: 89220 ... c Min unsat cost LB: 89221 ... c Min unsat cost LB: 89222 ... c Min unsat cost LB: 89228 ... c Min unsat cost LB: 89229 ... c Min unsat cost LB: 89230 ... c Min unsat cost LB: 89231 ... c Min unsat cost LB: 89232 ... c Min unsat cost LB: 89233 ... c Min unsat cost LB: 89237 ... c Min unsat cost LB: 89245 ... c Min unsat cost LB: 89246 ... c Min unsat cost LB: 89247 ... c Min unsat cost LB: 89249 ... c Min unsat cost LB: 89250 ... c Min unsat cost LB: 89251 ... c Min unsat cost LB: 89252 ... c Min unsat cost LB: 89253 ... c Min unsat cost LB: 89254 ... c Min unsat cost LB: 89255 ... c Min unsat cost LB: 89256 ... c Min unsat cost LB: 89257 ... c Min unsat cost LB: 89258 ... c Min unsat cost LB: 89259 ... c Min unsat cost LB: 89260 ... c Min unsat cost LB: 89263 ... c Min unsat cost LB: 89264 ... c Min unsat cost LB: 89266 ... c Min unsat cost LB: 89269 ... c Min unsat cost LB: 89270 ... c Min unsat cost LB: 89271 ... c Min unsat cost LB: 89325 ... c Min unsat cost LB: 89326 ... c Min unsat cost LB: 89327 ... c Min unsat cost LB: 89328 ... c Min unsat cost LB: 89329 ... c Min unsat cost LB: 89333 ... c Min unsat cost LB: 89334 ... c Min unsat cost LB: 89335 ... c Min unsat cost LB: 89336 ... c Min unsat cost LB: 89337 ... c Min unsat cost LB: 89338 ... c Min unsat cost LB: 89339 ... c Min unsat cost LB: 89340 ... c Min unsat cost LB: 89341 ... c Min unsat cost LB: 89342 ... c Min unsat cost LB: 89343 ... c Min unsat cost LB: 89344 ... c Min unsat cost LB: 89348 ... c Min unsat cost LB: 89349 ... c Min unsat cost LB: 89350 ... c Min unsat cost LB: 89351 ... c Min unsat cost LB: 89352 ... c Min unsat cost LB: 89353 ... c Min unsat cost LB: 89354 ... c Min unsat cost LB: 89355 ... c Min unsat cost LB: 89356 ... c Min unsat cost LB: 89357 ... c Min unsat cost LB: 89358 ... c Min unsat cost LB: 89359 ... c Min unsat cost LB: 89387 ... c Min unsat cost LB: 89388 ... c Min unsat cost LB: 89390 ... c Min unsat cost LB: 89391 ... c Min unsat cost LB: 89392 ... c Min unsat cost LB: 89393 ... c Min unsat cost LB: 89397 ... c Min unsat cost LB: 89398 ... c Min unsat cost LB: 89399 ... c Min unsat cost LB: 89400 ... c Min unsat cost LB: 89401 ... c Min unsat cost LB: 89403 ... c Min unsat cost LB: 89404 ... c Min unsat cost LB: 89405 ... c Min unsat cost LB: 89406 ... c Min unsat cost LB: 89407 ... c Min unsat cost LB: 89408 ... c Min unsat cost LB: 89409 ... c Min unsat cost LB: 89410 ... c Min unsat cost LB: 89411 ... c Min unsat cost LB: 89412 ... c Min unsat cost LB: 89416 ... c Min unsat cost LB: 89417 ... c Min unsat cost LB: 89418 ... c Min unsat cost LB: 89419 ... c Min unsat cost LB: 89420 ... c Min unsat cost LB: 89421 ... c Min unsat cost LB: 89425 ... c Min unsat cost LB: 89428 ... c Min unsat cost LB: 89430 ... c Min unsat cost LB: 89441 ... c Min unsat cost LB: 89444 ... c Min unsat cost LB: 89448 ... c Min unsat cost LB: 89454 ... c Min unsat cost LB: 89503 ... c Min unsat cost LB: 89507 ... c Min unsat cost LB: 89508 ... c Min unsat cost LB: 89509 ... c Min unsat cost LB: 89510 ... c Min unsat cost LB: 89514 ... c Min unsat cost LB: 89515 ... c Min unsat cost LB: 89516 ... c Min unsat cost LB: 89517 ... c Min unsat cost LB: 89519 ... c Min unsat cost LB: 89521 ... c Min unsat cost LB: 89530 ... c Min unsat cost LB: 89533 ... c Min unsat cost LB: 89534 ... c Min unsat cost LB: 89535 ... c Min unsat cost LB: 89536 ... c Min unsat cost LB: 89537 ... c Min unsat cost LB: 89538 ... c Min unsat cost LB: 89539 ... c Min unsat cost LB: 89540 ... c Min unsat cost LB: 89547 ... c Min unsat cost LB: 89548 ... c Min unsat cost LB: 89549 ... c Min unsat cost LB: 89552 ... c Min unsat cost LB: 89565 ... c Min unsat cost LB: 89567 ... c Min unsat cost LB: 89573 ... c Min unsat cost LB: 89577 ... c Min unsat cost LB: 89579 ... c Min unsat cost LB: 89580 ... c Min unsat cost LB: 89583 ... c Min unsat cost LB: 89585 ... c Min unsat cost LB: 89587 ... c Min unsat cost LB: 89588 ... c Min unsat cost LB: 89589 ... c Min unsat cost LB: 89594 ... c Min unsat cost LB: 89608 ... c Min unsat cost LB: 89612 ... c Min unsat cost LB: 89613 ... c Min unsat cost LB: 89614 ... c Min unsat cost LB: 89615 ... c Min unsat cost LB: 89616 ... c Min unsat cost LB: 89617 ... c Min unsat cost LB: 89618 ... c Min unsat cost LB: 89619 ... c Min unsat cost LB: 89620 ... c Min unsat cost LB: 89621 ... c Min unsat cost LB: 89622 ... c Min unsat cost LB: 89623 ... c Min unsat cost LB: 89624 ... c Min unsat cost LB: 89625 ... c Min unsat cost LB: 89626 ... c Min unsat cost LB: 89627 ... c Min unsat cost LB: 89628 ... c Min unsat cost LB: 89629 ... c Min unsat cost LB: 89630 ... c Min unsat cost LB: 89631 ... c Min unsat cost LB: 89632 ... c Min unsat cost LB: 89633 ... c Min unsat cost LB: 89635 ... c Min unsat cosKilled 1812.936u 6.804s 55:05.79 55.0% 0+0k 0+0io 0pf+0w