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_160_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_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_160_0004.txt.wcnf *** c c Min unsat cost LB: 342 ... c Min unsat cost LB: 403 ... c Min unsat cost LB: 464 ... c Min unsat cost LB: 806 ... c Min unsat cost LB: 1148 ... c Min unsat cost LB: 1490 ... c Min unsat cost LB: 1548 ... c Min unsat cost LB: 1890 ... c Min unsat cost LB: 1948 ... c Min unsat cost LB: 1951 ... c Min unsat cost LB: 1954 ... c Min unsat cost LB: 2296 ... c Min unsat cost LB: 2357 ... c Min unsat cost LB: 2418 ... c Min unsat cost LB: 2760 ... c Min unsat cost LB: 2821 ... c Min unsat cost LB: 3163 ... c Min unsat cost LB: 3505 ... c Min unsat cost LB: 3566 ... c Min unsat cost LB: 3627 ... c Min unsat cost LB: 3688 ... c Min unsat cost LB: 3749 ... c Min unsat cost LB: 3810 ... c Min unsat cost LB: 3871 ... c Min unsat cost LB: 3932 ... c Min unsat cost LB: 3993 ... c Min unsat cost LB: 4054 ... c Min unsat cost LB: 4354 ... c Min unsat cost LB: 4396 ... c Min unsat cost LB: 4457 ... c Min unsat cost LB: 4509 ... c Min unsat cost LB: 4570 ... c Min unsat cost LB: 4625 ... c Min unsat cost LB: 4680 ... c Min unsat cost LB: 4741 ... c Min unsat cost LB: 4796 ... c Min unsat cost LB: 4857 ... c Min unsat cost LB: 5115 ... c Min unsat cost LB: 6574 ... c Min unsat cost LB: 6916 ... c Min unsat cost LB: 6977 ... c Min unsat cost LB: 7019 ... c Min unsat cost LB: 8820 ... c Min unsat cost LB: 8881 ... c Min unsat cost LB: 10682 ... c Min unsat cost LB: 10930 ... c Min unsat cost LB: 10940 ... c Min unsat cost LB: 12741 ... c Min unsat cost LB: 14542 ... c Min unsat cost LB: 14777 ... c Min unsat cost LB: 14787 ... c Min unsat cost LB: 16588 ... c Min unsat cost LB: 18047 ... c Min unsat cost LB: 18389 ... c Min unsat cost LB: 19848 ... c Min unsat cost LB: 21588 ... c Min unsat cost LB: 21649 ... c Min unsat cost LB: 23450 ... c Min unsat cost LB: 25251 ... c Min unsat cost LB: 25312 ... c Min unsat cost LB: 27113 ... c Min unsat cost LB: 28914 ... c Min unsat cost LB: 30684 ... c Min unsat cost LB: 30715 ... c Min unsat cost LB: 30945 ... c Min unsat cost LB: 32685 ... c Min unsat cost LB: 34395 ... c Min unsat cost LB: 36135 ... c Min unsat cost LB: 36196 ... c Min unsat cost LB: 37997 ... c Min unsat cost LB: 39798 ... c Min unsat cost LB: 40140 ... c Min unsat cost LB: 41599 ... c Min unsat cost LB: 41660 ... c Min unsat cost LB: 41721 ... c Min unsat cost LB: 42063 ... c Min unsat cost LB: 42124 ... c Min unsat cost LB: 42405 ... c Min unsat cost LB: 42466 ... c Min unsat cost LB: 42808 ... c Min unsat cost LB: 43150 ... c Min unsat cost LB: 43492 ... c Min unsat cost LB: 44267 ... c Min unsat cost LB: 46007 ... c Min unsat cost LB: 46349 ... c Min unsat cost LB: 46691 ... c Min unsat cost LB: 46752 ... c Min unsat cost LB: 47052 ... c Min unsat cost LB: 47094 ... c Min unsat cost LB: 47352 ... c Min unsat cost LB: 47362 ... c Min unsat cost LB: 47404 ... c Min unsat cost LB: 47652 ... c Min unsat cost LB: 47713 ... c Min unsat cost LB: 47771 ... c Min unsat cost LB: 47832 ... c Min unsat cost LB: 47893 ... c Min unsat cost LB: 47954 ... c Min unsat cost LB: 48296 ... c Min unsat cost LB: 48357 ... c Min unsat cost LB: 48699 ... c Min unsat cost LB: 48760 ... c Min unsat cost LB: 48851 ... c Min unsat cost LB: 48912 ... c Min unsat cost LB: 48973 ... c Min unsat cost LB: 49254 ... c Min unsat cost LB: 49315 ... c Min unsat cost LB: 49376 ... c Min unsat cost LB: 49431 ... c Min unsat cost LB: 49483 ... c Min unsat cost LB: 49486 ... c Min unsat cost LB: 49676 ... c Min unsat cost LB: 50329 ... c Min unsat cost LB: 50390 ... c Min unsat cost LB: 50451 ... c Min unsat cost LB: 50512 ... c Min unsat cost LB: 50671 ... c Min unsat cost LB: 50762 ... c Min unsat cost LB: 50823 ... c Min unsat cost LB: 50884 ... c Min unsat cost LB: 50914 ... c Min unsat cost LB: 50975 ... c Min unsat cost LB: 51134 ... c Min unsat cost LB: 51287 ... c Min unsat cost LB: 51415 ... c Min unsat cost LB: 51476 ... c Min unsat cost LB: 51538 ... c Min unsat cost LB: 52594 ... c Min unsat cost LB: 52655 ... c Min unsat cost LB: 52716 ... c Min unsat cost LB: 52777 ... c Min unsat cost LB: 52874 ... c Min unsat cost LB: 52930 ... c Min unsat cost LB: 52992 ... c Min unsat cost LB: 53120 ... c Min unsat cost LB: 53150 ... c Min unsat cost LB: 53155 ... c Min unsat cost LB: 53216 ... c Min unsat cost LB: 53278 ... c Min unsat cost LB: 53334 ... c Min unsat cost LB: 53436 ... c Min unsat cost LB: 53497 ... c Min unsat cost LB: 53558 ... c Min unsat cost LB: 53584 ... c Min unsat cost LB: 53681 ... c Min unsat cost LB: 53743 ... c Min unsat cost LB: 53748 ... c Min unsat cost LB: 53809 ... c Min unsat cost LB: 53870 ... c Min unsat cost LB: 53925 ... c Min unsat cost LB: 53931 ... c Min unsat cost LB: 53986 ... c Min unsat cost LB: 54016 ... c Min unsat cost LB: 54048 ... c Min unsat cost LB: 54078 ... c Min unsat cost LB: 54170 ... c Min unsat cost LB: 54512 ... c Min unsat cost LB: 54573 ... c Min unsat cost LB: 55317 ... c Min unsat cost LB: 55323 ... c Min unsat cost LB: 55379 ... c Min unsat cost LB: 55389 ... c Min unsat cost LB: 55731 ... c Min unsat cost LB: 56073 ... c Min unsat cost LB: 56128 ... c Min unsat cost LB: 56134 ... c Min unsat cost LB: 56226 ... c Min unsat cost LB: 56246 ... c Min unsat cost LB: 56343 ... c Min unsat cost LB: 56354 ... c Min unsat cost LB: 56360 ... c Min unsat cost LB: 56379 ... c Min unsat cost LB: 56481 ... c Min unsat cost LB: 56513 ... c Min unsat cost LB: 56539 ... c Min unsat cost LB: 56544 ... c Min unsat cost LB: 56605 ... c Min unsat cost LB: 56635 ... c Min unsat cost LB: 56696 ... c Min unsat cost LB: 56751 ... c Min unsat cost LB: 57038 ... c Min unsat cost LB: 57093 ... c Min unsat cost LB: 57374 ... c Min unsat cost LB: 57380 ... c Min unsat cost LB: 57386 ... c Min unsat cost LB: 57722 ... c Min unsat cost LB: 57728 ... c Min unsat cost LB: 58003 ... c Min unsat cost LB: 58064 ... c Min unsat cost LB: 58070 ... c Min unsat cost LB: 58412 ... c Min unsat cost LB: 58438 ... c Min unsat cost LB: 59451 ... c Min unsat cost LB: 59506 ... c Min unsat cost LB: 59509 ... c Min unsat cost LB: 59567 ... c Min unsat cost LB: 59822 ... c Min unsat cost LB: 59877 ... c Min unsat cost LB: 60112 ... c Min unsat cost LB: 60199 ... c Min unsat cost LB: 60454 ... c Min unsat cost LB: 60520 ... c Min unsat cost LB: 60541 ... c Min unsat cost LB: 60796 ... c Min unsat cost LB: 60807 ... c Min unsat cost LB: 60813 ... c Min unsat cost LB: 60833 ... c Min unsat cost LB: 60883 ... c Min unsat cost LB: 60938 ... c Min unsat cost LB: 60964 ... c Min unsat cost LB: 60980 ... c Min unsat cost LB: 61077 ... c Min unsat cost LB: 61132 ... c Min unsat cost LB: 61193 ... c Min unsat cost LB: 61219 ... c Min unsat cost LB: 61251 ... c Min unsat cost LB: 61275 ... c Min unsat cost LB: 61281 ... c Min unsat cost LB: 61285 ... c Min unsat cost LB: 61291 ... c Min unsat cost LB: 61297 ... c Min unsat cost LB: 61963 ... c Min unsat cost LB: 61966 ... c Min unsat cost LB: 62021 ... c Min unsat cost LB: 62068 ... c Min unsat cost LB: 62073 ... c Min unsat cost LB: 62182 ... c Min unsat cost LB: 62430 ... c Min unsat cost LB: 62517 ... c Min unsat cost LB: 62772 ... c Min unsat cost LB: 62793 ... c Min unsat cost LB: 62859 ... c Min unsat cost LB: 63114 ... c Min unsat cost LB: 63406 ... c Min unsat cost LB: 64859 ... c Min unsat cost LB: 64862 ... c Min unsat cost LB: 64868 ... c Min unsat cost LB: 65155 ... c Min unsat cost LB: 66172 ... c Min unsat cost LB: 66227 ... c Min unsat cost LB: 66237 ... c Min unsat cost LB: 66279 ... c Min unsat cost LB: 66285 ... c Min unsat cost LB: 66289 ... c Min unsat cost LB: 66300 ... c Min unsat cost LB: 66332 ... c Min unsat cost LB: 66334 ... c Min unsat cost LB: 66338 ... c Min unsat cost LB: 66340 ... c Min unsat cost LB: 66399 ... c Min unsat cost LB: 66405 ... c Min unsat cost LB: 66423 ... c Min unsat cost LB: 66449 ... c Min unsat cost LB: 66450 ... c Min unsat cost LB: 66451 ... c Min unsat cost LB: 66457 ... c Min unsat cost LB: 66473 ... c Min unsat cost LB: 66507 ... c Min unsat cost LB: 66514 ... c Min unsat cost LB: 66524 ... c Min unsat cost LB: 66527 ... c Min unsat cost LB: 66553 ... c Min unsat cost LB: 66582 ... c Min unsat cost LB: 66650 ... c Min unsat cost LB: 66705 ... c Min unsat cost LB: 66708 ... c Min unsat cost LB: 66760 ... c Min unsat cost LB: 66763 ... c Min unsat cost LB: 66809 ... c Min unsat cost LB: 66872 ... c Min unsat cost LB: 66875 ... c Min unsat cost LB: 66896 ... c Min unsat cost LB: 66945 ... c Min unsat cost LB: 66992 ... c Min unsat cost LB: 66997 ... c Min unsat cost LB: 67052 ... c Min unsat cost LB: 67307 ... c Min unsat cost LB: 67437 ... c Min unsat cost LB: 67555 ... c Min unsat cost LB: 67586 ... c Min unsat cost LB: 67610 ... c Min unsat cost LB: 67676 ... c Min unsat cost LB: 67763 ... c Min unsat cost LB: 67818 ... c Min unsat cost LB: 67992 ... c Min unsat cost LB: 68073 ... c Min unsat cost LB: 68079 ... c Min unsat cost LB: 68085 ... c Min unsat cost LB: 68237 ... c Min unsat cost LB: 69429 ... c Min unsat cost LB: 69771 ... c Min unsat cost LB: 70113 ... c Min unsat cost LB: 70116 ... c Min unsat cost LB: 70125 ... c Min unsat cost LB: 71129 ... c Min unsat cost LB: 71190 ... c Min unsat cost LB: 71655 ... c Min unsat cost LB: 72122 ... c Min unsat cost LB: 72321 ... c Min unsat cost LB: 72399 ... c Min unsat cost LB: 72430 ... c Min unsat cost LB: 72772 ... c Min unsat cost LB: 73789 ... c Min unsat cost LB: 73850 ... c Min unsat cost LB: 73919 ... c Min unsat cost LB: 74127 ... c Min unsat cost LB: 75160 ... c Min unsat cost LB: 75378 ... c Min unsat cost LB: 75569 ... c Min unsat cost LB: 75670 ... c Min unsat cost LB: 75761 ... c Min unsat cost LB: 75928 ... c Min unsat cost LB: 76505 ... c Min unsat cost LB: 76858 ... c Min unsat cost LB: 77964 ... c Min unsat cost LB: 78279 ... c Min unsat cost LB: 78621 ... c Min unsat cost LB: 78963 ... c Min unsat cost LB: 79020 ... c Min unsat cost LB: 79164 ... c Min unsat cost LB: 79673 ... c Min unsat cost LB: 79832 ... c Min unsat cost LB: 79929 ... c Min unsat cost LB: 79971 ... c Min unsat cost LB: 79990 ... c Min unsat cost LB: 80119 ... c Min unsat cost LB: 80229 ... c Min unsat cost LB: 80290 ... c Min unsat cost LB: 80332 ... c Min unsat cost LB: 80338 ... c Min unsat cost LB: 80393 ... c Min unsat cost LB: 80399 ... c Min unsat cost LB: 80448 ... c Min unsat cost LB: 80460 ... c Min unsat cost LB: 80521 ... c Min unsat cost LB: 80680 ... c Min unsat cost LB: 80735 ... c Min unsat cost LB: 80741 ... c Min unsat cost LB: 80863 ... c Min unsat cost LB: 80918 ... c Min unsat cost LB: 80961 ... c Min unsat cost LB: 81016 ... c Min unsat cost LB: 81022 ... c Min unsat cost LB: 81077 ... c Min unsat cost LB: 81083 ... c Min unsat cost LB: 81260 ... c Min unsat cost LB: 81309 ... c Min unsat cost LB: 81321 ... c Min unsat cost LB: 81364 ... c Min unsat cost LB: 81370 ... c Min unsat cost LB: 81425 ... c Min unsat cost LB: 81431 ... c Min unsat cost LB: 81437 ... c Min unsat cost LB: 81443 ... c Min unsat cost LB: 81474 ... c Min unsat cost LB: 81492 ... c Min unsat cost LB: 81498 ... c Min unsat cost LB: 81535 ... c Min unsat cost LB: 81541 ... c Min unsat cost LB: 81545 ... c Min unsat cost LB: 81549 ... c Min unsat cost LB: 81551 ... c Min unsat cost LB: 81553 ... c Min unsat cost LB: 81585 ... c Min unsat cost LB: 81594 ... c Min unsat cost LB: 81600 ... c Min unsat cost LB: 81617 ... c Min unsat cost LB: 81623 ... c Min unsat cost LB: 81625 ... c Min unsat cost LB: 81634 ... c Min unsat cost LB: 81636 ... c Min unsat cost LB: 81640 ... c Min unsat cost LB: 81644 ... c Min unsat cost LB: 81648 ... c Min unsat cost LB: 81650 ... c Min unsat cost LB: 81662 ... c Min unsat cost LB: 81666 ... c Min unsat cost LB: 81667 ... c Min unsat cost LB: 81668 ... c Min unsat cost LB: 81672 ... c Min unsat cost LB: 81676 ... c Min unsat cost LB: 81683 ... c Min unsat cost LB: 81685 ... c Min unsat cost LB: 81711 ... c Min unsat cost LB: 81715 ... c Min unsat cost LB: 81717 ... c Min unsat cost LB: 81721 ... c Min unsat cost LB: 81740 ... c Min unsat cost LB: 81742 ... c Min unsat cost LB: 81744 ... c Min unsat cost LB: 81746 ... c Min unsat cost LB: 81748 ... c Min unsat cost LB: 81759 ... c Min unsat cost LB: 81767 ... c Min unsat cost LB: 81798 ... c Min unsat cost LB: 81801 ... c Min unsat cost LB: 81807 ... c Min unsat cost LB: 81813 ... c Min unsat cost LB: 81819 ... c Min unsat cost LB: 81835 ... c Min unsat cost LB: 81842 ... c Min unsat cost LB: 81897 ... c Min unsat cost LB: 81951 ... c Min unsat cost LB: 81957 ... c Min unsat cost LB: 82006 ... c Min unsat cost LB: 82010 ... c Min unsat cost LB: 82055 ... c Min unsat cost LB: 82056 ... c Min unsat cost LB: 82058 ... c Min unsat cost LB: 82077 ... c Min unsat cost LB: 82081 ... c Min unsat cost LB: 82083 ... c Min unsat cost LB: 82099 ... c Min unsat cost LB: 82131 ... c Min unsat cost LB: 82132 ... c Min unsat cost LB: 82133 ... c Min unsat cost LB: 82137 ... c Min unsat cost LB: 82144 ... c Min unsat cost LB: 82154 ... c Min unsat cost LB: 82170 ... c Min unsat cost LB: 82181 ... c Min unsat cost LB: 82186 ... c Min unsat cost LB: 82187 ... c Min unsat cost LB: 82209 ... c Min unsat cost LB: 82212 ... c Min unsat cost LB: 82235 ... c Min unsat cost LB: 82238 ... c Min unsat cost LB: 82241 ... c Min unsat cost LB: 82244 ... c Min unsat cost LB: 82261 ... c Min unsat cost LB: 82264 ... c Min unsat cost LB: 82267 ... c Min unsat cost LB: 82270 ... c Min unsat cost LB: 82273 ... c Min unsat cost LB: 82280 ... c Min unsat cost LB: 82281 ... c Min unsat cost LB: 82284 ... c Min unsat cost LB: 82289 ... c Min unsat cost LB: 82321 ... c Min unsat cost LB: 82351 ... c Min unsat cost LB: 82377 ... c Min unsat cost LB: 82417 ... c Min unsat cost LB: 82429 ... c Min unsat cost LB: 82436 ... c Min unsat cost LB: 82439 ... c Min unsat cost LB: 82475 ... c Min unsat cost LB: 82485 ... c Min unsat cost LB: 82487 ... c Min unsat cost LB: 82489 ... c Min unsat cost LB: 82491 ... c Min unsat cost LB: 82496 ... c Min unsat cost LB: 82505 ... c Min unsat cost LB: 82506 ... c Min unsat cost LB: 82525 ... c Min unsat cost LB: 82526 ... c Min unsat cost LB: 82527 ... c Min unsat cost LB: 82533 ... c Min unsat cost LB: 82534 ... c Min unsat cost LB: 82535 ... c Min unsat cost LB: 82574 ... c Min unsat cost LB: 82575 ... c Min unsat cost LB: 82576 ... c Min unsat cost LB: 82577 ... c Min unsat cost LB: 82578 ... c Min unsat cost LB: 82579 ... c Min unsat cost LB: 82582 ... c Min unsat cost LB: 82584 ... c Min unsat cost LB: 82586 ... c Min unsat cost LB: 82595 ... c Min unsat cost LB: 82596 ... c Min unsat cost LB: 82627 ... c Min unsat cost LB: 82629 ... c Min unsat cost LB: 82630 ... c Min unsat cost LB: 82631 ... c Min unsat cost LB: 82644 ... c Min unsat cost LB: 82648 ... c Min unsat cost LB: 82650 ... c Min unsat cost LB: 82651 ... c Min unsat cost LB: 82652 ... c Min unsat cost LB: 82653 ... c Min unsat cost LB: 82654 ... c Min unsat cost LB: 82655 ... c Min unsat cost LB: 82665 ... c Min unsat cost LB: 82666 ... c Min unsat cost LB: 82667 ... c Min unsat cost LB: 82668 ... c Min unsat cost LB: 82674 ... c Min unsat cost LB: 82686 ... c Min unsat cost LB: 82700 ... c Min unsat cost LB: 82701 ... c Min unsat cost LB: 82715 ... c Min unsat cost LB: 82716 ... c Min unsat cost LB: 82735 ... c Min unsat cost LB: 82736 ... c Min unsat cost LB: 82741 ... c Min unsat cost LB: 82743 ... c Min unsat cost LB: 82745 ... c Min unsat cost LB: 82746 ... c Min unsat cost LB: 82747 ... c Min unsat cost LB: 82748 ... c Min unsat cost LB: 82749 ... c Min unsat cost LB: 82751 ... c Min unsat cost LB: 82752 ... c Min unsat cost LB: 82757 ... c Min unsat cost LB: 82769 ... c Min unsat cost LB: 82773 ... c Min unsat cost LB: 82775 ... c Min unsat cost LB: 82776 ... c Min unsat cost LB: 82777 ... c Min unsat cost LB: 82781 ... c Min unsat cost LB: 82786 ... c Min unsat cost LB: 82801 ... c Min unsat cost LB: 82802 ... c Min unsat cost LB: 82805 ... c Min unsat cost LB: 82842 ... c Min unsat cost LB: 82852 ... c Min unsat cost LB: 82857 ... c Min unsat cost LB: 82858 ... c Min unsat cost LB: 82861 ... c Min unsat cost LB: 82866 ... c Min unsat cost LB: 82867 ... c Min unsat cost LB: 82872 ... c Min unsat cost LB: 82877 ... c Min unsat cost LB: 82879 ... c Min unsat cost LB: 82884 ... c Min unsat cost LB: 82887 ... c Min unsat cost LB: 82895 ... c Min unsat cost LB: 82897 ... c Min unsat cost LB: 82898 ... c Min unsat cost LB: 82903 ... c Min unsat cost LB: 82904 ... c Min unsat cost LB: 82905 ... c Min unsat cost LB: 82907 ... c Min unsat cost LB: 82908 ... c Min unsat cost LB: 82911 ... c Min unsat cost LB: 82912 ... c Min unsat cost LB: 82913 ... c Min unsat cost LB: 82915 ... c Min unsat cost LB: 82923 ... c Min unsat cost LB: 82932 ... c Min unsat cost LB: 82977 ... c Min unsat cost LB: 82979 ... c Min unsat cost LB: 83265 ... c Min unsat cost LB: 83320 ... c Min unsat cost LB: 83321 ... c Min unsat cost LB: 83322 ... c Min unsat cost LB: 83323 ... c Min unsat cost LB: 83327 ... c Min unsat cost LB: 83380 ... c Min unsat cost LB: 83451 ... c Min unsat cost LB: 83480 ... c Min unsat cost LB: 83505 ... c Min unsat cost LB: 83545 ... c Min unsat cost LB: 83546 ... c Min unsat cost LB: 83598 ... c Min unsat cost LB: 83599 ... c Min unsat cost LB: 83600 ... c Min unsat cost LB: 83602 ... c Min unsat cost LB: 83603 ... c Min unsat cost LB: 83604 ... c Min unsat cost LB: 83605 ... c Min unsat cost LB: 83609 ... c Min unsat cost LB: 83635 ... c Min unsat cost LB: 83636 ... c Min unsat cost LB: 83637 ... c Min unsat cost LB: 83638 ... c Min unsat cost LB: 83639 ... c Min unsat cost LB: 83662 ... c Min unsat cost LB: 83684 ... c Min unsat cost LB: 83713 ... c Min unsat cost LB: 83778 ... c Min unsat cost LB: 83780 ... c Min unsat cost LB: 83781 ... c Min unsat cost LB: 83889 ... c Min unsat cost LB: 83912 ... c Min unsat cost LB: 83920 ... c Min unsat cost LB: 83951 ... c Min unsat cost LB: 83994 ... c Min unsat cost LB: 83995 ... c Min unsat cost LB: 84001 ... c Min unsat cost LB: 84002 ... c Min unsat cost LB: 84020 ... c Min unsat cost LB: 84362 ... c Min unsat cost LB: 84704 ... c Min unsat cost LB: 84937 ... c Min unsat cost LB: 84939 ... c Min unsat cost LB: 84941 ... c Min unsat cost LB: 84943 ... c Min unsat cost LB: 84961 ... c Min unsat cost LB: 84962 ... c Min unsat cost LB: 84963 ... c Min unsat cost LB: 84968 ... c Min unsat cost LB: 84971 ... c Min unsat cost LB: 84973 ... c Min unsat cost LB: 84975 ... c Min unsat cost LB: 85009 ... c Min unsat cost LB: 85020 ... c Min unsat cost LB: 85024 ... c Min unsat cost LB: 85027 ... c Min unsat cost LB: 85062 ... c Min unsat cost LB: 85065 ... c Min unsat cost LB: 85071 ... c Min unsat cost LB: 85075 ... c Min unsat cost LB: 85078 ... c Min unsat cost LB: 85093 ... c Min unsat cost LB: 85096 ... c Min unsat cost LB: 85179 ... c Min unsat cost LB: 85180 ... c Min unsat cost LB: 85181 ... c Min unsat cost LB: 85182 ... c Min unsat cost LB: 85184 ... c Min unsat cost LB: 85185 ... c Min unsat cost LB: 85187 ... c Min unsat cost LB: 85230 ... c Min unsat cost LB: 85234 ... c Min unsat cost LB: 85469 ... c Min unsat cost LB: 85470 ... c Min unsat cost LB: 85471 ... c Min unsat cost LB: 85472 ... c Min unsat cost LB: 85649 ... c Min unsat cost LB: 85668 ... c Min unsat cost LB: 85679 ... c Min unsat cost LB: 85691 ... c Min unsat cost LB: 86129 ... c Min unsat cost LB: 86137 ... c Min unsat cost LB: 86139 ... c Min unsat cost LB: 86141 ... c Min unsat cost LB: 86150 ... c Min unsat cost LB: 86208 ... c Min unsat cost LB: 86211 ... c Min unsat cost LB: 86235 ... c Min unsat cost LB: 86293 ... c Min unsat cost LB: 86347 ... c Min unsat cost LB: 86349 ... c Min unsat cost LB: 86352 ... c Min unsat cost LB: 86505 ... c Min unsat cost LB: 86511 ... c Min unsat cost LB: 87140 ... c Min unsat cost LB: 87143 ... c Min unsat cost LB: 87144 ... c Min unsat cost LB: 87145 ... c Min unsat cost LB: 87149 ... c Min unsat cost LB: 87150 ... c Min unsat cost LB: 87152 ... c Min unsat cost LB: 87153 ... c Min unsat cost LB: 87154 ... c Min unsat cost LB: 87155 ... c Min unsat cost LB: 87162 ... c Min unsat cost LB: 87164 ... c Min unsat cost LB: 87165 ... c Min unsat cost LB: 87166 ... c Min unsat cost LB: 87168 ... c Min unsat cost LB: 87169 ... c Min unsat cost LB: 87170 ... c Min unsat cost LB: 87171 ... c Min unsat cost LB: 87173 ... c Min unsat cost LB: 87174 ... c Min unsat cost LB: 87554 ... c Min unsat cost LB: 87610 ... c Min unsat cost LB: 87611 ... c Min unsat cost LB: 87632 ... c Min unsat cost LB: 87659 ... c Min unsat cost LB: 87707 ... c Min unsat cost LB: 87754 ... c Min unsat cost LB: 87769 ... c Min unsat cost LB: 87789 ... c Min unsat cost LB: 87830 ... c Min unsat cost LB: 87837 ... c Min unsat cost LB: 87849 ... c Min unsat cost LB: 87852 ... c Min unsat cost LB: 87853 ... c Min unsat cost LB: 87854 ... c Min unsat cost LB: 87855 ... c Min unsat cost LB: 87856 ... c Min unsat cost LB: 87857 ... c Min unsat cost LB: 87858 ... c Min unsat cost LB: 87859 ... c Min unsat cost LB: 87860 ... c Min unsat cost LB: 87862 ... c Min unsat cost LB: 87863 ... c Min unsat cost LB: 87874 ... c Min unsat cost LB: 87876 ... c Min unsat cost LB: 87878 ... c Min unsat cost LB: 87888 ... c Min unsat cost LB: 87889 ... c Min unsat cost LB: 87890 ... c Min unsat cost LB: 87891 ... c Min unsat cost LB: 87892 ... c Min unsat cost LB: 87893 ... c Min unsat cost LB: 87898 ... c Min unsat cost LB: 87904 ... c Min unsat cost LB: 87905 ... c Min unsat cost LB: 87906 ... c Min unsat cost LB: 87909 ... c Min unsat cost LB: 87910 ... c Min unsat cost LB: 87922 ... c Min unsat cost LB: 87934 ... c Min unsat cost LB: 87935 ... c Min unsat cost LB: 87936 ... c Min unsat cost LB: 87937 ... c Min unsat cost LB: 87938 ... c Min unsat cost LB: 87939 ... c Min unsat cost LB: 87942 ... c Min unsat cost LB: 88234 ... c Min unsat cost LB: 88235 ... c Min unsat cost LB: 88236 ... c Min unsat cost LB: 88237 ... c Min unsat cost LB: 88238 ... c Min unsat cost LB: 88239 ... c Min unsat cost LB: 88243 ... c Min unsat cost LB: 88245 ... 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: 88283 ... c Min unsat cost LB: 88288 ... c Min unsat cost LB: 88289 ... c Min unsat cost LB: 88290 ... c Min unsat cost LB: 88291 ... c Min unsat cost LB: 88292 ... c Min unsat cost LB: 88294 ... c Min unsat cost LB: 88296 ... c Min unsat cost LB: 88298 ... c Min unsat cost LB: 88299 ... c Min unsat cost LB: 88306 ... c Min unsat cost LB: 88309 ... c Min unsat cost LB: 88310 ... c Min unsat cost LB: 88313 ... c Min unsat cost LB: 88317 ... c Min unsat cost LB: 88320 ... c Min unsat cost LB: 88322 ... c Min unsat cost LB: 88323 ... c Min unsat cost LB: 88327 ... c Min unsat cost LB: 88329 ... c Min unsat cost LB: 88333 ... c Min unsat cost LB: 88336 ... c Min unsat cost LB: 88337 ... c Min unsat cost LB: 88338 ... c Min unsat cost LB: 88339 ... c Min unsat cost LB: 88341 ... c Min unsat cost LB: 88342 ... c Min unsat cost LB: 88343 ... c Min unsat cost LB: 88344 ... c Min unsat cost LB: 88345 ... c Min unsat cost LB: 88352 ... c Min unsat cost LB: 88649 ... c Min unsat cost LB: 88670 ... c Min unsat cost LB: 88671 ... c Min unsat cost LB: 88673 ... c Min unsat cost LB: 88674 ... c Min unsat cost LB: 88675 ... c Min unsat cost LB: 88676 ... c Min unsat cost LB: 88678 ... c Min unsat cost LB: 88679 ... c Min unsat cost LB: 88680 ... c Min unsat cost LB: 88681 ... c Min unsat cost LB: 88682 ... c Min unsat cost LB: 88683 ... c Min unsat cost LB: 88684 ... c Min unsat cost LB: 88688 ... c Min unsat cost LB: 88689 ... c Min unsat cost LB: 88690 ... c Min unsat cost LB: 88691 ... c Min unsat cost LB: 88692 ... c Min unsat cost LB: 88698 ... c Min unsat cost LB: 88699 ... c Min unsat cost LB: 88700 ... c Min unsat cost LB: 88738 ... c Min unsat cost LB: 88739 ... c Min unsat cost LB: 88740 ... c Min unsat cost LB: 88742 ... c Min unsat cost LB: 88743 ... c Min unsat cost LB: 88744 ... c Min unsat cost LB: 88748 ... c Min unsat cost LB: 88771 ... c Min unsat cost LB: 88772 ... c Min unsat cost LB: 88774 ... c Min unsat cost LB: 88775 ... c Min unsat cost LB: 88776 ... c Min unsat cost LB: 88777 ... c Min unsat cost LB: 88778 ... c Min unsat cost LB: 88779 ... c Min unsat cost LB: 88780 ... c Min unsat cost LB: 88781 ... c Min unsat cost LB: 88782 ... c Min unsat cost LB: 88784 ... c Min unsat cost LB: 88785 ... c Min unsat cost LB: 88786 ... c Min unsat cost LB: 88801 ... c Min unsat cost LB: 88802 ... c Min unsat cost LB: 88803 ... c Min unsat cost LB: 88804 ... c Min unsat cost LB: 88805 ... c Min unsat cost LB: 88806 ... c Min unsat cost LB: 88807 ... c Min unsat cost LB: 88808 ... c Min unsat cost LB: 88809 ... c Min unsat cost LB: 88810 ... c Min unsat cost LB: 88828 ... c Min unsat cost LB: 88943 ... c Min unsat cost LB: 88944 ... c Min unsat cost LB: 88945 ... c Min unsat cost LB: 88946 ... c Min unsat cost LB: 88947 ... c Min unsat cost LB: 88948 ... c Min unsat cost LB: 88949 ... c Min unsat cost LB: 88950 ... c Min unsat cost LB: 88951 ... c Min unsat cost LB: 88952 ... c Min unsat cost LB: 88953 ... c Min unsat cost LB: 88956 ... c Min unsat cost LB: 88957 ... c Min unsat cost LB: 88978 ... c Min unsat cost LB: 88980 ... c Min unsat cost LB: 88981 ... c Min unsat cost LB: 88982 ... c Min unsat cost LB: 89002 ... c Min unsat cost LB: 89020 ... c Min unsat cost LB: 89022 ... c Min unsat cost LB: 89023 ... c Min unsat cost LB: 89024 ... c Min unsat cost LB: 89025 ... c Min unsat cost LB: 89027 ... c Min unsat cost LB: 89028 ... c Min unsat cost LB: 89029 ... c Min unsat cost LB: 89031 ... c Min unsat cost LB: 89035 ... c Min unsat cost LB: 89036 ... c Min unsat cost LB: 89040 ... c Min unsat cost LB: 89041 ... c Min unsat cost LB: 89045 ... c Min unsat cost LB: 89046 ... c Min unsat cost LB: 89047 ... c Min unsat cost LB: 89048 ... c Min unsat cost LB: 89049 ... c Min unsat cost LB: 89050 ... c Min unsat cost LB: 89051 ... c Min unsat cost LB: 89053 ... c Min unsat cost LB: 89054 ... c Min unsat cost LB: 89058 ... c Min unsat cost LB: 89074 ... c Min unsat cost LB: 89075 ... c Min unsat cost LB: 89076 ... c Min unsat cost LB: 89077 ... c Min unsat cost LB: 89113 ... c Min unsat cost LB: 89115 ... c Min unsat cost LB: 89116 ... c Min unsat cost LB: 89131 ... c Min unsat cost LB: 89132 ... c Min unsat cost LB: 89133 ... c Min unsat cost LB: 89134 ... c Min unsat cost LB: 89135 ... c Min unsat cost LB: 89136 ... c Min unsat cost LB: 89137 ... c Min unsat cost LB: 89138 ... c Min unsat cost LB: 89139 ... c Min unsat cost LB: 89140 ... c Min unsat cost LB: 89141 ... c Min unsat cost LB: 89142 ... c Min unsat cost LB: 89143 ... c Min unsat cost LB: 89145 ... c Min unsat cost LB: 89146 ... c Min unsat cost LB: 89147 ... c Min unsat cost LB: 89148 ... c Min unsat cost LB: 89149 ... c Min unsat cost LB: 89151 ... c Min unsat cost LB: 89152 ... c Min unsat cost LB: 89153 ... c Min unsat cost LB: 89154 ... c Min unsat cost LB: 89155 ... c Min unsat cost LB: 89156 ... c Min unsat cost LB: 89157 ... c Min unsat cost LB: 89159 ... c Min unsat cost LB: 89160 ... c Min unsat cost LB: 89161 ... c Min unsat cost LB: 89165 ... c Min unsat cost LB: 89166 ... c Min unsat cost LB: 89167 ... c Min unsat cost LB: 89168 ... c Min unsat cost LB: 89169 ... c Min unsat cost LB: 89170 ... c Min unsat cost LB: 89171 ... c Min unsat cost LB: 89172 ... c Min unsat cost LB: 89173 ... c Min unsat cost LB: 89174 ... c Min unsat cost LB: 89175 ... c Min unsat cost LB: 89176 ... c Min unsat cost LB: 89177 ... c Min unsat cost LB: 89178 ... c Min unsat cost LB: 89182 ... c Min unsat cost LB: 89184 ... c Min unsat cost LB: 89185 ... 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: 89190 ... c Min unsat cost LB: 89191 ... c Min unsat cost LB: 89192 ... c Min unsat cost LB: 89195 ... c Min unsat cost LB: 89196 ... c Min unsat cost LB: 89198 ... c Min unsat cost LB: 89199 ... c Min unsat cost LB: 89200 ... c Min unsat cost LB: 89201 ... c Min unsat cost LB: 89202 ... c Min unsat cost LB: 89203 ... c Min unsat cost LB: 89205 ... c Min unsat cost LB: 89208 ... c Min unsat cost LB: 89211 ... c Min unsat cost LB: 89220 ... c Min unsat cost LB: 89221 ... c Min unsat cost LB: 89232 ... c Min unsat cost LB: 89233 ... c Min unsat cost LB: 89234 ... c Min unsat cost LB: 89235 ... c Min unsat cost LB: 89236 ... c Min unsat cost LB: 89237 ... c Min unsat cost LB: 89239 ... c Min unsat cost LB: 89244 ... 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: 89262 ... c Min unsat cost LB: 89385 ... c Min unsat cost LB: 89386 ... c Min unsat cost LB: 89387 ... c Min unsat cost LB: 89388 ... c Min unsat cost LB: 89392 ... c Min unsat cost LB: 89393 ... c Min unsat cost LB: 89394 ... c Min unsat cost LB: 89395 ... c Min unsat cost LB: 89396 ... 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: 89402 ... c Min unsat cost LB: 89404 ... c Min unsat cost LB: 89410 ... c Min unsat cost LB: 89475 ... c Min unsat cost LB: 89535 ... c Min unsat cost LB: 89536 ... c Min unsat cost LB: 89538 ... c Min unsat cost LB: 89539 ... c Min unsat cost LB: 89540 ... c Min unsat cost LB: 89541 ... c Min unsat cost LB: 89542 ... c Min unsat cost LB: 89543 ... c Min unsat cost LB: 89544 ... c Min unsat cost LB: 89545 ... c Min unsat cost LB: 89550 ... c Min unsat cost LB: 89551 ... c Min unsat cost LB: 89555 ... c Min unsat cost LB: 89556 ... c Min unsat cost LB: 89557 ... c Min unsat cost LB: 89558 ... c Min unsat cost LB: 89559 ... c Min unsat cost LB: 89560 ... c Min unsat cost LB: 89561 ... c Min unsat cost LB: 89562 ... c Min unsat cost LB: 89597 ... c Min unsat cost LB: 89598 ... c Min unsat cost LB: 90361 ... c Min unsat cost LB: 90362 ... c Min unsat cost LB: 90417 ... c Min unsat cost LB: 90645 ... c Min unsat cost LB: 90649 ... c Min unsat cost LB: 90653 ... c Min unsat cost LB: 90654 ... c Min unsat cost LB: 90655 ... c Min unsat cost LB: 90656 ... c Min unsat cost LB: 90657 ... c Min unsat cost LB: 90658 ... c Min unsat cost LB: 90659 ... c Min unsat cost LB: 90660 ... c Min unsat cost LB: 90661 ... c Min unsat cost LB: 90662 ... c Min unsat cost LB: 90665 ... c Min unsat cost LB: 90666 ... c Min unsat cost LB: 90667 ... c Min unsat cost LB: 90668 ... c Min unsat cost LB: 90669 ... c Min unsat cost LB: 90694 ... c Min unsat cost LB: 90695 ... c Min unsat cost LB: 90696 ... c Min unsat cost LB: 90698 ... c Min unsat cost LB: 90701 ... c Min unsat cost LB: 90702 ... c Min unsat cost LB: 90703 ... c Min unsat cost LB: 90707 ... c Min unsat cost LB: 90708 ... c Min unsat cost LB: 90709 ... c Min unsat cost LB: 90712 ... c Min unsat cost LB: 90713 ... c Min unsat cost LB: 90716 ... c Min unsat cost LB: 90793 ... c Min unsat cost LB: 90794 ... c Min unsat cost LB: 90795 ... c Min unsat cost LB: 90796 ... c Min unsat cost LB: 90797 ... c Min unsat cost LB: 90802 ... c Min unsat cost LB: 90808 ... c Min unsat cost LB: 90809 ... c Min unsat cost LB: 90812 ... c Min unsat cost LB: 90877 ... c Min unsat cost LB: 90878 ... c Min unsat cost LB: 90899 ... c Min unsat cost LB: 90915 ... c Min unsat cost LB: 90916 ... c Min unsat cost LB: 90917 ... c Min unsat cost LB: 90918 ... c Min unsat cost LB: 90919 ... c Min unsat cost LB: 90921 ... c Min unsat cost LB: 90922 ... c Min unsat cost LB: 90923 ... c Min unsat cost LB: 90924 ... c Min unsat cost LB: 90925 ... c Min unsat costKilled 1814.896u 4.844s 30:19.85 99.9% 0+0k 0+0io 0pf+0w