Hello, Im not sure about the meaning of "Peak Memory" in the statistics showed. does it mean the memory used by the whole program or just the memory used by spaces and propagators?
Thank you
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
