?- 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