Originally posted by: Didier Vidal
The OPL run may not terminate if the search type of the CP engine doesn't guarantee that it explores each point of the search space only once (this is the case for the multipoint search type for instance). In this case, termination would happen either if there is an optimality proof, or if a stop criteria is reached.
The size of the search space can be seen in the engine log of OPL.
Log search space : 664.4 (before), 664.4 (after)
Means that the size of the search space is 2^664.4
Here are examples of stop criteria:
using CP; execute
{
// a time limit in seconds cp.param.timeLimit = 30;
// limits the maximum number of branches cp.param.branchLimit = 20000;
}
#DecisionOptimization#OPLusingCPOptimizer