c wbo 1.4 beta - 20100610 c | Number of variables: 6618 | c | Number of clauses: 25509 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 6618 | c | Number Clauses: 25299 | 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 | 5691 26182 63787 | 8433 0 nan | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 17.6983 s Remaining CPU time: 162.302 s c =============================================================================== c | 91 | 5691 26183 63997 | 8727 91 49 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 17.7143 s Remaining CPU time: 162.286 s c =============================================================================== c | 110 | 5691 26184 64207 | 8728 110 43 | 0.000 % | c | 211 | 5691 26184 64207 | 9600 211 34 | 14.007 % | c | 361 | 5691 26184 64207 | 10560 361 42 | 14.007 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 17.8493 s Remaining CPU time: 162.151 s c =============================================================================== c | 433 | 5691 26185 64417 | 8728 433 41 | 14.007 % | c | 533 | 5691 26185 64417 | 9601 533 37 | 14.007 % | c | 685 | 5691 26185 64417 | 10561 685 43 | 14.007 % | c | 910 | 5691 26185 64417 | 11617 910 41 | 14.007 % | c | 1247 | 5691 26185 64417 | 12779 1247 53 | 14.007 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 18.2882 s Remaining CPU time: 161.712 s c =============================================================================== c | 1689 | 5691 26186 64627 | 8728 1689 53 | 14.007 % | c | 1789 | 5691 26186 64627 | 9601 1789 55 | 14.007 % | c | 1940 | 5691 26186 64627 | 10561 1940 53 | 14.007 % | c | 2165 | 5691 26186 64627 | 11617 2165 54 | 14.007 % | c | 2502 | 5691 26186 64627 | 12779 2502 54 | 14.007 % | c | 3010 | 5691 26186 64627 | 14057 3010 54 | 14.007 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 18.8591 s Remaining CPU time: 161.141 s c =============================================================================== c | 3356 | 5691 26187 64837 | 8729 3356 55 | 14.007 % | c | 3456 | 5691 26187 64837 | 9601 3456 55 | 14.007 % | c | 3607 | 5691 26187 64837 | 10562 3607 56 | 14.007 % | c | 3833 | 5691 26187 64837 | 11618 3833 56 | 14.007 % | c | 4172 | 5691 26187 64837 | 12780 4172 58 | 14.007 % | c | 4680 | 5691 26187 64837 | 14058 4680 63 | 14.007 % | c | 5439 | 5691 26187 64837 | 15463 5439 70 | 14.007 % | c | 6578 | 5691 26187 64837 | 17010 6578 75 | 14.007 % | c | 8286 | 5691 26187 64837 | 18711 8286 92 | 14.007 % | c | 10848 | 5691 26187 64837 | 20582 10848 110 | 14.007 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 25.2242 s Remaining CPU time: 154.776 s c =============================================================================== c | 12469 | 5691 26188 65047 | 8729 12469 114 | 14.007 % | c | 12569 | 5691 26188 65047 | 9602 6335 108 | 14.007 % | c | 12719 | 5691 26188 65047 | 10562 6485 107 | 14.007 % | c | 12946 | 5691 26188 65047 | 11618 6712 109 | 14.007 % | c | 13284 | 5691 26188 65047 | 12780 7050 108 | 14.007 % | c | 13790 | 5691 26188 65047 | 14058 7556 110 | 14.007 % | c | 14550 | 5691 26188 65047 | 15464 8316 110 | 14.007 % | c | 15689 | 5691 26188 65047 | 17011 9455 114 | 14.007 % | c | 17397 | 5691 26188 65047 | 18712 11163 138 | 14.007 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 29.7765 s Remaining CPU time: 150.224 s c =============================================================================== c | 18126 | 5691 26189 65257 | 8729 11892 139 | 14.007 % | c | 18229 | 5691 26189 65257 | 9602 6049 129 | 14.007 % | c | 18379 | 5691 26189 65257 | 10562 6199 130 | 14.007 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 30.0084 s Remaining CPU time: 149.992 s c =============================================================================== c | 18419 | 5691 26190 65467 | 8730 6239 130 | 14.007 % | c | 18519 | 5691 26190 65467 | 9603 6339 131 | 14.007 % | c | 18669 | 5691 26190 65467 | 10563 6489 132 | 14.007 % | c | 18894 | 5691 26190 65467 | 11619 6714 131 | 14.007 % | c | 19232 | 5691 26190 65467 | 12781 7052 134 | 14.007 % | c | 19738 | 5691 26190 65467 | 14059 7558 135 | 14.007 % | c | 20497 | 5691 26190 65467 | 15465 8317 136 | 14.007 % | c | 21636 | 5691 26190 65467 | 17012 9456 140 | 14.007 % | c | 23344 | 5691 26190 65467 | 18713 11164 142 | 14.007 % | c | 25906 | 5691 26190 65467 | 20584 13726 160 | 14.007 % | c | 29752 | 5691 26190 65467 | 22643 17572 162 | 14.007 % | c | 35518 | 5691 26190 65467 | 24907 23338 178 | 14.007 % | c | 44167 | 5688 26190 65467 | 27398 14998 153 | 14.053 % | c =============================================================================== c Total CPU time: 64.8901 s