Re: [petsc-users] Questions about memory usage in Petsc