From 1e1ca1e96b2cd3330949d10200eb352ab6470271 Mon Sep 17 00:00:00 2001 From: SPearce Date: Wed, 31 Aug 2022 15:35:57 +0100 Subject: [PATCH] Incorporating executor options --- conf/crukmi.config | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/conf/crukmi.config b/conf/crukmi.config index f73c252..000eda9 100644 --- a/conf/crukmi.config +++ b/conf/crukmi.config @@ -42,7 +42,12 @@ process { memory = { 5.GB * task.attempt } } +} +executor { + name = 'pbs' + queueSize = 1000 + pollInterval = '10 sec' } params {