[gecode-users] Memory problem

[Guido Tack]

I tried to find out more about the Mac OS malloc.

Apparently, Mac OS never frees blocks that are smaller than 15359  
bytes, but rather tries to reuse them for further mallocs in the same  
process.
http://kevin.sb.org/2007/07/05/malloc-free-space-not-reclaimed/

I tried replacing malloc with ptmalloc3 (as suggested in that  
article), and it completely solves the problem.

Cheers,
	Guido