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?