c wbo 1.4 beta - 20100610 c | Number of variables: 22917 | c | Number of clauses: 84508 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.07 s | c | Number Variables: 22917 | c | Number Clauses: 83143 | 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 | 19952 85253 202826 | 27714 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 91.824 s Remaining CPU time: 88.176 s c =============================================================================== c | 75 | 19952 85254 204191 | 28418 75 10 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 91.968 s Remaining CPU time: 88.032 s c =============================================================================== c | 167 | 19950 85255 205556 | 28418 166 27 | 0.000 % | c | 269 | 19949 85255 205556 | 31260 268 58 | 12.955 % | c | 420 | 19949 85255 205556 | 34386 419 46 | 12.955 % | c | 646 | 19945 85255 205556 | 37824 643 72 | 12.969 % | c | 983 | 19937 85255 205556 | 41607 972 96 | 13.003 % | c | 1489 | 19937 85255 205556 | 45768 1478 80 | 13.003 % | c | 2249 | 19934 85255 205556 | 50344 2237 170 | 13.017 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 95.4025 s Remaining CPU time: 84.5975 s c =============================================================================== c | 2384 | 19916 85256 206921 | 28418 2371 162 | 13.017 % | c | 2484 | 19916 85256 206921 | 31260 2471 163 | 13.095 % | c | 2635 | 19916 85256 206921 | 34386 2622 156 | 13.095 % | c | 2860 | 19916 85256 206921 | 37825 2844 146 | 13.095 % | c | 3198 | 19916 85256 206921 | 41607 3182 149 | 13.099 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 97.0502 s Remaining CPU time: 82.9498 s c =============================================================================== c | 3480 | 19915 85257 208286 | 28419 3463 140 | 13.099 % | c | 3580 | 19915 85257 208286 | 31260 3563 139 | 13.099 % | c | 3730 | 19915 85257 208286 | 34386 3713 137 | 13.099 % | c | 3955 | 19915 85257 208286 | 37825 3938 140 | 13.099 % | c | 4292 | 19907 85257 208286 | 41608 4273 141 | 13.134 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 98.441 s Remaining CPU time: 81.559 s c =============================================================================== c | 4535 | 19907 85258 209651 | 28419 4516 143 | 13.134 % | c | 4638 | 19907 85258 209651 | 31261 4619 140 | 13.134 % | c | 4788 | 19907 85258 209651 | 34387 4769 141 | 13.134 % | c | 5013 | 19907 85258 209651 | 37826 4994 137 | 13.134 % | c | 5350 | 19894 85258 209651 | 41608 5330 136 | 13.213 % | c | 5856 | 19894 85258 209651 | 45769 5836 134 | 13.213 % | c | 6616 | 19889 85258 209651 | 50346 6592 140 | 13.213 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 101.982 s Remaining CPU time: 78.0175 s c =============================================================================== c | 6949 | 19889 85259 211016 | 28419 6925 141 | 13.213 % | c | 7050 | 19873 85259 211016 | 31261 7013 140 | 13.283 % | c | 7200 | 19873 85259 211016 | 34387 7163 140 | 13.283 % | c | 7428 | 19873 85259 211016 | 37826 7391 139 | 13.287 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 103.208 s Remaining CPU time: 76.7917 s c =============================================================================== c | 7593 | 19872 85260 212381 | 28420 7556 137 | 13.287 % | c | 7694 | 19872 85260 212381 | 31262 7657 137 | 13.287 % | c | 7844 | 19872 85260 212381 | 34388 7806 137 | 13.287 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 103.707 s Remaining CPU time: 76.2928 s c =============================================================================== c | 7865 | 19872 85261 213746 | 28420 7827 137 | 13.287 % | c | 7969 | 19872 85261 213746 | 31262 7931 136 | 13.287 % | c | 8121 | 19872 85261 213746 | 34388 8083 135 | 13.318 % | c | 8346 | 19872 85261 213746 | 37827 8308 132 | 13.339 % | c | 8684 | 19872 85261 213746 | 41610 8646 130 | 13.339 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 105.013 s Remaining CPU time: 74.987 s c =============================================================================== c | 9102 | 19860 85262 215111 | 28420 9064 126 | 13.339 % | c | 9202 | 19860 85262 215111 | 31262 9160 125 | 13.339 % | c | 9353 | 19860 85262 215111 | 34389 9311 125 | 13.339 % | c | 9579 | 19860 85262 215111 | 37827 9537 124 | 13.339 % | c | 9916 | 19860 85262 215111 | 41610 9874 122 | 13.339 % | c | 10422 | 19860 85262 215111 | 45771 10380 120 | 13.339 % | c | 11181 | 19857 85262 215111 | 50348 9718 120 | 13.353 % | c | 12321 | 19854 85262 215111 | 55383 10858 115 | 13.366 % | c | 14030 | 19769 85262 215111 | 60922 10115 110 | 13.763 % | c =============================================================================== c Total CPU time: 116.539 s