MODEL=steelmillslab.mzn
DATA=bench_17_7.dzn
METHOD=min
TAGS=challenge2019,steelmillslab
TIMELIMIT=1200