c wbo 1.4 beta - 20100610 c | Number of variables: 3065 | c | Number of clauses: 51775 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.04 s | c | Number Variables: 3065 | c | Number Clauses: 51677 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3019 51677 131957 | 17225 0 nan | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 3019 51678 132055 | 17226 0 nan | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 1 | 3019 51679 132153 | 17226 1 5 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 4 | 3019 51680 132251 | 17226 4 54 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 12 | 3019 51681 132349 | 17227 12 23 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 17 | 3019 51682 132447 | 17227 17 24 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 20 | 3019 51683 132545 | 17227 20 25 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 90 | 3019 51684 132643 | 17228 90 28 | 0.000 % | c | 190 | 3019 51684 132643 | 18950 190 50 | 1.501 % | c | 340 | 3019 51684 132643 | 20845 340 42 | 1.501 % | c | 566 | 3019 51684 132643 | 22930 566 39 | 1.501 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 785 | 3019 51685 132741 | 17228 785 41 | 1.501 % | c | 885 | 3019 51685 132741 | 18951 885 41 | 1.502 % | c | 1036 | 3019 51685 132741 | 20846 1036 42 | 1.501 % | c | 1261 | 3019 51685 132741 | 22930 1261 49 | 1.501 % | c | 1598 | 3019 51685 132741 | 25224 1598 53 | 1.501 % | c | 2104 | 3019 51685 132741 | 27746 2104 60 | 1.501 % | c | 2863 | 3019 51685 132741 | 30521 2863 64 | 1.501 % | c | 4002 | 3019 51685 132741 | 33573 4002 75 | 1.501 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.47378 s Remaining CPU time: 178.526 s c =============================================================================== c | 5522 | 3019 51686 132839 | 17228 5522 76 | 1.501 % | c | 5622 | 3019 51686 132839 | 18951 5622 75 | 1.501 % | c | 5772 | 3019 51686 132839 | 20846 5772 75 | 1.501 % | c | 5998 | 3019 51686 132839 | 22931 5998 74 | 1.501 % | c | 6336 | 3019 51686 132839 | 25224 6336 73 | 1.501 % | c | 6842 | 3019 51686 132839 | 27746 6842 72 | 1.501 % | c | 7601 | 3019 51686 132839 | 30521 7601 73 | 1.501 % | c | 8742 | 3019 51686 132839 | 33573 8742 76 | 1.501 % | c | 10450 | 3019 51686 132839 | 36931 10450 78 | 1.501 % | c | 13013 | 3019 51686 132839 | 40624 13013 79 | 1.501 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 3.80042 s Remaining CPU time: 176.2 s c =============================================================================== c | 14381 | 3019 51687 132937 | 17229 14381 80 | 1.501 % | c | 14481 | 3019 51687 132937 | 18951 14481 80 | 1.501 % | c | 14631 | 3019 51687 132937 | 20847 14631 80 | 1.501 % | c | 14856 | 3019 51687 132937 | 22931 14856 80 | 1.501 % | c | 15194 | 3019 51687 132937 | 25224 15194 80 | 1.501 % | c | 15700 | 3019 51687 132937 | 27747 15700 79 | 1.501 % | c | 16459 | 3019 51687 132937 | 30522 16459 79 | 1.501 % | c | 17599 | 3019 51687 132937 | 33574 17599 79 | 1.501 % | c | 19308 | 3019 51687 132937 | 36931 19308 80 | 1.501 % | c | 21871 | 3019 51687 132937 | 40625 21871 79 | 1.501 % | c | 25715 | 3019 51687 132937 | 44687 25715 81 | 1.501 % | c | 31482 | 3019 51687 132937 | 49156 31482 82 | 1.501 % | c | 40132 | 3019 51687 132937 | 54071 40132 84 | 1.501 % | c | 53106 | 3019 51687 132937 | 59479 53106 87 | 1.501 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 28.7176 s Remaining CPU time: 151.282 s c =============================================================================== c | 55059 | 3019 51688 133035 | 17229 55059 87 | 1.501 % | c | 55159 | 3019 51688 133035 | 18952 13820 84 | 1.501 % | c | 55310 | 3019 51688 133035 | 20847 13971 84 | 1.501 % | c | 55537 | 3019 51688 133035 | 22932 14198 83 | 1.501 % | c | 55875 | 3019 51688 133035 | 25225 14536 83 | 1.501 % | c | 56381 | 3019 51688 133035 | 27748 15042 83 | 1.501 % | c | 57140 | 3019 51688 133035 | 30522 15801 83 | 1.501 % | c | 58280 | 3019 51688 133035 | 33575 16941 82 | 1.501 % | c | 59989 | 3019 51688 133035 | 36932 18650 82 | 1.501 % | c | 62551 | 3019 51688 133035 | 40625 21212 82 | 1.501 % | c | 66395 | 3019 51688 133035 | 44688 25056 82 | 1.501 % | c | 72162 | 3019 51688 133035 | 49157 30823 83 | 1.501 % | c | 80811 | 3019 51688 133035 | 54073 39472 82 | 1.501 % | c | 93787 | 3019 51688 133035 | 59480 52448 82 | 1.501 % | c | 113249 | 3019 51688 133035 | 65428 25386 71 | 1.501 % | c | 142443 | 3019 51688 133035 | 71971 54580 78 | 1.501 % | c | 186232 | 3019 51688 133035 | 79168 39475 73 | 1.501 % | c | 251917 | 3019 51688 133035 | 87085 39459 81 | 1.501 % | c There are 46 assigned variables. 43 in cost function. c Memory used : 123.09 MB c CPU time : 180.296 s c c Total CPU time: 180.298 s