1 ?- statistics.
% Started AT Thu Dec 25 23:17:46 2014
% 37.013 seconds cpu time FOR 63,890,522 inferences
% 47,355 atoms, 19,984 functors, 19,170 predicates, 418 modules, 1,531,641 VM-codes
%
%                        Limit    Allocated       In use
% Local  stack: 34,359,738,368      126,976       24,544 Bytes
% Global stack: 34,359,738,368      126,960       16,824 Bytes
% Trail  stack: 34,359,738,368      129,016        1,464 Bytes
%
% 666 garbage collections gained 391,691,680 bytes in 0.287 seconds.
% 70 atom garbage collections gained 704,363 atoms in 0.646 seconds.
% Stack shifts: 3 local, 3 global, 4 trail in 0.001 seconds
% 21 threads, 7 finished threads used 0.094 seconds