runner
This commit is contained in:
		
							parent
							
								
									86c1e4616b
								
							
						
					
					
						commit
						7eb4208ee5
					
				
							
								
								
									
										21
									
								
								run.sbatch
									
									
									
									
									
								
							
							
						
						
									
										21
									
								
								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"
 | 
			
		||||
 | 
			
		||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user