c wbo 1.4 beta - 20100610 c | Number of variables: 2387 | c | Number of clauses: 30636 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 2387 | c | Number Clauses: 30542 | 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 | 2343 30542 75201 | 10180 0 nan | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 2 | 2343 30543 75295 | 10181 2 4 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 2 | 2343 30544 75389 | 10181 2 4 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 3 | 2343 30545 75483 | 10181 3 31 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 13 | 2343 30546 75577 | 10182 13 15 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 22 | 2343 30547 75671 | 10182 22 21 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s c =============================================================================== c | 67 | 2343 30548 75765 | 10182 67 20 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 89 | 2343 30549 75859 | 10183 89 19 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 91 | 2343 30550 75953 | 10183 91 19 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 91 | 2343 30551 76047 | 10183 91 19 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 91 | 2343 30552 76141 | 10184 91 19 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 127 | 2343 30553 76235 | 10184 127 28 | 0.000 % | c | 227 | 2343 30553 76235 | 11202 227 33 | 1.843 % | c | 377 | 2343 30553 76235 | 12323 377 32 | 1.843 % | c | 602 | 2343 30553 76235 | 13555 602 36 | 1.843 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 934 | 2343 30554 76329 | 10184 934 45 | 1.843 % | c | 1034 | 2343 30554 76329 | 11203 1034 45 | 1.843 % | c | 1184 | 2343 30554 76329 | 12323 1184 44 | 1.843 % | c | 1409 | 2343 30554 76329 | 13555 1409 46 | 1.843 % | c | 1748 | 2343 30554 76329 | 14911 1748 48 | 1.844 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 2076 | 2343 30555 76423 | 10185 2076 48 | 1.844 % | c | 2176 | 2343 30555 76423 | 11203 2176 49 | 1.843 % | c | 2326 | 2343 30555 76423 | 12323 2326 50 | 1.843 % | c | 2551 | 2343 30555 76423 | 13556 2551 50 | 1.843 % | c | 2888 | 2343 30555 76423 | 14911 2888 52 | 1.843 % | c | 3396 | 2343 30555 76423 | 16403 3396 52 | 1.843 % | c | 4156 | 2343 30555 76423 | 18043 4156 56 | 1.843 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.968852 s Remaining CPU time: 179.031 s c =============================================================================== c | 5065 | 2343 30556 76517 | 10185 5065 56 | 1.843 % | c | 5166 | 2343 30556 76517 | 11203 5166 56 | 1.843 % | c | 5316 | 2343 30556 76517 | 12324 5316 55 | 1.843 % | c | 5541 | 2343 30556 76517 | 13556 5541 55 | 1.845 % | c | 5878 | 2343 30556 76517 | 14912 5878 56 | 1.844 % | c | 6384 | 2343 30556 76517 | 16403 6384 57 | 1.843 % | c | 7143 | 2343 30556 76517 | 18043 7143 57 | 1.843 % | c | 8282 | 2343 30556 76517 | 19848 8282 58 | 1.843 % | c | 9990 | 2343 30556 76517 | 21833 9990 61 | 1.843 % | c | 12552 | 2343 30556 76517 | 24016 12552 62 | 1.844 % | c | 16396 | 2343 30556 76517 | 26418 16396 65 | 1.843 % | c | 22163 | 2343 30556 76517 | 29059 22163 67 | 1.843 % | c | 30812 | 2343 30556 76517 | 31965 14416 66 | 1.843 % | c | 43786 | 2343 30556 76517 | 35162 27390 68 | 1.843 % | c | 63247 | 2343 30556 76517 | 38678 24511 70 | 1.843 % | c | 92439 | 2343 30556 76517 | 42546 28006 70 | 1.843 % | c | 136229 | 2343 30556 76517 | 46801 42028 74 | 1.844 % | c | 201913 | 2341 30556 76517 | 51481 29049 65 | 1.969 % | c =============================================================================== c Total CPU time: 158.205 s