Você está invocando a versão integrada do bash de time
, que tem comportamento e opções ligeiramente diferentes - descritos no manual do bash, bem como help time
.
Use command time ...
para ignorar o built-in e executar o comando externo; ou execute /usr/bin/time ...
diretamente.