diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/snekbox.cfg | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/config/snekbox.cfg b/config/snekbox.cfg index 91ba7c9..7332d4a 100644 --- a/config/snekbox.cfg +++ b/config/snekbox.cfg @@ -9,11 +9,11 @@ time_limit: 6 keep_env: false envar: "LANG=en_US.UTF-8" -envar: "OMP_NUM_THREADS=5" -envar: "OPENBLAS_NUM_THREADS=5" -envar: "MKL_NUM_THREADS=5" -envar: "VECLIB_MAXIMUM_THREADS=5" -envar: "NUMEXPR_NUM_THREADS=5" +envar: "OMP_NUM_THREADS=15" +envar: "OPENBLAS_NUM_THREADS=15" +envar: "MKL_NUM_THREADS=15" +envar: "VECLIB_MAXIMUM_THREADS=15" +envar: "NUMEXPR_NUM_THREADS=15" envar: "PYTHONDONTWRITEBYTECODE=true" envar: "PYTHONIOENCODING=utf-8:strict" envar: "PYTHONUNBUFFERED=true" @@ -100,7 +100,7 @@ cgroup_mem_max: 73400320 cgroup_mem_swap_max: 0 cgroup_mem_mount: "/sys/fs/cgroup/memory" -cgroup_pids_max: 6 +cgroup_pids_max: 15 cgroup_pids_mount: "/sys/fs/cgroup/pids" iface_no_lo: true |