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 {