From 9b480f3098f20073b59256cd655d7f9dcafceb73 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Wed, 29 Nov 2017 18:06:47 +0100
Subject: [PATCH] Set soft memory limit of 8192 MB
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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.
---
 configurations.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configurations.yml b/configurations.yml
index 3fc2a1e26..b964986ad 100644
--- a/configurations.yml
+++ b/configurations.yml
@@ -3,6 +3,7 @@ options:
   - "--stats"
   - "--verbose"
   - "--print-call"
+  - "-m 8192"
   fastDownwardPreprocessing: &fastDownwardPreprocessing
   - "--translate"
   plannerSequential: &plannerSequential