https://yvoictra.com/2008/01/31/calcular-tiempo-de-ejecucion-de-un-comando-en-bash-shell/