From 7eb4208ee5e30e1e5b186dbedfc600f87133c3da Mon Sep 17 00:00:00 2001
From: Johannes Merl <johannes.merl@mischok.de>
Date: Thu, 9 May 2024 12:18:08 +0200
Subject: [PATCH] runner

---
 run.sbatch | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

diff --git a/run.sbatch b/run.sbatch
index 50fe9db..832cc19 100755
--- a/run.sbatch
+++ b/run.sbatch
@@ -1,9 +1,20 @@
 #!/usr/bin/env bash
-#SBATCH --time=18:00:00
+#SBATCH --time=12:00:00
 #SBATCH --partition=cpu
-#SBATCH --array=0-30
+#SBATCH --array=0-810
 #SBATCH --output=./output/output_run_%j.txt
 #SBATCH --error=./output/error_run_%j.txt
-#SBATCH --nodelist=oc-compute02
-#SBATCH --mem=3G
-srun nix develop --command stack --no-nix --system-ghc --no-install-ghc run haga-lambda
+#SBATCH --nodelist=oc-compute02,oc-compute03
+#SBATCH --mem=6G
+problems=("iris" "nurse" "german")
+
+current_problem=${problems[(${SLURM_ARRAY_TASK_ID}/270)]}
+current_variant=$(((${SLURM_ARRAY_TASK_ID} / 30) % 9 + 1))
+current_branch="${current_problem}_${current_variant}"
+
+cd /data/oc-compute02/merljoha/
+git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ./$current_branch
+cd /data/oc-compute03/merljoha/
+git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ./$current_branch
+
+srun bash -c "cd /data/$SLURMD_NODENAME/merljoha/$current_branch; nix develop --command stack --no-nix --system-ghc --no-install-ghc run haga-lambda"