Depende da sua versão do awk (você provavelmente tem que usar gawk
ao invés do awk) ou executa a data diretamente na linha de comando do awk, mas
awk 'NR%13==0 { printf "%d %s\n", systime(), $0 ; fflush(stdout) }'
imprime o timestamp atual na frente da linha atual. Para mais informações, consulte a documentação do gawk sobre funções de tempo.