Hello,
I've been trying to use the time command /usr/bin/time to measure the peak memory consumption of a program on a linux system. Independently of what executable I experiment with, I get the correct answer for what regards running time, but memory usage figures are always 0.
the typical output from time is something like:
8.68user 0.04system 0:08.73elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+16outputs (0major+20366minor)pagefaults 0swaps
the zeroes which I am not understanding are:
0avgtext+0avgdata 0maxresident
I have googled around, and I gather that GNU time is actually not able to compute those memory usage data which are referred to in its man page. Am I correct? What is an alternative command I could use to the same effect? (without having to exercise valgrind)
Thanks