user

no

Int

Operating system user time of the Oz Emulator process in milliseconds.

system

no

Int

Operating system system time of the Oz Emulator process in milliseconds.

total

no

Int

Elapsed real time in milli seconds from an arbitrary point in the past (for example, system start-up time). Can be used to determine the wall time elapsed between two successive applications of {Property.get 'time.total'}.

run

no

Int

Run time in milliseconds.

idle

no

Int

Idle time in milliseconds.

copy

no

Int

Time spent on copying (that is, on cloning of spaces) in milliseconds.

propagate

no

Int

Time spent on executing propagators in milliseconds.

gc

no

Int

Time spent on garbage collection in milliseconds.

detailed

yes

Bool

Only if true, the fields time.copy, time.gc, time.propagate and time.run are updated accordingly.