<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    In addition to using <br>
    <br>
    -log_summary FILENAME<br>
    <br>
    to dump text files of the log summary, I've also found the following
    very useful recently to dump the log data to python:<br>
    <br>
    -log_view ascii:filename.py:ascii_info_detail<br>
    <br>
    I don't remember the details now, but I submitted a patch somewhat
    recently that fixed a minor bug that was preventing me from using
    this feature, and it's worked well for me since then.<br>
    <br>
    -Patrick<br>
    <br>
    <div class="moz-cite-prefix">On 12/01/15 09:58 PM, Dave May wrote:<br>
    </div>
    <blockquote
cite="mid:CAJ98EDo650gDddNQ6ndKqnoELjY2-3JmtuPMZJ7PSjwTaj76uA@mail.gmail.com"
      type="cite">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
            moz-do-not-send="true"
href="http://www.mcs.anl.gov/petsc/petsc-current/docs/manualpages/Profiling/PetscLogView.html">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><br>
        On Monday, 12 January 2015, Jed Brown <<a
          moz-do-not-send="true" href="mailto:jed@jedbrown.org">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 moz-do-not-send="true" href="javascript:;"
            onclick="_e(event, 'cvml', 'mfadams@lbl.gov')">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>
    </blockquote>
    <br>
  </body>
</html>