When CLP( ) starts up it performs some consistency checks on some of the default values in the startup. In particular, on failure to startup it may recommend that the definition of PMASK be changed in emul.h. If that does not work or if a fatal installation error was reported then you may have an unusual operating system problem which cannot be easily fixed by the installer, and it may be best to contact the authors.
While there are various system limits, these are mostly parameterized and can be changed either directly on the command line or by recompiling with new values for the limits. Most of the limits are contained in the file config.h, and some of them will be described below. The parameters which are not listed below may be more dangerous to change arbitrarily.
The stack, code, heap and trail sizes; value of zero; and the number of solver variables can all be changed from the command line (see Section 4.1).