PROC OPTMILP Statement |
You can specify the following options in the PROC OPTMILP statement.
specifies the input data set that corresponds to the MILP model. If this option is not specified, PROC OPTMILP uses the most recently created SAS data set. See Chapter 9, The MPS-Format SAS Data Set, for more details about the input data set.
specifies the output data set to contain the constraint activities.
specifies whether the MILP model is a minimization or a maximization problem. You can use OBJSENSE=MIN for a minimization problem and OBJSENSE=MAX for a maximization problem. Alternatively, you can specify the objective sense in the input data set. This option supersedes the objective sense specified in the input data set. If the objective sense is not specified anywhere, then PROC OPTMILP interprets and solves the MILP as a minimization problem.
enables you to input a warm start solution in a SAS data set. PROC OPTMILP validates both the data set and the solution stored in the data set. If the data set is not valid, then the PRIMALIN= data are ignored. If the solution stored in a valid PRIMALIN= data set is a feasible integer solution, then it provides an incumbent solution and a bound for the branch-and-bound algorithm. If the solution stored in a valid PRIMALIN= data set is infeasible, contains missing values, or contains fractional values for integer variables, PROC OPTMILP tries to repair the solution with a number of specialized repair heuristics. See the section Warm Start for details.
specifies the output data set for the primal solution. This data set contains the primal solution information. See the section Data Input and Output for details.
specifies a presolve option or its corresponding value num, as listed in Table 11.2.
Number |
Option |
Description |
---|---|---|
–1 |
AUTOMATIC |
Applies the default level of presolve processing |
0 |
NONE |
Disables presolver |
1 |
BASIC |
Performs minimal presolve processing |
2 |
MODERATE |
Applies a higher level of presolve processing |
3 |
AGGRESSIVE |
Applies the highest level of presolve processing |
The default value is AUTOMATIC.
specifies a stopping criterion. When the absolute difference between the best integer objective and the objective of the best remaining node becomes smaller than the value of num, the procedure stops. The value of num can be any nonnegative number; the default value is 1E–6.
cuts off any nodes in a minimization (maximization) problem with an objective value above (below) num. The value of num can be any number; the default value is the positive (negative) number that has the largest absolute value that can be represented in your operating environment.
specifies a search emphasis option or its corresponding value num as listed in Table 11.3.
Number |
Option |
Description |
---|---|---|
0 |
BALANCE |
Performs a balanced search |
1 |
OPTIMAL |
Emphasizes optimality over feasibility |
2 |
FEASIBLE |
Emphasizes feasibility over optimality |
The default value is BALANCE.
specifies the amount by which an integer variable value can differ from an integer and still be considered integer feasible. The value of num can be any number between 0.0 and 1.0; the default value is 1E–5. PROC OPTMILP attempts to find an optimal solution with integer infeasibility less than num. If you assign a value smaller than 1E–10 to num and the best solution found by PROC OPTMILP has integer infeasibility between num and 1E–10, then PROC OPTMILP ends with a solution status of OPTIMAL_COND (see the section Macro Variable _OROPTMILP_).
specifies the maximum number of branch-and-bound nodes to be processed. The value of num can be any nonnegative integer up to the largest four-byte signed integer, which is . The default value is
.
specifies a stopping criterion. If num solutions have been found, then the procedure stops. The value of num can be any positive integer up to the largest four-byte signed integer, which is . The default value is
.
specifies the maximum time allowed for PROC OPTMILP to read in the data and find a solution. The type of time, either CPU time or real time, is determined by the value of the TIMETYPE= option. The value of num can be any positive number; the default value is the positive number that has the largest absolute value that can be represented in your operating environment.
specifies how often information is printed in the node log. The value of num can be any nonnegative integer up to the largest four-byte signed integer, which is . The default value is 100. If num is set to 0, then the node log is disabled. If num is positive, then an entry is made in the node log at the first node, at the last node, and at intervals dictated by the value of num. An entry is also made each time a better integer solution is found.
specifies whether a summary of the problem and solution should be printed. If PRINTLEVEL=1, then two Output Delivery System (ODS) tables named "ProblemSummary" and "SolutionSummary" are produced and printed. If PRINTLEVEL=2, then the "ProblemSummary" and "SolutionSummary" tables are produced and printed along with a third table called "ProblemStatistics." If PRINTLEVEL=0, then no ODS tables are produced or printed. The default value of this option is 1.
For details about the ODS tables created by PROC OPTMILP, see the section ODS Tables.
controls the amount of information displayed in the SAS log by the solver, from a short description of presolve information and summary to details at each node. Table 11.4 describes the valid values for this option.
Number |
Option |
Description |
---|---|---|
0 |
NONE |
Turns off all solver-related messages in the SAS log |
1 |
BASIC |
Displays a solver summary after stopping |
2 |
MODERATE |
Prints a solver summary and a node log by using the interval dictated by the PRINTFREQ= option |
3 |
AGGRESSIVE |
Prints a detailed solver summary and a node log by using the interval dictated by the PRINTFREQ= option |
The default value is MODERATE.
specifies a probing option or its corresponding value num, as listed in Table 11.5:
Number |
Option |
Description |
---|---|---|
–1 |
AUTOMATIC |
Uses the probing strategy determined by PROC OPTMILP |
0 |
NONE |
Disables probing |
1 |
MODERATE |
Uses the probing moderately |
2 |
AGGRESSIVE |
Uses the probing aggressively |
The default value is AUTOMATIC. See the section Presolve and Probing for more information.
specifies a stopping criterion based on the best integer objective (BestInteger) and the objective of the best remaining node (BestBound). The relative objective gap is equal to
![]() |
When this value becomes smaller than the specified gap size num, the procedure stops. The value of num can be any number between 0 and 1; the default value is 1E–4.
indicates whether to scale the problem matrix. SCALE= can take either of the values AUTOMATIC (–1) and NONE (0). SCALE=AUTOMATIC scales the matrix as determined by PROC OPTMILP; SCALE=NONE disables scaling. The default value is AUTOMATIC.
specifies a stopping criterion for minimization (maximization) problems. If the best integer objective is better than or equal to num, the procedure stops. The value of num can be any number; the default value is the negative (positive) number that has the largest absolute value representable in your operating environment.
specifies whether CPU time or real time is used for the MAXTIME= option and the _OROPTMILP_ macro variable in a PROC OPTMILP call. Table 11.6 describes the valid values of the TIMETYPE= option.
Number |
Option |
Description |
---|---|---|
0 |
CPU |
Specifies units of CPU time |
1 |
REAL |
Specifies units of real time |
The default value of this option is CPU.
controls the level of primal heuristics applied by PROC OPTMILP. This level determines how frequently primal heuristics are applied during the branch-and-bound tree search. It also affects the maximum number of iterations allowed in iterative heuristics. Some computationally expensive heuristics might be disabled by the solver at less aggressive levels. The values of option and the corresponding values of num are listed in Table 11.7.
Number |
Option |
Description |
---|---|---|
–1 |
AUTOMATIC |
Applies the default level of heuristics, similar to MODERATE |
0 |
NONE |
Disables all primal heuristics |
1 |
BASIC |
Applies basic primal heuristics at low frequency |
2 |
MODERATE |
Applies most primal heuristics at moderate frequency |
3 |
AGGRESSIVE |
Applies all primal heuristics at high frequency |
Setting HEURISTICS=NONE does not disable the heuristics that repair an infeasible input solution that is specified in a PRIMALIN= data set.
The default value of the HEURISTICS= option is AUTOMATIC. For details about primal heuristics, see the section Primal Heuristics.
specifies the node selection strategy option or its corresponding value num, as listed in Table 11.8.
Number |
Option |
Description |
---|---|---|
–1 |
AUTOMATIC |
Uses automatic node selection |
0 |
BESTBOUND |
Chooses the node with the best relaxed objective (best-bound-first strategy) |
1 |
BESTESTIMATE |
Chooses the node with the best estimate of the integer objective value (best-estimate-first strategy) |
2 |
DEPTH |
Chooses the most recently created node (depth-first strategy) |
The default value is AUTOMATIC. For details about node selection, see the section Node Selection.
indicates whether to use specified branching priorities for integer variables. PRIORITY=0 ignores variable priorities; PRIORITY=1 uses priorities when they exist. The default value is 1. See the section Branching Priorities for details.
specifies the number of simplex iterations performed for each variable in the candidate list when using the strong branching variable selection strategy. The value of num can be any positive number; the default value is automatically calculated by PROC OPTMILP.
specifies the number of candidates used when performing the strong branching variable selection strategy. The value of num can be any positive integer up to the largest four-byte signed integer, which is . The default value is 10.
specifies the rule for selecting the branching variable. The values of option and the corresponding values of num are listed in Table 11.9.
Number |
Option |
Description |
---|---|---|
–1 |
AUTOMATIC |
Uses automatic branching variable selection |
0 |
MAXINFEAS |
Chooses the variable with maximum infeasibility |
1 |
MININFEAS |
Chooses the variable with minimum infeasibility |
2 |
PSEUDO |
Chooses a branching variable based on pseudocost |
3 |
STRONG |
Uses strong branching variable selection strategy |
The default value is AUTOMATIC. For details about variable selection, see the section Variable Selection.
Table 11.10 describes the option and num values for the cut options in PROC OPTMILP.
Number |
Option |
Description |
---|---|---|
–1 |
AUTOMATIC |
Generates cutting planes based on a strategy determined by PROC OPTMILP |
0 |
NONE |
Disables generation of cutting planes |
1 |
MODERATE |
Uses a moderate cut strategy |
2 |
AGGRESSIVE |
Uses an aggressive cut strategy |
You can use the ALLCUTS= option to set all cut types to the same level. You can override the ALLCUTS= value by using the options that correspond to particular cut types. For example, if you want PROC OPTMILP to generate only Gomory cuts, specify ALLCUTS=NONE and CUTGOMORY=AUTOMATIC. If you want to generate all cuts aggressively but generate no lift-and-project cuts, set ALLCUTS=AGGRESSIVE and CUTLAP=NONE.
provides a shorthand way of setting all the cuts-related options in one setting. In other words, ALLCUTS=num is equivalent to setting each of the individual cuts parameters to the same value num. Thus, ALLCUTS=–1 has the effect of setting CUTCLIQUE=–1, CUTFLOWCOVER=–1, CUTFLOWPATH=–1, ..., CUTMIR=–1, and CUTZEROHALF=–1. Table 11.10 lists the values that can be assigned to option and num. In addition, you can override levels for individual cuts with the CUTCLIQUE=, CUTFLOWCOVER=, CUTFLOWPATH=, CUTGOMORY=, CUTGUB=, CUTIMPLIED=, CUTKNAPSACK=, CUTLAP=, CUTMILIFTED=, CUTMIR=, and CUTZEROHALF= options. If the ALLCUTS= option is not specified, all the cuts-related options are either set to their individually specified values (if the corresponding option is specified) or to their default values (if that option is not specified).
specifies the level of clique cuts generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTCLIQUE= option overrides the ALLCUTS= option. The default value is AUTOMATIC.
specifies the level of flow cover cuts generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTFLOWCOVER= option overrides the ALLCUTS= option. The default value is AUTOMATIC.
specifies the level of flow path cuts generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTFLOWPATH= option overrides the ALLCUTS= option. The default value is AUTOMATIC.
specifies the level of Gomory cuts generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTGOMORY= option overrides the ALLCUTS= option. The default value is AUTOMATIC.
specifies the level of generalized upper bound (GUB) cover cuts generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTGUB= option overrides the ALLCUTS= option. The default value is AUTOMATIC.
specifies the level of implied bound cuts generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTIMPLIED= option overrides the ALLCUTS= option. The default value is AUTOMATIC.
specifies the level of knapsack cover cuts generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTKNAPSACK= option overrides the ALLCUTS= option. The default value is AUTOMATIC.
specifies the level of lift-and-project (LAP) cuts generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTLAP= option overrides the ALLCUTS= option. The default value is NONE.
specifies the level of mixed lifted 0-1 cuts that are generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTMILIFTED= option overrides the ALLCUTS= option. The default value is AUTOMATIC.
specifies the level of mixed integer rounding (MIR) cuts generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTMIR= option overrides the ALLCUTS= option. The default value is AUTOMATIC.
specifies a row multiplier factor for cuts. The number of cuts added is limited to num times the original number of rows. The value of num can be any nonnegative number less than or equal to 100; the default value is 3.0.
specifies the level of zero-half cuts that are generated by PROC OPTMILP. Table 11.10 lists the values that can be assigned to option and num. The CUTZEROHALF= option overrides the ALLCUTS= option. The default value is AUTOMATIC.