fprintf(pfile, "total times:%d\n", ntimes);
fprintf(pfile, "kernel time elapsed:%d, %d\n", kerneltime.ntime[1], kerneltime.ntime[0]);
fprintf(pfile, "total times:%d\n", ntimes);
fprintf(pfile, "kernel time elapsed:%d, %d\n", kerneltime.ntime[1], kerneltime.ntime[0]);