BSD time gives this kind of output
GNU time gives then again this kind of output
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?