@lukesarnacki `%E` doesn't appear to be documented in the man page. It could be identical to (or more meaningful than) `%R`, but I don't know how to evaluate it.

The output should be something like:

```
bash-4.2$ export TIMEFORMAT="u=%U:r=%E:s=%S"
bash-4.2$ time sleep 1
u=0.002:r=1.007:s=0.003
```
which is arguably not very friendly.


If you are getting the output you've shown above after changing `$TIMEFORMAT`, you might be calling `/usr/bin/time`, `TIMEFORMAT` is somehow ineffective, or you might be using `csh`.