Statistics for Augmenting Local Search for Satisfiability