BSD time gives this kind of output
9990
real 0m4.371s
user 0m1.548s
sys 0m2.167s
GNU time gives then again this kind of output
9990
1.56s user 1.46s system 82% cpu 3.648 total
Brew search gtime gives nothing. GNU time is probably in some C library, however, I am not sure which. There is no apparent package for it.
How can you install GNU time in OSX?
usr/bin/time
. My time version is BSD 1993. You must have different version of time.time date
vs/usr/bin/time date
produce 2 different outputs (like your examples above). Butwhich time
gives /usr/bin/time.