K 10
svn:author
V 5
trasz
K 8
svn:date
V 27
2011-09-04T05:04:34.680145Z
K 7
svn:log
V 125
Since r224036 the cputime and wallclock are supposed to be in seconds,
not microseconds.  Make it so.

Approved by:	re (kib)

END