- uint64_t Elapsed; // Wall clock time elapsed in seconds
- uint64_t UserTime; // User time elapsed
- uint64_t SystemTime; // System time elapsed
- uint64_t MemUsed; // Memory allocated (in bytes)
- uint64_t PeakMem; // Peak memory used
- uint64_t PeakMemBase; // Temporary for peak calculation...
+ double Elapsed; // Wall clock time elapsed in seconds
+ double UserTime; // User time elapsed
+ double SystemTime; // System time elapsed
+ ssize_t MemUsed; // Memory allocated (in bytes)
+ size_t PeakMem; // Peak memory used
+ size_t PeakMemBase; // Temporary for peak calculation...