[petsc-users] interpreting data from SNESSolve profiling