Re: [petsc-dev] segv on Cray with 64K processes