Log time, just for benchmarking.