[gecode-users] Reporting memory usage

[Filip Konvička]

> I agree, it would be nice to have such thing in gecode. I have been 
> using an implementation of such allocator (attached to this mail). It 
> would be nice if we can discuss and improve it. I got this 
> implementation from Stéphane Zampelli.

Thanks! That seems like something I had in mind. I'll try it out, maybe 
fix a couple of things (I'll try to walk through the C++ standard 
regarding allocators), move out of the ::std namespace (why is it 
there?) and re-post back here for more discussions.

Cheers,
Filip