Flake\Util\Profiler::cpuTime PHP Method

    static function cpuTime()
    {
        $dat = getrusage();
        $tv_usec = $dat["ru_utime.tv_sec"] * 1000000.0 + $dat["ru_utime.tv_usec"] - self::$RUSAGE;
        $time = (microtime(true) - self::$TUSAGE) * 1000000.0;
        $cpuusage = $tv_usec / $time;
        return round($time / 1000 * $cpuusage);
    }