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_KnotPipatsrisawat_random-net-80-2_network-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-5.net.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/KnotPipatsrisawat/random-net-80-2_network-5.net.wcnf *** c c Min unsat cost LB: 1460 ... c Min unsat cost LB: 2414 ... c Min unsat cost LB: 4832 ... c Min unsat cost LB: 5723 ... c Min unsat cost LB: 6922 ... c Min unsat cost LB: 8376 ... c Min unsat cost LB: 9557 ... c Min unsat cost LB: 11069 ... c Min unsat cost LB: 12423 ... c Min unsat cost LB: 12739 ... c Min unsat cost LB: 13613 ... c Min unsat cost LB: 14784 ... c Min unsat cost LB: 15243 ... c Min unsat cost LB: 15470 ... c Min unsat cost LB: 15620 ... c Min unsat cost LB: 15725 ... c Min unsat cost LB: 15905 ... c Min unsat cost LB: 15999 ... c Min unsat cost LB: 16093 ... c Min unsat cost LB: 17195 ... c Min unsat cost LB: 17432 ... c Min unsat cost LB: 17473 ... c Min unsat cost LB: 17608 ... c Min unsat cost LB: 17745 ... c Min unsat cost LB: 17773 ... c Min unsat cost LB: 17804 ... c Min unsat cost LB: 18294 ... c Min unsat cost LB: 19468 ... c Min unsat cost LB: 19477 ... c Min unsat cost LB: 19618 ... c Min unsat cost LB: 20097 ... c Min unsat cost LB: 20255 ... c Min unsat cost LB: 20381 ... c Min unsat cost LB: 20725 ... c Min unsat cost LB: 20788 ... c Min unsat cost LB: 20944 ... c Min unsat cost LB: 21996 ... c Min unsat cost LB: 22006 ... c Min unsat cost LB: 22161 ... c Min unsat cost LB: 23286 ... c Min unsat cost LB: 23843 ... c Min unsat cost LB: 24297 ... c Min unsat cost LB: 25308 ... c Min unsat cost LB: 25309 ... c Min unsat cost LB: 25551 ... c Min unsat cost LB: 25556 ... c Min unsat cost LB: 25694 ... c Min unsat cost LB: 25793 ... c Min unsat cost LB: 26044 ... c Min unsat cost LB: 26073 ... c Min unsat cost LB: 26078 ... c Min unsat cost LB: 26516 ... c Min unsat cost LB: 26609 ... c Min unsat cost LB: 26753 ... c Min unsat cost LB: 26886 ... c Min unsat cost LB: 27013 ... c Min unsat cost LB: 27084 ... c Min unsat cost LB: 27716 ... c Min unsat cost LB: 28172 ... c Min unsat cost LB: 28499 ... c Min unsat cost LB: 28570 ... c Min unsat cost LB: 28599 ... c Min unsat cost LB: 28714 ... c Min unsat cost LB: 28850 ... c Min unsat cost LB: 28869 ... c Min unsat cost LB: 29125 ... c Min unsat cost LB: 29135 ... c Min unsat cost LB: 29167 ... c Min unsat cost LB: 29298 ... c Min unsat cost LB: 29312 ... c Min unsat cost LB: 29317 ... c Min unsat cost LB: 29318 ... c Min unsat cost LB: 29379 ... c Min unsat cost LB: 29459 ... c Min unsat cost LB: 29463 ... c Min unsat cost LB: 29552 ... c Min unsat cost LB: 29682 ... c Min unsat cost LB: 29707 ... c Min unsat cost LB: 29711 ... c Min unsat cost LB: 29743 ... c Min unsat cost LB: 29762 ... c Min unsat cost LB: 29819 ... c Min unsat cost LB: 29821 ... c Min unsat cost LB: 29842 ... c Min unsat cost LB: 30035 ... c Min unsat cost LB: 30036 ... c Min unsat cost LB: 30038 ... c Min unsat cost LB: 30039 ... c Min unsat cost LB: 30040 ... c Min unsat cost LB: 30044 ... c Min unsat cost LB: 30580 ... c Min unsat cost LB: 31065 ... c Min unsat cost LB: 31136 ... c Min unsat cost LB: 31656 ... c Min unsat cost LB: 31794 ... c Min unsat cost LB: 32376 ... c Min unsat cost LB: 32387 ... c Min unsat cost LB: 32402 ... c Min unsat cost LB: 32416 ... c Min unsat cost LB: 32656 ... c Min unsat cost LB: 32667 ... c Min unsat cost LB: 33434 ... c Min unsat cost LB: 33528 ... c Min unsat cost LB: 33530 ... c Min unsat cost LB: 33661 ... c Min unsat cost LB: 33671 ... c Min unsat cost LB: 33679 ... c Min unsat cost LB: 33684 ... c Min unsat cost LB: 33688 ... c Min unsat cost LB: 33697 ... c Min unsat cost LB: 33703 ... c Min unsat cost LB: 33704 ... c Min unsat cost LB: 33917 ... c Min unsat cost LB: 34000 ... c Min unsat cost LB: 34071 ... c Min unsat cost LB: 34960 ... c Min unsat cost LB: 34969 ... c Min unsat cost LB: 35443 ... c Min unsat cost LB: 35551 ... c Min unsat cost LB: 35629 ... c Min unsat cost LB: 35836 ... c Min unsat cost LB: 35847 ... c Min unsat cost LB: 35967 ... c Min unsat cost LB: 36700 ... c Min unsat cost LB: 36828 ... c Min unsat cost LB: 36892 ... c Min unsat cost LB: 37780 ... c Min unsat cost LB: 37941 ... c Min unsat cost LB: 38421 ... c Min unsat cost LB: 38528 ... c Min unsat cost LB: 38658 ... c Min unsat cost LB: 38762 ... c Min unsat cost LB: 39017 ... c Min unsat cost LB: 39287 ... c Min unsat cost LB: 39312 ... c Min unsat cost LB: 39843 ... c Min unsat cost LB: 39878 ... c Min unsat cost LB: 39887 ... c Min unsat cost LB: 39889 ... c Min unsat cost LB: 39892 ... c Min unsat cost LB: 39893 ... c Min unsat cost LB: 39904 ... c Min unsat cost LB: 39908 ... c Min unsat cost LB: 39955 ... c Min unsat cost LB: 39980 ... c Min unsat cost LB: 40143 ... c Min unsat cost LB: 40238 ... c Min unsat cost LB: 40347 ... c Min unsat cost LB: 40432 ... c Min unsat cost LB: 40452 ... c Min unsat cost LB: 40720 ... c Min unsat cost LB: 41101 ... c Min unsat cost LB: 41136 ... c Min unsat cost LB: 41232 ... c Min unsat cost LB: 41459 ... c Min unsat cost LB: 41619 ... c Min unsat cost LB: 41658 ... c Min unsat cost LB: 41839 ... c Min unsat cost LB: 41867 ... c Min unsat cost LB: 41981 ... c Min unsat cost LB: 42022 ... c Min unsat cost LB: 42081 ... c Min unsat cost LB: 42259 ... c Min unsat cost LB: 42260 ... c Min unsat cost LB: 42263 ... c Min unsat cost LB: 42270 ... c Min unsat cost LB: 42274 ... c Min unsat cost LB: 42284 ... c Min unsat cost LB: 42294 ... c Min unsat cost LB: 42303 ... c Min unsat cost LB: 42339 ... c Min unsat cost LB: 42411 ... c Min unsat cost LB: 42458 ... c Min unsat cost LB: 42502 ... c Min unsat cost LB: 42539 ... c Min unsat cost LB: 42560 ... c Min unsat cost LB: 42573 ... c Min unsat cost LB: 42671 ... c Min unsat cost LB: 42694 ... c Min unsat cost LB: 42732 ... c Min unsat cost LB: 43109 ... c Min unsat cost LB: 43570 ... c Min unsat cost LB: 43642 ... c Min unsat cost LB: 43686 ... c Min unsat cost LB: 43716 ... c Min unsat cost LB: 43746 ... c Min unsat cost LB: 43757 ... c Min unsat cost LB: 43822 ... c Min unsat cost LB: 43830 ... c Min unsat cost LB: 43832 ... c Min unsat cost LB: 43833 ... c Min unsat cost LB: 43835 ... c Min unsat cost LB: 43845 ... c Min unsat cost LB: 43847 ... c Min unsat cost LB: 43849 ... c Min unsat cost LB: 43852 ... c Min unsat cost LB: 43861 ... c Min unsat cost LB: 43884 ... c Min unsat cost LB: 43890 ... c Min unsat cost LB: 43894 ... c Min unsat cost LB: 43896 ... c Min unsat cost LB: 43898 ... c Min unsat cost LB: 43907 ... c Min unsat cost LB: 43953 ... c Min unsat cost LB: 43958 ... c Min unsat cost LB: 43982 ... c Min unsat cost LB: 44118 ... c Min unsat cost LB: 44379 ... c Min unsat cost LB: 44485 ... c Min unsat cost LB: 44494 ... c Min unsat cost LB: 44628 ... c Min unsat cost LB: 44683 ... c Min unsat cost LB: 44685 ... c Min unsat cost LB: 44805 ... c Min unsat cost LB: 44822 ... c Min unsat cost LB: 44830 ... c Min unsat cost LB: 44863 ... c Min unsat cost LB: 44972 ... c Min unsat cost LB: 44998 ... c Min unsat cost LB: 45006 ... c Min unsat cost LB: 45019 ... c Min unsat cost LB: 45170 ... c Min unsat cost LB: 45239 ... c Min unsat cost LB: 45373 ... c Min unsat cost LB: 45507 ... c Min unsat cost LB: 45516 ... c Min unsat cost LB: 45531 ... c Min unsat cost LB: 45547 ... c Min unsat cost LB: 45622 ... c Min unsat cost LB: 45677 ... c Min unsat cost LB: 45705 ... c Min unsat cost LB: 45758 ... c Min unsat cost LB: 45841 ... c Min unsat cost LB: 45978 ... c Min unsat cost LB: 46004 ... c Min unsat cost LB: 46057 ... c Min unsat cost LB: 46130 ... c Min unsat cost LB: 46435 ... c Min unsat cost LB: 46593 ... c Min unsat cost LB: 47016 ... c Min unsat cost LB: 47115 ... c Min unsat cost LB: 47270 ... c Min unsat cost LB: 47398 ... c Min unsat cost LB: 47486 ... c Min unsat cost LB: 48004 ... c Min unsat cost LB: 48058 ... c Min unsat cost LB: 48080 ... c Min unsat cost LB: 48082 ... c Min unsat cost LB: 48084 ... c Min unsat cost LB: 48085 ... c Min unsat cost LB: 48088 ... c Min unsat cost LB: 48089 ... c Min unsat cost LB: 48090 ... c Min unsat cost LB: 48091 ... c Min unsat cost LB: 48094 ... c Min unsat cost LB: 48097 ... c Min unsat cost LB: 48098 ... c Min unsat cost LB: 48099 ... c Min unsat cost LB: 48101 ... c Min unsat cost LB: 48103 ... c Min unsat cost LB: 48104 ... c Min unsat cost LB: 48105 ... c Min unsat cost LB: 48106 ... c Min unsat cost LB: 48107 ... c Min unsat cost LB: 48110 ... c Min unsat cost LB: 48111 ... c Min unsat cost LB: 48112 ... c Min unsat cost LB: 48133 ... c Min unsat cost LB: 48173 ... c Min unsat cost LB: 48525 ... c Min unsat cost LB: 48526 ... c Min unsat cost LB: 48527 ... c Min unsat cost LB: 48528 ... c Min unsat cost LB: 48529 ... c Min unsat cost LB: 48530 ... c Min unsat cost LB: 48531 ... c Min unsat cost LB: 48540 ... c Min unsat cost LB: 48572 ... c Min unsat cost LB: 48604 ... c Min unsat cost LB: 48640 ... c Min unsat cost LB: 48674 ... c Min unsat cost LB: 48677 ... c Min unsat cost LB: 48681 ... c Min unsat cost LB: 48711 ... c Min unsat cost LB: 49235 ... c Min unsat cost LB: 49241 ... c Min unsat cost LB: 49248 ... c Min unsat cost LB: 49444 ... c Min unsat cost LB: 49565 ... c Min unsat cost LB: 49838 ... c Min unsat cost LB: 50093 ... c Min unsat cost LB: 50344 ... c Min unsat cost LB: 50553 ... c Min unsat cost LB: 50866 ... c Min unsat cost LB: 50891 ... c Min unsat cost LB: 51257 ... c Min unsat cost LB: 51495 ... c Min unsat cost LB: 51601 ... c Min unsat cost LB: 51701 ... c Min unsat cost LB: 51816 ... c Min unsat cost LB: 51905 ... c Min unsat cost LB: 51956 ... c Min unsat cost LB: 51965 ... c Min unsat cost LB: 52144 ... c Min unsat cost LB: 52146 ... c Min unsat cost LB: 52156 ... c Min unsat cost LB: 52250 ... c Min unsat cost LB: 52252 ... c Min unsat cost LB: 52350 ... c Min unsat cost LB: 52400 ... c Min unsat cost LB: 52969 ... c Min unsat cost LB: 53031 ... c Min unsat cost LB: 53036 ... c Min unsat cost LB: 53057 ... c Min unsat cost LB: 53086 ... c Min unsat cost LB: 53109 ... c Min unsat cost LB: 53165 ... c Min unsat cost LB: 53228 ... c Min unsat cost LB: 53239 ... c Min unsat cost LB: 53240 ... c Min unsat cost LB: 53244 ... c Min unsat cost LB: 53492 ... c Min unsat cost LB: 53496 ... c Min unsat cost LB: 53519 ... c Min unsat cost LB: 53530 ... c Min unsat cost LB: 53646 ... c Min unsat cost LB: 53682 ... c Min unsat cost LB: 53687 ... c Min unsat cost LB: 53702 ... c Min unsat cost LB: 53707 ... c Min unsat cost LB: 53765 ... c Min unsat cost LB: 53775 ... c Min unsat cost LB: 53834 ... c Min unsat cost LB: 53872 ... c Min unsat cost LB: 53912 ... c Min unsat cost LB: 54023 ... c Min unsat cost LB: 54098 ... c Min unsat cost LB: 54099 ... c Min unsat cost LB: 54100 ... c Min unsat cost LB: 54101 ... c Min unsat cost LB: 54103 ... c Min unsat cost LB: 54104 ... c Min unsat cost LB: 54106 ... c Min unsat cost LB: 54107 ... c Min unsat cost LB: 54111 ... c Min unsat cost LB: 54117 ... c Min unsat cost LB: 54123 ... c Min unsat cost LB: 54137 ... c Min unsat cost LB: 54141 ... c Min unsat cost LB: 54142 ... c Min unsat cost LB: 54155 ... c Min unsat cost LB: 54188 ... c Min unsat cost LB: 54210 ... c Min unsat cost LB: 54222 ... c Min unsat cost LB: 54249 ... c Min unsat cost LB: 54250 ... c Min unsat cost LB: 54251 ... c Min unsat cost LB: 54252 ... c Min unsat cost LB: 54253 ... c Min unsat cost LB: 54758 ... c Min unsat cost LB: 54759 ... c Min unsat cost LB: 54766 ... c Min unsat cost LB: 54773 ... c Min unsat cost LB: 54778 ... c Min unsat cost LB: 54779 ... c Min unsat cost LB: 54780 ... c Min unsat cost LB: 54781 ... c Min unsat cost LB: 54782 ... c Min unsat cost LB: 54784 ... c Min unsat cost LB: 54785 ... c Min unsat cost LB: 54786 ... c Min unsat cost LB: 54789 ... c Min unsat cost LB: 54791 ... c Min unsat cost LB: 54792 ... c Min unsat cost LB: 54810 ... c Min unsat cost LB: 54817 ... c Min unsat cost LB: 54824 ... c Min unsat cost LB: 54841 ... c Min unsat cost LB: 55123 ... c Min unsat cost LB: 55142 ... c Min unsat cost LB: 55144 ... c Min unsat cost LB: 55165 ... c Min unsat cost LB: 55297 ... c Min unsat cost LB: 55314 ... c Min unsat cost LB: 55460 ... c Min unsat cost LB: 55567 ... c Min unsat cost LB: 55594 ... c Min unsat cost LB: 55624 ... c Min unsat cost LB: 55630 ... c Min unsat cost LB: 55652 ... c Min unsat cost LB: 55721 ... c Min unsat cost LB: 55751 ... c Min unsat cost LB: 55813 ... c Min unsat cost LB: 55830 ... c Min unsat cost LB: 55853 ... c Min unsat cost LB: 55855 ... c Min unsat cost LB: 55856 ... c Min unsat cost LB: 55857 ... c Min unsat cost LB: 55909 ... c Min unsat cost LB: 56249 ... c Min unsat cost LB: 56315 ... c Min unsat cost LB: 56360 ... c Min unsat cost LB: 56654 ... c Min unsat cost LB: 56675 ... c Min unsat cost LB: 56725 ... c Min unsat cost LB: 56729 ... c Min unsat cost LB: 56730 ... c Min unsat cost LB: 56731 ... c Min unsat cost LB: 56760 ... c Min unsat cost LB: 56826 ... c Min unsat cost LB: 56835 ... c Min unsat cost LB: 56897 ... c Min unsat cost LB: 56899 ... c Min unsat cost LB: 56900 ... c Min unsat cost LB: 56901 ... c Min unsat cost LB: 57044 ... c Min unsat cost LB: 57080 ... c Min unsat cost LB: 57111 ... c Min unsat cost LB: 57312 ... c Min unsat cost LB: 57378 ... c Min unsat cost LB: 57398 ... c Min unsat cost LB: 57399 ... c Min unsat cost LB: 57443 ... c Min unsat cost LB: 57444 ... c Min unsat cost LB: 57469 ... c Min unsat cost LB: 57473 ... c Min unsat cost LB: 57478 ... c Min unsat cost LB: 57487 ... c Min unsat cost LB: 57494 ... c Min unsat cost LB: 57529 ... c Min unsat cost LB: 57544 ... c Min unsat cost LB: 57551 ... c Min unsat cost LB: 57573 ... c Min unsat cost LB: 57617 ... c Min unsat cost LB: 57618 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 57672 ... c Min unsat cost LB: 57738 ... c Min unsat cost LB: 57788 ... c Min unsat cost LB: 57808 ... c Min unsat cost LB: 57823 ... c Min unsat cost LB: 57829 ... c Min unsat cost LB: 57830 ... c Min unsat cost LB: 57837 ... c Min unsat cost LB: 57839 ... c Min unsat cost LB: 57850 ... c Min unsat cost LB: 57851 ... c Min unsat cost LB: 57856 ... c Min unsat cost LB: 57913 ... c Min unsat cost LB: 57915 ... c Min unsat cost LB: 57917 ... c Min unsat cost LB: 57918 ... c Min unsat cost LB: 57919 ... c Min unsat cost LB: 58104 ... c Min unsat cost LB: 58379 ... c Min unsat cost LB: 58871 ... c Min unsat cost LB: 58915 ... c Min unsat cost LB: 58916 ... c Min unsat cost LB: 58920 ... c Min unsat cost LB: 58921 ... c Min unsat cost LB: 58963 ... c Min unsat cost LB: 58980 ... c Min unsat cost LB: 58982 ... c Min unsat cost LB: 58983 ... c Min unsat cost LB: 58990 ... c Min unsat cost LB: 58998 ... c Min unsat cost LB: 59012 ... c Min unsat cost LB: 59017 ... c Min unsat cost LB: 59018 ... c Min unsat cost LB: 59021 ... c Min unsat cost LB: 59023 ... c Min unsat cost LB: 59049 ... c Min unsat cost LB: 59057 ... c Min unsat cost LB: 59058 ... c Min unsat cost LB: 59076 ... c Min unsat cost LB: 59112 ... c Min unsat cost LB: 59133 ... c Min unsat cost LB: 59135 ... c Min unsat cost LB: 59144 ... c Min unsat cost LB: 59152 ... c Min unsat cost LB: 59173 ... c Min unsat cost LB: 59178 ... c Min unsat cost LB: 59193 ... c Min unsat cost LB: 59195 ... c Min unsat cost LB: 59216 ... c Min unsat cost LB: 59274 ... c Min unsat cost LB: 59279 ... c Min unsat cost LB: 59280 ... c Min unsat cost LB: 59283 ... c Min unsat cost LB: 59287 ... c Min unsat cost LB: 59290 ... c Min unsat cost LB: 59305 ... c Min unsat cost LB: 59314 ... c Min unsat cost LB: 59324 ... c Min unsat cost LB: 59341 ... c Min unsat cost LB: 59344 ... c Min unsat cost LB: 59483 ... c Min unsat cost LB: 59495 ... c Min unsat cost LB: 59503 ... c Min unsat cost LB: 59518 ... c Min unsat cost LB: 59524 ... c Min unsat cost LB: 59527 ... c Min unsat cost LB: 59537 ... c Min unsat cost LB: 59570 ... c Min unsat cost LB: 59571 ... c Min unsat cost LB: 59572 ... c Min unsat cost LB: 59573 ... c Min unsat cost LB: 59799 ... c Min unsat cost LB: 59988 ... c Min unsat cost LB: 60022 ... c Min unsat cost LB: 60180 ... c Min unsat cost LB: 60181 ... c Min unsat cost LB: 60185 ... c Min unsat cost LB: 60196 ... c Min unsat cost LB: 60198 ... c Min unsat cost LB: 60200 ... c Min unsat cost LB: 60201 ... c Min unsat cost LB: 60202 ... c Min unsat cost LB: 60203 ... c Min unsat cost LB: 60206 ... c Min unsat cost LB: 60208 ... c Min unsat cost LB: 60210 ... c Min unsat cost LB: 60211 ... c Min unsat cost LB: 60212 ... c Min unsat cost LB: 60213 ... c Min unsat cost LB: 60216 ... c Min unsat cost LB: 60218 ... c Min unsat cost LB: 60220 ... c Min unsat cost LB: 60221 ... c Min unsat cost LB: 60222 ... c Min unsat cost LB: 60227 ... c Min unsat cost LB: 60228 ... c Min unsat cost LB: 60229 ... c Min unsat cost LB: 60230 ... c Min unsat cost LB: 60232 ... c Min unsat cost LB: 60234 ... c Min unsat cost LB: 60235 ... c Min unsat cost LB: 60237 ... c Min unsat cost LB: 60239 ... c Min unsat cost LB: 60240 ... c Min unsat cost LB: 60243 ... c Min unsat cost LB: 60244 ... c Min unsat cost LB: 60245 ... c Min unsat cost LB: 60248 ... c Min unsat cost LB: 60249 ... c Min unsat cost LB: 60252 ... c Min unsat cost LB: 60253 ... c Min unsat cost LB: 60257 ... c Min unsat cost LB: 60260 ... c Min unsat cost LB: 60261 ... c Min unsat cost LB: 60265 ... c Min unsat cost LB: 60268 ... c Min unsat cost LB: 60272 ... c Min unsat cost LB: 60273 ... c Min unsat cost LB: 60276 ... c Min unsat cost LB: 60278 ... c Min unsat cost LB: 60279 ... c Min unsat cost LB: 60280 ... c Min unsat cost LB: 60281 ... c Min unsat cost LB: 60282 ... c Min unsat cost LB: 60284 ... c Min unsat cost LB: 60289 ... c Min unsat cost LB: 60291 ... c Min unsat cost LB: 60292 ... c Min unsat cost LB: 60294 ... c Min unsat cost LB: 60299 ... c Min unsat cost LB: 60301 ... c Min unsat cost LB: 60309 ... c Min unsat cost LB: 60311 ... c Min unsat cost LB: 60317 ... c Min unsat cost LB: 60318 ... c Min unsat cost LB: 60319 ... c Min unsat cost LB: 60321 ... c Min unsat cost LB: 60322 ... c Min unsat cost LB: 60323 ... c Min unsat cost LB: 60324 ... c Min unsat cost LB: 60325 ... c Min unsat cost LB: 60326 ... c Min unsat cost LB: 60327 ... c Min unsat cost LB: 60364 ... c Min unsat cost LB: 60365 ... c Min unsat cost LB: 60368 ... c Min unsat cost LB: 60369 ... c Min unsat cost LB: 60370 ... c Min unsat cost LB: 60371 ... c Min unsat cost LB: 60373 ... c Min unsat cost LB: 60374 ... c Min unsat cost LB: 60375 ... c Min unsat cost LB: 60376 ... c Min unsat cost LB: 60377 ... c Min unsat cost LB: 60378 ... c Min unsat cost LB: 60379 ... c Min unsat cost LB: 60381 ... c Min unsat cost LB: 60382 ... c Min unsat cost LB: 60383 ... c Min unsat cost LB: 60384 ... c Min unsat cost LB: 60385 ... c Min unsat cost LB: 60386 ... c Min unsat cost LB: 60387 ... c Min unsat cost LB: 60388 ... c Min unsat cost LB: 60389 ... c Min unsat cost LB: 60390 ... c Min unsat cost LB: 60391 ... c Min unsat cost LB: 60392 ... c Min unsat cost LB: 60393 ... c Min unsat cost LB: 60394 ... c Min unsat cost LB: 60395 ... c Min unsat cost LB: 60396 ... c Min unsat cost LB: 60397 ... c Min unsat cost LB: 60398 ... c Min unsat cost LB: 60399 ... c Min unsat cost LB: 60400 ... c Min unsat cost LB: 60401 ... c Min unsat cost LB: 60402 ... c Min unsat cost LB: 60403 ... c Min unsat cost LB: 60404 ... c Min unsat cost LB: 60405 ... c Min unsat cost LB: 60406 ... c Min unsat cost LB: 60407 ... c Min unsat cost LB: 60408 ... c Min unsat cost LB: 60409 ... c Min unsat cost LB: 60410 ... c Min unsat cost LB: 60411 ... c Min unsat cost LB: 60412 ... c Min unsat cost LB: 60437 ... c Min unsat cost LB: 60455 ... c Min unsat cost LB: 60462 ... c Min unsat cost LB: 60520 ... c Min unsat cost LB: 60521 ... c Min unsat cost LB: 60570 ... c Min unsat cost LB: 60594 ... c Min unsat cost LB: 60605 ... c Min unsat cost LB: 60611 ... c Min unsat cost LB: 60620 ... c Min unsat cost LB: 60621 ... c Min unsat cost LB: 60622 ... c Min unsat cost LB: 60624 ... c Min unsat cost LB: 60625 ... c Min unsat cost LB: 60626 ... c Min unsat cost LB: 60628 ... c Min unsat cost LB: 60634 ... c Min unsat cost LB: 60636 ... c Min unsat cost LB: 60638 ... c Min unsat cost LB: 60639 ... c Min unsat cost LB: 60642 ... c Min unsat cost LB: 60649 ... c Min unsat cost LB: 60650 ... c Min unsat cost LB: 60652 ... c Min unsat cost LB: 60655 ... c Min unsat cost LB: 60656 ... c Min unsat cost LB: 60657 ... c Min unsat cost LB: 60658 ... c Min unsat cost LB: 60662 ... c Min unsat cost LB: 60663 ... c Min unsat cost LB: 60707 ... c Min unsat cost LB: 60712 ... c Min unsat cost LB: 60724 ... c Min unsat cost LB: 60755 ... c Min unsat cost LB: 60764 ... c Min unsat cost LB: 60780 ... c Min unsat cost LB: 60788 ... c Min unsat cost LB: 60789 ... c Min unsat cost LB: 60790 ... c Min unsat cost LB: 60791 ... c Min unsat cost LB: 60792 ... c Min unsat cost LB: 60793 ... c Min unsat cost LB: 60794 ... c Min unsat cost LB: 60795 ... c Min unsat cost LB: 60796 ... c Min unsat cost LB: 60797 ... c Min unsat cost LB: 60800 ... c Min unsat cost LB: 60801 ... c Min unsat cost LB: 60802 ... c Min unsat cost LB: 60803 ... c Min unsat cost LB: 60804 ... c Min unsat cost LB: 60806 ... c Min unsat cost LB: 60807 ... c Min unsat cost LB: 60808 ... c Min unsat cost LB: 60818 ... c Min unsat cost LB: 60820 ... c Min unsat cost LB: 60822 ... c Min unsat cost LB: 60823 ... c Min unsat cost LB: 60829 ... c Min unsat cost LB: 60830 ... c Min unsat cost LB: 60834 ... c Min unsat cost LB: 60839 ... c Min unsat cost LB: 60841 ... c Min unsat cost LB: 60843 ... c Min unsat cost LB: 60844 ... c Min unsat cost LB: 60855 ... c Min unsat cost LB: 60861 ... c Min unsat cost LB: 60881 ... c Min unsat cost LB: 60910 ... c Min unsat cost LB: 60911 ... c Min unsat cost LB: 60912 ... c Min unsat cost LB: 61088 ... c Min unsat cost LB: 61120 ... c Min unsat cost LB: 61144 ... c Min unsat cost LB: 61145 ... c Min unsat cost LB: 61146 ... c Min unsat cost LB: 61279 ... c Min unsat cost LB: 61334 ... c Min unsat cost LB: 61393 ... c Min unsat cost LB: 61481 ... c Min unsat cost LB: 61630 ... c Min unsat cost LB: 61687 ... c Min unsat cost LB: 61701 ... c Min unsat cost LB: 61737 ... c Min unsat cost LB: 61863 ... c Min unsat cost LB: 61877 ... c Min unsat cost LB: 61893 ... c Min unsat cost LB: 61902 ... c Min unsat cost LB: 61931 ... c Min unsat cost LB: 61985 ... c Min unsat cost LB: 61997 ... c Min unsat cost LB: 62004 ... c Min unsat cost LB: 62063 ... c Min unsat cost LB: 62074 ... c Min unsat cost LB: 62084 ... c Min unsat cost LB: 62101 ... c Min unsat cost LB: 62113 ... c Min unsat cost LB: 62114 ... c Min unsat cost LB: 62115 ... c Min unsat cost LB: 62116 ... c Min unsat cost LB: 62313 ... c Min unsat cost LB: 62321 ... c Min unsat cost LB: 62335 ... c Min unsat cost LB: 62392 ... c Min unsat cost LB: 62454 ... c Min unsat cost LB: 62470 ... c Min unsat cost LB: 62474 ... c Min unsat cost LB: 62532 ... c Min unsat cost LB: 62535 ... c Min unsat cost LB: 62536 ... c Min unsat cost LB: 62579 ... c Min unsat cost LB: 62588 ... c Min unsat cost LB: 62601 ... c Min unsat cost LB: 62602 ... c Min unsat cost LB: 62603 ... c Min unsat cost LB: 62604 ... c Min unsat cost LB: 62605 ... c Min unsat cost LB: 62607 ... c Min unsat cost LB: 62609 ... c Min unsat cost LB: 62610 ... c Min unsat cost LB: 62611 ... c Min unsat cost LB: 62612 ... c Min unsat cost LB: 62613 ... c Min unsat cost LB: 62615 ... c Min unsat cost LB: 62616 ... c Min unsat cost LB: 62617 ... c Min unsat cost LB: 62619 ... c Min unsat cost LB: 62620 ... c Min unsat cost LB: 62622 ... c Min unsat cost LB: 62623 ... c Min unsat cost LB: 62626 ... c Min unsat cost LB: 62629 ... c Min unsat cost LB: 62630 ... c Min unsat cost LB: 62632 ... c Min unsat cost LB: 62635 ... c Min unsat cost LB: 62636 ... c Min unsat cost LB: 62638 ... c Min unsat cost LB: 62641 ... c Min unsat cost LB: 62651 ... c Min unsat cost LB: 62652 ... c Min unsat cost LB: 62653 ... c Min unsat cost LB: 62655 ... c Min unsat cost LB: 62663 ... c Min unsat cost LB: 62664 ... c Min unsat cost LB: 62671 ... c Min unsat cost LB: 62673 ... c Min unsat cost LB: 62674 ... c Min unsat cost LB: 62675 ... c Min unsat cost LB: 62678 ... c Min unsat cost LB: 62683 ... c Min unsat cost LB: 62684 ... c Min unsat cost LB: 62685 ... c Min unsat cost LB: 62686 ... c Min unsat cost LB: 62690 ... c Min unsat cost LB: 62691 ... c Min unsat cost LB: 62692 ... c Min unsat cost LB: 62693 ... c Min unsat cost LB: 62694 ... c Min unsat cost LB: 62695 ... c Min unsat cost LB: 62696 ... c Min unsat cost LB: 62697 ... c Min unsat cost LB: 62698 ... c Min unsat cost LB: 62699 ... c Min unsat cost LB: 62700 ... c Min unsat cost LB: 62701 ... c Min unsat cost LB: 62702 ... c Min unsat cost LB: 62703 ... c Min unsat cost LB: 62704 ... c Min unsat cost LB: 62705 ... c Min unsat cost LB: 62706 ... c Min unsat cost LB: 62707 ... c Min unsat cost LB: 62708 ... c Min unsat cost LB: 62710 ... c Min unsat cost LB: 62711 ... c Min unsat cost LB: 62712 ... c Min unsat cost LB: 62713 ... c Min unsat cost LB: 62714 ... c Min unsat cost LB: 62715 ... c Min unsat cost LB: 62716 ... c Min unsat cost LB: 62717 ... c Min unsat cost LB: 62718 ... c Min unsat cost LB: 62719 ... c Min unsat cost LB: 62720 ... c Min unsat cost LB: 62721 ... c Min unsat cost LB: 62722 ... c Min unsat cost LB: 62723 ... c Min unsat cost LB: 62724 ... c Min unsat cost LB: 62725 ... c Min unsat cost LB: 62726 ... c Min unsat cost LB: 62727 ... c Min unsat cost LB: 62728 ... c Min unsat cost LB: 62729 ... c Min unsat cost LB: 62730 ... c Min unsat cost LB: 62731 ... c Min unsat cost LB: 62732 ... c Min unsat cost LB: 62733 ... c Min unsat cost LB: 62734 ... c Min unsat cost LB: 62735 ... c Min unsat cost LB: 62736 ... c Min unsat cost LB: 62737 ... c Min unsat cost LB: 62738 ... c Min unsat cost LB: 62739 ... c Min unsat cost LB: 62743 ... c Min unsat cost LB: 62744 ... c Min unsat cost LB: 62745 ... c Min unsat cost LB: 62746 ... c Min unsat cost LB: 62747 ... c Min unsat cost LB: 62748 ... c Min unsat cost LB: 62749 ... c Min unsat cost LB: 62750 ... c Min unsat cost LB: 62751 ... c Min unsat cost LB: 62752 ... c Min unsat cost LB: 62772 ... c Min unsat cost LB: 62780 ... c Min unsat cost LB: 62811 ... c Min unsat cost LB: 62821 ... c Min unsat cost LB: 62835 ... c Min unsat cost LB: 62864 ... c Min unsat cost LB: 62878 ... c Min unsat cost LB: 62897 ... c Min unsat cost LB: 63008 ... c Min unsat cost LB: 63025 ... c Min unsat cost LB: 63027 ... c Min unsat cost LB: 63112 ... c Min unsat cost LB: 63113 ... c Min unsat cost LB: 63121 ... c Min unsat cost LB: 63127 ... c Min unsat cost LB: 63129 ... c Min unsat cost LB: 63134 ... c Min unsat cost LB: 63136 ... c Min unsat cost LB: 63144 ... c Min unsat cost LB: 63146 ... c Min unsat cost LB: 63156 ... c Min unsat cost LB: 63160 ... c Min unsat cost LB: 63163 ... c Min unsat cost LB: 63172 ... c Min unsat cost LB: 63182 ... c Min unsat cost LB: 63186 ... c Min unsat cost LB: 63187 ... c Min unsat cost LB: 63192 ... c Min unsat cost LB: 63197 ... c Min unsat cost LB: 63200 ... c Min unsat cost LB: 63201 ... c Min unsat cost LB: 63202 ... c Min unsat cost LB: 63203 ... c Min unsat cost LB: 63207 ... c Min unsat cost LB: 63208 ... c Min unsat cost LB: 63224 ... c Min unsat cost LB: 63225 ... c Min unsat cost LB: 63227 ... c Min unsat cost LB: 63241 ... c Min unsat cost LB: 63259 ... c Min unsat cost LB: 63270 ... c Min unsat cost LB: 63287 ... c Min unsat cost LB: 63300 ... c Min unsat cost LB: 63301 ... c Min unsat cost LB: 63315 ... c Min unsat cost LB: 63323 ... c Min unsat cost LB: 63333 ... c Min unsat cost LB: 63342 ... c Min unsat cost LB: 63357 ... c Min unsat cost LB: 63362 ... c Min unsat cost LB: 63370 ... c Min unsat cost LB: 63371 ... c Min unsat cost LB: 63395 ... c Min unsat cost LB: 63400 ... c Min unsat cost LB: 63401 ... c Min unsat cost LB: 63415 ... c Min unsat cost LB: 63423 ... c Min unsat cost LB: 63446 ... c Min unsat cost LB: 63447 ... c Min unsat cost LB: 63507 ... c Min unsat cost LB: 63508 ... c Min unsat cost LB: 63509 ... c Min unsat cost LB: 63556 ... c Min unsat cost LB: 63780 ... c Min unsat cost LB: 64043 ... c Min unsat cost LB: 64216 ... c Min unsat cost LB: 64272 ... c Min unsat cost LB: 64292 ... c Min unsat cost LB: 64300 ... c Min unsat cost LB: 64317 ... c Min unsat cost LB: 64340 ... c Min unsat cost LB: 64353 ... c Min unsat cost LB: 64364 ... c Min unsat cost LB: 64378 ... c Min unsat cost LB: 64389 ... c Min unsat cost LB: 64390 ... c Min unsat cost LB: 64437 ... c Min unsat cost LB: 64442 ... c Min unsat cost LB: 64466 ... c Min unsat cost LB: 64467 ... c Min unsat cost LB: 64476 ... c Min unsat cost LB: 64495 ... c Min unsat cost LB: 64653 ... c Min unsat cost LB: 64670 ... c Min unsat cost LB: 64739 ... c Min unsat cost LB: 64747 ... c Min unsat cost LB: 64757 ... c Min unsat cost LB: 64762 ... c Min unsat cost LB: 64770 ... c Min unsat cost LB: 64785 ... c Min unsat cost LB: 64799 ... c Min unsat cost LB: 64844 ... c Min unsat cost LB: 64846 ... c Min unsat cost LB: 64851 ... c Min unsat cost LB: 64854 ... c Min unsat cost LB: 64859 ... c Min unsat cost LB: 64861 ... c Min unsat cost LB: 64862 ... c Min unsat cost LB: 64863 ... c Min unsat cost LB: 64864 ... c Min unsat cost LB: 64874 ... c Min unsat cost LB: 64879 ... c Min unsat cost LB: 64883 ... c Min unsat cost LB: 64893 ... c Min unsat cost LB: 64897 ... c Min unsat cost LB: 64898 ... c Min unsat cost LB: 64904 ... c Min unsat cost LB: 64922 ... c Min unsat cost LB: 64928 ... c Min unsat cost LB: 64929 ... c Min unsat cost LB: 64932 ... c Min unsat cost LB: 64946 ... c Min unsat cost LB: 64948 ... c Min unsat cost LB: 64956 ... c Min unsat cost LB: 64973 ... c Min unsat cost LB: 64974 ... c Min unsat cost LB: 64993 ... c Min unsat cost LB: 65029 ... c Min unsat cost LB: 65054 ... c Min unsat cost LB: 65103 ... c Min unsat cost LB: 65127 ... c Min unsat cost LB: 65147 ... c Min unsat cost LB: 65171 ... c Min unsat cost LB: 65181 ... c Min unsat cost LB: 65182 ... c Min unsat cost LB: 65187 ... c Min unsat cost LB: 65188 ... c Min unsat cost LB: 65201 ... c Min unsat cost LB: 65233 ... c Min unsat cost LB: 65239 ... c Min unsat cost LB: 65384 ... c Min unsat cost LB: 65386 ... c Min unsat cost LB: 65626 ... c Min unsat cost LB: 65643 ... c Min unsat cost LB: 65644 ... c Min unsat cost LB: 65645 ... c Min unsat cost LB: 65788 ... c Min unsat cost LB: 65911 ... c Min unsat cost LB: 65990 ... c Min unsat cost LB: 66135 ... c Min unsat cost LB: 66137 ... c Min unsat cost LB: 66189 ... c Min unsat cost LB: 66696 ... c Min unsat cost LB: 66866 ... c Min unsat cost LB: 66961 ... c Min unsat cost LB: 66971 ... c Min unsat cost LB: 67071 ... c Min unsat cost LB: 67131 ... c Min unsat cost LB: 67132 ... c Min unsat cost LB: 67142 ... c Min unsat cost LB: 67149 ... c Min unsat cost LB: 67150 ... c Min unsat cost LB: 67208 ... c Min unsat cost LB: 67414 ... c Min unsat cost LB: 67474 ... c Min unsat cost LB: 67926 ... c Min unsat cost LB: 68081 ... c Min unsat cost LB: 68306 ... c Min unsat cost LB: 68323 ... c Min unsat cost LB: 68567 ... c Min unsat cost LB: 68770 ... c Min unsat cost LB: 68787 ... c Min unsat cost LB: 69032 ... c Min unsat cost LB: 69041 ... c Min unsat cost LB: 69682 ... c Min unsat cost LB: 69786 ... c Min unsat cost LB: 69854 ... c Min unsat cost LB: 69868 ... c Min unsat cost LB: 69917 ... c Min unsat cost LB: 69959 ... c Min unsat cost LB: 69970 ... c Min unsat cost LB: 69992 ... c Min unsat cost LB: 70025 ... c Min unsat cost LB: 70077 ... c Min unsat cost LB: 70327 ... c Min unsat cost LB: 70388 ... c Min unsat cost LB: 70477 ... c Min unsat cost LB: 70571 ... c Min unsat cost LB: 70648 ... c Min unsat cost LB: 70781 ... c Min unsat cost LB: 70864 ... c Min unsat cost LB: 70911 ... c Min unsat cost LB: 70946 ... c Min unsat cost LB: 70998 ... c Min unsat cost LB: 71029 ... c Min unsat cost LB: 71031 ... c Min unsat cost LB: 71053 ... c Min unsat cost LB: 71064 ... c Min uKilled 1818.007u 1.733s 30:21.91 99.8% 0+0k 0+0io 0pf+0w