c wbo 1.4 beta - 20100610 c | Number of variables: 2052 | c | Number of clauses: 21552 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 2052 | c | Number Clauses: 21065 | 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 | 1416 21667 90056 | 7021 0 nan | 0.000 % | c | 100 | 1416 21667 90056 | 7723 100 5 | 30.994 % | c | 252 | 1416 21667 90056 | 8496 252 6 | 30.994 % | c | 477 | 1416 21667 90056 | 9345 477 7 | 30.995 % | c =============================================================================== c New solution: 3084 c Elapsed CPU time: 7.9058 s Remaining CPU time: 172.094 s c =============================================================================== c | 656 | 1416 21668 90543 | 7222 656 7 | 30.995 % | c =============================================================================== c New solution: 3035 c Elapsed CPU time: 7.9118 s Remaining CPU time: 172.088 s c =============================================================================== c | 667 | 1416 21669 91030 | 7223 667 7 | 30.995 % | c | 767 | 1412 21669 91030 | 7945 767 8 | 32.898 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 7.93779 s Remaining CPU time: 172.062 s c =============================================================================== c | 795 | 1377 21670 91517 | 7223 795 8 | 32.898 % | c | 895 | 1377 21670 91517 | 7945 846 10 | 32.900 % | c =============================================================================== c New solution: 2539 c Elapsed CPU time: 7.95779 s Remaining CPU time: 172.042 s c =============================================================================== c | 937 | 1333 21671 92004 | 7223 888 10 | 32.900 % | c =============================================================================== c New solution: 2424 c Elapsed CPU time: 7.96579 s Remaining CPU time: 172.034 s c =============================================================================== c | 963 | 1333 21672 92491 | 7224 914 10 | 32.900 % | c =============================================================================== c New solution: 2414 c Elapsed CPU time: 7.97879 s Remaining CPU time: 172.021 s c =============================================================================== c | 1018 | 1158 21673 92978 | 7224 969 11 | 32.900 % | c =============================================================================== c New solution: 2371 c Elapsed CPU time: 7.99078 s Remaining CPU time: 172.009 s c =============================================================================== c | 1078 | 1158 21674 93465 | 7224 1029 11 | 32.900 % | c | 1180 | 1157 21674 93465 | 7947 1131 13 | 44.212 % | c =============================================================================== c New solution: 2074 c Elapsed CPU time: 8.02878 s Remaining CPU time: 171.971 s c =============================================================================== c | 1311 | 1134 21675 93952 | 7225 1262 15 | 44.212 % | c =============================================================================== c New solution: 2039 c Elapsed CPU time: 8.03878 s Remaining CPU time: 171.961 s c =============================================================================== c | 1340 | 1134 21676 94439 | 7225 1291 15 | 44.212 % | c =============================================================================== c New solution: 2006 c Elapsed CPU time: 8.04478 s Remaining CPU time: 171.955 s c =============================================================================== c | 1348 | 1134 21677 94926 | 7225 1299 15 | 44.212 % | c =============================================================================== c New solution: 1979 c Elapsed CPU time: 8.05278 s Remaining CPU time: 171.947 s c =============================================================================== c | 1362 | 1134 21678 95413 | 7226 1313 15 | 44.212 % | c | 1463 | 1134 21678 95413 | 7948 1414 16 | 44.738 % | c =============================================================================== c New solution: 1921 c Elapsed CPU time: 8.08077 s Remaining CPU time: 171.919 s c =============================================================================== c | 1489 | 1134 21679 95900 | 7226 1440 17 | 44.738 % | c | 1590 | 1134 21679 95900 | 7948 1541 17 | 44.738 % | c | 1741 | 1134 21679 95900 | 8743 1692 18 | 44.738 % | c | 1967 | 1134 21679 95900 | 9618 1918 20 | 44.738 % | c | 2304 | 1132 21679 95900 | 10580 1836 24 | 44.834 % | c | 2810 | 1132 21679 95900 | 11638 2342 26 | 44.836 % | c =============================================================================== c Total CPU time: 8.38072 s