MODEL=full.mzn
DATA=MEDIUM_1000_100.dzn
METHOD=max
TAGS=challenge2019,nside
TIMELIMIT=1200