diff --git a/backend/entrypoint.sh b/backend/entrypoint.sh
index bbcd1f2..21fda61 100644
--- a/backend/entrypoint.sh
+++ b/backend/entrypoint.sh
@@ -2,4 +2,4 @@
 
 flask db upgrade
 
-gunicorn --bind 0.0.0.0:8000 app:app 
\ No newline at end of file
+gunicorn --bind 0.0.0.0:8000 app:app --timeout 120 --workers 4 --threads 2 --worker-class gthread 
\ No newline at end of file
diff --git a/backend/utils/xmv.py b/backend/utils/xmv.py
index 92f50ba..15fdb89 100644
--- a/backend/utils/xmv.py
+++ b/backend/utils/xmv.py
@@ -41,7 +41,7 @@ def run_nuxmv(code: str) -> str:
     return prettify_output(result.stdout), prettify_error(result.stderr)
   except subprocess.TimeoutExpired:
     os.remove(tmp_file.name)
-    return "Process timed out after {} seconds".format(5)
+    return f"Timeout: Process timed out after 60 seconds."
 
 
 def prettify_output(stdout: str):