2024-04-21 14:54:11 +02:00
|
|
|
#!/usr/bin/env bash
|
2024-05-09 12:18:08 +02:00
|
|
|
#SBATCH --time=12:00:00
|
2024-04-21 14:54:11 +02:00
|
|
|
#SBATCH --partition=cpu
|
2024-05-09 12:18:08 +02:00
|
|
|
#SBATCH --array=0-810
|
2024-05-09 13:07:33 +02:00
|
|
|
#SBATCH --output=./output/output_run_%a.txt
|
|
|
|
|
#SBATCH --error=./output/error_run_%a.txt
|
2024-05-09 13:05:07 +02:00
|
|
|
#SBATCH --exclude=oc222
|
2024-05-09 12:18:08 +02:00
|
|
|
#SBATCH --mem=6G
|
2024-05-09 13:00:03 +02:00
|
|
|
#SBATCH --nodes=1
|
2024-05-09 12:18:08 +02:00
|
|
|
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}"
|
|
|
|
|
|
2024-05-09 13:00:03 +02:00
|
|
|
git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../oc-compute02/merljoha/$current_branch
|
|
|
|
|
git clone -b $current_branch --single-branch "https://merl.dnshome.de/git/Hans/haga.git" ../../oc-compute03/merljoha/$current_branch
|
2024-05-09 12:18:08 +02:00
|
|
|
|
|
|
|
|
srun bash -c "cd /data/$SLURMD_NODENAME/merljoha/$current_branch; nix develop --command stack --no-nix --system-ghc --no-install-ghc run haga-lambda"
|
