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
