title: Extract Average time from output of ping command in python
body: <p>How can I extract Average time from output of ping command in python.  Here is the output of the ping :</p>
  
  <pre><code>rtt min/avg/max/mdev = 31.907/37.303/51.442/8.194 ms
  </code></pre>