Re: [petsc-users] Weird behavior for log_summary