diff --git a/benchmark.py b/benchmark.py
index ea59631e7..7bab1c575 100644
--- a/benchmark.py
+++ b/benchmark.py
@@ -183,6 +183,7 @@ def runJob(configuration, instance, config):
 		config["executables"]["timeout"]["binary"],
 		"-m=" + str(config["limits"]["memory"]),
 		"-t=" + str(config["limits"]["time"]),
+		config["executables"]["python"]["binary"],
 		config["executables"]["planner"]["binary"],
 		"--domain=" + inputFiles["domainFile"],
 		inputFiles["instanceFile"],