$ time ls / bin boot dev etc home lib lib64 lost+found media mnt opt proc root run sbin srv sys tmp usr var
real 0m0.004s
user 0m0.000s
sys 0m0.000s
$ /usr/bin/time ls /
bin boot dev etc home lib lib64 lost+found media mnt opt proc root run sbin srv sys tmp usr var
0.00user 0.00system 0:00.00elapsed 0%CPU (0avgtext+0avgdata 2304maxresident)k
0inputs+0outputs (0major+109minor)pagefaults 0swaps
Edit: formatting
1. https://packages.debian.org/sid/time
$ time ls / bin boot dev etc home lib lib64 lost+found media mnt opt proc root run sbin srv sys tmp usr var
real 0m0.004s
user 0m0.000s
sys 0m0.000s
$ /usr/bin/time ls /
bin boot dev etc home lib lib64 lost+found media mnt opt proc root run sbin srv sys tmp usr var
0.00user 0.00system 0:00.00elapsed 0%CPU (0avgtext+0avgdata 2304maxresident)k
0inputs+0outputs (0major+109minor)pagefaults 0swaps
Edit: formatting