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_110_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_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_110_0002.txt.wcnf *** c c Min unsat cost LB: 852 ... c Min unsat cost LB: 1567 ... c Min unsat cost LB: 2002 ... c Min unsat cost LB: 2855 ... c Min unsat cost LB: 3570 ... c Min unsat cost LB: 4641 ... c Min unsat cost LB: 5059 ... c Min unsat cost LB: 5076 ... c Min unsat cost LB: 5446 ... c Min unsat cost LB: 5791 ... c Min unsat cost LB: 5897 ... c Min unsat cost LB: 6388 ... c Min unsat cost LB: 6697 ... c Min unsat cost LB: 7549 ... c Min unsat cost LB: 8402 ... c Min unsat cost LB: 9125 ... c Min unsat cost LB: 9977 ... c Min unsat cost LB: 10599 ... c Min unsat cost LB: 10843 ... c Min unsat cost LB: 11083 ... c Min unsat cost LB: 11339 ... c Min unsat cost LB: 11558 ... c Min unsat cost LB: 12149 ... c Min unsat cost LB: 12518 ... c Min unsat cost LB: 12837 ... c Min unsat cost LB: 13459 ... c Min unsat cost LB: 13591 ... c Min unsat cost LB: 14443 ... c Min unsat cost LB: 15397 ... c Min unsat cost LB: 15498 ... c Min unsat cost LB: 16120 ... c Min unsat cost LB: 16711 ... c Min unsat cost LB: 16882 ... c Min unsat cost LB: 17170 ... c Min unsat cost LB: 17352 ... c Min unsat cost LB: 17747 ... c Min unsat cost LB: 18839 ... c Min unsat cost LB: 18902 ... c Min unsat cost LB: 19562 ... c Min unsat cost LB: 19931 ... c Min unsat cost LB: 20784 ... c Min unsat cost LB: 20986 ... c Min unsat cost LB: 21456 ... c Min unsat cost LB: 21809 ... c Min unsat cost LB: 22353 ... c Min unsat cost LB: 23310 ... c Min unsat cost LB: 23761 ... c Min unsat cost LB: 24043 ... c Min unsat cost LB: 24731 ... c Min unsat cost LB: 24794 ... c Min unsat cost LB: 25337 ... c Min unsat cost LB: 26189 ... c Min unsat cost LB: 27119 ... c Min unsat cost LB: 27258 ... c Min unsat cost LB: 27801 ... c Min unsat cost LB: 28268 ... c Min unsat cost LB: 28752 ... c Min unsat cost LB: 29410 ... c Min unsat cost LB: 29590 ... c Min unsat cost LB: 29834 ... c Min unsat cost LB: 30014 ... c Min unsat cost LB: 30453 ... c Min unsat cost LB: 31069 ... c Min unsat cost LB: 31784 ... c Min unsat cost LB: 32235 ... c Min unsat cost LB: 32743 ... c Min unsat cost LB: 33073 ... c Min unsat cost LB: 33846 ... c Min unsat cost LB: 34026 ... c Min unsat cost LB: 34534 ... c Min unsat cost LB: 34714 ... c Min unsat cost LB: 35033 ... c Min unsat cost LB: 35081 ... c Min unsat cost LB: 35520 ... c Min unsat cost LB: 36028 ... c Min unsat cost LB: 36310 ... c Min unsat cost LB: 36448 ... c Min unsat cost LB: 36460 ... c Min unsat cost LB: 36646 ... c Min unsat cost LB: 36911 ... c Min unsat cost LB: 36929 ... c Min unsat cost LB: 37347 ... c Min unsat cost LB: 37419 ... c Min unsat cost LB: 37858 ... c Min unsat cost LB: 38070 ... c Min unsat cost LB: 38071 ... c Min unsat cost LB: 38098 ... c Min unsat cost LB: 38201 ... c Min unsat cost LB: 39183 ... c Min unsat cost LB: 39455 ... c Min unsat cost LB: 40068 ... c Min unsat cost LB: 40270 ... c Min unsat cost LB: 40471 ... c Min unsat cost LB: 40690 ... c Min unsat cost LB: 40996 ... c Min unsat cost LB: 41008 ... c Min unsat cost LB: 41049 ... c Min unsat cost LB: 41227 ... c Min unsat cost LB: 41483 ... c Min unsat cost LB: 41539 ... c Min unsat cost LB: 41627 ... c Min unsat cost LB: 41633 ... c Min unsat cost LB: 41677 ... c Min unsat cost LB: 41903 ... c Min unsat cost LB: 42147 ... c Min unsat cost LB: 42231 ... c Min unsat cost LB: 42526 ... c Min unsat cost LB: 42567 ... c Min unsat cost LB: 42600 ... c Min unsat cost LB: 42645 ... c Min unsat cost LB: 42662 ... c Min unsat cost LB: 42720 ... c Min unsat cost LB: 43041 ... c Min unsat cost LB: 43179 ... c Min unsat cost LB: 43180 ... c Min unsat cost LB: 43264 ... c Min unsat cost LB: 43322 ... c Min unsat cost LB: 43338 ... c Min unsat cost LB: 43350 ... c Min unsat cost LB: 43358 ... c Min unsat cost LB: 43362 ... c Min unsat cost LB: 43606 ... c Min unsat cost LB: 43912 ... c Min unsat cost LB: 43970 ... c Min unsat cost LB: 44073 ... c Min unsat cost LB: 44193 ... c Min unsat cost LB: 44202 ... c Min unsat cost LB: 44265 ... c Min unsat cost LB: 44279 ... c Min unsat cost LB: 44325 ... c Min unsat cost LB: 44519 ... c Min unsat cost LB: 44678 ... c Min unsat cost LB: 44916 ... c Min unsat cost LB: 44965 ... c Min unsat cost LB: 45051 ... c Min unsat cost LB: 45052 ... c Min unsat cost LB: 45057 ... c Min unsat cost LB: 45228 ... c Min unsat cost LB: 45267 ... c Min unsat cost LB: 45329 ... c Min unsat cost LB: 45338 ... c Min unsat cost LB: 45377 ... c Min unsat cost LB: 45507 ... c Min unsat cost LB: 45515 ... c Min unsat cost LB: 45586 ... c Min unsat cost LB: 45644 ... c Min unsat cost LB: 45670 ... c Min unsat cost LB: 45672 ... c Min unsat cost LB: 45815 ... c Min unsat cost LB: 45896 ... c Min unsat cost LB: 46005 ... c Min unsat cost LB: 46041 ... c Min unsat cost LB: 46059 ... c Min unsat cost LB: 46117 ... c Min unsat cost LB: 46138 ... c Min unsat cost LB: 46232 ... c Min unsat cost LB: 46259 ... c Min unsat cost LB: 46296 ... c Min unsat cost LB: 46340 ... c Min unsat cost LB: 46400 ... c Min unsat cost LB: 46417 ... c Min unsat cost LB: 46629 ... c Min unsat cost LB: 46687 ... c Min unsat cost LB: 46699 ... c Min unsat cost LB: 46747 ... c Min unsat cost LB: 46799 ... c Min unsat cost LB: 46914 ... c Min unsat cost LB: 46937 ... c Min unsat cost LB: 46941 ... c Min unsat cost LB: 47016 ... c Min unsat cost LB: 47022 ... c Min unsat cost LB: 47067 ... c Min unsat cost LB: 47077 ... c Min unsat cost LB: 47079 ... c Min unsat cost LB: 47095 ... c Min unsat cost LB: 47221 ... c Min unsat cost LB: 47388 ... c Min unsat cost LB: 47502 ... c Min unsat cost LB: 47638 ... c Min unsat cost LB: 47777 ... c Min unsat cost LB: 47819 ... c Min unsat cost LB: 47821 ... c Min unsat cost LB: 47897 ... c Min unsat cost LB: 47904 ... c Min unsat cost LB: 48010 ... c Min unsat cost LB: 48012 ... c Min unsat cost LB: 48053 ... c Min unsat cost LB: 48086 ... c Min unsat cost LB: 48103 ... c Min unsat cost LB: 48159 ... c Min unsat cost LB: 48195 ... c Min unsat cost LB: 48266 ... c Min unsat cost LB: 48284 ... c Min unsat cost LB: 48333 ... c Min unsat cost LB: 48349 ... c Min unsat cost LB: 48361 ... c Min unsat cost LB: 48421 ... c Min unsat cost LB: 48429 ... c Min unsat cost LB: 48493 ... c Min unsat cost LB: 48498 ... c Min unsat cost LB: 48537 ... c Min unsat cost LB: 48551 ... c Min unsat cost LB: 48680 ... c Min unsat cost LB: 48722 ... c Min unsat cost LB: 48728 ... c Min unsat cost LB: 48806 ... c Min unsat cost LB: 48847 ... c Min unsat cost LB: 48888 ... c Min unsat cost LB: 48935 ... c Min unsat cost LB: 48997 ... c Min unsat cost LB: 49022 ... c Min unsat cost LB: 49042 ... c Min unsat cost LB: 49043 ... c Min unsat cost LB: 49058 ... c Min unsat cost LB: 49066 ... c Min unsat cost LB: 49104 ... c Min unsat cost LB: 49109 ... c Min unsat cost LB: 49226 ... c Min unsat cost LB: 49381 ... c Min unsat cost LB: 49390 ... c Min unsat cost LB: 49399 ... c Min unsat cost LB: 49400 ... c Min unsat cost LB: 49407 ... c Min unsat cost LB: 49409 ... c Min unsat cost LB: 49417 ... c Min unsat cost LB: 49432 ... c Min unsat cost LB: 49450 ... c Min unsat cost LB: 49452 ... c Min unsat cost LB: 49462 ... c Min unsat cost LB: 49463 ... c Min unsat cost LB: 49465 ... c Min unsat cost LB: 49480 ... c Min unsat cost LB: 49518 ... c Min unsat cost LB: 49527 ... c Min unsat cost LB: 49533 ... c Min unsat cost LB: 49538 ... c Min unsat cost LB: 49544 ... c Min unsat cost LB: 49547 ... c Min unsat cost LB: 49549 ... c Min unsat cost LB: 49552 ... c Min unsat cost LB: 49589 ... c Min unsat cost LB: 49591 ... c Min unsat cost LB: 49592 ... c Min unsat cost LB: 49616 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49636 ... c Min unsat cost LB: 49658 ... c Min unsat cost LB: 49660 ... c Min unsat cost LB: 49668 ... c Min unsat cost LB: 49674 ... c Min unsat cost LB: 49684 ... c Min unsat cost LB: 49686 ... c Min unsat cost LB: 49728 ... c Min unsat cost LB: 49736 ... c Min unsat cost LB: 49780 ... c Min unsat cost LB: 49781 ... c Min unsat cost LB: 49784 ... c Min unsat cost LB: 49787 ... c Min unsat cost LB: 49795 ... c Min unsat cost LB: 49813 ... c Min unsat cost LB: 49826 ... c Min unsat cost LB: 49828 ... c Min unsat cost LB: 49840 ... c Min unsat cost LB: 49846 ... c Min unsat cost LB: 49870 ... c Min unsat cost LB: 49887 ... c Min unsat cost LB: 49896 ... c Min unsat cost LB: 49899 ... c Min unsat cost LB: 49901 ... c Min unsat cost LB: 49902 ... c Min unsat cost LB: 49912 ... c Min unsat cost LB: 49922 ... c Min unsat cost LB: 49941 ... c Min unsat cost LB: 49951 ... c Min unsat cost LB: 49953 ... c Min unsat cost LB: 49969 ... c Min unsat cost LB: 49984 ... c Min unsat cost LB: 49985 ... c Min unsat cost LB: 49990 ... c Min unsat cost LB: 49999 ... c Min unsat cost LB: 50000 ... c Min unsat cost LB: 50008 ... c Min unsat cost LB: 50009 ... c Min unsat cost LB: 50017 ... c Min unsat cost LB: 50024 ... c Min unsat cost LB: 50034 ... c Min unsat cost LB: 50052 ... c Min unsat cost LB: 50073 ... c Min unsat cost LB: 50074 ... c Min unsat cost LB: 50084 ... c Min unsat cost LB: 50092 ... c Min unsat cost LB: 50094 ... c Min unsat cost LB: 50099 ... c Min unsat cost LB: 50109 ... c Min unsat cost LB: 50112 ... c Min unsat cost LB: 50117 ... c Min unsat cost LB: 50130 ... c Min unsat cost LB: 50138 ... c Min unsat cost LB: 50159 ... c Min unsat cost LB: 50171 ... c Min unsat cost LB: 50172 ... c Min unsat cost LB: 50175 ... c Min unsat cost LB: 50176 ... c Min unsat cost LB: 50177 ... c Min unsat cost LB: 50180 ... c Min unsat cost LB: 50181 ... c Min unsat cost LB: 50212 ... c Min unsat cost LB: 50239 ... c Min unsat cost LB: 50244 ... c Min unsat cost LB: 50245 ... c Min unsat cost LB: 50246 ... c Min unsat cost LB: 50247 ... c Min unsat cost LB: 50248 ... c Min unsat cost LB: 50252 ... c Min unsat cost LB: 50257 ... c Min unsat cost LB: 50260 ... c Min unsat cost LB: 50298 ... c Min unsat cost LB: 50310 ... c Min unsat cost LB: 50315 ... c Min unsat cost LB: 50317 ... c Min unsat cost LB: 50320 ... c Min unsat cost LB: 50332 ... c Min unsat cost LB: 50334 ... c Min unsat cost LB: 50336 ... c Min unsat cost LB: 50349 ... c Min unsat cost LB: 50352 ... c Min unsat cost LB: 50357 ... c Min unsat cost LB: 50362 ... c Min unsat cost LB: 50364 ... c Min unsat cost LB: 50401 ... c Min unsat cost LB: 50409 ... c Min unsat cost LB: 50411 ... c Min unsat cost LB: 50418 ... c Min unsat cost LB: 50426 ... c Min unsat cost LB: 50439 ... c Min unsat cost LB: 50440 ... c Min unsat cost LB: 50445 ... c Min unsat cost LB: 50451 ... c Min unsat cost LB: 50464 ... c Min unsat cost LB: 50467 ... c Min unsat cost LB: 50503 ... c Min unsat cost LB: 50539 ... c Min unsat cost LB: 50564 ... c Min unsat cost LB: 50577 ... c Min unsat cost LB: 50578 ... c Min unsat cost LB: 50579 ... c Min unsat cost LB: 50580 ... c Min unsat cost LB: 50581 ... c Min unsat cost LB: 50588 ... c Min unsat cost LB: 50591 ... c Min unsat cost LB: 50597 ... c Min unsat cost LB: 50599 ... c Min unsat cost LB: 50603 ... c Min unsat cost LB: 50607 ... c Min unsat cost LB: 50608 ... c Min unsat cost LB: 50619 ... c Min unsat cost LB: 50638 ... c Min unsat cost LB: 50639 ... c Min unsat cost LB: 50661 ... c Min unsat cost LB: 50665 ... c Min unsat cost LB: 50669 ... c Min unsat cost LB: 50671 ... c Min unsat cost LB: 50676 ... c Min unsat cost LB: 50683 ... c Min unsat cost LB: 50705 ... c Min unsat cost LB: 50756 ... c Min unsat cost LB: 50760 ... c Min unsat cost LB: 50765 ... c Min unsat cost LB: 50767 ... c Min unsat cost LB: 50787 ... c Min unsat cost LB: 50791 ... c Min unsat cost LB: 50793 ... c Min unsat cost LB: 50795 ... c Min unsat cost LB: 50810 ... c Min unsat cost LB: 50811 ... c Min unsat cost LB: 50812 ... c Min unsat cost LB: 50814 ... c Min unsat cost LB: 50820 ... c Min unsat cost LB: 50822 ... c Min unsat cost LB: 50843 ... c Min unsat cost LB: 50844 ... c Min unsat cost LB: 50845 ... c Min unsat cost LB: 50847 ... c Min unsat cost LB: 50848 ... c Min unsat cost LB: 50849 ... c Min unsat cost LB: 50850 ... c Min unsat cost LB: 50851 ... c Min unsat cost LB: 50853 ... c Min unsat cost LB: 50855 ... c Min unsat cost LB: 50859 ... c Min unsat cost LB: 50860 ... c Min unsat cost LB: 50864 ... c Min unsat cost LB: 50870 ... c Min unsat cost LB: 50872 ... c Min unsat cost LB: 50878 ... c Min unsat cost LB: 50885 ... c Min unsat cost LB: 50888 ... c Min unsat cost LB: 50893 ... c Min unsat cost LB: 50894 ... c Min unsat cost LB: 50899 ... c Min unsat cost LB: 50922 ... c Min unsat cost LB: 50924 ... c Min unsat cost LB: 50938 ... c Min unsat cost LB: 50945 ... c Min unsat cost LB: 50946 ... c Min unsat cost LB: 50947 ... c Min unsat cost LB: 50955 ... c Min unsat cost LB: 50957 ... c Min unsat cost LB: 50980 ... c Min unsat cost LB: 50997 ... c Min unsat cost LB: 50998 ... c Min unsat cost LB: 50999 ... c Min unsat cost LB: 51000 ... c Min unsat cost LB: 51015 ... c Min unsat cost LB: 51021 ... c Min unsat cost LB: 51036 ... c Min unsat cost LB: 51047 ... c Min unsat cost LB: 51059 ... c Min unsat cost LB: 51064 ... c Min unsat cost LB: 51070 ... c Min unsat cost LB: 51077 ... c Min unsat cost LB: 51078 ... c Min unsat cost LB: 51079 ... c Min unsat cost LB: 51080 ... c Min unsat cost LB: 51081 ... c Min unsat cost LB: 51083 ... c Min unsat cost LB: 51084 ... c Min unsat cost LB: 51091 ... c Min unsat cost LB: 51092 ... c Min unsat cost LB: 51093 ... c Min unsat cost LB: 51095 ... c Min unsat cost LB: 51097 ... c Min unsat cost LB: 51098 ... c Min unsat cost LB: 51099 ... c Min unsat cost LB: 51101 ... c Min unsat cost LB: 51104 ... c Min unsat cost LB: 51105 ... c Min unsat cost LB: 51106 ... c Min unsat cost LB: 51118 ... c Min unsat cost LB: 51121 ... c Min unsat cost LB: 51129 ... c Min unsat cost LB: 51131 ... c Min unsat cost LB: 51133 ... c Min unsat cost LB: 51134 ... c Min unsat cost LB: 51135 ... c Min unsat cost LB: 51139 ... c Min unsat cost LB: 51140 ... c Min unsat cost LB: 51142 ... c Min unsat cost LB: 51144 ... c Min unsat cost LB: 51153 ... c Min unsat cost LB: 51154 ... c Min unsat cost LB: 51158 ... c Min unsat cost LB: 51172 ... c Min unsat cost LB: 51174 ... c Min unsat cost LB: 51175 ... c Min unsat cost LB: 51176 ... c Min unsat cost LB: 51177 ... c Min unsat cost LB: 51178 ... c Min unsat cost LB: 51180 ... c Min unsat cost LB: 51181 ... c Min unsat cost LB: 51182 ... c Min unsat cost LB: 51185 ... c Min unsat cost LB: 51189 ... c Min unsat cost LB: 51195 ... c Min unsat cost LB: 51197 ... c Min unsat cost LB: 51202 ... c Min unsat cost LB: 51205 ... c Min unsat cost LB: 51210 ... c Min unsat cost LB: 51220 ... c Min unsat cost LB: 51228 ... c Min unsat cost LB: 51230 ... c Min unsat cost LB: 51240 ... c Min unsat cost LB: 51241 ... c Min unsat cost LB: 51254 ... c Min unsat cost LB: 51263 ... c Min unsat cost LB: 51275 ... c Min unsat cost LB: 51280 ... c Min unsat cost LB: 51281 ... c Min unsat cost LB: 51287 ... c Min unsat cost LB: 51292 ... c Min unsat cost LB: 51293 ... c Min unsat cost LB: 51294 ... c Min unsat cost LB: 51297 ... c Min unsat cost LB: 51299 ... c Min unsat cost LB: 51300 ... c Min unsat cost LB: 51301 ... c Min unsat cost LB: 51302 ... c Min unsat cost LB: 51306 ... c Min unsat cost LB: 51307 ... c Min unsat cost LB: 51308 ... c Min unsat cost LB: 51309 ... c Min unsat cost LB: 51310 ... c Min unsat cost LB: 51311 ... c Min unsat cost LB: 51312 ... c Min unsat cost LB: 51313 ... c Min unsat cost LB: 51314 ... c Min unsat cost LB: 51322 ... c Min unsat cost LB: 51330 ... c Min unsat cost LB: 51333 ... c Min unsat cost LB: 51341 ... c Min unsat cost LB: 51342 ... c Min unsat cost LB: 51343 ... c Min unsat cost LB: 51344 ... c Min unsat cost LB: 51346 ... c Min unsat cost LB: 51347 ... c Min unsat cost LB: 51348 ... c Min unsat cost LB: 51349 ... c Min unsat cost LB: 51350 ... c Min unsat cost LB: 51351 ... c Min unsat cost LB: 51352 ... c Min unsat cost LB: 51354 ... c Min unsat cost LB: 51355 ... c Min unsat cost LB: 51356 ... c Min unsat cost LB: 51357 ... c Min unsat cost LB: 51360 ... c Min unsat cost LB: 51362 ... c Min unsat cost LB: 51365 ... c Min unsat cost LB: 51366 ... c Min unsat cost LB: 51368 ... c Min unsat cost LB: 51369 ... c Min unsat cost LB: 51370 ... c Min unsat cost LB: 51371 ... c Min unsat cost LB: 51372 ... c Min unsat cost LB: 51373 ... c Min unsat cost LB: 51375 ... c Min unsat cost LB: 51376 ... c Min unsat cost LB: 51377 ... c Min unsat cost LB: 51378 ... c Min unsat cost LB: 51379 ... c Min unsat cost LB: 51380 ... c Min unsat cost LB: 51381 ... c Min unsat cost LB: 51382 ... c Min unsat cost LB: 51383 ... c Min unsat cost LB: 51384 ... c Min unsat cost LB: 51385 ... c Min unsat cost LB: 51388 ... c Min unsat cost LB: 51389 ... c Min unsat cost LB: 51390 ... c Min unsat cost LB: 51392 ... c Min unsat cost LB: 51393 ... c Min unsat cost LB: 51394 ... c Min unsat cost LB: 51395 ... c Min unsat cost LB: 51396 ... c Min unsat cost LB: 51397 ... c Min unsat cost LB: 51400 ... c Min unsat cost LB: 51401 ... c Min unsat cost LB: 51402 ... c Min unsat cost LB: 51403 ... c Min unsat cost LB: 51406 ... c Min unsat cost LB: 51407 ... c Min unsat cost LB: 51409 ... c Min unsat cost LB: 51410 ... c Min unsat cost LB: 51413 ... c Min unsat cost LB: 51414 ... c Min unsat cost LB: 51415 ... c Min unsat cost LB: 51416 ... c Min unsat cost LB: 51417 ... c Min unsat cost LB: 51418 ... c Min unsat cost LB: 51419 ... c Min unsat cost LB: 51420 ... c Min unsat cost LB: 51421 ... c Min unsat cost LB: 51422 ... c Min unsat cost LB: 51423 ... c Min unsat cost LB: 51430 ... c Min unsat cost LB: 51434 ... c Min unsat cost LB: 51437 ... c Min unsat cost LB: 51442 ... c Min unsat cost LB: 51443 ... c Min unsat cost LB: 51444 ... c Min unsat cost LB: 51447 ... c Min unsat cost LB: 51450 ... c Min unsat cost LB: 51452 ... c Min unsat cost LB: 51453 ... c Min unsat cost LB: 51454 ... c Min unsat cost LB: 51455 ... c Min unsat cost LB: 51456 ... c Min unsat cost LB: 51461 ... c Min unsat cost LB: 51462 ... c Min unsat cost LB: 51463 ... c Min unsat cost LB: 51465 ... c Min unsat cost LB: 51466 ... c Min unsat cost LB: 51477 ... c Min unsat cost LB: 51478 ... c Min unsat cost LB: 51479 ... c Min unsat cost LB: 51484 ... c Min unsat cost LB: 51486 ... c Min unsat cost LB: 51488 ... c Min unsat cost LB: 51493 ... c Min unsat cost LB: 51503 ... c Min unsat cost LB: 51506 ... c Min unsat cost LB: 51509 ... c Min unsat cost LB: 51514 ... c Min unsat cost LB: 51515 ... c Min unsat cost LB: 51518 ... c Min unsat cost LB: 51519 ... c Min unsat cost LB: 51535 ... c Min unsat cost LB: 51546 ... c Min unsat cost LB: 51548 ... c Min unsat cost LB: 51549 ... c Min unsat cost LB: 51550 ... c Min unsat cost LB: 51551 ... 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: 51559 ... c Min unsat cost LB: 51560 ... c Min unsat cost LB: 51561 ... c Min unsat cost LB: 51562 ... c Min unsat cost LB: 51563 ... c Min unsat cost LB: 51571 ... c Min unsat cost LB: 51572 ... c Min unsat cost LB: 51573 ... c Min unsat cost LB: 51574 ... c Min unsat cost LB: 51575 ... c Min unsat cost LB: 51576 ... c Min unsat cost LB: 51577 ... c Min unsat cost LB: 51584 ... c Min unsat cost LB: 51585 ... c Min unsat cost LB: 51590 ... c Min unsat cost LB: 51591 ... c Min unsat cost LB: 51594 ... c Min unsat cost LB: 51595 ... c Min unsat cost LB: 51596 ... c Min unsat cost LB: 51597 ... c Min unsat cost LB: 51598 ... c Min unsat cost LB: 51599 ... c Min unsat cost LB: 51600 ... c Min unsat cost LB: 51601 ... c Min unsat cost LB: 51602 ... c Min unsat cost LB: 51604 ... c Min unsat cost LB: 51605 ... c Min unsat cost LB: 51606 ... c Min unsat cost LB: 51607 ... c Min unsat cost LB: 51608 ... c Min unsat cost LB: 51609 ... c Min unsat cost LB: 51610 ... c Min unsat cost LB: 51611 ... 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: 51618 ... c Min unsat cost LB: 51619 ... c Min unsat cost LB: 51620 ... c Min unsat cost LB: 51622 ... c Min unsat cost LB: 51623 ... c Min unsat cost LB: 51624 ... c Min unsat cost LB: 51625 ... c Min unsat cost LB: 51626 ... c Min unsat cost LB: 51627 ... c Min unsat cost LB: 51628 ... c Min unsat cost LB: 51629 ... c Min unsat cost LB: 51630 ... c Min unsat cost LB: 51631 ... c Min unsat cost LB: 51633 ... c Min unsat cost LB: 51634 ... c Min unsat cost LB: 51635 ... c Min unsat cost LB: 51637 ... c Min unsat cost LB: 51638 ... c Min unsat cost LB: 51639 ... c Min unsat cost LB: 51640 ... c Min unsat cost LB: 51641 ... c Min unsat cost LB: 51642 ... c Min unsat cost LB: 51643 ... c Min unsat cost LB: 51644 ... c Min unsat cost LB: 51645 ... c Min unsat cost LB: 51646 ... c Min unsat cost LB: 51648 ... c Min unsat cost LB: 51649 ... c Min unsat cost LB: 51650 ... c Min unsat cost LB: 51651 ... c Min unsat cost LB: 51652 ... c Min unsat cost LB: 51653 ... c Min unsat cost LB: 51654 ... c Min unsat cost LB: 51655 ... c Min unsat cost LB: 51656 ... c Min unsat cost LB: 51657 ... c Min unsat cost LB: 51658 ... c Min unsat cost LB: 51659 ... c Min unsat cost LB: 51660 ... c Min unsat cost LB: 51661 ... c Min unsat cost LB: 51662 ... c Min unsat cost LB: 51663 ... c Min unsat cost LB: 51664 ... c Min unsat cost LB: 51665 ... c Min unsat cost LB: 51666 ... c Min unsat cost LB: 51667 ... c Min unsat cost LB: 51668 ... c Min unsat cost LB: 51669 ... c Min unsat cost LB: 51670 ... c Min unsat cost LB: 51671 ... c Min unsat cost LB: 51672 ... c Min unsat cost LB: 51673 ... c Min unsat cost LB: 51674 ... c Min unsat cost LB: 51675 ... c Min unsat cost LB: 51676 ... c Min unsat cost LB: 51677 ... c Min unsat cost LB: 51678 ... c Min unsat cost LB: 51679 ... c Min unsat cost LB: 51681 ... c Min unsat cost LB: 51682 ... c Min unsat cost LB: 51683 ... c Min unsat cost LB: 51684 ... c Min unsat cost LB: 51685 ... c Min unsat cost LB: 51686 ... c Min unsat cost LB: 51687 ... c Min unsat cost LB: 51688 ... c Min unsat cost LB: 51689 ... 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: 51694 ... 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: 51699 ... c Min unsat cost LB: 51700 ... c Min unsat cost LB: 51701 ... c Min unsat cost LB: 51702 ... c Min unsat cost LB: 51703 ... c Min unsat cost LB: 51704 ... c Min unsat cost LB: 51705 ... c Min unsat cost LB: 51706 ... c Min unsat cost LB: 51707 ... c Min unsat cost LB: 51708 ... c Min unsat cost LB: 51713 ... c Min unsat cost LB: 51715 ... c Min unsat cost LB: 51716 ... c Min unsat cost LB: 51717 ... c Min unsat cost LB: 51718 ... c Min unsat cost LB: 51720 ... c Min unsat cost LB: 51723 ... c Min unsat cost LB: 51724 ... c Min unsat cost LB: 51725 ... c Min unsat cost LB: 51730 ... c Min unsat cost LB: 51735 ... c Min unsat cost LB: 51739 ... c Min unsat cost LB: 51740 ... c Min unsat cost LB: 51741 ... c Min unsat cost LB: 51742 ... c Min unsat cost LB: 51743 ... c Min unsat cost LB: 51744 ... 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: 51752 ... c Min unsat cost LB: 51753 ... c Min unsat cost LB: 51754 ... c Min unsat cost LB: 51755 ... c Min unsat cost LB: 51756 ... c Min unsat cost LB: 51757 ... c Min unsat cost LB: 51758 ... c Min unsat cost LB: 51759 ... c Min unsat cost LB: 51760 ... c Min unsat cost LB: 51761 ... c Min unsat cost LB: 51762 ... c Min unsat cost LB: 51763 ... c Min unsat cost LB: 51764 ... c Min unsat cost LB: 51765 ... c Min unsat cost LB: 51768 ... c Min unsat cost LB: 51769 ... c Min unsat cost LB: 51770 ... c Min unsat cost LB: 51771 ... c Min unsat cost LB: 51772 ... c Min unsat cost LB: 51773 ... c Min unsat cost LB: 51775 ... c Min unsat cost LB: 51776 ... c Min unsat cost LB: 51785 ... c Min unsat cost LB: 51787 ... c Min unsat cost LB: 51788 ... c Min unsat cost LB: 51794 ... c Min unsat cost LB: 51798 ... c Min unsat cost LB: 51803 ... c Min unsat cost LB: 51804 ... c Min unsat cost LB: 51805 ... c Min unsat cost LB: 51806 ... c Min unsat cost LB: 51807 ... c Min unsat cost LB: 51808 ... c Min unsat cost LB: 51809 ... c Min unsat cost LB: 51810 ... c Min unsat cost LB: 51811 ... c Min unsat cost LB: 51812 ... c Min unsat cost LB: 51813 ... c Min unsat cost LB: 51814 ... c Min unsat cost LB: 51815 ... c Min unsat cost LB: 51816 ... 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: 51826 ... c Min unsat cost LB: 51827 ... c Min unsat cost LB: 51828 ... c Min unsat cost LB: 51829 ... c Min unsat cost LB: 51830 ... c Min unsat cost LB: 51831 ... c Min unsat cost LB: 51832 ... c Min unsat cost LB: 51833 ... c Min unsat cost LB: 51834 ... c Min unsat cost LB: 51835 ... c Min unsat cost LB: 51836 ... c Min unsat cost LB: 51837 ... c Min unsat cost LB: 51839 ... c Min unsat cost LB: 51840 ... c Min unsat cost LB: 51841 ... c Min unsat cost LB: 51842 ... c Min unsat cost LB: 51852 ... c Min unsat cost LB: 51853 ... c Min unsat cost LB: 51864 ... c Min unsat cost LB: 51865 ... c Min unsat cost LB: 51866 ... c Min unsat cost LB: 51867 ... c Min unsat cost LB: 51868 ... c Min unsat cost LB: 51869 ... c Min unsat cost LB: 51870 ... c Min unsat cost LB: 51875 ... c Min unsat cost LB: 51879 ... c Min unsat cost LB: 51884 ... c Min unsat cost LB: 51885 ... c Min unsat cost LB: 51887 ... c Min unsat cost LB: 51888 ... c Min unsat cost LB: 51889 ... c Min unsat cost LB: 51891 ... c Min unsat cost LB: 51893 ... 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: 51899 ... c Min unsat cost LB: 51900 ... c Min unsat cost LB: 51903 ... c Min unsat cost LB: 51906 ... c Min unsat cost LB: 51907 ... c Min unsat cost LB: 51908 ... c Min unsat cost LB: 51909 ... c Min unsat cost LB: 51910 ... c Min unsat cost LB: 51911 ... c Min unsat cost LB: 51912 ... c Min unsat cost LB: 51913 ... c Min unsat cost LB: 51914 ... c Min unsat cost LB: 51915 ... c Min unsat cost LB: 51916 ... c Min unsat cost LB: 51917 ... c Min unsat cost LB: 51918 ... c Min unsat cost LB: 51919 ... c Min unsat cost LB: 51920 ... c Min unsat cost LB: 51921 ... c Min unsat cost LB: 51922 ... c Min unsat cost LB: 51923 ... c Min unsat cost LB: 51924 ... c Min unsat cost LB: 51925 ... 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: 51930 ... c Min unsat cost LB: 51931 ... c Min unsat cost LB: 51932 ... c Min unsat cost LB: 51933 ... c Min unsat cost LB: 51934 ... c Min unsat cost LB: 51935 ... c Min unsat cost LB: 51936 ... c Min unsat cost LB: 51937 ... c Min unsat cost LB: 51938 ... c Min unsat cost LB: 51940 ... 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: 51948 ... c Min unsat cost LB: 51950 ... 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: 51964 ... c Min unsat cost LB: 51965 ... c Min unsat cost LB: 51966 ... c Min unsat cost LB: 51967 ... c Min unsat cost LB: 51968 ... 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: 51973 ... c Min unsat cost LB: 51974 ... c Min unsat cost LB: 51975 ... c Min unsat cost LB: 51976 ... c Min unsat cost LB: 51977 ... c Min unsat cost LB: 51978 ... c Min unsat cost LB: 51979 ... c Min unsat cost LB: 51980 ... c Min unsat cost LB: 51981 ... c Min unsat cost LB: 51982 ... c Min unsat cost LB: 51983 ... c Min unsat cost LB: 51984 ... c Min unsat cost LB: 51985 ... c Min unsat cost LB: 51986 ... c Min unsat cost LB: 51988 ... c Min unsat cost LB: 51989 ... c Min unsat cost LB: 51990 ... c Min unsat cost LB: 51991 ... c Min unsat cost LB: 51992 ... c Min unsat cost LB: 51993 ... c Min unsat cost LB: 51994 ... c Min unsat cost LB: 51995 ... c Min unsat cost LB: 51996 ... c Min unsat cost LB: 51997 ... c Min unsat cost LB: 51998 ... c Min unsat cost LB: 51999 ... c Min unsat cost LB: 52000 ... c Min unsat cost LB: 52001 ... c Min unsat cost LB: 52002 ... c Min unsat cost LB: 52003 ... c Min unsat cost LB: 52004 ... c Min unsat cost LB: 52005 ... c Min unsat cost LB: 52006 ... c Min unsat cost LB: 52007 ... c Min unsat cost LB: 52008 ... c Min unsat cost LB: 52009 ... c Min unsat cost LB: 52010 ... c Min unsat cost LB: 52011 ... c Min unsat cost LB: 52012 ... c Min unsat cost LB: 52013 ... c Min unsat cost LB: 52016 ... c Min unsat cost LB: 52017 ... c Min unsat cost LB: 52018 ... c Min unsat cost LB: 52019 ... c Min unsat cost LB: 52020 ... c Min unsat cost LB: 52021 ... c Min unsat cost LB: 52022 ... c Min unsat cost LB: 52023 ... c Min unsat cost LB: 52024 ... c Min unsat cost LB: 52025 ... c Min unsat cost LB: 52026 ... 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: 52033 ... c Min unsat cost LB: 52034 ... c Min unsat cost LB: 52035 ... c Min unsat cost LB: 52036 ... c Min unsat cost LB: 52038 ... c Min unsat cost LB: 52039 ... c Min unsat cost LB: 52040 ... c Min unsat cost LB: 52041 ... c Min unsat cost LB: 52042 ... c Min unsat cost LB: 52043 ... c Min unsat cost LB: 52044 ... c Min unsat cost LB: 52045 ... c Min unsat cost LB: 52046 ... c Min unsat cost LB: 52047 ... c Min unsat cost LB: 52048 ... c Min unsat cost LB: 52049 ... c Min unsat cost LB: 52052 ... c Min unsat cost LB: 52054 ... c Min unsat cost LB: 52055 ... c Min unsat cost LB: 52056 ... c Min unsat cost LB: 52057 ... c Min unsat cost LB: 52058 ... c Min unsat cost LB: 52059 ... c Min unsat cost LB: 52060 ... c Min unsat cost LB: 52061 ... c Min unsat cost LB: 52062 ... c Min unsat cost LB: 52063 ... c Min unsat cost LB: 52064 ... c Min unsat cost LB: 52065 ... c Min unsat cost LB: 52066 ... c Min unsat cost LB: 52067 ... c Min unsat cost LB: 52068 ... c Min unsat cost LB: 52069 ... c Min unsat cost LB: 52070 ... c Min unsat cost LB: 52071 ... c Min unsat cost LB: 52072 ... c Min unsat cost LB: 52073 ... c Min unsat cost LB: 52074 ... 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: 52079 ... c Min unsat cost LB: 52080 ... c Min unsat cost LB: 52081 ... c Min unsat cost LB: 52082 ... c Min unsat cost LB: 52083 ... c Min unsat cost LB: 52084 ... c Min unsat cost LB: 52085 ... c Min unsat cost LB: 52086 ... 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: 52100 ... c Min unsat cost LB: 52101 ... c Min unsat cost LB: 52102 ... c Min unsat cost LB: 52103 ... c Min unsat cost LB: 52104 ... c Min unsat cost LB: 52105 ... 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 LKilled 1816.163u 3.576s 30:19.85 99.9% 0+0k 0+0io 0pf+0w