...
Note that processor cores generally do not consume memory evenly. During a test generation a single processor core may consume significantly more than 2 GB - at the same time test generation may not always use all available processor cores. Complex models (see section MODEL COMPLEXITY Model Complexity) may require significantly more main memory and/or cores than stated in this recommendation to complete test generation in reasonable time.
...