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_120_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0002.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_120_0002.txt.wcnf *** c c Min unsat cost LB: 150 ... c Min unsat cost LB: 1090 ... c Min unsat cost LB: 1672 ... c Min unsat cost LB: 2428 ... c Min unsat cost LB: 3241 ... c Min unsat cost LB: 3367 ... c Min unsat cost LB: 3596 ... c Min unsat cost LB: 4187 ... c Min unsat cost LB: 4769 ... c Min unsat cost LB: 4928 ... c Min unsat cost LB: 5669 ... c Min unsat cost LB: 5913 ... c Min unsat cost LB: 6726 ... c Min unsat cost LB: 7467 ... c Min unsat cost LB: 8431 ... c Min unsat cost LB: 9156 ... c Min unsat cost LB: 9538 ... c Min unsat cost LB: 10119 ... c Min unsat cost LB: 10677 ... c Min unsat cost LB: 10725 ... c Min unsat cost LB: 11310 ... c Min unsat cost LB: 12295 ... c Min unsat cost LB: 13031 ... c Min unsat cost LB: 13815 ... c Min unsat cost LB: 14476 ... c Min unsat cost LB: 14899 ... c Min unsat cost LB: 15098 ... c Min unsat cost LB: 15504 ... c Min unsat cost LB: 16468 ... c Min unsat cost LB: 16627 ... c Min unsat cost LB: 16773 ... c Min unsat cost LB: 16961 ... c Min unsat cost LB: 17710 ... c Min unsat cost LB: 18494 ... c Min unsat cost LB: 19278 ... c Min unsat cost LB: 19458 ... c Min unsat cost LB: 20611 ... c Min unsat cost LB: 20667 ... c Min unsat cost LB: 21438 ... c Min unsat cost LB: 21772 ... c Min unsat cost LB: 22082 ... c Min unsat cost LB: 22664 ... c Min unsat cost LB: 22991 ... c Min unsat cost LB: 23075 ... c Min unsat cost LB: 23209 ... c Min unsat cost LB: 23308 ... c Min unsat cost LB: 23324 ... c Min unsat cost LB: 24049 ... c Min unsat cost LB: 24266 ... c Min unsat cost LB: 24648 ... c Min unsat cost LB: 24993 ... c Min unsat cost LB: 25488 ... c Min unsat cost LB: 25991 ... c Min unsat cost LB: 26169 ... c Min unsat cost LB: 26665 ... c Min unsat cost LB: 27421 ... c Min unsat cost LB: 28192 ... c Min unsat cost LB: 28654 ... c Min unsat cost LB: 29127 ... c Min unsat cost LB: 29327 ... c Min unsat cost LB: 29549 ... c Min unsat cost LB: 29699 ... c Min unsat cost LB: 29892 ... c Min unsat cost LB: 30074 ... c Min unsat cost LB: 30747 ... c Min unsat cost LB: 30781 ... c Min unsat cost LB: 31072 ... c Min unsat cost LB: 31169 ... c Min unsat cost LB: 31479 ... c Min unsat cost LB: 32581 ... c Min unsat cost LB: 32808 ... c Min unsat cost LB: 33198 ... c Min unsat cost LB: 33334 ... c Min unsat cost LB: 33773 ... c Min unsat cost LB: 34088 ... c Min unsat cost LB: 34291 ... c Min unsat cost LB: 34809 ... c Min unsat cost LB: 34894 ... c Min unsat cost LB: 35320 ... c Min unsat cost LB: 35993 ... c Min unsat cost LB: 36575 ... c Min unsat cost LB: 36710 ... c Min unsat cost LB: 36957 ... c Min unsat cost LB: 37135 ... c Min unsat cost LB: 37538 ... c Min unsat cost LB: 37862 ... c Min unsat cost LB: 38508 ... c Min unsat cost LB: 38634 ... c Min unsat cost LB: 38691 ... c Min unsat cost LB: 38783 ... c Min unsat cost LB: 39065 ... c Min unsat cost LB: 39518 ... c Min unsat cost LB: 39525 ... c Min unsat cost LB: 39631 ... c Min unsat cost LB: 39738 ... c Min unsat cost LB: 40198 ... c Min unsat cost LB: 40337 ... c Min unsat cost LB: 40372 ... c Min unsat cost LB: 40616 ... c Min unsat cost LB: 40762 ... c Min unsat cost LB: 41035 ... c Min unsat cost LB: 41075 ... c Min unsat cost LB: 41086 ... c Min unsat cost LB: 41221 ... c Min unsat cost LB: 41369 ... c Min unsat cost LB: 41468 ... c Min unsat cost LB: 41668 ... c Min unsat cost LB: 41867 ... c Min unsat cost LB: 41925 ... c Min unsat cost LB: 41974 ... c Min unsat cost LB: 41989 ... c Min unsat cost LB: 42168 ... c Min unsat cost LB: 42224 ... c Min unsat cost LB: 42258 ... c Min unsat cost LB: 42412 ... c Min unsat cost LB: 42715 ... c Min unsat cost LB: 42841 ... c Min unsat cost LB: 42889 ... c Min unsat cost LB: 43132 ... c Min unsat cost LB: 43168 ... c Min unsat cost LB: 43189 ... c Min unsat cost LB: 43223 ... c Min unsat cost LB: 43269 ... c Min unsat cost LB: 43428 ... c Min unsat cost LB: 43516 ... c Min unsat cost LB: 43550 ... c Min unsat cost LB: 43639 ... c Min unsat cost LB: 43666 ... c Min unsat cost LB: 43697 ... c Min unsat cost LB: 43831 ... c Min unsat cost LB: 43879 ... c Min unsat cost LB: 43895 ... c Min unsat cost LB: 43969 ... c Min unsat cost LB: 44054 ... c Min unsat cost LB: 44111 ... c Min unsat cost LB: 44240 ... c Min unsat cost LB: 44343 ... c Min unsat cost LB: 44404 ... c Min unsat cost LB: 44450 ... c Min unsat cost LB: 44460 ... c Min unsat cost LB: 44758 ... c Min unsat cost LB: 44792 ... c Min unsat cost LB: 44820 ... c Min unsat cost LB: 44907 ... c Min unsat cost LB: 45042 ... c Min unsat cost LB: 45063 ... c Min unsat cost LB: 45099 ... c Min unsat cost LB: 45120 ... c Min unsat cost LB: 45154 ... c Min unsat cost LB: 45158 ... c Min unsat cost LB: 45166 ... c Min unsat cost LB: 45217 ... c Min unsat cost LB: 45242 ... c Min unsat cost LB: 45426 ... c Min unsat cost LB: 45483 ... c Min unsat cost LB: 45793 ... c Min unsat cost LB: 45829 ... c Min unsat cost LB: 45861 ... c Min unsat cost LB: 45877 ... c Min unsat cost LB: 45894 ... c Min unsat cost LB: 46008 ... c Min unsat cost LB: 46011 ... c Min unsat cost LB: 46015 ... c Min unsat cost LB: 46138 ... c Min unsat cost LB: 46156 ... c Min unsat cost LB: 46195 ... c Min unsat cost LB: 46216 ... c Min unsat cost LB: 46252 ... c Min unsat cost LB: 46276 ... c Min unsat cost LB: 46322 ... c Min unsat cost LB: 46362 ... c Min unsat cost LB: 46408 ... c Min unsat cost LB: 46537 ... c Min unsat cost LB: 46632 ... c Min unsat cost LB: 46667 ... c Min unsat cost LB: 46771 ... c Min unsat cost LB: 46812 ... c Min unsat cost LB: 46821 ... c Min unsat cost LB: 46863 ... c Min unsat cost LB: 46870 ... c Min unsat cost LB: 46916 ... c Min unsat cost LB: 46918 ... c Min unsat cost LB: 46957 ... c Min unsat cost LB: 46968 ... c Min unsat cost LB: 47009 ... c Min unsat cost LB: 47014 ... c Min unsat cost LB: 47032 ... c Min unsat cost LB: 47074 ... c Min unsat cost LB: 47077 ... c Min unsat cost LB: 47109 ... c Min unsat cost LB: 47130 ... c Min unsat cost LB: 47290 ... c Min unsat cost LB: 47298 ... c Min unsat cost LB: 47347 ... c Min unsat cost LB: 47375 ... c Min unsat cost LB: 47382 ... c Min unsat cost LB: 47411 ... c Min unsat cost LB: 47461 ... c Min unsat cost LB: 47486 ... c Min unsat cost LB: 47516 ... c Min unsat cost LB: 47535 ... c Min unsat cost LB: 47689 ... c Min unsat cost LB: 47690 ... c Min unsat cost LB: 47700 ... c Min unsat cost LB: 47960 ... c Min unsat cost LB: 47980 ... c Min unsat cost LB: 48135 ... c Min unsat cost LB: 48180 ... c Min unsat cost LB: 48236 ... c Min unsat cost LB: 48431 ... c Min unsat cost LB: 48540 ... c Min unsat cost LB: 48628 ... c Min unsat cost LB: 48683 ... c Min unsat cost LB: 48757 ... c Min unsat cost LB: 48795 ... c Min unsat cost LB: 48820 ... c Min unsat cost LB: 48843 ... c Min unsat cost LB: 49111 ... c Min unsat cost LB: 49225 ... c Min unsat cost LB: 49297 ... c Min unsat cost LB: 49304 ... c Min unsat cost LB: 49328 ... c Min unsat cost LB: 49389 ... c Min unsat cost LB: 49463 ... c Min unsat cost LB: 49474 ... c Min unsat cost LB: 49489 ... c Min unsat cost LB: 49569 ... c Min unsat cost LB: 49653 ... c Min unsat cost LB: 49669 ... c Min unsat cost LB: 49764 ... c Min unsat cost LB: 49815 ... c Min unsat cost LB: 49846 ... c Min unsat cost LB: 49880 ... c Min unsat cost LB: 49907 ... c Min unsat cost LB: 49935 ... c Min unsat cost LB: 49981 ... c Min unsat cost LB: 49995 ... c Min unsat cost LB: 50009 ... c Min unsat cost LB: 50027 ... c Min unsat cost LB: 50057 ... c Min unsat cost LB: 50073 ... c Min unsat cost LB: 50098 ... c Min unsat cost LB: 50108 ... c Min unsat cost LB: 50242 ... c Min unsat cost LB: 50378 ... c Min unsat cost LB: 50389 ... c Min unsat cost LB: 50406 ... c Min unsat cost LB: 50414 ... c Min unsat cost LB: 50422 ... c Min unsat cost LB: 50443 ... c Min unsat cost LB: 50449 ... c Min unsat cost LB: 50451 ... c Min unsat cost LB: 50452 ... c Min unsat cost LB: 50457 ... c Min unsat cost LB: 50460 ... c Min unsat cost LB: 50488 ... c Min unsat cost LB: 50569 ... c Min unsat cost LB: 50573 ... c Min unsat cost LB: 50576 ... c Min unsat cost LB: 50581 ... c Min unsat cost LB: 50583 ... c Min unsat cost LB: 50604 ... c Min unsat cost LB: 50608 ... c Min unsat cost LB: 50633 ... c Min unsat cost LB: 50641 ... c Min unsat cost LB: 50692 ... c Min unsat cost LB: 50701 ... c Min unsat cost LB: 50708 ... c Min unsat cost LB: 50713 ... c Min unsat cost LB: 50719 ... c Min unsat cost LB: 50754 ... c Min unsat cost LB: 50761 ... c Min unsat cost LB: 50779 ... c Min unsat cost LB: 50795 ... c Min unsat cost LB: 50798 ... c Min unsat cost LB: 50812 ... c Min unsat cost LB: 50830 ... c Min unsat cost LB: 50848 ... c Min unsat cost LB: 50869 ... c Min unsat cost LB: 50874 ... c Min unsat cost LB: 50875 ... c Min unsat cost LB: 50908 ... c Min unsat cost LB: 50910 ... c Min unsat cost LB: 50911 ... c Min unsat cost LB: 50932 ... c Min unsat cost LB: 50947 ... c Min unsat cost LB: 50951 ... c Min unsat cost LB: 50955 ... c Min unsat cost LB: 50960 ... c Min unsat cost LB: 50967 ... c Min unsat cost LB: 50973 ... c Min unsat cost LB: 50976 ... c Min unsat cost LB: 50992 ... c Min unsat cost LB: 51010 ... c Min unsat cost LB: 51015 ... c Min unsat cost LB: 51025 ... c Min unsat cost LB: 51029 ... c Min unsat cost LB: 51032 ... c Min unsat cost LB: 51036 ... c Min unsat cost LB: 51057 ... c Min unsat cost LB: 51070 ... c Min unsat cost LB: 51086 ... c Min unsat cost LB: 51103 ... c Min unsat cost LB: 51107 ... c Min unsat cost LB: 51110 ... c Min unsat cost LB: 51139 ... c Min unsat cost LB: 51146 ... c Min unsat cost LB: 51156 ... c Min unsat cost LB: 51162 ... c Min unsat cost LB: 51187 ... c Min unsat cost LB: 51196 ... c Min unsat cost LB: 51216 ... c Min unsat cost LB: 51228 ... c Min unsat cost LB: 51244 ... c Min unsat cost LB: 51252 ... c Min unsat cost LB: 51253 ... c Min unsat cost LB: 51262 ... c Min unsat cost LB: 51272 ... c Min unsat cost LB: 51274 ... c Min unsat cost LB: 51282 ... c Min unsat cost LB: 51298 ... c Min unsat cost LB: 51307 ... c Min unsat cost LB: 51313 ... c Min unsat cost LB: 51317 ... c Min unsat cost LB: 51320 ... c Min unsat cost LB: 51322 ... c Min unsat cost LB: 51327 ... c Min unsat cost LB: 51329 ... c Min unsat cost LB: 51332 ... c Min unsat cost LB: 51345 ... c Min unsat cost LB: 51346 ... c Min unsat cost LB: 51347 ... c Min unsat cost LB: 51350 ... c Min unsat cost LB: 51351 ... c Min unsat cost LB: 51352 ... c Min unsat cost LB: 51355 ... c Min unsat cost LB: 51358 ... c Min unsat cost LB: 51379 ... c Min unsat cost LB: 51390 ... c Min unsat cost LB: 51391 ... c Min unsat cost LB: 51397 ... c Min unsat cost LB: 51402 ... c Min unsat cost LB: 51420 ... c Min unsat cost LB: 51431 ... c Min unsat cost LB: 51442 ... c Min unsat cost LB: 51450 ... c Min unsat cost LB: 51457 ... c Min unsat cost LB: 51465 ... c Min unsat cost LB: 51466 ... c Min unsat cost LB: 51487 ... c Min unsat cost LB: 51504 ... c Min unsat cost LB: 51514 ... c Min unsat cost LB: 51515 ... c Min unsat cost LB: 51517 ... c Min unsat cost LB: 51520 ... c Min unsat cost LB: 51523 ... c Min unsat cost LB: 51524 ... c Min unsat cost LB: 51540 ... c Min unsat cost LB: 51546 ... c Min unsat cost LB: 51564 ... c Min unsat cost LB: 51574 ... c Min unsat cost LB: 51575 ... c Min unsat cost LB: 51605 ... c Min unsat cost LB: 51615 ... c Min unsat cost LB: 51616 ... c Min unsat cost LB: 51645 ... c Min unsat cost LB: 51683 ... c Min unsat cost LB: 51685 ... c Min unsat cost LB: 51712 ... c Min unsat cost LB: 51716 ... c Min unsat cost LB: 51717 ... c Min unsat cost LB: 51718 ... c Min unsat cost LB: 51723 ... c Min unsat cost LB: 51728 ... c Min unsat cost LB: 51736 ... c Min unsat cost LB: 51738 ... c Min unsat cost LB: 51740 ... c Min unsat cost LB: 51746 ... c Min unsat cost LB: 51747 ... c Min unsat cost LB: 51751 ... c Min unsat cost LB: 51758 ... c Min unsat cost LB: 51762 ... c Min unsat cost LB: 51765 ... c Min unsat cost LB: 51766 ... c Min unsat cost LB: 51767 ... c Min unsat cost LB: 51774 ... c Min unsat cost LB: 51789 ... c Min unsat cost LB: 51790 ... c Min unsat cost LB: 51796 ... c Min unsat cost LB: 51800 ... c Min unsat cost LB: 51808 ... c Min unsat cost LB: 51809 ... c Min unsat cost LB: 51811 ... c Min unsat cost LB: 51813 ... c Min unsat cost LB: 51814 ... c Min unsat cost LB: 51816 ... c Min unsat cost LB: 51823 ... c Min unsat cost LB: 51824 ... c Min unsat cost LB: 51847 ... c Min unsat cost LB: 51849 ... c Min unsat cost LB: 51851 ... c Min unsat cost LB: 51873 ... c Min unsat cost LB: 51878 ... c Min unsat cost LB: 51881 ... c Min unsat cost LB: 51882 ... c Min unsat cost LB: 51894 ... c Min unsat cost LB: 51903 ... c Min unsat cost LB: 51905 ... c Min unsat cost LB: 51926 ... c Min unsat cost LB: 51927 ... c Min unsat cost LB: 51928 ... c Min unsat cost LB: 51929 ... c Min unsat cost LB: 51944 ... c Min unsat cost LB: 51945 ... c Min unsat cost LB: 51946 ... c Min unsat cost LB: 51947 ... c Min unsat cost LB: 51954 ... c Min unsat cost LB: 51955 ... c Min unsat cost LB: 51965 ... c Min unsat cost LB: 51969 ... c Min unsat cost LB: 51970 ... c Min unsat cost LB: 51971 ... c Min unsat cost LB: 51972 ... c Min unsat cost LB: 51975 ... c Min unsat cost LB: 51982 ... c Min unsat cost LB: 51989 ... c Min unsat cost LB: 52007 ... c Min unsat cost LB: 52008 ... c Min unsat cost LB: 52010 ... c Min unsat cost LB: 52022 ... c Min unsat cost LB: 52024 ... c Min unsat cost LB: 52025 ... c Min unsat cost LB: 52026 ... c Min unsat cost LB: 52028 ... c Min unsat cost LB: 52037 ... c Min unsat cost LB: 52038 ... c Min unsat cost LB: 52043 ... c Min unsat cost LB: 52076 ... c Min unsat cost LB: 52077 ... c Min unsat cost LB: 52082 ... c Min unsat cost LB: 52109 ... c Min unsat cost LB: 52115 ... c Min unsat cost LB: 52121 ... c Min unsat cost LB: 52122 ... c Min unsat cost LB: 52123 ... c Min unsat cost LB: 52124 ... c Min unsat cost LB: 52125 ... c Min unsat cost LB: 52126 ... c Min unsat cost LB: 52127 ... c Min unsat cost LB: 52128 ... c Min unsat cost LB: 52133 ... c Min unsat cost LB: 52136 ... c Min unsat cost LB: 52138 ... c Min unsat cost LB: 52140 ... c Min unsat cost LB: 52141 ... c Min unsat cost LB: 52158 ... c Min unsat cost LB: 52171 ... c Min unsat cost LB: 52172 ... c Min unsat cost LB: 52173 ... c Min unsat cost LB: 52176 ... c Min unsat cost LB: 52177 ... c Min unsat cost LB: 52195 ... c Min unsat cost LB: 52347 ... c Min unsat cost LB: 52348 ... c Min unsat cost LB: 52349 ... c Min unsat cost LB: 52350 ... c Min unsat cost LB: 52352 ... c Min unsat cost LB: 52360 ... c Min unsat cost LB: 52362 ... c Min unsat cost LB: 52363 ... c Min unsat cost LB: 52364 ... c Min unsat cost LB: 52371 ... c Min unsat cost LB: 52372 ... c Min unsat cost LB: 52377 ... c Min unsat cost LB: 52378 ... c Min unsat cost LB: 52379 ... c Min unsat cost LB: 52383 ... c Min unsat cost LB: 52384 ... c Min unsat cost LB: 52389 ... c Min unsat cost LB: 52390 ... c Min unsat cost LB: 52392 ... c Min unsat cost LB: 52416 ... c Min unsat cost LB: 52420 ... 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: 52438 ... c Min unsat cost LB: 52460 ... 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: 52477 ... c Min unsat cost LB: 52478 ... 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: 52490 ... c Min unsat cost LB: 52493 ... c Min unsat cost LB: 52494 ... c Min unsat cost LB: 52497 ... c Min unsat cost LB: 52504 ... c Min unsat cost LB: 52508 ... c Min unsat cost LB: 52512 ... c Min unsat cost LB: 52514 ... c Min unsat cost LB: 52530 ... c Min unsat cost LB: 52531 ... c Min unsat cost LB: 52533 ... c Min unsat cost LB: 52534 ... c Min unsat cost LB: 52537 ... c Min unsat cost LB: 52538 ... c Min unsat cost LB: 52539 ... c Min unsat cost LB: 52540 ... c Min unsat cost LB: 52541 ... c Min unsat cost LB: 52542 ... c Min unsat cost LB: 52545 ... c Min unsat cost LB: 52547 ... c Min unsat cost LB: 52548 ... 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: 52556 ... c Min unsat cost LB: 52558 ... c Min unsat cost LB: 52559 ... c Min unsat cost LB: 52560 ... c Min unsat cost LB: 52562 ... c Min unsat cost LB: 52563 ... 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: 52572 ... c Min unsat cost LB: 52573 ... c Min unsat cost LB: 52574 ... c Min unsat cost LB: 52575 ... c Min unsat cost LB: 52576 ... c Min unsat cost LB: 52596 ... c Min unsat cost LB: 52598 ... c Min unsat cost LB: 52602 ... c Min unsat cost LB: 52603 ... c Min unsat cost LB: 52605 ... c Min unsat cost LB: 52607 ... c Min unsat cost LB: 52613 ... 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: 52629 ... 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: 52642 ... c Min unsat cost LB: 52643 ... c Min unsat cost LB: 52646 ... c Min unsat cost LB: 52647 ... 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: 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: 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: 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: 52698 ... c Min unsat cost LB: 52699 ... c Min unsat cost LB: 52700 ... c Min unsat cost LB: 52701 ... c Min unsat cost LB: 52708 ... c Min unsat cost LB: 52712 ... c Min unsat cost LB: 52714 ... c Min unsat cost LB: 52715 ... c Min unsat cost LB: 52716 ... 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: 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: 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: 52738 ... c Min unsat cost LB: 52739 ... c Min unsat cost LB: 52740 ... c Min unsat cost LB: 52745 ... 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: 52786 ... 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: 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: 52812 ... 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: 53011 ... c Min unsat cost LB: 53012 ... c Min unsat cost LB: 53013 ... c Min unsat cost LB: 53014 ... c Min unsat cost LB: 53017 ... c Min unsat cost LB: 53026 ... c Min unsat cost LB: 53027 ... c Min unsat cost LB: 53033 ... c Min unsat cost LB: 53047 ... c Min unsat cost LB: 53051 ... c Min unsat cost LB: 53076 ... c Min unsat cost LB: 53083 ... c Min unsat cost LB: 53087 ... c Min unsat cost LB: 53090 ... c Min unsat cost LB: 53106 ... c Min unsat cost LB: 53107 ... c Min unsat cost LB: 53110 ... c Min unsat cost LB: 53114 ... c Min unsat cost LB: 53115 ... c Min unsat cost LB: 53118 ... c Min unsat cost LB: 53120 ... c Min unsat cost LB: 53122 ... c Min unsat cost LB: 53127 ... c Min unsat cost LB: 53128 ... c Min unsat cost LB: 53129 ... c Min unsat cost LB: 53130 ... c Min unsat cost LB: 53131 ... c Min unsat cost LB: 53133 ... c Min unsat cost LB: 53134 ... c Min unsat cost LB: 53135 ... c Min unsat cost LB: 53143 ... c Min unsat cost LB: 53146 ... c Min unsat cost LB: 53148 ... c Min unsat cost LB: 53155 ... c Min unsat cost LB: 53160 ... c Min unsat cost LB: 53178 ... c Min unsat cost LB: 53198 ... c Min unsat cost LB: 53201 ... c Min unsat cost LB: 53203 ... c Min unsat cost LB: 53205 ... c Min unsat cost LB: 53209 ... c Min unsat cost LB: 53211 ... c Min unsat cost LB: 53212 ... c Min unsat cost LB: 53213 ... c Min unsat cost LB: 53216 ... 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: 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: 53244 ... c Min unsat cost LB: 53245 ... c Min unsat cost LB: 53271 ... c Min unsat cost LB: 53272 ... c Min unsat cost LB: 53275 ... c Min unsat cost LB: 53276 ... c Min unsat cost LB: 53277 ... c Min unsat cost LB: 53278 ... c Min unsat cost LB: 53279 ... c Min unsat cost LB: 53280 ... c Min unsat cost LB: 53282 ... c Min unsat cost LB: 53283 ... c Min unsat cost LB: 53284 ... c Min unsat cost LB: 53285 ... c Min unsat cost LB: 53291 ... c Min unsat cost LB: 53293 ... 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: 53302 ... c Min unsat cost LB: 53304 ... c Min unsat cost LB: 53306 ... c Min unsat cost LB: 53307 ... c Min unsat cost LB: 53312 ... c Min unsat cost LB: 53314 ... c Min unsat cost LB: 53315 ... c Min unsat cost LB: 53319 ... c Min unsat cost LB: 53328 ... c Min unsat cost LB: 53329 ... c Min unsat cost LB: 53331 ... c Min unsat cost LB: 53332 ... c Min unsat cost LB: 53334 ... c Min unsat cost LB: 53335 ... c Min unsat cost LB: 53336 ... c Min unsat cost LB: 53337 ... c Min unsat cost LB: 53338 ... c Min unsat cost LB: 53339 ... c Min unsat cost LB: 53340 ... c Min unsat cost LB: 53341 ... c Min unsat cost LB: 53342 ... c Min unsat cost LB: 53348 ... c Min unsat cost LB: 53349 ... c Min unsat cost LB: 53355 ... c Min unsat cost LB: 53356 ... c Min unsat cost LB: 53357 ... c Min unsat cost LB: 53358 ... c Min unsat cost LB: 53359 ... c Min unsat cost LB: 53360 ... c Min unsat cost LB: 53361 ... c Min unsat cost LB: 53362 ... c Min unsat cost LB: 53363 ... c Min unsat cost LB: 53364 ... c Min unsat cost LB: 53365 ... c Min unsat cost LB: 53374 ... c Min unsat cost LB: 53375 ... c Min unsat cost LB: 53377 ... c Min unsat cost LB: 53378 ... c Min unsat cost LB: 53379 ... c Min unsat cost LB: 53380 ... c Min unsat cost LB: 53381 ... c Min unsat cost LB: 53382 ... c Min unsat cost LB: 53387 ... c Min unsat cost LB: 53388 ... c Min unsat cost LB: 53389 ... c Min unsat cost LB: 53390 ... c Min unsat cost LB: 53391 ... c Min unsat cost LB: 53392 ... c Min unsat cost LB: 53393 ... c Min unsat cost LB: 53394 ... c Min unsat cost LB: 53395 ... c Min unsat cost LB: 53396 ... c Min unsat cost LB: 53397 ... c Min unsat cost LB: 53398 ... c Min unsat cost LB: 53399 ... c Min unsat cost LB: 53400 ... c Min unsat cost LB: 53401 ... c Min unsat cost LB: 53402 ... c Min unsat cost LB: 53403 ... c Min unsat cost LB: 53406 ... c Min unsat cost LB: 53407 ... c Min unsat cost LB: 53408 ... c Min unsat cost LB: 53409 ... c Min unsat cost LB: 53417 ... c Min unsat cost LB: 53418 ... c Min unsat cost LB: 53419 ... c Min unsat cost LB: 53420 ... c Min unsat cost LB: 53421 ... c Min unsat cost LB: 53422 ... c Min unsat cost LB: 53423 ... c Min unsat cost LB: 53424 ... c Min unsat cost LB: 53426 ... c Min unsat cost LB: 53427 ... c Min unsat cost LB: 53428 ... c Min unsat cost LB: 53429 ... c Min unsat cost LB: 53430 ... c Min unsat cost LB: 53431 ... c Min unsat cost LB: 53432 ... c Min unsat cost LB: 53433 ... c Min unsat cost LB: 53434 ... c Min unsat cost LB: 53435 ... c Min unsat cost LB: 53436 ... c Min unsat cost LB: 53437 ... c Min unsat cost LB: 53438 ... c Min unsat cost LB: 53439 ... c Min unsat cost LB: 53440 ... c Min unsat cost LB: 53441 ... c Min unsat cost LB: 53442 ... c Min unsat cost LB: 53445 ... c Min unsat cost LB: 53446 ... c Min unsat cost LB: 53447 ... c Min unsat cost LB: 53448 ... c Min unsat cost LB: 53449 ... c Min unsat cost LB: 53450 ... c Min unsat cost LB: 53451 ... c Min unsat cost LB: 53452 ... c Min unsat cost LB: 53453 ... c Min unsat cost LB: 53454 ... c Min unsat cost LB: 53455 ... c Min unsat cost LB: 53456 ... c Min unsat cost LB: 53457 ... c Min unsat cost LB: 53458 ... c Min unsat cost LB: 53460 ... c Min unsat cost LB: 53464 ... c Min unsat cost LB: 53465 ... c Min unsat cost LB: 53466 ... c Min unsat cost LB: 53467 ... c Min unsat cost LB: 53468 ... c Min unsat cost LB: 53469 ... c Min unsat cost LB: 53470 ... c Min unsat cost LB: 53472 ... c Min unsat cost LB: 53473 ... c Min unsat cost LB: 53474 ... c Min unsat cost LB: 53478 ... c Min unsat cost LB: 53482 ... c Min unsat cost LB: 53484 ... c Min unsat cost LB: 53489 ... c Min unsat cost LB: 53491 ... c Min unsat cost LB: 53492 ... c Min unsat cost LB: 53493 ... c Min unsat cost LB: 53494 ... c Min unsat cost LB: 53495 ... c Min unsat cost LB: 53496 ... c Min unsat cost LB: 53497 ... c Min unsat cost LB: 53498 ... c Min unsat cost LB: 53499 ... c Min unsat cost LB: 53501 ... c Min unsat cost LB: 53502 ... c Min unsat cost LB: 53503 ... c Min unsat cost LB: 53504 ... c Min unsat cost LB: 53505 ... c Min unsat cost LB: 53506 ... c Min unsat cost LB: 53507 ... c Min unsat cost LB: 53508 ... c Min unsat cost LB: 53509 ... c Min unsat cost LB: 53510 ... c Min unsat cost LB: 53511 ... c Min unsat cost LB: 53512 ... c Min unsat cost LB: 53513 ... c Min unsat cost LB: 53514 ... c Min unsat cost LB: 53515 ... c Min unsat cost LB: 53516 ... c Min unsat cost LB: 53517 ... c Min unsat cost LB: 53518 ... c Min unsat cost LB: 53519 ... c Min unsat cost LB: 53520 ... c Min unsat cost LB: 53521 ... c Min unsat cost LB: 53522 ... c Min unsat cost LB: 53523 ... c Min unsat cost LB: 53524 ... c Min unsat cost LB: 53525 ... c Min unsat cost LB: 53526 ... c Min unsat cost LB: 53527 ... c Min unsat cost LB: 53528 ... c Min unsat cost LB: 53532 ... c Min unsat cost LB: 53534 ... c Min unsat cost LB: 53535 ... c Min unsat cost LB: 53536 ... c Min unsat cost LB: 53537 ... c Min unsat cost LB: 53539 ... c Min unsat cost LB: 53546 ... c Min unsat cost LB: 53549 ... c Min unsat cost LB: 53550 ... c Min unsat cost LB: 53551 ... c Min unsat cost LB: 53552 ... c Min unsat cost LB: 53554 ... c Min unsat cost LB: 53555 ... c Min unsat cost LB: 53567 ... c Min unsat cost LB: 53568 ... c Min unsat cost LB: 53569 ... c Min unsat cost LB: 53570 ... c Min unsat cost LB: 53571 ... c Min unsat cost LB: 53572 ... c Min unsat cost LB: 53573 ... c Min unsat cost LB: 53574 ... c Min unsat cost LB: 53577 ... c Min unsat cost LB: 53578 ... c Min unsat cost LB: 53579 ... c Min unsat cost LB: 53580 ... c Min unsat cost LB: 53581 ... c Min unsat cost LB: 53582 ... c Min unsat cost LB: 53583 ... c Min unsat cost LB: 53584 ... c Min unsat cost LB: 53585 ... c Min unsat cost LB: 53586 ... c Min unsat cost LB: 53587 ... c Min unsat cost LB: 53588 ... c Min unsat cost LB: 53589 ... c Min unsat cost LB: 53590 ... c Min unsat cost LB: 53592 ... c Min unsat cost LB: 53593 ... c Min unsat cost LB: 53594 ... c Min unsat cost LB: 53595 ... c Min unsat cost LB: 53596 ... c Min unsat cost LB: 53597 ... c Min unsat cost LB: 53598 ... c Min unsat cost LB: 53599 ... c Min unsat cost LB: 53600 ... c Min unsat cost LB: 53602 ... c Min unsat cost LB: 53603 ... c Min unsat cost LB: 53604 ... c Min unsat cost LB: 53605 ... c Min unsat cost LB: 53606 ... c Min unsat cost LB: 53608 ... c Min unsat cost LB: 53610 ... c Min unsat cost LB: 53611 ... c Min unsat cost LB: 53612 ... c Min unsat cost LB: 53613 ... c Min unsat cost LB: 53614 ... c Min unsat cost LB: 53615 ... c Min unsat cost LB: 53616 ... c Min unsat cost LB: 53620 ... c Min unsat cost LB: 53621 ... c Min unsat cost LB: 53622 ... c Min unsat cost LB: 53623 ... c Min unsat cost LB: 53624 ... c Min unsat cost LB: 53625 ... c Min unsat cost LB: 53626 ... c Min unsat cost LB: 53627 ... c Min unsat cost LB: 53628 ... c Min unsat cost LB: 53629 ... c Min unsat cost LB: 53630 ... c Min unsat cost LB: 53631 ... c Min unsat cost LB: 53632 ... c Min unsat cost LB: 53633 ... c Min unsat cost LB: 53634 ... c Min unsat cost LB: 53635 ... c Min unsat cost LB: 53636 ... c Min unsat cost LB: 53637 ... c Min unsat cost LB: 53638 ... c Min unsat cost LB: 53639 ... c Min unsat cost LB: 53640 ... c Min unsat cost LB: 53641 ... c Min unsat cost LB: 53642 ... c Min unsat cost LB: 53643 ... c Min unsat cost LB: 53645 ... c Min unsat cost LB: 53646 ... c Min unsat cost LB: 53656 ... c Min unsat cost LB: 53657 ... c Min unsat cost LB: 53659 ... c Min unsat cost LB: 53660 ... c Min unsat cost LB: 53661 ... c Min unsat cost LB: 53662 ... c Min unsat cost LB: 53663 ... c Min unsat cost LB: 53664 ... c Min unsat cost LB: 53665 ... c Min unsat cost LB: 53666 ... c Min unsat cost LB: 53667 ... c Min unsat cost LB: 53668 ... c Min unsat cost LB: 53670 ... c Min unsat cost LB: 53671 ... c Min unsat cost LB: 53672 ... c Min unsat cost LB: 53674 ... c Min unsat cost LB: 53676 ... c Min unsat cost LB: 53677 ... c Min unsat cost LB: 53678 ... c Min unsat cost LB: 53696 ... c Min unsat cost LB: 53698 ... c Min unsat cost LB: 53706 ... c Min unsat cost LB: 53711 ... c Min unsat cost LB: 53713 ... c Min unsat cost LB: 53714 ... c Min unsat cost LB: 53715 ... c Min unsat cost LB: 53716 ... c Min unsat cost LB: 53718 ... c Min unsat cost LB: 53721 ... c Min unsat cost LB: 53723 ... c Min unsat cost LB: 53724 ... c Min unsat cost LB: 53725 ... c Min unsat cost LB: 53726 ... c Min unsat cost LB: 53727 ... c Min unsat cost LB: 53728 ... c Min unsat cost LB: 53729 ... c Min unsat cost LB: 53730 ... c Min unsat cost LKilled 1809.357u 10.385s 30:23.52 99.7% 0+0k 0+0io 0pf+0w