#include <stdio.h>
#include <sys/resource.h>
void main () {
  struct rusage resources;
  int    rc;
  double utime, stime, total_time;
  /* do some work here */
  if((rc = getrusage(RUSAGE_SELF, &resources)) != 0)
    perror("getrusage failed");
  utime = (double) resources.ru_utime.tv_sec
    + 1.e-6 * (double) resources.ru_utime.tv_usec;
  stime = (double) resources.ru_stime.tv_sec
    + 1.e-6 * (double) resources.ru_stime.tv_usec;
  total_time = utime+stime;
  printf("User time %.3f, System time %.3f, Total Time %.3f\n",
          utime, stime, total_time);
}