diff --git a/docker/execute b/docker/execute
index 1158072..e39d33c 100755
--- a/docker/execute
+++ b/docker/execute
@@ -52,7 +52,7 @@ docker run \
     -m 64m \
     --network none \
     --cpus=".5" \
-    --kernel-memory 1m \
+    --kernel-memory 8m \
     --rm \
     -v $abs:/$file:ro \
     -v $dir/executors/python2:/executor_python2:ro \