diff --git a/Pipfile b/Pipfile
new file mode 100644
index 0000000..81aad7f
--- /dev/null
+++ b/Pipfile
@@ -0,0 +1,12 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+mzn-bench = {git = "https://github.com/MiniZinc/mzn-bench", extras = ["scripts"]}
+
+[dev-packages]
+
+[requires]
+python_version = "3.9"
diff --git a/Pipfile.lock b/Pipfile.lock
new file mode 100644
index 0000000..3e9fbcb
--- /dev/null
+++ b/Pipfile.lock
@@ -0,0 +1,51 @@
+{
+    "_meta": {
+        "hash": {
+            "sha256": "ffdf6e44ee3ff9d9441b7615df72290cfdfec7277ccd294c2af6bec35609aa42"
+        },
+        "pipfile-spec": 6,
+        "requires": {
+            "python_version": "3.9"
+        },
+        "sources": [
+            {
+                "name": "pypi",
+                "url": "https://pypi.org/simple",
+                "verify_ssl": true
+            }
+        ]
+    },
+    "default": {
+        "click": {
+            "hashes": [
+                "sha256:d2b5255c7c6349bc1bd1e59e08cd12acbbd63ce649f2588755783aa94dfb6b1a",
+                "sha256:dacca89f4bfadd5de3d7489b7c8a566eee0d3676333fbb50030263894c38c0dc"
+            ],
+            "markers": "python_version >= '2.7' and python_version not in '3.0, 3.1, 3.2, 3.3, 3.4'",
+            "version": "==7.1.2"
+        },
+        "minizinc": {
+            "hashes": [
+                "sha256:c0e5fae557df0b757bbe4dbec70f7b033b2acc0acabea213e3bbcb0b41d8efeb",
+                "sha256:d4327468b7cdc1b1379c6fa50350393d2d0903ac1be55235f534992b4f7b2538"
+            ],
+            "markers": "python_version >= '3.6'",
+            "version": "==0.4.2"
+        },
+        "mzn-bench": {
+            "extras": [
+                "scripts"
+            ],
+            "git": "https://github.com/MiniZinc/mzn-bench",
+            "ref": "8b6ffa69aa6f8a21a68865975832d9994a49579a"
+        },
+        "ruamel.yaml": {
+            "hashes": [
+                "sha256:012b9470a0ea06e4e44e99e7920277edf6b46eee0232a04487ea73a7386340a5",
+                "sha256:076cc0bc34f1966d920a49f18b52b6ad559fbe656a0748e3535cf7b3f29ebf9e"
+            ],
+            "version": "==0.16.12"
+        }
+    },
+    "develop": {}
+}
diff --git a/bench_env.sh b/bench_env.sh
index 0a1fb90..d6cfb19 100644
--- a/bench_env.sh
+++ b/bench_env.sh
@@ -9,7 +9,7 @@ if [ -d venv ]; then
 else
     python3 -m venv venv
     source venv/bin/activate
-    python3 -m pip install mzn-bench
+    python3 -m pip install git+https://github.com/Dekker1/mzn-bench.git@fix/env_size
 fi
 
 # Set other environment variables and load cluster modules
@@ -26,4 +26,4 @@ cmake -S software/chuffed -B software/chuffed/build -DCMAKE_INSTALL_PREFIX=`pwd`
 cmake --build software/chuffed/build --config Release --target install
 
 export PATH=`pwd`/software/install/bin:$PATH
-export LD_LIBRARY_PATH=`pwd`/software/install/bin:$LD_LIBRARY_PATH
+export LD_LIBRARY_PATH=`pwd`/software/install/lib:$LD_LIBRARY_PATH
diff --git a/mznc_benchmark.py b/mznc_benchmark.py
index ec0e57f..5f305d0 100644
--- a/mznc_benchmark.py
+++ b/mznc_benchmark.py
@@ -9,13 +9,26 @@ schedule(
     instances=Path("./mznc_instances.csv"),
     timeout=timedelta(minutes=20),
     configurations=[
-        Configuration("Gecode", solver=minizinc.Solver.lookup("gecode"), other_flags={"no-half-reifications": True, "no-chain-compression": True}),
+        Configuration(
+            "Gecode",
+            solver=minizinc.Solver.lookup("gecode"),
+            other_flags={"no-half-reifications": True, "no-chain-compression": True},
+        ),
         Configuration("Gecode HR", solver=minizinc.Solver.lookup("gecode")),
-        Configuration("Gurobi", solver=minizinc.Solver.lookup("gecode"), other_flags={"no-half-reifications": True, "no-chain-compression": True}),
+        Configuration(
+            "Gurobi",
+            solver=minizinc.Solver.lookup("gurobi"),
+            other_flags={"no-half-reifications": True, "no-chain-compression": True},
+        ),
         Configuration("Gurobi HR", solver=minizinc.Solver.lookup("gurobi")),
-        Configuration("CBC", solver=minizinc.Solver.lookup("cbc"), other_flags={"no-half-reifications": True, "no-chain-compression": True}),
+        Configuration(
+            "CBC",
+            solver=minizinc.Solver.lookup("cbc"),
+            other_flags={"no-half-reifications": True, "no-chain-compression": True},
+        ),
         Configuration("CBC HR", solver=minizinc.Solver.lookup("cbc")),
     ],
+    memory=16384,
     nodelist=["critical001"],
     output_dir=Path("./output/mznc/"),
 )
diff --git a/software/minizinc b/software/minizinc
index 2557238..2f44e70 160000
--- a/software/minizinc
+++ b/software/minizinc
@@ -1 +1 @@
-Subproject commit 255723899679cc6b634bfe468ebb05d5870ff857
+Subproject commit 2f44e70ea601b952bb735f87a8206c1798d0b67b