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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users