我尝试从命令行运行minizinc 并限制时间，但是在时间限制过后，我收到=====UNKNOWN=====作为输出。当我从minizinc IDE运行它时，它能够在~10秒内找到几种解决方案。
minizinc.exe --solver-time-limit 60000 --solver gecode Model.mzn data.dzn
从命令行运行时如何获取解决方案？
添加 -a 选项将打印所有中间解决方案。
minizinc.exe -a --solver-time-limit 60000 --solver gecode Model.mzn data.dzn