I tried to redirect the output of the time command, but I couldn\'t:
$time ls > filename real 0m0.000s user 0m0.000s sys 0m0.000s
If you don't want to mix output from time and the command. With GNU time, you can use -o file like:
time
-o file
/usr/bin/time -o tim grep -e k /tmp 1>out 2>err
while tim is output of time, out and err are stdout and stderr from grep.
tim
out
err
grep