Analyzing log analysis: an empirical study of user log mining
experience mining google ' s production console logs .