File size: 316 Bytes
9860743 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | #!/bin/bash
SCRIPT_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
cd "$SCRIPT_DIR/.."
# seeds=($(seq 1 1 5))
# seeds=($(seq 4 1 5))
seeds=(1)
for seed in "${seeds[@]}"; do
jobname="sudoku_seed${seed}"
sbatch --job-name=$jobname scripts/sudoku_per_seed.sbatch $seed
echo "Submitted: $jobname"
done
|