Try batchmode again

background_task.py

@@ -163,7 +163,7 @@ def match(model1, model2):
     """
     model1_id = model1.author + "/" + model1.name
     model2_id = model2.author + "/" + model2.name
-    subprocess.run(["./SoccerTows.x86_64", "-model1", model1_id, "-model2", model2_id, "-nographics"])
+    subprocess.run(["./SoccerTows.x86_64", "-model1", model1_id, "-model2", model2_id, "-nographics", "-batchmode"])
     print(f"Match {model1_id} against {model2_id} ended.")
     model1.games_played += 1
     model2.games_played += 1