Patrick Lühne
9b480f3098
This sets a soft memory limit of 8192 MB on all configurations. This is a hint to the planners that they shouldn’t surpass this limit. Should planners still consume more memory, there is a 1024 MB tolerance margin (configured in the benchmark runner’s configuration) after which the measurement is counted as a memout. Note that this 8192 MB is the default for Madagascar, which is why this addition doesn’t have an influence on prior results obtained for Madagascar.