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_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0005.txt.wcnf *** c c Min unsat cost LB: 536 ... c Min unsat cost LB: 1674 ... c Min unsat cost LB: 2210 ... c Min unsat cost LB: 2746 ... c Min unsat cost LB: 2937 ... c Min unsat cost LB: 3742 ... c Min unsat cost LB: 4052 ... c Min unsat cost LB: 4745 ... c Min unsat cost LB: 5554 ... c Min unsat cost LB: 5679 ... c Min unsat cost LB: 6817 ... c Min unsat cost LB: 7698 ... c Min unsat cost LB: 8011 ... c Min unsat cost LB: 9274 ... c Min unsat cost LB: 9484 ... c Min unsat cost LB: 10096 ... c Min unsat cost LB: 10833 ... c Min unsat cost LB: 10949 ... c Min unsat cost LB: 11102 ... c Min unsat cost LB: 11795 ... c Min unsat cost LB: 12397 ... c Min unsat cost LB: 13535 ... c Min unsat cost LB: 14228 ... c Min unsat cost LB: 14647 ... c Min unsat cost LB: 15532 ... c Min unsat cost LB: 16170 ... c Min unsat cost LB: 16244 ... c Min unsat cost LB: 16309 ... c Min unsat cost LB: 16314 ... c Min unsat cost LB: 16914 ... c Min unsat cost LB: 16992 ... c Min unsat cost LB: 17114 ... c Min unsat cost LB: 17752 ... c Min unsat cost LB: 18367 ... c Min unsat cost LB: 19319 ... c Min unsat cost LB: 19838 ... c Min unsat cost LB: 20217 ... c Min unsat cost LB: 21169 ... c Min unsat cost LB: 21723 ... c Min unsat cost LB: 22261 ... c Min unsat cost LB: 22695 ... c Min unsat cost LB: 23529 ... c Min unsat cost LB: 23719 ... c Min unsat cost LB: 23735 ... c Min unsat cost LB: 24209 ... c Min unsat cost LB: 24267 ... c Min unsat cost LB: 24490 ... c Min unsat cost LB: 24670 ... c Min unsat cost LB: 24834 ... c Min unsat cost LB: 25639 ... c Min unsat cost LB: 26688 ... c Min unsat cost LB: 26765 ... c Min unsat cost LB: 27856 ... c Min unsat cost LB: 27937 ... c Min unsat cost LB: 28906 ... c Min unsat cost LB: 29237 ... c Min unsat cost LB: 30071 ... c Min unsat cost LB: 30235 ... c Min unsat cost LB: 30863 ... c Min unsat cost LB: 30926 ... c Min unsat cost LB: 30965 ... c Min unsat cost LB: 31264 ... c Min unsat cost LB: 32080 ... c Min unsat cost LB: 32788 ... c Min unsat cost LB: 33426 ... c Min unsat cost LB: 33579 ... c Min unsat cost LB: 34045 ... c Min unsat cost LB: 34981 ... c Min unsat cost LB: 35786 ... c Min unsat cost LB: 35996 ... c Min unsat cost LB: 36602 ... c Min unsat cost LB: 36808 ... c Min unsat cost LB: 36828 ... c Min unsat cost LB: 36971 ... c Min unsat cost LB: 37843 ... c Min unsat cost LB: 37965 ... c Min unsat cost LB: 38980 ... c Min unsat cost LB: 39573 ... c Min unsat cost LB: 39767 ... c Min unsat cost LB: 40621 ... c Min unsat cost LB: 41636 ... c Min unsat cost LB: 42586 ... c Min unsat cost LB: 42611 ... c Min unsat cost LB: 42868 ... c Min unsat cost LB: 43401 ... c Min unsat cost LB: 43423 ... c Min unsat cost LB: 43716 ... c Min unsat cost LB: 43916 ... c Min unsat cost LB: 44711 ... c Min unsat cost LB: 45271 ... c Min unsat cost LB: 45305 ... c Min unsat cost LB: 46159 ... c Min unsat cost LB: 46833 ... c Min unsat cost LB: 47223 ... c Min unsat cost LB: 47895 ... c Min unsat cost LB: 48506 ... c Min unsat cost LB: 48634 ... c Min unsat cost LB: 48905 ... c Min unsat cost LB: 49650 ... c Min unsat cost LB: 49765 ... c Min unsat cost LB: 49893 ... c Min unsat cost LB: 50028 ... c Min unsat cost LB: 50834 ... c Min unsat cost LB: 51082 ... c Min unsat cost LB: 51162 ... c Min unsat cost LB: 51477 ... c Min unsat cost LB: 52293 ... c Min unsat cost LB: 52629 ... c Min unsat cost LB: 52656 ... c Min unsat cost LB: 53490 ... c Min unsat cost LB: 54296 ... c Min unsat cost LB: 54355 ... c Min unsat cost LB: 54630 ... c Min unsat cost LB: 55440 ... c Min unsat cost LB: 55465 ... c Min unsat cost LB: 55483 ... c Min unsat cost LB: 55636 ... c Min unsat cost LB: 56013 ... c Min unsat cost LB: 56848 ... c Min unsat cost LB: 57042 ... c Min unsat cost LB: 57279 ... c Min unsat cost LB: 57985 ... c Min unsat cost LB: 58459 ... c Min unsat cost LB: 58576 ... c Min unsat cost LB: 58786 ... c Min unsat cost LB: 59112 ... c Min unsat cost LB: 59750 ... c Min unsat cost LB: 59766 ... c Min unsat cost LB: 59928 ... c Min unsat cost LB: 59956 ... c Min unsat cost LB: 60258 ... c Min unsat cost LB: 60776 ... c Min unsat cost LB: 60886 ... c Min unsat cost LB: 60995 ... c Min unsat cost LB: 61509 ... c Min unsat cost LB: 61527 ... c Min unsat cost LB: 61689 ... c Min unsat cost LB: 61705 ... c Min unsat cost LB: 62298 ... c Min unsat cost LB: 62462 ... c Min unsat cost LB: 62615 ... c Min unsat cost LB: 62872 ... c Min unsat cost LB: 63306 ... c Min unsat cost LB: 63580 ... c Min unsat cost LB: 63605 ... c Min unsat cost LB: 63686 ... c Min unsat cost LB: 63817 ... c Min unsat cost LB: 64389 ... c Min unsat cost LB: 64710 ... c Min unsat cost LB: 64951 ... c Min unsat cost LB: 65188 ... c Min unsat cost LB: 65345 ... c Min unsat cost LB: 65782 ... c Min unsat cost LB: 66057 ... c Min unsat cost LB: 66455 ... c Min unsat cost LB: 66600 ... c Min unsat cost LB: 67298 ... c Min unsat cost LB: 67791 ... c Min unsat cost LB: 67797 ... c Min unsat cost LB: 67879 ... c Min unsat cost LB: 67993 ... c Min unsat cost LB: 68551 ... c Min unsat cost LB: 69243 ... c Min unsat cost LB: 69484 ... c Min unsat cost LB: 69759 ... c Min unsat cost LB: 69769 ... c Min unsat cost LB: 69817 ... c Min unsat cost LB: 70088 ... c Min unsat cost LB: 70216 ... c Min unsat cost LB: 70375 ... c Min unsat cost LB: 70431 ... c Min unsat cost LB: 70711 ... c Min unsat cost LB: 70774 ... c Min unsat cost LB: 70928 ... c Min unsat cost LB: 70938 ... c Min unsat cost LB: 70956 ... c Min unsat cost LB: 71018 ... c Min unsat cost LB: 71218 ... c Min unsat cost LB: 71237 ... c Min unsat cost LB: 71627 ... c Min unsat cost LB: 71701 ... c Min unsat cost LB: 71745 ... c Min unsat cost LB: 71793 ... c Min unsat cost LB: 71918 ... c Min unsat cost LB: 72027 ... c Min unsat cost LB: 72044 ... c Min unsat cost LB: 72416 ... c Min unsat cost LB: 72530 ... c Min unsat cost LB: 72556 ... c Min unsat cost LB: 72733 ... c Min unsat cost LB: 72796 ... c Min unsat cost LB: 72839 ... c Min unsat cost LB: 72892 ... c Min unsat cost LB: 73019 ... c Min unsat cost LB: 73117 ... c Min unsat cost LB: 73300 ... c Min unsat cost LB: 73378 ... c Min unsat cost LB: 73485 ... c Min unsat cost LB: 73619 ... c Min unsat cost LB: 73678 ... c Min unsat cost LB: 73776 ... c Min unsat cost LB: 73819 ... c Min unsat cost LB: 73875 ... c Min unsat cost LB: 73999 ... c Min unsat cost LB: 74103 ... c Min unsat cost LB: 74249 ... c Min unsat cost LB: 74279 ... c Min unsat cost LB: 74334 ... c Min unsat cost LB: 74439 ... c Min unsat cost LB: 74568 ... c Min unsat cost LB: 74628 ... c Min unsat cost LB: 74710 ... c Min unsat cost LB: 74856 ... c Min unsat cost LB: 74921 ... c Min unsat cost LB: 75089 ... c Min unsat cost LB: 75132 ... c Min unsat cost LB: 75162 ... c Min unsat cost LB: 75336 ... c Min unsat cost LB: 75364 ... c Min unsat cost LB: 75399 ... c Min unsat cost LB: 75606 ... c Min unsat cost LB: 75686 ... c Min unsat cost LB: 75735 ... c Min unsat cost LB: 75859 ... c Min unsat cost LB: 75915 ... c Min unsat cost LB: 75945 ... c Min unsat cost LB: 76052 ... c Min unsat cost LB: 76130 ... c Min unsat cost LB: 76136 ... c Min unsat cost LB: 76155 ... c Min unsat cost LB: 76685 ... c Min unsat cost LB: 76904 ... c Min unsat cost LB: 76952 ... c Min unsat cost LB: 77009 ... c Min unsat cost LB: 77039 ... c Min unsat cost LB: 77044 ... c Min unsat cost LB: 77106 ... c Min unsat cost LB: 77293 ... c Min unsat cost LB: 77298 ... c Min unsat cost LB: 77328 ... c Min unsat cost LB: 77647 ... c Min unsat cost LB: 77649 ... c Min unsat cost LB: 77665 ... c Min unsat cost LB: 77670 ... c Min unsat cost LB: 77721 ... c Min unsat cost LB: 77741 ... c Min unsat cost LB: 77743 ... c Min unsat cost LB: 77892 ... c Min unsat cost LB: 77973 ... c Min unsat cost LB: 78005 ... c Min unsat cost LB: 78007 ... c Min unsat cost LB: 78010 ... c Min unsat cost LB: 78108 ... c Min unsat cost LB: 78198 ... c Min unsat cost LB: 78266 ... c Min unsat cost LB: 78368 ... c Min unsat cost LB: 78395 ... c Min unsat cost LB: 78398 ... c Min unsat cost LB: 78411 ... c Min unsat cost LB: 78453 ... c Min unsat cost LB: 78462 ... c Min unsat cost LB: 78478 ... c Min unsat cost LB: 78520 ... c Min unsat cost LB: 78590 ... c Min unsat cost LB: 78727 ... c Min unsat cost LB: 78784 ... c Min unsat cost LB: 78801 ... c Min unsat cost LB: 78862 ... c Min unsat cost LB: 78948 ... c Min unsat cost LB: 79076 ... c Min unsat cost LB: 79158 ... c Min unsat cost LB: 79187 ... c Min unsat cost LB: 79205 ... c Min unsat cost LB: 79224 ... c Min unsat cost LB: 79259 ... c Min unsat cost LB: 79303 ... c Min unsat cost LB: 79323 ... c Min unsat cost LB: 79424 ... c Min unsat cost LB: 79566 ... c Min unsat cost LB: 79764 ... c Min unsat cost LB: 79808 ... c Min unsat cost LB: 79841 ... c Min unsat cost LB: 79943 ... c Min unsat cost LB: 80017 ... c Min unsat cost LB: 80024 ... c Min unsat cost LB: 80126 ... c Min unsat cost LB: 80137 ... c Min unsat cost LB: 80274 ... c Min unsat cost LB: 80295 ... c Min unsat cost LB: 80302 ... c Min unsat cost LB: 80322 ... c Min unsat cost LB: 80351 ... c Min unsat cost LB: 80433 ... c Min unsat cost LB: 80495 ... c Min unsat cost LB: 80505 ... c Min unsat cost LB: 80648 ... c Min unsat cost LB: 80660 ... c Min unsat cost LB: 80748 ... c Min unsat cost LB: 80835 ... c Min unsat cost LB: 80866 ... c Min unsat cost LB: 80983 ... c Min unsat cost LB: 80997 ... c Min unsat cost LB: 81067 ... c Min unsat cost LB: 81099 ... c Min unsat cost LB: 81153 ... c Min unsat cost LB: 81170 ... c Min unsat cost LB: 81256 ... c Min unsat cost LB: 81262 ... c Min unsat cost LB: 81597 ... c Min unsat cost LB: 81633 ... c Min unsat cost LB: 81974 ... c Min unsat cost LB: 82009 ... c Min unsat cost LB: 82087 ... c Min unsat cost LB: 82126 ... c Min unsat cost LB: 82406 ... c Min unsat cost LB: 82440 ... c Min unsat cost LB: 82702 ... c Min unsat cost LB: 82716 ... c Min unsat cost LB: 82779 ... c Min unsat cost LB: 82805 ... c Min unsat cost LB: 82895 ... c Min unsat cost LB: 83228 ... c Min unsat cost LB: 83285 ... c Min unsat cost LB: 83337 ... c Min unsat cost LB: 83470 ... c Min unsat cost LB: 83533 ... c Min unsat cost LB: 83612 ... c Min unsat cost LB: 83700 ... c Min unsat cost LB: 83742 ... c Min unsat cost LB: 83901 ... c Min unsat cost LB: 84020 ... c Min unsat cost LB: 84109 ... c Min unsat cost LB: 84190 ... c Min unsat cost LB: 84200 ... c Min unsat cost LB: 84261 ... c Min unsat cost LB: 84263 ... c Min unsat cost LB: 84299 ... c Min unsat cost LB: 84315 ... c Min unsat cost LB: 84422 ... c Min unsat cost LB: 84506 ... c Min unsat cost LB: 84518 ... c Min unsat cost LB: 84532 ... c Min unsat cost LB: 84536 ... c Min unsat cost LB: 84546 ... c Min unsat cost LB: 84561 ... c Min unsat cost LB: 84813 ... c Min unsat cost LB: 84823 ... c Min unsat cost LB: 84882 ... c Min unsat cost LB: 84930 ... c Min unsat cost LB: 84935 ... c Min unsat cost LB: 84980 ... c Min unsat cost LB: 84986 ... c Min unsat cost LB: 84995 ... c Min unsat cost LB: 85005 ... c Min unsat cost LB: 85015 ... c Min unsat cost LB: 85025 ... c Min unsat cost LB: 85051 ... c Min unsat cost LB: 85055 ... c Min unsat cost LB: 85065 ... c Min unsat cost LB: 85094 ... c Min unsat cost LB: 85110 ... c Min unsat cost LB: 85113 ... c Min unsat cost LB: 85126 ... c Min unsat cost LB: 85156 ... c Min unsat cost LB: 85159 ... c Min unsat cost LB: 85204 ... c Min unsat cost LB: 85212 ... c Min unsat cost LB: 85260 ... c Min unsat cost LB: 85284 ... c Min unsat cost LB: 85286 ... c Min unsat cost LB: 85290 ... c Min unsat cost LB: 85317 ... c Min unsat cost LB: 85329 ... c Min unsat cost LB: 85338 ... c Min unsat cost LB: 85343 ... c Min unsat cost LB: 85346 ... c Min unsat cost LB: 85347 ... c Min unsat cost LB: 85348 ... c Min unsat cost LB: 85373 ... c Min unsat cost LB: 85408 ... c Min unsat cost LB: 85409 ... c Min unsat cost LB: 85415 ... c Min unsat cost LB: 85462 ... c Min unsat cost LB: 85495 ... c Min unsat cost LB: 85508 ... c Min unsat cost LB: 85525 ... c Min unsat cost LB: 85529 ... c Min unsat cost LB: 85555 ... c Min unsat cost LB: 85619 ... c Min unsat cost LB: 85621 ... c Min unsat cost LB: 85626 ... c Min unsat cost LB: 85628 ... c Min unsat cost LB: 85632 ... c Min unsat cost LB: 85638 ... c Min unsat cost LB: 85642 ... c Min unsat cost LB: 85652 ... c Min unsat cost LB: 85662 ... c Min unsat cost LB: 85678 ... c Min unsat cost LB: 85688 ... c Min unsat cost LB: 85689 ... c Min unsat cost LB: 85701 ... c Min unsat cost LB: 85709 ... c Min unsat cost LB: 85714 ... c Min unsat cost LB: 85725 ... c Min unsat cost LB: 85738 ... c Min unsat cost LB: 85754 ... c Min unsat cost LB: 85757 ... c Min unsat cost LB: 85764 ... c Min unsat cost LB: 85766 ... c Min unsat cost LB: 85773 ... c Min unsat cost LB: 85775 ... c Min unsat cost LB: 85777 ... c Min unsat cost LB: 85780 ... c Min unsat cost LB: 85813 ... c Min unsat cost LB: 85815 ... c Min unsat cost LB: 85821 ... c Min unsat cost LB: 85824 ... c Min unsat cost LB: 85831 ... c Min unsat cost LB: 85836 ... c Min unsat cost LB: 85839 ... c Min unsat cost LB: 85840 ... c Min unsat cost LB: 85843 ... c Min unsat cost LB: 85846 ... c Min unsat cost LB: 85847 ... c Min unsat cost LB: 85858 ... c Min unsat cost LB: 85870 ... c Min unsat cost LB: 85875 ... c Min unsat cost LB: 85879 ... c Min unsat cost LB: 85898 ... c Min unsat cost LB: 85915 ... c Min unsat cost LB: 85935 ... c Min unsat cost LB: 86003 ... c Min unsat cost LB: 86016 ... c Min unsat cost LB: 86018 ... c Min unsat cost LB: 86069 ... c Min unsat cost LB: 86085 ... c Min unsat cost LB: 86111 ... c Min unsat cost LB: 86112 ... c Min unsat cost LB: 86120 ... c Min unsat cost LB: 86127 ... c Min unsat cost LB: 86155 ... c Min unsat cost LB: 86178 ... c Min unsat cost LB: 86179 ... c Min unsat cost LB: 86182 ... c Min unsat cost LB: 86185 ... c Min unsat cost LB: 86194 ... c Min unsat cost LB: 86201 ... c Min unsat cost LB: 86213 ... c Min unsat cost LB: 86234 ... c Min unsat cost LB: 86237 ... c Min unsat cost LB: 86257 ... c Min unsat cost LB: 86269 ... c Min unsat cost LB: 86275 ... c Min unsat cost LB: 86282 ... c Min unsat cost LB: 86285 ... c Min unsat cost LB: 86287 ... c Min unsat cost LB: 86295 ... c Min unsat cost LB: 86296 ... c Min unsat cost LB: 86312 ... c Min unsat cost LB: 86324 ... c Min unsat cost LB: 86326 ... c Min unsat cost LB: 86331 ... c Min unsat cost LB: 86336 ... c Min unsat cost LB: 86347 ... c Min unsat cost LB: 86357 ... c Min unsat cost LB: 86363 ... c Min unsat cost LB: 86410 ... c Min unsat cost LB: 86413 ... c Min unsat cost LB: 86420 ... c Min unsat cost LB: 86426 ... c Min unsat cost LB: 86430 ... c Min unsat cost LB: 86437 ... c Min unsat cost LB: 86448 ... c Min unsat cost LB: 86454 ... c Min unsat cost LB: 86457 ... c Min unsat cost LB: 86460 ... c Min unsat cost LB: 86466 ... c Min unsat cost LB: 86486 ... c Min unsat cost LB: 86490 ... c Min unsat cost LB: 86499 ... c Min unsat cost LB: 86516 ... c Min unsat cost LB: 86520 ... c Min unsat cost LB: 86530 ... c Min unsat cost LB: 86532 ... c Min unsat cost LB: 86535 ... c Min unsat cost LB: 86579 ... c Min unsat cost LB: 86597 ... c Min unsat cost LB: 86600 ... c Min unsat cost LB: 86639 ... c Min unsat cost LB: 86644 ... c Min unsat cost LB: 86663 ... c Min unsat cost LB: 86666 ... c Min unsat cost LB: 86682 ... c Min unsat cost LB: 86700 ... c Min unsat cost LB: 86705 ... c Min unsat cost LB: 86724 ... c Min unsat cost LB: 86728 ... c Min unsat cost LB: 86737 ... c Min unsat cost LB: 86762 ... c Min unsat cost LB: 86764 ... c Min unsat cost LB: 86770 ... c Min unsat cost LB: 86771 ... c Min unsat cost LB: 86773 ... c Min unsat cost LB: 86786 ... c Min unsat cost LB: 86791 ... c Min unsat cost LB: 86800 ... c Min unsat cost LB: 86810 ... c Min unsat cost LB: 86814 ... c Min unsat cost LB: 86816 ... c Min unsat cost LB: 86821 ... c Min unsat cost LB: 86827 ... c Min unsat cost LB: 86830 ... c Min unsat cost LB: 86831 ... c Min unsat cost LB: 86848 ... c Min unsat cost LB: 86883 ... c Min unsat cost LB: 86888 ... c Min unsat cost LB: 86935 ... c Min unsat cost LB: 86948 ... c Min unsat cost LB: 86956 ... c Min unsat cost LB: 86965 ... c Min unsat cost LB: 86972 ... c Min unsat cost LB: 86976 ... c Min unsat cost LB: 86977 ... c Min unsat cost LB: 86987 ... c Min unsat cost LB: 86989 ... c Min unsat cost LB: 86993 ... c Min unsat cost LB: 86995 ... c Min unsat cost LB: 87006 ... c Min unsat cost LB: 87007 ... c Min unsat cost LB: 87008 ... c Min unsat cost LB: 87010 ... c Min unsat cost LB: 87017 ... c Min unsat cost LB: 87018 ... c Min unsat cost LB: 87021 ... c Min unsat cost LB: 87024 ... c Min unsat cost LB: 87026 ... c Min unsat cost LB: 87028 ... c Min unsat cost LB: 87030 ... c Min unsat cost LB: 87031 ... c Min unsat cost LB: 87035 ... c Min unsat cost LB: 87050 ... c Min unsat cost LB: 87052 ... c Min unsat cost LB: 87065 ... c Min unsat cost LB: 87068 ... c Min unsat cost LB: 87074 ... c Min unsat cost LB: 87075 ... c Min unsat cost LB: 87077 ... c Min unsat cost LB: 87080 ... c Min unsat cost LB: 87082 ... c Min unsat cost LB: 87084 ... c Min unsat cost LB: 87091 ... c Min unsat cost LB: 87094 ... c Min unsat cost LB: 87096 ... c Min unsat cost LB: 87098 ... c Min unsat cost LB: 87102 ... c Min unsat cost LB: 87103 ... c Min unsat cost LB: 87111 ... c Min unsat cost LB: 87113 ... c Min unsat cost LB: 87135 ... c Min unsat cost LB: 87138 ... c Min unsat cost LB: 87144 ... c Min unsat cost LB: 87145 ... c Min unsat cost LB: 87150 ... c Min unsat cost LB: 87173 ... c Min unsat cost LB: 87179 ... c Min unsat cost LB: 87186 ... c Min unsat cost LB: 87213 ... c Min unsat cost LB: 87214 ... c Min unsat cost LB: 87224 ... c Min unsat cost LB: 87226 ... c Min unsat cost LB: 87228 ... c Min unsat cost LB: 87229 ... c Min unsat cost LB: 87230 ... c Min unsat cost LB: 87237 ... c Min unsat cost LB: 87248 ... c Min unsat cost LB: 87251 ... c Min unsat cost LB: 87252 ... c Min unsat cost LB: 87256 ... c Min unsat cost LB: 87262 ... c Min unsat cost LB: 87263 ... c Min unsat cost LB: 87268 ... c Min unsat cost LB: 87269 ... c Min unsat cost LB: 87270 ... c Min unsat cost LB: 87276 ... c Min unsat cost LB: 87281 ... c Min unsat cost LB: 87282 ... c Min unsat cost LB: 87284 ... c Min unsat cost LB: 87286 ... c Min unsat cost LB: 87287 ... c Min unsat cost LB: 87289 ... c Min unsat cost LB: 87294 ... c Min unsat cost LB: 87297 ... c Min unsat cost LB: 87299 ... c Min unsat cost LB: 87300 ... c Min unsat cost LB: 87301 ... c Min unsat cost LB: 87304 ... c Min unsat cost LB: 87305 ... c Min unsat cost LB: 87306 ... c Min unsat cost LB: 87307 ... c Min unsat cost LB: 87308 ... c Min unsat cost LB: 87309 ... c Min unsat cost LB: 87311 ... c Min unsat cost LB: 87315 ... c Min unsat cost LB: 87316 ... c Min unsat cost LB: 87317 ... c Min unsat cost LB: 87319 ... c Min unsat cost LB: 87320 ... c Min unsat cost LB: 87322 ... c Min unsat cost LB: 87323 ... c Min unsat cost LB: 87329 ... c Min unsat cost LB: 87357 ... c Min unsat cost LB: 87400 ... c Min unsat cost LB: 87406 ... c Min unsat cost LB: 87407 ... c Min unsat cost LB: 87408 ... c Min unsat cost LB: 87411 ... c Min unsat cost LB: 87412 ... c Min unsat cost LB: 87413 ... c Min unsat cost LB: 87417 ... c Min unsat cost LB: 87418 ... c Min unsat cost LB: 87419 ... c Min unsat cost LB: 87421 ... c Min unsat cost LB: 87422 ... c Min unsat cost LB: 87424 ... c Min unsat cost LB: 87428 ... c Min unsat cost LB: 87433 ... c Min unsat cost LB: 87435 ... c Min unsat cost LB: 87440 ... c Min unsat cost LB: 87441 ... c Min unsat cost LB: 87443 ... c Min unsat cost LB: 87457 ... c Min unsat cost LB: 87459 ... c Min unsat cost LB: 87460 ... c Min unsat cost LB: 87461 ... c Min unsat cost LB: 87462 ... c Min unsat cost LB: 87465 ... c Min unsat cost LB: 87466 ... c Min unsat cost LB: 87467 ... c Min unsat cost LB: 87469 ... c Min unsat cost LB: 87471 ... c Min unsat cost LB: 87472 ... c Min unsat cost LB: 87473 ... c Min unsat cost LB: 87474 ... c Min unsat cost LB: 87481 ... c Min unsat cost LB: 87482 ... c Min unsat cost LB: 87484 ... c Min unsat cost LB: 87485 ... c Min unsat cost LB: 87491 ... c Min unsat cost LB: 87498 ... c Min unsat cost LB: 87499 ... c Min unsat cost LB: 87500 ... c Min unsat cost LB: 87501 ... c Min unsat cost LB: 87503 ... c Min unsat cost LB: 87504 ... c Min unsat cost LB: 87505 ... c Min unsat cost LB: 87506 ... c Min unsat cost LB: 87507 ... c Min unsat cost LB: 87512 ... c Min unsat cost LB: 87524 ... c Min unsat cost LB: 87528 ... c Min unsat cost LB: 87533 ... c Min unsat cost LB: 87534 ... c Min unsat cost LB: 87535 ... c Min unsat cost LB: 87537 ... c Min unsat cost LB: 87581 ... c Min unsat cost LB: 87583 ... c Min unsat cost LB: 87584 ... c Min unsat cost LB: 87597 ... c Min unsat cost LB: 87623 ... c Min unsat cost LB: 87624 ... c Min unsat cost LB: 87625 ... c Min unsat cost LB: 87626 ... c Min unsat cost LB: 87627 ... c Min unsat cost LB: 87629 ... c Min unsat cost LB: 87630 ... c Min unsat cost LB: 87631 ... c Min unsat cost LB: 87632 ... c Min unsat cost LB: 87634 ... c Min unsat cost LB: 87635 ... c Min unsat cost LB: 87636 ... c Min unsat cost LB: 87637 ... c Min unsat cost LB: 87638 ... c Min unsat cost LB: 87639 ... c Min unsat cost LB: 87640 ... c Min unsat cost LB: 87643 ... c Min unsat cost LB: 87645 ... c Min unsat cost LB: 87646 ... c Min unsat cost LB: 87647 ... c Min unsat cost LB: 87661 ... c Min unsat cost LB: 87666 ... c Min unsat cost LB: 87697 ... c Min unsat cost LB: 87870 ... 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: 87896 ... c Min unsat cost LB: 87898 ... c Min unsat cost LB: 87899 ... c Min unsat cost LB: 87901 ... c Min unsat cost LB: 87902 ... c Min unsat cost LB: 87903 ... c Min unsat cost LB: 87905 ... c Min unsat cost LB: 87906 ... c Min unsat cost LB: 87907 ... c Min unsat cost LB: 87908 ... c Min unsat cost LB: 87909 ... c Min unsat cost LB: 87910 ... c Min unsat cost LB: 87911 ... c Min unsat cost LB: 87912 ... c Min unsat cost LB: 87913 ... c Min unsat cost LB: 87914 ... c Min unsat cost LB: 87915 ... c Min unsat cost LB: 87916 ... c Min unsat cost LB: 87917 ... c Min unsat cost LB: 87919 ... c Min unsat cost LB: 87920 ... c Min unsat cost LB: 87921 ... c Min unsat cost LB: 87922 ... c Min unsat cost LB: 87923 ... c Min unsat cost LB: 87924 ... c Min unsat cost LB: 87925 ... c Min unsat cost LB: 87928 ... c Min unsat cost LB: 87929 ... c Min unsat cost LB: 87932 ... c Min unsat cost LB: 87934 ... c Min unsat cost LB: 87935 ... c Min unsat cost LB: 87936 ... c Min unsat cost LB: 87945 ... c Min unsat cost LB: 87947 ... c Min unsat cost LB: 87976 ... c Min unsat cost LB: 87978 ... c Min unsat cost LB: 87984 ... c Min unsat cost LB: 87988 ... c Min unsat cost LB: 87989 ... c Min unsat cost LB: 87992 ... c Min unsat cost LB: 87994 ... c Min unsat cost LB: 88009 ... c Min unsat cost LB: 88011 ... c Min unsat cost LB: 88019 ... c Min unsat cost LB: 88029 ... c Min unsat cost LB: 88045 ... c Min unsat cost LB: 88050 ... c Min unsat cost LB: 88053 ... c Min unsat cost LB: 88054 ... c Min unsat cost LB: 88056 ... c Min unsat cost LB: 88058 ... c Min unsat cost LB: 88060 ... c Min unsat cost LB: 88061 ... c Min unsat cost LB: 88064 ... c Min unsat cost LB: 88065 ... c Min unsat cost LB: 88066 ... c Min unsat cost LB: 88067 ... c Min unsat cost LB: 88075 ... c Min unsat cost LB: 88079 ... c Min unsat cost LB: 88086 ... c Min unsat cost LB: 88087 ... c Min unsat cost LB: 88088 ... c Min unsat cost LB: 88089 ... c Min unsat cost LB: 88090 ... c Min unsat cost LB: 88093 ... c Min unsat cost LB: 88116 ... c Min unsat cost LB: 88117 ... c Min unsat cost LB: 88118 ... c Min unsat cost LB: 88119 ... c Min unsat cost LB: 88120 ... c Min unsat cost LB: 88121 ... c Min unsat cost LB: 88122 ... c Min unsat cost LB: 88123 ... c Min unsat cost LB: 88124 ... c Min unsat cost LB: 88125 ... c Min unsat cost LB: 88132 ... c Min unsat cost LB: 88135 ... c Min unsat cost LB: 88137 ... c Min unsat cost LB: 88138 ... c Min unsat cost LB: 88140 ... c Min unsat cost LB: 88141 ... c Min unsat cost LB: 88143 ... c Min unsat cost LB: 88145 ... c Min unsat cost LB: 88150 ... c Min unsat cost LB: 88154 ... c Min unsat cost LB: 88155 ... c Min unsat cost LB: 88156 ... c Min unsat cost LB: 88157 ... c Min unsat cost LB: 88158 ... c Min unsat cost LB: 88159 ... c Min unsat cost LB: 88160 ... c Min unsat cost LB: 88162 ... c Min unsat cost LB: 88165 ... c Min unsat cost LB: 88166 ... c Min unsat cost LB: 88167 ... c Min unsat cost LB: 88168 ... c Min unsat cost LB: 88169 ... c Min unsat cost LB: 88171 ... c Min unsat cost LB: 88172 ... c Min unsat cost LB: 88173 ... c Min unsat cost LB: 88174 ... c Min unsat cost LB: 88175 ... c Min unsat cost LB: 88176 ... c Min unsat cost LB: 88178 ... c Min unsat cost LB: 88180 ... c Min unsat cost LB: 88183 ... c Min unsat cost LB: 88184 ... c Min unsat cost LB: 88186 ... c Min unsat cost LB: 88187 ... c Min unsat cost LB: 88188 ... c Min unsat cost LB: 88189 ... c Min unsat cost LB: 88198 ... c Min unsat cost LB: 88200 ... c Min unsat cost LB: 88216 ... c Min unsat cost LB: 88217 ... c Min unsat cost LB: 88218 ... c Min unsat cost LB: 88222 ... c Min unsat cost LB: 88223 ... c Min unsat cost LB: 88229 ... c Min unsat cost LB: 88230 ... c Min unsat cost LB: 88232 ... c Min unsat cost LB: 88234 ... c Min unsat cost LB: 88237 ... c Min unsat cost LB: 88239 ... c Min unsat cost LB: 88240 ... c Min unsat cost LB: 88242 ... c Min unsat cost LB: 88243 ... c Min unsat cost LB: 88244 ... c Min unsat cost LB: 88247 ... c Min unsat cost LB: 88248 ... 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: 88256 ... c Min unsat cost LB: 88279 ... c Min unsat cost LB: 88280 ... c Min unsat cost LB: 88282 ... c Min unsat cost LB: 88289 ... c Min unsat cost LB: 88291 ... c Min unsat cost LB: 88292 ... c Min unsat cost LB: 88294 ... c Min unsat cost LB: 88295 ... c Min unsat cost LB: 88296 ... c Min unsat cost LB: 88297 ... c Min unsat cost LB: 88298 ... c Min unsat cost LB: 88299 ... c Min unsat cost LB: 88300 ... c Min unsat cost LB: 88302 ... c Min unsat cost LB: 88303 ... c Min unsat cost LB: 88304 ... c Min unsat cost LB: 88305 ... c Min unsat cost LB: 88307 ... c Min unsat cost LB: 88308 ... c Min unsat cost LB: 88309 ... c Min unsat cost LB: 88321 ... c Min unsat cost LB: 88322 ... c Min unsat cost LB: 88327 ... c Min unsat cost LB: 88331 ... c Min unsat cost LB: 88332 ... c Min unsat cost LB: 88333 ... c Min unsat cost LB: 88335 ... c Min unsat cost LB: 88347 ... c Min unsat cost LB: 88350 ... c Min unsat cost LB: 88353 ... c Min unsat cost LB: 88355 ... c Min unsat cost LB: 88361 ... c Min unsat cost LB: 88362 ... c Min unsat cost LB: 88366 ... c Min unsat cost LB: 88367 ... c Min unsat cost LB: 88368 ... c Min unsat cost LB: 88369 ... c Min unsat cost LB: 88370 ... c Min unsat cost LB: 88371 ... c Min unsat cost LB: 88372 ... c Min unsat cost LB: 88375 ... c Min unsat cost LB: 88409 ... c Min unsat cost LB: 88410 ... c Min unsat cost LB: 88412 ... c Min unsat cost LB: 88413 ... c Min unsat cost LB: 88414 ... c Min unsat cost LB: 88415 ... c Min unsat cost LB: 88416 ... c Min unsat cost LB: 88417 ... c Min unsat cost LB: 88418 ... c Min unsat cost LB: 88419 ... c Min unsat cost LB: 88429 ... c Min unsat cost LB: 88452 ... c Min unsat cost LB: 88464 ... c Min unsat cost LB: 88465 ... c Min unsat cost LB: 88470 ... c Min unsat cost LB: 88471 ... c Min unsat cost LB: 88472 ... c Min unsat cost LB: 88478 ... c Min unsat cost LB: 88480 ... c Min unsat cost LB: 88483 ... c Min unsat cost LB: 88484 ... c Min unsat cost LB: 88489 ... c Min unsat cost LB: 88490 ... c Min unsat cost LB: 88491 ... c Min unsat cost LB: 88492 ... c Min unsat cost LB: 88493 ... c Min unsat cost LB: 88494 ... c Min unsat cost LB: 88495 ... c Min unsat cost LB: 88496 ... c Min unsat cost LB: 88497 ... c Min unsat cost LB: 88498 ... c Min unsat cost LB: 88499 ... c Min unsat cost LB: 88500 ... c Min unsat cost LB: 88503 ... c Min unsat cost LB: 88533 ... c Min unsat cost LB: 88534 ... c Min unsat cost LB: 88535 ... c Min unsat cost LB: 88543 ... c Min unsat cost LB: 88557 ... c Min unsat cost LB: 88559 ... c Min unsat cost LB: 88563 ... c Min unsat cost LB: 88564 ... c Min unsat cost LB: 88565 ... c Min unsat cost LB: 88566 ... c Min unsat cost LB: 88567 ... c Min unsat cost LB: 88569 ... c Min unsat cost LB: 88570 ... c Min unsat cost LB: 88571 ... c Min unsat cost LB: 88572 ... c Min unsat cost LB: 88573 ... c Min unsat cost LB: 88574 ... c Min unsat cost LB: 88575 ... c Min unsat cost LB: 88576 ... c Min unsat cost LB: 88577 ... c Min unsat cost LB: 88579 ... c Min unsat cost LB: 88580 ... c Min unsat cost LB: 88581 ... c Min unsat cost LB: 88582 ... c Min unsat cost LB: 88584 ... c Min unsat cost LB: 88585 ... c Min unsat cost LB: 88586 ... c Min unsat cost LB: 88591 ... c Min unsat cost LB: 88592 ... c Min unsat cost LB: 88594 ... c Min unsat cost LB: 88595 ... c Min unsat cost LB: 88596 ... c Min unsat cost LB: 88597 ... c Min unsat cost LB: 88598 ... c Min unsat cost LB: 88599 ... c Min unsat cost LB: 88600 ... c Min unsat cost LB: 88603 ... c Min unsat cost LB: 88604 ... c Min unsat cost LB: 88605 ... c Min unsat cost LB: 88606 ... c Min unsat cost LB: 88608 ... c Min unsat cost LB: 88614 ... c Min unsat cost LB: 88616 ... c Min unsat cost LB: 88617 ... c Min unsat cost LB: 88618 ... c Min unsat cost LB: 88620 ... c Min unsat cost LB: 88621 ... c Min unsat cost LB: 88622 ... c Min unsat cost LB: 88623 ... c Min unsat cost LB: 88625 ... c Min unsat cost LB: 88628 ... c Min unsat cost LB: 88630 ... c Min unsat cost LB: 88633 ... c Min unsat cost LB: 88634 ... c Min unsat cost LB: 88635 ... c Min unsat cost LB: 88636 ... c Min unsat cost LB: 88637 ... c Min unsat cost LB: 88638 ... c Min unsat cost LB: 88639 ... c Min unsat cost LB: 88640 ... c Min unsat cost LB: 88641 ... c Min unsat cost LB: 88642 ... c Min unsat cost LB: 88643 ... c Min unsat cost LB: 88644 ... c Min unsat cost LB: 88645 ... c Min unsat cost LB: 88646 ... c Min unsat cost LB: 88647 ... c Min unsat cost LB: 88648 ... c Min unsat cost LB: 88649 ... c Min unsat cost LB: 88651 ... c Min unsat cost LB: 88652 ... c Min unsat cost LB: 88653 ... c Min unsat cost LB: 88654 ... c Min unsat cost LB: 88656 ... c Min unsat cost LB: 88659 ... c Min unsat cost LB: 88661 ... c Min unsat cost LB: 88667 ... c Min unsat cost LB: 88668 ... c Min unsat cost LB: 88669 ... c Min unsat cost LB: 88670 ... c Min unsat cost LB: 88671 ... c Min unsat cost LB: 88672 ... c Min unsat cost LB: 88673 ... c Min unsat cost LB: 88674 ... c Min unsat cost LB: 88677 ... c Min unsat cost LB: 88679 ... c Min unsat cost LB: 88682 ... c Min unsat cost LB: 88685 ... c Min unsat cost LB: 88688 ... 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: 88701 ... c Min unsat cost LB: 88703 ... c Min unsat cost LB: 88704 ... c Min unsat cost LB: 88744 ... c Min unsat cost LB: 88745 ... c Min unsat cost LB: 88747 ... c Min unsat cost LB: 88761 ... c Min unsat cost LB: 88778 ... c Min unsat cost LB: 88794 ... c Min unsat cost LB: 88799 ... c Min unsat cost LB: 88800 ... 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: 88811 ... c Min unsat cost LB: 88812 ... c Min unsat cost LB: 88813 ... c Min unsat cost LB: 88814 ... c Min unsat costKilled 1813.557u 6.186s 30:23.73 99.7% 0+0k 0+0io 1pf+0w