新人求助！

--Rambo--

各位大侠帮忙看下，为什么我在加入倒数第二行的那个约束条件之后，求解速度变慢了很多呢？我听说应该是约束条件越多，可行域越小，求解速度越快的啊。请各位大侠指点一下，先谢过了！

model:
data:
N=20;
M=4;
enddata

sets:
plane/1..N/;
gate/1..M/:minname,maxname;
link(plane,plane):X,D;
endsets



data:
minname=1,6,11,16;
maxname=5,10,15,20;
    D = 10000    72    70   130    72   130    72   100   100   100   100   130    72   130    70    72    72    70   100    70
          181 10000   181   228    96   228    96   200   200   200   200   228    96   228   181    96    96   181   200   181
           70    72 10000   130    72   130    72   100   100   100   100   130    72   130    70    72    72    70   100    70
           70    72    70 10000    72    90    72    80    80    80    80    90    72    90    70    72    72    70    80    70
          181    96   181   228 10000   228    96   200   200   200   200   228    96   228   181    96    96   181   200   181           
             70    72    70    90    72 10000    72    80    80    80    80    90    72    90    70    72    72    70    80    70
          181    96   181   228    96   228 10000   200   200   200   200   228    96   228   181    96    96   181   200   181
           70    72    70   110    72   110    72 10000    80    80    80   110    72   110    70    72    72    70    80    70
           70    72    70   110    72   110    72    80 10000    80    80   110    72   110    70    72    72    70    80    70
           70    72    70   110    72   110    72    80    80 10000    80   110    72   110    70    72    72    70    80    70
           70    72    70   110    72   110    72    80    80    80 10000   110    72   110    70    72    72    70    80    70
           70    72    70    90    72    90    72    80    80    80    80 10000    72    90    70    72    72    70    80    70
          181    96   181   228    96   228    96   200   200   200   200   228 10000   228   181    96    96   181   200   181
           70    72    70    90    72    90    72    80    80    80    80    90    72 10000    70    72    72    70    80    70
           70    72    70   130    72   130    72   100   100   100   100   130    72   130 10000    72    72    70   100    70
          181    96   181   228    96   228    96   200   200   200   200   228    96   228   181 10000    96   181   200   181
          181    96   181   228    96   228    96   200   200   200   200   228    96   228   181    96 10000   181   200   181
           70    72    70   130    72   130    72   100   100   100   100   130    72   130    70    72    72 10000   100    70
           70    72    70   110    72   110    72    80    80    80    80   110    72   110    70    72    72    70 10000    70
           70    72    70   130    72   130    72   100   100   100   100   130    72   130    70    72    72    70   100 10000;
enddata

min=@sum(plane(l)|l#le#(N-1)sum(plane(i)sum(plane(j):X(l,i)*X(l+1,j)*D(i,j))));
@for(linkbin(X));
@for(plane(i)sum(plane(j):X(i,j))=1);
@for(plane(i)sum(plane(j):X(j,i))=1);
@for(gate(l)for(plane(j)|minname(l)#le#j #and# j#le#(maxname(l)-1)sum(plane(i):i*X(i,j))-@sum(plane(i):i*X(i,j+1))<0));
end