[petsc-users] saving log info

[Mohammad Mirzadeh]

Hi guys,

I'd like to be able to post-process the values reported by -log_summary. Is
there any programmatic way to extract the data and save it manually to a
file?

If not, is there any parser that go over stdout dump and extract the info?

Mohammad