run_ama1_all.sh

#!/bin/bash

ulimit -v 16000000000

trap exit SIGINT

# Note: AMA1 requires huge memory and runtime for preprocessing.
# For example:
# puzzle instances require 4.5GB per process / 2 hours,
# lightsout instances require 7.5GB per process / 4 hours on Xeon E5-2676 2.4 GHz.
# Each SAS+ file may become over 1GB.

# re: behavior --- The preprocessing results are precious. They are always
# unique for each problem, irregardless of heuristics. However, due to the huge
# memory requirement, it is inefficient to preprocess the same
# problem independently.
# 
# Therefore, when a process is preprocessing an instance, other
# instances solving the same instances are waited through a file lock.
# 
# Note that even when a fd-planner process is waiting, it consumes nearly 700MB
# for already loaded NN image.

# Desired usage of this script is "./run_ama1_all.sh | parallel -j <number of processes>"
# where the number should be adjusted for the resource capacity on your system.

parallel --dry-run --no-notice --joblog problem-instances/latplan.puzzles.puzzle_mnist.ama1.csv  \
         "./fd-planner.py {1} {2} {3} > {2}/{1/}_{3}.ama1.log" \
         ::: samples/puzzle_mnist* \
         ::: problem-instances/*/latplan.puzzles.puzzle_mnist/* \
         ::: blind pdb

parallel --dry-run --no-notice --joblog problem-instances/latplan.puzzles.puzzle_mandrill.ama1.csv   \
         "./fd-planner.py {1} {2} {3} > {2}/{1/}_{3}.ama1.log" \
         ::: samples/puzzle_mandrill* \
         ::: problem-instances/*/latplan.puzzles.puzzle_mandrill/* \
         ::: blind pdb


parallel --dry-run --no-notice --joblog problem-instances/latplan.puzzles.puzzle_spider.ama1.csv   \
         "./fd-planner.py {1} {2} {3} > {2}/{1/}_{3}.ama1.log" \
         ::: samples/puzzle_spider* \
         ::: problem-instances/*/latplan.puzzles.puzzle_spider/* \
         ::: blind pdb


parallel --dry-run --no-notice --joblog problem-instances/latplan.puzzles.lightsout_digital.ama1.csv   \
         "./fd-planner.py {1} {2} {3} > {2}/{1/}_{3}.ama1.log" \
         ::: samples/lightsout_digital* \
         ::: problem-instances/*/latplan.puzzles.lightsout_digital/* \
         ::: blind pdb


parallel --dry-run --no-notice --joblog problem-instances/latplan.puzzles.lightsout_twisted.ama1.csv   \
         "./fd-planner.py {1} {2} {3} > {2}/{1/}_{3}.ama1.log" \
         ::: samples/lightsout_twisted* \
         ::: problem-instances/*/latplan.puzzles.lightsout_twisted/* \
         ::: blind pdb


parallel --dry-run --no-notice --joblog problem-instances/latplan.puzzles.hanoi.ama1.csv   \
         "./fd-planner.py {1} {2} {3} > {2}/{1/}_{3}.ama1.log" \
         ::: samples/hanoi* \
         ::: problem-instances/*/latplan.puzzles.hanoi/* \
         ::: blind pdb