clean up around solvers; more solution logging for analytics