c wbo 1.4 beta - 20100610 c | Number of variables: 22990 | c | Number of clauses: 84147 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.07 s | c | Number Variables: 22990 | c | Number Clauses: 82782 | 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 | 19381 85195 200020 | 27594 0 nan | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 91.96 s Remaining CPU time: 88.04 s c =============================================================================== c | 90 | 19377 85196 201385 | 28398 90 7 | 0.000 % | c | 190 | 19377 85196 201385 | 31238 188 32 | 15.733 % | c | 340 | 19377 85196 201385 | 34362 338 80 | 15.733 % | c | 565 | 19371 85196 201385 | 37798 561 86 | 15.742 % | c | 902 | 19367 85196 201385 | 41578 896 144 | 15.759 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 93.2228 s Remaining CPU time: 86.7772 s c =============================================================================== c | 934 | 19367 85197 202750 | 28399 928 140 | 15.759 % | c | 1034 | 19367 85197 202750 | 31238 1028 142 | 15.759 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 93.4538 s Remaining CPU time: 86.5462 s c =============================================================================== c | 1088 | 19367 85198 204115 | 28399 1081 146 | 15.759 % | c | 1189 | 19367 85198 204115 | 31239 1182 135 | 15.759 % | c | 1340 | 19367 85198 204115 | 34363 1333 133 | 15.759 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 94.0677 s Remaining CPU time: 85.9323 s c =============================================================================== c | 1438 | 19367 85199 205480 | 28399 1431 126 | 15.759 % | c | 1538 | 19367 85199 205480 | 31239 1531 127 | 15.759 % | c | 1688 | 19345 85199 205480 | 34363 1680 131 | 15.855 % | c | 1914 | 19345 85199 205480 | 37799 1906 134 | 15.855 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 94.9776 s Remaining CPU time: 85.0224 s c =============================================================================== c | 2032 | 19345 85200 206845 | 28400 2024 128 | 15.855 % | c | 2132 | 19328 85200 206845 | 31240 2119 124 | 15.929 % | c | 2282 | 19328 85200 206845 | 34364 2269 124 | 15.929 % | c | 2508 | 19328 85200 206845 | 37800 2495 127 | 15.929 % | c | 2847 | 19328 85200 206845 | 41580 2834 126 | 15.929 % | c | 3353 | 19326 85200 206845 | 45738 3339 115 | 15.937 % | c | 4113 | 19326 85200 206845 | 50312 4099 126 | 15.937 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 97.8821 s Remaining CPU time: 82.1179 s c =============================================================================== c | 4159 | 19321 85201 208210 | 28400 4144 125 | 15.937 % | c | 4261 | 19321 85201 208210 | 31240 4246 125 | 15.959 % | c | 4411 | 19320 85201 208210 | 34364 4396 125 | 15.968 % | c | 4637 | 19316 85201 208210 | 37800 4622 121 | 16.020 % | c | 4974 | 19307 85201 208210 | 41580 4950 124 | 16.020 % | c | 5483 | 19307 85201 208210 | 45739 5459 121 | 16.020 % | c | 6243 | 19301 85201 208210 | 50312 6214 120 | 16.046 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 101.876 s Remaining CPU time: 78.1245 s c =============================================================================== c | 6591 | 19301 85202 209575 | 28400 6562 123 | 16.046 % | c | 6691 | 19301 85202 209575 | 31240 6662 123 | 16.046 % | c | 6843 | 19301 85202 209575 | 34364 6814 122 | 16.046 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 102.453 s Remaining CPU time: 77.5466 s c =============================================================================== c | 6966 | 19301 85203 210940 | 28401 6937 122 | 16.046 % | c | 7066 | 19301 85203 210940 | 31241 7037 122 | 16.046 % | c | 7216 | 19301 85203 210940 | 34365 7187 121 | 16.046 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 103.03 s Remaining CPU time: 76.9697 s c =============================================================================== c | 7248 | 19301 85204 212305 | 28401 7219 121 | 16.046 % | c | 7348 | 19301 85204 212305 | 31241 7319 122 | 16.046 % | c | 7498 | 19301 85204 212305 | 34365 7469 121 | 16.046 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 103.596 s Remaining CPU time: 76.4038 s c =============================================================================== c | 7586 | 19301 85205 213670 | 28401 7557 121 | 16.046 % | c | 7686 | 19301 85205 213670 | 31241 7657 120 | 16.046 % | c | 7836 | 19301 85205 213670 | 34366 7807 120 | 16.046 % | c | 8062 | 19301 85205 213670 | 37802 8033 120 | 16.046 % | c | 8401 | 19301 85205 213670 | 41582 8372 119 | 16.046 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 104.931 s Remaining CPU time: 75.069 s c =============================================================================== c | 8464 | 19301 85206 215035 | 28402 8435 119 | 16.046 % | c | 8564 | 19301 85206 215035 | 31242 8535 118 | 16.046 % | c | 8714 | 19301 85206 215035 | 34366 8685 117 | 16.046 % | c | 8940 | 19294 85206 215035 | 37803 8910 117 | 16.077 % | c | 9278 | 19294 85206 215035 | 41583 9248 117 | 16.077 % | c | 9784 | 19291 85206 215035 | 45741 9754 116 | 16.090 % | c | 10544 | 19287 85206 215035 | 50315 8968 109 | 16.107 % | c | 11684 | 19270 85206 215035 | 55347 9722 109 | 16.290 % | c =============================================================================== c Total CPU time: 111.848 s