/usr/bin/time

• Not the bash “time” command

• Gives you user time, kernel time, page faults

• WTF doesn't it give you memory values? Linux sucking as usual?