Re: [petsc-dev] -info from just one process?