The amount of memory available and to be used is specified
where xxxx is given by default in integer words. If the memory is given in a different unit (kB, MB, GB. or TB), those need to be explicitly specified via MEM_UNIT.
The default value for MEMORY is currently 100 000 000 integerwords (this corresponds to about 381 and 762 MB for 32 and 64 bit machines, respectively).
The requested amount of memory should be usually a little smaller than the total available main memory on the computer in order to avoid a significant decrease in performance due to unnecessary swapping.