Re: [petsc-users] Memory Used When Reading petscrc