[求助]该模型能否用ilog cplex求解，如何能缩短求解时间

yoyozhying

变量x1,x2,x3,x4,x5,.....
常量a
实现如下约束：
对于任意的i不等于j满足:
abs(xi-xj)>=a，发现这种非线性表达方式求解时间很长，能不能转换一下换一种表达形式可以缩短求解时间呢？或者在opl studio中需要进行相关的算法设置可以求解。
想使用opl studio中的when 语句，但是发现编译就不能通过，而且不知道when语句能否缩短求解时间
forall(I in FlightNo, J in FlightNo:I<>J)  
     when(x[I]>=x[J]) do
       x[I]-x[J]>=a;