[ 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