From bba422faf749b80a40a857fe735dc5700fa572dc Mon Sep 17 00:00:00 2001 From: Martin Polanka Date: Thu, 2 Nov 2017 10:45:25 +0100 Subject: [PATCH] extra-memory --- Job-configuration.md | 1 + 1 file changed, 1 insertion(+) diff --git a/Job-configuration.md b/Job-configuration.md index 5370b41..f0e28e9 100644 --- a/Job-configuration.md +++ b/Job-configuration.md @@ -228,6 +228,7 @@ in the job config file. - _extra-time_ -- extra time which will be added to execution - _stack-size_ -- size of stack of executed program in kilobytes - _memory_ -- overall memory limit for application in kilobytes + - _extra-memory_ -- memory limit which will be added to overall one, in kilobytes - _parallel_ -- integral number of processes which can run simultaneously, time and memory limits are merged from all potential processes/threads, 0 for unlimited