cleanup in solvers
Merge pull request #1695 from Kenneth-T-Moore/bug

Reset pseudocomp count in solver tests to stop intermittent test failure