Как получить время работы процесса?

ps -p $PID -o time=
И преобразовать в секунды

$start1=microtime(true);

$pages=[];
for($i=1,$x=2;$i<100000;$i++){
if( ($i)%9 !=0){$pages[$x]["$i"]=$i;}

else{$pages[$x++]["$i"]=$i;}
}

echo"";
var_dump($pages);
echo"";

$finish1=microtime(true);
echo $rez1=$finish1-$start1;

Кому нужно будет

$pscmd = sprintf('ps -o etimes= -p "%d"', $pid);
$output = shell_exec($pscmd);
            $time = intval(trim($output));