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_140_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0002.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0002.txt.wcnf *** c c Min unsat cost LB: 344 ... c Min unsat cost LB: 522 ... c Min unsat cost LB: 870 ... c Min unsat cost LB: 1218 ... c Min unsat cost LB: 1562 ... c Min unsat cost LB: 1910 ... c Min unsat cost LB: 1914 ... c Min unsat cost LB: 2262 ... c Min unsat cost LB: 2440 ... c Min unsat cost LB: 2610 ... c Min unsat cost LB: 2788 ... c Min unsat cost LB: 2966 ... c Min unsat cost LB: 3144 ... c Min unsat cost LB: 3492 ... c Min unsat cost LB: 3840 ... c Min unsat cost LB: 3848 ... c Min unsat cost LB: 4026 ... c Min unsat cost LB: 4196 ... c Min unsat cost LB: 4544 ... c Min unsat cost LB: 4722 ... c Min unsat cost LB: 5070 ... c Min unsat cost LB: 5240 ... c Min unsat cost LB: 5248 ... c Min unsat cost LB: 5596 ... c Min unsat cost LB: 5774 ... c Min unsat cost LB: 6122 ... c Min unsat cost LB: 6284 ... c Min unsat cost LB: 6632 ... c Min unsat cost LB: 6980 ... c Min unsat cost LB: 7328 ... c Min unsat cost LB: 7698 ... c Min unsat cost LB: 7868 ... c Min unsat cost LB: 8216 ... c Min unsat cost LB: 8586 ... c Min unsat cost LB: 8764 ... c Min unsat cost LB: 9134 ... c Min unsat cost LB: 9504 ... c Min unsat cost LB: 9682 ... c Min unsat cost LB: 9690 ... c Min unsat cost LB: 10033 ... c Min unsat cost LB: 10060 ... c Min unsat cost LB: 10403 ... c Min unsat cost LB: 10581 ... c Min unsat cost LB: 10589 ... c Min unsat cost LB: 10905 ... c Min unsat cost LB: 11253 ... c Min unsat cost LB: 11596 ... c Min unsat cost LB: 11762 ... c Min unsat cost LB: 11774 ... c Min unsat cost LB: 11940 ... c Min unsat cost LB: 12283 ... c Min unsat cost LB: 12631 ... c Min unsat cost LB: 12805 ... c Min unsat cost LB: 12983 ... c Min unsat cost LB: 13145 ... c Min unsat cost LB: 13296 ... c Min unsat cost LB: 13639 ... c Min unsat cost LB: 13661 ... c Min unsat cost LB: 14004 ... c Min unsat cost LB: 14347 ... c Min unsat cost LB: 14695 ... c Min unsat cost LB: 14865 ... c Min unsat cost LB: 14892 ... c Min unsat cost LB: 15235 ... c Min unsat cost LB: 15578 ... c Min unsat cost LB: 15921 ... c Min unsat cost LB: 16099 ... c Min unsat cost LB: 16442 ... c Min unsat cost LB: 16785 ... c Min unsat cost LB: 17128 ... c Min unsat cost LB: 17293 ... c Min unsat cost LB: 17636 ... c Min unsat cost LB: 17657 ... c Min unsat cost LB: 18027 ... c Min unsat cost LB: 18196 ... c Min unsat cost LB: 18370 ... c Min unsat cost LB: 18375 ... c Min unsat cost LB: 18718 ... c Min unsat cost LB: 19061 ... c Min unsat cost LB: 19230 ... c Min unsat cost LB: 19245 ... c Min unsat cost LB: 19537 ... c Min unsat cost LB: 19588 ... c Min unsat cost LB: 19593 ... c Min unsat cost LB: 19931 ... c Min unsat cost LB: 20274 ... c Min unsat cost LB: 20617 ... c Min unsat cost LB: 20795 ... c Min unsat cost LB: 21138 ... c Min unsat cost LB: 21482 ... c Min unsat cost LB: 21804 ... c Min unsat cost LB: 21830 ... c Min unsat cost LB: 21835 ... c Min unsat cost LB: 21862 ... c Min unsat cost LB: 22205 ... c Min unsat cost LB: 22548 ... c Min unsat cost LB: 22892 ... c Min unsat cost LB: 23230 ... c Min unsat cost LB: 23240 ... c Min unsat cost LB: 23246 ... c Min unsat cost LB: 23584 ... c Min unsat cost LB: 23594 ... c Min unsat cost LB: 23932 ... c Min unsat cost LB: 23942 ... c Min unsat cost LB: 24249 ... c Min unsat cost LB: 24597 ... c Min unsat cost LB: 24619 ... c Min unsat cost LB: 24945 ... c Min unsat cost LB: 24976 ... c Min unsat cost LB: 25324 ... c Min unsat cost LB: 25342 ... c Min unsat cost LB: 25343 ... c Min unsat cost LB: 25687 ... c Min unsat cost LB: 25695 ... c Min unsat cost LB: 25865 ... c Min unsat cost LB: 25868 ... c Min unsat cost LB: 26031 ... c Min unsat cost LB: 26043 ... c Min unsat cost LB: 26051 ... c Min unsat cost LB: 26394 ... c Min unsat cost LB: 26395 ... c Min unsat cost LB: 26569 ... c Min unsat cost LB: 26700 ... c Min unsat cost LB: 26738 ... c Min unsat cost LB: 26898 ... c Min unsat cost LB: 27044 ... c Min unsat cost LB: 27062 ... c Min unsat cost LB: 27191 ... c Min unsat cost LB: 27228 ... c Min unsat cost LB: 27366 ... c Min unsat cost LB: 27406 ... c Min unsat cost LB: 27438 ... c Min unsat cost LB: 27439 ... c Min unsat cost LB: 27442 ... c Min unsat cost LB: 27450 ... c Min unsat cost LB: 27462 ... c Min unsat cost LB: 27603 ... c Min unsat cost LB: 27692 ... c Min unsat cost LB: 27781 ... c Min unsat cost LB: 27951 ... c Min unsat cost LB: 28124 ... c Min unsat cost LB: 28146 ... c Min unsat cost LB: 28209 ... c Min unsat cost LB: 28214 ... c Min unsat cost LB: 28384 ... c Min unsat cost LB: 28441 ... c Min unsat cost LB: 28500 ... c Min unsat cost LB: 28784 ... c Min unsat cost LB: 28807 ... c Min unsat cost LB: 29109 ... c Min unsat cost LB: 29130 ... c Min unsat cost LB: 29295 ... c Min unsat cost LB: 29452 ... c Min unsat cost LB: 29473 ... c Min unsat cost LB: 29635 ... c Min unsat cost LB: 29660 ... c Min unsat cost LB: 29783 ... c Min unsat cost LB: 29952 ... c Min unsat cost LB: 30003 ... c Min unsat cost LB: 30126 ... c Min unsat cost LB: 30307 ... c Min unsat cost LB: 30346 ... c Min unsat cost LB: 30463 ... c Min unsat cost LB: 30490 ... c Min unsat cost LB: 30633 ... c Min unsat cost LB: 30650 ... c Min unsat cost LB: 30968 ... c Min unsat cost LB: 30992 ... c Min unsat cost LB: 30993 ... c Min unsat cost LB: 31011 ... c Min unsat cost LB: 31041 ... c Min unsat cost LB: 31160 ... c Min unsat cost LB: 31211 ... c Min unsat cost LB: 31232 ... c Min unsat cost LB: 31254 ... c Min unsat cost LB: 31269 ... c Min unsat cost LB: 31291 ... c Min unsat cost LB: 31362 ... c Min unsat cost LB: 31389 ... c Min unsat cost LB: 31519 ... c Min unsat cost LB: 31568 ... c Min unsat cost LB: 31574 ... c Min unsat cost LB: 31912 ... c Min unsat cost LB: 31913 ... c Min unsat cost LB: 31938 ... c Min unsat cost LB: 31968 ... c Min unsat cost LB: 32078 ... c Min unsat cost LB: 32269 ... c Min unsat cost LB: 32308 ... c Min unsat cost LB: 32422 ... c Min unsat cost LB: 32472 ... c Min unsat cost LB: 32501 ... c Min unsat cost LB: 32511 ... c Min unsat cost LB: 32766 ... c Min unsat cost LB: 33109 ... c Min unsat cost LB: 33110 ... c Min unsat cost LB: 33136 ... c Min unsat cost LB: 33202 ... c Min unsat cost LB: 33453 ... c Min unsat cost LB: 33632 ... c Min unsat cost LB: 33681 ... c Min unsat cost LB: 33708 ... c Min unsat cost LB: 33795 ... c Min unsat cost LB: 33797 ... c Min unsat cost LB: 33798 ... c Min unsat cost LB: 33803 ... c Min unsat cost LB: 34121 ... c Min unsat cost LB: 34142 ... c Min unsat cost LB: 34169 ... c Min unsat cost LB: 34231 ... c Min unsat cost LB: 34253 ... c Min unsat cost LB: 34274 ... c Min unsat cost LB: 34282 ... c Min unsat cost LB: 34294 ... c Min unsat cost LB: 34297 ... c Min unsat cost LB: 34298 ... c Min unsat cost LB: 34330 ... c Min unsat cost LB: 34375 ... c Min unsat cost LB: 34438 ... c Min unsat cost LB: 34471 ... c Min unsat cost LB: 34486 ... c Min unsat cost LB: 34524 ... c Min unsat cost LB: 34781 ... c Min unsat cost LB: 34782 ... c Min unsat cost LB: 34830 ... c Min unsat cost LB: 34944 ... c Min unsat cost LB: 34948 ... c Min unsat cost LB: 34961 ... c Min unsat cost LB: 35126 ... c Min unsat cost LB: 35138 ... c Min unsat cost LB: 35147 ... c Min unsat cost LB: 35185 ... c Min unsat cost LB: 35309 ... c Min unsat cost LB: 35317 ... c Min unsat cost LB: 35321 ... c Min unsat cost LB: 35365 ... c Min unsat cost LB: 35474 ... c Min unsat cost LB: 35482 ... c Min unsat cost LB: 35503 ... c Min unsat cost LB: 35528 ... c Min unsat cost LB: 35546 ... c Min unsat cost LB: 35556 ... c Min unsat cost LB: 35644 ... c Min unsat cost LB: 35660 ... c Min unsat cost LB: 35662 ... c Min unsat cost LB: 35838 ... c Min unsat cost LB: 35846 ... c Min unsat cost LB: 36000 ... c Min unsat cost LB: 36008 ... c Min unsat cost LB: 36174 ... c Min unsat cost LB: 36179 ... c Min unsat cost LB: 36189 ... c Min unsat cost LB: 36345 ... c Min unsat cost LB: 36353 ... c Min unsat cost LB: 36357 ... c Min unsat cost LB: 36506 ... c Min unsat cost LB: 36518 ... c Min unsat cost LB: 36705 ... c Min unsat cost LB: 36846 ... c Min unsat cost LB: 36856 ... c Min unsat cost LB: 37032 ... c Min unsat cost LB: 37042 ... c Min unsat cost LB: 37075 ... c Min unsat cost LB: 37194 ... c Min unsat cost LB: 37221 ... c Min unsat cost LB: 37239 ... c Min unsat cost LB: 37260 ... c Min unsat cost LB: 37282 ... c Min unsat cost LB: 37358 ... c Min unsat cost LB: 37409 ... c Min unsat cost LB: 37471 ... c Min unsat cost LB: 37472 ... c Min unsat cost LB: 37493 ... c Min unsat cost LB: 37518 ... c Min unsat cost LB: 37522 ... c Min unsat cost LB: 37528 ... c Min unsat cost LB: 37540 ... c Min unsat cost LB: 37601 ... c Min unsat cost LB: 37608 ... c Min unsat cost LB: 37624 ... c Min unsat cost LB: 37699 ... c Min unsat cost LB: 37825 ... c Min unsat cost LB: 37864 ... c Min unsat cost LB: 37874 ... c Min unsat cost LB: 37901 ... c Min unsat cost LB: 37956 ... c Min unsat cost LB: 37962 ... c Min unsat cost LB: 37963 ... c Min unsat cost LB: 37996 ... c Min unsat cost LB: 38020 ... c Min unsat cost LB: 38025 ... c Min unsat cost LB: 38026 ... c Min unsat cost LB: 38029 ... c Min unsat cost LB: 38037 ... c Min unsat cost LB: 38042 ... c Min unsat cost LB: 38053 ... c Min unsat cost LB: 38062 ... c Min unsat cost LB: 38074 ... c Min unsat cost LB: 38075 ... c Min unsat cost LB: 38085 ... c Min unsat cost LB: 38091 ... c Min unsat cost LB: 38137 ... c Min unsat cost LB: 38203 ... c Min unsat cost LB: 38211 ... c Min unsat cost LB: 38212 ... c Min unsat cost LB: 38241 ... c Min unsat cost LB: 38252 ... c Min unsat cost LB: 38256 ... c Min unsat cost LB: 38274 ... c Min unsat cost LB: 38289 ... c Min unsat cost LB: 38290 ... c Min unsat cost LB: 38320 ... c Min unsat cost LB: 38325 ... c Min unsat cost LB: 38327 ... c Min unsat cost LB: 38343 ... c Min unsat cost LB: 38350 ... c Min unsat cost LB: 38370 ... c Min unsat cost LB: 38383 ... c Min unsat cost LB: 38384 ... c Min unsat cost LB: 38450 ... c Min unsat cost LB: 38466 ... c Min unsat cost LB: 38474 ... c Min unsat cost LB: 38476 ... c Min unsat cost LB: 38507 ... c Min unsat cost LB: 38515 ... c Min unsat cost LB: 38577 ... c Min unsat cost LB: 38583 ... c Min unsat cost LB: 38588 ... c Min unsat cost LB: 38612 ... c Min unsat cost LB: 38613 ... c Min unsat cost LB: 38634 ... c Min unsat cost LB: 38638 ... c Min unsat cost LB: 38640 ... c Min unsat cost LB: 38643 ... c Min unsat cost LB: 38686 ... c Min unsat cost LB: 38719 ... c Min unsat cost LB: 38721 ... c Min unsat cost LB: 38821 ... c Min unsat cost LB: 38822 ... c Min unsat cost LB: 38845 ... c Min unsat cost LB: 38868 ... c Min unsat cost LB: 38870 ... c Min unsat cost LB: 38927 ... c Min unsat cost LB: 38962 ... c Min unsat cost LB: 38965 ... c Min unsat cost LB: 38992 ... c Min unsat cost LB: 38993 ... c Min unsat cost LB: 39013 ... c Min unsat cost LB: 39016 ... c Min unsat cost LB: 39054 ... c Min unsat cost LB: 39084 ... c Min unsat cost LB: 39101 ... c Min unsat cost LB: 39116 ... c Min unsat cost LB: 39118 ... c Min unsat cost LB: 39123 ... c Min unsat cost LB: 39200 ... c Min unsat cost LB: 39308 ... c Min unsat cost LB: 39327 ... c Min unsat cost LB: 39342 ... c Min unsat cost LB: 39450 ... c Min unsat cost LB: 39548 ... c Min unsat cost LB: 39573 ... c Min unsat cost LB: 39577 ... c Min unsat cost LB: 39581 ... c Min unsat cost LB: 39586 ... c Min unsat cost LB: 39592 ... c Min unsat cost LB: 39594 ... c Min unsat cost LB: 39596 ... c Min unsat cost LB: 39598 ... c Min unsat cost LB: 39601 ... c Min unsat cost LB: 39609 ... c Min unsat cost LB: 39613 ... c Min unsat cost LB: 39634 ... c Min unsat cost LB: 39657 ... c Min unsat cost LB: 39673 ... c Min unsat cost LB: 39678 ... c Min unsat cost LB: 39683 ... c Min unsat cost LB: 39687 ... c Min unsat cost LB: 39696 ... c Min unsat cost LB: 39701 ... c Min unsat cost LB: 39705 ... c Min unsat cost LB: 39712 ... c Min unsat cost LB: 39736 ... c Min unsat cost LB: 39753 ... c Min unsat cost LB: 39754 ... c Min unsat cost LB: 39757 ... c Min unsat cost LB: 39764 ... c Min unsat cost LB: 39765 ... c Min unsat cost LB: 39770 ... c Min unsat cost LB: 39785 ... c Min unsat cost LB: 39786 ... c Min unsat cost LB: 39788 ... c Min unsat cost LB: 39789 ... c Min unsat cost LB: 39790 ... c Min unsat cost LB: 39791 ... c Min unsat cost LB: 39804 ... c Min unsat cost LB: 39805 ... c Min unsat cost LB: 39810 ... c Min unsat cost LB: 39818 ... c Min unsat cost LB: 39826 ... c Min unsat cost LB: 39829 ... c Min unsat cost LB: 39834 ... c Min unsat cost LB: 39837 ... c Min unsat cost LB: 39841 ... c Min unsat cost LB: 39842 ... c Min unsat cost LB: 39843 ... c Min unsat cost LB: 39846 ... c Min unsat cost LB: 39853 ... c Min unsat cost LB: 39859 ... c Min unsat cost LB: 39860 ... c Min unsat cost LB: 39875 ... c Min unsat cost LB: 39878 ... c Min unsat cost LB: 39879 ... c Min unsat cost LB: 39881 ... c Min unsat cost LB: 39888 ... c Min unsat cost LB: 39889 ... c Min unsat cost LB: 39892 ... c Min unsat cost LB: 39893 ... c Min unsat cost LB: 39896 ... c Min unsat cost LB: 39897 ... c Min unsat cost LB: 39900 ... c Min unsat cost LB: 39901 ... c Min unsat cost LB: 39903 ... c Min unsat cost LB: 39910 ... c Min unsat cost LB: 39911 ... c Min unsat cost LB: 39912 ... c Min unsat cost LB: 39917 ... c Min unsat cost LB: 39918 ... c Min unsat cost LB: 39920 ... c Min unsat cost LB: 39921 ... c Min unsat cost LB: 39922 ... c Min unsat cost LB: 39923 ... c Min unsat cost LB: 39924 ... c Min unsat cost LB: 39927 ... c Min unsat cost LB: 39928 ... c Min unsat cost LB: 39930 ... c Min unsat cost LB: 39933 ... c Min unsat cost LB: 39943 ... c Min unsat cost LB: 39945 ... c Min unsat cost LB: 39952 ... c Min unsat cost LB: 39953 ... c Min unsat cost LB: 39954 ... c Min unsat cost LB: 39955 ... c Min unsat cost LB: 39956 ... c Min unsat cost LB: 39958 ... c Min unsat cost LB: 39959 ... c Min unsat cost LB: 39973 ... c Min unsat cost LB: 39974 ... c Min unsat cost LB: 39975 ... c Min unsat cost LB: 39977 ... c Min unsat cost LB: 39979 ... c Min unsat cost LB: 39981 ... c Min unsat cost LB: 39982 ... c Min unsat cost LB: 39983 ... c Min unsat cost LB: 39988 ... c Min unsat cost LB: 39989 ... c Min unsat cost LB: 39992 ... c Min unsat cost LB: 39996 ... c Min unsat cost LB: 40001 ... c Min unsat cost LB: 40004 ... c Min unsat cost LB: 40008 ... c Min unsat cost LB: 40012 ... c Min unsat cost LB: 40014 ... c Min unsat cost LB: 40020 ... c Min unsat cost LB: 40029 ... c Min unsat cost LB: 40030 ... c Min unsat cost LB: 40141 ... c Min unsat cost LB: 40146 ... c Min unsat cost LB: 40148 ... c Min unsat cost LB: 40155 ... c Min unsat cost LB: 40163 ... c Min unsat cost LB: 40194 ... c Min unsat cost LB: 40199 ... c Min unsat cost LB: 40236 ... c Min unsat cost LB: 40279 ... c Min unsat cost LB: 40286 ... c Min unsat cost LB: 40287 ... c Min unsat cost LB: 40289 ... c Min unsat cost LB: 40294 ... c Min unsat cost LB: 40295 ... c Min unsat cost LB: 40299 ... c Min unsat cost LB: 40300 ... c Min unsat cost LB: 40305 ... c Min unsat cost LB: 40309 ... c Min unsat cost LB: 40313 ... c Min unsat cost LB: 40314 ... c Min unsat cost LB: 40321 ... c Min unsat cost LB: 40325 ... c Min unsat cost LB: 40332 ... c Min unsat cost LB: 40343 ... c Min unsat cost LB: 40348 ... c Min unsat cost LB: 40352 ... c Min unsat cost LB: 40355 ... c Min unsat cost LB: 40358 ... c Min unsat cost LB: 40359 ... c Min unsat cost LB: 40360 ... c Min unsat cost LB: 40381 ... c Min unsat cost LB: 40382 ... c Min unsat cost LB: 40383 ... c Min unsat cost LB: 40385 ... c Min unsat cost LB: 40422 ... c Min unsat cost LB: 40426 ... c Min unsat cost LB: 40427 ... c Min unsat cost LB: 40433 ... c Min unsat cost LB: 40439 ... c Min unsat cost LB: 40445 ... c Min unsat cost LB: 40447 ... c Min unsat cost LB: 40448 ... c Min unsat cost LB: 40450 ... c Min unsat cost LB: 40458 ... c Min unsat cost LB: 40464 ... c Min unsat cost LB: 40471 ... c Min unsat cost LB: 40478 ... c Min unsat cost LB: 40482 ... c Min unsat cost LB: 40483 ... c Min unsat cost LB: 40484 ... c Min unsat cost LB: 40486 ... c Min unsat cost LB: 40489 ... c Min unsat cost LB: 40490 ... c Min unsat cost LB: 40492 ... c Min unsat cost LB: 40493 ... c Min unsat cost LB: 40494 ... c Min unsat cost LB: 40496 ... c Min unsat cost LB: 40497 ... c Min unsat cost LB: 40503 ... c Min unsat cost LB: 40511 ... c Min unsat cost LB: 40566 ... c Min unsat cost LB: 40568 ... c Min unsat cost LB: 40569 ... c Min unsat cost LB: 40572 ... c Min unsat cost LB: 40576 ... c Min unsat cost LB: 40577 ... c Min unsat cost LB: 40578 ... c Min unsat cost LB: 40579 ... c Min unsat cost LB: 40580 ... c Min unsat cost LB: 40581 ... c Min unsat cost LB: 40582 ... c Min unsat cost LB: 40583 ... c Min unsat cost LB: 40584 ... c Min unsat cost LB: 40585 ... c Min unsat cost LB: 40586 ... c Min unsat cost LB: 40600 ... c Min unsat cost LB: 40601 ... c Min unsat cost LB: 40602 ... c Min unsat cost LB: 40603 ... c Min unsat cost LB: 40604 ... c Min unsat cost LB: 40605 ... c Min unsat cost LB: 40606 ... c Min unsat cost LB: 40607 ... c Min unsat cost LB: 40608 ... c Min unsat cost LB: 40611 ... c Min unsat cost LB: 40612 ... c Min unsat cost LB: 40614 ... c Min unsat cost LB: 40615 ... c Min unsat cost LB: 40619 ... c Min unsat cost LB: 40622 ... c Min unsat cost LB: 40624 ... c Min unsat cost LB: 40625 ... c Min unsat cost LB: 40627 ... c Min unsat cost LB: 40628 ... c Min unsat cost LB: 40634 ... c Min unsat cost LB: 40691 ... c Min unsat cost LB: 40692 ... c Min unsat cost LB: 40693 ... c Min unsat cost LB: 40694 ... c Min unsat cost LB: 40695 ... c Min unsat cost LB: 40697 ... c Min unsat cost LB: 40698 ... c Min unsat cost LB: 40700 ... c Min unsat cost LB: 40701 ... c Min unsat cost LB: 40705 ... c Min unsat cost LB: 40707 ... c Min unsat cost LB: 40754 ... c Min unsat cost LB: 40755 ... c Min unsat cost LB: 40756 ... c Min unsat cost LB: 40757 ... c Min unsat cost LB: 40758 ... c Min unsat cost LB: 40759 ... c Min unsat cost LB: 40760 ... c Min unsat cost LB: 40761 ... c Min unsat cost LB: 40763 ... c Min unsat cost LB: 40764 ... c Min unsat cost LB: 40765 ... c Min unsat cost LB: 40766 ... c Min unsat cost LB: 40768 ... c Min unsat cost LB: 40769 ... c Min unsat cost LB: 40834 ... c Min unsat cost LB: 40835 ... c Min unsat cost LB: 40836 ... c Min unsat cost LB: 40837 ... c Min unsat cost LB: 40838 ... c Min unsat cost LB: 40839 ... c Min unsat cost LB: 40840 ... c Min unsat cost LB: 40842 ... c Min unsat cost LB: 40843 ... c Min unsat cost LB: 40844 ... c Min unsat cost LB: 40845 ... c Min unsat cost LB: 40846 ... c Min unsat cost LB: 40847 ... c Min unsat cost LB: 40850 ... c Min unsat cost LB: 40868 ... c Min unsat cost LB: 40869 ... c Min unsat cost LB: 40870 ... c Min unsat cost LB: 40872 ... c Min unsat cost LB: 40885 ... c Min unsat cost LB: 40886 ... c Min unsat cost LB: 40887 ... c Min unsat cost LB: 40888 ... c Min unsat cost LB: 40889 ... c Min unsat cost LB: 40890 ... c Min unsat cost LB: 40898 ... c Min unsat cost LB: 40899 ... c Min unsat cost LB: 40900 ... c Min unsat cost LB: 40901 ... c Min unsat cost LB: 40902 ... c Min unsat cost LB: 40904 ... c Min unsat cost LB: 40907 ... c Min unsat cost LB: 40909 ... c Min unsat cost LB: 40910 ... c Min unsat cost LB: 40911 ... c Min unsat cost LB: 40912 ... c Min unsat cost LB: 40913 ... c Min unsat cost LB: 40924 ... c Min unsat cost LB: 40925 ... c Min unsat cost LB: 40926 ... c Min unsat cost LB: 40927 ... c Min unsat cost LB: 40928 ... c Min unsat cost LB: 40929 ... c Min unsat cost LB: 40930 ... c Min unsat cost LB: 40931 ... c Min unsat cost LB: 40932 ... c Min unsat cost LB: 40933 ... c Min unsat cost LB: 40934 ... c Min unsat cost LB: 40935 ... c Min unsat cost LB: 40936 ... c Min unsat cost LB: 40937 ... c Min unsat cost LB: 40938 ... c Min unsat cost LB: 40940 ... c Min unsat cost LB: 40941 ... c Min unsat cost LB: 40942 ... c Min unsat cost LB: 40943 ... c Min unsat cost LB: 40945 ... c Min unsat cost LB: 40946 ... c Min unsat cost LB: 40955 ... c Min unsat cost LB: 40957 ... c Min unsat cost LB: 40977 ... c Min unsat cost LB: 40978 ... c Min unsat cost LB: 40979 ... c Min unsat cost LB: 40980 ... c Min unsat cost LB: 40981 ... c Min unsat cost LB: 40982 ... c Min unsat cost LB: 40983 ... c Min unsat cost LB: 40984 ... c Min unsat cost LB: 40985 ... c Min unsat cost LB: 40986 ... c Min unsat cost LB: 40987 ... c Min unsat cost LB: 40988 ... c Min unsat cost LB: 40989 ... c Min unsat cost LB: 41022 ... c Min unsat cost LB: 41061 ... c Min unsat cost LB: 41062 ... c Min unsat cost LB: 41063 ... c Min unsat cost LB: 41064 ... c Min unsat cost LB: 41103 ... c Min unsat cost LB: 41104 ... c Min unsat cost LB: 41105 ... c Min unsat cost LB: 41106 ... c Min unsat cost LB: 41108 ... c Min unsat cost LB: 41111 ... c Min unsat cost LB: 41112 ... c Min unsat cost LB: 41113 ... c Min unsat cost LB: 41115 ... c Min unsat cost LB: 41116 ... c Min unsat cost LB: 41117 ... c Min unsat cost LB: 41120 ... c Min unsat cost LB: 41121 ... c Min unsat cost LB: 41122 ... c Min unsat cost LB: 41123 ... c Min unsat cost LB: 41124 ... c Min unsat cost LB: 41125 ... c Min unsat cost LB: 41126 ... c Min unsat cost LB: 41127 ... c Min unsat cost LB: 41134 ... c Min unsat cost LB: 41135 ... c Min unsat cost LB: 41136 ... c Min unsat cost LB: 41139 ... c Min unsat cost LB: 41140 ... c Min unsat cost LB: 41144 ... c Min unsat cost LB: 41145 ... c Min unsat cost LB: 41146 ... c Min unsat cost LB: 41147 ... c Min unsat cost LB: 41150 ... c Min unsat cost LB: 41151 ... c Min unsat cost LB: 41152 ... c Min unsat cost LB: 41153 ... c Min unsat cost LB: 41154 ... c Min unsat cost LB: 41155 ... c Min unsat cost LB: 41156 ... c Min unsat cost LB: 41157 ... c Min unsat cost LB: 41158 ... c Min unsat cost LB: 41159 ... c Min unsat cost LB: 41160 ... c Min unsat cost LB: 41161 ... c Min unsat cost LB: 41162 ... c Min unsat cost LB: 41163 ... c Min unsat cost LB: 41164 ... c Min unsat cost LB: 41166 ... c Min unsat cost LB: 41167 ... c Min unsat cost LB: 41168 ... c Min unsat cost LB: 41169 ... c Min unsat cost LB: 41171 ... c Min unsat cost LB: 41172 ... c Min unsat cost LB: 41179 ... c Min unsat cost LB: 41180 ... c Min unsat cost LB: 41181 ... c Min unsat cost LB: 41183 ... c Min unsat cost LB: 41184 ... c Min unsat cost LB: 41185 ... c Min unsat cost LB: 41186 ... c Min unsat cost LB: 41187 ... c Min unsat cost LB: 41214 ... c Min unsat cost LB: 41215 ... c Min unsat cost LB: 41216 ... c Min unsat cost LB: 41217 ... c Min unsat cost LB: 41218 ... c Min unsat cost LB: 41219 ... c Min unsat cost LB: 41220 ... c Min unsat cost LB: 41221 ... c Min unsat cost LB: 41244 ... c Min unsat cost LB: 41245 ... c Min unsat cost LB: 41264 ... c Min unsat cost LB: 41265 ... c Min unsat cost LB: 41266 ... c Min unsat cost LB: 41270 ... c Min unsat cost LB: 41271 ... c Min unsat cost LB: 41272 ... c Min unsat cost LB: 41273 ... c Min unsat cost LB: 41274 ... c Min unsat cost LB: 41275 ... c Min unsat cost LB: 41276 ... c Min unsat cost LB: 41277 ... c Min unsat cost LB: 41278 ... c Min unsat cost LB: 41279 ... c Min unsat cost LB: 41280 ... c Min unsat cost LB: 41281 ... c Min unsat cost LB: 41282 ... c Min unsat cost LB: 41283 ... c Min unsat cost LB: 41284 ... c Min unsat cost LB: 41285 ... c Min unsat cost LB: 41289 ... c Min unsat cost LB: 41290 ... c Min unsat cost LB: 41291 ... c Min unsat cost LB: 41292 ... c Min unsat cost LB: 41293 ... c Min unsat cost LB: 41294 ... c Min unsat cost LB: 41300 ... c Min unsat cost LB: 41301 ... c Min unsat cost LB: 41302 ... c Min unsat cost LB: 41303 ... c Min unsat cost LB: 41304 ... c Min unsat cost LB: 41305 ... c Min unsat cost LB: 41306 ... c Min unsat cost LB: 41307 ... c Min unsat cost LB: 41308 ... c Min unsat cost LB: 41309 ... c Min unsat cost LB: 41310 ... c Min unsat cost LB: 41311 ... c Min unsat cost LB: 41312 ... c Min unsat cost LB: 41419 ... c Min unsat cost LB: 41420 ... c Min unsat cost LB: 41421 ... c Min unsat cost LB: 41422 ... c Min unsat cost LB: 41423 ... c Min unsat cost LB: 41424 ... c Min unsat cost LB: 41425 ... c Min unsat cost LB: 41426 ... c Min unsat cost LB: 41427 ... c Min unsat cost LB: 41428 ... c Min unsat cost LB: 41429 ... c Min unsat cost LB: 41430 ... c Min unsat cost LB: 41431 ... c Min unsat cost LB: 41432 ... c Min unsat cost LB: 41433 ... c Min unsat cost LB: 41434 ... c Min unsat cost LB: 41435 ... c Min unsat cost LB: 41436 ... c Min unsat cost LB: 41437 ... c Min unsat cost LB: 41438 ... c Min unsat cost LB: 41439 ... c Min unsat cost LB: 41441 ... c Min unsat cost LB: 41444 ... c Min unsat cost LB: 41445 ... c Min unsat cost LB: 41446 ... c Min unsat cost LB: 41447 ... c Min unsat cost LB: 41448 ... c Min unsat cost LB: 41449 ... c Min unsat cost LB: 41450 ... c Min unsat cost LB: 41451 ... c Min unsat cost LB: 41452 ... c Min unsat cost LB: 41453 ... c Min unsat cost LB: 41467 ... c Min unsat cost LB: 41468 ... c Min unsat cost LB: 41470 ... c Min unsat cost LB: 41471 ... c Min unsat cost LB: 41472 ... c Min unsat cost LB: 41473 ... c Min unsat cost LB: 41474 ... c Min unsat cost LB: 41475 ... c Min unsat cost LB: 41477 ... c Min unsat cost LB: 41478 ... c Min unsat cost LB: 41479 ... c Min unsat cost LB: 41480 ... c Min unsat cost LB: 41482 ... c Min unsat cost LB: 41488 ... c Min unsat cost LB: 41493 ... c Min unsat cost LB: 41494 ... c Min unsat cost LB: 41495 ... c Min unsat cost LB: 41496 ... c Min unsat cost LB: 41497 ... c Min unsat cost LB: 41498 ... c Min unsat cost LB: 41501 ... c Min unsat cost LB: 41502 ... c Min unsat cost LB: 41503 ... c Min unsat cost LB: 41504 ... c Min unsat cost LB: 41505 ... c Min unsat cost LB: 41506 ... c Min unsat cost LB: 41507 ... c Min unsat cost LB: 41508 ... c Min unsat cost LB: 41509 ... c Min unsat cost LB: 41510 ... c Min unsat cost LB: 41511 ... c Min unsat cost LB: 41512 ... c Min unsat cost LB: 41513 ... c Min unsat cost LB: 41514 ... c Min unsat cost LB: 41515 ... c Min unsat cost LB: 41517 ... c Min unsat cost LB: 41521 ... c Min unsat cost LB: 41522 ... c Min unsat cost LB: 41524 ... c Min unsat cost LB: 41525 ... c Min unsat cost LB: 41526 ... c Min unsat cost LB: 41527 ... c Min unsat cost LB: 41528 ... c Min unsat cost LB: 41529 ... c Min unsat cost LB: 41530 ... c Min unsat cost LB: 41531 ... c Min unsat cost LB: 41532 ... c Min unsat cost LB: 41533 ... c Min unsat cost LB: 41534 ... c Min unsat cost LB: 41535 ... c Min unsat cost LB: 41536 ... c Min unsat cost LB: 41537 ... c Min unsat cost LB: 41539 ... c Min unsat cost LB: 41541 ... c Min unsat cost LB: 41546 ... c Min unsat cost LB: 41547 ... c Min unsat cost LB: 41560 ... c Min unsat cost LB: 41561 ... c Min unsat cost LB: 41566 ... c Min unsat cost LB: 41567 ... c Min unsat cost LB: 41568 ... c Min unsat cost LB: 41569 ... c Min unsat cost LB: 41572 ... c Min unsat cost LB: 41574 ... c Min unsat cost LB: 41575 ... c Min unsat cost LB: 41581 ... c Min unsat cost LB: 41609 ... c Min unsat cost LB: 41610 ... c Min unsat cost LB: 41611 ... c Min unsat cost LB: 41612 ... c Min unsat cost LB: 41613 ... c Min unsat cost LB: 41614 ... c Min unsat cost LB: 41615 ... c Min unsat cost LB: 41616 ... c Min unsat cost LB: 41617 ... c Min unsat cost LB: 41620 ... c Min unsat cost LB: 41621 ... c Min unsat cost LB: 41626 ... c Min unsat cost LB: 41627 ... c Min unsat cost LB: 41650 ... c Min unsat cost LB: 41651 ... c Min unsat cost LB: 41652 ... c Min unsat cost LB: 41653 ... c Min unsat cost LB: 41654 ... c Min unsat cost LB: 41655 ... c Min unsat cost LB: 41657 ... c Min unsat cost LB: 41668 ... c Min unsat cost LB: 41673 ... c Min unsat cost LB: 41675 ... c Min unsat cost LB: 41679 ... c Min unsat cost LB: 41680 ... c Min unsat cost LB: 41685 ... c Min unsat cost LB: 41686 ... c Min unsat cost LB: 41687 ... c Min unsat cost LB: 41688 ... c Min unsat cost LB: 41689 ... c Min unsat cost LB: 41690 ... c Min unsat cost LB: 41691 ... c Min unsat cost LB: 41693 ... c Min unsat cost LB: 41700 ... c Min unsat cost LB: 41702 ... c Min unsat cost LB: 41703 ... c Min unsat cost LB: 41704 ... c Min unsat cost LB: 41705 ... c Min unsat cost LB: 41706 ... c Min unsat cost LB: 41707 ... c Min unsat cost LB: 41708 ... c Min unsat cost LB: 41709 ... c Min unsat cost LB: 41710 ... c Min unsat cost LB: 41715 ... c Min unsat cost LB: 41716 ... c Min unsat cost LB: 41717 ... c Min unsat cost LB: 41718 ... c Min unsat cost LB: 41719 ... c Min unsat cost LB: 41845 ... c Min unsat cost LB: 41847 ... c Min unsat cost LB: 41848 ... c Min unsat cost LB: 41849 ... c Min unsat cost LB: 41850 ... c Min unsat cost LB: 41851 ... c Min unsat cost LB: 41853 ... c Min unsat cost LB: 41854 ... c Min unsat cost LB: 41855 ... c Min unsat cost LB: 41856 ... c Min unsat cost LB: 41857 ... c Min unsat cost LB: 41858 ... c Min unsat cost LB: 41859 ... c Min unsat cost LB: 41860 ... c Min unsat cost LB: 41861 ... c Min unsat cost LB: 41865 ... c Min unsat cost LB: 41866 ... c Min unsat cost LB: 41870 ... c Min unsat cost LB: 41871 ... c Min unsat cost LB: 41872 ... c Min unsat cost LB: 41873 ... c Min unsat cost LB: 41874 ... c Min unsat cost LB: 41878 ... c Min unsat cost LB: 41879 ... c Min unsat cost LB: 41880 ... c Min unsat cost LB: 41881 ... c Min unsat cost LB: 41882 ... c Min unsat cost LB: 41883 ... c Min unsat cost LB: 41884 ... c Min unsat cost LB: 41885 ... c Min unsat cost LB: 42029 ... c Min unsat cost LB: 42030 ... c Min unsat cost LB: 42037 ... c Min unsat cost LB: 42040 ... c Min unsat cost LB: 42206 ... c Min unsat cost LB: 42207 ... c Min unsat cost LB: 42208 ... c Min unsat cost LB: 42209 ... c Min unsat cost LB: 42210 ... c Min unsat cost LB: 42211 ... c Min unsat cost LB: 42212 ... c Min unsat cost LB: 42213 ... c Min unsat cost LB: 42214 ... c Min unsat cost LB: 42216 ... c Min unsat cost LB: 42217 ... c Min unsat cost LB: 42220 ... c Min unsat cost LB: 42221 ... c Min unsat cost LB: 42222 ... c Min unsat cost LB: 42223 ... c Min unsat cost LB: 42224 ... c Min unsat cost LB: 42225 ... c Min unsat cost LB: 42227 ... c Min unsat cost LB: 42228 ... c Min unsat cost LB: 42241 ... c Min unsat cost LB: 42242 ... c Min unsat cost LB: 42243 ... c Min unsat cost LB: 42244 ... c Min unsat cost LB: 42245 ... c Min unsat cost LB: 42246 ... c Min unsat cost LB: 42247 ... c Min unsat cost LB: 42248 ... c Min unsat cost LB: 42250 ... c Min unsat cost LB: 42254 ... c Min unsat cost LB: 42262 ... c Min unsat cost LB: 42263 ... c Min unsat cost LB: 42278 ... c Min unsat cost LB: 42279 ... c Min unsat cost LB: 42292 ... c Min unsat cost LB: 42294 ... c Min unsat cost LB: 42298 ... c Min unsat cost LB: 42358 ... c Min unsat cost LB: 42359 ... c Min unsat cost LB: 42362 ... c Min unsat cost LB: 42363 ... c Min unsat cost LB: 42365 ... c Min unsat cost LB: 42366 ... c Min unsat cost LB: 42367 ... c Min unsat cost LB: 42368 ... c Min unsat cost LB: 42369 ... c Min unsat cost LB: 42370 ... c Min unsat cost LB: 42371 ... c Min unsat cost LB: 42372 ... c Min unsat cost LB: 42373 ... c Min unsat cost LB: 42375 ... c Min unsat cost LB: 42378 ... c Min unsat cost LB: 42380 ... c Min unsat cost LB: 42381 ... c Min unsat cost LB: 42385 ... c Min unsat cost LB: 42386 ... c Min unsat cost LB: 42387 ... c Min unsat cost LB: 42388 ... c Min unsat cost LB: 42389 ... c Min unsat cost LB: 42390 ... c Min unsat cost LB: 42391 ... c Min unsat cost LB: 42392 ... c Min unsat cost LB: 42393 ... c Min unsat cost LB: 42394 ... c Min unsat cost LB: 42395 ... c Min unsat cost LB: 42396 ... c Min unsat cost LB: 42397 ... c Min unsat cost LB: 42398 ... c Min unsat cost LB: 42399 ... c Min unsat cost LB: 42400 ... c Min unsat cost LB: 42401 ... c Min unsat cost LB: 42402 ... c Min unsat cost LB: 42405 ... c Min unsat cost LB: 42406 ... c Min unsat cost LB: 42407 ... c Min unsat cost LB: 42408 ... c Min unsat cost LB: 42409 ... c Min unsat cost LB: 42410 ... c Min unsaKilled 1812.796u 6.944s 30:23.87 99.7% 0+0k 0+0io 0pf+0w