changed profiling output timestamp format