c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 750 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 600 | 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 | 150 600 1800 | 5000 0 nan | 0.000 % | c | 101 | 150 600 1800 | 5500 101 11 | 0.004 % | c | 251 | 150 600 1800 | 6050 251 9 | 0.004 % | c | 476 | 150 600 1800 | 6655 476 9 | 0.004 % | c | 814 | 150 600 1800 | 7320 814 9 | 0.005 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 1125 | 150 601 1950 | 5000 1125 9 | 0.005 % | c | 1229 | 150 601 1950 | 5500 1229 9 | 0.004 % | c | 1379 | 150 601 1950 | 6050 1379 8 | 0.005 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 1598 | 150 602 2100 | 5000 1598 8 | 0.005 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1612 | 150 603 2250 | 5000 1612 8 | 0.005 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1612 | 150 604 2400 | 5000 1612 8 | 0.005 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1612 | 150 605 2550 | 5000 1612 8 | 0.005 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 1612 | 150 606 2700 | 5000 1612 8 | 0.005 % | c | 1712 | 150 606 2700 | 5500 1712 8 | 0.013 % | c | 1862 | 150 606 2700 | 6050 1862 8 | 0.013 % | c | 2088 | 150 606 2700 | 6655 2088 8 | 0.009 % | c | 2425 | 149 606 2700 | 7320 1157 8 | 0.676 % | c | 2931 | 149 606 2700 | 8052 1663 8 | 0.685 % | c =============================================================================== c Total CPU time: 0.204968 s