<div dir="ltr">Oh, thanks.  -log_summary file-name seems works fine for our simple purposes.<div>It would be nice to have a pointer to log_view from google: petsc log_summary ...<br><div>Mark</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jan 12, 2015 at 3:58 PM, Dave May <span dir="ltr"><<a href="mailto:dave.mayhem23@gmail.com" target="_blank">dave.mayhem23@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This requires the code calls PetscFinalize().<div>If you want to get the log summary in a file, at any stage during the execution, you can use</div><div><span style="font-family:'.HelveticaNeueUI';line-height:19px;white-space:nowrap"><a href="http://www.mcs.anl.gov/petsc/petsc-current/docs/manualpages/Profiling/PetscLogView.html" target="_blank">http://www.mcs.anl.gov/petsc/petsc-current/docs/manualpages/Profiling/PetscLogView.html</a></span><br></div><div><br></div><div>Cheers,</div><div>  Dave</div><div class="HOEnZb"><div class="h5"><div><br>On Monday, 12 January 2015, Jed Brown <<a href="mailto:jed@jedbrown.org" target="_blank">jed@jedbrown.org</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Mark Adams <<a>mfadams@lbl.gov</a>> writes:<br>
<br>
> Is there a command line option to send -log_summary stuff to a file instead<br>
> of stdout?<br>
<br>
Did you try -log_summary FILENAME?<br>
</blockquote></div>
</div></div></blockquote></div><br></div>