What's the average number of clauses modern SAT solvers can handle?

Question

It's already known that size doesn't matter always (for SAT problems).

But is there evidence (from real data from: benchmarks or real cases) on how many clauses an average SAT solver can handle nowadays?

Another issue that derives is that once they find a solution, most don't stress the fact about finding alternative solution. Is there a reason?