user     system      total        real
   0.009110   0.004397   0.013507 (  0.013509)
   0.006296   0.000000   0.006296 (  0.006318)
   0.005494   0.000000   0.005494 (  0.005495)