gettimeofday      415 dec265/dec265.cc   gettimeofday(&tv_start, NULL);
gettimeofday      524 dec265/dec265.cc   gettimeofday(&tv_end, NULL);