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 10 | 0.004 % | c | 476 | 150 600 1800 | 6655 476 10 | 0.004 % | c | 814 | 150 600 1800 | 7320 814 9 | 0.004 % | c | 1320 | 150 600 1800 | 8052 1320 9 | 0.005 % | c | 2079 | 150 600 1800 | 8857 2079 9 | 0.005 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 2571 | 150 601 1950 | 5000 2571 9 | 0.005 % | c | 2671 | 150 601 1950 | 5500 2671 9 | 0.004 % | c | 2821 | 150 601 1950 | 6050 2821 9 | 0.005 % | c | 3046 | 150 601 1950 | 6655 3046 9 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 3099 | 150 602 2100 | 5000 3099 9 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 3099 | 150 603 2250 | 5000 3099 9 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 3099 | 150 604 2400 | 5000 3099 9 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 3122 | 150 605 2550 | 5000 3122 9 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 3122 | 150 606 2700 | 5000 3122 9 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 3122 | 150 607 2850 | 5000 3122 9 | 0.004 % | c | 3222 | 150 607 2850 | 5500 3222 9 | 0.005 % | c | 3372 | 150 607 2850 | 6050 3372 9 | 0.005 % | c | 3598 | 150 607 2850 | 6655 3598 9 | 0.005 % | c | 3935 | 150 607 2850 | 7320 3935 9 | 0.093 % | c | 4441 | 150 607 2850 | 8052 4441 9 | 0.009 % | c | 5203 | 150 607 2850 | 8857 5203 9 | 0.009 % | c | 6343 | 150 607 2850 | 9743 6343 10 | 0.009 % | c | 8053 | 148 607 2850 | 10717 5289 10 | 1.338 % | c | 10615 | 147 607 2850 | 11789 3490 10 | 2.009 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.07084 s Remaining CPU time: 178.929 s c =============================================================================== c | 10749 | 147 608 3000 | 5000 3624 11 | 2.009 % | c | 10849 | 147 608 3000 | 5500 3724 11 | 2.005 % | c | 11001 | 146 608 3000 | 6050 3876 11 | 2.689 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 11165 | 143 609 3150 | 5000 2605 11 | 2.689 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.12583 s Remaining CPU time: 178.874 s c =============================================================================== c | 11170 | 143 610 3300 | 5000 2610 11 | 2.689 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.12783 s Remaining CPU time: 178.872 s c =============================================================================== c | 11199 | 143 611 3450 | 5000 2639 11 | 2.689 % | c | 11301 | 139 611 3450 | 5500 2741 12 | 11.356 % | c =============================================================================== c Total CPU time: 1.13783 s