time always writes to stderr. To save this with bash, use 2>&1 to write to the same place as stdout (you need brackets, so you get a time stderr, not just stderr myprog):
(time ./myprog) > out.asc 2>&1
You can also get time information in a separate file:
(time ./myprog) > out.asc 2> timing_info
source share