Benchmark using /usr/bin/time -v