Как получают процессорное время (в миллисекундах) процесса идентификатором

Я выполняю веб-сайт, записанный в PHP на Ubuntu. Я хочу получить процессорное время для процесса (прошедшее время, так как процесс был запущен). У меня уже есть идентификатор процесса.

Я знаю, что команда PS возвращает процессорное время, но я только вижу в секундах. Как я могу получить его в миллисекундах?

Команда PS я использую:

$ ps -p 6176 -o etimes=
1020