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_200_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_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_200_0001.txt.wcnf *** c c Min unsat cost LB: 32 ... c Min unsat cost LB: 201 ... c Min unsat cost LB: 233 ... c Min unsat cost LB: 402 ... c Min unsat cost LB: 571 ... c Min unsat cost LB: 603 ... c Min unsat cost LB: 635 ... c Min unsat cost LB: 667 ... c Min unsat cost LB: 836 ... c Min unsat cost LB: 1005 ... c Min unsat cost LB: 1142 ... c Min unsat cost LB: 1164 ... c Min unsat cost LB: 1196 ... c Min unsat cost LB: 1228 ... c Min unsat cost LB: 1260 ... c Min unsat cost LB: 1282 ... c Min unsat cost LB: 1451 ... c Min unsat cost LB: 1461 ... c Min unsat cost LB: 1483 ... c Min unsat cost LB: 1502 ... c Min unsat cost LB: 1515 ... c Min unsat cost LB: 1684 ... c Min unsat cost LB: 1853 ... c Min unsat cost LB: 1872 ... c Min unsat cost LB: 1904 ... c Min unsat cost LB: 2073 ... c Min unsat cost LB: 2105 ... c Min unsat cost LB: 2274 ... c Min unsat cost LB: 2443 ... c Min unsat cost LB: 2612 ... c Min unsat cost LB: 2749 ... c Min unsat cost LB: 2918 ... c Min unsat cost LB: 3105 ... c Min unsat cost LB: 3242 ... c Min unsat cost LB: 3274 ... c Min unsat cost LB: 3461 ... c Min unsat cost LB: 3630 ... c Min unsat cost LB: 3799 ... c Min unsat cost LB: 3817 ... c Min unsat cost LB: 4173 ... c Min unsat cost LB: 4342 ... c Min unsat cost LB: 4511 ... c Min unsat cost LB: 4867 ... c Min unsat cost LB: 4958 ... c Min unsat cost LB: 5081 ... c Min unsat cost LB: 5223 ... c Min unsat cost LB: 5255 ... c Min unsat cost LB: 5261 ... c Min unsat cost LB: 5384 ... c Min unsat cost LB: 5429 ... c Min unsat cost LB: 5785 ... c Min unsat cost LB: 6141 ... c Min unsat cost LB: 6163 ... c Min unsat cost LB: 6213 ... c Min unsat cost LB: 6432 ... c Min unsat cost LB: 6452 ... c Min unsat cost LB: 6484 ... c Min unsat cost LB: 6652 ... c Min unsat cost LB: 6723 ... c Min unsat cost LB: 6745 ... c Min unsat cost LB: 6763 ... c Min unsat cost LB: 6984 ... c Min unsat cost LB: 7002 ... c Min unsat cost LB: 7066 ... c Min unsat cost LB: 7235 ... c Min unsat cost LB: 7559 ... c Min unsat cost LB: 7798 ... c Min unsat cost LB: 7811 ... c Min unsat cost LB: 7966 ... c Min unsat cost LB: 8091 ... c Min unsat cost LB: 8322 ... c Min unsat cost LB: 8354 ... c Min unsat cost LB: 8479 ... c Min unsat cost LB: 8809 ... c Min unsat cost LB: 8835 ... c Min unsat cost LB: 9191 ... c Min unsat cost LB: 9430 ... c Min unsat cost LB: 9786 ... c Min unsat cost LB: 9808 ... c Min unsat cost LB: 9931 ... c Min unsat cost LB: 10047 ... c Min unsat cost LB: 10216 ... c Min unsat cost LB: 10385 ... c Min unsat cost LB: 10417 ... c Min unsat cost LB: 10872 ... c Min unsat cost LB: 11327 ... c Min unsat cost LB: 11446 ... c Min unsat cost LB: 11782 ... c Min unsat cost LB: 11901 ... c Min unsat cost LB: 12056 ... c Min unsat cost LB: 12078 ... c Min unsat cost LB: 12110 ... c Min unsat cost LB: 12565 ... c Min unsat cost LB: 13020 ... c Min unsat cost LB: 13143 ... c Min unsat cost LB: 13475 ... c Min unsat cost LB: 13598 ... c Min unsat cost LB: 13721 ... c Min unsat cost LB: 13844 ... c Min unsat cost LB: 14130 ... c Min unsat cost LB: 14162 ... c Min unsat cost LB: 14169 ... c Min unsat cost LB: 14292 ... c Min unsat cost LB: 14415 ... c Min unsat cost LB: 14538 ... c Min unsat cost LB: 14560 ... c Min unsat cost LB: 14799 ... c Min unsat cost LB: 15108 ... c Min unsat cost LB: 15563 ... c Min unsat cost LB: 15709 ... c Min unsat cost LB: 15795 ... c Min unsat cost LB: 15872 ... c Min unsat cost LB: 16104 ... c Min unsat cost LB: 16126 ... c Min unsat cost LB: 16148 ... c Min unsat cost LB: 16170 ... c Min unsat cost LB: 16179 ... c Min unsat cost LB: 16488 ... c Min unsat cost LB: 16921 ... c Min unsat cost LB: 17376 ... c Min unsat cost LB: 17501 ... c Min unsat cost LB: 17528 ... c Min unsat cost LB: 17810 ... c Min unsat cost LB: 17983 ... c Min unsat cost LB: 18005 ... c Min unsat cost LB: 18141 ... c Min unsat cost LB: 18380 ... c Min unsat cost LB: 18505 ... c Min unsat cost LB: 18678 ... c Min unsat cost LB: 18748 ... c Min unsat cost LB: 18770 ... c Min unsat cost LB: 18802 ... c Min unsat cost LB: 18834 ... c Min unsat cost LB: 18866 ... c Min unsat cost LB: 19003 ... c Min unsat cost LB: 19035 ... c Min unsat cost LB: 19067 ... c Min unsat cost LB: 19236 ... c Min unsat cost LB: 19268 ... c Min unsat cost LB: 19437 ... c Min unsat cost LB: 19447 ... c Min unsat cost LB: 19572 ... c Min unsat cost LB: 19612 ... c Min unsat cost LB: 19697 ... c Min unsat cost LB: 19719 ... c Min unsat cost LB: 19737 ... c Min unsat cost LB: 19844 ... c Min unsat cost LB: 19862 ... c Min unsat cost LB: 19896 ... c Min unsat cost LB: 19999 ... c Min unsat cost LB: 20031 ... c Min unsat cost LB: 20063 ... c Min unsat cost LB: 20078 ... c Min unsat cost LB: 20112 ... c Min unsat cost LB: 20144 ... c Min unsat cost LB: 20237 ... c Min unsat cost LB: 20255 ... c Min unsat cost LB: 20269 ... c Min unsat cost LB: 20291 ... c Min unsat cost LB: 20300 ... c Min unsat cost LB: 20376 ... c Min unsat cost LB: 20407 ... c Min unsat cost LB: 20411 ... c Min unsat cost LB: 20546 ... c Min unsat cost LB: 20580 ... c Min unsat cost LB: 20612 ... c Min unsat cost LB: 20644 ... c Min unsat cost LB: 20813 ... c Min unsat cost LB: 20982 ... c Min unsat cost LB: 21004 ... c Min unsat cost LB: 21010 ... c Min unsat cost LB: 21036 ... c Min unsat cost LB: 21104 ... c Min unsat cost LB: 21129 ... c Min unsat cost LB: 21136 ... c Min unsat cost LB: 21258 ... c Min unsat cost LB: 21290 ... c Min unsat cost LB: 21427 ... c Min unsat cost LB: 21441 ... c Min unsat cost LB: 21452 ... c Min unsat cost LB: 21589 ... c Min unsat cost LB: 21598 ... c Min unsat cost LB: 21611 ... c Min unsat cost LB: 21621 ... c Min unsat cost LB: 21748 ... c Min unsat cost LB: 21755 ... c Min unsat cost LB: 21777 ... c Min unsat cost LB: 21799 ... c Min unsat cost LB: 21821 ... c Min unsat cost LB: 21827 ... c Min unsat cost LB: 21837 ... c Min unsat cost LB: 21859 ... c Min unsat cost LB: 21894 ... c Min unsat cost LB: 21900 ... c Min unsat cost LB: 21912 ... c Min unsat cost LB: 22016 ... c Min unsat cost LB: 22028 ... c Min unsat cost LB: 22178 ... c Min unsat cost LB: 22301 ... c Min unsat cost LB: 22424 ... c Min unsat cost LB: 22547 ... c Min unsat cost LB: 22579 ... c Min unsat cost LB: 22611 ... c Min unsat cost LB: 22677 ... c Min unsat cost LB: 22746 ... c Min unsat cost LB: 22882 ... c Min unsat cost LB: 22901 ... c Min unsat cost LB: 22955 ... c Min unsat cost LB: 23024 ... c Min unsat cost LB: 23043 ... c Min unsat cost LB: 23046 ... c Min unsat cost LB: 23056 ... c Min unsat cost LB: 23088 ... c Min unsat cost LB: 23090 ... c Min unsat cost LB: 23197 ... c Min unsat cost LB: 23211 ... c Min unsat cost LB: 23259 ... c Min unsat cost LB: 23302 ... c Min unsat cost LB: 23321 ... c Min unsat cost LB: 23565 ... c Min unsat cost LB: 23776 ... c Min unsat cost LB: 23899 ... c Min unsat cost LB: 23998 ... c Min unsat cost LB: 24022 ... c Min unsat cost LB: 24044 ... c Min unsat cost LB: 24055 ... c Min unsat cost LB: 24077 ... c Min unsat cost LB: 24099 ... c Min unsat cost LB: 24169 ... c Min unsat cost LB: 24434 ... c Min unsat cost LB: 24441 ... c Min unsat cost LB: 24456 ... c Min unsat cost LB: 24487 ... c Min unsat cost LB: 24655 ... c Min unsat cost LB: 24677 ... c Min unsat cost LB: 24681 ... c Min unsat cost LB: 24713 ... c Min unsat cost LB: 24752 ... c Min unsat cost LB: 24763 ... c Min unsat cost LB: 24815 ... c Min unsat cost LB: 24822 ... c Min unsat cost LB: 24882 ... c Min unsat cost LB: 24938 ... c Min unsat cost LB: 25072 ... c Min unsat cost LB: 25362 ... c Min unsat cost LB: 25393 ... c Min unsat cost LB: 25415 ... c Min unsat cost LB: 25652 ... c Min unsat cost LB: 25831 ... c Min unsat cost LB: 25853 ... c Min unsat cost LB: 25961 ... c Min unsat cost LB: 25990 ... c Min unsat cost LB: 26022 ... c Min unsat cost LB: 26041 ... c Min unsat cost LB: 26270 ... c Min unsat cost LB: 26336 ... c Min unsat cost LB: 26373 ... c Min unsat cost LB: 26395 ... c Min unsat cost LB: 26645 ... c Min unsat cost LB: 26704 ... c Min unsat cost LB: 26850 ... c Min unsat cost LB: 26954 ... c Min unsat cost LB: 27079 ... c Min unsat cost LB: 27084 ... c Min unsat cost LB: 27323 ... c Min unsat cost LB: 27329 ... c Min unsat cost LB: 27338 ... c Min unsat cost LB: 27345 ... c Min unsat cost LB: 27371 ... c Min unsat cost LB: 27439 ... c Min unsat cost LB: 27454 ... c Min unsat cost LB: 27471 ... c Min unsat cost LB: 27476 ... c Min unsat cost LB: 27494 ... c Min unsat cost LB: 27522 ... c Min unsat cost LB: 27535 ... c Min unsat cost LB: 27546 ... c Min unsat cost LB: 27547 ... c Min unsat cost LB: 27562 ... c Min unsat cost LB: 27594 ... c Min unsat cost LB: 27698 ... c Min unsat cost LB: 27717 ... c Min unsat cost LB: 27731 ... c Min unsat cost LB: 27781 ... c Min unsat cost LB: 27807 ... c Min unsat cost LB: 27826 ... c Min unsat cost LB: 27855 ... c Min unsat cost LB: 27893 ... c Min unsat cost LB: 27915 ... c Min unsat cost LB: 27919 ... c Min unsat cost LB: 27994 ... c Min unsat cost LB: 28003 ... c Min unsat cost LB: 28014 ... c Min unsat cost LB: 28018 ... c Min unsat cost LB: 28021 ... c Min unsat cost LB: 28031 ... c Min unsat cost LB: 28071 ... c Min unsat cost LB: 28091 ... c Min unsat cost LB: 28105 ... c Min unsat cost LB: 28162 ... c Min unsat cost LB: 28168 ... c Min unsat cost LB: 28179 ... c Min unsat cost LB: 28191 ... c Min unsat cost LB: 28253 ... c Min unsat cost LB: 28291 ... c Min unsat cost LB: 28297 ... c Min unsat cost LB: 28368 ... c Min unsat cost LB: 28446 ... c Min unsat cost LB: 28454 ... c Min unsat cost LB: 28486 ... c Min unsat cost LB: 28504 ... c Min unsat cost LB: 28526 ... c Min unsat cost LB: 28537 ... c Min unsat cost LB: 28704 ... c Min unsat cost LB: 28706 ... c Min unsat cost LB: 28784 ... c Min unsat cost LB: 28799 ... c Min unsat cost LB: 28856 ... c Min unsat cost LB: 29010 ... c Min unsat cost LB: 29077 ... c Min unsat cost LB: 29093 ... c Min unsat cost LB: 29199 ... c Min unsat cost LB: 29212 ... c Min unsat cost LB: 29239 ... c Min unsat cost LB: 29270 ... c Min unsat cost LB: 29322 ... c Min unsat cost LB: 29389 ... c Min unsat cost LB: 29454 ... c Min unsat cost LB: 29458 ... c Min unsat cost LB: 29481 ... c Min unsat cost LB: 29664 ... c Min unsat cost LB: 29684 ... c Min unsat cost LB: 29767 ... c Min unsat cost LB: 29786 ... c Min unsat cost LB: 29792 ... c Min unsat cost LB: 29806 ... c Min unsat cost LB: 29918 ... c Min unsat cost LB: 29940 ... c Min unsat cost LB: 29972 ... c Min unsat cost LB: 29994 ... c Min unsat cost LB: 30029 ... c Min unsat cost LB: 30042 ... c Min unsat cost LB: 30057 ... c Min unsat cost LB: 30071 ... c Min unsat cost LB: 30085 ... c Min unsat cost LB: 30109 ... c Min unsat cost LB: 30119 ... c Min unsat cost LB: 30131 ... c Min unsat cost LB: 30191 ... c Min unsat cost LB: 30220 ... c Min unsat cost LB: 30242 ... c Min unsat cost LB: 30248 ... c Min unsat cost LB: 30267 ... c Min unsat cost LB: 30334 ... c Min unsat cost LB: 30336 ... c Min unsat cost LB: 30363 ... c Min unsat cost LB: 30380 ... c Min unsat cost LB: 30395 ... c Min unsat cost LB: 30435 ... c Min unsat cost LB: 30474 ... c Min unsat cost LB: 30476 ... c Min unsat cost LB: 30503 ... c Min unsat cost LB: 30525 ... c Min unsat cost LB: 30528 ... c Min unsat cost LB: 30532 ... c Min unsat cost LB: 30535 ... c Min unsat cost LB: 30559 ... c Min unsat cost LB: 30563 ... c Min unsat cost LB: 30566 ... c Min unsat cost LB: 30587 ... c Min unsat cost LB: 30615 ... c Min unsat cost LB: 30626 ... c Min unsat cost LB: 30661 ... c Min unsat cost LB: 30671 ... c Min unsat cost LB: 30703 ... c Min unsat cost LB: 30713 ... c Min unsat cost LB: 30757 ... c Min unsat cost LB: 30760 ... c Min unsat cost LB: 30771 ... c Min unsat cost LB: 30783 ... c Min unsat cost LB: 30789 ... c Min unsat cost LB: 30806 ... c Min unsat cost LB: 30813 ... c Min unsat cost LB: 30894 ... c Min unsat cost LB: 30904 ... c Min unsat cost LB: 30907 ... c Min unsat cost LB: 30910 ... c Min unsat cost LB: 30919 ... c Min unsat cost LB: 30931 ... c Min unsat cost LB: 30965 ... c Min unsat cost LB: 30976 ... c Min unsat cost LB: 30979 ... c Min unsat cost LB: 31001 ... c Min unsat cost LB: 31011 ... c Min unsat cost LB: 31020 ... c Min unsat cost LB: 31035 ... c Min unsat cost LB: 31046 ... c Min unsat cost LB: 31127 ... c Min unsat cost LB: 31150 ... c Min unsat cost LB: 31157 ... c Min unsat cost LB: 31184 ... c Min unsat cost LB: 31196 ... c Min unsat cost LB: 31200 ... c Min unsat cost LB: 31225 ... c Min unsat cost LB: 31247 ... c Min unsat cost LB: 31257 ... c Min unsat cost LB: 31268 ... c Min unsat cost LB: 31270 ... c Min unsat cost LB: 31273 ... c Min unsat cost LB: 31297 ... c Min unsat cost LB: 31300 ... c Min unsat cost LB: 31308 ... c Min unsat cost LB: 31344 ... c Min unsat cost LB: 31369 ... c Min unsat cost LB: 31400 ... c Min unsat cost LB: 31407 ... c Min unsat cost LB: 31409 ... c Min unsat cost LB: 31485 ... c Min unsat cost LB: 31509 ... c Min unsat cost LB: 31523 ... c Min unsat cost LB: 31526 ... c Min unsat cost LB: 31533 ... c Min unsat cost LB: 31536 ... c Min unsat cost LB: 31545 ... c Min unsat cost LB: 31549 ... c Min unsat cost LB: 31555 ... c Min unsat cost LB: 31562 ... c Min unsat cost LB: 31565 ... c Min unsat cost LB: 31568 ... c Min unsat cost LB: 31571 ... c Min unsat cost LB: 31574 ... c Min unsat cost LB: 31576 ... c Min unsat cost LB: 31578 ... c Min unsat cost LB: 31584 ... c Min unsat cost LB: 31587 ... c Min unsat cost LB: 31590 ... c Min unsat cost LB: 31592 ... c Min unsat cost LB: 31594 ... c Min unsat cost LB: 31597 ... c Min unsat cost LB: 31598 ... c Min unsat cost LB: 31601 ... c Min unsat cost LB: 31608 ... c Min unsat cost LB: 31612 ... c Min unsat cost LB: 31613 ... c Min unsat cost LB: 31614 ... c Min unsat cost LB: 31621 ... c Min unsat cost LB: 31623 ... c Min unsat cost LB: 31624 ... c Min unsat cost LB: 31629 ... c Min unsat cost LB: 31630 ... c Min unsat cost LB: 31631 ... c Min unsat cost LB: 31632 ... c Min unsat cost LB: 31633 ... c Min unsat cost LB: 31636 ... c Min unsat cost LB: 31639 ... c Min unsat cost LB: 31640 ... c Min unsat cost LB: 31643 ... c Min unsat cost LB: 31653 ... c Min unsat cost LB: 31660 ... c Min unsat cost LB: 31675 ... c Min unsat cost LB: 31677 ... c Min unsat cost LB: 31678 ... c Min unsat cost LB: 31693 ... c Min unsat cost LB: 31695 ... c Min unsat cost LB: 31698 ... c Min unsat cost LB: 31700 ... c Min unsat cost LB: 31701 ... c Min unsat cost LB: 31702 ... c Min unsat cost LB: 31706 ... c Min unsat cost LB: 31707 ... c Min unsat cost LB: 31712 ... c Min unsat cost LB: 31713 ... c Min unsat cost LB: 31732 ... c Min unsat cost LB: 31733 ... c Min unsat cost LB: 31734 ... c Min unsat cost LB: 31789 ... c Min unsat cost LB: 31790 ... c Min unsat cost LB: 31818 ... c Min unsat cost LB: 31828 ... c Min unsat cost LB: 31849 ... c Min unsat cost LB: 31851 ... c Min unsat cost LB: 31852 ... c Min unsat cost LB: 31859 ... c Min unsat cost LB: 31863 ... c Min unsat cost LB: 31865 ... c Min unsat cost LB: 31867 ... c Min unsat cost LB: 31868 ... c Min unsat cost LB: 31872 ... c Min unsat cost LB: 31875 ... c Min unsat cost LB: 31879 ... c Min unsat cost LB: 31880 ... c Min unsat cost LB: 31894 ... c Min unsat cost LB: 31895 ... c Min unsat cost LB: 31896 ... c Min unsat cost LB: 31898 ... c Min unsat cost LB: 31904 ... c Min unsat cost LB: 31905 ... c Min unsat cost LB: 31909 ... c Min unsat cost LB: 31910 ... c Min unsat cost LB: 31911 ... c Min unsat cost LB: 31912 ... c Min unsat cost LB: 31915 ... c Min unsat cost LB: 31916 ... c Min unsat cost LB: 31917 ... c Min unsat cost LB: 31920 ... c Min unsat cost LB: 31921 ... c Min unsat cost LB: 31922 ... c Min unsat cost LB: 31923 ... c Min unsat cost LB: 31924 ... c Min unsat cost LB: 31925 ... c Min unsat cost LB: 31926 ... c Min unsat cost LB: 31927 ... c Min unsat cost LB: 31928 ... c Min unsat cost LB: 31929 ... c Min unsat cost LB: 31930 ... c Min unsat cost LB: 31931 ... c Min unsat cost LB: 31932 ... c Min unsat cost LB: 31933 ... c Min unsat cost LB: 31934 ... c Min unsat cost LB: 31935 ... c Min unsat cost LB: 31936 ... c Min unsat cost LB: 31937 ... c Min unsat cost LB: 31948 ... c Min unsat cost LB: 31949 ... c Min unsat cost LB: 31950 ... c Min unsat cost LB: 31951 ... c Min unsat cost LB: 31952 ... c Min unsat cost LB: 31953 ... c Min unsat cost LB: 31954 ... c Min unsat cost LB: 31955 ... c Min unsat cost LB: 31956 ... c Min unsat cost LB: 31957 ... c Min unsat cost LB: 31958 ... c Min unsat cost LB: 31959 ... c Min unsat cost LB: 31960 ... c Min unsat cost LB: 31963 ... c Min unsat cost LB: 31965 ... c Min unsat cost LB: 31966 ... c Min unsat cost LB: 31974 ... c Min unsat cost LB: 31975 ... c Min unsat cost LB: 31976 ... c Min unsat cost LB: 31977 ... c Min unsat cost LB: 31978 ... c Min unsat cost LB: 31979 ... c Min unsat cost LB: 31980 ... c Min unsat cost LB: 31981 ... c Min unsat cost LB: 31982 ... c Min unsat cost LB: 31983 ... c Min unsat cost LB: 31985 ... c Min unsat cost LB: 31986 ... c Min unsat cost LB: 31987 ... c Min unsat cost LB: 31988 ... c Min unsat cost LB: 31989 ... c Min unsat cost LB: 31992 ... c Min unsat cost LB: 32001 ... c Min unsat cost LB: 32003 ... c Min unsat cost LB: 32004 ... c Min unsat cost LB: 32014 ... c Min unsat cost LB: 32026 ... c Min unsat cost LB: 32034 ... c Min unsat cost LB: 32037 ... c Min unsat cost LB: 32049 ... c Min unsat cost LB: 32052 ... c Min unsat cost LB: 32053 ... c Min unsat cost LB: 32055 ... c Min unsat cost LB: 32134 ... c Min unsat cost LB: 32137 ... c Min unsat cost LB: 32138 ... c Min unsat cost LB: 32165 ... c Min unsat cost LB: 32168 ... c Min unsat cost LB: 32179 ... c Min unsat cost LB: 32180 ... c Min unsat cost LB: 32186 ... c Min unsat cost LB: 32204 ... c Min unsat cost LB: 32205 ... c Min unsat cost LB: 32210 ... c Min unsat cost LB: 32219 ... c Min unsat cost LB: 32223 ... c Min unsat cost LB: 32224 ... c Min unsat cost LB: 32226 ... c Min unsat cost LB: 32227 ... c Min unsat cost LB: 32228 ... c Min unsat cost LB: 32229 ... c Min unsat cost LB: 32230 ... c Min unsat cost LB: 32234 ... c Min unsat cost LB: 32249 ... c Min unsat cost LB: 32251 ... c Min unsat cost LB: 32256 ... c Min unsat cost LB: 32267 ... c Min unsat cost LB: 32275 ... c Min unsat cost LB: 32307 ... c Min unsat cost LB: 32309 ... c Min unsat cost LB: 32317 ... c Min unsat cost LB: 32324 ... c Min unsat cost LB: 32325 ... c Min unsat cost LB: 32326 ... c Min unsat cost LB: 32328 ... c Min unsat cost LB: 32332 ... c Min unsat cost LB: 32335 ... c Min unsat cost LB: 32336 ... c Min unsat cost LB: 32337 ... c Min unsat cost LB: 32338 ... c Min unsat cost LB: 32340 ... c Min unsat cost LB: 32341 ... c Min unsat cost LB: 32344 ... c Min unsat cost LB: 32345 ... c Min unsat cost LB: 32356 ... c Min unsat cost LB: 32358 ... c Min unsat cost LB: 32360 ... c Min unsat cost LB: 32361 ... c Min unsat cost LB: 32369 ... c Min unsat cost LB: 32371 ... c Min unsat cost LB: 32372 ... c Min unsat cost LB: 32373 ... c Min unsat cost LB: 32374 ... c Min unsat cost LB: 32375 ... c Min unsat cost LB: 32377 ... c Min unsat cost LB: 32380 ... c Min unsat cost LB: 32388 ... c Min unsat cost LB: 32389 ... c Min unsat cost LB: 32390 ... c Min unsat cost LB: 32391 ... c Min unsat cost LB: 32392 ... c Min unsat cost LB: 32393 ... c Min unsat cost LB: 32394 ... c Min unsat cost LB: 32400 ... c Min unsat cost LB: 32401 ... c Min unsat cost LB: 32409 ... c Min unsat cost LB: 32416 ... c Min unsat cost LB: 32417 ... c Min unsat cost LB: 32418 ... c Min unsat cost LB: 32421 ... c Min unsat cost LB: 32424 ... c Min unsat cost LB: 32427 ... c Min unsat cost LB: 32430 ... c Min unsat cost LB: 32431 ... c Min unsat cost LB: 32432 ... c Min unsat cost LB: 32436 ... c Min unsat cost LB: 32456 ... c Min unsat cost LB: 32457 ... c Min unsat cost LB: 32459 ... c Min unsat cost LB: 32460 ... c Min unsat cost LB: 32461 ... c Min unsat cost LB: 32463 ... c Min unsat cost LB: 32464 ... c Min unsat cost LB: 32465 ... c Min unsat cost LB: 32466 ... c Min unsat cost LB: 32467 ... c Min unsat cost LB: 32468 ... c Min unsat cost LB: 32469 ... c Min unsat cost LB: 32470 ... c Min unsat cost LB: 32471 ... c Min unsat cost LB: 32472 ... c Min unsat cost LB: 32473 ... c Min unsat cost LB: 32474 ... c Min unsat cost LB: 32475 ... c Min unsat cost LB: 32476 ... c Min unsat cost LB: 32479 ... c Min unsat cost LB: 32480 ... c Min unsat cost LB: 32482 ... c Min unsat cost LB: 32483 ... c Min unsat cost LB: 32484 ... c Min unsat cost LB: 32486 ... c Min unsat cost LB: 32487 ... c Min unsat cost LB: 32488 ... c Min unsat cost LB: 32489 ... c Min unsat cost LB: 32491 ... c Min unsat cost LB: 32493 ... c Min unsat cost LB: 32495 ... c Min unsat cost LB: 32497 ... c Min unsat cost LB: 32501 ... c Min unsat cost LB: 32502 ... c Min unsat cost LB: 32503 ... c Min unsat cost LB: 32505 ... c Min unsat cost LB: 32507 ... c Min unsat cost LB: 32508 ... c Min unsat cost LB: 32509 ... c Min unsat cost LB: 32510 ... c Min unsat cost LB: 32515 ... c Min unsat cost LB: 32516 ... c Min unsat cost LB: 32517 ... c Min unsat cost LB: 32518 ... c Min unsat cost LB: 32519 ... c Min unsat cost LB: 32520 ... c Min unsat cost LB: 32521 ... c Min unsat cost LB: 32522 ... c Min unsat cost LB: 32523 ... c Min unsat cost LB: 32524 ... c Min unsat cost LB: 32525 ... c Min unsat cost LB: 32526 ... c Min unsat cost LB: 32527 ... c Min unsat cost LB: 32528 ... c Min unsat cost LB: 32530 ... c Min unsat cost LB: 32531 ... c Min unsat cost LB: 32532 ... c Min unsat cost LB: 32533 ... c Min unsat cost LB: 32534 ... c Min unsat cost LB: 32535 ... c Min unsat cost LB: 32536 ... c Min unsat cost LB: 32537 ... c Min unsat cost LB: 32538 ... c Min unsat cost LB: 32539 ... c Min unsat cost LB: 32540 ... c Min unsat cost LB: 32541 ... c Min unsat cost LB: 32542 ... c Min unsat cost LB: 32543 ... c Min unsat cost LB: 32544 ... c Min unsat cost LB: 32546 ... c Min unsat cost LB: 32547 ... c Min unsat cost LB: 32548 ... c Min unsat cost LB: 32549 ... c Min unsat cost LB: 32638 ... c Min unsat cost LB: 32639 ... c Min unsat cost LB: 32640 ... c Min unsat cost LB: 32641 ... c Min unsat cost LB: 32642 ... c Min unsat cost LB: 32643 ... c Min unsat cost LB: 32645 ... c Min unsat cost LB: 32647 ... c Min unsat cost LB: 32648 ... c Min unsat cost LB: 32649 ... c Min unsat cost LB: 32650 ... c Min unsat cost LB: 32651 ... c Min unsat cost LB: 32652 ... c Min unsat cost LB: 32653 ... c Min unsat cost LB: 32654 ... c Min unsat cost LB: 32655 ... c Min unsat cost LB: 32656 ... c Min unsat cost LB: 32657 ... c Min unsat cost LB: 32658 ... c Min unsat cost LB: 32659 ... c Min unsat cost LB: 32660 ... c Min unsat cost LB: 32661 ... c Min unsat cost LB: 32662 ... c Min unsat cost LB: 32663 ... c Min unsat cost LB: 32664 ... c Min unsat cost LB: 32665 ... c Min unsat cost LB: 32666 ... c Min unsat cost LB: 32667 ... c Min unsat cost LB: 32668 ... c Min unsat cost LB: 32669 ... c Min unsat cost LB: 32670 ... c Min unsat cost LB: 32671 ... c Min unsat cost LB: 32672 ... c Min unsat cost LB: 32674 ... c Min unsat cost LB: 32677 ... c Min unsat cost LB: 32678 ... c Min unsat cost LB: 32679 ... c Min unsat cost LB: 32680 ... c Min unsat cost LB: 32681 ... c Min unsat cost LB: 32682 ... c Min unsat cost LB: 32683 ... c Min unsat cost LB: 32684 ... c Min unsat cost LB: 32685 ... c Min unsat cost LB: 32686 ... c Min unsat cost LB: 32709 ... c Min unsat cost LB: 32739 ... c Min unsat cost LB: 32748 ... c Min unsat cost LB: 32756 ... c Min unsat cost LB: 32757 ... c Min unsat cost LB: 32759 ... c Min unsat cost LB: 32762 ... c Min unsat cost LB: 32763 ... c Min unsat cost LB: 32764 ... c Min unsat cost LB: 32765 ... c Min unsat cost LB: 32768 ... c Min unsat cost LB: 32770 ... c Min unsat cost LB: 32774 ... c Min unsat cost LB: 32776 ... c Min unsat cost LB: 32778 ... c Min unsat cost LB: 32779 ... c Min unsat cost LB: 32780 ... c Min unsat cost LB: 32782 ... c Min unsat cost LB: 32783 ... c Min unsat cost LB: 32784 ... c Min unsat cost LB: 32785 ... c Min unsat cost LB: 32786 ... c Min unsat cost LB: 32787 ... c Min unsat cost LB: 32788 ... c Min unsat cost LB: 32789 ... c Min unsat cost LB: 32795 ... c Min unsat cost LB: 32796 ... c Min unsat cost LB: 32798 ... c Min unsat cost LB: 32799 ... c Min unsat cost LB: 32803 ... c Min unsat cost LB: 32804 ... c Min unsat cost LB: 32805 ... c Min unsat cost LB: 32806 ... c Min unsat cost LB: 32807 ... c Min unsat cost LB: 32808 ... c Min unsat cost LB: 32821 ... c Min unsat cost LB: 32822 ... c Min unsat cost LB: 32867 ... c Min unsat cost LB: 32868 ... c Min unsat cost LB: 32869 ... c Min unsat cost LB: 32870 ... c Min unsat cost LB: 32871 ... c Min unsat cost LB: 32872 ... c Min unsat cost LB: 32873 ... c Min unsat cost LB: 32874 ... c Min unsat cost LB: 32879 ... c Min unsat cost LB: 32885 ... c Min unsat cost LB: 32892 ... c Min unsat cost LB: 32893 ... c Min unsat cost LB: 32898 ... c Min unsat cost LB: 32900 ... c Min unsat cost LB: 32901 ... c Min unsat cost LB: 32903 ... c Min unsat cost LB: 32904 ... c Min unsat cost LB: 32905 ... c Min unsat cost LB: 32906 ... c Min unsat cost LB: 32907 ... c Min unsat cost LB: 32908 ... c Min unsat cost LB: 32909 ... c Min unsat cost LB: 32910 ... c Min unsat cost LB: 32911 ... c Min unsat cost LB: 32912 ... c Min unsat cost LB: 32913 ... c Min unsat cost LB: 32914 ... c Min unsat cost LB: 32915 ... c Min unsat cost LB: 32916 ... c Min unsat cost LB: 32917 ... c Min unsat cost LB: 32918 ... c Min unsat cost LB: 32919 ... c Min unsat cost LB: 32925 ... c Min unsat cost LB: 32926 ... c Min unsat cost LB: 32927 ... c Min unsat cost LB: 32928 ... c Min unsat cost LB: 32929 ... c Min unsat cost LB: 32930 ... c Min unsat cost LB: 32931 ... c Min unsat cost LB: 32932 ... c Min unsat cost LB: 32933 ... c Min unsat cost LB: 32934 ... c Min unsat cost LB: 32935 ... c Min unsat cost LB: 32936 ... c Min unsat cost LB: 32937 ... c Min unsat cost LB: 32938 ... c Min unsat cost LB: 32939 ... c Min unsat cost LB: 32940 ... c Min unsat cost LB: 32941 ... c Min unsat cost LB: 32942 ... c Min unsat cost LB: 32943 ... c Min unsat cost LB: 32944 ... c Min unsat cost LB: 32945 ... c Min unsat cost LB: 32946 ... c Min unsat cost LB: 32947 ... c Min unsat cost LB: 32948 ... c Min unsat cost LB: 32949 ... c Min unsat cost LB: 32950 ... c Min unsat cost LB: 32951 ... c Min unsat cost LB: 32952 ... c Min unsat cost LB: 32953 ... c Min unsat cost LB: 32954 ... c Min unsat cost LB: 32955 ... c Min unsat cost LB: 32956 ... c Min unsat cost LB: 32959 ... c Min unsat cost LB: 32960 ... c Min unsat cost LB: 32961 ... c Min unsat cost LB: 33006 ... c Min unsat cost LB: 33007 ... c Min unsat cost LB: 33008 ... c Min unsat cost LB: 33009 ... c Min unsat cost LB: 33010 ... c Min unsat cost LB: 33011 ... c Min unsat cost LB: 33012 ... c Min unsat cost LB: 33013 ... c Min unsat cost LB: 33014 ... c Min unsat cost LB: 33015 ... c Min unsat cost LB: 33016 ... c Min unsat cost LB: 33017 ... c Min unsat cost LB: 33018 ... c Min unsat cost LB: 33019 ... c Min unsat cost LB: 33020 ... c Min unsat cost LB: 33021 ... c Min unsat cost LB: 33022 ... c Min unsat cost LB: 33025 ... c Min unsat cost LB: 33026 ... c Min unsat cost LB: 33028 ... c Min unsat cost LB: 33034 ... c Min unsat cost LB: 33036 ... c Min unsat cost LB: 33053 ... c Min unsat cost LB: 33105 ... c Min unsat cost LB: 33107 ... c Min unsat cost LB: 33108 ... c Min unsat cost LB: 33110 ... c Min unsat cost LB: 33114 ... c Min unsat cost LB: 33116 ... c Min unsat cost LB: 33117 ... c Min unsat cost LB: 33122 ... c Min unsat cost LB: 33123 ... c Min unsat cost LB: 33124 ... c Min unsat cost LB: 33125 ... c Min unsat cost LB: 33126 ... c Min unsat cost LB: 33127 ... c Min unsat cost LB: 33128 ... c Min unsat cost LB: 33129 ... c Min unsat cost LB: 33130 ... c Min unsat cost LB: 33139 ... c Min unsat cost LB: 33150 ... c Min unsat cost LB: 33170 ... c Min unsat cost LB: 33174 ... c Min unsat cost LB: 33175 ... c Min unsat cost LB: 33186 ... c Min unsat cost LB: 33187 ... c Min unsat cost LB: 33199 ... c Min unsat cost LB: 33207 ... c Min unsat cost LB: 33208 ... c Min unsat cost LB: 33209 ... c Min unsat cost LB: 33217 ... c Min unsat cost LB: 33218 ... c Min unsat cost LB: 33219 ... c Min unsat cost LB: 33220 ... c Min unsat cost LB: 33221 ... c Min unsat cost LB: 33222 ... c Min unsat cost LB: 33223 ... c Min unsat cost LB: 33224 ... c Min unsat cost LB: 33225 ... c Min unsat cost LB: 33226 ... c Min unsat cost LB: 33227 ... c Min unsat cost LB: 33228 ... c Min unsat cost LB: 33231 ... c Min unsat cost LB: 33234 ... c Min unsat cost LB: 33235 ... c Min unsat cost LB: 33243 ... c Min unsat cost LB: 33252 ... c Min unsat cost LB: 33259 ... c Min unsat cost LB: 33260 ... c Min unsat cost LB: 33261 ... c Min unsat cost LB: 33269 ... c Min unsat cost LB: 33270 ... c Min unsat cost LB: 33280 ... c Min unsat cost LB: 33281 ... c Min unsat cost LB: 33284 ... c Min unsat cost LB: 33285 ... c Min unsat cost LB: 33286 ... c Min unsat cost LB: 33287 ... c Min unsat cost LB: 33288 ... c Min unsat cost LB: 33289 ... c Min unsat cost LB: 33294 ... c Min unsat cost LB: 33321 ... c Min unsat cost LB: 33362 ... c Min unsat cost LB: 33375 ... c Min unsat cost LB: 33405 ... c Min unsat cost LB: 33406 ... c Min unsat cost LB: 33407 ... c Min unsat cost LB: 33408 ... c Min unsat cost LB: 33409 ... c Min unsat cost LB: 33420 ... c Min unsat cost LB: 33422 ... c Min unsat cost LB: 33423 ... c Min unsat cost LB: 33425 ... c Min unsat cost LB: 33453 ... c Min unsat cost LB: 33455 ... c Min unsat cost LB: 33459 ... c Min unsat cost LB: 33460 ... c Min unsat cost LB: 33462 ... c Min unsat cost LB: 33468 ... c Min unsat cost LB: 33469 ... c Min unsat cost LB: 33534 ... c Min unsat cost LB: 33535 ... c Min unsat cost LB: 33548 ... c Min unsat cost LB: 33549 ... c Min unsat cost LB: 33550 ... c Min unsat cost LB: 33551 ... c Min unsat cost LB: 33552 ... c Min unsat cost LB: 33553 ... c Min unsat cost LB: 33559 ... c Min unsat cost LB: 33562 ... c Min unsat cost LB: 33563 ... c Min unsat cost LB: 33564 ... c Min unsat cost LB: 33565 ... c Min unsat cost LB: 33566 ... c Min unsat cost LB: 33567 ... c Min unsat cost LB: 33568 ... c Min unsat cost LB: 33569 ... c Min unsat cost LB: 33573 ... c Min unsat cost LB: 33574 ... c Min unsat cost LB: 33576 ... c Min unsat cost LB: 33579 ... c Min unsat cost LB: 33580 ... c Min unsat cost LB: 33581 ... c Min unsat cost LB: 33582 ... c Min unsat cost LB: 33583 ... c Min unsat cost LB: 33584 ... c Min unsat cost LB: 33585 ... c Min unsat cost LB: 33586 ... c Min unsat cost LB: 33587 ... c Min unsat cost LB: 33588 ... c Min unsat cost LB: 33589 ... c Min unsat cost LB: 33590 ... c Min unsat cost LB: 33591 ... c Min unsat cost LB: 33592 ... c Min unsat cost LB: 33593 ... c Min unsat cost LB: 33594 ... c Min unsat cost LB: 33595 ... c Min unsat cost LB: 33596 ... c Min unsat cost LB: 33754 ... c Min unsat cost LB: 33755 ... c Min unsat cost LB: 33756 ... c Min unsat cost LB: 33757 ... c Min unsat cost LB: 33758 ... c Min unsat cost LB: 33759 ... c Min unsat cost LB: 33760 ... c Min unsat cost LB: 33761 ... c Min unsat cost LB: 33762 ... c Min unsat cost LB: 33763 ... c Min unsat cost LB: 33764 ... c Min unsat cost LB: 33765 ... c Min unsat cost LB: 33766 ... c Min unsat cost LB: 33767 ... c Min unsat cost LB: 33769 ... c Min unsat cost LB: 33771 ... c Min unsat cost LB: 33772 ... c Min unsat cost LB: 33773 ... c Min unsat cost LB: 33774 ... c Min unsat cost LB: 33775 ... c Min unsat cost LB: 33776 ... c Min unsat cost LB: 33777 ... c Min unsat cost LB: 33778 ... c Min unsat cost LB: 33779 ... c Min unsat cost LB: 33780 ... c Min unsat cost LB: 33783 ... c Min unsat cost LB: 33795 ... c Min unsat cost LB: 33797 ... c Min unsat cost LB: 33798 ... c Min unsat cost LB: 33799Killed 1815.331u 4.408s 1:00:55.61 49.7% 0+0k 0+0io 0pf+0w