0: time =    0.488255000000000 seconds
  total processor time was    0.488255000000000 seconds.
average processor time was    0.488255000000000 seconds.