#493: added statistics gathering in allocator