[ 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

statistics is det

Examples

?- statistics.
times:                   [0.17, 0.01, 3.91] seconds
cputime:                 0.185250307 seconds
hr_time:                 1486062186.47289 seconds
event_time:              3.91 seconds
session_time:            3.91 seconds
global_stack_used:       2544 bytes
global_stack_allocated:  8421376 bytes
global_stack_peak:       8421376 bytes
trail_stack_used:        152 bytes
trail_stack_allocated:   294912 bytes
trail_stack_peak:        294912 bytes
control_stack_used:      1208 bytes
control_stack_allocated: 32768 bytes
control_stack_peak:      32768 bytes
local_stack_used:        984 bytes
local_stack_allocated:   32768 bytes
local_stack_peak:        32768 bytes
shared_heap_allocated:   2846720 bytes
shared_heap_used:        2815312 bytes
private_heap_allocated:  0 bytes
private_heap_used:       0 bytes
gc_number:               3 
gc_collected:            15496608.0 bytes
gc_area:                 5165600 bytes
gc_ratio:                99.9986577888 %
gc_time:                 0.01 seconds
dictionary_entries:      4276 
dict_hash_usage:         2514 / 8192 
dict_hash_collisions:    458 / 2972 
dict_collected:          2499 
dict_gc_number:          4 
dict_gc_countdown:       955 
dict_gc_running:         false 
wake_count:              0

statistics

Description

Modes and Determinism

Examples

See Also