fix partition name

Ludeme · Apr 30, 2024 · a407b49 · a407b49
1 parent 0342319
commit a407b49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mining/src/utils/trials/CreateLeMaitre4ClusterTrialsScript.java b/Mining/src/utils/trials/CreateLeMaitre4ClusterTrialsScript.java
@@ -107,7 +107,7 @@ public static void main(final String[] args)
 				{
 					writer.println("#!/bin/bash");
 					writer.println("#SBATCH -J GenTrials"+agentName+"Script" + scriptId);
-					writer.println("#SBATCH -p thin");
+					writer.println("#SBATCH -p batch");
 					writer.println("#SBATCH -o /home/ucl/ingi/" + clusterLogin + "/Out/Out_%J.out");
 					writer.println("#SBATCH -e /home/ucl/ingi/" + clusterLogin + "/Out/Err_%J.err");
 					writer.println("#SBATCH -t 6000");