Re: How to retrieve process kernel time and user time?