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_130_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0004.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_130_0004.txt.wcnf *** c c Min unsat cost LB: 590 ... c Min unsat cost LB: 1383 ... c Min unsat cost LB: 1618 ... c Min unsat cost LB: 1821 ... c Min unsat cost LB: 2757 ... c Min unsat cost LB: 3449 ... c Min unsat cost LB: 3901 ... c Min unsat cost LB: 4908 ... c Min unsat cost LB: 4911 ... c Min unsat cost LB: 5501 ... c Min unsat cost LB: 5737 ... c Min unsat cost LB: 6673 ... c Min unsat cost LB: 7019 ... c Min unsat cost LB: 7343 ... c Min unsat cost LB: 8484 ... c Min unsat cost LB: 9074 ... c Min unsat cost LB: 9206 ... c Min unsat cost LB: 10343 ... c Min unsat cost LB: 11297 ... c Min unsat cost LB: 11532 ... c Min unsat cost LB: 11860 ... c Min unsat cost LB: 12420 ... c Min unsat cost LB: 13374 ... c Min unsat cost LB: 13734 ... c Min unsat cost LB: 14225 ... c Min unsat cost LB: 14277 ... c Min unsat cost LB: 15006 ... c Min unsat cost LB: 15021 ... c Min unsat cost LB: 15594 ... c Min unsat cost LB: 15616 ... c Min unsat cost LB: 16611 ... c Min unsat cost LB: 17283 ... c Min unsat cost LB: 17316 ... c Min unsat cost LB: 17437 ... c Min unsat cost LB: 17517 ... c Min unsat cost LB: 18088 ... c Min unsat cost LB: 18707 ... c Min unsat cost LB: 18912 ... c Min unsat cost LB: 19639 ... c Min unsat cost LB: 19709 ... c Min unsat cost LB: 19987 ... c Min unsat cost LB: 20642 ... c Min unsat cost LB: 20669 ... c Min unsat cost LB: 20873 ... c Min unsat cost LB: 21143 ... c Min unsat cost LB: 21823 ... c Min unsat cost LB: 21889 ... c Min unsat cost LB: 22366 ... c Min unsat cost LB: 22401 ... c Min unsat cost LB: 23155 ... c Min unsat cost LB: 23780 ... c Min unsat cost LB: 24370 ... c Min unsat cost LB: 24748 ... c Min unsat cost LB: 24987 ... c Min unsat cost LB: 25502 ... c Min unsat cost LB: 25815 ... c Min unsat cost LB: 26431 ... c Min unsat cost LB: 26494 ... c Min unsat cost LB: 27351 ... c Min unsat cost LB: 27829 ... c Min unsat cost LB: 27832 ... c Min unsat cost LB: 27835 ... c Min unsat cost LB: 28425 ... c Min unsat cost LB: 28434 ... c Min unsat cost LB: 29291 ... c Min unsat cost LB: 30148 ... c Min unsat cost LB: 30572 ... c Min unsat cost LB: 30708 ... c Min unsat cost LB: 31321 ... c Min unsat cost LB: 31833 ... c Min unsat cost LB: 32022 ... c Min unsat cost LB: 32500 ... c Min unsat cost LB: 33116 ... c Min unsat cost LB: 33271 ... c Min unsat cost LB: 34155 ... c Min unsat cost LB: 34934 ... c Min unsat cost LB: 35177 ... c Min unsat cost LB: 35288 ... c Min unsat cost LB: 36487 ... c Min unsat cost LB: 37103 ... c Min unsat cost LB: 37208 ... c Min unsat cost LB: 37844 ... c Min unsat cost LB: 38098 ... c Min unsat cost LB: 38573 ... c Min unsat cost LB: 38645 ... c Min unsat cost LB: 39590 ... c Min unsat cost LB: 39781 ... c Min unsat cost LB: 40260 ... c Min unsat cost LB: 40506 ... c Min unsat cost LB: 40966 ... c Min unsat cost LB: 41046 ... c Min unsat cost LB: 41109 ... c Min unsat cost LB: 41745 ... c Min unsat cost LB: 41988 ... c Min unsat cost LB: 42143 ... c Min unsat cost LB: 42308 ... c Min unsat cost LB: 42963 ... c Min unsat cost LB: 43599 ... c Min unsat cost LB: 43773 ... c Min unsat cost LB: 44317 ... c Min unsat cost LB: 44318 ... c Min unsat cost LB: 45174 ... c Min unsat cost LB: 45357 ... c Min unsat cost LB: 45517 ... c Min unsat cost LB: 46008 ... c Min unsat cost LB: 46080 ... c Min unsat cost LB: 46146 ... c Min unsat cost LB: 46459 ... c Min unsat cost LB: 46509 ... c Min unsat cost LB: 46664 ... c Min unsat cost LB: 47141 ... c Min unsat cost LB: 47728 ... c Min unsat cost LB: 47998 ... c Min unsat cost LB: 48121 ... c Min unsat cost LB: 48588 ... c Min unsat cost LB: 48617 ... c Min unsat cost LB: 48934 ... c Min unsat cost LB: 48963 ... c Min unsat cost LB: 49513 ... c Min unsat cost LB: 49692 ... c Min unsat cost LB: 49870 ... c Min unsat cost LB: 50207 ... c Min unsat cost LB: 50234 ... c Min unsat cost LB: 50566 ... c Min unsat cost LB: 50650 ... c Min unsat cost LB: 50940 ... c Min unsat cost LB: 51392 ... c Min unsat cost LB: 51513 ... c Min unsat cost LB: 51733 ... c Min unsat cost LB: 51768 ... c Min unsat cost LB: 52007 ... c Min unsat cost LB: 52033 ... c Min unsat cost LB: 52048 ... c Min unsat cost LB: 52144 ... c Min unsat cost LB: 52380 ... c Min unsat cost LB: 52428 ... c Min unsat cost LB: 52449 ... c Min unsat cost LB: 52455 ... c Min unsat cost LB: 52879 ... c Min unsat cost LB: 53218 ... c Min unsat cost LB: 53492 ... c Min unsat cost LB: 53575 ... c Min unsat cost LB: 53772 ... c Min unsat cost LB: 53814 ... c Min unsat cost LB: 53917 ... c Min unsat cost LB: 53939 ... c Min unsat cost LB: 53943 ... c Min unsat cost LB: 54011 ... c Min unsat cost LB: 54116 ... c Min unsat cost LB: 54444 ... c Min unsat cost LB: 54679 ... c Min unsat cost LB: 54701 ... c Min unsat cost LB: 55249 ... c Min unsat cost LB: 55385 ... c Min unsat cost LB: 55486 ... c Min unsat cost LB: 55726 ... c Min unsat cost LB: 55810 ... c Min unsat cost LB: 55860 ... c Min unsat cost LB: 56115 ... c Min unsat cost LB: 56161 ... c Min unsat cost LB: 56438 ... c Min unsat cost LB: 57164 ... c Min unsat cost LB: 57217 ... c Min unsat cost LB: 57347 ... c Min unsat cost LB: 57390 ... c Min unsat cost LB: 57393 ... c Min unsat cost LB: 57443 ... c Min unsat cost LB: 57447 ... c Min unsat cost LB: 57489 ... c Min unsat cost LB: 57543 ... c Min unsat cost LB: 57783 ... c Min unsat cost LB: 57833 ... c Min unsat cost LB: 58015 ... c Min unsat cost LB: 58041 ... c Min unsat cost LB: 58239 ... c Min unsat cost LB: 58442 ... c Min unsat cost LB: 58576 ... c Min unsat cost LB: 58626 ... c Min unsat cost LB: 58629 ... c Min unsat cost LB: 58671 ... c Min unsat cost LB: 58737 ... c Min unsat cost LB: 58751 ... c Min unsat cost LB: 58823 ... c Min unsat cost LB: 58826 ... c Min unsat cost LB: 58829 ... c Min unsat cost LB: 58876 ... c Min unsat cost LB: 58898 ... c Min unsat cost LB: 59011 ... c Min unsat cost LB: 59112 ... c Min unsat cost LB: 59171 ... c Min unsat cost LB: 59374 ... c Min unsat cost LB: 59503 ... c Min unsat cost LB: 59525 ... c Min unsat cost LB: 59572 ... c Min unsat cost LB: 59587 ... c Min unsat cost LB: 59622 ... c Min unsat cost LB: 59625 ... c Min unsat cost LB: 59635 ... c Min unsat cost LB: 59740 ... c Min unsat cost LB: 59813 ... c Min unsat cost LB: 59848 ... c Min unsat cost LB: 59881 ... c Min unsat cost LB: 59890 ... c Min unsat cost LB: 59902 ... c Min unsat cost LB: 59972 ... c Min unsat cost LB: 60001 ... c Min unsat cost LB: 60084 ... c Min unsat cost LB: 60099 ... c Min unsat cost LB: 60124 ... c Min unsat cost LB: 60125 ... c Min unsat cost LB: 60128 ... c Min unsat cost LB: 60163 ... c Min unsat cost LB: 60171 ... c Min unsat cost LB: 60326 ... c Min unsat cost LB: 60378 ... c Min unsat cost LB: 60474 ... c Min unsat cost LB: 60554 ... c Min unsat cost LB: 60615 ... c Min unsat cost LB: 60746 ... c Min unsat cost LB: 60773 ... c Min unsat cost LB: 60787 ... c Min unsat cost LB: 60816 ... c Min unsat cost LB: 61007 ... c Min unsat cost LB: 61071 ... c Min unsat cost LB: 61080 ... c Min unsat cost LB: 61261 ... c Min unsat cost LB: 61292 ... c Min unsat cost LB: 61434 ... c Min unsat cost LB: 61448 ... c Min unsat cost LB: 61462 ... c Min unsat cost LB: 61500 ... c Min unsat cost LB: 61514 ... c Min unsat cost LB: 61702 ... c Min unsat cost LB: 61819 ... c Min unsat cost LB: 61901 ... c Min unsat cost LB: 62026 ... c Min unsat cost LB: 62123 ... c Min unsat cost LB: 62136 ... c Min unsat cost LB: 62197 ... c Min unsat cost LB: 62255 ... c Min unsat cost LB: 62448 ... c Min unsat cost LB: 62693 ... c Min unsat cost LB: 62719 ... c Min unsat cost LB: 62730 ... c Min unsat cost LB: 62763 ... c Min unsat cost LB: 62800 ... c Min unsat cost LB: 62865 ... c Min unsat cost LB: 62878 ... c Min unsat cost LB: 63110 ... c Min unsat cost LB: 63176 ... c Min unsat cost LB: 63276 ... c Min unsat cost LB: 63292 ... c Min unsat cost LB: 63536 ... c Min unsat cost LB: 63579 ... c Min unsat cost LB: 63600 ... c Min unsat cost LB: 63606 ... c Min unsat cost LB: 63631 ... c Min unsat cost LB: 63672 ... c Min unsat cost LB: 63829 ... c Min unsat cost LB: 63879 ... c Min unsat cost LB: 64077 ... c Min unsat cost LB: 64103 ... c Min unsat cost LB: 64420 ... c Min unsat cost LB: 64421 ... c Min unsat cost LB: 64455 ... c Min unsat cost LB: 64595 ... c Min unsat cost LB: 64637 ... c Min unsat cost LB: 64700 ... c Min unsat cost LB: 64865 ... c Min unsat cost LB: 64880 ... c Min unsat cost LB: 64964 ... c Min unsat cost LB: 64983 ... c Min unsat cost LB: 65041 ... c Min unsat cost LB: 65063 ... c Min unsat cost LB: 65067 ... c Min unsat cost LB: 65077 ... c Min unsat cost LB: 65087 ... c Min unsat cost LB: 65132 ... c Min unsat cost LB: 65154 ... c Min unsat cost LB: 65284 ... c Min unsat cost LB: 65458 ... c Min unsat cost LB: 65471 ... c Min unsat cost LB: 65645 ... c Min unsat cost LB: 65648 ... c Min unsat cost LB: 65652 ... c Min unsat cost LB: 65713 ... c Min unsat cost LB: 65857 ... c Min unsat cost LB: 65860 ... c Min unsat cost LB: 65876 ... c Min unsat cost LB: 65897 ... c Min unsat cost LB: 65919 ... c Min unsat cost LB: 65934 ... c Min unsat cost LB: 65944 ... c Min unsat cost LB: 65961 ... c Min unsat cost LB: 66019 ... c Min unsat cost LB: 66024 ... c Min unsat cost LB: 66040 ... c Min unsat cost LB: 66044 ... c Min unsat cost LB: 66068 ... c Min unsat cost LB: 66118 ... c Min unsat cost LB: 66126 ... c Min unsat cost LB: 66136 ... c Min unsat cost LB: 66141 ... c Min unsat cost LB: 66146 ... c Min unsat cost LB: 66159 ... c Min unsat cost LB: 66162 ... c Min unsat cost LB: 66165 ... c Min unsat cost LB: 66166 ... c Min unsat cost LB: 66169 ... c Min unsat cost LB: 66180 ... c Min unsat cost LB: 66194 ... c Min unsat cost LB: 66236 ... c Min unsat cost LB: 66246 ... c Min unsat cost LB: 66265 ... c Min unsat cost LB: 66279 ... c Min unsat cost LB: 66291 ... c Min unsat cost LB: 66310 ... c Min unsat cost LB: 66329 ... c Min unsat cost LB: 66335 ... c Min unsat cost LB: 66341 ... c Min unsat cost LB: 66355 ... c Min unsat cost LB: 66369 ... c Min unsat cost LB: 66397 ... c Min unsat cost LB: 66462 ... c Min unsat cost LB: 66536 ... c Min unsat cost LB: 66546 ... c Min unsat cost LB: 66577 ... c Min unsat cost LB: 66589 ... c Min unsat cost LB: 66597 ... c Min unsat cost LB: 66607 ... c Min unsat cost LB: 66626 ... c Min unsat cost LB: 66671 ... c Min unsat cost LB: 66680 ... c Min unsat cost LB: 66698 ... c Min unsat cost LB: 66710 ... c Min unsat cost LB: 66836 ... c Min unsat cost LB: 66841 ... c Min unsat cost LB: 66842 ... c Min unsat cost LB: 66874 ... c Min unsat cost LB: 66875 ... c Min unsat cost LB: 66886 ... c Min unsat cost LB: 66890 ... c Min unsat cost LB: 66912 ... c Min unsat cost LB: 66915 ... c Min unsat cost LB: 66934 ... c Min unsat cost LB: 66936 ... c Min unsat cost LB: 66950 ... c Min unsat cost LB: 66957 ... c Min unsat cost LB: 66969 ... c Min unsat cost LB: 67085 ... c Min unsat cost LB: 67157 ... c Min unsat cost LB: 67162 ... c Min unsat cost LB: 67176 ... c Min unsat cost LB: 67188 ... c Min unsat cost LB: 67189 ... c Min unsat cost LB: 67191 ... c Min unsat cost LB: 67192 ... c Min unsat cost LB: 67193 ... c Min unsat cost LB: 67196 ... c Min unsat cost LB: 67199 ... c Min unsat cost LB: 67207 ... c Min unsat cost LB: 67213 ... c Min unsat cost LB: 67224 ... c Min unsat cost LB: 67225 ... c Min unsat cost LB: 67230 ... c Min unsat cost LB: 67232 ... c Min unsat cost LB: 67238 ... c Min unsat cost LB: 67240 ... c Min unsat cost LB: 67241 ... c Min unsat cost LB: 67244 ... c Min unsat cost LB: 67249 ... c Min unsat cost LB: 67250 ... c Min unsat cost LB: 67259 ... c Min unsat cost LB: 67263 ... c Min unsat cost LB: 67287 ... c Min unsat cost LB: 67288 ... c Min unsat cost LB: 67291 ... c Min unsat cost LB: 67293 ... c Min unsat cost LB: 67294 ... c Min unsat cost LB: 67295 ... c Min unsat cost LB: 67302 ... c Min unsat cost LB: 67312 ... c Min unsat cost LB: 67313 ... c Min unsat cost LB: 67315 ... c Min unsat cost LB: 67316 ... c Min unsat cost LB: 67317 ... c Min unsat cost LB: 67324 ... c Min unsat cost LB: 67326 ... c Min unsat cost LB: 67341 ... c Min unsat cost LB: 67350 ... c Min unsat cost LB: 67364 ... c Min unsat cost LB: 67369 ... c Min unsat cost LB: 67383 ... c Min unsat cost LB: 67389 ... c Min unsat cost LB: 67410 ... c Min unsat cost LB: 67468 ... c Min unsat cost LB: 67473 ... c Min unsat cost LB: 67474 ... c Min unsat cost LB: 67476 ... c Min unsat cost LB: 67479 ... c Min unsat cost LB: 67482 ... c Min unsat cost LB: 67483 ... c Min unsat cost LB: 67489 ... c Min unsat cost LB: 67490 ... c Min unsat cost LB: 67510 ... c Min unsat cost LB: 67511 ... c Min unsat cost LB: 67512 ... c Min unsat cost LB: 67514 ... c Min unsat cost LB: 67517 ... c Min unsat cost LB: 67519 ... c Min unsat cost LB: 67520 ... c Min unsat cost LB: 67521 ... c Min unsat cost LB: 67533 ... c Min unsat cost LB: 67549 ... c Min unsat cost LB: 67571 ... c Min unsat cost LB: 67573 ... c Min unsat cost LB: 67576 ... c Min unsat cost LB: 67577 ... c Min unsat cost LB: 67578 ... c Min unsat cost LB: 67583 ... c Min unsat cost LB: 67586 ... c Min unsat cost LB: 67587 ... c Min unsat cost LB: 67588 ... c Min unsat cost LB: 67590 ... c Min unsat cost LB: 67607 ... c Min unsat cost LB: 67608 ... c Min unsat cost LB: 67619 ... c Min unsat cost LB: 67620 ... c Min unsat cost LB: 67621 ... c Min unsat cost LB: 67622 ... c Min unsat cost LB: 67623 ... c Min unsat cost LB: 67626 ... c Min unsat cost LB: 67627 ... c Min unsat cost LB: 67629 ... c Min unsat cost LB: 67631 ... c Min unsat cost LB: 67643 ... c Min unsat cost LB: 67646 ... c Min unsat cost LB: 67650 ... c Min unsat cost LB: 67696 ... c Min unsat cost LB: 67789 ... c Min unsat cost LB: 67791 ... c Min unsat cost LB: 67800 ... c Min unsat cost LB: 67865 ... c Min unsat cost LB: 67874 ... c Min unsat cost LB: 67875 ... c Min unsat cost LB: 67876 ... c Min unsat cost LB: 67877 ... c Min unsat cost LB: 67878 ... c Min unsat cost LB: 67879 ... c Min unsat cost LB: 67880 ... c Min unsat cost LB: 67881 ... c Min unsat cost LB: 67882 ... c Min unsat cost LB: 67884 ... c Min unsat cost LB: 67886 ... c Min unsat cost LB: 67888 ... c Min unsat cost LB: 67889 ... c Min unsat cost LB: 67892 ... c Min unsat cost LB: 67893 ... c Min unsat cost LB: 67894 ... c Min unsat cost LB: 67895 ... c Min unsat cost LB: 67896 ... c Min unsat cost LB: 67898 ... c Min unsat cost LB: 67899 ... c Min unsat cost LB: 67901 ... c Min unsat cost LB: 67964 ... c Min unsat cost LB: 67966 ... c Min unsat cost LB: 67967 ... c Min unsat cost LB: 67971 ... c Min unsat cost LB: 67974 ... c Min unsat cost LB: 67976 ... c Min unsat cost LB: 67977 ... c Min unsat cost LB: 67990 ... c Min unsat cost LB: 68003 ... c Min unsat cost LB: 68055 ... c Min unsat cost LB: 68068 ... c Min unsat cost LB: 68071 ... c Min unsat cost LB: 68073 ... c Min unsat cost LB: 68074 ... c Min unsat cost LB: 68075 ... c Min unsat cost LB: 68090 ... c Min unsat cost LB: 68102 ... c Min unsat cost LB: 68107 ... c Min unsat cost LB: 68123 ... c Min unsat cost LB: 68124 ... c Min unsat cost LB: 68125 ... c Min unsat cost LB: 68137 ... c Min unsat cost LB: 68141 ... c Min unsat cost LB: 68144 ... c Min unsat cost LB: 68148 ... c Min unsat cost LB: 68150 ... c Min unsat cost LB: 68152 ... c Min unsat cost LB: 68156 ... c Min unsat cost LB: 68161 ... c Min unsat cost LB: 68207 ... c Min unsat cost LB: 68208 ... c Min unsat cost LB: 68225 ... c Min unsat cost LB: 68226 ... c Min unsat cost LB: 68229 ... c Min unsat cost LB: 68296 ... c Min unsat cost LB: 68298 ... c Min unsat cost LB: 68300 ... c Min unsat cost LB: 68301 ... c Min unsat cost LB: 68302 ... c Min unsat cost LB: 68303 ... c Min unsat cost LB: 68304 ... c Min unsat cost LB: 68306 ... c Min unsat cost LB: 68307 ... c Min unsat cost LB: 68308 ... c Min unsat cost LB: 68310 ... c Min unsat cost LB: 68311 ... c Min unsat cost LB: 68321 ... c Min unsat cost LB: 68323 ... c Min unsat cost LB: 68324 ... c Min unsat cost LB: 68325 ... c Min unsat cost LB: 68326 ... c Min unsat cost LB: 68327 ... c Min unsat cost LB: 68328 ... c Min unsat cost LB: 68329 ... c Min unsat cost LB: 68330 ... c Min unsat cost LB: 68333 ... c Min unsat cost LB: 68339 ... c Min unsat cost LB: 68342 ... c Min unsat cost LB: 68343 ... c Min unsat cost LB: 68360 ... c Min unsat cost LB: 68401 ... c Min unsat cost LB: 68403 ... c Min unsat cost LB: 68408 ... c Min unsat cost LB: 68409 ... c Min unsat cost LB: 68411 ... c Min unsat cost LB: 68415 ... c Min unsat cost LB: 68416 ... c Min unsat cost LB: 68417 ... c Min unsat cost LB: 68419 ... c Min unsat cost LB: 68420 ... c Min unsat cost LB: 68421 ... c Min unsat cost LB: 68423 ... c Min unsat cost LB: 68424 ... c Min unsat cost LB: 68425 ... c Min unsat cost LB: 68426 ... c Min unsat cost LB: 68434 ... c Min unsat cost LB: 68438 ... c Min unsat cost LB: 68440 ... c Min unsat cost LB: 68463 ... c Min unsat cost LB: 68464 ... c Min unsat cost LB: 68471 ... c Min unsat cost LB: 68472 ... c Min unsat cost LB: 68473 ... c Min unsat cost LB: 68474 ... c Min unsat cost LB: 68475 ... c Min unsat cost LB: 68524 ... c Min unsat cost LB: 68533 ... c Min unsat cost LB: 68535 ... c Min unsat cost LB: 68538 ... c Min unsat cost LB: 68539 ... c Min unsat cost LB: 68540 ... c Min unsat cost LB: 68543 ... c Min unsat cost LB: 68544 ... c Min unsat cost LB: 68549 ... c Min unsat cost LB: 68555 ... c Min unsat cost LB: 68556 ... c Min unsat cost LB: 68557 ... c Min unsat cost LB: 68558 ... c Min unsat cost LB: 68559 ... c Min unsat cost LB: 68562 ... c Min unsat cost LB: 68564 ... c Min unsat cost LB: 68569 ... c Min unsat cost LB: 68570 ... c Min unsat cost LB: 68571 ... c Min unsat cost LB: 68573 ... c Min unsat cost LB: 68574 ... c Min unsat cost LB: 68575 ... c Min unsat cost LB: 68576 ... c Min unsat cost LB: 68578 ... c Min unsat cost LB: 68580 ... c Min unsat cost LB: 68583 ... c Min unsat cost LB: 68584 ... c Min unsat cost LB: 68588 ... c Min unsat cost LB: 68589 ... c Min unsat cost LB: 68590 ... c Min unsat cost LB: 68591 ... c Min unsat cost LB: 68592 ... c Min unsat cost LB: 68593 ... c Min unsat cost LB: 68594 ... c Min unsat cost LB: 68595 ... c Min unsat cost LB: 68597 ... c Min unsat cost LB: 68598 ... c Min unsat cost LB: 68599 ... c Min unsat cost LB: 68600 ... c Min unsat cost LB: 68603 ... c Min unsat cost LB: 68604 ... c Min unsat cost LB: 68605 ... c Min unsat cost LB: 68606 ... c Min unsat cost LB: 68607 ... c Min unsat cost LB: 68608 ... c Min unsat cost LB: 68609 ... c Min unsat cost LB: 68610 ... c Min unsat cost LB: 68611 ... c Min unsat cost LB: 68612 ... c Min unsat cost LB: 68613 ... c Min unsat cost LB: 68614 ... c Min unsat cost LB: 68618 ... c Min unsat cost LB: 68619 ... c Min unsat cost LB: 68620 ... c Min unsat cost LB: 68621 ... c Min unsat cost LB: 68622 ... c Min unsat cost LB: 68623 ... c Min unsat cost LB: 68624 ... c Min unsat cost LB: 68625 ... c Min unsat cost LB: 68626 ... c Min unsat cost LB: 68627 ... c Min unsat cost LB: 68628 ... c Min unsat cost LB: 68629 ... c Min unsat cost LB: 68630 ... c Min unsat cost LB: 68631 ... c Min unsat cost LB: 68632 ... c Min unsat cost LB: 68633 ... c Min unsat cost LB: 68634 ... c Min unsat cost LB: 68635 ... c Min unsat cost LB: 68636 ... c Min unsat cost LB: 68640 ... c Min unsat cost LB: 68649 ... c Min unsat cost LB: 68651 ... c Min unsat cost LB: 68653 ... c Min unsat cost LB: 68654 ... c Min unsat cost LB: 68658 ... c Min unsat cost LB: 68659 ... c Min unsat cost LB: 68661 ... c Min unsat cost LB: 68668 ... c Min unsat cost LB: 68671 ... c Min unsat cost LB: 68672 ... c Min unsat cost LB: 68674 ... c Min unsat cost LB: 68680 ... c Min unsat cost LB: 68681 ... c Min unsat cost LB: 68686 ... c Min unsat cost LB: 68691 ... c Min unsat cost LB: 68692 ... c Min unsat cost LB: 68697 ... c Min unsat cost LB: 68704 ... c Min unsat cost LB: 68766 ... c Min unsat cost LB: 68767 ... c Min unsat cost LB: 68786 ... c Min unsat cost LB: 68804 ... c Min unsat cost LB: 68813 ... c Min unsat cost LB: 68819 ... c Min unsat cost LB: 68826 ... c Min unsat cost LB: 68827 ... c Min unsat cost LB: 68842 ... c Min unsat cost LB: 68843 ... c Min unsat cost LB: 68856 ... c Min unsat cost LB: 68864 ... c Min unsat cost LB: 68865 ... c Min unsat cost LB: 68866 ... c Min unsat cost LB: 68867 ... c Min unsat cost LB: 68870 ... c Min unsat cost LB: 68871 ... c Min unsat cost LB: 68872 ... c Min unsat cost LB: 68873 ... c Min unsat cost LB: 68874 ... c Min unsat cost LB: 68875 ... c Min unsat cost LB: 68876 ... c Min unsat cost LB: 68877 ... c Min unsat cost LB: 68878 ... c Min unsat cost LB: 68879 ... c Min unsat cost LB: 68882 ... c Min unsat cost LB: 68884 ... c Min unsat cost LB: 68885 ... c Min unsat cost LB: 68892 ... c Min unsat cost LB: 68893 ... c Min unsat cost LB: 68894 ... c Min unsat cost LB: 68900 ... c Min unsat cost LB: 68903 ... c Min unsat cost LB: 68904 ... c Min unsat cost LB: 68905 ... c Min unsat cost LB: 68906 ... c Min unsat cost LB: 68908 ... c Min unsat cost LB: 68911 ... c Min unsat cost LB: 68912 ... c Min unsat cost LB: 68913 ... c Min unsat cost LB: 68916 ... c Min unsat cost LB: 68917 ... c Min unsat cost LB: 68928 ... c Min unsat cost LB: 68932 ... c Min unsat cost LB: 68937 ... c Min unsat cost LB: 68938 ... c Min unsat cost LB: 68956 ... c Min unsat cost LB: 68957 ... c Min unsat cost LB: 68958 ... c Min unsat cost LB: 68959 ... c Min unsat cost LB: 68960 ... c Min unsat cost LB: 68961 ... c Min unsat cost LB: 68962 ... c Min unsat cost LB: 68976 ... c Min unsat cost LB: 68981 ... c Min unsat cost LB: 68982 ... c Min unsat cost LB: 68983 ... c Min unsat cost LB: 68984 ... c Min unsat cost LB: 68985 ... c Min unsat cost LB: 68988 ... c Min unsat cost LB: 68990 ... c Min unsat cost LB: 68995 ... c Min unsat cost LB: 69000 ... c Min unsat cost LB: 69002 ... c Min unsat cost LB: 69007 ... c Min unsat cost LB: 69017 ... c Min unsat cost LB: 69018 ... c Min unsat cost LB: 69019 ... c Min unsat cost LB: 69027 ... c Min unsat cost LB: 69029 ... c Min unsat cost LB: 69036 ... c Min unsat cost LB: 69037 ... c Min unsat cost LB: 69038 ... c Min unsat cost LB: 69039 ... c Min unsat cost LB: 69046 ... c Min unsat cost LB: 69048 ... c Min unsat cost LB: 69049 ... c Min unsat cost LB: 69050 ... c Min unsat cost LB: 69051 ... c Min unsat cost LB: 69052 ... c Min unsat cost LB: 69054 ... c Min unsat cost LB: 69055 ... c Min unsat cost LB: 69057 ... c Min unsat cost LB: 69060 ... c Min unsat cost LB: 69076 ... c Min unsat cost LB: 69077 ... c Min unsat cost LB: 69078 ... c Min unsat cost LB: 69085 ... c Min unsat cost LB: 69087 ... c Min unsat cost LB: 69088 ... c Min unsat cost LB: 69102 ... c Min unsat cost LB: 69103 ... c Min unsat cost LB: 69104 ... c Min unsat cost LB: 69111 ... c Min unsat cost LB: 69112 ... c Min unsat cost LB: 69113 ... c Min unsat cost LB: 69116 ... c Min unsat cost LB: 69118 ... c Min unsat cost LB: 69119 ... c Min unsat cost LB: 69120 ... c Min unsat cost LB: 69121 ... c Min unsat cost LB: 69122 ... c Min unsat cost LB: 69124 ... c Min unsat cost LB: 69126 ... c Min unsat cost LB: 69127 ... c Min unsat cost LB: 69128 ... c Min unsat cost LB: 69130 ... c Min unsat cost LB: 69131 ... c Min unsat cost LB: 69132 ... c Min unsat cost LB: 69133 ... c Min unsat cost LB: 69136 ... c Min unsat cost LB: 69137 ... c Min unsat cost LB: 69138 ... c Min unsat cost LB: 69139 ... c Min unsat cost LB: 69140 ... c Min unsat cost LB: 69141 ... c Min unsat cost LB: 69143 ... c Min unsat cost LB: 69145 ... c Min unsat cost LB: 69146 ... c Min unsat cost LB: 69147 ... c Min unsat cost LB: 69148 ... c Min unsat cost LB: 69149 ... c Min unsat cost LB: 69150 ... c Min unsat cost LB: 69151 ... c Min unsat cost LB: 69152 ... c Min unsat cost LB: 69153 ... c Min unsat cost LB: 69154 ... c Min unsat cost LB: 69155 ... c Min unsat cost LB: 69163 ... c Min unsat cost LB: 69182 ... c Min unsat cost LB: 69183 ... c Min unsat cost LB: 69194 ... c Min unsat cost LB: 69199 ... c Min unsat cost LB: 69201 ... c Min unsat cost LB: 69203 ... c Min unsat cost LB: 69204 ... c Min unsat cost LB: 69209 ... c Min unsat cost LB: 69211 ... c Min unsat cost LB: 69214 ... c Min unsat cost LB: 69215 ... c Min unsat cost LB: 69217 ... c Min unsat cost LB: 69219 ... c Min unsat cost LB: 69220 ... c Min unsat cost LB: 69221 ... c Min unsat cost LB: 69222 ... c Min unsat cost LB: 69223 ... c Min unsat cost LB: 69224 ... c Min unsat cost LB: 69225 ... c Min unsat cost LB: 69226 ... c Min unsat cost LB: 69227 ... c Min unsat cost LB: 69228 ... c Min unsat cost LB: 69229 ... c Min unsat cost LB: 69230 ... c Min unsat cost LB: 69231 ... c Min unsat cost LB: 69232 ... c Min unsat cost LB: 69233 ... c Min unsat cost LB: 69234 ... c Min unsat cost LB: 69235 ... c Min unsat cost LB: 69236 ... c Min unsat cost LB: 69237 ... c Min unsat cost LB: 69238 ... c Min unsat cost LB: 69239 ... c Min unsat cost LB: 69240 ... c Min unsat cost LB: 69241 ... c Min unsat cost LB: 69242 ... c Min unsat cost LB: 69243 ... c Min unsat cost LB: 69244 ... c Min unsat cost LB: 69245 ... c Min unsat cost LB: 69246 ... c Min unsat cost LB: 69247 ... c Min unsat cost LB: 69248 ... c Min unsat cost LB: 69249 ... c Min unsat cost LB: 69250 ... c Min unsat cost LB: 69251 ... c Min unsat cost LB: 69252 ... c Min unsat cost LB: 69253 ... c Min unsat cost LB: 69254 ... c Min unsat cost LB: 69255 ... c Min unsat cost LB: 69256 ... c Min unsat cost LB: 69257 ... c Min unsat cost LB: 69258 ... c Min unsat cost LB: 69261 ... c Min unsat cost LB: 69262 ... c Min unsat cost LB: 69263 ... c Min unsat cost LB: 69264 ... c Min unsat cost LB: 69265 ... c Min unsat cost LB: 69266 ... c Min unsat cost LB: 69270 ... c Min unsat cost LB: 69271 ... c Min unsat cost LB: 69272 ... c Min unsat cost LB: 69274 ... c Min unsat cost LB: 69281 ... c Min unsat cost LB: 69283 ... c Min unsat cost LB: 69284 ... c Min unsat cost LB: 69286 ... c Min unsat cost LB: 69287 ... c Min unsat cost LB: 69288 ... c Min unsat cost LB: 69289 ... c Min unsat cost LB: 69290 ... c Min unsat cost LB: 69291 ... c Min unsat cost LB: 69292 ... c Min unsat cost LB: 69293 ... c Min unsat cost LB: 69294 ... c Min unsat cost LB: 69295 ... c Min unsat cost LB: 69296 ... c Min unsat cost LB: 69297 ... c Min unsat cost LB: 69298 ... c Min unsat cost LB: 69299 ... c Min unsat cost LB: 69300 ... c Min unsat cost LB: 69302 ... c Min unsat cost LB: 69303 ... c Min unsat cost LB: 69304 ... c Min unsat cost LB: 69306 ... c Min unsat cost LB: 69307 ... c Min unsat cost LB: 69333 ... c Min unsat cost LB: 69336 ... c Min unsat cost LB: 69344 ... c Min unsat cost LB: 69348 ... c Min unsat cost LB: 69349 ... c Min unsat cost LB: 69350 ... c Min unsat cost LB: 69351 ... c Min unsat cost LB: 69352 ... c Min unsat cost LB: 69353 ... c Min unsat cost LB: 69354 ... c Min unsat cost LB: 69355 ... c Min unsat cost LB: 69356 ... c Min unsat cost LB: 69357 ... c Min unsat cost LB: 69358 ... c Min unsat cost LB: 69359 ... c Min unsat cost LB: 69360 ... c Min unsat cost LB: 69361 ... c Min unsat cost LB: 69362 ... c Min unsat cost LB: 69364 ... c Min unsat cost LB: 69367 ... c Min unsat cost LB: 69368 ... c Min unsat cost LB: 69369 ... c Min unsat cost LB: 69370 ... c Min unsat cost LB: 69371 ... c Min unsat cost LB: 69372 ... c Min unsat cost LB: 69373 ... c Min unsat cost LB: 69374 ... c Min unsat cost LB: 69375 ... c Min unsat cost LB: 69376 ... c Min unsat cost LB: 69377 ... c Min unsat cost LB: 69378 ... c Min unsat cost LB: 69379 ... c Min unsat cost LB: 69380 ... c Min unsat cost LB: 69381 ... c Min unsat cost LB: 69382 ... c Min unsat cost LB: 69383 ... c Min unsat cost LB: 69384 ... c Min unsat cost LB: 69395 ... c Min unsat cost LB: 69396 ... c Min unsat cost LB: 69397 ... c Min unsat cost LB: 69398 ... c Min unsat cost LB: 69399 ... c Min unsat cost LB: 69400 ... c Min unsat cost LB: 69401 ... c Min unsat cost LB: 69402 ... c Min unsat cost LB: 69403 ... c Min unsat cost LB: 69404 ... c Min unsat cost LB: 69405 ... c Min unsat cost LB: 69407 ... c Min unsat cost LB: 69408 ... c Min unsat cost LB: 69409 ... c Min unsat cost LB: 69410 ... c Min unsat cost LB: 69411 ... c Min unsat cost LB: 69416 ... c Min unsat cost LB: 69417 ... c Min unsat cost LB: 69418 ... c Min unsat cost LB: 69430 ... c Min unsat cost LB: 69431 ... c Min unsat cost LB: 69432 ... c Min unsat cost LB: 69433 ... c Min unsat cost LB: 69434 ... c Min unsat cost LB: 69435 ... c Min unsat cost LB: 69436 ... c Min unsat cost LB: 69437 ... c Min unsat cost LB: 69438 ... c Min unsat cost LB: 69439 ... c Min unsat cost LB: 69440 ... c Min unsat cost LB: 69443 ... c Min unsat cost LB: 69447 ... c Min unsat cost LB: 69450 ... c Min unsat cost LB: 69452 ... c Min unsat cost LB: 69454 ... c Min unsat cost LB: 69456 ... c Min unsat cost LB: 69457 ... c Min unsat cost LB: 69458 ... c Min unsat cost LB: 69459 ... c Min unsat cost LB: 69460 ... c Min unsat cost LB: 69461 ... c Min unsat cost LB: 69462 ... c Min unsat cost LB: 69463 ... c Min unsat cost LB: 69464 ... c Min unsat cost LB: 69465 ... c Min unsat cost LB: 69467 ... c Min unsat cost LB: 69468 ... c Min unsat cost LB: 69470 ... c Min unsat cost LB: 69471 ... c Min unsat cost LB: 69472 ... c Min unsat cost LB: 69478 ... c Min unsat cost LB: 69479 ... c Min unsat cost LB: 69480 ... c Min unsat cost LB: 69481 ... c Min unsat cost LB: 69482 ... c Min unsat cost LB: 69483 ... c Min unsat cost LB: 69484 ... c Min unsat cost LB: 69485 ... c Min unsat cost LB: 69486 ... c Min unsat cost LB: 69487 ... c Min unsat cost LB: 69488 ... c Min unsat cost LB: 69489 ... c Min unsat cost LB: 69490 ... c Min unsat cost LB: 69491 ... c Min unsat cost LB: 69492 ... c Min unsat cost LB: 69493 ... c Min unsat cost LB: 69494 ... c Min unsat cost LB: 69495 ... c Min unsat cost LB: 69496 ... c Min unsat cost LB: 69497 ... c Min unsat cost LB: 69498 ... c Min unsat cost LB: 69499 ... c Min unsat cost LB: 69500 ... c Min unsat cost LB: 69501 ... c Min unsat cost LB: 69502 ... c Min unsat cost LB: 69503 ... c Min unsat cost LB: 69504 ... c Min unsat cost LB: 69505 ... c Min unsat cost LB: 69506 ... c Min unsat cost LB: 69507 ... c Min unsat cost LB: 69508 ... c Min unsat cost LB: 69509 ... c Min unsat cost LB: 69510 ... c Min unsat cost LB: 69511 ... c Min unsat cost LB: 69512 ... c Min unsat cost LB: 69513 ... c Min unsat cost LB: 69514 ... c Min unsat cost LB: 69515 ... c Min unsat cost LB: 69516 ... c Min unsat cost LB: 69517 ... c Min unsat cost LB: 69518 ... c Min unsat cost LB: 69519 ... c Min unsat cost LB: 69520 ... c Min unsat cost LB: 69521 ... c Min unsat cost LB: 69522 ... c Min unsat cost LB: 69523 ... c Min unsat cost LB: 69524 ... c Min unsat cost LB: 69525 ... c Min unsat cost LB: 69526 ... c Min unsat cost LB: 69527 ... c Min unsat cost LB: 69528 ... c Min unsat cost LB: 69529 ... c Min unsat cost LB: 69530 ... c Min unsat cost LB: 69531 ... c Min unsat cost LB: 69532 ... c Min unsat cost LB: 69533 ... c Min unsat cost LB: 69534 ... c Min unsat cost LB: 69535 ... c Min unsat cost LB: 69536 ... c Min unsat cost LB: 69537 ... c Min unsat cost LB: 69538 ... c Min unsat cost LB: 69539 ... c Min unsat cost LB: 69540 ... c Min unsat cost LB: 69541 ... c Min unsat cost LB: 69542 ... c Min unsat cost LB: 69543 ... c Min unsat cost LB: 69544 ... c Min unsat cost LB: 69545 ... c Min unsat cost LB: 69546 ... c Min unsat cost LB: 69547 ... c Min unsat cost LB: 69548 ... c Min unsat cost LB: 69549 ... c Min unsat cost LB: 69550 ... c Min unsat cost LB: 69551 ... c Min unsat cost LB: 69552 ... c Min unsat cost LB: 69553 ... c Min unsat cost LB: 69554 ... c Min unsat cost LB: 69555 ... c Min unsat cost LB: 69556 ... c Min unsat cost LB: 69557 ... c Min unsat cost LB: 69558 ... c Min unsat cost LB: 69559 ... c Min unsat cost LB: 69560 ... c Min unsat cost LB: 69561 ... c Min unsat cost LB: 69562 ... c Min unsat cost LKilled 1808.255u 11.489s 30:23.55 99.7% 0+0k 0+0io 0pf+0w