[petsc-dev] any script to extract data from "-log_view"?