increase default max RAM

nevillegrech · Jan 12, 2024 · 27c6138 · 27c6138
1 parent 7d0faaa
commit 27c6138
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/runners.py b/src/runners.py
@@ -18,8 +18,8 @@
 
 devnull = subprocess.DEVNULL
 
-DEFAULT_MEMORY_LIMIT = 45 * 1_000_000_000
-"""Hard capped memory limit for analyses processes (30 GB)"""
+DEFAULT_MEMORY_LIMIT = 50 * 1_000_000_000
+"""Hard capped memory limit for analyses processes (50 GB)"""
 
 
 souffle_env = os.environ.copy()
@@ -329,4 +329,4 @@ def get_datalog_files(self) -> List[str]:
         return [a for a in self.fact_generator_scripts if a.endswith('.dl')]
 
     def decomp_out_produced(self, out_dir: str) -> bool:
-        return os.path.exists(join(out_dir, 'TAC_Def.csv'))
+        return os.path.exists(join(out_dir, 'TAC_Def.csv'))