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 | 102 | 150 600 1800 | 5500 102 10 | 0.004 % | c | 252 | 150 600 1800 | 6050 252 10 | 0.005 % | c | 477 | 150 600 1800 | 6655 477 10 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 608 | 150 601 1950 | 5000 608 10 | 0.004 % | c | 710 | 150 601 1950 | 5500 710 10 | 0.004 % | c | 862 | 150 601 1950 | 6050 862 10 | 0.004 % | c | 1087 | 150 601 1950 | 6655 1087 10 | 0.004 % | c | 1424 | 150 601 1950 | 7320 1424 10 | 0.005 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1752 | 150 602 2100 | 5000 1752 10 | 0.005 % | c | 1854 | 150 602 2100 | 5500 1854 10 | 0.005 % | c | 2004 | 150 602 2100 | 6050 2004 10 | 0.005 % | c | 2230 | 150 602 2100 | 6655 2230 10 | 0.005 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 2302 | 150 603 2250 | 5000 2302 10 | 0.005 % | c | 2403 | 150 603 2250 | 5500 2403 10 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 2407 | 150 604 2400 | 5000 2407 10 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 2413 | 150 605 2550 | 5000 2413 10 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 2414 | 150 606 2700 | 5000 2414 10 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 2416 | 150 607 2850 | 5000 2416 10 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 2509 | 150 608 3000 | 5000 2509 10 | 0.004 % | c | 2610 | 150 608 3000 | 5500 2610 10 | 0.009 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 2674 | 150 609 3150 | 5000 2674 10 | 0.009 % | c | 2775 | 150 609 3150 | 5500 2775 10 | 0.009 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 2857 | 150 610 3300 | 5000 2857 10 | 0.009 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 2863 | 150 611 3450 | 5000 2863 10 | 0.009 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 2865 | 150 612 3600 | 5000 2865 10 | 0.009 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 2883 | 150 613 3750 | 5000 2883 10 | 0.009 % | c | 2983 | 150 613 3750 | 5500 2983 10 | 0.005 % | c | 3133 | 149 613 3750 | 6050 1376 10 | 0.671 % | c | 3360 | 149 613 3750 | 6655 1603 10 | 0.671 % | c | 3699 | 149 613 3750 | 7320 1942 10 | 0.676 % | c | 4205 | 147 613 3750 | 8052 2099 10 | 2.014 % | c =============================================================================== c Total CPU time: 0.314952 s