Estou executando um site escrito em PHP no Ubuntu. Eu quero obter o tempo de CPU para um processo (tempo decorrido desde que o processo foi iniciado). Eu já tenho o ID do processo.
Eu sei que o comando ps retorna o tempo da CPU, mas só vejo em segundos. Como posso obtê-lo em milissegundos?
O comando ps que eu uso:
$ ps -p 6176 -o etimes=
1020