Por qué necesito crear métricas

En un cierto caso, necesito generar métricas de comportamiento de un programa en particular. Y el comando time me es muy conveniente.

Pero como siempre olvido como hacerlo, dejo esto por acá como futura referencia.

Para fines del experimento, necesito repetir la ejecución de un programa n veces, pero medir el tiempo de cada una de esas ejecuciones y adicionalmente, para después hacer un poco de estadísitca básica, guardar los tiempos de pared de cada ejecución.

Así, la ejecución completa queda:

for i in {1..10}
do
 echo "Incia"
 (time ./programa) >> salida.programa.txt 2>> tiempos.programa.txt
 echo "Termina"
done