Existem dois tipos de comandos time
. Um é o shell embutido, pertence ao bash. Essa é a que você vê no seu primeiro exemplo. O segundo é /usr/bin/time
, o segundo que você viu. Quanto ao motivo pelo qual é uma saída diferente, é porque você não pode canalizar a saída para os recursos internos do shell.
Mais sobre isso aqui