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_SCHEDULING_cat_sched_60_130_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_0001.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_SCHEDULING/cat_sched_60_130_0001.txt.wcnf *** c c Min unsat cost LB: 480 ... c Min unsat cost LB: 824 ... c Min unsat cost LB: 1168 ... c Min unsat cost LB: 1648 ... c Min unsat cost LB: 2128 ... c Min unsat cost LB: 2608 ... c Min unsat cost LB: 3088 ... c Min unsat cost LB: 3568 ... c Min unsat cost LB: 3882 ... c Min unsat cost LB: 4362 ... c Min unsat cost LB: 4392 ... c Min unsat cost LB: 4676 ... c Min unsat cost LB: 5237 ... c Min unsat cost LB: 5551 ... c Min unsat cost LB: 6592 ... c Min unsat cost LB: 7072 ... c Min unsat cost LB: 7386 ... c Min unsat cost LB: 8427 ... c Min unsat cost LB: 8487 ... c Min unsat cost LB: 8741 ... c Min unsat cost LB: 9055 ... c Min unsat cost LB: 9145 ... c Min unsat cost LB: 9459 ... c Min unsat cost LB: 9738 ... c Min unsat cost LB: 10779 ... c Min unsat cost LB: 11033 ... c Min unsat cost LB: 11058 ... c Min unsat cost LB: 11337 ... c Min unsat cost LB: 11651 ... c Min unsat cost LB: 11930 ... c Min unsat cost LB: 12244 ... c Min unsat cost LB: 12284 ... c Min unsat cost LB: 12588 ... c Min unsat cost LB: 12628 ... c Min unsat cost LB: 12932 ... c Min unsat cost LB: 13276 ... c Min unsat cost LB: 13555 ... c Min unsat cost LB: 13595 ... c Min unsat cost LB: 13660 ... c Min unsat cost LB: 13899 ... c Min unsat cost LB: 14333 ... c Min unsat cost LB: 14438 ... c Min unsat cost LB: 14677 ... c Min unsat cost LB: 15111 ... c Min unsat cost LB: 15374 ... c Min unsat cost LB: 15455 ... c Min unsat cost LB: 15889 ... c Min unsat cost LB: 15994 ... c Min unsat cost LB: 16233 ... c Min unsat cost LB: 16667 ... c Min unsat cost LB: 16759 ... c Min unsat cost LB: 17011 ... c Min unsat cost LB: 17212 ... c Min unsat cost LB: 17646 ... c Min unsat cost LB: 17955 ... c Min unsat cost LB: 18060 ... c Min unsat cost LB: 18299 ... c Min unsat cost LB: 18597 ... c Min unsat cost LB: 18733 ... c Min unsat cost LB: 19077 ... c Min unsat cost LB: 19391 ... c Min unsat cost LB: 19825 ... c Min unsat cost LB: 19930 ... c Min unsat cost LB: 20364 ... c Min unsat cost LB: 20491 ... c Min unsat cost LB: 20708 ... c Min unsat cost LB: 21142 ... c Min unsat cost LB: 21486 ... c Min unsat cost LB: 21830 ... c Min unsat cost LB: 21876 ... c Min unsat cost LB: 22264 ... c Min unsat cost LB: 22608 ... c Min unsat cost LB: 23042 ... c Min unsat cost LB: 23386 ... c Min unsat cost LB: 23820 ... c Min unsat cost LB: 24164 ... c Min unsat cost LB: 24598 ... c Min unsat cost LB: 24942 ... c Min unsat cost LB: 25078 ... c Min unsat cost LB: 25297 ... c Min unsat cost LB: 25641 ... c Min unsat cost LB: 25661 ... c Min unsat cost LB: 26005 ... c Min unsat cost LB: 26439 ... c Min unsat cost LB: 26783 ... c Min unsat cost LB: 27127 ... c Min unsat cost LB: 27217 ... c Min unsat cost LB: 27561 ... c Min unsat cost LB: 27651 ... c Min unsat cost LB: 27995 ... c Min unsat cost LB: 29185 ... c Min unsat cost LB: 29665 ... c Min unsat cost LB: 29755 ... c Min unsat cost LB: 30189 ... c Min unsat cost LB: 30235 ... c Min unsat cost LB: 30386 ... c Min unsat cost LB: 30715 ... c Min unsat cost LB: 30805 ... c Min unsat cost LB: 31059 ... c Min unsat cost LB: 31403 ... c Min unsat cost LB: 31443 ... c Min unsat cost LB: 31747 ... c Min unsat cost LB: 31787 ... c Min unsat cost LB: 31852 ... c Min unsat cost LB: 31955 ... c Min unsat cost LB: 32060 ... c Min unsat cost LB: 32299 ... c Min unsat cost LB: 32475 ... c Min unsat cost LB: 32643 ... c Min unsat cost LB: 32698 ... c Min unsat cost LB: 32714 ... c Min unsat cost LB: 32819 ... c Min unsat cost LB: 32987 ... c Min unsat cost LB: 33331 ... c Min unsat cost LB: 33402 ... c Min unsat cost LB: 33570 ... c Min unsat cost LB: 33675 ... c Min unsat cost LB: 33746 ... c Min unsat cost LB: 33801 ... c Min unsat cost LB: 34115 ... c Min unsat cost LB: 34322 ... c Min unsat cost LB: 34393 ... c Min unsat cost LB: 34409 ... c Min unsat cost LB: 34540 ... c Min unsat cost LB: 34595 ... c Min unsat cost LB: 34632 ... c Min unsat cost LB: 34737 ... c Min unsat cost LB: 34808 ... c Min unsat cost LB: 34884 ... c Min unsat cost LB: 35228 ... c Min unsat cost LB: 35318 ... c Min unsat cost LB: 35347 ... c Min unsat cost LB: 35515 ... c Min unsat cost LB: 35829 ... c Min unsat cost LB: 35886 ... c Min unsat cost LB: 35963 ... c Min unsat cost LB: 35988 ... c Min unsat cost LB: 36113 ... c Min unsat cost LB: 36230 ... c Min unsat cost LB: 36246 ... c Min unsat cost LB: 36306 ... c Min unsat cost LB: 36317 ... c Min unsat cost LB: 36377 ... c Min unsat cost LB: 36448 ... c Min unsat cost LB: 36482 ... c Min unsat cost LB: 36537 ... c Min unsat cost LB: 36574 ... c Min unsat cost LB: 36604 ... c Min unsat cost LB: 36631 ... c Min unsat cost LB: 36799 ... c Min unsat cost LB: 36828 ... c Min unsat cost LB: 36861 ... c Min unsat cost LB: 36864 ... c Min unsat cost LB: 37115 ... c Min unsat cost LB: 37143 ... c Min unsat cost LB: 37248 ... c Min unsat cost LB: 37260 ... c Min unsat cost LB: 37382 ... c Min unsat cost LB: 37408 ... c Min unsat cost LB: 37447 ... c Min unsat cost LB: 37449 ... c Min unsat cost LB: 37671 ... c Min unsat cost LB: 37700 ... c Min unsat cost LB: 37752 ... c Min unsat cost LB: 38066 ... c Min unsat cost LB: 38380 ... c Min unsat cost LB: 38659 ... c Min unsat cost LB: 38741 ... c Min unsat cost LB: 38749 ... c Min unsat cost LB: 38831 ... c Min unsat cost LB: 38871 ... c Min unsat cost LB: 38883 ... c Min unsat cost LB: 38990 ... c Min unsat cost LB: 38997 ... c Min unsat cost LB: 39251 ... c Min unsat cost LB: 39371 ... c Min unsat cost LB: 39678 ... c Min unsat cost LB: 39858 ... c Min unsat cost LB: 39966 ... c Min unsat cost LB: 40148 ... c Min unsat cost LB: 40349 ... c Min unsat cost LB: 40382 ... c Min unsat cost LB: 40412 ... c Min unsat cost LB: 40438 ... c Min unsat cost LB: 40465 ... c Min unsat cost LB: 40500 ... c Min unsat cost LB: 40525 ... c Min unsat cost LB: 40536 ... c Min unsat cost LB: 40556 ... c Min unsat cost LB: 40789 ... c Min unsat cost LB: 40829 ... c Min unsat cost LB: 40970 ... c Min unsat cost LB: 41016 ... c Min unsat cost LB: 41081 ... c Min unsat cost LB: 41155 ... c Min unsat cost LB: 41263 ... c Min unsat cost LB: 41450 ... c Min unsat cost LB: 41479 ... c Min unsat cost LB: 41495 ... c Min unsat cost LB: 41496 ... c Min unsat cost LB: 41540 ... c Min unsat cost LB: 41573 ... c Min unsat cost LB: 41628 ... c Min unsat cost LB: 41642 ... c Min unsat cost LB: 41644 ... c Min unsat cost LB: 41930 ... c Min unsat cost LB: 41942 ... c Min unsat cost LB: 42020 ... c Min unsat cost LB: 42041 ... c Min unsat cost LB: 42093 ... c Min unsat cost LB: 42112 ... c Min unsat cost LB: 42139 ... c Min unsat cost LB: 42147 ... c Min unsat cost LB: 42173 ... c Min unsat cost LB: 42214 ... c Min unsat cost LB: 42218 ... c Min unsat cost LB: 42420 ... c Min unsat cost LB: 42440 ... c Min unsat cost LB: 42562 ... c Min unsat cost LB: 42566 ... c Min unsat cost LB: 42658 ... c Min unsat cost LB: 42687 ... c Min unsat cost LB: 43001 ... c Min unsat cost LB: 43031 ... c Min unsat cost LB: 43051 ... c Min unsat cost LB: 43098 ... c Min unsat cost LB: 43174 ... c Min unsat cost LB: 43180 ... c Min unsat cost LB: 43187 ... c Min unsat cost LB: 43274 ... c Min unsat cost LB: 43326 ... c Min unsat cost LB: 43387 ... c Min unsat cost LB: 43388 ... c Min unsat cost LB: 43452 ... c Min unsat cost LB: 43492 ... c Min unsat cost LB: 43555 ... c Min unsat cost LB: 43579 ... c Min unsat cost LB: 43728 ... c Min unsat cost LB: 43732 ... c Min unsat cost LB: 43818 ... c Min unsat cost LB: 43827 ... c Min unsat cost LB: 43908 ... c Min unsat cost LB: 44070 ... c Min unsat cost LB: 44199 ... c Min unsat cost LB: 44281 ... c Min unsat cost LB: 44289 ... c Min unsat cost LB: 44361 ... c Min unsat cost LB: 44365 ... c Min unsat cost LB: 44395 ... c Min unsat cost LB: 44423 ... c Min unsat cost LB: 44452 ... c Min unsat cost LB: 44453 ... c Min unsat cost LB: 44462 ... c Min unsat cost LB: 44479 ... c Min unsat cost LB: 44559 ... c Min unsat cost LB: 44685 ... c Min unsat cost LB: 44733 ... c Min unsat cost LB: 44735 ... c Min unsat cost LB: 44959 ... c Min unsat cost LB: 44965 ... c Min unsat cost LB: 45145 ... c Min unsat cost LB: 45246 ... c Min unsat cost LB: 45276 ... c Min unsat cost LB: 45300 ... c Min unsat cost LB: 45340 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 45422 ... c Min unsat cost LB: 45434 ... c Min unsat cost LB: 45456 ... c Min unsat cost LB: 45542 ... c Min unsat cost LB: 45618 ... c Min unsat cost LB: 45657 ... c Min unsat cost LB: 45703 ... c Min unsat cost LB: 45731 ... c Min unsat cost LB: 45828 ... c Min unsat cost LB: 45868 ... c Min unsat cost LB: 45893 ... c Min unsat cost LB: 45956 ... c Min unsat cost LB: 45983 ... c Min unsat cost LB: 45998 ... c Min unsat cost LB: 46016 ... c Min unsat cost LB: 46028 ... c Min unsat cost LB: 46041 ... c Min unsat cost LB: 46091 ... c Min unsat cost LB: 46161 ... c Min unsat cost LB: 46166 ... c Min unsat cost LB: 46169 ... c Min unsat cost LB: 46363 ... c Min unsat cost LB: 46400 ... c Min unsat cost LB: 46450 ... c Min unsat cost LB: 46487 ... c Min unsat cost LB: 46502 ... c Min unsat cost LB: 46592 ... c Min unsat cost LB: 46614 ... c Min unsat cost LB: 46709 ... c Min unsat cost LB: 46801 ... c Min unsat cost LB: 46805 ... c Min unsat cost LB: 46817 ... c Min unsat cost LB: 46829 ... c Min unsat cost LB: 46840 ... c Min unsat cost LB: 46846 ... c Min unsat cost LB: 46866 ... c Min unsat cost LB: 46901 ... c Min unsat cost LB: 46912 ... c Min unsat cost LB: 46923 ... c Min unsat cost LB: 46937 ... c Min unsat cost LB: 46958 ... c Min unsat cost LB: 46960 ... c Min unsat cost LB: 46977 ... c Min unsat cost LB: 47040 ... c Min unsat cost LB: 47042 ... c Min unsat cost LB: 47067 ... c Min unsat cost LB: 47153 ... c Min unsat cost LB: 47220 ... c Min unsat cost LB: 47222 ... c Min unsat cost LB: 47231 ... c Min unsat cost LB: 47245 ... c Min unsat cost LB: 47319 ... c Min unsat cost LB: 47327 ... c Min unsat cost LB: 47331 ... c Min unsat cost LB: 47332 ... c Min unsat cost LB: 47335 ... c Min unsat cost LB: 47349 ... c Min unsat cost LB: 47353 ... c Min unsat cost LB: 47373 ... c Min unsat cost LB: 47377 ... c Min unsat cost LB: 47378 ... c Min unsat cost LB: 47379 ... c Min unsat cost LB: 47383 ... c Min unsat cost LB: 47398 ... c Min unsat cost LB: 47402 ... c Min unsat cost LB: 47406 ... c Min unsat cost LB: 47408 ... c Min unsat cost LB: 47409 ... c Min unsat cost LB: 47410 ... c Min unsat cost LB: 47415 ... c Min unsat cost LB: 47421 ... c Min unsat cost LB: 47438 ... c Min unsat cost LB: 47444 ... c Min unsat cost LB: 47445 ... c Min unsat cost LB: 47452 ... c Min unsat cost LB: 47457 ... c Min unsat cost LB: 47468 ... c Min unsat cost LB: 47520 ... c Min unsat cost LB: 47521 ... c Min unsat cost LB: 47534 ... c Min unsat cost LB: 47538 ... c Min unsat cost LB: 47546 ... c Min unsat cost LB: 47554 ... c Min unsat cost LB: 47555 ... c Min unsat cost LB: 47557 ... c Min unsat cost LB: 47560 ... c Min unsat cost LB: 47564 ... c Min unsat cost LB: 47576 ... c Min unsat cost LB: 47579 ... c Min unsat cost LB: 47589 ... c Min unsat cost LB: 47599 ... c Min unsat cost LB: 47604 ... c Min unsat cost LB: 47616 ... c Min unsat cost LB: 47637 ... c Min unsat cost LB: 47648 ... c Min unsat cost LB: 47660 ... c Min unsat cost LB: 47693 ... c Min unsat cost LB: 47704 ... c Min unsat cost LB: 47718 ... c Min unsat cost LB: 47720 ... c Min unsat cost LB: 47748 ... c Min unsat cost LB: 47750 ... c Min unsat cost LB: 47752 ... c Min unsat cost LB: 47764 ... c Min unsat cost LB: 47865 ... c Min unsat cost LB: 47867 ... c Min unsat cost LB: 47869 ... c Min unsat cost LB: 47871 ... c Min unsat cost LB: 47873 ... c Min unsat cost LB: 47877 ... c Min unsat cost LB: 47878 ... c Min unsat cost LB: 47879 ... c Min unsat cost LB: 47880 ... c Min unsat cost LB: 47881 ... c Min unsat cost LB: 47882 ... c Min unsat cost LB: 47883 ... c Min unsat cost LB: 47884 ... c Min unsat cost LB: 47887 ... c Min unsat cost LB: 47888 ... c Min unsat cost LB: 47889 ... c Min unsat cost LB: 47890 ... c Min unsat cost LB: 47891 ... c Min unsat cost LB: 47892 ... c Min unsat cost LB: 47893 ... c Min unsat cost LB: 47894 ... c Min unsat cost LB: 47895 ... c Min unsat cost LB: 47897 ... c Min unsat cost LB: 47898 ... c Min unsat cost LB: 47899 ... c Min unsat cost LB: 47900 ... c Min unsat cost LB: 47901 ... c Min unsat cost LB: 47902 ... c Min unsat cost LB: 47903 ... c Min unsat cost LB: 47904 ... c Min unsat cost LB: 47905 ... c Min unsat cost LB: 47906 ... c Min unsat cost LB: 47907 ... c Min unsat cost LB: 47908 ... c Min unsat cost LB: 47909 ... c Min unsat cost LB: 47911 ... c Min unsat cost LB: 47912 ... c Min unsat cost LB: 47915 ... c Min unsat cost LB: 47916 ... c Min unsat cost LB: 47917 ... c Min unsat cost LB: 47919 ... c Min unsat cost LB: 47920 ... c Min unsat cost LB: 47922 ... c Min unsat cost LB: 47924 ... c Min unsat cost LB: 47927 ... c Min unsat cost LB: 47929 ... c Min unsat cost LB: 47930 ... c Min unsat cost LB: 47931 ... c Min unsat cost LB: 47932 ... c Min unsat cost LB: 47933 ... c Min unsat cost LB: 47934 ... c Min unsat cost LB: 47939 ... c Min unsat cost LB: 47948 ... c Min unsat cost LB: 47949 ... c Min unsat cost LB: 47950 ... c Min unsat cost LB: 47951 ... c Min unsat cost LB: 47954 ... c Min unsat cost LB: 47957 ... c Min unsat cost LB: 47959 ... c Min unsat cost LB: 47979 ... c Min unsat cost LB: 47989 ... c Min unsat cost LB: 47990 ... c Min unsat cost LB: 47991 ... c Min unsat cost LB: 47992 ... c Min unsat cost LB: 47993 ... c Min unsat cost LB: 47994 ... c Min unsat cost LB: 47995 ... c Min unsat cost LB: 47996 ... c Min unsat cost LB: 47997 ... c Min unsat cost LB: 47999 ... c Min unsat cost LB: 48000 ... c Min unsat cost LB: 48001 ... c Min unsat cost LB: 48004 ... c Min unsat cost LB: 48014 ... c Min unsat cost LB: 48159 ... c Min unsat cost LB: 48160 ... c Min unsat cost LB: 48174 ... c Min unsat cost LB: 48179 ... c Min unsat cost LB: 48199 ... c Min unsat cost LB: 48232 ... c Min unsat cost LB: 48233 ... c Min unsat cost LB: 48234 ... c Min unsat cost LB: 48235 ... c Min unsat cost LB: 48237 ... c Min unsat cost LB: 48238 ... c Min unsat cost LB: 48239 ... c Min unsat cost LB: 48240 ... c Min unsat cost LB: 48260 ... c Min unsat cost LB: 48262 ... c Min unsat cost LB: 48265 ... c Min unsat cost LB: 48267 ... c Min unsat cost LB: 48270 ... c Min unsat cost LB: 48288 ... c Min unsat cost LB: 48290 ... c Min unsat cost LB: 48353 ... c Min unsat cost LB: 48357 ... c Min unsat cost LB: 48358 ... c Min unsat cost LB: 48360 ... c Min unsat cost LB: 48361 ... c Min unsat cost LB: 48362 ... c Min unsat cost LB: 48366 ... c Min unsat cost LB: 48370 ... c Min unsat cost LB: 48381 ... c Min unsat cost LB: 48389 ... c Min unsat cost LB: 48391 ... c Min unsat cost LB: 48405 ... c Min unsat cost LB: 48437 ... c Min unsat cost LB: 48438 ... c Min unsat cost LB: 48441 ... c Min unsat cost LB: 48443 ... c Min unsat cost LB: 48445 ... c Min unsat cost LB: 48446 ... c Min unsat cost LB: 48447 ... c Min unsat cost LB: 48448 ... c Min unsat cost LB: 48450 ... c Min unsat cost LB: 48451 ... c Min unsat cost LB: 48452 ... c Min unsat cost LB: 48453 ... c Min unsat cost LB: 48456 ... c Min unsat cost LB: 48464 ... c Min unsat cost LB: 48470 ... c Min unsat cost LB: 48471 ... c Min unsat cost LB: 48481 ... c Min unsat cost LB: 48482 ... c Min unsat cost LB: 48483 ... c Min unsat cost LB: 48485 ... c Min unsat cost LB: 48486 ... c Min unsat cost LB: 48501 ... c Min unsat cost LB: 48506 ... c Min unsat cost LB: 48508 ... c Min unsat cost LB: 48512 ... c Min unsat cost LB: 48513 ... c Min unsat cost LB: 48514 ... c Min unsat cost LB: 48516 ... c Min unsat cost LB: 48518 ... c Min unsat cost LB: 48521 ... c Min unsat cost LB: 48527 ... c Min unsat cost LB: 48529 ... c Min unsat cost LB: 48532 ... c Min unsat cost LB: 48547 ... c Min unsat cost LB: 48549 ... c Min unsat cost LB: 48550 ... c Min unsat cost LB: 48551 ... c Min unsat cost LB: 48552 ... c Min unsat cost LB: 48553 ... c Min unsat cost LB: 48557 ... c Min unsat cost LB: 48558 ... c Min unsat cost LB: 48559 ... c Min unsat cost LB: 48560 ... c Min unsat cost LB: 48561 ... c Min unsat cost LB: 48563 ... c Min unsat cost LB: 48566 ... c Min unsat cost LB: 48567 ... c Min unsat cost LB: 48571 ... c Min unsat cost LB: 48573 ... c Min unsat cost LB: 48574 ... c Min unsat cost LB: 48596 ... c Min unsat cost LB: 48634 ... c Min unsat cost LB: 48661 ... c Min unsat cost LB: 48663 ... c Min unsat cost LB: 48681 ... c Min unsat cost LB: 48686 ... c Min unsat cost LB: 48694 ... c Min unsat cost LB: 48695 ... c Min unsat cost LB: 48696 ... c Min unsat cost LB: 48697 ... c Min unsat cost LB: 48698 ... c Min unsat cost LB: 48710 ... c Min unsat cost LB: 48730 ... c Min unsat cost LB: 48731 ... c Min unsat cost LB: 48741 ... c Min unsat cost LB: 48742 ... c Min unsat cost LB: 48746 ... c Min unsat cost LB: 48747 ... c Min unsat cost LB: 48848 ... c Min unsat cost LB: 48850 ... c Min unsat cost LB: 48851 ... c Min unsat cost LB: 48853 ... c Min unsat cost LB: 48854 ... c Min unsat cost LB: 48855 ... c Min unsat cost LB: 48860 ... c Min unsat cost LB: 48861 ... c Min unsat cost LB: 48868 ... c Min unsat cost LB: 48878 ... c Min unsat cost LB: 48895 ... c Min unsat cost LB: 48898 ... c Min unsat cost LB: 48899 ... c Min unsat cost LB: 48900 ... c Min unsat cost LB: 48903 ... c Min unsat cost LB: 48904 ... c Min unsat cost LB: 48905 ... c Min unsat cost LB: 48907 ... c Min unsat cost LB: 48909 ... c Min unsat cost LB: 48910 ... c Min unsat cost LB: 48911 ... c Min unsat cost LB: 48912 ... c Min unsat cost LB: 48913 ... c Min unsat cost LB: 48914 ... c Min unsat cost LB: 48915 ... c Min unsat cost LB: 48916 ... c Min unsat cost LB: 48917 ... c Min unsat cost LB: 48918 ... c Min unsat cost LB: 48919 ... c Min unsat cost LB: 48920 ... c Min unsat cost LB: 48921 ... c Min unsat cost LB: 48933 ... c Min unsat cost LB: 48939 ... c Min unsat cost LB: 48940 ... c Min unsat cost LB: 48941 ... c Min unsat cost LB: 48942 ... c Min unsat cost LB: 48950 ... c Min unsat cost LB: 48953 ... c Min unsat cost LB: 48957 ... c Min unsat cost LB: 48962 ... c Min unsat cost LB: 48966 ... c Min unsat cost LB: 48968 ... c Min unsat cost LB: 48969 ... c Min unsat cost LB: 48970 ... c Min unsat cost LB: 48976 ... c Min unsat cost LB: 48984 ... c Min unsat cost LB: 48985 ... c Min unsat cost LB: 48986 ... c Min unsat cost LB: 49004 ... c Min unsat cost LB: 49005 ... c Min unsat cost LB: 49010 ... c Min unsat cost LB: 49012 ... c Min unsat cost LB: 49014 ... c Min unsat cost LB: 49016 ... c Min unsat cost LB: 49017 ... c Min unsat cost LB: 49018 ... c Min unsat cost LB: 49021 ... c Min unsat cost LB: 49022 ... c Min unsat cost LB: 49024 ... c Min unsat cost LB: 49027 ... c Min unsat cost LB: 49028 ... c Min unsat cost LB: 49029 ... c Min unsat cost LB: 49030 ... c Min unsat cost LB: 49031 ... c Min unsat cost LB: 49032 ... c Min unsat cost LB: 49033 ... c Min unsat cost LB: 49034 ... c Min unsat cost LB: 49035 ... c Min unsat cost LB: 49036 ... c Min unsat cost LB: 49037 ... c Min unsat cost LB: 49038 ... c Min unsat cost LB: 49039 ... c Min unsat cost LB: 49040 ... c Min unsat cost LB: 49041 ... c Min unsat cost LB: 49042 ... c Min unsat cost LB: 49043 ... c Min unsat cost LB: 49045 ... c Min unsat cost LB: 49053 ... c Min unsat cost LB: 49054 ... c Min unsat cost LB: 49056 ... c Min unsat cost LB: 49057 ... c Min unsat cost LB: 49058 ... c Min unsat cost LB: 49059 ... c Min unsat cost LB: 49062 ... c Min unsat cost LB: 49063 ... c Min unsat cost LB: 49064 ... c Min unsat cost LB: 49069 ... c Min unsat cost LB: 49070 ... c Min unsat cost LB: 49071 ... c Min unsat cost LB: 49076 ... c Min unsat cost LB: 49084 ... c Min unsat cost LB: 49096 ... c Min unsat cost LB: 49097 ... c Min unsat cost LB: 49098 ... c Min unsat cost LB: 49234 ... c Min unsat cost LB: 49235 ... c Min unsat cost LB: 49236 ... c Min unsat cost LB: 49237 ... c Min unsat cost LB: 49238 ... c Min unsat cost LB: 49239 ... c Min unsat cost LB: 49240 ... c Min unsat cost LB: 49241 ... c Min unsat cost LB: 49242 ... c Min unsat cost LB: 49351 ... c Min unsat cost LB: 49352 ... c Min unsat cost LB: 49371 ... c Min unsat cost LB: 49383 ... c Min unsat cost LB: 49386 ... c Min unsat cost LB: 49387 ... c Min unsat cost LB: 49388 ... c Min unsat cost LB: 49410 ... c Min unsat cost LB: 49413 ... c Min unsat cost LB: 49415 ... c Min unsat cost LB: 49435 ... c Min unsat cost LB: 49437 ... c Min unsat cost LB: 49440 ... c Min unsat cost LB: 49441 ... c Min unsat cost LB: 49442 ... c Min unsat cost LB: 49443 ... c Min unsat cost LB: 49444 ... c Min unsat cost LB: 49445 ... c Min unsat cost LB: 49446 ... c Min unsat cost LB: 49447 ... c Min unsat cost LB: 49448 ... c Min unsat cost LB: 49449 ... c Min unsat cost LB: 49451 ... c Min unsat cost LB: 49456 ... c Min unsat cost LB: 49459 ... c Min unsat cost LB: 49465 ... c Min unsat cost LB: 49466 ... c Min unsat cost LB: 49467 ... c Min unsat cost LB: 49468 ... c Min unsat cost LB: 49469 ... c Min unsat cost LB: 49470 ... c Min unsat cost LB: 49471 ... c Min unsat cost LB: 49472 ... c Min unsat cost LB: 49474 ... c Min unsat cost LB: 49475 ... c Min unsat cost LB: 49478 ... c Min unsat cost LB: 49484 ... c Min unsat cost LB: 49490 ... c Min unsat cost LB: 49510 ... c Min unsat cost LB: 49519 ... c Min unsat cost LB: 49520 ... c Min unsat cost LB: 49522 ... c Min unsat cost LB: 49523 ... c Min unsat cost LB: 49524 ... c Min unsat cost LB: 49525 ... c Min unsat cost LB: 49539 ... c Min unsat cost LB: 49540 ... c Min unsat cost LB: 49548 ... c Min unsat cost LB: 49550 ... c Min unsat cost LB: 49560 ... c Min unsat cost LB: 49561 ... c Min unsat cost LB: 49562 ... c Min unsat cost LB: 49577 ... c Min unsat cost LB: 49579 ... c Min unsat cost LB: 49581 ... c Min unsat cost LB: 49584 ... c Min unsat cost LB: 49585 ... c Min unsat cost LB: 49587 ... c Min unsat cost LB: 49588 ... c Min unsat cost LB: 49591 ... c Min unsat cost LB: 49592 ... c Min unsat cost LB: 49593 ... c Min unsat cost LB: 49594 ... c Min unsat cost LB: 49595 ... c Min unsat cost LB: 49596 ... c Min unsat cost LB: 49597 ... c Min unsat cost LB: 49598 ... c Min unsat cost LB: 49599 ... c Min unsat cost LB: 49601 ... c Min unsat cost LB: 49602 ... c Min unsat cost LB: 49603 ... c Min unsat cost LB: 49604 ... c Min unsat cost LB: 49605 ... c Min unsat cost LB: 49606 ... c Min unsat cost LB: 49607 ... c Min unsat cost LB: 49608 ... c Min unsat cost LB: 49609 ... c Min unsat cost LB: 49610 ... c Min unsat cost LB: 49611 ... c Min unsat cost LB: 49613 ... c Min unsat cost LB: 49615 ... c Min unsat cost LB: 49618 ... c Min unsat cost LB: 49619 ... c Min unsat cost LB: 49620 ... c Min unsat cost LB: 49621 ... c Min unsat cost LB: 49622 ... c Min unsat cost LB: 49623 ... c Min unsat cost LB: 49624 ... c Min unsat cost LB: 49625 ... c Min unsat cost LB: 49626 ... c Min unsat cost LB: 49627 ... c Min unsat cost LB: 49628 ... c Min unsat cost LB: 49629 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49632 ... c Min unsat cost LB: 49638 ... c Min unsat cost LB: 49639 ... c Min unsat cost LB: 49640 ... c Min unsat cost LB: 49641 ... c Min unsat cost LB: 49642 ... c Min unsat cost LB: 49643 ... c Min unsat cost LB: 49644 ... c Min unsat cost LB: 49645 ... c Min unsat cost LB: 49646 ... c Min unsat cost LB: 49647 ... c Min unsat cost LB: 49648 ... c Min unsat cost LB: 49649 ... 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: 49660 ... 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: 49674 ... c Min unsat cost LB: 49675 ... c Min unsat cost LB: 49676 ... c Min unsat cost LB: 49677 ... c Min unsat cost LB: 49679 ... c Min unsat cost LB: 49680 ... c Min unsat cost LB: 49681 ... c Min unsat cost LB: 49682 ... c Min unsat cost LB: 49683 ... c Min unsat cost LB: 49684 ... c Min unsat cost LB: 49685 ... c Min unsat cost LB: 49686 ... c Min unsat cost LB: 49687 ... c Min unsat cost LB: 49688 ... c Min unsat cost LB: 49689 ... c Min unsat cost LB: 49690 ... c Min unsat cost LB: 49691 ... c Min unsat cost LB: 49692 ... c Min unsat cost LB: 49693 ... c Min unsat cost LB: 49694 ... c Min unsat cost LB: 49695 ... c Min unsat cost LB: 49698 ... c Min unsat cost LB: 49699 ... c Min unsat cost LB: 49700 ... c Min unsat cost LB: 49703 ... c Min unsat cost LB: 49705 ... c Min unsat cost LB: 49706 ... c Min unsat cost LB: 49707 ... c Min unsat cost LB: 49711 ... c Min unsat cost LB: 49713 ... c Min unsat cost LB: 49714 ... c Min unsat cost LB: 49729 ... c Min unsat cost LB: 49730 ... c Min unsat cost LB: 49731 ... c Min unsat cost LB: 49732 ... c Min unsat cost LB: 49733 ... c Min unsat cost LB: 49734 ... c Min unsat cost LB: 49735 ... c Min unsat cost LB: 49736 ... c Min unsat cost LB: 49737 ... c Min unsat cost LB: 49738 ... c Min unsat cost LB: 49741 ... c Min unsat cost LB: 49742 ... c Min unsat cost LB: 49743 ... c Min unsat cost LB: 49749 ... c Min unsat cost LB: 49750 ... c Min unsat cost LB: 49751 ... c Min unsat cost LB: 49753 ... c Min unsat cost LB: 49757 ... c Min unsat cost LB: 49775 ... c Min unsat cost LB: 49776 ... c Min unsat cost LB: 49782 ... c Min unsat cost LB: 49789 ... c Min unsat cost LB: 49790 ... c Min unsat cost LB: 49794 ... c Min unsat cost LB: 49796 ... c Min unsat cost LB: 49798 ... c Min unsat cost LB: 49799 ... c Min unsat cost LB: 49800 ... c Min unsat cost LB: 49801 ... c Min unsat cost LB: 49802 ... c Min unsat cost LB: 49803 ... c Min unsat cost LB: 49804 ... c Min unsat cost LB: 49805 ... c Min unsat cost LB: 49806 ... c Min unsat cost LB: 49807 ... c Min unsat cost LB: 49808 ... c Min unsat cost LB: 49809 ... c Min unsat cost LB: 49810 ... c Min unsat cost LB: 49813 ... c Min unsat cost LB: 49814 ... c Min unsat cost LB: 49815 ... c Min unsat cost LB: 49816 ... c Min unsat cost LB: 49817 ... c Min unsat cost LB: 49818 ... c Min unsat cost LB: 49819 ... c Min unsat cost LB: 49820 ... c Min unsat cost LB: 49821 ... c Min unsat cost LB: 49822 ... c Min unsat cost LB: 49823 ... c Min unsat cost LB: 49824 ... c Min unsat cost LB: 49825 ... c Min unsat cost LB: 49826 ... c Min unsat cost LB: 49827 ... c Min unsat cost LB: 49828 ... c Min unsat cost LB: 49829 ... c Min unsat cost LB: 49830 ... c Min unsat cost LB: 49831 ... c Min unsat cost LB: 49835 ... c Min unsat cost LB: 49836 ... c Min unsat cost LB: 49837 ... c Min unsat cost LB: 49838 ... c Min unsat cost LB: 49839 ... c Min unsat cost LB: 49840 ... c Min unsat cost LB: 49841 ... c Min unsat cost LB: 49842 ... c Min unsat cost LB: 49844 ... c Min unsat cost LB: 49850 ... c Min unsat cost LB: 49851 ... c Min unsat cost LB: 49852 ... c Min unsat cost LB: 49853 ... c Min unsat cost LB: 49854 ... c Min unsat cost LB: 49855 ... c Min unsat cost LB: 49856 ... c Min unsat cost LB: 49857 ... c Min unsat cost LB: 49858 ... c Min unsat cost LB: 49859 ... c Min unsat cost LB: 49861 ... c Min unsat cost LB: 49862 ... c Min unsat cost LB: 49863 ... c Min unsat cost LB: 49864 ... c Min unsat cost LB: 49865 ... c Min unsat cost LB: 49866 ... c Min unsat cost LB: 49867 ... c Min unsat cost LB: 49868 ... c Min unsat cost LB: 49869 ... c Min unsat cost LB: 49873 ... c Min unsat cost LB: 49874 ... c Min unsat cost LB: 49875 ... c Min unsat cost LB: 49921 ... c Min unsat cost LB: 49922 ... c Min unsat cost LB: 49923 ... c Min unsat cost LB: 49928 ... c Min unsat cost LB: 49972 ... c Min unsat cost LB: 49986 ... c Min unsat cost LB: 50001 ... c Min unsat cost LB: 50012 ... c Min unsat cost LB: 50013 ... c Min unsat cost LB: 50014 ... c Min unsat cost LB: 50018 ... c Min unsat cost LB: 50019 ... c Min unsat cost LB: 50030 ... c Min unsat cost LB: 50034 ... c Min unsat cost LB: 50035 ... c Min unsat cost LB: 50040 ... c Min unsat cost LB: 50047 ... c Min unsat cost LB: 50049 ... c Min unsat cost LB: 50051 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50058 ... c Min unsat cost LB: 50059 ... c Min unsat cost LB: 50061 ... c Min unsat cost LB: 50064 ... c Min unsat cost LB: 50065 ... c Min unsat cost LB: 50066 ... c Min unsat cost LB: 50069 ... c Min unsat cost LB: 50072 ... c Min unsat cost LB: 50076 ... c Min unsat cost LB: 50082 ... c Min unsat cost LB: 50083 ... c Min unsat cost LB: 50084 ... c Min unsat cost LB: 50085 ... c Min unsat cost LB: 50086 ... c Min unsat cost LB: 50087 ... c Min unsat cost LB: 50089 ... c Min unsat cost LB: 50101 ... c Min unsat cost LB: 50102 ... c Min unsat cost LB: 50103 ... c Min unsat cost LB: 50107 ... c Min unsat cost LB: 50108 ... c Min unsat cost LB: 50110 ... c Min unsat cost LB: 50111 ... c Min unsat cost LB: 50112 ... c Min unsat cost LB: 50113 ... c Min unsat cost LB: 50114 ... c Min unsat cost LB: 50115 ... c Min unsat cost LB: 50116 ... c Min unsat cost LB: 50117 ... c Min unsat cost LB: 50118 ... c Min unsat cost LB: 50121 ... c Min unsat cost LB: 50129 ... c Min unsat cost LB: 50135 ... c Min unsat cost LB: 50138 ... c Min unsat cost LB: 50144 ... c Min unsat cost LB: 50146 ... c Min unsat cost LB: 50158 ... c Min unsat cost LB: 50161 ... c Min unsat cost LB: 50162 ... c Min unsat cost LB: 50182 ... c Min unsat cost LB: 50183 ... c Min unsat cost LB: 50184 ... c Min unsat cost LB: 50185 ... c Min unsat cost LB: 50186 ... c Min unsat cost LB: 50187 ... c Min unsat cost LB: 50188 ... c Min unsat cost LB: 50189 ... c Min unsat cost LB: 50190 ... c Min unsat cost LB: 50199 ... c Min unsat cost LB: 50200 ... c Min unsat cost LB: 50201 ... c Min unsat cost LB: 50202 ... c Min unsat cost LB: 50203 ... c Min unsat cost LB: 50204 ... c Min unsat cost LB: 50205 ... 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: 50210 ... c Min unsat cost LB: 50211 ... c Min unsat cost LB: 50212 ... c Min unsat cost LB: 50213 ... c Min unsat cost LB: 50214 ... c Min unsat cost LB: 50215 ... c Min unsat cost LB: 50216 ... c Min unsat cost LB: 50220 ... c Min unsat cost LB: 50240 ... c Min unsat cost LB: 50241 ... c Min unsat cost LB: 50242 ... c Min unsat cost LB: 50260 ... c Min unsat cost LB: 50262 ... c Min unsat cost LB: 50274 ... c Min unsat cost LB: 50275 ... c Min unsat cost LB: 50276 ... c Min unsat cost LB: 50304 ... c Min unsat cost LB: 50305 ... c Min unsat cost LB: 50308 ... c Min unsat cost LB: 50312 ... c Min unsat cost LB: 50313 ... 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: 50327 ... c Min unsat cost LB: 50335 ... c Min unsat cost LB: 50337 ... c Min unsat cost LB: 50338 ... 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: 50349 ... c Min unsat cost LB: 50362 ... c Min unsat cost LB: 50363 ... c Min unsat cost LB: 50366 ... c Min unsat cost LB: 50367 ... c Min unsat cost LB: 50368 ... c Min unsat cost LB: 50371 ... c Min unsat cost LB: 50372 ... c Min unsat cost LB: 50380 ... c Min unsat cost LB: 50385 ... c Min unsat cost LB: 50387 ... c Min unsat cost LB: 50388 ... c Min unsat cost LB: 50389 ... c Min unsat cost LB: 50392 ... c Min unsat cost LB: 50393 ... c Min unsat cost LB: 50403Killed 1811.590u 8.151s 30:20.51 99.9% 0+0k 0+0io 0pf+0w