Домен, привязанный к IntVar в Google or-tools, создает недопустимую модель

Question

Я использую Google or-tools в java.

CpModel model;
model = new CpModel();

IntVar[] var = new IntVar[3];
for (int i=0; i< 3; i++){
    var[i] = model.newBoolVar(String.format("var-%s",i));
}

IntVar sumVar = model.newIntVar(0, Long.MAX_VALUE, "sum");
model.addEquality(sumVar, LinearExpr.sum(var));

CpSolver cp = new CpSolver();
CpSolverStatus st = cp.solve(model);

System.out.println("solver status = " + st);

Над программой выводится «solver status = MODEL_INVALID»

Но когда я заменяю Long.MAX_VALUE на Long.MAX_VALUE -1 выводит «solver status = FEASIBLE»

Я что-то не так делаю?