Hello PETSc developers, Is there a way to get profiling stats similar to -log_summary, but in a format that can be processed programmatically?
As far as I can tell, current -log_summary output is tricky to parse: whether output is space-separated depends on values that are printed. In addition to this, a long event name changes offsets from the beginning of the line for a given column, so extracting string subsets using offsets is also unreliable. Thanks! -- Constantine
