Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_120_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0004.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0004.txt.wcnf *** c c Min unsat cost LB: 686 ... c Min unsat cost LB: 1372 ... c Min unsat cost LB: 2058 ... c Min unsat cost LB: 2744 ... c Min unsat cost LB: 3430 ... c Min unsat cost LB: 4116 ... c Min unsat cost LB: 4802 ... c Min unsat cost LB: 5488 ... c Min unsat cost LB: 6174 ... c Min unsat cost LB: 6382 ... c Min unsat cost LB: 6860 ... c Min unsat cost LB: 7068 ... c Min unsat cost LB: 7754 ... c Min unsat cost LB: 8394 ... c Min unsat cost LB: 8440 ... c Min unsat cost LB: 9126 ... c Min unsat cost LB: 9812 ... c Min unsat cost LB: 10452 ... c Min unsat cost LB: 11138 ... c Min unsat cost LB: 11184 ... c Min unsat cost LB: 11870 ... c Min unsat cost LB: 12556 ... c Min unsat cost LB: 13189 ... c Min unsat cost LB: 13875 ... c Min unsat cost LB: 14508 ... c Min unsat cost LB: 15141 ... c Min unsat cost LB: 15827 ... c Min unsat cost LB: 16460 ... c Min unsat cost LB: 17093 ... c Min unsat cost LB: 17726 ... c Min unsat cost LB: 18359 ... c Min unsat cost LB: 18412 ... c Min unsat cost LB: 18992 ... c Min unsat cost LB: 19045 ... c Min unsat cost LB: 19678 ... c Min unsat cost LB: 20311 ... c Min unsat cost LB: 20783 ... c Min unsat cost LB: 21255 ... c Min unsat cost LB: 21416 ... c Min unsat cost LB: 22049 ... c Min unsat cost LB: 22521 ... c Min unsat cost LB: 22574 ... c Min unsat cost LB: 23046 ... c Min unsat cost LB: 23122 ... c Min unsat cost LB: 23755 ... c Min unsat cost LB: 24151 ... c Min unsat cost LB: 24395 ... c Min unsat cost LB: 25028 ... c Min unsat cost LB: 25608 ... c Min unsat cost LB: 25827 ... c Min unsat cost LB: 26460 ... c Min unsat cost LB: 26679 ... c Min unsat cost LB: 27259 ... c Min unsat cost LB: 27454 ... c Min unsat cost LB: 27560 ... c Min unsat cost LB: 27779 ... c Min unsat cost LB: 27998 ... c Min unsat cost LB: 28193 ... c Min unsat cost LB: 28665 ... c Min unsat cost LB: 28879 ... c Min unsat cost LB: 29512 ... c Min unsat cost LB: 29565 ... c Min unsat cost LB: 29784 ... c Min unsat cost LB: 30003 ... c Min unsat cost LB: 31367 ... c Min unsat cost LB: 31586 ... c Min unsat cost LB: 31684 ... c Min unsat cost LB: 31708 ... c Min unsat cost LB: 31927 ... c Min unsat cost LB: 32146 ... c Min unsat cost LB: 32365 ... c Min unsat cost LB: 32837 ... c Min unsat cost LB: 32890 ... c Min unsat cost LB: 33109 ... c Min unsat cost LB: 33420 ... c Min unsat cost LB: 33795 ... c Min unsat cost LB: 34106 ... c Min unsat cost LB: 34325 ... c Min unsat cost LB: 34492 ... c Min unsat cost LB: 34711 ... c Min unsat cost LB: 34930 ... c Min unsat cost LB: 35158 ... c Min unsat cost LB: 35241 ... c Min unsat cost LB: 35630 ... c Min unsat cost LB: 35881 ... c Min unsat cost LB: 36139 ... c Min unsat cost LB: 36358 ... c Min unsat cost LB: 36567 ... c Min unsat cost LB: 36788 ... c Min unsat cost LB: 36996 ... c Min unsat cost LB: 37042 ... c Min unsat cost LB: 37209 ... c Min unsat cost LB: 37255 ... c Min unsat cost LB: 37360 ... c Min unsat cost LB: 37466 ... c Min unsat cost LB: 37993 ... c Min unsat cost LB: 38152 ... c Min unsat cost LB: 38176 ... c Min unsat cost LB: 38371 ... c Min unsat cost LB: 38381 ... c Min unsat cost LB: 38392 ... c Min unsat cost LB: 38433 ... c Min unsat cost LB: 38606 ... c Min unsat cost LB: 38825 ... c Min unsat cost LB: 39057 ... c Min unsat cost LB: 39078 ... c Min unsat cost LB: 39276 ... c Min unsat cost LB: 39548 ... c Min unsat cost LB: 39558 ... c Min unsat cost LB: 39714 ... c Min unsat cost LB: 39725 ... c Min unsat cost LB: 39736 ... c Min unsat cost LB: 39764 ... c Min unsat cost LB: 39777 ... c Min unsat cost LB: 39823 ... c Min unsat cost LB: 39933 ... c Min unsat cost LB: 39996 ... c Min unsat cost LB: 40152 ... c Min unsat cost LB: 40215 ... c Min unsat cost LB: 40371 ... c Min unsat cost LB: 40423 ... c Min unsat cost LB: 40590 ... c Min unsat cost LB: 40618 ... c Min unsat cost LB: 40926 ... c Min unsat cost LB: 40937 ... c Min unsat cost LB: 41134 ... c Min unsat cost LB: 41145 ... c Min unsat cost LB: 41156 ... c Min unsat cost LB: 41205 ... c Min unsat cost LB: 41391 ... c Min unsat cost LB: 41424 ... c Min unsat cost LB: 41612 ... c Min unsat cost LB: 41643 ... c Min unsat cost LB: 41990 ... c Min unsat cost LB: 42108 ... c Min unsat cost LB: 42365 ... c Min unsat cost LB: 42414 ... c Min unsat cost LB: 42556 ... c Min unsat cost LB: 42600 ... c Min unsat cost LB: 42633 ... c Min unsat cost LB: 42677 ... c Min unsat cost LB: 42896 ... c Min unsat cost LB: 43111 ... c Min unsat cost LB: 43115 ... c Min unsat cost LB: 43126 ... c Min unsat cost LB: 43243 ... c Min unsat cost LB: 43270 ... c Min unsat cost LB: 43314 ... c Min unsat cost LB: 43347 ... c Min unsat cost LB: 43376 ... c Min unsat cost LB: 43391 ... c Min unsat cost LB: 43422 ... c Min unsat cost LB: 43440 ... c Min unsat cost LB: 43527 ... c Min unsat cost LB: 43582 ... c Min unsat cost LB: 43603 ... c Min unsat cost LB: 43614 ... c Min unsat cost LB: 43625 ... c Min unsat cost LB: 43653 ... c Min unsat cost LB: 43663 ... c Min unsat cost LB: 43722 ... c Min unsat cost LB: 43819 ... c Min unsat cost LB: 43832 ... c Min unsat cost LB: 43878 ... c Min unsat cost LB: 43891 ... c Min unsat cost LB: 43903 ... c Min unsat cost LB: 44536 ... c Min unsat cost LB: 44589 ... c Min unsat cost LB: 44642 ... c Min unsat cost LB: 44695 ... c Min unsat cost LB: 44830 ... c Min unsat cost LB: 45263 ... c Min unsat cost LB: 45312 ... c Min unsat cost LB: 45810 ... c Min unsat cost LB: 45916 ... c Min unsat cost LB: 45945 ... c Min unsat cost LB: 46043 ... c Min unsat cost LB: 46210 ... c Min unsat cost LB: 46238 ... c Min unsat cost LB: 46265 ... c Min unsat cost LB: 46318 ... c Min unsat cost LB: 46457 ... c Min unsat cost LB: 46474 ... c Min unsat cost LB: 46537 ... c Min unsat cost LB: 46590 ... c Min unsat cost LB: 46676 ... c Min unsat cost LB: 46700 ... c Min unsat cost LB: 46831 ... c Min unsat cost LB: 46895 ... c Min unsat cost LB: 46919 ... c Min unsat cost LB: 46924 ... c Min unsat cost LB: 46930 ... c Min unsat cost LB: 47006 ... c Min unsat cost LB: 47011 ... c Min unsat cost LB: 47044 ... c Min unsat cost LB: 47059 ... c Min unsat cost LB: 47077 ... c Min unsat cost LB: 47092 ... c Min unsat cost LB: 47103 ... c Min unsat cost LB: 47114 ... c Min unsat cost LB: 47132 ... c Min unsat cost LB: 47144 ... c Min unsat cost LB: 47188 ... c Min unsat cost LB: 47219 ... c Min unsat cost LB: 47302 ... c Min unsat cost LB: 47339 ... c Min unsat cost LB: 47363 ... c Min unsat cost LB: 47378 ... c Min unsat cost LB: 47387 ... c Min unsat cost LB: 47431 ... c Min unsat cost LB: 47554 ... c Min unsat cost LB: 47555 ... c Min unsat cost LB: 47593 ... c Min unsat cost LB: 47812 ... c Min unsat cost LB: 47977 ... c Min unsat cost LB: 47989 ... c Min unsat cost LB: 48029 ... c Min unsat cost LB: 48037 ... c Min unsat cost LB: 48090 ... c Min unsat cost LB: 48509 ... c Min unsat cost LB: 48535 ... c Min unsat cost LB: 48551 ... c Min unsat cost LB: 48643 ... c Min unsat cost LB: 48645 ... c Min unsat cost LB: 48677 ... c Min unsat cost LB: 48710 ... c Min unsat cost LB: 48790 ... c Min unsat cost LB: 49098 ... c Min unsat cost LB: 49123 ... c Min unsat cost LB: 49143 ... c Min unsat cost LB: 49167 ... c Min unsat cost LB: 49200 ... c Min unsat cost LB: 49363 ... c Min unsat cost LB: 49571 ... c Min unsat cost LB: 49809 ... c Min unsat cost LB: 49914 ... c Min unsat cost LB: 49951 ... c Min unsat cost LB: 50004 ... c Min unsat cost LB: 50154 ... c Min unsat cost LB: 50475 ... c Min unsat cost LB: 50687 ... c Min unsat cost LB: 50802 ... c Min unsat cost LB: 50908 ... c Min unsat cost LB: 50964 ... c Min unsat cost LB: 51220 ... c Min unsat cost LB: 51488 ... c Min unsat cost LB: 51499 ... c Min unsat cost LB: 51558 ... c Min unsat cost LB: 51566 ... c Min unsat cost LB: 51597 ... c Min unsat cost LB: 51622 ... c Min unsat cost LB: 51665 ... c Min unsat cost LB: 51908 ... c Min unsat cost LB: 51999 ... c Min unsat cost LB: 52067 ... c Min unsat cost LB: 52191 ... c Min unsat cost LB: 52212 ... c Min unsat cost LB: 52223 ... c Min unsat cost LB: 52233 ... c Min unsat cost LB: 52240 ... c Min unsat cost LB: 52364 ... c Min unsat cost LB: 52377 ... c Min unsat cost LB: 52461 ... c Min unsat cost LB: 52609 ... c Min unsat cost LB: 52724 ... c Min unsat cost LB: 52762 ... c Min unsat cost LB: 52766 ... c Min unsat cost LB: 52802 ... c Min unsat cost LB: 52808 ... c Min unsat cost LB: 52857 ... c Min unsat cost LB: 52868 ... c Min unsat cost LB: 52921 ... c Min unsat cost LB: 53125 ... c Min unsat cost LB: 53194 ... c Min unsat cost LB: 53209 ... c Min unsat cost LB: 53238 ... c Min unsat cost LB: 53269 ... c Min unsat cost LB: 53293 ... c Min unsat cost LB: 53312 ... c Min unsat cost LB: 53447 ... c Min unsat cost LB: 53452 ... c Min unsat cost LB: 53647 ... c Min unsat cost LB: 53701 ... c Min unsat cost LB: 53730 ... c Min unsat cost LB: 53950 ... c Min unsat cost LB: 53952 ... c Min unsat cost LB: 53957 ... c Min unsat cost LB: 53972 ... c Min unsat cost LB: 53979 ... c Min unsat cost LB: 53984 ... c Min unsat cost LB: 53999 ... c Min unsat cost LB: 54064 ... c Min unsat cost LB: 54069 ... c Min unsat cost LB: 54088 ... c Min unsat cost LB: 54094 ... c Min unsat cost LB: 54099 ... c Min unsat cost LB: 54104 ... c Min unsat cost LB: 54107 ... c Min unsat cost LB: 54109 ... c Min unsat cost LB: 54121 ... c Min unsat cost LB: 54146 ... c Min unsat cost LB: 54148 ... c Min unsat cost LB: 54153 ... c Min unsat cost LB: 54160 ... c Min unsat cost LB: 54161 ... c Min unsat cost LB: 54184 ... c Min unsat cost LB: 54195 ... c Min unsat cost LB: 54204 ... c Min unsat cost LB: 54205 ... c Min unsat cost LB: 54217 ... c Min unsat cost LB: 54218 ... c Min unsat cost LB: 54225 ... c Min unsat cost LB: 54227 ... c Min unsat cost LB: 54230 ... c Min unsat cost LB: 54245 ... c Min unsat cost LB: 54257 ... c Min unsat cost LB: 54258 ... c Min unsat cost LB: 54262 ... c Min unsat cost LB: 54269 ... c Min unsat cost LB: 54270 ... c Min unsat cost LB: 54272 ... c Min unsat cost LB: 54274 ... c Min unsat cost LB: 54280 ... c Min unsat cost LB: 54285 ... c Min unsat cost LB: 54291 ... c Min unsat cost LB: 54294 ... c Min unsat cost LB: 54295 ... c Min unsat cost LB: 54303 ... c Min unsat cost LB: 54308 ... c Min unsat cost LB: 54312 ... c Min unsat cost LB: 54314 ... c Min unsat cost LB: 54323 ... c Min unsat cost LB: 54334 ... c Min unsat cost LB: 54412 ... c Min unsat cost LB: 54436 ... c Min unsat cost LB: 54437 ... c Min unsat cost LB: 54443 ... c Min unsat cost LB: 54444 ... c Min unsat cost LB: 54456 ... c Min unsat cost LB: 54539 ... c Min unsat cost LB: 54543 ... c Min unsat cost LB: 54548 ... c Min unsat cost LB: 54563 ... c Min unsat cost LB: 54564 ... c Min unsat cost LB: 54567 ... c Min unsat cost LB: 54571 ... c Min unsat cost LB: 54576 ... c Min unsat cost LB: 54580 ... c Min unsat cost LB: 54589 ... c Min unsat cost LB: 54595 ... c Min unsat cost LB: 54596 ... c Min unsat cost LB: 54604 ... c Min unsat cost LB: 54611 ... c Min unsat cost LB: 54613 ... c Min unsat cost LB: 54620 ... c Min unsat cost LB: 54633 ... c Min unsat cost LB: 54635 ... c Min unsat cost LB: 54667 ... c Min unsat cost LB: 54672 ... c Min unsat cost LB: 54677 ... c Min unsat cost LB: 54687 ... c Min unsat cost LB: 54690 ... c Min unsat cost LB: 54762 ... c Min unsat cost LB: 54770 ... c Min unsat cost LB: 54772 ... c Min unsat cost LB: 54799 ... c Min unsat cost LB: 54852 ... c Min unsat cost LB: 54991 ... c Min unsat cost LB: 55019 ... c Min unsat cost LB: 55020 ... c Min unsat cost LB: 55158 ... c Min unsat cost LB: 55235 ... c Min unsat cost LB: 55255 ... c Min unsat cost LB: 55278 ... c Min unsat cost LB: 55288 ... c Min unsat cost LB: 55290 ... c Min unsat cost LB: 55300 ... c Min unsat cost LB: 55311 ... c Min unsat cost LB: 55312 ... c Min unsat cost LB: 55335 ... c Min unsat cost LB: 55355 ... c Min unsat cost LB: 55358 ... c Min unsat cost LB: 55359 ... c Min unsat cost LB: 55438 ... c Min unsat cost LB: 55464 ... c Min unsat cost LB: 55475 ... c Min unsat cost LB: 55479 ... c Min unsat cost LB: 55581 ... c Min unsat cost LB: 55624 ... c Min unsat cost LB: 55625 ... c Min unsat cost LB: 55630 ... c Min unsat cost LB: 55631 ... c Min unsat cost LB: 55642 ... c Min unsat cost LB: 55643 ... c Min unsat cost LB: 55645 ... c Min unsat cost LB: 55648 ... c Min unsat cost LB: 55650 ... c Min unsat cost LB: 55692 ... c Min unsat cost LB: 55698 ... c Min unsat cost LB: 55703 ... c Min unsat cost LB: 55706 ... c Min unsat cost LB: 55757 ... c Min unsat cost LB: 55759 ... c Min unsat cost LB: 55770 ... c Min unsat cost LB: 55772 ... c Min unsat cost LB: 55775 ... c Min unsat cost LB: 55782 ... c Min unsat cost LB: 55784 ... c Min unsat cost LB: 55786 ... c Min unsat cost LB: 55848 ... c Min unsat cost LB: 55851 ... c Min unsat cost LB: 55853 ... c Min unsat cost LB: 55880 ... c Min unsat cost LB: 55882 ... c Min unsat cost LB: 55889 ... c Min unsat cost LB: 55890 ... c Min unsat cost LB: 55892 ... c Min unsat cost LB: 55893 ... c Min unsat cost LB: 55895 ... c Min unsat cost LB: 55916 ... c Min unsat cost LB: 55918 ... c Min unsat cost LB: 55946 ... c Min unsat cost LB: 55947 ... c Min unsat cost LB: 55960 ... c Min unsat cost LB: 55969 ... c Min unsat cost LB: 55970 ... c Min unsat cost LB: 55973 ... c Min unsat cost LB: 55974 ... c Min unsat cost LB: 55975 ... c Min unsat cost LB: 55997 ... c Min unsat cost LB: 56044 ... c Min unsat cost LB: 56169 ... c Min unsat cost LB: 56171 ... c Min unsat cost LB: 56174 ... c Min unsat cost LB: 56175 ... c Min unsat cost LB: 56176 ... c Min unsat cost LB: 56180 ... c Min unsat cost LB: 56190 ... c Min unsat cost LB: 56195 ... c Min unsat cost LB: 56199 ... c Min unsat cost LB: 56201 ... c Min unsat cost LB: 56203 ... c Min unsat cost LB: 56204 ... c Min unsat cost LB: 56210 ... c Min unsat cost LB: 56213 ... c Min unsat cost LB: 56214 ... c Min unsat cost LB: 56215 ... c Min unsat cost LB: 56217 ... c Min unsat cost LB: 56218 ... c Min unsat cost LB: 56220 ... c Min unsat cost LB: 56222 ... c Min unsat cost LB: 56224 ... c Min unsat cost LB: 56225 ... c Min unsat cost LB: 56226 ... c Min unsat cost LB: 56228 ... c Min unsat cost LB: 56229 ... c Min unsat cost LB: 56231 ... c Min unsat cost LB: 56232 ... c Min unsat cost LB: 56235 ... c Min unsat cost LB: 56237 ... c Min unsat cost LB: 56239 ... c Min unsat cost LB: 56240 ... c Min unsat cost LB: 56241 ... c Min unsat cost LB: 56242 ... c Min unsat cost LB: 56243 ... c Min unsat cost LB: 56244 ... c Min unsat cost LB: 56247 ... c Min unsat cost LB: 56251 ... c Min unsat cost LB: 56252 ... c Min unsat cost LB: 56253 ... c Min unsat cost LB: 56254 ... c Min unsat cost LB: 56256 ... c Min unsat cost LB: 56257 ... c Min unsat cost LB: 56261 ... c Min unsat cost LB: 56263 ... c Min unsat cost LB: 56264 ... c Min unsat cost LB: 56267 ... c Min unsat cost LB: 56271 ... c Min unsat cost LB: 56272 ... c Min unsat cost LB: 56277 ... c Min unsat cost LB: 56336 ... c Min unsat cost LB: 56337 ... c Min unsat cost LB: 56338 ... c Min unsat cost LB: 56339 ... c Min unsat cost LB: 56344 ... c Min unsat cost LB: 56347 ... c Min unsat cost LB: 56348 ... c Min unsat cost LB: 56349 ... c Min unsat cost LB: 56350 ... c Min unsat cost LB: 56356 ... c Min unsat cost LB: 56357 ... c Min unsat cost LB: 56358 ... c Min unsat cost LB: 56359 ... c Min unsat cost LB: 56360 ... c Min unsat cost LB: 56363 ... c Min unsat cost LB: 56364 ... c Min unsat cost LB: 56382 ... c Min unsat cost LB: 56383 ... c Min unsat cost LB: 56384 ... c Min unsat cost LB: 56385 ... c Min unsat cost LB: 56386 ... c Min unsat cost LB: 56387 ... c Min unsat cost LB: 56388 ... c Min unsat cost LB: 56389 ... c Min unsat cost LB: 56408 ... c Min unsat cost LB: 56409 ... c Min unsat cost LB: 56410 ... c Min unsat cost LB: 56411 ... c Min unsat cost LB: 56413 ... c Min unsat cost LB: 56414 ... c Min unsat cost LB: 56415 ... c Min unsat cost LB: 56416 ... c Min unsat cost LB: 56417 ... c Min unsat cost LB: 56418 ... c Min unsat cost LB: 56419 ... c Min unsat cost LB: 56422 ... c Min unsat cost LB: 56453 ... c Min unsat cost LB: 56470 ... c Min unsat cost LB: 56487 ... c Min unsat cost LB: 56609 ... c Min unsat cost LB: 56638 ... c Min unsat cost LB: 56640 ... c Min unsat cost LB: 56648 ... c Min unsat cost LB: 56655 ... c Min unsat cost LB: 56668 ... c Min unsat cost LB: 56679 ... c Min unsat cost LB: 56692 ... c Min unsat cost LB: 56731 ... c Min unsat cost LB: 56737 ... c Min unsat cost LB: 56739 ... c Min unsat cost LB: 56748 ... c Min unsat cost LB: 56755 ... c Min unsat cost LB: 56802 ... c Min unsat cost LB: 56803 ... c Min unsat cost LB: 56805 ... c Min unsat cost LB: 56808 ... c Min unsat cost LB: 56809 ... c Min unsat cost LB: 56833 ... c Min unsat cost LB: 56862 ... c Min unsat cost LB: 56872 ... c Min unsat cost LB: 56881 ... c Min unsat cost LB: 56882 ... c Min unsat cost LB: 56884 ... c Min unsat cost LB: 56885 ... c Min unsat cost LB: 56887 ... c Min unsat cost LB: 56897 ... c Min unsat cost LB: 56902 ... c Min unsat cost LB: 56907 ... c Min unsat cost LB: 56913 ... c Min unsat cost LB: 56914 ... c Min unsat cost LB: 56915 ... c Min unsat cost LB: 56916 ... c Min unsat cost LB: 56920 ... c Min unsat cost LB: 56942 ... c Min unsat cost LB: 56992 ... c Min unsat cost LB: 56993 ... c Min unsat cost LB: 56995 ... c Min unsat cost LB: 57004 ... c Min unsat cost LB: 57005 ... c Min unsat cost LB: 57006 ... c Min unsat cost LB: 57007 ... c Min unsat cost LB: 57008 ... c Min unsat cost LB: 57009 ... c Min unsat cost LB: 57011 ... c Min unsat cost LB: 57013 ... c Min unsat cost LB: 57014 ... c Min unsat cost LB: 57017 ... c Min unsat cost LB: 57018 ... c Min unsat cost LB: 57019 ... c Min unsat cost LB: 57059 ... c Min unsat cost LB: 57084 ... c Min unsat cost LB: 57088 ... c Min unsat cost LB: 57093 ... c Min unsat cost LB: 57102 ... c Min unsat cost LB: 57103 ... c Min unsat cost LB: 57108 ... c Min unsat cost LB: 57109 ... c Min unsat cost LB: 57110 ... c Min unsat cost LB: 57111 ... c Min unsat cost LB: 57114 ... c Min unsat cost LB: 57115 ... c Min unsat cost LB: 57116 ... c Min unsat cost LB: 57117 ... c Min unsat cost LB: 57118 ... c Min unsat cost LB: 57119 ... c Min unsat cost LB: 57122 ... c Min unsat cost LB: 57124 ... c Min unsat cost LB: 57126 ... c Min unsat cost LB: 57128 ... c Min unsat cost LB: 57141 ... c Min unsat cost LB: 57150 ... c Min unsat cost LB: 57153 ... c Min unsat cost LB: 57155 ... c Min unsat cost LB: 57157 ... c Min unsat cost LB: 57182 ... c Min unsat cost LB: 57183 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57185 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57187 ... c Min unsat cost LB: 57188 ... c Min unsat cost LB: 57189 ... c Min unsat cost LB: 57190 ... c Min unsat cost LB: 57191 ... c Min unsat cost LB: 57192 ... c Min unsat cost LB: 57193 ... c Min unsat cost LB: 57194 ... c Min unsat cost LB: 57196 ... c Min unsat cost LB: 57197 ... c Min unsat cost LB: 57199 ... c Min unsat cost LB: 57201 ... c Min unsat cost LB: 57202 ... c Min unsat cost LB: 57203 ... c Min unsat cost LB: 57204 ... c Min unsat cost LB: 57205 ... c Min unsat cost LB: 57206 ... c Min unsat cost LB: 57207 ... c Min unsat cost LB: 57218 ... c Min unsat cost LB: 57219 ... c Min unsat cost LB: 57220 ... c Min unsat cost LB: 57222 ... c Min unsat cost LB: 57226 ... c Min unsat cost LB: 57228 ... c Min unsat cost LB: 57229 ... c Min unsat cost LB: 57231 ... c Min unsat cost LB: 57233 ... c Min unsat cost LB: 57234 ... c Min unsat cost LB: 57235 ... c Min unsat cost LB: 57237 ... c Min unsat cost LB: 57238 ... c Min unsat cost LB: 57240 ... c Min unsat cost LB: 57241 ... c Min unsat cost LB: 57242 ... c Min unsat cost LB: 57243 ... c Min unsat cost LB: 57244 ... c Min unsat cost LB: 57245 ... c Min unsat cost LB: 57246 ... c Min unsat cost LB: 57248 ... c Min unsat cost LB: 57250 ... c Min unsat cost LB: 57251 ... c Min unsat cost LB: 57252 ... c Min unsat cost LB: 57253 ... c Min unsat cost LB: 57254 ... c Min unsat cost LB: 57255 ... c Min unsat cost LB: 57256 ... c Min unsat cost LB: 57257 ... c Min unsat cost LB: 57258 ... c Min unsat cost LB: 57259 ... c Min unsat cost LB: 57260 ... c Min unsat cost LB: 57261 ... c Min unsat cost LB: 57262 ... c Min unsat cost LB: 57263 ... c Min unsat cost LB: 57264 ... c Min unsat cost LB: 57266 ... c Min unsat cost LB: 57267 ... c Min unsat cost LB: 57268 ... c Min unsat cost LB: 57269 ... c Min unsat cost LB: 57270 ... c Min unsat cost LB: 57272 ... c Min unsat cost LB: 57273 ... c Min unsat cost LB: 57274 ... c Min unsat cost LB: 57275 ... c Min unsat cost LB: 57276 ... c Min unsat cost LB: 57279 ... c Min unsat cost LB: 57280 ... c Min unsat cost LB: 57281 ... c Min unsat cost LB: 57282 ... c Min unsat cost LB: 57283 ... c Min unsat cost LB: 57285 ... c Min unsat cost LB: 57287 ... c Min unsat cost LB: 57290 ... c Min unsat cost LB: 57292 ... c Min unsat cost LB: 57293 ... c Min unsat cost LB: 57296 ... c Min unsat cost LB: 57297 ... c Min unsat cost LB: 57299 ... c Min unsat cost LB: 57303 ... c Min unsat cost LB: 57306 ... c Min unsat cost LB: 57307 ... c Min unsat cost LB: 57308 ... c Min unsat cost LB: 57311 ... c Min unsat cost LB: 57312 ... c Min unsat cost LB: 57313 ... c Min unsat cost LB: 57314 ... c Min unsat cost LB: 57317 ... c Min unsat cost LB: 57319 ... c Min unsat cost LB: 57321 ... c Min unsat cost LB: 57333 ... c Min unsat cost LB: 57334 ... c Min unsat cost LB: 57335 ... c Min unsat cost LB: 57336 ... c Min unsat cost LB: 57337 ... c Min unsat cost LB: 57338 ... c Min unsat cost LB: 57340 ... c Min unsat cost LB: 57342 ... c Min unsat cost LB: 57343 ... c Min unsat cost LB: 57344 ... c Min unsat cost LB: 57345 ... c Min unsat cost LB: 57346 ... c Min unsat cost LB: 57347 ... c Min unsat cost LB: 57348 ... c Min unsat cost LB: 57349 ... c Min unsat cost LB: 57353 ... c Min unsat cost LB: 57354 ... c Min unsat cost LB: 57355 ... c Min unsat cost LB: 57356 ... c Min unsat cost LB: 57357 ... c Min unsat cost LB: 57358 ... c Min unsat cost LB: 57359 ... c Min unsat cost LB: 57360 ... c Min unsat cost LB: 57361 ... c Min unsat cost LB: 57362 ... c Min unsat cost LB: 57363 ... c Min unsat cost LB: 57364 ... c Min unsat cost LB: 57365 ... c Min unsat cost LB: 57366 ... c Min unsat cost LB: 57367 ... c Min unsat cost LB: 57368 ... c Min unsat cost LB: 57369 ... c Min unsat cost LB: 57370 ... c Min unsat cost LB: 57371 ... c Min unsat cost LB: 57372 ... c Min unsat cost LB: 57373 ... c Min unsat cost LB: 57374 ... c Min unsat cost LB: 57375 ... c Min unsat cost LB: 57376 ... c Min unsat cost LB: 57378 ... c Min unsat cost LB: 57379 ... c Min unsat cost LB: 57380 ... c Min unsat cost LB: 57381 ... c Min unsat cost LB: 57382 ... c Min unsat cost LB: 57383 ... c Min unsat cost LB: 57385 ... c Min unsat cost LB: 57386 ... c Min unsat cost LB: 57387 ... c Min unsat cost LB: 57388 ... c Min unsat cost LB: 57389 ... c Min unsat cost LB: 57390 ... c Min unsat cost LB: 57391 ... c Min unsat cost LB: 57392 ... c Min unsat cost LB: 57393 ... c Min unsat cost LB: 57394 ... c Min unsat cost LB: 57395 ... c Min unsat cost LB: 57396 ... c Min unsat cost LB: 57397 ... c Min unsat cost LB: 57400 ... c Min unsat cost LB: 57403 ... c Min unsat cost LB: 57404 ... c Min unsat cost LB: 57405 ... c Min unsat cost LB: 57406 ... c Min unsat cost LB: 57407 ... c Min unsat cost LB: 57408 ... c Min unsat cost LB: 57409 ... c Min unsat cost LB: 57410 ... c Min unsat cost LB: 57411 ... c Min unsat cost LB: 57412 ... c Min unsat cost LB: 57413 ... c Min unsat cost LB: 57414 ... c Min unsat cost LB: 57415 ... c Min unsat cost LB: 57416 ... c Min unsat cost LB: 57417 ... c Min unsat cost LB: 57418 ... c Min unsat cost LB: 57419 ... c Min unsat cost LB: 57420 ... c Min unsat cost LB: 57421 ... c Min unsat cost LB: 57422 ... c Min unsat cost LB: 57423 ... c Min unsat cost LB: 57424 ... c Min unsat cost LB: 57425 ... c Min unsat cost LB: 57426 ... c Min unsat cost LB: 57427 ... c Min unsat cost LB: 57428 ... c Min unsat cost LB: 57429 ... c Min unsat cost LB: 57430 ... c Min unsat cost LB: 57446 ... c Min unsat cost LB: 57447 ... c Min unsat cost LB: 57448 ... c Min unsat cost LB: 57449 ... c Min unsat cost LB: 57450 ... c Min unsat cost LB: 57451 ... c Min unsat cost LB: 57452 ... c Min unsat cost LB: 57453 ... c Min unsat cost LB: 57454 ... c Min unsat cost LB: 57455 ... c Min unsat cost LB: 57456 ... c Min unsat cost LB: 57457 ... c Min unsat cost LB: 57458 ... c Min unsat cost LB: 57459 ... c Min unsat cost LB: 57460 ... c Min unsat cost LB: 57461 ... c Min unsat cost LB: 57462 ... c Min unsat cost LB: 57463 ... c Min unsat cost LB: 57465 ... c Min unsat cost LB: 57466 ... c Min unsat cost LB: 57467 ... c Min unsat cost LB: 57468 ... c Min unsat cost LB: 57469 ... c Min unsat cost LB: 57470 ... c Min unsat cost LB: 57471 ... c Min unsat cost LB: 57472 ... c Min unsat cost LB: 57474 ... c Min unsat cost LB: 57475 ... c Min unsat cost LB: 57484 ... c Min unsat cost LB: 57485 ... c Min unsat cost LB: 57486 ... c Min unsat cost LB: 57487 ... c Min unsat cost LB: 57488 ... c Min unsat cost LB: 57489 ... c Min unsat cost LB: 57490 ... c Min unsat cost LB: 57491 ... c Min unsat cost LB: 57493 ... c Min unsat cost LB: 57496 ... c Min unsat cost LB: 57497 ... c Min unsat cost LB: 57498 ... c Min unsat cost LB: 57499 ... c Min unsat cost LB: 57500 ... c Min unsat cost LB: 57501 ... c Min unsat cost LB: 57502 ... c Min unsat cost LB: 57503 ... c Min unsat cost LB: 57509 ... c Min unsat cost LB: 57510 ... c Min unsat cost LB: 57537 ... c Min unsat cost LB: 57540 ... c Min unsat cost LB: 57543 ... c Min unsat cost LB: 57546 ... c Min unsat cost LB: 57549 ... c Min unsat cost LB: 57607 ... c Min unsat cost LB: 57608 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 57629 ... c Min unsat cost LB: 57682 ... c Min unsat cost LB: 57686 ... c Min unsat cost LB: 57698 ... c Min unsat cost LB: 57706 ... c Min unsat cost LB: 57707 ... c Min unsat cost LB: 57708 ... c Min unsat cost LB: 57709 ... c Min unsat cost LB: 57710 ... c Min unsat cost LB: 57711 ... c Min unsat cost LB: 57713 ... c Min unsat cost LB: 57716 ... c Min unsat cost LB: 57718 ... c Min unsat cost LB: 57720 ... c Min unsat cost LB: 57722 ... c Min unsat cost LB: 57724 ... c Min unsat cost LB: 57725 ... c Min unsat cost LB: 57726 ... c Min unsat cost LB: 57727 ... c Min unsat cost LB: 57728 ... c Min unsat cost LB: 57729 ... c Min unsat cost LB: 57871 ... c Min unsat cost LB: 57875 ... c Min unsat cost LB: 57877 ... c Min unsat cost LB: 57885 ... c Min unsat cost LB: 57889 ... c Min unsat cost LB: 57890 ... c Min unsat cost LB: 57891 ... c Min unsat cost LB: 57934 ... c Min unsat cost LB: 57938 ... c Min unsat cost LB: 57939 ... c Min unsat cost LB: 57940 ... c Min unsat cost LB: 57941 ... c Min unsat cost LB: 57942 ... c Min unsat cost LB: 57943 ... c Min unsat cost LB: 57944 ... c Min unsat cost LB: 57945 ... c Min unsat cost LB: 57946 ... c Min unsat cost LB: 57947 ... c Min unsat cost LB: 57948 ... c Min unsat cost LB: 57949 ... c Min unsat cost LB: 57952 ... c Min unsat cost LB: 57953 ... c Min unsat cost LB: 58268 ... c Min unsat cost LB: 58270 ... c Min unsat cost LB: 58271 ... c Min unsat cost LB: 58321 ... c Min unsat cost LB: 58526 ... c Min unsat cost LB: 58527 ... c Min unsat cost LB: 58528 ... c Min unsat cost LB: 58529 ... c Min unsat cost LB: 58530 ... c Min unsat cost LB: 58539 ... c Min unsat cost LB: 58554 ... c Min unsat cost LB: 58555 ... c Min unsat cost LB: 58559 ... c Min unsat cost LB: 58565 ... c Min unsat cost LB: 58594 ... c Min unsat cost LB: 58595 ... c Min unsat cost LB: 58596 ... c Min unsat cost LB: 58597 ... c Min unsat cost LB: 58598 ... c Min unsat cost LB: 58658 ... c Min unsat cost LB: 58659 ... c Min unsat cost LB: 58660 ... c Min unsat cost LB: 58661 ... c Min unsat cost LB: 58667 ... c Min unsat cost LB: 58669 ... c Min unsat cost LB: 58771 ... c Min unsat cost LB: 58775 ... c Min unsat cost LB: 58781 ... c Min unsat cost LB: 58782 ... c Min unsat cost LB: 58793 ... c Min unsat cost LB: 58794 ... c Min unsat cost LB: 58795 ... c Min unsat cost LB: 58796 ... c Min unsat cost LB: 58797 ... c Min unsat cost LB: 58804 ... c Min unsat cost LB: 58811 ... c Min unsat cost LB: 58813 ... c Min unsat cost LB: 58817 ... c Min unsat cost LB: 58821 ... c Min unsat cost LB: 58822 ... c Min unsat cost LB: 58823 ... c Min unsat cost LB: 58824 ... c Min unsat cost LB: 58825 ... c Min unsat cost LB: 58826 ... c Min unsat cost LB: 58828 ... c Min unsat cost LB: 58829 ... c Min unsat cost LB: 58830 ... c Min unsat cost LB: 58831 ... c Min unsat cost LB: 58832 ... c Min unsat cost LB: 58833 ... c Min unsat cost LB: 58834 ... c Min unsat cost LB: 58835 ... c Min unsat cost LB: 58836 ... c Min unsat cost LB: 58985 ... c Min unsat cost LB: 58995 ... c Min unsat cost LB: 58996 ... c Min unsat cost LB: 59005 ... c Min unsat cost LB: 59006 ... c Min unsat cost LB: 59007 ... c Min unsat cost LB: 59008 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59010 ... c Min unsat cost LB: 59011 ... c Min unsat cost LB: 59017 ... c Min unsat cost LB: 59022 ... c Min unsat cost LB: 59023 ... c Min unsat cost LB: 59024 ... c Min unsat cost LB: 59025 ... c Min unsat cost LB: 59026 ... c Min unsat cost LB: 59027 ... c Min unsat cost LB: 59028 ... c Min unsat cost LB: 59029 ... c Min unsat cost LB: 59030 ... c Min unsat cost LB: 59031 ... c Min unsat cost LB: 59032 ... c Min unsat cost LB: 59034 ... c Min unsat cost LB: 59035 ... c Min unsat cost LB: 59036 ... c Min unsat cost LB: 59037 ... c Min unsat cost LB: 59038 ... c Min unsat cost LB: 59039 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59041 ... c Min unsat cost LB: 59042 ... c Min unsat cost LB: 59043 ... c Min unsat cost LB: 59044 ... c Min unsat cost LB: 59045 ... c Min unsat cost LB: 59046 ... c Min unsat cost LB: 59047 ... c Min unsat cost LB: 59048 ... c Min unsat cost LB: 59049 ... c Min unsat cost LB: 59050 ... c Min unsat cost LB: 59051 ... c Min unsat cost LB: 59052 ... c Min unsat cost LB: 59053 ... c Min unsat cost LB: 59054 ... c Min unsat cost LB: 59063 ... c Min unsat cost LB: 59064 ... c Min unsat cost LB: 59065 ... c Min unsat cost LB: 59066 ... c Min unsat cost LB: 59067 ... c Min unsat cost LB: 59068 ... c Min unsat cost LB: 59069 ... c Min unsat cost LB: 59071 ... c Min unsat cost LB: 59073 ... c Min unsat cost LB: 59075 ... c Min unsat cost LB: 59076 ... c Min unsat cost LB: 59077 ... c Min unsat cost LB: 59085 ... c Min unsat cost LB: 59086 ... c Min unsat cost LB: 59122 ... c Min unsat cost LB: 59123 ... c Min unsat cost LB: 59131 ... c Min unsat cost LB: 59132 ... c Min unsat cost LB: 59143 ... c Min unsat cost LB: 59279 ... c Min unsat cost LB: 59280 ... c Min unsat cost LB: 59281 ... c Min unsat cost LB: 59285 ... c Min unsat cost LB: 59286 ... c Min unsat cost LB: 59287 ... c Min unsat cost LB: 59289 ... c Min unsat cost LB: 59290 ... c Min unsat cost LB: 59291 ... c Min unsat cost LB: 59294 ... c Min unsat cost LB: 59295 ... c Min unsat cost LB: 59296 ... c Min unsat cost LB: 59297 ... c Min unsat cost LB: 59298 ... c Min unsat cost LB: 59299 ... c Min unsat cost LB: 59341 ... c Min unsat cost LB: 59342 ... c Min unsat cost LB: 59343 ... c Min unsat cost LB: 59344 ... c Min unsat cost LB: 59345 ... c Min unsat cost LB: 59346 ... c Min unsat cost LB: 59359 ... c Min unsat cost LB: 59360 ... c Min unsat cost LB: 59361 ... c Min unsat cost LB: 59362 ... c Min unsat cost LB: 59363 ... c Min unsat cost LB: 59364 ... c Min unsat cost LB: 59369 ... c Min unsat cost LB: 59372 ... c Min unsat cost LB: 59373 ... c Min unsat cost LB: 59374 ... c Min unsat cost LB: 59375 ... c Min unsat cost LB: 59382 ... c Min unsat cost LB: 59384 ... c Min unsat cost LB: 59385 ... c Min unsat cost LB: 59386 ... c Min unsat cost LB: 59494 ... c Min unsat cost LKilled 1814.659u 5.079s 30:20.18 99.9% 0+0k 0+0io 0pf+0w