BLD:D0012

%s: Real time=%I64u.%03I64u sec; User time=%I64u.%03I64u sec; Kernel time=%I64u.%03I64u sec