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_90_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0001.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_90_0001.txt.wcnf *** c c Min unsat cost LB: 1328 ... c Min unsat cost LB: 2088 ... c Min unsat cost LB: 2729 ... c Min unsat cost LB: 3576 ... c Min unsat cost LB: 3920 ... c Min unsat cost LB: 4767 ... c Min unsat cost LB: 5024 ... c Min unsat cost LB: 6083 ... c Min unsat cost LB: 6564 ... c Min unsat cost LB: 7475 ... c Min unsat cost LB: 8235 ... c Min unsat cost LB: 8428 ... c Min unsat cost LB: 9711 ... c Min unsat cost LB: 10815 ... c Min unsat cost LB: 11232 ... c Min unsat cost LB: 11993 ... c Min unsat cost LB: 12515 ... c Min unsat cost LB: 13156 ... c Min unsat cost LB: 13335 ... c Min unsat cost LB: 14096 ... c Min unsat cost LB: 14618 ... c Min unsat cost LB: 15319 ... c Min unsat cost LB: 16165 ... c Min unsat cost LB: 16523 ... c Min unsat cost LB: 17284 ... c Min unsat cost LB: 17925 ... c Min unsat cost LB: 18129 ... c Min unsat cost LB: 18335 ... c Min unsat cost LB: 18772 ... c Min unsat cost LB: 19271 ... c Min unsat cost LB: 19689 ... c Min unsat cost LB: 19816 ... c Min unsat cost LB: 20820 ... c Min unsat cost LB: 21032 ... c Min unsat cost LB: 21091 ... c Min unsat cost LB: 21329 ... c Min unsat cost LB: 21429 ... c Min unsat cost LB: 21514 ... c Min unsat cost LB: 22352 ... c Min unsat cost LB: 23198 ... c Min unsat cost LB: 24045 ... c Min unsat cost LB: 24806 ... c Min unsat cost LB: 25135 ... c Min unsat cost LB: 25467 ... c Min unsat cost LB: 25679 ... c Min unsat cost LB: 25963 ... c Min unsat cost LB: 25990 ... c Min unsat cost LB: 26901 ... c Min unsat cost LB: 27334 ... c Min unsat cost LB: 28081 ... c Min unsat cost LB: 28457 ... c Min unsat cost LB: 28874 ... c Min unsat cost LB: 29183 ... c Min unsat cost LB: 29724 ... c Min unsat cost LB: 29897 ... c Min unsat cost LB: 30490 ... c Min unsat cost LB: 30498 ... c Min unsat cost LB: 30626 ... c Min unsat cost LB: 31286 ... c Min unsat cost LB: 32046 ... c Min unsat cost LB: 33091 ... c Min unsat cost LB: 33334 ... c Min unsat cost LB: 34070 ... c Min unsat cost LB: 34775 ... c Min unsat cost LB: 35968 ... c Min unsat cost LB: 36253 ... c Min unsat cost LB: 36728 ... c Min unsat cost LB: 36835 ... c Min unsat cost LB: 37433 ... c Min unsat cost LB: 37540 ... c Min unsat cost LB: 37885 ... c Min unsat cost LB: 37973 ... c Min unsat cost LB: 38451 ... c Min unsat cost LB: 38932 ... c Min unsat cost LB: 39189 ... c Min unsat cost LB: 39582 ... c Min unsat cost LB: 39717 ... c Min unsat cost LB: 39890 ... c Min unsat cost LB: 40377 ... c Min unsat cost LB: 40464 ... c Min unsat cost LB: 40661 ... c Min unsat cost LB: 40713 ... c Min unsat cost LB: 40737 ... c Min unsat cost LB: 40864 ... c Min unsat cost LB: 40989 ... c Min unsat cost LB: 41227 ... c Min unsat cost LB: 41444 ... c Min unsat cost LB: 41551 ... c Min unsat cost LB: 41735 ... c Min unsat cost LB: 41863 ... c Min unsat cost LB: 42026 ... c Min unsat cost LB: 42468 ... c Min unsat cost LB: 42489 ... c Min unsat cost LB: 42519 ... c Min unsat cost LB: 42842 ... c Min unsat cost LB: 42870 ... c Min unsat cost LB: 42958 ... c Min unsat cost LB: 43576 ... c Min unsat cost LB: 43760 ... c Min unsat cost LB: 43787 ... c Min unsat cost LB: 43806 ... c Min unsat cost LB: 44049 ... c Min unsat cost LB: 44222 ... c Min unsat cost LB: 44350 ... c Min unsat cost LB: 44804 ... c Min unsat cost LB: 45036 ... c Min unsat cost LB: 45121 ... c Min unsat cost LB: 45295 ... c Min unsat cost LB: 45512 ... c Min unsat cost LB: 45520 ... c Min unsat cost LB: 45546 ... c Min unsat cost LB: 45769 ... c Min unsat cost LB: 45795 ... c Min unsat cost LB: 45808 ... c Min unsat cost LB: 45838 ... c Min unsat cost LB: 45926 ... c Min unsat cost LB: 45934 ... c Min unsat cost LB: 45958 ... c Min unsat cost LB: 45979 ... c Min unsat cost LB: 45991 ... c Min unsat cost LB: 46048 ... c Min unsat cost LB: 46140 ... c Min unsat cost LB: 46182 ... c Min unsat cost LB: 46397 ... c Min unsat cost LB: 46569 ... c Min unsat cost LB: 46694 ... c Min unsat cost LB: 46697 ... c Min unsat cost LB: 46735 ... c Min unsat cost LB: 46750 ... c Min unsat cost LB: 46936 ... c Min unsat cost LB: 46962 ... c Min unsat cost LB: 47062 ... c Min unsat cost LB: 47093 ... c Min unsat cost LB: 47101 ... c Min unsat cost LB: 47153 ... c Min unsat cost LB: 47166 ... c Min unsat cost LB: 47208 ... c Min unsat cost LB: 47325 ... c Min unsat cost LB: 47384 ... c Min unsat cost LB: 47506 ... c Min unsat cost LB: 47552 ... c Min unsat cost LB: 47730 ... c Min unsat cost LB: 47878 ... c Min unsat cost LB: 47900 ... c Min unsat cost LB: 47964 ... c Min unsat cost LB: 48076 ... c Min unsat cost LB: 48090 ... c Min unsat cost LB: 48126 ... c Min unsat cost LB: 48152 ... c Min unsat cost LB: 48402 ... c Min unsat cost LB: 48469 ... c Min unsat cost LB: 48478 ... c Min unsat cost LB: 48538 ... c Min unsat cost LB: 48551 ... c Min unsat cost LB: 48567 ... c Min unsat cost LB: 48717 ... c Min unsat cost LB: 48718 ... c Min unsat cost LB: 48769 ... c Min unsat cost LB: 49099 ... c Min unsat cost LB: 49196 ... c Min unsat cost LB: 49275 ... c Min unsat cost LB: 49288 ... c Min unsat cost LB: 49294 ... c Min unsat cost LB: 49303 ... c Min unsat cost LB: 49308 ... c Min unsat cost LB: 49310 ... c Min unsat cost LB: 49483 ... c Min unsat cost LB: 49485 ... c Min unsat cost LB: 49510 ... c Min unsat cost LB: 49635 ... c Min unsat cost LB: 49644 ... c Min unsat cost LB: 49732 ... c Min unsat cost LB: 50086 ... c Min unsat cost LB: 50212 ... c Min unsat cost LB: 50240 ... c Min unsat cost LB: 50248 ... c Min unsat cost LB: 50335 ... c Min unsat cost LB: 50337 ... c Min unsat cost LB: 50341 ... c Min unsat cost LB: 50389 ... c Min unsat cost LB: 50397 ... c Min unsat cost LB: 50414 ... c Min unsat cost LB: 50641 ... c Min unsat cost LB: 50645 ... c Min unsat cost LB: 50687 ... c Min unsat cost LB: 50689 ... c Min unsat cost LB: 50697 ... c Min unsat cost LB: 50710 ... c Min unsat cost LB: 50711 ... c Min unsat cost LB: 50715 ... c Min unsat cost LB: 50719 ... c Min unsat cost LB: 50724 ... c Min unsat cost LB: 50732 ... c Min unsat cost LB: 50774 ... c Min unsat cost LB: 50779 ... c Min unsat cost LB: 50782 ... c Min unsat cost LB: 50784 ... c Min unsat cost LB: 50788 ... c Min unsat cost LB: 50789 ... c Min unsat cost LB: 50824 ... c Min unsat cost LB: 50830 ... c Min unsat cost LB: 50834 ... c Min unsat cost LB: 50843 ... c Min unsat cost LB: 50844 ... c Min unsat cost LB: 50848 ... c Min unsat cost LB: 50849 ... c Min unsat cost LB: 50851 ... c Min unsat cost LB: 50862 ... c Min unsat cost LB: 50865 ... c Min unsat cost LB: 50867 ... c Min unsat cost LB: 50868 ... c Min unsat cost LB: 50875 ... c Min unsat cost LB: 50879 ... c Min unsat cost LB: 50893 ... c Min unsat cost LB: 50981 ... c Min unsat cost LB: 51008 ... c Min unsat cost LB: 51062 ... c Min unsat cost LB: 51070 ... c Min unsat cost LB: 51079 ... c Min unsat cost LB: 51088 ... c Min unsat cost LB: 51096 ... c Min unsat cost LB: 51099 ... c Min unsat cost LB: 51109 ... c Min unsat cost LB: 51114 ... c Min unsat cost LB: 51115 ... c Min unsat cost LB: 51119 ... c Min unsat cost LB: 51123 ... c Min unsat cost LB: 51125 ... c Min unsat cost LB: 51134 ... c Min unsat cost LB: 51135 ... c Min unsat cost LB: 51139 ... c Min unsat cost LB: 51141 ... c Min unsat cost LB: 51148 ... c Min unsat cost LB: 51150 ... c Min unsat cost LB: 51158 ... c Min unsat cost LB: 51160 ... c Min unsat cost LB: 51165 ... c Min unsat cost LB: 51167 ... c Min unsat cost LB: 51170 ... c Min unsat cost LB: 51189 ... c Min unsat cost LB: 51193 ... c Min unsat cost LB: 51199 ... c Min unsat cost LB: 51207 ... c Min unsat cost LB: 51208 ... c Min unsat cost LB: 51214 ... c Min unsat cost LB: 51220 ... c Min unsat cost LB: 51224 ... c Min unsat cost LB: 51237 ... c Min unsat cost LB: 51238 ... c Min unsat cost LB: 51303 ... c Min unsat cost LB: 51309 ... c Min unsat cost LB: 51311 ... c Min unsat cost LB: 51312 ... c Min unsat cost LB: 51316 ... c Min unsat cost LB: 51317 ... c Min unsat cost LB: 51318 ... c Min unsat cost LB: 51319 ... c Min unsat cost LB: 51320 ... c Min unsat cost LB: 51321 ... c Min unsat cost LB: 51323 ... c Min unsat cost LB: 51324 ... c Min unsat cost LB: 51327 ... c Min unsat cost LB: 51328 ... c Min unsat cost LB: 51330 ... c Min unsat cost LB: 51332 ... c Min unsat cost LB: 51333 ... c Min unsat cost LB: 51335 ... c Min unsat cost LB: 51336 ... c Min unsat cost LB: 51337 ... c Min unsat cost LB: 51341 ... c Min unsat cost LB: 51351 ... c Min unsat cost LB: 51354 ... c Min unsat cost LB: 51355 ... c Min unsat cost LB: 51357 ... c Min unsat cost LB: 51362 ... c Min unsat cost LB: 51364 ... c Min unsat cost LB: 51366 ... c Min unsat cost LB: 51369 ... c Min unsat cost LB: 51370 ... c Min unsat cost LB: 51391 ... c Min unsat cost LB: 51395 ... c Min unsat cost LB: 51397 ... c Min unsat cost LB: 51398 ... c Min unsat cost LB: 51399 ... c Min unsat cost LB: 51400 ... c Min unsat cost LB: 51406 ... c Min unsat cost LB: 51407 ... c Min unsat cost LB: 51410 ... c Min unsat cost LB: 51411 ... c Min unsat cost LB: 51412 ... c Min unsat cost LB: 51414 ... c Min unsat cost LB: 51418 ... c Min unsat cost LB: 51420 ... c Min unsat cost LB: 51421 ... c Min unsat cost LB: 51422 ... c Min unsat cost LB: 51427 ... c Min unsat cost LB: 51431 ... c Min unsat cost LB: 51432 ... c Min unsat cost LB: 51434 ... c Min unsat cost LB: 51435 ... c Min unsat cost LB: 51437 ... c Min unsat cost LB: 51438 ... c Min unsat cost LB: 51439 ... c Min unsat cost LB: 51441 ... c Min unsat cost LB: 51442 ... c Min unsat cost LB: 51449 ... c Min unsat cost LB: 51450 ... c Min unsat cost LB: 51452 ... c Min unsat cost LB: 51453 ... c Min unsat cost LB: 51459 ... c Min unsat cost LB: 51460 ... c Min unsat cost LB: 51489 ... c Min unsat cost LB: 51503 ... c Min unsat cost LB: 51508 ... c Min unsat cost LB: 51509 ... c Min unsat cost LB: 51512 ... c Min unsat cost LB: 51514 ... c Min unsat cost LB: 51516 ... c Min unsat cost LB: 51550 ... c Min unsat cost LB: 51559 ... c Min unsat cost LB: 51560 ... c Min unsat cost LB: 51561 ... c Min unsat cost LB: 51570 ... c Min unsat cost LB: 51584 ... c Min unsat cost LB: 51589 ... c Min unsat cost LB: 51590 ... c Min unsat cost LB: 51599 ... c Min unsat cost LB: 51622 ... c Min unsat cost LB: 51623 ... c Min unsat cost LB: 51625 ... c Min unsat cost LB: 51632 ... c Min unsat cost LB: 51675 ... c Min unsat cost LB: 51686 ... c Min unsat cost LB: 51693 ... c Min unsat cost LB: 51694 ... c Min unsat cost LB: 51697 ... c Min unsat cost LB: 51712 ... c Min unsat cost LB: 51713 ... c Min unsat cost LB: 51716 ... c Min unsat cost LB: 51718 ... c Min unsat cost LB: 51738 ... c Min unsat cost LB: 51742 ... c Min unsat cost LB: 51756 ... c Min unsat cost LB: 51761 ... c Min unsat cost LB: 51763 ... c Min unsat cost LB: 51770 ... c Min unsat cost LB: 51797 ... c Min unsat cost LB: 51798 ... c Min unsat cost LB: 51800 ... c Min unsat cost LB: 51816 ... c Min unsat cost LB: 51836 ... c Min unsat cost LB: 51838 ... c Min unsat cost LB: 51840 ... c Min unsat cost LB: 51844 ... c Min unsat cost LB: 51847 ... c Min unsat cost LB: 51849 ... c Min unsat cost LB: 51850 ... c Min unsat cost LB: 51852 ... c Min unsat cost LB: 51853 ... c Min unsat cost LB: 51856 ... c Min unsat cost LB: 51863 ... c Min unsat cost LB: 51894 ... c Min unsat cost LB: 51896 ... c Min unsat cost LB: 51900 ... c Min unsat cost LB: 51902 ... c Min unsat cost LB: 51928 ... c Min unsat cost LB: 51943 ... c Min unsat cost LB: 51947 ... c Min unsat cost LB: 51948 ... c Min unsat cost LB: 51950 ... c Min unsat cost LB: 51952 ... c Min unsat cost LB: 51959 ... c Min unsat cost LB: 51961 ... c Min unsat cost LB: 51999 ... c Min unsat cost LB: 52000 ... c Min unsat cost LB: 52002 ... c Min unsat cost LB: 52006 ... c Min unsat cost LB: 52010 ... c Min unsat cost LB: 52011 ... c Min unsat cost LB: 52013 ... c Min unsat cost LB: 52016 ... c Min unsat cost LB: 52017 ... c Min unsat cost LB: 52027 ... c Min unsat cost LB: 52028 ... c Min unsat cost LB: 52029 ... c Min unsat cost LB: 52030 ... c Min unsat cost LB: 52036 ... c Min unsat cost LB: 52039 ... c Min unsat cost LB: 52041 ... c Min unsat cost LB: 52047 ... c Min unsat cost LB: 52062 ... c Min unsat cost LB: 52064 ... c Min unsat cost LB: 52065 ... c Min unsat cost LB: 52079 ... c Min unsat cost LB: 52083 ... c Min unsat cost LB: 52089 ... c Min unsat cost LB: 52099 ... c Min unsat cost LB: 52101 ... c Min unsat cost LB: 52102 ... c Min unsat cost LB: 52105 ... c Min unsat cost LB: 52107 ... c Min unsat cost LB: 52108 ... c Min unsat cost LB: 52110 ... c Min unsat cost LB: 52112 ... c Min unsat cost LB: 52113 ... c Min unsat cost LB: 52114 ... c Min unsat cost LB: 52115 ... c Min unsat cost LB: 52116 ... c Min unsat cost LB: 52117 ... c Min unsat cost LB: 52118 ... c Min unsat cost LB: 52119 ... c Min unsat cost LB: 52120 ... c Min unsat cost LB: 52123 ... c Min unsat cost LB: 52124 ... c Min unsat cost LB: 52129 ... c Min unsat cost LB: 52142 ... c Min unsat cost LB: 52143 ... c Min unsat cost LB: 52144 ... c Min unsat cost LB: 52151 ... c Min unsat cost LB: 52152 ... c Min unsat cost LB: 52159 ... c Min unsat cost LB: 52163 ... c Min unsat cost LB: 52174 ... c Min unsat cost LB: 52192 ... c Min unsat cost LB: 52195 ... c Min unsat cost LB: 52196 ... c Min unsat cost LB: 52197 ... c Min unsat cost LB: 52198 ... c Min unsat cost LB: 52199 ... c Min unsat cost LB: 52200 ... c Min unsat cost LB: 52201 ... c Min unsat cost LB: 52202 ... c Min unsat cost LB: 52203 ... c Min unsat cost LB: 52210 ... c Min unsat cost LB: 52211 ... c Min unsat cost LB: 52228 ... c Min unsat cost LB: 52231 ... c Min unsat cost LB: 52235 ... c Min unsat cost LB: 52237 ... c Min unsat cost LB: 52238 ... c Min unsat cost LB: 52243 ... c Min unsat cost LB: 52246 ... c Min unsat cost LB: 52251 ... c Min unsat cost LB: 52268 ... c Min unsat cost LB: 52271 ... c Min unsat cost LB: 52272 ... c Min unsat cost LB: 52281 ... c Min unsat cost LB: 52287 ... c Min unsat cost LB: 52289 ... c Min unsat cost LB: 52290 ... 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: 52297 ... c Min unsat cost LB: 52327 ... c Min unsat cost LB: 52330 ... c Min unsat cost LB: 52331 ... c Min unsat cost LB: 52332 ... c Min unsat cost LB: 52333 ... c Min unsat cost LB: 52337 ... c Min unsat cost LB: 52338 ... c Min unsat cost LB: 52339 ... c Min unsat cost LB: 52340 ... c Min unsat cost LB: 52341 ... c Min unsat cost LB: 52342 ... c Min unsat cost LB: 52345 ... c Min unsat cost LB: 52346 ... c Min unsat cost LB: 52347 ... c Min unsat cost LB: 52349 ... c Min unsat cost LB: 52351 ... c Min unsat cost LB: 52352 ... c Min unsat cost LB: 52353 ... c Min unsat cost LB: 52356 ... c Min unsat cost LB: 52357 ... c Min unsat cost LB: 52358 ... c Min unsat cost LB: 52359 ... c Min unsat cost LB: 52360 ... c Min unsat cost LB: 52361 ... c Min unsat cost LB: 52362 ... c Min unsat cost LB: 52363 ... c Min unsat cost LB: 52371 ... c Min unsat cost LB: 52372 ... c Min unsat cost LB: 52375 ... c Min unsat cost LB: 52381 ... c Min unsat cost LB: 52383 ... c Min unsat cost LB: 52387 ... c Min unsat cost LB: 52390 ... c Min unsat cost LB: 52391 ... c Min unsat cost LB: 52395 ... c Min unsat cost LB: 52396 ... c Min unsat cost LB: 52398 ... c Min unsat cost LB: 52399 ... c Min unsat cost LB: 52400 ... c Min unsat cost LB: 52401 ... c Min unsat cost LB: 52402 ... c Min unsat cost LB: 52403 ... c Min unsat cost LB: 52404 ... c Min unsat cost LB: 52409 ... c Min unsat cost LB: 52410 ... 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: 52419 ... c Min unsat cost LB: 52426 ... c Min unsat cost LB: 52428 ... c Min unsat cost LB: 52437 ... c Min unsat cost LB: 52458 ... c Min unsat cost LB: 52459 ... 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: 52471 ... c Min unsat cost LB: 52473 ... c Min unsat cost LB: 52529 ... c Min unsat cost LB: 52534 ... c Min unsat cost LB: 52536 ... c Min unsat cost LB: 52537 ... c Min unsat cost LB: 52538 ... c Min unsat cost LB: 52542 ... c Min unsat cost LB: 52544 ... c Min unsat cost LB: 52545 ... c Min unsat cost LB: 52547 ... c Min unsat cost LB: 52551 ... c Min unsat cost LB: 52553 ... c Min unsat cost LB: 52557 ... c Min unsat cost LB: 52566 ... c Min unsat cost LB: 52568 ... c Min unsat cost LB: 52569 ... c Min unsat cost LB: 52570 ... c Min unsat cost LB: 52571 ... 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: 52593 ... c Min unsat cost LB: 52596 ... c Min unsat cost LB: 52638 ... c Min unsat cost LB: 52639 ... 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: 52648 ... 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: 52680 ... c Min unsat cost LB: 52681 ... c Min unsat cost LB: 52682 ... c Min unsat cost LB: 52683 ... c Min unsat cost LB: 52684 ... c Min unsat cost LB: 52685 ... c Min unsat cost LB: 52687 ... c Min unsat cost LB: 52701 ... 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: 52732 ... c Min unsat cost LB: 52733 ... c Min unsat cost LB: 52737 ... c Min unsat cost LB: 52740 ... c Min unsat cost LB: 52742 ... c Min unsat cost LB: 52747 ... c Min unsat cost LB: 52751 ... c Min unsat cost LB: 52757 ... c Min unsat cost LB: 52758 ... c Min unsat cost LB: 52759 ... c Min unsat cost LB: 52762 ... c Min unsat cost LB: 52763 ... 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: 52809 ... c Min unsat cost LB: 52810 ... c Min unsat cost LB: 52811 ... c Min unsat cost LB: 52812 ... c Min unsat cost LB: 52813 ... c Min unsat cost LB: 52814 ... c Min unsat cost LB: 52815 ... c Min unsat cost LB: 52816 ... c Min unsat cost LB: 52817 ... c Min unsat cost LB: 52818 ... c Min unsat cost LB: 52819 ... c Min unsat cost LB: 52820 ... c Min unsat cost LB: 52821 ... c Min unsat cost LB: 52822 ... c Min unsat cost LB: 52823 ... c Min unsat cost LB: 52824 ... c Min unsat cost LB: 52825 ... c Min unsat cost LB: 52826 ... c Min unsat cost LB: 52827 ... c Min unsat cost LB: 52828 ... c Min unsat cost LB: 52829 ... c Min unsat cost LB: 52832 ... c Min unsat cost LB: 52833 ... c Min unsat cost LB: 52834 ... c Min unsat cost LB: 52835 ... c Min unsat cost LB: 52836 ... c Min unsat cost LB: 52837 ... c Min unsat cost LB: 52838 ... c Min unsat cost LB: 52839 ... c Min unsat cost LB: 52840 ... c Min unsat cost LB: 52841 ... c Min unsat cost LB: 52842 ... c Min unsat cost LB: 52843 ... c Min unsat cost LB: 52844 ... c Min unsat cost LB: 52846 ... c Min unsat cost LB: 52847 ... c Min unsat cost LB: 52848 ... c Min unsat cost LB: 52849 ... c Min unsat cost LB: 52850 ... c Min unsat cost LB: 52851 ... c Min unsat cost LB: 52852 ... c Min unsat cost LB: 52853 ... c Min unsat cost LB: 52854 ... c Min unsat cost LB: 52857 ... c Min unsat cost LB: 52859 ... c Min unsat cost LB: 52860 ... c Min unsat cost LB: 52861 ... c Min unsat cost LB: 52862 ... c Min unsat cost LB: 52863 ... c Min unsat cost LB: 52864 ... c Min unsat cost LB: 52865 ... c Min unsat cost LB: 52866 ... c Min unsat cost LB: 52867 ... c Min unsat cost LB: 52869 ... c Min unsat cost LB: 52870 ... c Min unsat cost LB: 52871 ... c Min unsat cost LB: 52872 ... c Min unsat cost LB: 52873 ... c Min unsat cost LB: 52874 ... c Min unsat cost LB: 52875 ... c Min unsat cost LB: 52877 ... c Min unsat cost LB: 52878 ... c Min unsat cost LB: 52879 ... c Min unsat cost LB: 52880 ... c Min unsat cost LB: 52881 ... c Min unsat cost LB: 52882 ... c Min unsat cost LB: 52883 ... c Min unsat cost LB: 52884 ... c Min unsat cost LB: 52885 ... c Min unsat cost LB: 52886 ... c Min unsat cost LB: 52888 ... c Min unsat cost LB: 52890 ... c Min unsat cost LB: 52893 ... c Min unsat cost LB: 52905 ... c Min unsat cost LB: 52906 ... c Min unsat cost LB: 52908 ... c Min unsat cost LB: 52909 ... c Min unsat cost LB: 52910 ... c Min unsat cost LB: 52911 ... c Min unsat cost LB: 52914 ... c Min unsat cost LB: 52915 ... c Min unsat cost LB: 52916 ... c Min unsat cost LB: 52917 ... c Min unsat cost LB: 52918 ... c Min unsat cost LB: 52919 ... c Min unsat cost LB: 52920 ... c Min unsat cost LB: 52921 ... c Min unsat cost LB: 52922 ... c Min unsat cost LB: 52923 ... c Min unsat cost LB: 52924 ... c Min unsat cost LB: 52925 ... c Min unsat cost LB: 52926 ... c Min unsat cost LB: 52927 ... c Min unsat cost LB: 52928 ... c Min unsat cost LB: 52929 ... c Min unsat cost LB: 52930 ... c Min unsat cost LB: 52931 ... c Min unsat cost LB: 52932 ... c Min unsat cost LB: 52933 ... c Min unsat cost LB: 52934 ... c Min unsat cost LB: 52935 ... c Min unsat cost LB: 52941 ... c Min unsat cost LB: 52944 ... c Min unsat cost LB: 52945 ... c Min unsat cost LB: 52948 ... c Min unsat cost LB: 52949 ... c Min unsat cost LB: 52950 ... c Min unsat cost LB: 52951 ... c Min unsat cost LB: 52952 ... c Min unsat cost LB: 52953 ... c Min unsat cost LB: 52954 ... c Min unsat cost LB: 52955 ... c Min unsat cost LB: 52956 ... c Min unsat cost LB: 52957 ... c Min unsat cost LB: 52958 ... c Min unsat cost LB: 52959 ... c Min unsat cost LB: 52960 ... c Min unsat cost LB: 52961 ... c Min unsat cost LB: 52962 ... c Min unsat cost LB: 52963 ... c Min unsat cost LB: 52964 ... c Min unsat cost LB: 52965 ... c Min unsat cost LB: 52966 ... c Min unsat cost LB: 52967 ... c Min unsat cost LB: 52968 ... c Min unsat cost LB: 52969 ... c Min unsat cost LB: 52970 ... c Min unsat cost LB: 52971 ... c Min unsat cost LB: 52972 ... c Min unsat cost LB: 52973 ... c Min unsat cost LB: 52974 ... c Min unsat cost LB: 52975 ... c Min unsat cost LB: 52976 ... c Min unsat cost LB: 52977 ... c Min unsat cost LB: 52979 ... c Min unsat cost LB: 52980 ... c Min unsat cost LB: 52981 ... c Min unsat cost LB: 52982 ... c Min unsat cost LB: 52983 ... c Min unsat cost LB: 52984 ... c Min unsat cost LB: 52985 ... c Min unsat cost LB: 52986 ... c Min unsat cost LB: 52987 ... c Min unsat cost LB: 52988 ... c Min unsat cost LB: 52989 ... c Min unsat cost LB: 52990 ... c Min unsat cost LB: 52991 ... c Min unsat cost LB: 52992 ... c Min unsat cost LB: 52993 ... c Min unsat cost LB: 52994 ... c Min unsat cost LB: 52995 ... c Min unsat cost LB: 52996 ... c Min unsat cost LB: 52997 ... c Min unsat cost LB: 52998 ... c Min unsat cost LB: 52999 ... c Min unsat cost LB: 53000 ... c Min unsat cost LB: 53001 ... c Min unsat cost LB: 53002 ... c Min unsat cost LB: 53003 ... c Min unsat cost LB: 53004 ... c Min unsat cost LB: 53005 ... c Min unsat cost LB: 53006 ... c Min unsat cost LB: 53007 ... c Min unsat cost LB: 53008 ... c Min unsat cost LB: 53009 ... c Min unsat cost LB: 53010 ... c Min unsat cost LB: 53011 ... c Min unsat cost LB: 53012 ... c Min unsat cost LB: 53013 ... c Min unsat cost LB: 53014 ... c Min unsat cost LB: 53015 ... c Min unsat cost LB: 53016 ... c Min unsat cost LB: 53017 ... c Min unsat cost LB: 53018 ... c Min unsat cost LB: 53019 ... c Min unsat cost LB: 53020 ... c Min unsat cost LB: 53021 ... c Min unsat cost LB: 53022 ... c Min unsat cost LB: 53023 ... c Min unsat cost LB: 53024 ... c Min unsat cost LB: 53025 ... c Min unsat cost LB: 53026 ... c Min unsat cost LB: 53027 ... c Min unsat cost LB: 53028 ... c Min unsat cost LB: 53029 ... c Min unsat cost LB: 53030 ... c Min unsat cost LB: 53031 ... c Min unsat cost LB: 53032 ... c Min unsat cost LB: 53033 ... c Min unsat cost LB: 53034 ... c Min unsat cost LB: 53035 ... c Min unsat cost LB: 53036 ... c Min unsat cost LB: 53037 ... c Min unsat cost LB: 53038 ... c Min unsat cost LB: 53039 ... c Min unsat cost LB: 53040 ... c Min unsat cost LB: 53041 ... c Min unsat cost LB: 53042 ... c Min unsat cost LB: 53043 ... c Min unsat cost LB: 53044 ... c Min unsat cost LB: 53045 ... c Min unsat cost LB: 53046 ... c Min unsat cost LB: 53047 ... c Min unsat cost LB: 53048 ... c Min unsat cost LB: 53049 ... c Min unsat cost LB: 53050 ... c Min unsat cost LB: 53051 ... c Min unsat cost LB: 53052 ... c Min unsat cost LB: 53061 ... c Min unsat cost LB: 53062 ... c Min unsat cost LB: 53063 ... c Min unsat cost LB: 53064 ... c Min unsat cost LB: 53134 ... c Min unsat cost LB: 53135 ... c Min unsat cost LB: 53136 ... c Min unsat cost LB: 53137 ... c Min unsat cost LB: 53138 ... c Min unsat cost LB: 53139 ... c Min unsat cost LB: 53140 ... c Min unsat cost LB: 53141 ... c Min unsat cost LB: 53142 ... c Min unsat cost LB: 53143 ... c Min unsat cost LB: 53144 ... c Min unsat cost LB: 53145 ... c Min unsat cost LB: 53146 ... c Min unsat cost LB: 53147 ... c Min unsat cost LB: 53148 ... c Min unsat cost LB: 53149 ... c Min unsat cost LB: 53150 ... c Min unsat cost LB: 53151 ... c Min unsat cost LB: 53152 ... c Min unsat cost LB: 53153 ... c Min unsat cost LB: 53154 ... c Min unsat cost LB: 53155 ... c Min unsat cost LB: 53156 ... c Min unsat cost LB: 53157 ... c Min unsat cost LB: 53158 ... c Min unsat cost LB: 53159 ... c Min unsat cost LB: 53160 ... c Min unsat cost LB: 53161 ... c Min unsat cost LB: 53162 ... c Min unsat cost LB: 53163 ... c Min unsat cost LB: 53164 ... c Min unsat cost LB: 53165 ... c Min unsat cost LB: 53166 ... c Min unsat cost LB: 53167 ... c Min unsat cost LB: 53168 ... c Min unsat cost LB: 53169 ... c Min unsat cost LB: 53170 ... c Min unsat cost LB: 53171 ... c Min unsat cost LB: 53172 ... c Min unsat cost LB: 53173 ... c Min unsat cost LB: 53175 ... c Min unsat cost LB: 53177 ... c Min unsat cost LB: 53178 ... c Min unsat cost LB: 53179 ... c Min unsat cost LB: 53180 ... c Min unsat cost LB: 53181 ... c Min unsat cost LB: 53182 ... c Min unsat cost LB: 53183 ... c Min unsat cost LB: 53184 ... c Min unsat cost LB: 53185 ... c Min unsat cost LB: 53186 ... c Min unsat cost LB: 53187 ... c Min unsat cost LB: 53188 ... c Min unsat cost LB: 53189 ... c Min unsat cost LB: 53190 ... c Min unsat cost LB: 53191 ... c Min unsat cost LB: 53192 ... c Min unsat cost LB: 53193 ... c Min unsat cost LB: 53194 ... c Min unsat cost LB: 53195 ... c Min unsat cost LB: 53196 ... c Min unsat cost LB: 53197 ... c Min unsat cost LB: 53198 ... c Min unsat cost LB: 53199 ... c Min unsat cost LB: 53200 ... c Min unsat cost LB: 53201 ... c Min unsat cost LB: 53202 ... c Min unsat cost LB: 53203 ... c Min unsat cost LB: 53204 ... c Min unsat cost LB: 53205 ... c Min unsat cost LB: 53206 ... c Min unsat cost LB: 53207 ... c Min unsat cost LB: 53208 ... c Min unsat cost LB: 53209 ... c Min unsat cost LB: 53210 ... c Min unsat cost LB: 53211 ... c Min unsat cost LB: 53212 ... c Min unsat cost LB: 53213 ... c Min unsat cost LB: 53214 ... c Min unsat cost LB: 53215 ... c Min unsat cost LB: 53216 ... c Min unsat cost LB: 53217 ... c Min unsat cost LB: 53218 ... c Min unsat cost LB: 53219 ... c Min unsat cost LB: 53220 ... c Min unsat cost LB: 53221 ... c Min unsat cost LB: 53222 ... c Min unsat cost LB: 53223 ... c Min unsat cost LB: 53226 ... c Min unsat cost LB: 53227 ... c Min unsat cost LB: 53228 ... c Min unsat cost LB: 53229 ... c Min unsat cost LB: 53230 ... c Min unsat cost LB: 53231 ... c Min unsat cost LB: 53232 ... c Min unsat cost LB: 53233 ... c Min unsat cost LB: 53234 ... c Min unsat cost LB: 53235 ... c Min unsat cost LB: 53236 ... c Min unsat cost LB: 53237 ... c Min unsat cost LB: 53238 ... c Min unsat cost LB: 53239 ... c Min unsat cost LB: 53240 ... c Min unsat cost LB: 53241 ... c Min unsat cost LB: 53242 ... c Min unsat cost LB: 53243 ... c Min unsat cost LB: 53244 ... c Min unsat cost LB: 53245 ... c Min unsat cost LB: 53257 ... c Min unsat cost LB: 53258 ... c Min unsat cost LB: 53259 ... c Min unsat cost LB: 53260 ... c Min unsat cost LB: 53261 ... c Min unsat cost LB: 53262 ... c Min unsat cost LB: 53263 ... c Min unsat cost LB: 53264 ... c Min unsat cost LB: 53265 ... c Min unsat cost LB: 53266 ... c Min unsat cost LB: 53267 ... c Min unsat cost LB: 53268 ... c Min unsat cost LB: 53269 ... c Min unsat cost LB: 53270 ... c Min unsat cost LB: 53271 ... c Min unsat cost LB: 53272 ... c Min unsat cost LB: 53273 ... c Min unsat cost LB: 53275 ... c Min unsat cost LB: 53278 ... c Min unsat cost LB: 53294 ... c Min unsat cost LB: 53295 ... c Min unsat cost LB: 53296 ... c Min unsat cost LB: 53297 ... c Min unsat cost LB: 53298 ... c Min unsat cost LB: 53299 ... c Min unsat cost LB: 53300 ... c Min unsat cost LB: 53301 ... c Min unsat cost LB: 53302 ... c Min unsat cost LB: 53303 ... c Min unsat cost LB: 53309 ... c Min unsat cost LB: 53310 ... c Min unsat cKilled 1812.837u 6.912s 30:23.87 99.7% 0+0k 0+0io 0pf+0w