cloud-sat/run_solvers.sh

#!/bin/bash

instance="/pub/data/chenzh/data/sat2022"

run_solver(){
    solver=$1
    res_solver_ins=$2
    solver_args=$3
        if [ ! -d "$res_solver_ins" ]; then
                mkdir -p $res_solver_ins
        fi
        for dir_file in `cat $instance/all.txt`
        do
            file=$dir_file
            echo "$res_solver_ins $file $solver_args"
            touch $res_solver_ins/$file
            { /usr/bin/time -f "\nreal\t%e\nuser\t%U\nsys\t%S\nmem\t%M\n" $solver $instance/$file $solver_args; } > $res_solver_ins/$file 2>&1
        done
}

run_solver \
		'mpirun -np 9 --allow-run-as-root ./light -i ' \
        'exp-result'\
        '--share=1 --threads=32 --times=3600'