Empirical investigation of stochastic local search for maximum satisfiability