silenced more output from solvers