Re: [petsc-dev] Nested event logging and human friendly output