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 | 100 | 150 600 1800 | 5500 100 10 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 187 | 150 601 1950 | 5000 187 10 | 0.004 % | c | 290 | 150 601 1950 | 5500 290 9 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 321 | 150 602 2100 | 5000 321 9 | 0.004 % | c | 421 | 150 602 2100 | 5500 421 9 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 566 | 150 603 2250 | 5000 566 9 | 0.004 % | c | 667 | 150 603 2250 | 5500 667 9 | 0.004 % | c | 818 | 150 603 2250 | 6050 818 9 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 866 | 150 604 2400 | 5000 866 9 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 913 | 150 605 2550 | 5000 913 9 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 914 | 150 606 2700 | 5000 914 9 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 916 | 150 607 2850 | 5000 916 9 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 916 | 150 608 3000 | 5000 916 9 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 916 | 150 609 3150 | 5000 916 9 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 918 | 150 610 3300 | 5000 918 9 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 923 | 150 611 3450 | 5000 923 10 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 923 | 150 612 3600 | 5000 923 10 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 923 | 150 613 3750 | 5000 923 10 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 931 | 150 614 3900 | 5000 931 10 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 932 | 150 615 4050 | 5000 932 10 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 934 | 150 616 4200 | 5000 934 10 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 936 | 150 617 4350 | 5000 936 10 | 0.004 % | c | 1036 | 150 617 4350 | 5500 1036 11 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 1121 | 150 618 4500 | 5000 1121 11 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 1126 | 150 619 4650 | 5000 1126 11 | 0.004 % | c | 1226 | 150 619 4650 | 5500 1226 11 | 0.005 % | c | 1377 | 150 619 4650 | 6050 1377 12 | 0.005 % | c | 1603 | 150 619 4650 | 6655 1603 11 | 0.005 % | c | 1940 | 150 619 4650 | 7320 1940 11 | 0.009 % | c | 2449 | 149 619 4650 | 8052 1227 10 | 0.676 % | c | 3210 | 147 619 4650 | 8857 793 9 | 2.005 % | c =============================================================================== c Total CPU time: 0.285956 s