[ Development Environment and Global Settings | Reference Manual | Alphabetic Index ]
statistics
Prints information about resource usage and garbage collection.
Description
Prints information about resource usage and garbage collection on the
log_output stream. This information is also provided by
statistics/2. Please refer to statistics/2 for a description of the
statistic items. Times are displayed in seconds, memory sizes in bytes.
Modes and Determinism
Examples
?- statistics.
times: [25.53, 30.64, 31548.76] seconds
session_time: 31548.765625 seconds
event_time: 31548.765625 seconds
hr_time: 567247.01280051 seconds
global_stack_used: 2632 bytes
global_stack_allocated: 4259840 bytes
global_stack_peak: 134152192 bytes
trail_stack_used: 200 bytes
trail_stack_allocated: 327680 bytes
trail_stack_peak: 4259840 bytes
control_stack_used: 600 bytes
control_stack_allocated: 65536 bytes
control_stack_peak: 65536 bytes
local_stack_used: 364 bytes
local_stack_allocated: 65536 bytes
local_stack_peak: 65536 bytes
shared_heap_allocated: 2985984 bytes
shared_heap_used: 2900104 bytes
private_heap_allocated: 139264 bytes
private_heap_used: 132048 bytes
gc_number: 46
gc_collected: 6509080.0 bytes
gc_area: 46688728 bytes
gc_ratio: 0.303074122993982 %
gc_time: 14.046 seconds
dictionary_entries: 6699
dict_hash_usage: 3847 / 8192
dict_hash_collisions: 1327 / 3847
dict_gc_number: 23
dict_gc_time: 0.0 seconds
See Also
statistics / 2