c wbo 1.4 beta - 20100610 c | Number of variables: 67 | c | Number of clauses: 111 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 67 | c | Number Clauses: 50 | 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 | 67 50 868 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 67 51 929 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 1 | 67 52 990 | 5000 1 35 | 0.000 % | c | 101 | 67 52 990 | 5500 101 21 | 0.023 % | c | 251 | 67 52 990 | 6050 251 23 | 0.023 % | c | 478 | 67 52 990 | 6655 478 22 | 0.023 % | c | 815 | 67 52 990 | 7320 815 22 | 0.023 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 1231 | 67 53 1051 | 5000 1231 20 | 0.023 % | c | 1333 | 67 53 1051 | 5500 1333 20 | 0.023 % | c | 1483 | 67 53 1051 | 6050 1483 20 | 0.023 % | c | 1708 | 67 53 1051 | 6655 1708 20 | 0.023 % | c | 2045 | 67 53 1051 | 7320 2045 19 | 0.023 % | c | 2553 | 67 53 1051 | 8052 2553 19 | 0.023 % | c | 3312 | 67 53 1051 | 8857 3312 19 | 0.023 % | c | 4451 | 67 53 1051 | 9743 4451 18 | 0.023 % | c | 6159 | 67 53 1051 | 10717 6159 17 | 0.023 % | c | 8721 | 67 53 1051 | 11789 8721 18 | 0.023 % | c | 12565 | 67 53 1051 | 12968 6654 19 | 0.023 % | c | 18332 | 67 53 1051 | 14265 12421 19 | 0.023 % | c | 26982 | 67 53 1051 | 15692 13924 17 | 0.023 % | c | 39957 | 67 53 1051 | 17261 11176 18 | 0.023 % | c | 59420 | 67 53 1051 | 18987 13355 17 | 0.023 % | c | 88612 | 67 53 1051 | 20886 14031 17 | 0.023 % | c | 132401 | 67 53 1051 | 22974 16000 15 | 0.023 % | c =============================================================================== c Total CPU time: 29.1456 s