User statistics for: solve_xxx