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_100_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0006.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_100_0006.txt.wcnf *** c c Min unsat cost LB: 925 ... c Min unsat cost LB: 933 ... c Min unsat cost LB: 1537 ... c Min unsat cost LB: 2470 ... c Min unsat cost LB: 3596 ... c Min unsat cost LB: 4513 ... c Min unsat cost LB: 4521 ... c Min unsat cost LB: 4755 ... c Min unsat cost LB: 5680 ... c Min unsat cost LB: 5952 ... c Min unsat cost LB: 6314 ... c Min unsat cost LB: 6322 ... c Min unsat cost LB: 6879 ... c Min unsat cost LB: 7113 ... c Min unsat cost LB: 8038 ... c Min unsat cost LB: 8654 ... c Min unsat cost LB: 9053 ... c Min unsat cost LB: 9211 ... c Min unsat cost LB: 10138 ... c Min unsat cost LB: 10144 ... c Min unsat cost LB: 10338 ... c Min unsat cost LB: 10657 ... c Min unsat cost LB: 11086 ... c Min unsat cost LB: 11126 ... c Min unsat cost LB: 11771 ... c Min unsat cost LB: 12200 ... c Min unsat cost LB: 12275 ... c Min unsat cost LB: 12637 ... c Min unsat cost LB: 12757 ... c Min unsat cost LB: 13359 ... c Min unsat cost LB: 13469 ... c Min unsat cost LB: 13893 ... c Min unsat cost LB: 14450 ... c Min unsat cost LB: 14583 ... c Min unsat cost LB: 15128 ... c Min unsat cost LB: 15744 ... c Min unsat cost LB: 16265 ... c Min unsat cost LB: 17215 ... c Min unsat cost LB: 17315 ... c Min unsat cost LB: 17549 ... c Min unsat cost LB: 18468 ... c Min unsat cost LB: 19034 ... c Min unsat cost LB: 19238 ... c Min unsat cost LB: 19262 ... c Min unsat cost LB: 19498 ... c Min unsat cost LB: 19642 ... c Min unsat cost LB: 20412 ... c Min unsat cost LB: 20823 ... c Min unsat cost LB: 21710 ... c Min unsat cost LB: 21741 ... c Min unsat cost LB: 22392 ... c Min unsat cost LB: 23279 ... c Min unsat cost LB: 23513 ... c Min unsat cost LB: 24184 ... c Min unsat cost LB: 24575 ... c Min unsat cost LB: 24607 ... c Min unsat cost LB: 24751 ... c Min unsat cost LB: 25565 ... c Min unsat cost LB: 25864 ... c Min unsat cost LB: 26727 ... c Min unsat cost LB: 27414 ... c Min unsat cost LB: 27470 ... c Min unsat cost LB: 28284 ... c Min unsat cost LB: 28476 ... c Min unsat cost LB: 29409 ... c Min unsat cost LB: 29922 ... c Min unsat cost LB: 30430 ... c Min unsat cost LB: 30500 ... c Min unsat cost LB: 31292 ... c Min unsat cost LB: 31562 ... c Min unsat cost LB: 31676 ... c Min unsat cost LB: 32809 ... c Min unsat cost LB: 33254 ... c Min unsat cost LB: 33364 ... c Min unsat cost LB: 33368 ... c Min unsat cost LB: 33824 ... c Min unsat cost LB: 33966 ... c Min unsat cost LB: 34454 ... c Min unsat cost LB: 34829 ... c Min unsat cost LB: 34909 ... c Min unsat cost LB: 35193 ... c Min unsat cost LB: 35337 ... c Min unsat cost LB: 35428 ... c Min unsat cost LB: 35445 ... c Min unsat cost LB: 35564 ... c Min unsat cost LB: 36065 ... c Min unsat cost LB: 36209 ... c Min unsat cost LB: 36319 ... c Min unsat cost LB: 36336 ... c Min unsat cost LB: 36360 ... c Min unsat cost LB: 36541 ... c Min unsat cost LB: 36683 ... c Min unsat cost LB: 36840 ... c Min unsat cost LB: 37006 ... c Min unsat cost LB: 37046 ... c Min unsat cost LB: 37070 ... c Min unsat cost LB: 37269 ... c Min unsat cost LB: 37499 ... c Min unsat cost LB: 37544 ... c Min unsat cost LB: 37645 ... c Min unsat cost LB: 37789 ... c Min unsat cost LB: 38200 ... c Min unsat cost LB: 38336 ... c Min unsat cost LB: 38389 ... c Min unsat cost LB: 38448 ... c Min unsat cost LB: 38623 ... c Min unsat cost LB: 38781 ... c Min unsat cost LB: 38795 ... c Min unsat cost LB: 38953 ... c Min unsat cost LB: 39065 ... c Min unsat cost LB: 39169 ... c Min unsat cost LB: 39402 ... c Min unsat cost LB: 39420 ... c Min unsat cost LB: 39482 ... c Min unsat cost LB: 39495 ... c Min unsat cost LB: 39537 ... c Min unsat cost LB: 39657 ... c Min unsat cost LB: 39790 ... c Min unsat cost LB: 39801 ... c Min unsat cost LB: 39809 ... c Min unsat cost LB: 39823 ... c Min unsat cost LB: 39998 ... c Min unsat cost LB: 40016 ... c Min unsat cost LB: 40034 ... c Min unsat cost LB: 40040 ... c Min unsat cost LB: 40075 ... c Min unsat cost LB: 40106 ... c Min unsat cost LB: 40383 ... c Min unsat cost LB: 40437 ... c Min unsat cost LB: 40636 ... c Min unsat cost LB: 40693 ... c Min unsat cost LB: 40699 ... c Min unsat cost LB: 40709 ... c Min unsat cost LB: 40813 ... c Min unsat cost LB: 40833 ... c Min unsat cost LB: 41014 ... c Min unsat cost LB: 41170 ... c Min unsat cost LB: 41212 ... c Min unsat cost LB: 41227 ... c Min unsat cost LB: 41242 ... c Min unsat cost LB: 41272 ... c Min unsat cost LB: 41328 ... c Min unsat cost LB: 41430 ... c Min unsat cost LB: 41521 ... c Min unsat cost LB: 41532 ... c Min unsat cost LB: 41545 ... c Min unsat cost LB: 41594 ... c Min unsat cost LB: 41607 ... c Min unsat cost LB: 41736 ... c Min unsat cost LB: 41986 ... c Min unsat cost LB: 42018 ... c Min unsat cost LB: 42557 ... c Min unsat cost LB: 42631 ... c Min unsat cost LB: 42637 ... c Min unsat cost LB: 42639 ... c Min unsat cost LB: 42805 ... c Min unsat cost LB: 42826 ... c Min unsat cost LB: 43012 ... c Min unsat cost LB: 43159 ... c Min unsat cost LB: 43167 ... c Min unsat cost LB: 43555 ... c Min unsat cost LB: 43619 ... c Min unsat cost LB: 43833 ... c Min unsat cost LB: 43848 ... c Min unsat cost LB: 43866 ... c Min unsat cost LB: 44406 ... c Min unsat cost LB: 44499 ... c Min unsat cost LB: 44530 ... c Min unsat cost LB: 44649 ... c Min unsat cost LB: 44725 ... c Min unsat cost LB: 44733 ... c Min unsat cost LB: 44784 ... c Min unsat cost LB: 44820 ... c Min unsat cost LB: 44834 ... c Min unsat cost LB: 44869 ... c Min unsat cost LB: 45344 ... c Min unsat cost LB: 45350 ... c Min unsat cost LB: 45363 ... c Min unsat cost LB: 45389 ... c Min unsat cost LB: 45404 ... c Min unsat cost LB: 45407 ... c Min unsat cost LB: 45535 ... c Min unsat cost LB: 45543 ... c Min unsat cost LB: 45655 ... c Min unsat cost LB: 45701 ... c Min unsat cost LB: 45797 ... c Min unsat cost LB: 45816 ... c Min unsat cost LB: 45833 ... c Min unsat cost LB: 45926 ... c Min unsat cost LB: 45937 ... c Min unsat cost LB: 45947 ... c Min unsat cost LB: 45955 ... c Min unsat cost LB: 45972 ... c Min unsat cost LB: 46020 ... c Min unsat cost LB: 46036 ... c Min unsat cost LB: 46064 ... c Min unsat cost LB: 46072 ... c Min unsat cost LB: 46117 ... c Min unsat cost LB: 46206 ... c Min unsat cost LB: 46253 ... c Min unsat cost LB: 46284 ... c Min unsat cost LB: 46302 ... c Min unsat cost LB: 46316 ... c Min unsat cost LB: 46337 ... c Min unsat cost LB: 46345 ... c Min unsat cost LB: 46355 ... c Min unsat cost LB: 46359 ... c Min unsat cost LB: 46361 ... c Min unsat cost LB: 46369 ... c Min unsat cost LB: 46379 ... c Min unsat cost LB: 46387 ... c Min unsat cost LB: 46432 ... c Min unsat cost LB: 46442 ... c Min unsat cost LB: 46472 ... c Min unsat cost LB: 46486 ... c Min unsat cost LB: 46492 ... c Min unsat cost LB: 46497 ... c Min unsat cost LB: 46525 ... c Min unsat cost LB: 46541 ... c Min unsat cost LB: 46549 ... c Min unsat cost LB: 46566 ... c Min unsat cost LB: 46573 ... c Min unsat cost LB: 46576 ... c Min unsat cost LB: 46581 ... c Min unsat cost LB: 46595 ... c Min unsat cost LB: 46603 ... c Min unsat cost LB: 46609 ... c Min unsat cost LB: 46626 ... c Min unsat cost LB: 46628 ... c Min unsat cost LB: 46637 ... c Min unsat cost LB: 46642 ... c Min unsat cost LB: 46690 ... c Min unsat cost LB: 46738 ... c Min unsat cost LB: 46749 ... c Min unsat cost LB: 46755 ... c Min unsat cost LB: 46759 ... c Min unsat cost LB: 46781 ... c Min unsat cost LB: 46792 ... c Min unsat cost LB: 46817 ... c Min unsat cost LB: 46821 ... c Min unsat cost LB: 46829 ... c Min unsat cost LB: 46840 ... c Min unsat cost LB: 46848 ... c Min unsat cost LB: 46856 ... c Min unsat cost LB: 46859 ... c Min unsat cost LB: 46860 ... c Min unsat cost LB: 46862 ... c Min unsat cost LB: 46876 ... c Min unsat cost LB: 46877 ... c Min unsat cost LB: 46879 ... c Min unsat cost LB: 46880 ... c Min unsat cost LB: 46885 ... c Min unsat cost LB: 46887 ... c Min unsat cost LB: 46893 ... c Min unsat cost LB: 46898 ... c Min unsat cost LB: 46900 ... c Min unsat cost LB: 46903 ... c Min unsat cost LB: 46904 ... c Min unsat cost LB: 46908 ... c Min unsat cost LB: 46909 ... c Min unsat cost LB: 46910 ... c Min unsat cost LB: 46913 ... c Min unsat cost LB: 46922 ... c Min unsat cost LB: 46923 ... c Min unsat cost LB: 46924 ... c Min unsat cost LB: 46925 ... c Min unsat cost LB: 46926 ... c Min unsat cost LB: 46930 ... c Min unsat cost LB: 46931 ... c Min unsat cost LB: 46938 ... c Min unsat cost LB: 46939 ... c Min unsat cost LB: 46966 ... c Min unsat cost LB: 46969 ... c Min unsat cost LB: 46993 ... c Min unsat cost LB: 46997 ... c Min unsat cost LB: 47004 ... c Min unsat cost LB: 47027 ... c Min unsat cost LB: 47030 ... c Min unsat cost LB: 47031 ... c Min unsat cost LB: 47035 ... c Min unsat cost LB: 47039 ... c Min unsat cost LB: 47040 ... c Min unsat cost LB: 47041 ... c Min unsat cost LB: 47042 ... c Min unsat cost LB: 47057 ... c Min unsat cost LB: 47060 ... c Min unsat cost LB: 47075 ... c Min unsat cost LB: 47078 ... c Min unsat cost LB: 47106 ... c Min unsat cost LB: 47116 ... c Min unsat cost LB: 47123 ... c Min unsat cost LB: 47125 ... c Min unsat cost LB: 47127 ... c Min unsat cost LB: 47141 ... c Min unsat cost LB: 47162 ... c Min unsat cost LB: 47292 ... c Min unsat cost LB: 47588 ... c Min unsat cost LB: 47589 ... c Min unsat cost LB: 47594 ... c Min unsat cost LB: 47595 ... c Min unsat cost LB: 47597 ... c Min unsat cost LB: 47601 ... c Min unsat cost LB: 47607 ... c Min unsat cost LB: 47632 ... c Min unsat cost LB: 47641 ... c Min unsat cost LB: 47642 ... c Min unsat cost LB: 47646 ... c Min unsat cost LB: 47651 ... c Min unsat cost LB: 47659 ... c Min unsat cost LB: 47660 ... c Min unsat cost LB: 47661 ... c Min unsat cost LB: 47662 ... c Min unsat cost LB: 47664 ... c Min unsat cost LB: 47667 ... c Min unsat cost LB: 47682 ... c Min unsat cost LB: 47701 ... c Min unsat cost LB: 47703 ... c Min unsat cost LB: 47717 ... c Min unsat cost LB: 47729 ... c Min unsat cost LB: 47730 ... c Min unsat cost LB: 47732 ... c Min unsat cost LB: 47752 ... c Min unsat cost LB: 47808 ... c Min unsat cost LB: 47812 ... c Min unsat cost LB: 47841 ... c Min unsat cost LB: 47845 ... c Min unsat cost LB: 47847 ... c Min unsat cost LB: 47848 ... c Min unsat cost LB: 47849 ... c Min unsat cost LB: 47851 ... c Min unsat cost LB: 47852 ... c Min unsat cost LB: 47853 ... c Min unsat cost LB: 47902 ... c Min unsat cost LB: 47904 ... c Min unsat cost LB: 47908 ... c Min unsat cost LB: 47910 ... c Min unsat cost LB: 47911 ... c Min unsat cost LB: 47916 ... c Min unsat cost LB: 47919 ... c Min unsat cost LB: 47927 ... c Min unsat cost LB: 47932 ... c Min unsat cost LB: 47934 ... c Min unsat cost LB: 47936 ... c Min unsat cost LB: 47938 ... c Min unsat cost LB: 47939 ... c Min unsat cost LB: 47945 ... c Min unsat cost LB: 47951 ... c Min unsat cost LB: 47959 ... c Min unsat cost LB: 47960 ... c Min unsat cost LB: 47961 ... c Min unsat cost LB: 47963 ... c Min unsat cost LB: 47964 ... c Min unsat cost LB: 48007 ... c Min unsat cost LB: 48009 ... c Min unsat cost LB: 48010 ... c Min unsat cost LB: 48011 ... c Min unsat cost LB: 48014 ... c Min unsat cost LB: 48016 ... c Min unsat cost LB: 48023 ... c Min unsat cost LB: 48024 ... c Min unsat cost LB: 48029 ... c Min unsat cost LB: 48033 ... c Min unsat cost LB: 48103 ... c Min unsat cost LB: 48115 ... c Min unsat cost LB: 48282 ... c Min unsat cost LB: 48531 ... c Min unsat cost LB: 48532 ... c Min unsat cost LB: 48533 ... c Min unsat cost LB: 48537 ... c Min unsat cost LB: 48539 ... c Min unsat cost LB: 48568 ... c Min unsat cost LB: 48570 ... c Min unsat cost LB: 48598 ... c Min unsat cost LB: 48626 ... c Min unsat cost LB: 49073 ... c Min unsat cost LB: 49074 ... c Min unsat cost LB: 49076 ... c Min unsat cost LB: 49077 ... c Min unsat cost LB: 49078 ... c Min unsat cost LB: 49079 ... c Min unsat cost LB: 49084 ... c Min unsat cost LB: 49086 ... c Min unsat cost LB: 49087 ... c Min unsat cost LB: 49088 ... c Min unsat cost LB: 49089 ... c Min unsat cost LB: 49090 ... c Min unsat cost LB: 49091 ... c Min unsat cost LB: 49092 ... c Min unsat cost LB: 49097 ... c Min unsat cost LB: 49102 ... c Min unsat cost LB: 49103 ... c Min unsat cost LB: 49104 ... c Min unsat cost LB: 49105 ... c Min unsat cost LB: 49106 ... c Min unsat cost LB: 49108 ... c Min unsat cost LB: 49109 ... c Min unsat cost LB: 49110 ... c Min unsat cost LB: 49111 ... c Min unsat cost LB: 49112 ... c Min unsat cost LB: 49113 ... c Min unsat cost LB: 49114 ... c Min unsat cost LB: 49115 ... c Min unsat cost LB: 49116 ... c Min unsat cost LB: 49127 ... c Min unsat cost LB: 49129 ... c Min unsat cost LB: 49141 ... c Min unsat cost LB: 49143 ... c Min unsat cost LB: 49144 ... c Min unsat cost LB: 49145 ... c Min unsat cost LB: 49146 ... c Min unsat cost LB: 49147 ... c Min unsat cost LB: 49161 ... c Min unsat cost LB: 49162 ... c Min unsat cost LB: 49163 ... c Min unsat cost LB: 49164 ... c Min unsat cost LB: 49269 ... c Min unsat cost LB: 49271 ... c Min unsat cost LB: 49272 ... c Min unsat cost LB: 49273 ... c Min unsat cost LB: 49274 ... c Min unsat cost LB: 49275 ... c Min unsat cost LB: 49276 ... c Min unsat cost LB: 49277 ... c Min unsat cost LB: 49278 ... c Min unsat cost LB: 49279 ... c Min unsat cost LB: 49280 ... c Min unsat cost LB: 49281 ... c Min unsat cost LB: 49284 ... c Min unsat cost LB: 49285 ... c Min unsat cost LB: 49286 ... c Min unsat cost LB: 49287 ... c Min unsat cost LB: 49288 ... c Min unsat cost LB: 49290 ... c Min unsat cost LB: 49291 ... c Min unsat cost LB: 49292 ... c Min unsat cost LB: 49293 ... c Min unsat cost LB: 49294 ... c Min unsat cost LB: 49295 ... c Min unsat cost LB: 49296 ... c Min unsat cost LB: 49297 ... c Min unsat cost LB: 49298 ... c Min unsat cost LB: 49299 ... c Min unsat cost LB: 49300 ... c Min unsat cost LB: 49301 ... c Min unsat cost LB: 49305 ... c Min unsat cost LB: 49306 ... c Min unsat cost LB: 49307 ... c Min unsat cost LB: 49308 ... c Min unsat cost LB: 49309 ... c Min unsat cost LB: 49310 ... c Min unsat cost LB: 49311 ... c Min unsat cost LB: 49312 ... c Min unsat cost LB: 49313 ... c Min unsat cost LB: 49315 ... c Min unsat cost LB: 49316 ... c Min unsat cost LB: 49317 ... c Min unsat cost LB: 49318 ... c Min unsat cost LB: 49319 ... c Min unsat cost LB: 49320 ... c Min unsat cost LB: 49321 ... c Min unsat cost LB: 49322 ... c Min unsat cost LB: 49323 ... c Min unsat cost LB: 49324 ... c Min unsat cost LB: 49325 ... c Min unsat cost LB: 49326 ... c Min unsat cost LB: 49327 ... c Min unsat cost LB: 49328 ... c Min unsat cost LB: 49329 ... c Min unsat cost LB: 49330 ... c Min unsat cost LB: 49331 ... c Min unsat cost LB: 49332 ... c Min unsat cost LB: 49333 ... c Min unsat cost LB: 49334 ... c Min unsat cost LB: 49335 ... c Min unsat cost LB: 49336 ... c Min unsat cost LB: 49337 ... c Min unsat cost LB: 49338 ... c Min unsat cost LB: 49339 ... c Min unsat cost LB: 49340 ... c Min unsat cost LB: 49341 ... c Min unsat cost LB: 49342 ... c Min unsat cost LB: 49344 ... c Min unsat cost LB: 49345 ... c Min unsat cost LB: 49346 ... c Min unsat cost LB: 49347 ... c Min unsat cost LB: 49348 ... c Min unsat cost LB: 49349 ... c Min unsat cost LB: 49350 ... c Min unsat cost LB: 49351 ... c Min unsat cost LB: 49352 ... c Min unsat cost LB: 49353 ... c Min unsat cost LB: 49354 ... c Min unsat cost LB: 49357 ... c Min unsat cost LB: 49359 ... c Min unsat cost LB: 49361 ... c Min unsat cost LB: 49385 ... c Min unsat cost LB: 49395 ... c Min unsat cost LB: 49396 ... c Min unsat cost LB: 49397 ... c Min unsat cost LB: 49398 ... c Min unsat cost LB: 49399 ... c Min unsat cost LB: 49400 ... c Min unsat cost LB: 49401 ... c Min unsat cost LB: 49403 ... c Min unsat cost LB: 49404 ... c Min unsat cost LB: 49405 ... c Min unsat cost LB: 49406 ... c Min unsat cost LB: 49407 ... c Min unsat cost LB: 49412 ... c Min unsat cost LB: 49419 ... c Min unsat cost LB: 49423 ... c Min unsat cost LB: 49463 ... c Min unsat cost LB: 49465 ... c Min unsat cost LB: 49471 ... c Min unsat cost LB: 49474 ... c Min unsat cost LB: 49476 ... c Min unsat cost LB: 49477 ... c Min unsat cost LB: 49478 ... c Min unsat cost LB: 49479 ... c Min unsat cost LB: 49480 ... c Min unsat cost LB: 49481 ... c Min unsat cost LB: 49483 ... c Min unsat cost LB: 49488 ... c Min unsat cost LB: 49489 ... c Min unsat cost LB: 49490 ... c Min unsat cost LB: 49491 ... c Min unsat cost LB: 49492 ... c Min unsat cost LB: 49493 ... c Min unsat cost LB: 49494 ... c Min unsat cost LB: 49495 ... c Min unsat cost LB: 49496 ... c Min unsat cost LB: 49497 ... c Min unsat cost LB: 49498 ... c Min unsat cost LB: 49499 ... c Min unsat cost LB: 49500 ... c Min unsat cost LB: 49501 ... c Min unsat cost LB: 49502 ... c Min unsat cost LB: 49503 ... c Min unsat cost LB: 49504 ... c Min unsat cost LB: 49512 ... c Min unsat cost LB: 49556 ... c Min unsat cost LB: 49642 ... c Min unsat cost LB: 49643 ... c Min unsat cost LB: 49650 ... c Min unsat cost LB: 49651 ... c Min unsat cost LB: 49652 ... c Min unsat cost LB: 49653 ... c Min unsat cost LB: 49654 ... c Min unsat cost LB: 49655 ... c Min unsat cost LB: 49657 ... c Min unsat cost LB: 49658 ... c Min unsat cost LB: 49659 ... c Min unsat cost LB: 49660 ... c Min unsat cost LB: 49661 ... c Min unsat cost LB: 49662 ... c Min unsat cost LB: 49663 ... c Min unsat cost LB: 49664 ... c Min unsat cost LB: 49665 ... c Min unsat cost LB: 49666 ... c Min unsat cost LB: 49667 ... c Min unsat cost LB: 49668 ... c Min unsat cost LB: 49669 ... c Min unsat cost LB: 49670 ... c Min unsat cost LB: 49671 ... c Min unsat cost LB: 49672 ... c Min unsat cost LB: 49673 ... c Min unsat cost LB: 49681 ... c Min unsat cost LB: 49687 ... c Min unsat cost LB: 49688 ... c Min unsat cost LB: 49737 ... c Min unsat cost LB: 49738 ... c Min unsat cost LB: 49739 ... c Min unsat cost LB: 49751 ... c Min unsat cost LB: 49752 ... c Min unsat cost LB: 49753 ... c Min unsat cost LB: 49754 ... c Min unsat cost LB: 49861 ... c Min unsat cost LB: 49933 ... c Min unsat cost LB: 49934 ... c Min unsat cost LB: 49936 ... c Min unsat cost LB: 49989 ... c Min unsat cost LB: 49990 ... c Min unsat cost LB: 50005 ... c Min unsat cost LB: 50015 ... c Min unsat cost LB: 50035 ... c Min unsat cost LB: 50146 ... c Min unsat cost LB: 50147 ... c Min unsat cost LB: 50206 ... c Min unsat cost LB: 50207 ... c Min unsat cost LB: 50208 ... c Min unsat cost LB: 50209 ... c Min unsat cost LB: 50244 ... c Min unsat cost LB: 50267 ... c Min unsat cost LB: 50268 ... c Min unsat cost LB: 50272 ... c Min unsat cost LB: 50275 ... c Min unsat cost LB: 50314 ... c Min unsat cost LB: 50315 ... c Min unsat cost LB: 50316 ... c Min unsat cost LB: 50317 ... c Min unsat cost LB: 50318 ... c Min unsat cost LB: 50319 ... c Min unsat cost LB: 50320 ... c Min unsat cost LB: 50321 ... c Min unsat cost LB: 50322 ... c Min unsat cost LB: 50323 ... c Min unsat cost LB: 50332 ... c Min unsat cost LB: 50336 ... c Min unsat cost LB: 50339 ... c Min unsat cost LB: 50341 ... c Min unsat cost LB: 50342 ... c Min unsat cost LB: 50343 ... c Min unsat cost LB: 50344 ... c Min unsat cost LB: 50346 ... c Min unsat cost LB: 50347 ... c Min unsat cost LB: 50348 ... c Min unsat cost LB: 50349 ... c Min unsat cost LB: 50350 ... c Min unsat cost LB: 50351 ... c Min unsat cost LB: 50352 ... c Min unsat cost LB: 50353 ... c Min unsat cost LB: 50354 ... c Min unsat cost LB: 50355 ... c Min unsat cost LB: 50356 ... c Min unsat cost LB: 50357 ... c Min unsat cost LB: 50358 ... c Min unsat cost LB: 50359 ... c Min unsat cost LB: 50360 ... c Min unsat cost LB: 50361 ... c Min unsat cost LB: 50362 ... c Min unsat cost LB: 50363 ... c Min unsat cost LB: 50364 ... c Min unsat cost LB: 50365 ... c Min unsat cost LB: 50366 ... c Min unsat cost LB: 50367 ... c Min unsat cost LB: 50368 ... c Min unsat cost LB: 50369 ... c Min unsat cost LB: 50370 ... c Min unsat cost LB: 50371 ... c Min unsat cost LB: 50372 ... c Min unsat cost LB: 50373 ... c Min unsat cost LB: 50374 ... c Min unsat cost LB: 50375 ... c Min unsat cost LB: 50376 ... c Min unsat cost LB: 50377 ... c Min unsat cost LB: 50378 ... c Min unsat cost LB: 50379 ... c Min unsat cost LB: 50381 ... c Min unsat cost LB: 50382 ... c Min unsat cost LB: 50383 ... c Min unsat cost LB: 50384 ... c Min unsat cost LB: 50385 ... c Min unsat cost LB: 50386 ... c Min unsat cost LB: 50387 ... c Min unsat cost LB: 50388 ... c Min unsat cost LB: 50389 ... c Min unsat cost LB: 50390 ... c Min unsat cost LB: 50392 ... c Min unsat cost LB: 50393 ... c Min unsat cost LB: 50394 ... c Min unsat cost LB: 50395 ... c Min unsat cost LB: 50398 ... c Min unsat cost LB: 50399 ... c Min unsat cost LB: 50400 ... c Min unsat cost LB: 50402 ... c Min unsat cost LB: 50403 ... c Min unsat cost LB: 50404 ... c Min unsat cost LB: 50405 ... c Min unsat cost LB: 50406 ... c Min unsat cost LB: 50407 ... c Min unsat cost LB: 50408 ... c Min unsat cost LB: 50409 ... c Min unsat cost LB: 50410 ... c Min unsat cost LB: 50411 ... c Min unsat cost LB: 50413 ... c Min unsat cost LB: 50414 ... c Min unsat cost LB: 50415 ... c Min unsat cost LB: 50416 ... c Min unsat cost LB: 50417 ... c Min unsat cost LB: 50418 ... c Min unsat cost LB: 50419 ... c Min unsat cost LB: 50420 ... c Min unsat cost LB: 50421 ... c Min unsat cost LB: 50435 ... c Min unsat cost LB: 50446 ... c Min unsat cost LB: 50448 ... c Min unsat cost LB: 50449 ... c Min unsat cost LB: 50489 ... c Min unsat cost LB: 50498 ... c Min unsat cost LB: 50499 ... c Min unsat cost LB: 50500 ... c Min unsat cost LB: 50501 ... c Min unsat cost LB: 50502 ... c Min unsat cost LB: 50503 ... c Min unsat cost LB: 50504 ... c Min unsat cost LB: 50507 ... c Min unsat cost LB: 50508 ... c Min unsat cost LB: 50509 ... c Min unsat cost LB: 50510 ... c Min unsat cost LB: 50511 ... c Min unsat cost LB: 50513 ... c Min unsat cost LB: 50514 ... c Min unsat cost LB: 50515 ... c Min unsat cost LB: 50520 ... c Min unsat cost LB: 50521 ... c Min unsat cost LB: 50522 ... c Min unsat cost LB: 50523 ... c Min unsat cost LB: 50524 ... c Min unsat cost LB: 50525 ... c Min unsat cost LB: 50526 ... c Min unsat cost LB: 50527 ... c Min unsat cost LB: 50530 ... c Min unsat cost LB: 50531 ... c Min unsat cost LB: 50532 ... c Min unsat cost LB: 50533 ... c Min unsat cost LB: 50534 ... c Min unsat cost LB: 50535 ... c Min unsat cost LB: 50536 ... c Min unsat cost LB: 50537 ... c Min unsat cost LB: 50538 ... c Min unsat cost LB: 50539 ... c Min unsat cost LB: 50540 ... c Min unsat cost LB: 50541 ... c Min unsat cost LB: 50542 ... c Min unsat cost LB: 50543 ... c Min unsat cost LB: 50544 ... c Min unsat cost LB: 50545 ... c Min unsat cost LB: 50546 ... c Min unsat cost LB: 50547 ... c Min unsat cost LB: 50548 ... c Min unsat cost LB: 50549 ... c Min unsat cost LB: 50550 ... c Min unsat cost LB: 50551 ... c Min unsat cost LB: 50552 ... c Min unsat cost LB: 50553 ... c Min unsat cost LB: 50555 ... c Min unsat cost LB: 50556 ... c Min unsat cost LB: 50558 ... c Min unsat cost LB: 50559 ... c Min unsat cost LB: 50560 ... c Min unsat cost LB: 50561 ... c Min unsat cost LB: 50562 ... c Min unsat cost LB: 50563 ... c Min unsat cost LB: 50564 ... c Min unsat cost LB: 50565 ... c Min unsat cost LB: 50566 ... c Min unsat cost LB: 50567 ... c Min unsat cost LB: 50568 ... c Min unsat cost LB: 50569 ... c Min unsat cost LB: 50570 ... c Min unsat cost LB: 50571 ... c Min unsat cost LB: 50572 ... c Min unsat cost LB: 50573 ... c Min unsat cost LB: 50574 ... c Min unsat cost LB: 50575 ... c Min unsat cost LB: 50576 ... c Min unsat cost LB: 50577 ... c Min unsat cost LB: 50578 ... c Min unsat cost LB: 50579 ... c Min unsat cost LB: 50591 ... c Min unsat cost LB: 50592 ... c Min unsat cost LB: 50593 ... c Min unsat cost LB: 50594 ... c Min unsat cost LB: 50595 ... c Min unsat cost LB: 50596 ... c Min unsat cost LB: 50597 ... c Min unsat cost LB: 50598 ... c Min unsat cost LB: 50599 ... c Min unsat cost LB: 50600 ... c Min unsat cost LB: 50601 ... c Min unsat cost LB: 50602 ... c Min unsat cost LB: 50603 ... c Min unsat cost LB: 50604 ... c Min unsat cost LB: 50605 ... c Min unsat cost LB: 50606 ... c Min unsat cost LB: 50607 ... c Min unsat cost LB: 50608 ... c Min unsat cost LB: 50609 ... c Min unsat cost LB: 50610 ... c Min unsat cost LB: 50611 ... c Min unsat cost LB: 50612 ... c Min unsat cost LB: 50613 ... c Min unsat cost LB: 50617 ... c Min unsat cost LB: 50618 ... c Min unsat cost LB: 50619 ... c Min unsat cost LB: 50620 ... c Min unsat cost LB: 50621 ... c Min unsat cost LB: 50623 ... c Min unsat cost LB: 50626 ... c Min unsat cost LB: 50627 ... c Min unsat cost LB: 50628 ... c Min unsat cost LB: 50629 ... c Min unsat cost LB: 50630 ... c Min unsat cost LB: 50631 ... c Min unsat cost LB: 50639 ... c Min unsat cost LB: 50643 ... c Min unsat cost LB: 50644 ... c Min unsat cost LB: 50645 ... c Min unsat cost LB: 50646 ... c Min unsat cost LB: 50647 ... c Min unsat cost LB: 50648 ... c Min unsat cost LB: 50649 ... c Min unsat cost LB: 50650 ... c Min unsat cost LB: 50651 ... c Min unsat cost LB: 50652 ... c Min unsat cost LB: 50653 ... c Min unsat cost LB: 50655 ... c Min unsat cost LB: 50656 ... c Min unsat cost LB: 50657 ... c Min unsat cost LB: 50658 ... c Min unsat cost LB: 50659 ... c Min unsat cost LB: 50660 ... c Min unsat cost LB: 50661 ... c Min unsat cost LB: 50662 ... c Min unsat cost LB: 50663 ... c Min unsat cost LB: 50664 ... c Min unsat cost LB: 50665 ... c Min unsat cost LB: 50666 ... c Min unsat cost LB: 50667 ... c Min unsat cost LB: 50668 ... c Min unsat cost LB: 50669 ... c Min unsat cost LB: 50670 ... c Min unsat cost LB: 50671 ... c Min unsat cost LB: 50672 ... c Min unsat cost LB: 50673 ... c Min unsat cost LB: 50674 ... c Min unsat cost LB: 50675 ... c Min unsat cost LB: 50676 ... c Min unsat cost LB: 50677 ... c Min unsat cost LB: 50678 ... c Min unsat cost LB: 50681 ... c Min unsat cost LB: 50682 ... c Min unsat cost LB: 50683 ... c Min unsat cost LB: 50684 ... c Min unsat cost LB: 50685 ... c Min unsat cost LB: 50690 ... c Min unsat cost LB: 50694 ... c Min unsat cost LB: 50696 ... c Min unsat cost LB: 50698 ... c Min unsat cost LB: 50699 ... c Min unsat cost LB: 50700 ... c Min unsat cost LB: 50701 ... c Min unsat cost LB: 50702 ... c Min unsat cost LB: 50703 ... c Min unsat cost LB: 50704 ... c Min unsat cost LB: 50705 ... c Min unsat cost LB: 50706 ... c Min unsat cost LB: 50707 ... c Min unsat cost LB: 50708 ... c Min unsat cost LB: 50709 ... c Min unsat cost LB: 50710 ... c Min unsat cost LB: 50711 ... c Min unsat cost LB: 50712 ... c Min unsat cost LB: 50713 ... c Min unsat cost LB: 50714 ... c Min unsat cost LB: 50715 ... c Min unsat cost LB: 50716 ... c Min unsat cost LB: 50717 ... c Min unsat cost LB: 50718 ... c Min unsat cost LB: 50719 ... c Min unsat cost LB: 50720 ... c Min unsat cost LB: 50721 ... c Min unsat cost LB: 50722 ... c Min unsat cost LB: 50723 ... c Min unsat cost LB: 50724 ... c Min unsat cost LB: 50725 ... c Min unsat cost LB: 50726 ... c Min unsat cost LB: 50727 ... c Min unsat cost LB: 50728 ... c Min unsat cost LB: 50729 ... c Min unsat cost LB: 50730 ... c Min unsat cost LB: 50731 ... c Min unsat cost LB: 50732 ... c Min unsat cost LB: 50733 ... c Min unsat cost LB: 50734 ... c Min unsat cost LB: 50735 ... c Min unsat cost LB: 50736 ... c Min unsat cost LB: 50737 ... c Min unsat cost LB: 50738 ... c Min unsat cost LB: 50739 ... c Min unsat cost LB: 50740 ... c Min unsat cost LB: 50741 ... c Min unsat cost LB: 50742 ... c Min unsat cost LB: 50745 ... c Min unsat cost LB: 50746 ... c Min unsat cost LB: 50747 ... c Min unsat cost LB: 50748 ... c Min unsat cost LB: 50749 ... c Min unsat cost LB: 50750 ... c Min unsat cost LB: 50751 ... c Min unsat cost LB: 50752 ... c Min unsat cost LB: 50753 ... c Min unsat cost LB: 50754 ... c Min unsat cost LB: 50755 ... c Min unsat cost LB: 50756 ... c Min unsat cost LB: 50757 ... c Min unsat cost LB: 50758 ... c Min unsat cost LB: 50759 ... c Min unsat cost LB: 50760 ... c Min unsat cost LB: 50761 ... c Min unsat cost LB: 50762 ... c Min unsat cost LB: 50763 ... c Min unsat cost LB: 50764 ... c Min unsat cost LB: 50765 ... c Min unsat cost LB: 50766 ... c Min unsat cost LB: 50767 ... c Min unsat cost LB: 50768 ... c Min unsat cost LB: 50769 ... c Min unsat cost LB: 50770 ... c Min unsat cost LB: 50771 ... c Min unsat cost LB: 50772 ... c Min unsat cost LB: 50773 ... c Min unsat cost LB: 50774 ... c Min unsat cost LB: 50775 ... c Min unsat cost LB: 50776 ... c Min unsat cost LB: 50777 ... c Min unsat cost LB: 50778 ... c Min unsat cost LB: 50779 ... c Min unsat cost LB: 50780 ... c Min unsat cost LB: 50781 ... c Min unsat cost LB: 50782 ... c Min unsat cost LB: 50783 ... c Min unsat cost LB: 50784 ... c Min unsat cost LB: 50785 ... c Min unsat cost LB: 50786 ... c Min unsat cost LB: 50787 ... c Min unsat cost LB: 50789 ... c Min unsat cost LB: 50790 ... c Min unsat cost LB: 50793 ... c Min unsat cost LB: 50794 ... c Min unsat cost LB: 50795 ... c Min unsat cost LB: 50800 ... c Min unsat cost LB: 50806 ... c Min unsat cost LB: 50807 ... c Min unsat cost LB: 50808 ... c Min unsat cost LB: 50809 ... c Min unsat cost LB: 50810 ... c Min unsat cost LB: 50811 ... c Min unsat cost LB: 50812 ... c Min unsat cost LB: 50813 ... c Min unsat cost LB: 50814 ... c Min unsat cost LB: 50815 ... c Min unsat cost LB: 50816 ... c Min unsat cost LB: 50817 ... c Min unsat cost LB: 50818 ... c Min unsat cost LB: 50819 ... c Min unsat cost LB: 50820 ... c Min unsat cost LB: 50821 ... c Min unsat cost LB: 50822 ... c Min unsat cost LB: 50823 ... c Min unsat cost LB: 50824 ... c Min unsat cost LB: 50825 ... c Min unsat cost LB: 50826 ... c Min unsat cost LB: 50827 ... c Min unsat cost LB: 50828 ... c Min unsat cost LB: 50829 ... c Min unsat cost LB: 50830 ... c Min unsat cost LB: 50831 ... c Min unsat cost LB: 50832 ... c Min unsat cost LB: 50833 ... c Min unsat cost LB: 50834 ... c Min unsat cost LB: 50835 ... c Min unsat cost LB: 50836 ... c Min unsat cost LB: 50837 ... c Min unsat cost LB: 50842 ... c Min unsat cost LB: 50843 ... c Min unsat cost LB: 50844 ... c Min unsat cost LB: 50854 ... c Min unsat cost LB: 50855 ... c Min unsat cost LB: 50856 ... c Min unsat cost LB: 50857 ... c Min unsat cost LB: 50858 ... c Min unsat cost LB: 50859 ... c Min unsat cost LB: 50860 ... c Min unsat cost LB: 50861 ... c Min unsat cost LB: 50862 ... c Min unsat cost LB: 50863 ... c Min unsat cost LB: 50864 ... c Min unsat cost LB: 50865 ... c Min unsat cost LB: 50866 ... c Min unsat cost LB: 50867 ... c Min unsat cost LB: 50868 ... c Min unsat cost LB: 50869 ... c Min unsat cost LB: 50870 ... c Min unsat cost LB: 50871 ... c Min unsat cost LB: 50872 ... c Min unsat cost LB: 50873 ... c Min unsat cost LB: 50874 ... c Min unsat cost LB: 50875 ... c Min unsat cost LB: 50876 ... c Min unsat cost LB: 50877 ... c Min unsat cost LB: 50878 ... c Min unsat cost LB: 50879 ... c Min unsat cost LB: 50894 ... c Min unsat cost LB: 50895 ... c Min unsat cost LB: 50896 ... c Min unsat cost LB: 50897 ... c Min unsat cost LB: 50898 ... c Min unsat cost LB: 50899 ... c Min unsat cost LB: 50900 ... c Min unsat cost LB: 50903 ... c Min unsat cost LB: 50904 ... c Min unsat cost LB: 50908 ... c Min unsat cost LB: 50913 ... c Min unsat cost LB: 50914 ... c Min unsat cost LB: 50915 ... c Min unsat cost LB: 50916 ... c Min unsat cost LB: 50917 ... c Min unsat cost LB: 50918 ... c Min unsat cost LB: 50919 ... c Min unsat cost LB: 50920 ... c Min unsat cost LB: 50921 ... c Min unsat cost LB: 50922 ... c Min unsat cost LB: 50924 ... c Min unsat cost LB: 50926 ... c Min unsat cost LB: 50927 ... c Min unsat cost LB: 50928 ... c Min unsat cost LB: 50929 ... c Min unsat cost LB: 50930 ... c Min unsat cost LB: 50931 ... c Min unsat cost LB: 50932 ... c Min unsat cost LB: 50933 ... c Min unsat cost LB: 50936 ... c Min unsat cost LB: 50937 ... c Min unsat cost LB:Killed 1812.616u 7.125s 30:22.18 99.8% 0+0k 0+0io 0pf+0w