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_100_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0000.txt.wcnf *** c c Min unsat cost LB: 528 ... c Min unsat cost LB: 1441 ... c Min unsat cost LB: 1969 ... c Min unsat cost LB: 2491 ... c Min unsat cost LB: 3055 ... c Min unsat cost LB: 3786 ... c Min unsat cost LB: 4806 ... c Min unsat cost LB: 5769 ... c Min unsat cost LB: 6462 ... c Min unsat cost LB: 7003 ... c Min unsat cost LB: 8023 ... c Min unsat cost LB: 8364 ... c Min unsat cost LB: 8705 ... c Min unsat cost LB: 9553 ... c Min unsat cost LB: 9856 ... c Min unsat cost LB: 10076 ... c Min unsat cost LB: 10440 ... c Min unsat cost LB: 11688 ... c Min unsat cost LB: 12936 ... c Min unsat cost LB: 13411 ... c Min unsat cost LB: 13643 ... c Min unsat cost LB: 14101 ... c Min unsat cost LB: 14468 ... c Min unsat cost LB: 14832 ... c Min unsat cost LB: 15852 ... c Min unsat cost LB: 16815 ... c Min unsat cost LB: 17172 ... c Min unsat cost LB: 17736 ... c Min unsat cost LB: 17891 ... c Min unsat cost LB: 18610 ... c Min unsat cost LB: 18730 ... c Min unsat cost LB: 19196 ... c Min unsat cost LB: 19915 ... c Min unsat cost LB: 20900 ... c Min unsat cost LB: 21792 ... c Min unsat cost LB: 22517 ... c Min unsat cost LB: 22907 ... c Min unsat cost LB: 23110 ... c Min unsat cost LB: 23714 ... c Min unsat cost LB: 23934 ... c Min unsat cost LB: 23942 ... c Min unsat cost LB: 24834 ... c Min unsat cost LB: 24879 ... c Min unsat cost LB: 25151 ... c Min unsat cost LB: 25678 ... c Min unsat cost LB: 25794 ... c Min unsat cost LB: 25796 ... c Min unsat cost LB: 26123 ... c Min unsat cost LB: 26415 ... c Min unsat cost LB: 27282 ... c Min unsat cost LB: 28320 ... c Min unsat cost LB: 28884 ... c Min unsat cost LB: 29274 ... c Min unsat cost LB: 30312 ... c Min unsat cost LB: 31412 ... c Min unsat cost LB: 31549 ... c Min unsat cost LB: 32649 ... c Min unsat cost LB: 33335 ... c Min unsat cost LB: 33372 ... c Min unsat cost LB: 33891 ... c Min unsat cost LB: 33900 ... c Min unsat cost LB: 34813 ... c Min unsat cost LB: 35349 ... c Min unsat cost LB: 36042 ... c Min unsat cost LB: 36570 ... c Min unsat cost LB: 36927 ... c Min unsat cost LB: 36947 ... c Min unsat cost LB: 37154 ... c Min unsat cost LB: 37542 ... c Min unsat cost LB: 37769 ... c Min unsat cost LB: 38345 ... c Min unsat cost LB: 38552 ... c Min unsat cost LB: 38689 ... c Min unsat cost LB: 38824 ... c Min unsat cost LB: 39024 ... c Min unsat cost LB: 39346 ... c Min unsat cost LB: 39377 ... c Min unsat cost LB: 39485 ... c Min unsat cost LB: 39532 ... c Min unsat cost LB: 39600 ... c Min unsat cost LB: 39817 ... c Min unsat cost LB: 40207 ... c Min unsat cost LB: 40510 ... c Min unsat cost LB: 40737 ... c Min unsat cost LB: 40873 ... c Min unsat cost LB: 40940 ... c Min unsat cost LB: 40948 ... c Min unsat cost LB: 40975 ... c Min unsat cost LB: 41015 ... c Min unsat cost LB: 41046 ... c Min unsat cost LB: 41065 ... c Min unsat cost LB: 41083 ... c Min unsat cost LB: 41110 ... c Min unsat cost LB: 41674 ... c Min unsat cost LB: 41684 ... c Min unsat cost LB: 41856 ... c Min unsat cost LB: 42041 ... c Min unsat cost LB: 42704 ... c Min unsat cost LB: 42705 ... c Min unsat cost LB: 42825 ... c Min unsat cost LB: 42830 ... c Min unsat cost LB: 42835 ... c Min unsat cost LB: 42897 ... c Min unsat cost LB: 42905 ... c Min unsat cost LB: 43371 ... c Min unsat cost LB: 43432 ... c Min unsat cost LB: 43475 ... c Min unsat cost LB: 43512 ... c Min unsat cost LB: 43526 ... c Min unsat cost LB: 43544 ... c Min unsat cost LB: 43714 ... c Min unsat cost LB: 43722 ... c Min unsat cost LB: 43733 ... c Min unsat cost LB: 43885 ... c Min unsat cost LB: 43921 ... c Min unsat cost LB: 43949 ... c Min unsat cost LB: 44229 ... c Min unsat cost LB: 44684 ... c Min unsat cost LB: 44693 ... c Min unsat cost LB: 44754 ... c Min unsat cost LB: 45002 ... c Min unsat cost LB: 45091 ... c Min unsat cost LB: 45227 ... c Min unsat cost LB: 45302 ... c Min unsat cost LB: 45338 ... c Min unsat cost LB: 45548 ... c Min unsat cost LB: 45562 ... c Min unsat cost LB: 45581 ... c Min unsat cost LB: 45584 ... c Min unsat cost LB: 45626 ... c Min unsat cost LB: 45811 ... c Min unsat cost LB: 45873 ... c Min unsat cost LB: 45920 ... c Min unsat cost LB: 45963 ... c Min unsat cost LB: 46004 ... c Min unsat cost LB: 46103 ... c Min unsat cost LB: 46170 ... c Min unsat cost LB: 46176 ... c Min unsat cost LB: 46204 ... c Min unsat cost LB: 46312 ... c Min unsat cost LB: 46383 ... c Min unsat cost LB: 46487 ... c Min unsat cost LB: 46605 ... c Min unsat cost LB: 46659 ... c Min unsat cost LB: 46668 ... c Min unsat cost LB: 46688 ... c Min unsat cost LB: 46769 ... c Min unsat cost LB: 46822 ... c Min unsat cost LB: 46830 ... c Min unsat cost LB: 46877 ... c Min unsat cost LB: 46922 ... c Min unsat cost LB: 46997 ... c Min unsat cost LB: 47015 ... c Min unsat cost LB: 47036 ... c Min unsat cost LB: 47141 ... c Min unsat cost LB: 47143 ... c Min unsat cost LB: 47231 ... c Min unsat cost LB: 47343 ... c Min unsat cost LB: 47555 ... c Min unsat cost LB: 47575 ... c Min unsat cost LB: 47600 ... c Min unsat cost LB: 47646 ... c Min unsat cost LB: 47756 ... c Min unsat cost LB: 47776 ... c Min unsat cost LB: 47917 ... c Min unsat cost LB: 47938 ... c Min unsat cost LB: 48112 ... c Min unsat cost LB: 48117 ... c Min unsat cost LB: 48131 ... c Min unsat cost LB: 48408 ... c Min unsat cost LB: 48552 ... c Min unsat cost LB: 48614 ... c Min unsat cost LB: 48642 ... c Min unsat cost LB: 48758 ... c Min unsat cost LB: 48951 ... c Min unsat cost LB: 48962 ... c Min unsat cost LB: 48970 ... c Min unsat cost LB: 48975 ... c Min unsat cost LB: 49043 ... c Min unsat cost LB: 49064 ... c Min unsat cost LB: 49273 ... c Min unsat cost LB: 49276 ... c Min unsat cost LB: 49370 ... c Min unsat cost LB: 49556 ... c Min unsat cost LB: 49570 ... c Min unsat cost LB: 49574 ... c Min unsat cost LB: 49645 ... c Min unsat cost LB: 49646 ... c Min unsat cost LB: 49660 ... c Min unsat cost LB: 49667 ... c Min unsat cost LB: 49672 ... c Min unsat cost LB: 49688 ... c Min unsat cost LB: 49723 ... c Min unsat cost LB: 49751 ... c Min unsat cost LB: 49763 ... c Min unsat cost LB: 49773 ... c Min unsat cost LB: 49973 ... c Min unsat cost LB: 49993 ... c Min unsat cost LB: 50034 ... c Min unsat cost LB: 50043 ... c Min unsat cost LB: 50074 ... c Min unsat cost LB: 50111 ... c Min unsat cost LB: 50122 ... c Min unsat cost LB: 50148 ... c Min unsat cost LB: 50151 ... c Min unsat cost LB: 50187 ... c Min unsat cost LB: 50191 ... c Min unsat cost LB: 50205 ... c Min unsat cost LB: 50227 ... c Min unsat cost LB: 50312 ... c Min unsat cost LB: 50326 ... c Min unsat cost LB: 50344 ... c Min unsat cost LB: 50358 ... c Min unsat cost LB: 50360 ... c Min unsat cost LB: 50384 ... c Min unsat cost LB: 50386 ... c Min unsat cost LB: 50392 ... c Min unsat cost LB: 50405 ... c Min unsat cost LB: 50426 ... c Min unsat cost LB: 50430 ... c Min unsat cost LB: 50437 ... c Min unsat cost LB: 50439 ... c Min unsat cost LB: 50452 ... c Min unsat cost LB: 50454 ... c Min unsat cost LB: 50455 ... c Min unsat cost LB: 50462 ... c Min unsat cost LB: 50471 ... c Min unsat cost LB: 50472 ... c Min unsat cost LB: 50475 ... c Min unsat cost LB: 50477 ... c Min unsat cost LB: 50480 ... c Min unsat cost LB: 50483 ... c Min unsat cost LB: 50502 ... c Min unsat cost LB: 50503 ... c Min unsat cost LB: 50549 ... c Min unsat cost LB: 50554 ... c Min unsat cost LB: 50576 ... c Min unsat cost LB: 50584 ... c Min unsat cost LB: 50590 ... c Min unsat cost LB: 50610 ... c Min unsat cost LB: 50613 ... c Min unsat cost LB: 50622 ... c Min unsat cost LB: 50650 ... c Min unsat cost LB: 50658 ... c Min unsat cost LB: 50668 ... c Min unsat cost LB: 50669 ... c Min unsat cost LB: 50671 ... c Min unsat cost LB: 50675 ... c Min unsat cost LB: 50686 ... c Min unsat cost LB: 50739 ... c Min unsat cost LB: 50747 ... c Min unsat cost LB: 50759 ... c Min unsat cost LB: 50761 ... c Min unsat cost LB: 50777 ... c Min unsat cost LB: 50857 ... c Min unsat cost LB: 50860 ... c Min unsat cost LB: 50863 ... c Min unsat cost LB: 50866 ... c Min unsat cost LB: 50868 ... c Min unsat cost LB: 50873 ... c Min unsat cost LB: 50886 ... c Min unsat cost LB: 50887 ... c Min unsat cost LB: 50889 ... c Min unsat cost LB: 50891 ... c Min unsat cost LB: 50892 ... c Min unsat cost LB: 50903 ... c Min unsat cost LB: 50906 ... c Min unsat cost LB: 50909 ... c Min unsat cost LB: 50913 ... c Min unsat cost LB: 50914 ... c Min unsat cost LB: 50922 ... c Min unsat cost LB: 50923 ... c Min unsat cost LB: 50924 ... c Min unsat cost LB: 50927 ... c Min unsat cost LB: 50928 ... c Min unsat cost LB: 50937 ... c Min unsat cost LB: 50949 ... c Min unsat cost LB: 50960 ... c Min unsat cost LB: 50961 ... c Min unsat cost LB: 50964 ... c Min unsat cost LB: 50966 ... c Min unsat cost LB: 50970 ... c Min unsat cost LB: 50971 ... c Min unsat cost LB: 50972 ... c Min unsat cost LB: 50976 ... c Min unsat cost LB: 50984 ... c Min unsat cost LB: 50985 ... c Min unsat cost LB: 51017 ... c Min unsat cost LB: 51018 ... c Min unsat cost LB: 51024 ... c Min unsat cost LB: 51027 ... c Min unsat cost LB: 51028 ... c Min unsat cost LB: 51029 ... c Min unsat cost LB: 51030 ... c Min unsat cost LB: 51033 ... c Min unsat cost LB: 51040 ... c Min unsat cost LB: 51070 ... c Min unsat cost LB: 51071 ... c Min unsat cost LB: 51080 ... c Min unsat cost LB: 51116 ... c Min unsat cost LB: 51124 ... c Min unsat cost LB: 51127 ... c Min unsat cost LB: 51128 ... c Min unsat cost LB: 51131 ... c Min unsat cost LB: 51134 ... c Min unsat cost LB: 51140 ... c Min unsat cost LB: 51141 ... c Min unsat cost LB: 51147 ... c Min unsat cost LB: 51152 ... c Min unsat cost LB: 51159 ... c Min unsat cost LB: 51163 ... c Min unsat cost LB: 51183 ... c Min unsat cost LB: 51203 ... c Min unsat cost LB: 51225 ... c Min unsat cost LB: 51271 ... c Min unsat cost LB: 51272 ... c Min unsat cost LB: 51329 ... c Min unsat cost LB: 51331 ... c Min unsat cost LB: 51333 ... c Min unsat cost LB: 51335 ... c Min unsat cost LB: 51336 ... c Min unsat cost LB: 51343 ... c Min unsat cost LB: 51344 ... c Min unsat cost LB: 51345 ... c Min unsat cost LB: 51346 ... c Min unsat cost LB: 51358 ... c Min unsat cost LB: 51361 ... c Min unsat cost LB: 51362 ... c Min unsat cost LB: 51372 ... c Min unsat cost LB: 51377 ... c Min unsat cost LB: 51392 ... c Min unsat cost LB: 51397 ... c Min unsat cost LB: 51398 ... c Min unsat cost LB: 51402 ... c Min unsat cost LB: 51419 ... c Min unsat cost LB: 51422 ... c Min unsat cost LB: 51435 ... c Min unsat cost LB: 51440 ... c Min unsat cost LB: 51443 ... c Min unsat cost LB: 51444 ... c Min unsat cost LB: 51447 ... c Min unsat cost LB: 51466 ... c Min unsat cost LB: 51488 ... c Min unsat cost LB: 51495 ... c Min unsat cost LB: 51496 ... c Min unsat cost LB: 51497 ... c Min unsat cost LB: 51502 ... c Min unsat cost LB: 51516 ... c Min unsat cost LB: 51537 ... c Min unsat cost LB: 51540 ... c Min unsat cost LB: 51543 ... c Min unsat cost LB: 51544 ... c Min unsat cost LB: 51546 ... c Min unsat cost LB: 51547 ... c Min unsat cost LB: 51548 ... c Min unsat cost LB: 51549 ... c Min unsat cost LB: 51550 ... c Min unsat cost LB: 51552 ... c Min unsat cost LB: 51553 ... c Min unsat cost LB: 51554 ... c Min unsat cost LB: 51555 ... c Min unsat cost LB: 51556 ... c Min unsat cost LB: 51557 ... c Min unsat cost LB: 51558 ... c Min unsat cost LB: 51561 ... c Min unsat cost LB: 51562 ... c Min unsat cost LB: 51563 ... c Min unsat cost LB: 51564 ... c Min unsat cost LB: 51567 ... c Min unsat cost LB: 51568 ... c Min unsat cost LB: 51569 ... c Min unsat cost LB: 51570 ... c Min unsat cost LB: 51571 ... c Min unsat cost LB: 51572 ... c Min unsat cost LB: 51589 ... c Min unsat cost LB: 51590 ... c Min unsat cost LB: 51598 ... c Min unsat cost LB: 51600 ... c Min unsat cost LB: 51601 ... c Min unsat cost LB: 51602 ... c Min unsat cost LB: 51603 ... c Min unsat cost LB: 51604 ... c Min unsat cost LB: 51605 ... c Min unsat cost LB: 51607 ... c Min unsat cost LB: 51608 ... c Min unsat cost LB: 51612 ... c Min unsat cost LB: 51613 ... c Min unsat cost LB: 51614 ... c Min unsat cost LB: 51615 ... c Min unsat cost LB: 51616 ... c Min unsat cost LB: 51617 ... c Min unsat cost LB: 51620 ... c Min unsat cost LB: 51621 ... c Min unsat cost LB: 51622 ... c Min unsat cost LB: 51628 ... c Min unsat cost LB: 51629 ... c Min unsat cost LB: 51633 ... c Min unsat cost LB: 51649 ... c Min unsat cost LB: 51665 ... c Min unsat cost LB: 51666 ... c Min unsat cost LB: 51671 ... c Min unsat cost LB: 51672 ... c Min unsat cost LB: 51679 ... c Min unsat cost LB: 51683 ... c Min unsat cost LB: 51685 ... c Min unsat cost LB: 51686 ... c Min unsat cost LB: 51687 ... c Min unsat cost LB: 51690 ... c Min unsat cost LB: 51691 ... c Min unsat cost LB: 51692 ... c Min unsat cost LB: 51693 ... c Min unsat cost LB: 51695 ... c Min unsat cost LB: 51696 ... c Min unsat cost LB: 51697 ... c Min unsat cost LB: 51698 ... c Min unsat cost LB: 51700 ... c Min unsat cost LB: 51701 ... c Min unsat cost LB: 51702 ... c Min unsat cost LB: 51708 ... c Min unsat cost LB: 51709 ... c Min unsat cost LB: 51710 ... c Min unsat cost LB: 51711 ... c Min unsat cost LB: 51714 ... c Min unsat cost LB: 51716 ... c Min unsat cost LB: 51727 ... c Min unsat cost LB: 51730 ... c Min unsat cost LB: 51731 ... c Min unsat cost LB: 51733 ... c Min unsat cost LB: 51734 ... c Min unsat cost LB: 51735 ... c Min unsat cost LB: 51736 ... c Min unsat cost LB: 51737 ... c Min unsat cost LB: 51739 ... c Min unsat cost LB: 51741 ... c Min unsat cost LB: 51742 ... c Min unsat cost LB: 51745 ... c Min unsat cost LB: 51746 ... c Min unsat cost LB: 51747 ... c Min unsat cost LB: 51748 ... c Min unsat cost LB: 51749 ... c Min unsat cost LB: 51750 ... c Min unsat cost LB: 51751 ... c Min unsat cost LB: 51753 ... c Min unsat cost LB: 51758 ... c Min unsat cost LB: 51759 ... c Min unsat cost LB: 51765 ... c Min unsat cost LB: 51790 ... c Min unsat cost LB: 51796 ... c Min unsat cost LB: 51805 ... c Min unsat cost LB: 51806 ... c Min unsat cost LB: 51807 ... c Min unsat cost LB: 51817 ... c Min unsat cost LB: 51818 ... c Min unsat cost LB: 51819 ... c Min unsat cost LB: 51820 ... c Min unsat cost LB: 51821 ... c Min unsat cost LB: 51822 ... c Min unsat cost LB: 51823 ... c Min unsat cost LB: 51825 ... c Min unsat cost LB: 51830 ... c Min unsat cost LB: 51852 ... c Min unsat cost LB: 51853 ... c Min unsat cost LB: 51856 ... c Min unsat cost LB: 51859 ... c Min unsat cost LB: 51864 ... c Min unsat cost LB: 51867 ... c Min unsat cost LB: 51869 ... c Min unsat cost LB: 51870 ... c Min unsat cost LB: 51871 ... c Min unsat cost LB: 51872 ... c Min unsat cost LB: 51873 ... c Min unsat cost LB: 51874 ... c Min unsat cost LB: 51875 ... c Min unsat cost LB: 51877 ... c Min unsat cost LB: 51878 ... c Min unsat cost LB: 51880 ... c Min unsat cost LB: 51881 ... c Min unsat cost LB: 51882 ... c Min unsat cost LB: 51883 ... c Min unsat cost LB: 51884 ... c Min unsat cost LB: 51885 ... c Min unsat cost LB: 51889 ... c Min unsat cost LB: 51890 ... c Min unsat cost LB: 51892 ... c Min unsat cost LB: 51894 ... c Min unsat cost LB: 51895 ... c Min unsat cost LB: 51896 ... c Min unsat cost LB: 51897 ... c Min unsat cost LB: 51898 ... c Min unsat cost LB: 51913 ... c Min unsat cost LB: 51916 ... c Min unsat cost LB: 51933 ... c Min unsat cost LB: 51935 ... c Min unsat cost LB: 51946 ... c Min unsat cost LB: 51953 ... c Min unsat cost LB: 51954 ... c Min unsat cost LB: 51957 ... c Min unsat cost LB: 51958 ... c Min unsat cost LB: 51959 ... c Min unsat cost LB: 51960 ... c Min unsat cost LB: 51961 ... c Min unsat cost LB: 51962 ... c Min unsat cost LB: 51963 ... c Min unsat cost LB: 51967 ... c Min unsat cost LB: 51981 ... c Min unsat cost LB: 51992 ... c Min unsat cost LB: 52034 ... c Min unsat cost LB: 52039 ... c Min unsat cost LB: 52041 ... c Min unsat cost LB: 52075 ... c Min unsat cost LB: 52076 ... c Min unsat cost LB: 52077 ... c Min unsat cost LB: 52078 ... c Min unsat cost LB: 52081 ... c Min unsat cost LB: 52085 ... c Min unsat cost LB: 52087 ... c Min unsat cost LB: 52088 ... c Min unsat cost LB: 52089 ... c Min unsat cost LB: 52090 ... c Min unsat cost LB: 52091 ... c Min unsat cost LB: 52092 ... c Min unsat cost LB: 52093 ... c Min unsat cost LB: 52094 ... c Min unsat cost LB: 52095 ... c Min unsat cost LB: 52096 ... c Min unsat cost LB: 52097 ... c Min unsat cost LB: 52098 ... c Min unsat cost LB: 52099 ... c Min unsat cost LB: 52100 ... c Min unsat cost LB: 52101 ... c Min unsat cost LB: 52102 ... c Min unsat cost LB: 52103 ... c Min unsat cost LB: 52106 ... c Min unsat cost LB: 52107 ... c Min unsat cost LB: 52108 ... c Min unsat cost LB: 52109 ... c Min unsat cost LB: 52110 ... c Min unsat cost LB: 52113 ... c Min unsat cost LB: 52114 ... c Min unsat cost LB: 52135 ... c Min unsat cost LB: 52138 ... c Min unsat cost LB: 52154 ... c Min unsat cost LB: 52155 ... c Min unsat cost LB: 52157 ... c Min unsat cost LB: 52159 ... c Min unsat cost LB: 52223 ... c Min unsat cost LB: 52225 ... c Min unsat cost LB: 52226 ... c Min unsat cost LB: 52232 ... c Min unsat cost LB: 52233 ... c Min unsat cost LB: 52239 ... c Min unsat cost LB: 52241 ... c Min unsat cost LB: 52242 ... c Min unsat cost LB: 52243 ... c Min unsat cost LB: 52244 ... c Min unsat cost LB: 52245 ... c Min unsat cost LB: 52246 ... c Min unsat cost LB: 52247 ... c Min unsat cost LB: 52248 ... c Min unsat cost LB: 52249 ... c Min unsat cost LB: 52250 ... c Min unsat cost LB: 52251 ... c Min unsat cost LB: 52252 ... c Min unsat cost LB: 52253 ... c Min unsat cost LB: 52254 ... c Min unsat cost LB: 52255 ... c Min unsat cost LB: 52256 ... c Min unsat cost LB: 52257 ... c Min unsat cost LB: 52258 ... c Min unsat cost LB: 52259 ... c Min unsat cost LB: 52260 ... c Min unsat cost LB: 52262 ... c Min unsat cost LB: 52263 ... c Min unsat cost LB: 52264 ... c Min unsat cost LB: 52265 ... c Min unsat cost LB: 52266 ... c Min unsat cost LB: 52267 ... c Min unsat cost LB: 52268 ... c Min unsat cost LB: 52269 ... c Min unsat cost LB: 52270 ... c Min unsat cost LB: 52271 ... c Min unsat cost LB: 52272 ... c Min unsat cost LB: 52273 ... c Min unsat cost LB: 52274 ... c Min unsat cost LB: 52275 ... c Min unsat cost LB: 52276 ... c Min unsat cost LB: 52277 ... c Min unsat cost LB: 52278 ... c Min unsat cost LB: 52279 ... c Min unsat cost LB: 52281 ... c Min unsat cost LB: 52282 ... c Min unsat cost LB: 52283 ... c Min unsat cost LB: 52284 ... c Min unsat cost LB: 52285 ... c Min unsat cost LB: 52287 ... c Min unsat cost LB: 52288 ... c Min unsat cost LB: 52289 ... c Min unsat cost LB: 52290 ... c Min unsat cost LB: 52291 ... c Min unsat cost LB: 52292 ... c Min unsat cost LB: 52293 ... c Min unsat cost LB: 52294 ... c Min unsat cost LB: 52295 ... c Min unsat cost LB: 52296 ... c Min unsat cost LB: 52297 ... c Min unsat cost LB: 52298 ... c Min unsat cost LB: 52299 ... c Min unsat cost LB: 52300 ... c Min unsat cost LB: 52301 ... c Min unsat cost LB: 52302 ... c Min unsat cost LB: 52303 ... c Min unsat cost LB: 52304 ... c Min unsat cost LB: 52305 ... c Min unsat cost LB: 52306 ... c Min unsat cost LB: 52307 ... c Min unsat cost LB: 52308 ... c Min unsat cost LB: 52309 ... c Min unsat cost LB: 52310 ... c Min unsat cost LB: 52311 ... c Min unsat cost LB: 52318 ... c Min unsat cost LB: 52345 ... c Min unsat cost LB: 52346 ... c Min unsat cost LB: 52347 ... c Min unsat cost LB: 52348 ... c Min unsat cost LB: 52351 ... c Min unsat cost LB: 52358 ... c Min unsat cost LB: 52359 ... c Min unsat cost LB: 52361 ... c Min unsat cost LB: 52364 ... c Min unsat cost LB: 52365 ... c Min unsat cost LB: 52366 ... c Min unsat cost LB: 52367 ... c Min unsat cost LB: 52368 ... c Min unsat cost LB: 52369 ... c Min unsat cost LB: 52370 ... c Min unsat cost LB: 52373 ... c Min unsat cost LB: 52375 ... c Min unsat cost LB: 52376 ... c Min unsat cost LB: 52380 ... c Min unsat cost LB: 52381 ... c Min unsat cost LB: 52382 ... c Min unsat cost LB: 52383 ... c Min unsat cost LB: 52384 ... c Min unsat cost LB: 52388 ... c Min unsat cost LB: 52392 ... c Min unsat cost LB: 52393 ... c Min unsat cost LB: 52394 ... c Min unsat cost LB: 52402 ... c Min unsat cost LB: 52403 ... c Min unsat cost LB: 52406 ... c Min unsat cost LB: 52409 ... c Min unsat cost LB: 52410 ... c Min unsat cost LB: 52411 ... c Min unsat cost LB: 52412 ... c Min unsat cost LB: 52413 ... c Min unsat cost LB: 52414 ... c Min unsat cost LB: 52415 ... c Min unsat cost LB: 52416 ... c Min unsat cost LB: 52417 ... c Min unsat cost LB: 52419 ... c Min unsat cost LB: 52420 ... c Min unsat cost LB: 52421 ... c Min unsat cost LB: 52422 ... c Min unsat cost LB: 52423 ... c Min unsat cost LB: 52424 ... c Min unsat cost LB: 52425 ... c Min unsat cost LB: 52426 ... c Min unsat cost LB: 52427 ... c Min unsat cost LB: 52428 ... c Min unsat cost LB: 52429 ... c Min unsat cost LB: 52430 ... c Min unsat cost LB: 52432 ... c Min unsat cost LB: 52433 ... c Min unsat cost LB: 52434 ... c Min unsat cost LB: 52435 ... c Min unsat cost LB: 52436 ... c Min unsat cost LB: 52437 ... c Min unsat cost LB: 52438 ... c Min unsat cost LB: 52439 ... c Min unsat cost LB: 52440 ... c Min unsat cost LB: 52441 ... c Min unsat cost LB: 52442 ... c Min unsat cost LB: 52443 ... c Min unsat cost LB: 52445 ... c Min unsat cost LB: 52446 ... c Min unsat cost LB: 52450 ... c Min unsat cost LB: 52451 ... c Min unsat cost LB: 52452 ... c Min unsat cost LB: 52453 ... c Min unsat cost LB: 52454 ... c Min unsat cost LB: 52455 ... c Min unsat cost LB: 52456 ... c Min unsat cost LB: 52457 ... c Min unsat cost LB: 52459 ... c Min unsat cost LB: 52461 ... c Min unsat cost LB: 52462 ... c Min unsat cost LB: 52463 ... c Min unsat cost LB: 52464 ... c Min unsat cost LB: 52465 ... c Min unsat cost LB: 52466 ... c Min unsat cost LB: 52467 ... c Min unsat cost LB: 52468 ... c Min unsat cost LB: 52469 ... c Min unsat cost LB: 52470 ... c Min unsat cost LB: 52471 ... c Min unsat cost LB: 52472 ... c Min unsat cost LB: 52473 ... c Min unsat cost LB: 52475 ... c Min unsat cost LB: 52476 ... c Min unsat cost LB: 52477 ... c Min unsat cost LB: 52478 ... c Min unsat cost LB: 52479 ... c Min unsat cost LB: 52480 ... c Min unsat cost LB: 52481 ... c Min unsat cost LB: 52482 ... c Min unsat cost LB: 52483 ... c Min unsat cost LB: 52484 ... c Min unsat cost LB: 52485 ... c Min unsat cost LB: 52486 ... c Min unsat cost LB: 52487 ... c Min unsat cost LB: 52488 ... c Min unsat cost LB: 52489 ... c Min unsat cost LB: 52490 ... c Min unsat cost LB: 52491 ... c Min unsat cost LB: 52492 ... c Min unsat cost LB: 52493 ... c Min unsat cost LB: 52494 ... c Min unsat cost LB: 52495 ... c Min unsat cost LB: 52496 ... c Min unsat cost LB: 52497 ... c Min unsat cost LB: 52498 ... c Min unsat cost LB: 52499 ... c Min unsat cost LB: 52500 ... c Min unsat cost LB: 52501 ... c Min unsat cost LB: 52502 ... c Min unsat cost LB: 52503 ... c Min unsat cost LB: 52504 ... c Min unsat cost LB: 52505 ... c Min unsat cost LB: 52506 ... c Min unsat cost LB: 52507 ... c Min unsat cost LB: 52508 ... c Min unsat cost LB: 52509 ... c Min unsat cost LB: 52510 ... c Min unsat cost LB: 52511 ... c Min unsat cost LB: 52512 ... c Min unsat cost LB: 52513 ... c Min unsat cost LB: 52514 ... c Min unsat cost LB: 52515 ... c Min unsat cost LB: 52516 ... c Min unsat cost LB: 52517 ... c Min unsat cost LB: 52518 ... c Min unsat cost LB: 52519 ... c Min unsat cost LB: 52520 ... c Min unsat cost LB: 52521 ... c Min unsat cost LB: 52522 ... c Min unsat cost LB: 52523 ... c Min unsat cost LB: 52524 ... c Min unsat cost LB: 52525 ... c Min unsat cost LB: 52526 ... c Min unsat cost LB: 52527 ... c Min unsat cost LB: 52528 ... c Min unsat cost LB: 52529 ... c Min unsat cost LB: 52530 ... c Min unsat cost LB: 52531 ... c Min unsat cost LB: 52532 ... c Min unsat cost LB: 52533 ... c Min unsat cost LB: 52534 ... c Min unsat cost LB: 52535 ... c Min unsat cost LB: 52536 ... c Min unsat cost LB: 52537 ... c Min unsat cost LB: 52538 ... c Min unsat cost LB: 52541 ... c Min unsat cost LB: 52542 ... c Min unsat cost LB: 52543 ... c Min unsat cost LB: 52544 ... c Min unsat cost LB: 52545 ... c Min unsat cost LB: 52546 ... c Min unsat cost LB: 52547 ... c Min unsat cost LB: 52548 ... c Min unsat cost LB: 52549 ... c Min unsat cost LB: 52550 ... c Min unsat cost LB: 52551 ... c Min unsat cost LB: 52552 ... c Min unsat cost LB: 52553 ... c Min unsat cost LB: 52554 ... c Min unsat cost LB: 52555 ... c Min unsat cost LB: 52556 ... c Min unsat cost LB: 52557 ... c Min unsat cost LB: 52558 ... c Min unsat cost LB: 52559 ... c Min unsat cost LB: 52560 ... c Min unsat cost LB: 52561 ... c Min unsat cost LB: 52562 ... c Min unsat cost LB: 52563 ... c Min unsat cost LB: 52564 ... c Min unsat cost LB: 52565 ... c Min unsat cost LB: 52566 ... c Min unsat cost LB: 52567 ... c Min unsat cost LB: 52568 ... c Min unsat cost LB: 52569 ... c Min unsat cost LB: 52570 ... c Min unsat cost LB: 52576 ... c Min unsat cost LB: 52577 ... c Min unsat cost LB: 52578 ... c Min unsat cost LB: 52579 ... c Min unsat cost LB: 52580 ... c Min unsat cost LB: 52581 ... c Min unsat cost LB: 52582 ... c Min unsat cost LB: 52583 ... c Min unsat cost LB: 52584 ... c Min unsat cost LB: 52585 ... c Min unsat cost LB: 52586 ... c Min unsat cost LB: 52587 ... c Min unsat cost LB: 52588 ... c Min unsat cost LB: 52589 ... c Min unsat cost LB: 52590 ... c Min unsat cost LB: 52591 ... c Min unsat cost LB: 52592 ... c Min unsat cost LB: 52593 ... c Min unsat cost LB: 52594 ... c Min unsat cost LB: 52595 ... c Min unsat cost LB: 52596 ... c Min unsat cost LB: 52597 ... c Min unsat cost LB: 52598 ... c Min unsat cost LB: 52599 ... c Min unsat cost LB: 52600 ... c Min unsat cost LB: 52601 ... c Min unsat cost LB: 52602 ... c Min unsat cost LB: 52603 ... c Min unsat cost LB: 52604 ... c Min unsat cost LB: 52605 ... c Min unsat cost LB: 52606 ... c Min unsat cost LB: 52607 ... c Min unsat cost LB: 52608 ... c Min unsat cost LB: 52609 ... c Min unsat cost LB: 52611 ... c Min unsat cost LB: 52612 ... c Min unsat cost LB: 52613 ... c Min unsat cost LB: 52614 ... c Min unsat cost LB: 52615 ... c Min unsat cost LB: 52616 ... c Min unsat cost LB: 52617 ... c Min unsat cost LB: 52618 ... c Min unsat cost LB: 52619 ... c Min unsat cost LB: 52620 ... c Min unsat cost LB: 52621 ... c Min unsat cost LB: 52622 ... c Min unsat cost LB: 52623 ... c Min unsat cost LB: 52624 ... c Min unsat cost LB: 52625 ... c Min unsat cost LB: 52626 ... c Min unsat cost LB: 52627 ... c Min unsat cost LB: 52628 ... c Min unsat cost LB: 52629 ... c Min unsat cost LB: 52630 ... c Min unsat cost LB: 52631 ... c Min unsat cost LB: 52632 ... c Min unsat cost LB: 52633 ... c Min unsat cost LB: 52634 ... c Min unsat cost LB: 52635 ... c Min unsat cost LB: 52636 ... c Min unsat cost LB: 52637 ... c Min unsat cost LB: 52638 ... c Min unsat cost LB: 52639 ... c Min unsat cost LB: 52640 ... c Min unsat cost LB: 52641 ... c Min unsat cost LB: 52642 ... c Min unsat cost LB: 52643 ... c Min unsat cost LB: 52644 ... c Min unsat cost LB: 52645 ... c Min unsat cost LB: 52646 ... c Min unsat cost LB: 52647 ... c Min unsat cost LB: 52648 ... c Min unsat cost LB: 52649 ... c Min unsat cost LB: 52650 ... c Min unsat cost LB: 52651 ... c Min unsat cost LB: 52652 ... c Min unsat cost LB: 52653 ... c Min unsat cost LB: 52654 ... c Min unsat cost LB: 52655 ... c Min unsat cost LB: 52656 ... c Min unsat cost LB: 52657 ... c Min unsat cost LB: 52658 ... c Min unsat cost LB: 52659 ... c Min unsat cost LB: 52660 ... c Min unsat cost LB: 52661 ... c Min unsat cost LB: 52662 ... c Min unsat cost LB: 52663 ... c Min unsat cost LB: 52664 ... c Min unsat cost LB: 52665 ... c Min unsat cost LB: 52666 ... c Min unsat cost LB: 52667 ... c Min unsat cost LB: 52668 ... c Min unsat cost LB: 52669 ... c Min unsat cost LB: 52670 ... c Min unsat cost LB: 52671 ... c Min unsat cost LB: 52672 ... c Min unsat cost LB: 52673 ... c Min unsat cost LB: 52674 ... c Min unsat cost LB: 52675 ... c Min unsat cost LB: 52676 ... c Min unsat cost LB: 52677 ... c Min unsat cost LB: 52678 ... c Min unsat cost LB: 52679 ... c Min unsat cost LB: 52684 ... c Min unsat cost LB: 52685 ... c Min unsat cost LB: 52686 ... c Min unsat cost LB: 52687 ... c Min unsat cost LB: 52688 ... c Min unsat cost LB: 52689 ... c Min unsat cost LB: 52690 ... c Min unsat cost LB: 52691 ... c Min unsat cost LB: 52692 ... c Min unsat cost LB: 52693 ... c Min unsat cost LB: 52694 ... c Min unsat cost LB: 52695 ... c Min unsat cost LB: 52696 ... c Min unsat cost LB: 52697 ... c Min unsat cost LB: 52698 ... c Min unsat cost LB: 52699 ... c Min unsat cost LB: 52700 ... c Min unsat cost LB: 52701 ... c Min unsat cost LB: 52702 ... c Min unsat cost LB: 52703 ... c Min unsat cost LB: 52704 ... c Min unsat cost LB: 52705 ... c Min unsat cost LB: 52706 ... c Min unsat cost LB: 52707 ... c Min unsat cost LB: 52708 ... c Min unsat cost LB: 52709 ... c Min unsat cost LB: 52710 ... c Min unsat cost LB: 52711 ... c Min unsat cost LB: 52712 ... c Min unsat cost LB: 52713 ... c Min unsat cost LB: 52714 ... c Min unsat cost LB: 52715 ... c Min unsat cost LB: 52716 ... c Min unsat cost LB: 52717 ... c Min unsat cost LB: 52718 ... c Min unsat cost LB: 52719 ... c Min unsat cost LB: 52720 ... c Min unsat cost LB: 52721 ... c Min unsat cost LB: 52722 ... c Min unsat cost LB: 52723 ... c Min unsat cost LB: 52724 ... c Min unsat cost LB: 52725 ... c Min unsat cost LB: 52726 ... c Min unsat cost LB: 52727 ... c Min unsat cost LB: 52728 ... c Min unsat cost LB: 52729 ... c Min unsat cost LB: 52730 ... c Min unsat cost LB: 52731 ... c Min unsat cost LB: 52732 ... c Min unsat cost LB: 52733 ... c Min unsat cost LB: 52734 ... c Min unsat cost LB: 52735 ... c Min unsat cost LB: 52736 ... c Min unsat cost LB: 52737 ... c Min unsat cost LB: 52738 ... c Min unsat cost LB: 52739 ... c Min unsat cost LB: 52740 ... c Min unsat cost LB: 52741 ... c Min unsat cost LB: 52742 ... c Min unsat cost LB: 52743 ... c Min unsat cost LB: 52744 ... c Min unsat cost LB: 52745 ... c Min unsat cost LB: 52746 ... c Min unsat cost LB: 52747 ... c Min unsat cost LB: 52748 ... c Min unsat cost LB: 52749 ... c Min unsat cost LB: 52750 ... c Min unsat cost LB: 52751 ... c Min unsat cost LB: 52752 ... c Min unsat cost LB: 52753 ... c Min unsat cost LB: 52754 ... c Min unsat cost LB: 52763 ... c Min unsat cost LB: 52764 ... c Min unsat cost LB: 52765 ... c Min unsat cost LB: 52766 ... c Min unsat cost LB: 52767 ... c Min unsat cost LB: 52768 ... c Min unsat cost LB: 52769 ... c Min unsat cost LB: 52770 ... c Min unsat cost LB: 52771 ... c Min unsat cost LB: 52772 ... c Min unsat cost LB: 52773 ... c Min unsat cost LB: 52774 ... c Min unsat cost LB: 52775 ... c Min unsat cost LB: 52776 ... c Min unsat cost LB: 52777 ... c Min unsat cost LB: 52778 ... c Min unsat cost LB: 52779 ... c Min unsat cost LB: 52780 ... c Min unsat cost LB: 52781 ... c Min unsat cost LB: 52782 ... c Min unsat cost LB: 52783 ... c Min unsat cost LB: 52784 ... c Min unsat cost LB: 52785 ... c Min unsat cost LB: 52786 ... c Min unsat cost LB: 52787 ... c Min unsat cost LB: 52788 ... c Min unsat cost LB: 52789 ... c Min unsat cost LB: 52790 ... c Min unsat cost LB: 52791 ... c Min unsat cost LB: 52792 ... c Min unsat cost LB: 52793 ... c Min unsat cost LB: 52794 ... c Min unsat cost LB: 52795 ... c Min unsat cost LB: 52796 ... c Min unsat cost LB: 52797 ... c Min unsat cost LB: 52799 ... c Min unsat cost LB: 52800 ... c Min unsat cost LB: 52801 ... c Min unsat cost LB: 52802 ... c Min unsat cost LB: 52803 ... c Min unsat cost LB: 52804 ... c Min unsat cost LB: 52805 ... c Min unsat cost LB: 52806 ... c Min unsat cost LB: 52807 ... c Min unsat cost LB: 52808 ... c Min unsat cost LB: 52809 ... c Min unsat cost LB: 52810 ... c Min unsat cost LB: 52811 ... c Min unsat cost LB: 52813 ... c Min unsat costKilled 1813.839u 5.901s 30:19.99 99.9% 0+0k 0+0io 0pf+0w