Re: [petsc-dev] -ksp_error_if_not_converged