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_150_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0006.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_150_0006.txt.wcnf *** c c Min unsat cost LB: 575 ... c Min unsat cost LB: 1150 ... c Min unsat cost LB: 1895 ... c Min unsat cost LB: 2640 ... c Min unsat cost LB: 3284 ... c Min unsat cost LB: 4261 ... c Min unsat cost LB: 4649 ... c Min unsat cost LB: 5285 ... c Min unsat cost LB: 5929 ... c Min unsat cost LB: 5972 ... c Min unsat cost LB: 6777 ... c Min unsat cost LB: 7395 ... c Min unsat cost LB: 7783 ... c Min unsat cost LB: 8401 ... c Min unsat cost LB: 9045 ... c Min unsat cost LB: 9249 ... c Min unsat cost LB: 9885 ... c Min unsat cost LB: 10208 ... c Min unsat cost LB: 10556 ... c Min unsat cost LB: 11196 ... c Min unsat cost LB: 11328 ... c Min unsat cost LB: 11772 ... c Min unsat cost LB: 11868 ... c Min unsat cost LB: 12209 ... c Min unsat cost LB: 12282 ... c Min unsat cost LB: 12653 ... c Min unsat cost LB: 12726 ... c Min unsat cost LB: 13155 ... c Min unsat cost LB: 13662 ... c Min unsat cost LB: 13705 ... c Min unsat cost LB: 14230 ... c Min unsat cost LB: 14755 ... c Min unsat cost LB: 14777 ... c Min unsat cost LB: 14964 ... c Min unsat cost LB: 15045 ... c Min unsat cost LB: 15253 ... c Min unsat cost LB: 15760 ... c Min unsat cost LB: 16400 ... c Min unsat cost LB: 16565 ... c Min unsat cost LB: 17683 ... c Min unsat cost LB: 18190 ... c Min unsat cost LB: 18239 ... c Min unsat cost LB: 18531 ... c Min unsat cost LB: 19276 ... c Min unsat cost LB: 20124 ... c Min unsat cost LB: 20402 ... c Min unsat cost LB: 20694 ... c Min unsat cost LB: 21149 ... c Min unsat cost LB: 21387 ... c Min unsat cost LB: 21785 ... c Min unsat cost LB: 21936 ... c Min unsat cost LB: 22667 ... c Min unsat cost LB: 23041 ... c Min unsat cost LB: 23646 ... c Min unsat cost LB: 23698 ... c Min unsat cost LB: 24072 ... c Min unsat cost LB: 24094 ... c Min unsat cost LB: 24512 ... c Min unsat cost LB: 24683 ... c Min unsat cost LB: 24906 ... c Min unsat cost LB: 25883 ... c Min unsat cost LB: 26560 ... c Min unsat cost LB: 27165 ... c Min unsat cost LB: 27539 ... c Min unsat cost LB: 27636 ... c Min unsat cost LB: 28164 ... c Min unsat cost LB: 28197 ... c Min unsat cost LB: 28622 ... c Min unsat cost LB: 28828 ... c Min unsat cost LB: 28854 ... c Min unsat cost LB: 29118 ... c Min unsat cost LB: 29366 ... c Min unsat cost LB: 29971 ... c Min unsat cost LB: 29974 ... c Min unsat cost LB: 30736 ... c Min unsat cost LB: 30782 ... c Min unsat cost LB: 30901 ... c Min unsat cost LB: 31287 ... c Min unsat cost LB: 32001 ... c Min unsat cost LB: 32208 ... c Min unsat cost LB: 32587 ... c Min unsat cost LB: 33113 ... c Min unsat cost LB: 33254 ... c Min unsat cost LB: 33289 ... c Min unsat cost LB: 34029 ... c Min unsat cost LB: 34439 ... c Min unsat cost LB: 34819 ... c Min unsat cost LB: 35050 ... c Min unsat cost LB: 35661 ... c Min unsat cost LB: 35716 ... c Min unsat cost LB: 35781 ... c Min unsat cost LB: 36133 ... c Min unsat cost LB: 36889 ... c Min unsat cost LB: 37175 ... c Min unsat cost LB: 37193 ... c Min unsat cost LB: 37719 ... c Min unsat cost LB: 38177 ... c Min unsat cost LB: 38425 ... c Min unsat cost LB: 38672 ... c Min unsat cost LB: 39183 ... c Min unsat cost LB: 39213 ... c Min unsat cost LB: 39788 ... c Min unsat cost LB: 40220 ... c Min unsat cost LB: 40795 ... c Min unsat cost LB: 41178 ... c Min unsat cost LB: 41786 ... c Min unsat cost LB: 41967 ... c Min unsat cost LB: 42455 ... c Min unsat cost LB: 42703 ... c Min unsat cost LB: 42918 ... c Min unsat cost LB: 43047 ... c Min unsat cost LB: 43223 ... c Min unsat cost LB: 43841 ... c Min unsat cost LB: 44126 ... c Min unsat cost LB: 44355 ... c Min unsat cost LB: 44802 ... c Min unsat cost LB: 45206 ... c Min unsat cost LB: 45434 ... c Min unsat cost LB: 45764 ... c Min unsat cost LB: 46211 ... c Min unsat cost LB: 46475 ... c Min unsat cost LB: 47082 ... c Min unsat cost LB: 47199 ... c Min unsat cost LB: 47603 ... c Min unsat cost LB: 48080 ... c Min unsat cost LB: 48095 ... c Min unsat cost LB: 48138 ... c Min unsat cost LB: 48216 ... c Min unsat cost LB: 48399 ... c Min unsat cost LB: 48540 ... c Min unsat cost LB: 48583 ... c Min unsat cost LB: 48593 ... c Min unsat cost LB: 48781 ... c Min unsat cost LB: 48951 ... c Min unsat cost LB: 48986 ... c Min unsat cost LB: 49191 ... c Min unsat cost LB: 49414 ... c Min unsat cost LB: 49594 ... c Min unsat cost LB: 49605 ... c Min unsat cost LB: 49607 ... c Min unsat cost LB: 49612 ... c Min unsat cost LB: 49689 ... c Min unsat cost LB: 49721 ... c Min unsat cost LB: 49726 ... c Min unsat cost LB: 49856 ... c Min unsat cost LB: 50047 ... c Min unsat cost LB: 50123 ... c Min unsat cost LB: 50132 ... c Min unsat cost LB: 50335 ... c Min unsat cost LB: 50503 ... c Min unsat cost LB: 50635 ... c Min unsat cost LB: 50928 ... c Min unsat cost LB: 50943 ... c Min unsat cost LB: 50976 ... c Min unsat cost LB: 51147 ... c Min unsat cost LB: 51150 ... c Min unsat cost LB: 51252 ... c Min unsat cost LB: 51286 ... c Min unsat cost LB: 51301 ... c Min unsat cost LB: 51302 ... c Min unsat cost LB: 51324 ... c Min unsat cost LB: 51335 ... c Min unsat cost LB: 51454 ... c Min unsat cost LB: 51456 ... c Min unsat cost LB: 51819 ... c Min unsat cost LB: 51903 ... c Min unsat cost LB: 51955 ... c Min unsat cost LB: 52160 ... c Min unsat cost LB: 52366 ... c Min unsat cost LB: 52383 ... c Min unsat cost LB: 52540 ... c Min unsat cost LB: 52548 ... c Min unsat cost LB: 52554 ... c Min unsat cost LB: 52573 ... c Min unsat cost LB: 52576 ... c Min unsat cost LB: 52652 ... c Min unsat cost LB: 52683 ... c Min unsat cost LB: 52726 ... c Min unsat cost LB: 52747 ... c Min unsat cost LB: 52812 ... c Min unsat cost LB: 52953 ... c Min unsat cost LB: 53038 ... c Min unsat cost LB: 53133 ... c Min unsat cost LB: 53147 ... c Min unsat cost LB: 53157 ... c Min unsat cost LB: 53210 ... c Min unsat cost LB: 53233 ... c Min unsat cost LB: 53235 ... c Min unsat cost LB: 53248 ... c Min unsat cost LB: 53289 ... c Min unsat cost LB: 53294 ... c Min unsat cost LB: 53364 ... c Min unsat cost LB: 53370 ... c Min unsat cost LB: 53397 ... c Min unsat cost LB: 53436 ... c Min unsat cost LB: 53632 ... c Min unsat cost LB: 53684 ... c Min unsat cost LB: 53699 ... c Min unsat cost LB: 53710 ... c Min unsat cost LB: 53725 ... c Min unsat cost LB: 53776 ... c Min unsat cost LB: 53791 ... c Min unsat cost LB: 53792 ... c Min unsat cost LB: 53866 ... c Min unsat cost LB: 54006 ... c Min unsat cost LB: 54196 ... c Min unsat cost LB: 54208 ... c Min unsat cost LB: 54223 ... c Min unsat cost LB: 54275 ... c Min unsat cost LB: 54481 ... c Min unsat cost LB: 54498 ... c Min unsat cost LB: 54517 ... c Min unsat cost LB: 54574 ... c Min unsat cost LB: 54709 ... c Min unsat cost LB: 54720 ... c Min unsat cost LB: 54737 ... c Min unsat cost LB: 54930 ... c Min unsat cost LB: 55003 ... c Min unsat cost LB: 55019 ... c Min unsat cost LB: 55060 ... c Min unsat cost LB: 55064 ... c Min unsat cost LB: 55115 ... c Min unsat cost LB: 55140 ... c Min unsat cost LB: 55217 ... c Min unsat cost LB: 55499 ... c Min unsat cost LB: 55635 ... c Min unsat cost LB: 55714 ... c Min unsat cost LB: 55772 ... c Min unsat cost LB: 55802 ... c Min unsat cost LB: 55839 ... c Min unsat cost LB: 55853 ... c Min unsat cost LB: 55874 ... c Min unsat cost LB: 55953 ... c Min unsat cost LB: 56081 ... c Min unsat cost LB: 56107 ... c Min unsat cost LB: 56125 ... c Min unsat cost LB: 56280 ... c Min unsat cost LB: 56353 ... c Min unsat cost LB: 56411 ... c Min unsat cost LB: 56418 ... c Min unsat cost LB: 56470 ... c Min unsat cost LB: 56554 ... c Min unsat cost LB: 56589 ... c Min unsat cost LB: 56610 ... c Min unsat cost LB: 56691 ... c Min unsat cost LB: 56697 ... c Min unsat cost LB: 56818 ... c Min unsat cost LB: 56821 ... c Min unsat cost LB: 56874 ... c Min unsat cost LB: 57038 ... c Min unsat cost LB: 57122 ... c Min unsat cost LB: 57192 ... c Min unsat cost LB: 57231 ... c Min unsat cost LB: 57363 ... c Min unsat cost LB: 57439 ... c Min unsat cost LB: 57441 ... c Min unsat cost LB: 57496 ... c Min unsat cost LB: 57581 ... c Min unsat cost LB: 57604 ... c Min unsat cost LB: 57653 ... c Min unsat cost LB: 57760 ... c Min unsat cost LB: 57793 ... c Min unsat cost LB: 57838 ... c Min unsat cost LB: 57863 ... c Min unsat cost LB: 57880 ... c Min unsat cost LB: 57926 ... c Min unsat cost LB: 58118 ... c Min unsat cost LB: 58193 ... c Min unsat cost LB: 58216 ... c Min unsat cost LB: 58294 ... c Min unsat cost LB: 58333 ... c Min unsat cost LB: 58615 ... c Min unsat cost LB: 58640 ... c Min unsat cost LB: 58704 ... c Min unsat cost LB: 58800 ... c Min unsat cost LB: 58838 ... c Min unsat cost LB: 59078 ... c Min unsat cost LB: 59359 ... c Min unsat cost LB: 59362 ... c Min unsat cost LB: 59655 ... c Min unsat cost LB: 59971 ... c Min unsat cost LB: 59992 ... c Min unsat cost LB: 60031 ... c Min unsat cost LB: 60183 ... c Min unsat cost LB: 60300 ... c Min unsat cost LB: 60316 ... c Min unsat cost LB: 60326 ... c Min unsat cost LB: 60344 ... c Min unsat cost LB: 60347 ... c Min unsat cost LB: 60352 ... c Min unsat cost LB: 60366 ... c Min unsat cost LB: 60379 ... c Min unsat cost LB: 60409 ... c Min unsat cost LB: 60412 ... c Min unsat cost LB: 60434 ... c Min unsat cost LB: 60441 ... c Min unsat cost LB: 60447 ... c Min unsat cost LB: 60473 ... c Min unsat cost LB: 60476 ... c Min unsat cost LB: 60580 ... c Min unsat cost LB: 60630 ... c Min unsat cost LB: 60647 ... c Min unsat cost LB: 60656 ... c Min unsat cost LB: 60667 ... c Min unsat cost LB: 60672 ... c Min unsat cost LB: 60681 ... c Min unsat cost LB: 60695 ... c Min unsat cost LB: 60709 ... c Min unsat cost LB: 60724 ... c Min unsat cost LB: 60744 ... c Min unsat cost LB: 60756 ... c Min unsat cost LB: 60819 ... c Min unsat cost LB: 60856 ... c Min unsat cost LB: 60858 ... c Min unsat cost LB: 60863 ... c Min unsat cost LB: 60888 ... c Min unsat cost LB: 60901 ... c Min unsat cost LB: 60904 ... c Min unsat cost LB: 60922 ... c Min unsat cost LB: 60933 ... c Min unsat cost LB: 60959 ... c Min unsat cost LB: 60999 ... c Min unsat cost LB: 61015 ... c Min unsat cost LB: 61029 ... c Min unsat cost LB: 61051 ... c Min unsat cost LB: 61058 ... c Min unsat cost LB: 61061 ... c Min unsat cost LB: 61072 ... c Min unsat cost LB: 61089 ... c Min unsat cost LB: 61103 ... c Min unsat cost LB: 61116 ... c Min unsat cost LB: 61121 ... c Min unsat cost LB: 61135 ... c Min unsat cost LB: 61144 ... c Min unsat cost LB: 61149 ... c Min unsat cost LB: 61179 ... c Min unsat cost LB: 61198 ... c Min unsat cost LB: 61204 ... c Min unsat cost LB: 61223 ... c Min unsat cost LB: 61226 ... c Min unsat cost LB: 61227 ... c Min unsat cost LB: 61229 ... c Min unsat cost LB: 61232 ... c Min unsat cost LB: 61233 ... c Min unsat cost LB: 61235 ... c Min unsat cost LB: 61236 ... c Min unsat cost LB: 61239 ... c Min unsat cost LB: 61249 ... c Min unsat cost LB: 61261 ... c Min unsat cost LB: 61263 ... c Min unsat cost LB: 61267 ... c Min unsat cost LB: 61268 ... c Min unsat cost LB: 61269 ... c Min unsat cost LB: 61270 ... c Min unsat cost LB: 61271 ... c Min unsat cost LB: 61288 ... c Min unsat cost LB: 61399 ... c Min unsat cost LB: 61407 ... c Min unsat cost LB: 61409 ... c Min unsat cost LB: 61429 ... c Min unsat cost LB: 61441 ... c Min unsat cost LB: 61444 ... c Min unsat cost LB: 61446 ... c Min unsat cost LB: 61448 ... c Min unsat cost LB: 61454 ... c Min unsat cost LB: 61475 ... c Min unsat cost LB: 61477 ... c Min unsat cost LB: 61483 ... c Min unsat cost LB: 61485 ... c Min unsat cost LB: 61509 ... c Min unsat cost LB: 61528 ... c Min unsat cost LB: 61529 ... c Min unsat cost LB: 61544 ... c Min unsat cost LB: 61547 ... c Min unsat cost LB: 61592 ... c Min unsat cost LB: 61625 ... c Min unsat cost LB: 61652 ... c Min unsat cost LB: 61676 ... c Min unsat cost LB: 61677 ... c Min unsat cost LB: 61700 ... c Min unsat cost LB: 61762 ... c Min unsat cost LB: 61767 ... c Min unsat cost LB: 61768 ... c Min unsat cost LB: 61769 ... c Min unsat cost LB: 61777 ... c Min unsat cost LB: 61781 ... c Min unsat cost LB: 61783 ... c Min unsat cost LB: 61785 ... c Min unsat cost LB: 61790 ... c Min unsat cost LB: 61801 ... c Min unsat cost LB: 61804 ... c Min unsat cost LB: 61806 ... c Min unsat cost LB: 61813 ... c Min unsat cost LB: 61814 ... c Min unsat cost LB: 61820 ... c Min unsat cost LB: 61823 ... c Min unsat cost LB: 61832 ... c Min unsat cost LB: 61848 ... c Min unsat cost LB: 61850 ... c Min unsat cost LB: 61851 ... c Min unsat cost LB: 61853 ... c Min unsat cost LB: 61854 ... c Min unsat cost LB: 61855 ... c Min unsat cost LB: 61857 ... c Min unsat cost LB: 61863 ... c Min unsat cost LB: 61875 ... c Min unsat cost LB: 61877 ... c Min unsat cost LB: 61880 ... c Min unsat cost LB: 61892 ... c Min unsat cost LB: 61974 ... c Min unsat cost LB: 61975 ... c Min unsat cost LB: 61977 ... c Min unsat cost LB: 61981 ... c Min unsat cost LB: 61989 ... c Min unsat cost LB: 61999 ... c Min unsat cost LB: 62009 ... c Min unsat cost LB: 62015 ... c Min unsat cost LB: 62038 ... c Min unsat cost LB: 62070 ... c Min unsat cost LB: 62144 ... c Min unsat cost LB: 62146 ... c Min unsat cost LB: 62147 ... c Min unsat cost LB: 62150 ... c Min unsat cost LB: 62151 ... c Min unsat cost LB: 62155 ... c Min unsat cost LB: 62156 ... c Min unsat cost LB: 62157 ... c Min unsat cost LB: 62163 ... c Min unsat cost LB: 62165 ... c Min unsat cost LB: 62166 ... c Min unsat cost LB: 62169 ... c Min unsat cost LB: 62171 ... c Min unsat cost LB: 62186 ... c Min unsat cost LB: 62189 ... c Min unsat cost LB: 62193 ... c Min unsat cost LB: 62194 ... c Min unsat cost LB: 62204 ... c Min unsat cost LB: 62207 ... c Min unsat cost LB: 62219 ... c Min unsat cost LB: 62237 ... c Min unsat cost LB: 62238 ... c Min unsat cost LB: 62243 ... c Min unsat cost LB: 62250 ... c Min unsat cost LB: 62262 ... c Min unsat cost LB: 62278 ... c Min unsat cost LB: 62279 ... c Min unsat cost LB: 62284 ... c Min unsat cost LB: 62286 ... c Min unsat cost LB: 62290 ... c Min unsat cost LB: 62293 ... c Min unsat cost LB: 62302 ... c Min unsat cost LB: 62314 ... c Min unsat cost LB: 62316 ... c Min unsat cost LB: 62325 ... c Min unsat cost LB: 62328 ... c Min unsat cost LB: 62329 ... c Min unsat cost LB: 62330 ... c Min unsat cost LB: 62331 ... c Min unsat cost LB: 62332 ... c Min unsat cost LB: 62334 ... c Min unsat cost LB: 62335 ... c Min unsat cost LB: 62336 ... c Min unsat cost LB: 62338 ... c Min unsat cost LB: 62339 ... c Min unsat cost LB: 62340 ... c Min unsat cost LB: 62341 ... c Min unsat cost LB: 62342 ... c Min unsat cost LB: 62343 ... c Min unsat cost LB: 62344 ... c Min unsat cost LB: 62345 ... c Min unsat cost LB: 62346 ... c Min unsat cost LB: 62347 ... c Min unsat cost LB: 62349 ... c Min unsat cost LB: 62350 ... c Min unsat cost LB: 62351 ... c Min unsat cost LB: 62352 ... c Min unsat cost LB: 62353 ... c Min unsat cost LB: 62354 ... c Min unsat cost LB: 62398 ... c Min unsat cost LB: 62401 ... c Min unsat cost LB: 62409 ... c Min unsat cost LB: 62413 ... c Min unsat cost LB: 62417 ... c Min unsat cost LB: 62418 ... c Min unsat cost LB: 62420 ... c Min unsat cost LB: 62447 ... c Min unsat cost LB: 62448 ... c Min unsat cost LB: 62450 ... c Min unsat cost LB: 62460 ... c Min unsat cost LB: 62472 ... c Min unsat cost LB: 62474 ... c Min unsat cost LB: 62477 ... c Min unsat cost LB: 62482 ... c Min unsat cost LB: 62486 ... c Min unsat cost LB: 62490 ... c Min unsat cost LB: 62495 ... c Min unsat cost LB: 62498 ... c Min unsat cost LB: 62501 ... c Min unsat cost LB: 62502 ... c Min unsat cost LB: 62504 ... c Min unsat cost LB: 62507 ... c Min unsat cost LB: 62508 ... c Min unsat cost LB: 62509 ... c Min unsat cost LB: 62510 ... c Min unsat cost LB: 62511 ... c Min unsat cost LB: 62512 ... c Min unsat cost LB: 62513 ... c Min unsat cost LB: 62517 ... c Min unsat cost LB: 62523 ... c Min unsat cost LB: 62526 ... c Min unsat cost LB: 62527 ... c Min unsat cost LB: 62528 ... c Min unsat cost LB: 62529 ... c Min unsat cost LB: 62531 ... c Min unsat cost LB: 62535 ... c Min unsat cost LB: 62537 ... c Min unsat cost LB: 62539 ... c Min unsat cost LB: 62542 ... c Min unsat cost LB: 62546 ... c Min unsat cost LB: 62547 ... c Min unsat cost LB: 62552 ... c Min unsat cost LB: 62557 ... c Min unsat cost LB: 62564 ... c Min unsat cost LB: 62567 ... c Min unsat cost LB: 62570 ... c Min unsat cost LB: 62571 ... c Min unsat cost LB: 62581 ... c Min unsat cost LB: 62583 ... c Min unsat cost LB: 62628 ... c Min unsat cost LB: 62645 ... c Min unsat cost LB: 62647 ... c Min unsat cost LB: 62648 ... c Min unsat cost LB: 62649 ... c Min unsat cost LB: 62650 ... c Min unsat cost LB: 62652 ... c Min unsat cost LB: 62653 ... c Min unsat cost LB: 62654 ... c Min unsat cost LB: 62669 ... c Min unsat cost LB: 62673 ... c Min unsat cost LB: 62688 ... c Min unsat cost LB: 62689 ... c Min unsat cost LB: 62699 ... c Min unsat cost LB: 62703 ... c Min unsat cost LB: 62718 ... c Min unsat cost LB: 62730 ... c Min unsat cost LB: 62731 ... c Min unsat cost LB: 62765 ... c Min unsat cost LB: 62775 ... c Min unsat cost LB: 62777 ... c Min unsat cost LB: 62782 ... c Min unsat cost LB: 62786 ... c Min unsat cost LB: 62790 ... c Min unsat cost LB: 62792 ... c Min unsat cost LB: 62798 ... c Min unsat cost LB: 62802 ... c Min unsat cost LB: 62804 ... c Min unsat cost LB: 62807 ... c Min unsat cost LB: 62809 ... c Min unsat cost LB: 62810 ... c Min unsat cost LB: 62813 ... c Min unsat cost LB: 62818 ... c Min unsat cost LB: 62821 ... c Min unsat cost LB: 62824 ... c Min unsat cost LB: 62826 ... c Min unsat cost LB: 62828 ... c Min unsat cost LB: 62832 ... c Min unsat cost LB: 62833 ... c Min unsat cost LB: 62835 ... c Min unsat cost LB: 62836 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 62847 ... c Min unsat cost LB: 62850 ... c Min unsat cost LB: 62865 ... c Min unsat cost LB: 62866 ... c Min unsat cost LB: 62868 ... c Min unsat cost LB: 62879 ... c Min unsat cost LB: 62884 ... c Min unsat cost LB: 62886 ... c Min unsat cost LB: 62899 ... c Min unsat cost LB: 62900 ... c Min unsat cost LB: 62901 ... c Min unsat cost LB: 62902 ... c Min unsat cost LB: 62903 ... c Min unsat cost LB: 62905 ... c Min unsat cost LB: 62906 ... c Min unsat cost LB: 62908 ... c Min unsat cost LB: 62914 ... c Min unsat cost LB: 62915 ... c Min unsat cost LB: 62916 ... c Min unsat cost LB: 62917 ... c Min unsat cost LB: 62920 ... c Min unsat cost LB: 62921 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 62924 ... c Min unsat cost LB: 62925 ... c Min unsat cost LB: 62926 ... c Min unsat cost LB: 62927 ... c Min unsat cost LB: 62930 ... c Min unsat cost LB: 62932 ... c Min unsat cost LB: 62967 ... c Min unsat cost LB: 62988 ... c Min unsat cost LB: 63023 ... c Min unsat cost LB: 63025 ... c Min unsat cost LB: 63046 ... c Min unsat cost LB: 63248 ... c Min unsat cost LB: 63249 ... c Min unsat cost LB: 63250 ... c Min unsat cost LB: 63254 ... c Min unsat cost LB: 63259 ... c Min unsat cost LB: 63260 ... c Min unsat cost LB: 63263 ... c Min unsat cost LB: 63269 ... c Min unsat cost LB: 63279 ... c Min unsat cost LB: 63281 ... c Min unsat cost LB: 63282 ... c Min unsat cost LB: 63283 ... c Min unsat cost LB: 63284 ... c Min unsat cost LB: 63285 ... c Min unsat cost LB: 63286 ... c Min unsat cost LB: 63291 ... c Min unsat cost LB: 63293 ... c Min unsat cost LB: 63294 ... c Min unsat cost LB: 63295 ... c Min unsat cost LB: 63297 ... c Min unsat cost LB: 63299 ... c Min unsat cost LB: 63301 ... c Min unsat cost LB: 63315 ... c Min unsat cost LB: 63394 ... c Min unsat cost LB: 63402 ... c Min unsat cost LB: 63440 ... c Min unsat cost LB: 63459 ... c Min unsat cost LB: 63465 ... c Min unsat cost LB: 63535 ... c Min unsat cost LB: 63538 ... c Min unsat cost LB: 63539 ... c Min unsat cost LB: 63540 ... c Min unsat cost LB: 63541 ... c Min unsat cost LB: 63542 ... c Min unsat cost LB: 63543 ... c Min unsat cost LB: 63544 ... c Min unsat cost LB: 63545 ... c Min unsat cost LB: 63547 ... c Min unsat cost LB: 63549 ... c Min unsat cost LB: 63550 ... c Min unsat cost LB: 63551 ... c Min unsat cost LB: 63552 ... c Min unsat cost LB: 63553 ... c Min unsat cost LB: 63554 ... c Min unsat cost LB: 63556 ... c Min unsat cost LB: 63557 ... c Min unsat cost LB: 63560 ... c Min unsat cost LB: 63561 ... c Min unsat cost LB: 63563 ... c Min unsat cost LB: 63565 ... c Min unsat cost LB: 63569 ... c Min unsat cost LB: 63570 ... c Min unsat cost LB: 63571 ... c Min unsat cost LB: 63574 ... c Min unsat cost LB: 63597 ... c Min unsat cost LB: 63598 ... c Min unsat cost LB: 63599 ... c Min unsat cost LB: 63600 ... c Min unsat cost LB: 63603 ... c Min unsat cost LB: 63611 ... c Min unsat cost LB: 63649 ... c Min unsat cost LB: 63652 ... c Min unsat cost LB: 63653 ... c Min unsat cost LB: 63654 ... c Min unsat cost LB: 63703 ... c Min unsat cost LB: 63704 ... c Min unsat cost LB: 63705 ... c Min unsat cost LB: 63706 ... c Min unsat cost LB: 63709 ... c Min unsat cost LB: 63721 ... c Min unsat cost LB: 63722 ... c Min unsat cost LB: 63723 ... c Min unsat cost LB: 63725 ... c Min unsat cost LB: 63727 ... c Min unsat cost LB: 63728 ... c Min unsat cost LB: 63734 ... c Min unsat cost LB: 63736 ... c Min unsat cost LB: 63738 ... c Min unsat cost LB: 63739 ... c Min unsat cost LB: 63740 ... c Min unsat cost LB: 63741 ... c Min unsat cost LB: 63749 ... c Min unsat cost LB: 63751 ... c Min unsat cost LB: 63752 ... c Min unsat cost LB: 63757 ... c Min unsat cost LB: 63857 ... c Min unsat cost LB: 63858 ... c Min unsat cost LB: 63859 ... c Min unsat cost LB: 63860 ... c Min unsat cost LB: 63861 ... c Min unsat cost LB: 63863 ... c Min unsat cost LB: 63864 ... c Min unsat cost LB: 63865 ... c Min unsat cost LB: 63866 ... c Min unsat cost LB: 63867 ... c Min unsat cost LB: 63868 ... c Min unsat cost LB: 63869 ... c Min unsat cost LB: 63870 ... c Min unsat cost LB: 63871 ... c Min unsat cost LB: 63872 ... c Min unsat cost LB: 63873 ... c Min unsat cost LB: 63874 ... c Min unsat cost LB: 63875 ... c Min unsat cost LB: 63876 ... c Min unsat cost LB: 63877 ... c Min unsat cost LB: 63878 ... c Min unsat cost LB: 63879 ... c Min unsat cost LB: 63880 ... c Min unsat cost LB: 63881 ... c Min unsat cost LB: 63882 ... c Min unsat cost LB: 63883 ... c Min unsat cost LB: 63884 ... c Min unsat cost LB: 63885 ... c Min unsat cost LB: 63886 ... c Min unsat cost LB: 63887 ... c Min unsat cost LB: 63888 ... c Min unsat cost LB: 63889 ... c Min unsat cost LB: 63890 ... c Min unsat cost LB: 63891 ... c Min unsat cost LB: 63892 ... c Min unsat cost LB: 63893 ... c Min unsat cost LB: 63894 ... c Min unsat cost LB: 63895 ... c Min unsat cost LB: 63896 ... c Min unsat cost LB: 63936 ... c Min unsat cost LB: 63937 ... c Min unsat cost LB: 63939 ... c Min unsat cost LB: 63940 ... c Min unsat cost LB: 63941 ... c Min unsat cost LB: 63942 ... c Min unsat cost LB: 63944 ... c Min unsat cost LB: 63945 ... c Min unsat cost LB: 63951 ... c Min unsat cost LB: 63953 ... c Min unsat cost LB: 63961 ... c Min unsat cost LB: 63974 ... c Min unsat cost LB: 63979 ... c Min unsat cost LB: 63980 ... c Min unsat cost LB: 63981 ... c Min unsat cost LB: 63985 ... c Min unsat cost LB: 63995 ... c Min unsat cost LB: 63996 ... c Min unsat cost LB: 63997 ... c Min unsat cost LB: 63999 ... c Min unsat cost LB: 64000 ... c Min unsat cost LB: 64001 ... c Min unsat cost LB: 64002 ... c Min unsat cost LB: 64003 ... c Min unsat cost LB: 64006 ... c Min unsat cost LB: 64007 ... c Min unsat cost LB: 64008 ... c Min unsat cost LB: 64010 ... c Min unsat cost LB: 64011 ... c Min unsat cost LB: 64012 ... c Min unsat cost LB: 64014 ... c Min unsat cost LB: 64017 ... c Min unsat cost LB: 64020 ... c Min unsat cost LB: 64021 ... c Min unsat cost LB: 64023 ... c Min unsat cost LB: 64025 ... c Min unsat cost LB: 64026 ... c Min unsat cost LB: 64027 ... c Min unsat cost LB: 64028 ... c Min unsat cost LB: 64029 ... c Min unsat cost LB: 64030 ... c Min unsat cost LB: 64031 ... c Min unsat cost LB: 64035 ... c Min unsat cost LB: 64036 ... c Min unsat cost LB: 64038 ... c Min unsat cost LB: 64048 ... c Min unsat cost LB: 64052 ... c Min unsat cost LB: 64053 ... c Min unsat cost LB: 64054 ... c Min unsat cost LB: 64057 ... c Min unsat cost LB: 64060 ... c Min unsat cost LB: 64062 ... c Min unsat cost LB: 64063 ... c Min unsat cost LB: 64064 ... c Min unsat cost LB: 64068 ... c Min unsat cost LB: 64069 ... c Min unsat cost LB: 64070 ... c Min unsat cost LB: 64072 ... c Min unsat cost LB: 64073 ... c Min unsat cost LB: 64074 ... c Min unsat cost LB: 64075 ... c Min unsat cost LB: 64076 ... c Min unsat cost LB: 64079 ... c Min unsat cost LB: 64083 ... c Min unsat cost LB: 64084 ... c Min unsat cost LB: 64085 ... c Min unsat cost LB: 64086 ... c Min unsat cost LB: 64087 ... c Min unsat cost LB: 64092 ... c Min unsat cost LB: 64096 ... c Min unsat cost LB: 64098 ... c Min unsat cost LB: 64099 ... c Min unsat cost LB: 64100 ... c Min unsat cost LB: 64108 ... c Min unsat cost LB: 64109 ... c Min unsat cost LB: 64114 ... c Min unsat cost LB: 64117 ... c Min unsat cost LB: 64118 ... c Min unsat cost LB: 64119 ... c Min unsat cost LB: 64120 ... c Min unsat cost LB: 64121 ... c Min unsat cost LB: 64122 ... c Min unsat cost LB: 64140 ... c Min unsat cost LB: 64141 ... c Min unsat cost LB: 64143 ... c Min unsat cost LB: 64161 ... c Min unsat cost LB: 64186 ... c Min unsat cost LB: 64187 ... c Min unsat cost LB: 64189 ... c Min unsat cost LB: 64191 ... c Min unsat cost LB: 64192 ... c Min unsat cost LB: 64193 ... c Min unsat cost LB: 64194 ... c Min unsat cost LB: 64195 ... c Min unsat cost LB: 64196 ... c Min unsat cost LB: 64200 ... c Min unsat cost LB: 64201 ... c Min unsat cost LB: 64203 ... c Min unsat cost LB: 64204 ... c Min unsat cost LB: 64205 ... c Min unsat cost LB: 64206 ... c Min unsat cost LB: 64207 ... c Min unsat cost LB: 64208 ... c Min unsat cost LB: 64209 ... c Min unsat cost LB: 64210 ... c Min unsat cost LB: 64212 ... c Min unsat cost LB: 64214 ... c Min unsat cost LB: 64215 ... c Min unsat cost LB: 64216 ... c Min unsat cost LB: 64217 ... c Min unsat cost LB: 64218 ... c Min unsat cost LB: 64219 ... c Min unsat cost LB: 64223 ... c Min unsat cost LB: 64226 ... c Min unsat cost LB: 64227 ... c Min unsat cost LB: 64228 ... c Min unsat cost LB: 64233 ... c Min unsat cost LB: 64234 ... c Min unsat cost LB: 64235 ... c Min unsat cost LB: 64236 ... c Min unsat cost LB: 64237 ... c Min unsat cost LB: 64238 ... c Min unsat cost LB: 64240 ... c Min unsat cost LB: 64283 ... c Min unsat cost LB: 64284 ... c Min unsat cost LB: 64286 ... c Min unsat cost LB: 64287 ... c Min unsat cost LB: 64289 ... c Min unsat cost LB: 64290 ... c Min unsat cost LB: 64292 ... c Min unsat cost LB: 64304 ... c Min unsat cost LB: 64305 ... c Min unsat cost LB: 64306 ... c Min unsat cost LB: 64308 ... c Min unsat cost LB: 64309 ... c Min unsat cost LB: 64310 ... c Min unsat cost LB: 64311 ... c Min unsat cost LB: 64312 ... c Min unsat cost LB: 64313 ... c Min unsat cost LB: 64314 ... c Min unsat cost LB: 64315 ... c Min unsat cost LB: 64316 ... c Min unsat cost LB: 64317 ... c Min unsat cost LB: 64318 ... c Min unsat cost LB: 64319 ... c Min unsat cost LB: 64323 ... c Min unsat cost LB: 64324 ... c Min unsat cost LB: 64325 ... c Min unsat cost LB: 64331 ... c Min unsat cost LB: 64338 ... c Min unsat cost LB: 64339 ... c Min unsat cost LB: 64341 ... c Min unsat cost LB: 64342 ... c Min unsat cost LB: 64343 ... c Min unsat cost LB: 64344 ... c Min unsat cost LB: 64345 ... c Min unsat cost LB: 64346 ... c Min unsat cost LB: 64347 ... c Min unsat cost LB: 64349 ... c Min unsat cost LB: 64350 ... c Min unsat cost LB: 64351 ... c Min unsat cost LB: 64352 ... c Min unsat cost LB: 64353 ... c Min unsat cost LB: 64354 ... c Min unsat cost LB: 64355 ... c Min unsat cost LB: 64356 ... c Min unsat cost LB: 64358 ... c Min unsat cost LB: 64359 ... c Min unsat cost LB: 64360 ... c Min unsat cost LB: 64367 ... c Min unsat cost LB: 64368 ... c Min unsat cost LB: 64370 ... c Min unsat cost LB: 64372 ... c Min unsat cost LB: 64378 ... c Min unsat cost LB: 64381 ... c Min unsat cost LB: 64382 ... c Min unsat cost LB: 64383 ... c Min unsat cost LB: 64384 ... c Min unsat cost LB: 64385 ... c Min unsat cost LB: 64386 ... c Min unsat cost LB: 64387 ... c Min unsat cost LB: 64388 ... c Min unsat cost LB: 64389 ... c Min unsat cost LB: 64390 ... c Min unsat cost LB: 64391 ... c Min unsat cost LB: 64392 ... c Min unsat cost LB: 64393 ... c Min unsat cost LB: 64396 ... c Min unsat cost LB: 64397 ... c Min unsat cost LB: 64398 ... c Min unsat cost LB: 64400 ... c Min unsat cost LB: 64401 ... c Min unsat cost LB: 64402 ... c Min unsat cost LB: 64404 ... c Min unsat cost LB: 64405 ... c Min unsat cost LB: 64406 ... c Min unsat cost LB: 64407 ... c Min unsat cost LB: 64408 ... c Min unsat cost LB: 64409 ... c Min unsat cost LB: 64410 ... c Min unsat cost LB: 64411 ... c Min unsat cost LB: 64412 ... c Min unsat cost LB: 64413 ... c Min unsat cost LB: 64414 ... c Min unsat cost LB: 64415 ... c Min unsat cost LB: 64417 ... c Min unsat cost LB: 64419 ... c Min unsat cost LB: 64420 ... c Min unsat cost LB: 64421 ... c Min unsat cost LB: 64422 ... c Min unsat cost LB: 64423 ... c Min unsat cost LB: 64429 ... c Min unsat cost LB: 64439 ... c Min unsat cost LB: 64444 ... c Min unsat cost LB: 64445 ... c Min unsat cost LB: 64446 ... c Min unsat cost LB: 64593 ... c Min unsat cost LB: 64594 ... c Min unsat cost LB: 64595 ... c Min unsat cost LB: 64596 ... c Min unsat cost LB: 64597 ... c Min unsat cost LB: 64598 ... c Min unsat cost LB: 64599 ... c Min unsat cost LB: 64600 ... c Min unsat cost LB: 64601 ... c Min unsat cost LB: 64602 ... c Min unsat cost LB: 64603 ... c Min unsat cost LB: 64605 ... c Min unsat cost LB: 64633 ... c Min unsat cost LB: 64634 ... c Min unsat cost LB: 64635 ... c Min unsat cost LB: 64636 ... c Min unsat cost LB: 64637 ... c Min unsat cost LB: 64638 ... c Min unsat cost LB: 64639 ... c Min unsat cost LB: 64641 ... c Min unsat cost LB: 64642 ... c Min unsat cost LB: 64643 ... c Min unsat cost LB: 64644 ... c Min unsat cost LB: 64645 ... c Min unsat cost LB: 64646 ... c Min unsat cost LB: 64647 ... c Min unsat cost LB: 64648 ... c Min unsat cost LB: 64649 ... c Min unsat cost LB: 64650 ... c Min unsat cost LB: 64651 ... c Min unsat cost LB: 64652 ... c Min unsat cost LB: 64653 ... c Min unsat cost LB: 64654 ... c Min unsat cost LB: 64655 ... c Min unsat cost LB: 64656 ... c Min unsat cost LB: 64657 ... c Min unsat cost LB: 64658 ... c Min unsat cost LB: 64660 ... c Min unsat cost LB: 64665 ... c Min unsat cost LB: 64666 ... c Min unsat cost LB: 64667 ... c Min unsat cost LB: 64668 ... c Min unsat cost LB: 64669 ... c Min unsat cost LB: 64672 ... c Min unsat cost LB: 64673 ... c Min unsat cost LB: 64676 ... c Min unsat cost LB: 64679 ... c Min unsat cost LB: 64685 ... c Min unsat cost LB: 64687 ... c Min unsat cost LB: 64688 ... c Min unsat cost LB: 64689 ... c Min unsat cost LB: 64690 ... c Min unsat cost LB: 64692 ... c Min unsat cost LB: 64695 ... c Min unsat cost LB: 64702 ... c Min unsat cost LB: 64780 ... c Min unsat cost LB: 64781 ... c Min unsat cost LB: 64782 ... c Min unsat cost LB: 64783 ... c Min unsat cost LB: 64784 ... c Min unsat cost LB: 64785 ... c Min unsat cost LB: 64786 ... c Min unsat cost LB: 64787 ... c Min unsat cost LB: 64788 ... c Min unsat cost LB: 64789 ... c Min unsat cost LB: 64790 ... c Min unsat cost LB: 64791 ... c Min unsat cost LB: 64792 ... c Min unsat cost LB: 64793 ... c Min unsat cost LB: 64794 ... c Min unsat cost LB: 64795 ... c Min unsat cost LB: 64796 ... c Min unsat cost LB: 64797 ... c Min unsat cost LB: 64798 ... c Min unsat cost LB: 64799 ... c Min unsat cost LB: 64800 ... c Min unsat cost LB: 64801 ... c Min unsat cost LB: 64802 ... c Min unsat cost LB: 64803 ... c Min unsat cost LB: 64804 ... c Min unsat cost LKilled 1814.031u 5.705s 30:22.21 99.8% 0+0k 0+0io 0pf+0w