at Wed Jan 31 02:00:19 2018
% 148.080 seconds cpu time for 637,870,844 inferences
% 31,758 atoms, 12,551 functors, 12,652 predicates, 259 modules, 896,658 VM-codes
%
%                        Limit    Allocated       In use
% Local  stack:  6,000,004,096      126,976       47,080 Bytes
% Global stack:  6,000,004,096    1,044,464      514,880 Bytes
% Trail  stack:  6,000,002,048      260,088       75,664 Bytes
%
% 1,329 garbage collections gained 524,715,640 bytes in 0.692 seconds.
% 42 atom garbage collections gained 427,708 atoms in 0.286 seconds.
% 74 clause garbage collections gained 24,982 clauses in 0.030 seconds.
% Stack shifts: 9 local, 4 global, 5 trail in 0.004 seconds
% 2 threads, 0 finished threads used 0.000 seconds
true.