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_160_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0000.txt.wcnf *** c c Min unsat cost LB: 906 ... c Min unsat cost LB: 1739 ... c Min unsat cost LB: 2147 ... c Min unsat cost LB: 2890 ... c Min unsat cost LB: 4123 ... c Min unsat cost LB: 4866 ... c Min unsat cost LB: 5699 ... c Min unsat cost LB: 6107 ... c Min unsat cost LB: 6180 ... c Min unsat cost LB: 6515 ... c Min unsat cost LB: 6970 ... c Min unsat cost LB: 7287 ... c Min unsat cost LB: 7561 ... c Min unsat cost LB: 8304 ... c Min unsat cost LB: 8500 ... c Min unsat cost LB: 8817 ... c Min unsat cost LB: 9476 ... c Min unsat cost LB: 10382 ... c Min unsat cost LB: 10516 ... c Min unsat cost LB: 10989 ... c Min unsat cost LB: 11751 ... c Min unsat cost LB: 11966 ... c Min unsat cost LB: 12674 ... c Min unsat cost LB: 13333 ... c Min unsat cost LB: 13436 ... c Min unsat cost LB: 14041 ... c Min unsat cost LB: 14315 ... c Min unsat cost LB: 15077 ... c Min unsat cost LB: 15867 ... c Min unsat cost LB: 15972 ... c Min unsat cost LB: 16610 ... c Min unsat cost LB: 16940 ... c Min unsat cost LB: 17619 ... c Min unsat cost LB: 17910 ... c Min unsat cost LB: 18816 ... c Min unsat cost LB: 19249 ... c Min unsat cost LB: 19389 ... c Min unsat cost LB: 20097 ... c Min unsat cost LB: 20118 ... c Min unsat cost LB: 20626 ... c Min unsat cost LB: 20646 ... c Min unsat cost LB: 20854 ... c Min unsat cost LB: 21807 ... c Min unsat cost LB: 21873 ... c Min unsat cost LB: 22411 ... c Min unsat cost LB: 22990 ... c Min unsat cost LB: 23205 ... c Min unsat cost LB: 24171 ... c Min unsat cost LB: 25077 ... c Min unsat cost LB: 25333 ... c Min unsat cost LB: 25989 ... c Min unsat cost LB: 26788 ... c Min unsat cost LB: 27496 ... c Min unsat cost LB: 27720 ... c Min unsat cost LB: 28034 ... c Min unsat cost LB: 29000 ... c Min unsat cost LB: 29468 ... c Min unsat cost LB: 29727 ... c Min unsat cost LB: 30060 ... c Min unsat cost LB: 30071 ... c Min unsat cost LB: 30528 ... c Min unsat cost LB: 31290 ... c Min unsat cost LB: 31999 ... c Min unsat cost LB: 32399 ... c Min unsat cost LB: 32419 ... c Min unsat cost LB: 33128 ... c Min unsat cost LB: 33233 ... c Min unsat cost LB: 33418 ... c Min unsat cost LB: 34036 ... c Min unsat cost LB: 34244 ... c Min unsat cost LB: 34497 ... c Min unsat cost LB: 34930 ... c Min unsat cost LB: 34953 ... c Min unsat cost LB: 35125 ... c Min unsat cost LB: 35357 ... c Min unsat cost LB: 36048 ... c Min unsat cost LB: 36277 ... c Min unsat cost LB: 36905 ... c Min unsat cost LB: 37829 ... c Min unsat cost LB: 37983 ... c Min unsat cost LB: 38064 ... c Min unsat cost LB: 38643 ... c Min unsat cost LB: 38927 ... c Min unsat cost LB: 38984 ... c Min unsat cost LB: 39557 ... c Min unsat cost LB: 39941 ... c Min unsat cost LB: 40993 ... c Min unsat cost LB: 41247 ... c Min unsat cost LB: 42110 ... c Min unsat cost LB: 42682 ... c Min unsat cost LB: 42718 ... c Min unsat cost LB: 42775 ... c Min unsat cost LB: 43335 ... c Min unsat cost LB: 43395 ... c Min unsat cost LB: 43876 ... c Min unsat cost LB: 44090 ... c Min unsat cost LB: 44663 ... c Min unsat cost LB: 44877 ... c Min unsat cost LB: 45013 ... c Min unsat cost LB: 45980 ... c Min unsat cost LB: 46383 ... c Min unsat cost LB: 47182 ... c Min unsat cost LB: 47724 ... c Min unsat cost LB: 48347 ... c Min unsat cost LB: 48384 ... c Min unsat cost LB: 48895 ... c Min unsat cost LB: 48986 ... c Min unsat cost LB: 49298 ... c Min unsat cost LB: 49720 ... c Min unsat cost LB: 50772 ... c Min unsat cost LB: 50953 ... c Min unsat cost LB: 51087 ... c Min unsat cost LB: 51638 ... c Min unsat cost LB: 51662 ... c Min unsat cost LB: 51752 ... c Min unsat cost LB: 52066 ... c Min unsat cost LB: 52572 ... c Min unsat cost LB: 52658 ... c Min unsat cost LB: 52837 ... c Min unsat cost LB: 52894 ... c Min unsat cost LB: 52955 ... c Min unsat cost LB: 53046 ... c Min unsat cost LB: 53294 ... c Min unsat cost LB: 53351 ... c Min unsat cost LB: 53505 ... c Min unsat cost LB: 53819 ... c Min unsat cost LB: 53839 ... c Min unsat cost LB: 53860 ... c Min unsat cost LB: 54041 ... c Min unsat cost LB: 55062 ... c Min unsat cost LB: 55093 ... c Min unsat cost LB: 55405 ... c Min unsat cost LB: 55640 ... c Min unsat cost LB: 56692 ... c Min unsat cost LB: 57205 ... c Min unsat cost LB: 57258 ... c Min unsat cost LB: 57467 ... c Min unsat cost LB: 57818 ... c Min unsat cost LB: 58237 ... c Min unsat cost LB: 58274 ... c Min unsat cost LB: 59172 ... c Min unsat cost LB: 59327 ... c Min unsat cost LB: 59463 ... c Min unsat cost LB: 59494 ... c Min unsat cost LB: 59597 ... c Min unsat cost LB: 59675 ... c Min unsat cost LB: 59778 ... c Min unsat cost LB: 59853 ... c Min unsat cost LB: 59893 ... c Min unsat cost LB: 60210 ... c Min unsat cost LB: 60296 ... c Min unsat cost LB: 60312 ... c Min unsat cost LB: 60343 ... c Min unsat cost LB: 60403 ... c Min unsat cost LB: 60446 ... c Min unsat cost LB: 60545 ... c Min unsat cost LB: 61047 ... c Min unsat cost LB: 61348 ... c Min unsat cost LB: 61377 ... c Min unsat cost LB: 61443 ... c Min unsat cost LB: 61468 ... c Min unsat cost LB: 61575 ... c Min unsat cost LB: 61664 ... c Min unsat cost LB: 61861 ... c Min unsat cost LB: 62031 ... c Min unsat cost LB: 62071 ... c Min unsat cost LB: 62108 ... c Min unsat cost LB: 62149 ... c Min unsat cost LB: 62243 ... c Min unsat cost LB: 62279 ... c Min unsat cost LB: 62345 ... c Min unsat cost LB: 62375 ... c Min unsat cost LB: 62414 ... c Min unsat cost LB: 62514 ... c Min unsat cost LB: 62574 ... c Min unsat cost LB: 62788 ... c Min unsat cost LB: 62810 ... c Min unsat cost LB: 62964 ... c Min unsat cost LB: 63132 ... c Min unsat cost LB: 63172 ... c Min unsat cost LB: 63200 ... c Min unsat cost LB: 63280 ... c Min unsat cost LB: 63327 ... c Min unsat cost LB: 63328 ... c Min unsat cost LB: 63354 ... c Min unsat cost LB: 63830 ... c Min unsat cost LB: 63873 ... c Min unsat cost LB: 63882 ... c Min unsat cost LB: 63906 ... c Min unsat cost LB: 63930 ... c Min unsat cost LB: 63964 ... c Min unsat cost LB: 64034 ... c Min unsat cost LB: 64049 ... c Min unsat cost LB: 64062 ... c Min unsat cost LB: 64098 ... c Min unsat cost LB: 64129 ... c Min unsat cost LB: 64196 ... c Min unsat cost LB: 64446 ... c Min unsat cost LB: 64560 ... c Min unsat cost LB: 64598 ... c Min unsat cost LB: 64730 ... c Min unsat cost LB: 64874 ... c Min unsat cost LB: 64912 ... c Min unsat cost LB: 64985 ... c Min unsat cost LB: 65054 ... c Min unsat cost LB: 65148 ... c Min unsat cost LB: 65195 ... c Min unsat cost LB: 65227 ... c Min unsat cost LB: 65496 ... c Min unsat cost LB: 65501 ... c Min unsat cost LB: 65519 ... c Min unsat cost LB: 65586 ... c Min unsat cost LB: 65609 ... c Min unsat cost LB: 65651 ... c Min unsat cost LB: 65676 ... c Min unsat cost LB: 65705 ... c Min unsat cost LB: 65771 ... c Min unsat cost LB: 65772 ... c Min unsat cost LB: 65861 ... c Min unsat cost LB: 66076 ... c Min unsat cost LB: 66291 ... c Min unsat cost LB: 66364 ... c Min unsat cost LB: 66375 ... c Min unsat cost LB: 66495 ... c Min unsat cost LB: 66506 ... c Min unsat cost LB: 66525 ... c Min unsat cost LB: 66591 ... c Min unsat cost LB: 66595 ... c Min unsat cost LB: 66807 ... c Min unsat cost LB: 66839 ... c Min unsat cost LB: 66874 ... c Min unsat cost LB: 66950 ... c Min unsat cost LB: 67014 ... c Min unsat cost LB: 67295 ... c Min unsat cost LB: 67341 ... c Min unsat cost LB: 67388 ... c Min unsat cost LB: 67407 ... c Min unsat cost LB: 67425 ... c Min unsat cost LB: 67453 ... c Min unsat cost LB: 67547 ... c Min unsat cost LB: 67579 ... c Min unsat cost LB: 67657 ... c Min unsat cost LB: 67659 ... c Min unsat cost LB: 67695 ... c Min unsat cost LB: 67715 ... c Min unsat cost LB: 67742 ... c Min unsat cost LB: 67926 ... c Min unsat cost LB: 68150 ... c Min unsat cost LB: 68197 ... c Min unsat cost LB: 68421 ... c Min unsat cost LB: 68443 ... c Min unsat cost LB: 68546 ... c Min unsat cost LB: 68922 ... c Min unsat cost LB: 68958 ... c Min unsat cost LB: 69000 ... c Min unsat cost LB: 69010 ... c Min unsat cost LB: 69098 ... c Min unsat cost LB: 69114 ... c Min unsat cost LB: 69385 ... c Min unsat cost LB: 69430 ... c Min unsat cost LB: 69497 ... c Min unsat cost LB: 69534 ... c Min unsat cost LB: 69614 ... c Min unsat cost LB: 69720 ... c Min unsat cost LB: 69825 ... c Min unsat cost LB: 70040 ... c Min unsat cost LB: 70187 ... c Min unsat cost LB: 70204 ... c Min unsat cost LB: 70225 ... c Min unsat cost LB: 70278 ... c Min unsat cost LB: 70395 ... c Min unsat cost LB: 70465 ... c Min unsat cost LB: 70591 ... c Min unsat cost LB: 70738 ... c Min unsat cost LB: 70765 ... c Min unsat cost LB: 70799 ... c Min unsat cost LB: 70836 ... c Min unsat cost LB: 70846 ... c Min unsat cost LB: 70866 ... c Min unsat cost LB: 71027 ... c Min unsat cost LB: 71084 ... c Min unsat cost LB: 71128 ... c Min unsat cost LB: 71218 ... c Min unsat cost LB: 71250 ... c Min unsat cost LB: 71355 ... c Min unsat cost LB: 71418 ... c Min unsat cost LB: 71572 ... c Min unsat cost LB: 71615 ... c Min unsat cost LB: 71762 ... c Min unsat cost LB: 71767 ... c Min unsat cost LB: 71999 ... c Min unsat cost LB: 72156 ... c Min unsat cost LB: 72199 ... c Min unsat cost LB: 72280 ... c Min unsat cost LB: 72289 ... c Min unsat cost LB: 72297 ... c Min unsat cost LB: 72310 ... c Min unsat cost LB: 72334 ... c Min unsat cost LB: 72388 ... c Min unsat cost LB: 72435 ... c Min unsat cost LB: 72475 ... c Min unsat cost LB: 72567 ... c Min unsat cost LB: 72580 ... c Min unsat cost LB: 72654 ... c Min unsat cost LB: 72661 ... c Min unsat cost LB: 72727 ... c Min unsat cost LB: 72755 ... c Min unsat cost LB: 72791 ... c Min unsat cost LB: 72805 ... c Min unsat cost LB: 72822 ... c Min unsat cost LB: 72830 ... c Min unsat cost LB: 72867 ... c Min unsat cost LB: 72896 ... c Min unsat cost LB: 72911 ... c Min unsat cost LB: 72937 ... c Min unsat cost LB: 72939 ... c Min unsat cost LB: 72956 ... c Min unsat cost LB: 72961 ... c Min unsat cost LB: 72984 ... c Min unsat cost LB: 72985 ... c Min unsat cost LB: 72990 ... c Min unsat cost LB: 72994 ... c Min unsat cost LB: 73028 ... c Min unsat cost LB: 73074 ... c Min unsat cost LB: 73109 ... c Min unsat cost LB: 73143 ... c Min unsat cost LB: 73154 ... c Min unsat cost LB: 73251 ... c Min unsat cost LB: 73266 ... c Min unsat cost LB: 73288 ... c Min unsat cost LB: 73291 ... c Min unsat cost LB: 73292 ... c Min unsat cost LB: 73297 ... c Min unsat cost LB: 73328 ... c Min unsat cost LB: 73457 ... c Min unsat cost LB: 73474 ... c Min unsat cost LB: 73490 ... c Min unsat cost LB: 73495 ... c Min unsat cost LB: 73496 ... c Min unsat cost LB: 73501 ... c Min unsat cost LB: 73505 ... c Min unsat cost LB: 73513 ... c Min unsat cost LB: 73542 ... c Min unsat cost LB: 73569 ... c Min unsat cost LB: 73590 ... c Min unsat cost LB: 73639 ... c Min unsat cost LB: 73650 ... c Min unsat cost LB: 73688 ... c Min unsat cost LB: 73710 ... c Min unsat cost LB: 73722 ... c Min unsat cost LB: 73756 ... c Min unsat cost LB: 73780 ... c Min unsat cost LB: 73866 ... c Min unsat cost LB: 73894 ... c Min unsat cost LB: 74087 ... c Min unsat cost LB: 74092 ... c Min unsat cost LB: 74102 ... c Min unsat cost LB: 74127 ... c Min unsat cost LB: 74132 ... c Min unsat cost LB: 74137 ... c Min unsat cost LB: 74155 ... c Min unsat cost LB: 74157 ... c Min unsat cost LB: 74158 ... c Min unsat cost LB: 74183 ... c Min unsat cost LB: 74184 ... c Min unsat cost LB: 74231 ... c Min unsat cost LB: 74242 ... c Min unsat cost LB: 74249 ... c Min unsat cost LB: 74250 ... c Min unsat cost LB: 74258 ... c Min unsat cost LB: 74278 ... c Min unsat cost LB: 74280 ... c Min unsat cost LB: 74285 ... c Min unsat cost LB: 74319 ... c Min unsat cost LB: 74328 ... c Min unsat cost LB: 74334 ... c Min unsat cost LB: 74356 ... c Min unsat cost LB: 74454 ... c Min unsat cost LB: 74459 ... c Min unsat cost LB: 74488 ... c Min unsat cost LB: 74496 ... c Min unsat cost LB: 74516 ... c Min unsat cost LB: 74524 ... c Min unsat cost LB: 74534 ... c Min unsat cost LB: 74579 ... c Min unsat cost LB: 74581 ... c Min unsat cost LB: 74583 ... c Min unsat cost LB: 74586 ... c Min unsat cost LB: 74589 ... c Min unsat cost LB: 74590 ... c Min unsat cost LB: 74593 ... c Min unsat cost LB: 74594 ... c Min unsat cost LB: 74595 ... c Min unsat cost LB: 74600 ... c Min unsat cost LB: 74602 ... c Min unsat cost LB: 74603 ... c Min unsat cost LB: 74604 ... c Min unsat cost LB: 74609 ... c Min unsat cost LB: 74611 ... c Min unsat cost LB: 74614 ... c Min unsat cost LB: 74616 ... c Min unsat cost LB: 74617 ... c Min unsat cost LB: 74618 ... c Min unsat cost LB: 74620 ... c Min unsat cost LB: 74624 ... c Min unsat cost LB: 74649 ... c Min unsat cost LB: 74653 ... c Min unsat cost LB: 74654 ... c Min unsat cost LB: 74657 ... c Min unsat cost LB: 74659 ... c Min unsat cost LB: 74661 ... c Min unsat cost LB: 74663 ... c Min unsat cost LB: 74665 ... c Min unsat cost LB: 74668 ... c Min unsat cost LB: 74669 ... c Min unsat cost LB: 74673 ... c Min unsat cost LB: 74678 ... c Min unsat cost LB: 74679 ... c Min unsat cost LB: 74681 ... c Min unsat cost LB: 74684 ... c Min unsat cost LB: 74688 ... c Min unsat cost LB: 74690 ... c Min unsat cost LB: 74691 ... c Min unsat cost LB: 74694 ... c Min unsat cost LB: 74697 ... c Min unsat cost LB: 74698 ... c Min unsat cost LB: 74702 ... c Min unsat cost LB: 74704 ... c Min unsat cost LB: 74705 ... c Min unsat cost LB: 74708 ... c Min unsat cost LB: 74709 ... c Min unsat cost LB: 74714 ... c Min unsat cost LB: 74718 ... c Min unsat cost LB: 74724 ... c Min unsat cost LB: 74726 ... c Min unsat cost LB: 74743 ... c Min unsat cost LB: 74746 ... c Min unsat cost LB: 74752 ... c Min unsat cost LB: 74758 ... c Min unsat cost LB: 74769 ... c Min unsat cost LB: 74771 ... c Min unsat cost LB: 74777 ... c Min unsat cost LB: 74794 ... c Min unsat cost LB: 74796 ... c Min unsat cost LB: 74802 ... c Min unsat cost LB: 74804 ... c Min unsat cost LB: 74826 ... c Min unsat cost LB: 74828 ... c Min unsat cost LB: 74856 ... c Min unsat cost LB: 74879 ... c Min unsat cost LB: 74880 ... c Min unsat cost LB: 74882 ... c Min unsat cost LB: 74884 ... c Min unsat cost LB: 74886 ... c Min unsat cost LB: 74890 ... c Min unsat cost LB: 74897 ... c Min unsat cost LB: 74919 ... c Min unsat cost LB: 74920 ... c Min unsat cost LB: 74922 ... c Min unsat cost LB: 74930 ... c Min unsat cost LB: 74973 ... c Min unsat cost LB: 74974 ... c Min unsat cost LB: 74977 ... c Min unsat cost LB: 74996 ... c Min unsat cost LB: 74997 ... c Min unsat cost LB: 74999 ... c Min unsat cost LB: 75049 ... c Min unsat cost LB: 75053 ... c Min unsat cost LB: 75062 ... c Min unsat cost LB: 75063 ... c Min unsat cost LB: 75065 ... c Min unsat cost LB: 75084 ... c Min unsat cost LB: 75086 ... c Min unsat cost LB: 75088 ... c Min unsat cost LB: 75191 ... c Min unsat cost LB: 75254 ... c Min unsat cost LB: 75255 ... c Min unsat cost LB: 75263 ... c Min unsat cost LB: 75271 ... c Min unsat cost LB: 75282 ... c Min unsat cost LB: 75287 ... c Min unsat cost LB: 75302 ... c Min unsat cost LB: 75314 ... c Min unsat cost LB: 75316 ... c Min unsat cost LB: 75318 ... c Min unsat cost LB: 75323 ... c Min unsat cost LB: 75400 ... c Min unsat cost LB: 75404 ... c Min unsat cost LB: 75409 ... c Min unsat cost LB: 75428 ... c Min unsat cost LB: 75432 ... c Min unsat cost LB: 75436 ... c Min unsat cost LB: 75438 ... c Min unsat cost LB: 75447 ... c Min unsat cost LB: 75460 ... c Min unsat cost LB: 75461 ... c Min unsat cost LB: 75466 ... c Min unsat cost LB: 75482 ... c Min unsat cost LB: 75486 ... c Min unsat cost LB: 75487 ... c Min unsat cost LB: 75491 ... c Min unsat cost LB: 75494 ... c Min unsat cost LB: 75495 ... c Min unsat cost LB: 75500 ... c Min unsat cost LB: 75505 ... c Min unsat cost LB: 75507 ... c Min unsat cost LB: 75513 ... c Min unsat cost LB: 75524 ... c Min unsat cost LB: 75526 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75579 ... c Min unsat cost LB: 75586 ... c Min unsat cost LB: 75589 ... c Min unsat cost LB: 75597 ... c Min unsat cost LB: 75611 ... c Min unsat cost LB: 75619 ... c Min unsat cost LB: 75621 ... c Min unsat cost LB: 75638 ... c Min unsat cost LB: 75640 ... c Min unsat cost LB: 75680 ... c Min unsat cost LB: 75687 ... c Min unsat cost LB: 75721 ... c Min unsat cost LB: 75722 ... c Min unsat cost LB: 75724 ... c Min unsat cost LB: 75730 ... c Min unsat cost LB: 75735 ... c Min unsat cost LB: 75757 ... c Min unsat cost LB: 75762 ... c Min unsat cost LB: 75766 ... c Min unsat cost LB: 75769 ... c Min unsat cost LB: 75770 ... c Min unsat cost LB: 75771 ... c Min unsat cost LB: 75772 ... c Min unsat cost LB: 75774 ... c Min unsat cost LB: 75779 ... c Min unsat cost LB: 75780 ... c Min unsat cost LB: 75785 ... c Min unsat cost LB: 75806 ... c Min unsat cost LB: 75818 ... c Min unsat cost LB: 75826 ... c Min unsat cost LB: 75839 ... c Min unsat cost LB: 75887 ... c Min unsat cost LB: 75889 ... c Min unsat cost LB: 75923 ... c Min unsat cost LB: 75952 ... c Min unsat cost LB: 75968 ... c Min unsat cost LB: 76013 ... c Min unsat cost LB: 76018 ... c Min unsat cost LB: 76044 ... c Min unsat cost LB: 76063 ... c Min unsat cost LB: 76067 ... c Min unsat cost LB: 76078 ... c Min unsat cost LB: 76090 ... c Min unsat cost LB: 76093 ... c Min unsat cost LB: 76094 ... c Min unsat cost LB: 76116 ... c Min unsat cost LB: 76117 ... c Min unsat cost LB: 76157 ... c Min unsat cost LB: 76159 ... c Min unsat cost LB: 76168 ... c Min unsat cost LB: 76170 ... c Min unsat cost LB: 76171 ... c Min unsat cost LB: 76172 ... c Min unsat cost LB: 76173 ... c Min unsat cost LB: 76174 ... c Min unsat cost LB: 76175 ... c Min unsat cost LB: 76176 ... c Min unsat cost LB: 76180 ... c Min unsat cost LB: 76181 ... c Min unsat cost LB: 76182 ... c Min unsat cost LB: 76184 ... c Min unsat cost LB: 76223 ... c Min unsat cost LB: 76225 ... c Min unsat cost LB: 76231 ... c Min unsat cost LB: 76232 ... c Min unsat cost LB: 76234 ... c Min unsat cost LB: 76237 ... c Min unsat cost LB: 76238 ... c Min unsat cost LB: 76239 ... c Min unsat cost LB: 76240 ... c Min unsat cost LB: 76241 ... c Min unsat cost LB: 76242 ... c Min unsat cost LB: 76243 ... c Min unsat cost LB: 76245 ... c Min unsat cost LB: 76250 ... c Min unsat cost LB: 76252 ... c Min unsat cost LB: 76253 ... c Min unsat cost LB: 76255 ... c Min unsat cost LB: 76257 ... c Min unsat cost LB: 76259 ... c Min unsat cost LB: 76260 ... c Min unsat cost LB: 76262 ... c Min unsat cost LB: 76264 ... c Min unsat cost LB: 76271 ... c Min unsat cost LB: 76273 ... c Min unsat cost LB: 76278 ... c Min unsat cost LB: 76280 ... c Min unsat cost LB: 76281 ... c Min unsat cost LB: 76283 ... c Min unsat cost LB: 76285 ... c Min unsat cost LB: 76286 ... c Min unsat cost LB: 76287 ... c Min unsat cost LB: 76288 ... c Min unsat cost LB: 76289 ... c Min unsat cost LB: 76290 ... c Min unsat cost LB: 76293 ... c Min unsat cost LB: 76295 ... c Min unsat cost LB: 76296 ... c Min unsat cost LB: 76297 ... c Min unsat cost LB: 76298 ... c Min unsat cost LB: 76301 ... c Min unsat cost LB: 76302 ... c Min unsat cost LB: 76303 ... c Min unsat cost LB: 76306 ... c Min unsat cost LB: 76307 ... c Min unsat cost LB: 76308 ... c Min unsat cost LB: 76309 ... c Min unsat cost LB: 76310 ... c Min unsat cost LB: 76313 ... c Min unsat cost LB: 76314 ... c Min unsat cost LB: 76315 ... c Min unsat cost LB: 76316 ... c Min unsat cost LB: 76317 ... c Min unsat cost LB: 76318 ... c Min unsat cost LB: 76319 ... c Min unsat cost LB: 76320 ... c Min unsat cost LB: 76321 ... c Min unsat cost LB: 76322 ... c Min unsat cost LB: 76323 ... c Min unsat cost LB: 76333 ... c Min unsat cost LB: 76335 ... c Min unsat cost LB: 76342 ... c Min unsat cost LB: 76350 ... c Min unsat cost LB: 76363 ... c Min unsat cost LB: 76376 ... c Min unsat cost LB: 76377 ... c Min unsat cost LB: 76379 ... c Min unsat cost LB: 76380 ... c Min unsat cost LB: 76391 ... c Min unsat cost LB: 76393 ... c Min unsat cost LB: 76406 ... c Min unsat cost LB: 76407 ... c Min unsat cost LB: 76408 ... c Min unsat cost LB: 76427 ... c Min unsat cost LB: 76428 ... c Min unsat cost LB: 76429 ... c Min unsat cost LB: 76432 ... c Min unsat cost LB: 76436 ... c Min unsat cost LB: 76443 ... c Min unsat cost LB: 76445 ... c Min unsat cost LB: 76446 ... c Min unsat cost LB: 76447 ... c Min unsat cost LB: 76448 ... c Min unsat cost LB: 76449 ... c Min unsat cost LB: 76450 ... c Min unsat cost LB: 76451 ... c Min unsat cost LB: 76456 ... c Min unsat cost LB: 76457 ... c Min unsat cost LB: 76458 ... c Min unsat cost LB: 76459 ... c Min unsat cost LB: 76460 ... c Min unsat cost LB: 76462 ... c Min unsat cost LB: 76463 ... c Min unsat cost LB: 76464 ... c Min unsat cost LB: 76466 ... c Min unsat cost LB: 76468 ... c Min unsat cost LB: 76469 ... c Min unsat cost LB: 76470 ... c Min unsat cost LB: 76471 ... c Min unsat cost LB: 76474 ... c Min unsat cost LB: 76475 ... c Min unsat cost LB: 76485 ... c Min unsat cost LB: 76494 ... c Min unsat cost LB: 76495 ... c Min unsat cost LB: 76496 ... c Min unsat cost LB: 76498 ... c Min unsat cost LB: 76499 ... c Min unsat cost LB: 76500 ... c Min unsat cost LB: 76501 ... c Min unsat cost LB: 76503 ... c Min unsat cost LB: 76505 ... c Min unsat cost LB: 76506 ... c Min unsat cost LB: 76507 ... c Min unsat cost LB: 76510 ... c Min unsat cost LB: 76511 ... c Min unsat cost LB: 76514 ... c Min unsat cost LB: 76515 ... c Min unsat cost LB: 76516 ... c Min unsat cost LB: 76517 ... c Min unsat cost LB: 76518 ... c Min unsat cost LB: 76519 ... c Min unsat cost LB: 76520 ... c Min unsat cost LB: 76521 ... c Min unsat cost LB: 76522 ... c Min unsat cost LB: 76525 ... c Min unsat cost LB: 76526 ... c Min unsat cost LB: 76527 ... c Min unsat cost LB: 76528 ... c Min unsat cost LB: 76530 ... c Min unsat cost LB: 76531 ... c Min unsat cost LB: 76533 ... c Min unsat cost LB: 76537 ... c Min unsat cost LB: 76539 ... c Min unsat cost LB: 76543 ... c Min unsat cost LB: 76544 ... c Min unsat cost LB: 76545 ... c Min unsat cost LB: 76546 ... c Min unsat cost LB: 76547 ... c Min unsat cost LB: 76548 ... c Min unsat cost LB: 76549 ... c Min unsat cost LB: 76550 ... c Min unsat cost LB: 76557 ... c Min unsat cost LB: 76558 ... c Min unsat cost LB: 76559 ... c Min unsat cost LB: 76560 ... c Min unsat cost LB: 76561 ... c Min unsat cost LB: 76574 ... c Min unsat cost LB: 76576 ... c Min unsat cost LB: 76578 ... c Min unsat cost LB: 76586 ... c Min unsat cost LB: 76589 ... c Min unsat cost LB: 76607 ... c Min unsat cost LB: 76608 ... c Min unsat cost LB: 76609 ... c Min unsat cost LB: 76610 ... c Min unsat cost LB: 76611 ... c Min unsat cost LB: 76612 ... c Min unsat cost LB: 76613 ... c Min unsat cost LB: 76614 ... c Min unsat cost LB: 76615 ... c Min unsat cost LB: 76616 ... c Min unsat cost LB: 76617 ... c Min unsat cost LB: 76618 ... c Min unsat cost LB: 76619 ... c Min unsat cost LB: 76620 ... c Min unsat cost LB: 76621 ... c Min unsat cost LB: 76622 ... c Min unsat cost LB: 76623 ... c Min unsat cost LB: 76624 ... c Min unsat cost LB: 76625 ... c Min unsat cost LB: 76626 ... c Min unsat cost LB: 76627 ... c Min unsat cost LB: 76628 ... c Min unsat cost LB: 76631 ... c Min unsat cost LB: 76632 ... c Min unsat cost LB: 76641 ... c Min unsat cost LB: 76642 ... c Min unsat cost LB: 76644 ... c Min unsat cost LB: 76647 ... c Min unsat cost LB: 76648 ... c Min unsat cost LB: 76649 ... c Min unsat cost LB: 76650 ... c Min unsat cost LB: 76651 ... c Min unsat cost LB: 76652 ... c Min unsat cost LB: 76653 ... c Min unsat cost LB: 76654 ... c Min unsat cost LB: 76655 ... c Min unsat cost LB: 76656 ... c Min unsat cost LB: 76657 ... c Min unsat cost LB: 76658 ... c Min unsat cost LB: 76659 ... c Min unsat cost LB: 76660 ... c Min unsat cost LB: 76661 ... c Min unsat cost LB: 76662 ... c Min unsat cost LB: 76663 ... c Min unsat cost LB: 76664 ... c Min unsat cost LB: 76666 ... c Min unsat cost LB: 76667 ... c Min unsat cost LB: 76668 ... c Min unsat cost LB: 76669 ... c Min unsat cost LB: 76670 ... c Min unsat cost LB: 76684 ... c Min unsat cost LB: 76687 ... c Min unsat cost LB: 76698 ... c Min unsat cost LB: 76700 ... c Min unsat cost LB: 76703 ... c Min unsat cost LB: 76713 ... c Min unsat cost LB: 76715 ... c Min unsat cost LB: 76716 ... c Min unsat cost LB: 76717 ... c Min unsat cost LB: 76718 ... c Min unsat cost LB: 76719 ... c Min unsat cost LB: 76720 ... c Min unsat cost LB: 76721 ... c Min unsat cost LB: 76722 ... c Min unsat cost LB: 76723 ... c Min unsat cost LB: 76724 ... c Min unsat cost LB: 76725 ... c Min unsat cost LB: 76726 ... c Min unsat cost LB: 76727 ... c Min unsat cost LB: 76728 ... c Min unsat cost LB: 76730 ... c Min unsat cost LB: 76732 ... c Min unsat cost LB: 76748 ... c Min unsat cost LB: 76750 ... c Min unsat cost LB: 76752 ... c Min unsat cost LB: 76763 ... c Min unsat cost LB: 76764 ... c Min unsat cost LB: 76765 ... c Min unsat cost LB: 76766 ... c Min unsat cost LB: 76767 ... c Min unsat cost LB: 76771 ... c Min unsat cost LB: 76775 ... c Min unsat cost LB: 76776 ... c Min unsat cost LB: 76779 ... c Min unsat cost LB: 76780 ... c Min unsat cost LB: 76781 ... c Min unsat cost LB: 76782 ... c Min unsat cost LB: 76784 ... c Min unsat cost LB: 76789 ... c Min unsat cost LB: 76810 ... c Min unsat cost LB: 76811 ... c Min unsat cost LB: 76815 ... c Min unsat cost LB: 76816 ... c Min unsat cost LB: 76817 ... c Min unsat cost LB: 76819 ... c Min unsat cost LB: 76837 ... c Min unsat cost LB: 76838 ... c Min unsat cost LB: 76844 ... c Min unsat cost LB: 76845 ... c Min unsat cost LB: 76846 ... c Min unsat cost LB: 76848 ... c Min unsat cost LB: 76849 ... c Min unsat cost LB: 76850 ... c Min unsat cost LB: 76852 ... c Min unsat cost LB: 76855 ... c Min unsat cost LB: 76856 ... c Min unsat cost LB: 76857 ... c Min unsat cost LB: 76862 ... c Min unsat cost LB: 76863 ... c Min unsat cost LB: 76865 ... c Min unsat cost LB: 76866 ... c Min unsat cost LB: 76867 ... c Min unsat cost LB: 76868 ... c Min unsat cost LB: 76869 ... c Min unsat cost LB: 76870 ... c Min unsat cost LB: 76871 ... c Min unsat cost LB: 76872 ... c Min unsat cost LB: 76873 ... c Min unsat cost LB: 76875 ... c Min unsat cost LB: 76880 ... c Min unsat cost LB: 76881 ... c Min unsat cost LB: 76913 ... c Min unsat cost LB: 76915 ... c Min unsat cost LB: 76917 ... c Min unsat cost LB: 76918 ... c Min unsat cost LB: 76919 ... c Min unsat cost LB: 76927 ... c Min unsat cost LB: 76931 ... c Min unsat cost LB: 76939 ... c Min unsat cost LB: 76944 ... c Min unsat cost LB: 76959 ... c Min unsat cost LB: 76960 ... c Min unsat cost LB: 76961 ... c Min unsat cost LB: 76962 ... c Min unsat cost LB: 76963 ... c Min unsat cost LB: 76967 ... c Min unsat cost LB: 76968 ... c Min unsat cost LB: 76969 ... c Min unsat cost LB: 76970 ... c Min unsat cost LB: 76972 ... c Min unsat cost LB: 76973 ... c Min unsat cost LB: 76974 ... c Min unsat cost LB: 76976 ... c Min unsat cost LB: 76977 ... c Min unsat cost LB: 76978 ... c Min unsat cost LB: 76979 ... c Min unsat cost LB: 76980 ... c Min unsat cost LB: 76981 ... c Min unsat cost LB: 76982 ... c Min unsat cost LB: 76983 ... c Min unsat cost LB: 76984 ... c Min unsat cost LB: 76985 ... c Min unsat cost LB: 76986 ... c Min unsat cost LB: 76988 ... c Min unsat cost LB: 76989 ... c Min unsat cost LB: 76990 ... c Min unsat cost LB: 77001 ... 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: 77010 ... c Min unsat cost LB: 77011 ... c Min unsat cost LB: 77012 ... c Min unsat cost LB: 77015 ... c Min unsat cost LB: 77018 ... c Min unsat cost LB: 77019 ... c Min unsat cost LB: 77020 ... c Min unsat cost LB: 77021 ... c Min unsat cost LB: 77023 ... c Min unsat cost LB: 77027 ... c Min unsat cost LB: 77032 ... c Min unsat cost LB: 77033 ... c Min unsat cost LB: 77034 ... c Min unsat cost LB: 77036 ... c Min unsat cost LB: 77037 ... c Min unsat cost LB: 77038 ... c Min unsat cost LB: 77040 ... c Min unsat cost LB: 77041 ... c Min unsat cost LB: 77050 ... c Min unsat cost LB: 77051 ... c Min unsat cost LB: 77052 ... c Min unsat cost LB: 77054 ... 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: 77060 ... c Min unsat cost LB: 77061 ... c Min unsat cost LB: 77062 ... c Min unsat cost LB: 77063 ... c Min unsat cost LB: 77064 ... c Min unsat cost LB: 77065 ... c Min unsat cost LB: 77066 ... c Min unsat cost LB: 77067 ... c Min unsat cost LB: 77068 ... c Min unsat cost LB: 77069 ... c Min unsat cost LB: 77070 ... c Min unsat cost LB: 77071 ... c Min unsat cost LB: 77072 ... c Min unsat cost LB: 77073 ... c Min unsat cost LB: 77074 ... c Min unsat cost LB: 77075 ... c Min unsat cost LB: 77076 ... c Min unsat cost LB: 77079 ... c Min unsat cost LB: 77080 ... c Min unsat cost LB: 77081 ... c Min unsat cost LB: 77082 ... c Min unsat cost LB: 77088 ... c Min unsat cost LB: 77091 ... c Min unsat cost LB: 77094 ... c Min unsat cost LB: 77095 ... c Min unsat cost LB: 77096 ... c Min unsat cost LB: 77099 ... c Min unsat cost LB: 77104 ... c Min unsat cost LB: 77106 ... c Min unsat cost LB: 77115 ... c Min unsat cost LB: 77120 ... c Min unsat cost LB: 77123 ... c Min unsat cost LB: 77125 ... c Min unsat cost LB: 77130 ... c Min unsat cost LB: 77132 ... c Min unsat cost LB: 77134 ... c Min unsat cost LB: 77135 ... c Min unsat cost LB: 77136 ... c Min unsat cost LB: 77137 ... c Min unsat cost LB: 77138 ... c Min unsat cost LB: 77139 ... c Min unsat cost LB: 77140 ... c Min unsat cost LB: 77141 ... c Min unsat cost LB: 77143 ... c Min unsat cost LB: 77145 ... c Min unsat cost LB: 77146 ... c Min unsat cost LB: 77148 ... c Min unsat cost LB: 77149 ... c Min unsat cost LB: 77151 ... c Min unsat cost LB: 77152 ... c Min unsat cost LB: 77154 ... c Min unsat cost LB: 77155 ... c Min unsat cost LB: 77157 ... c Min unsat cost LB: 77158 ... 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: 77165 ... c Min unsat cost LB: 77166 ... c Min unsat cost LB: 77167 ... c Min unsat cost LB: 77168 ... c Min unsat cost LB: 77169 ... c Min unsat cost LB: 77170 ... c Min unsat cost LB: 77171 ... c Min unsat cost LB: 77174 ... c Min unsat cost LB: 77175 ... c Min unsat cost LB: 77176 ... 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: 77189 ... 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: 77201 ... c Min unsat cost LB: 77202 ... c Min unsat cost LB: 77203 ... c Min unsat cost LB: 77204 ... c Min unsat cost LB: 77205 ... c Min unsat cost LB: 77206 ... 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: 77211 ... c Min unsat cost LB: 77212 ... c Min unsat cost LB: 77213 ... c Min unsat cost LB: 77214 ... c Min unsat cost LB: 77215 ... c Min unsat cost LB: 77216 ... c Min unsat cost LB: 77217 ... c Min unsat cost LB: 77218 ... c Min unsat cost LB: 77219 ... c Min unsat cost LB: 77220 ... c Min unsat cost LB: 77221 ... c Min unsat cost LB: 77222 ... c Min unsat cost LB: 77223 ... c Min unsat cost LB: 77242 ... c Min unsat cost LKilled 1816.045u 3.690s 30:22.03 99.8% 0+0k 0+0io 0pf+0w