[petsc-dev] TSSetConvergedReason(ts,TS_CONVERGED_USER);