运行Minizinc模型会产生未知错误

Question

我是minizinc和优化的初学者。我试图充实只有平均十分位统计数据的点曲线。

这是我的模特：

array[1..10] of float: deciles;
deciles=[0.01469197, 0.02633663, 0.03507719, 0.04723933, 0.05927129, 0.07852426, 0.09907269, 0.12420518, 0.19467811, 0.60604946];

float:maxa=10.0;
float:maxb=20.0;
float:maxc=10.0;
float:maxd=200.0;
var 0..maxa: a;
var 0..maxb: b;
array[1..1000] of var 0..maxc: c;
array[1..1000] of var 0..maxd: d;

constraint forall(k in 1..1000) (d[k]=a*pow(int2float(k)/10,2)+b*int2float(k)/10+c[k]);

constraint forall(i in 1..10) (sum(j in (i-1)*100+1..i*100) (d[j]) = deciles[i]*100);
solve minimize max(c)-min(c);
output[show(max(c)-min(c))];

我认为这将是一个简单的模型，但是当从minizinc IDE（gecode solver）运行时，我得到以下输出：

Compiling IstanbulDeciles.mzn
Running IstanbulDeciles.mzn
Command line:
fzn-gecode -s "/tmp/MiniZinc IDE-6zuoJB/IstanbulDeciles.fzn"

然后弹出标题：

  

＆＃34;执行MiniZinc解释程序时出现未知错误。＆＃34;

到目前为止我遇到的所有其他失败都会产生关于出了什么问题的指标，但我还不知道从哪里开始。任何人都可以帮助或指出我出错的地方吗？