Re: [petsc-users] Cray perftools