[petsc-users] Memory Used When Reading petscrc