c wbo 1.4 beta - 20100610 c | Number of variables: 60 | c | Number of clauses: 99 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 60 | c | Number Clauses: 41 | 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 | 59 41 805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 59 42 863 | 5000 0 nan | 0.000 % | c | 100 | 59 42 863 | 5500 100 27 | 1.695 % | c | 255 | 59 42 863 | 6050 255 28 | 1.695 % | c | 481 | 59 42 863 | 6655 481 27 | 1.695 % | c | 819 | 59 42 863 | 7320 819 27 | 1.695 % | c | 1330 | 59 42 863 | 8052 1330 27 | 1.695 % | c | 2098 | 59 42 863 | 8857 2098 27 | 1.695 % | c | 3237 | 59 42 863 | 9743 3237 26 | 1.695 % | c | 4947 | 59 42 863 | 10717 4947 26 | 1.695 % | c | 7513 | 59 42 863 | 11789 7513 27 | 1.695 % | c | 11364 | 59 42 863 | 12968 11364 26 | 1.695 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s c =============================================================================== c | 12681 | 59 43 921 | 5000 12681 26 | 1.695 % | c | 12784 | 59 43 921 | 5500 3274 23 | 1.695 % | c | 12934 | 59 43 921 | 6050 3424 23 | 1.695 % | c | 13162 | 59 43 921 | 6655 3652 23 | 1.695 % | c | 13499 | 59 43 921 | 7320 3989 23 | 1.695 % | c | 14005 | 59 43 921 | 8052 4495 23 | 1.695 % | c | 14764 | 59 43 921 | 8857 5254 24 | 1.695 % | c | 15905 | 59 43 921 | 9743 6395 23 | 1.695 % | c | 17618 | 59 43 921 | 10717 8108 23 | 1.695 % | c | 20181 | 59 43 921 | 11789 10671 22 | 1.695 % | c | 24026 | 59 43 921 | 12968 8610 19 | 1.695 % | c | 29793 | 58 43 921 | 14265 7008 17 | 5.000 % | c =============================================================================== c Total CPU time: 3.35849 s