O comando time inclui um parâmetro de formato "M", que, de acordo com a página time man no Linux, é usado para o seguinte:
Maximum resident set size of the process during its lifetime, in Kilobytes.
No entanto, não parece que time...
09.06.2012 / 01:15