Retrieving the cputime and total runtime (in seconds)

[Sirneij]

I have a .dl file that contains the rules as well as the facts. I am running the program with the following command:

souffle -D - -p profiler.log test.dl

profiler.log contains a JSON-like structure with this key:

...
"runtime": { "start": 226926555812, "end": 226926555891},
...

I assume this key is the total elapsed time but the unit of measurement is not clear. So my first question is how can I get seconds out of this?

Also, I went through the reader, https://github.com/souffle-lang/souffle/blob/master/src/include/souffle/profile/Reader.h, but there are only copytime, loadtime and the one mentioned above, runtime. Is it possible to get the CPU time consumed by the program?