Removed verbosity of the solver