from datetime import timedelta
from pathlib import Path

import minizinc

from mzn_bench import Configuration, schedule

schedule(
    instances=Path("./prize.csv"),
    timeout=timedelta(minutes=5),
    configurations=[
        Configuration(
            "Chuffed",
            minizinc.Solver.lookup("chuffed-hr"),
        ),
    ],
    nodelist=["critical001"],
    output_dir=Path("./output/prize/"),
)