The LP Procedure

Output Data Sets

Subsections:

ACTIVEOUT= Data Set
PRIMALOUT= Data Set
DUALOUT= Data Set
TABLEAUOUT= Data Set
MPSOUT= Data Set

The LP procedure can optionally produce five output data sets. These are the ACTIVEOUT= , PRIMALOUT= , DUALOUT= , TABLEAUOUT= , and MPSOUT= data sets. Each contains two variables that identify the particular problem in the input data set. These variables are

_OBJ_ID_: identifies the objective function ID.
_RHS_ID_: identifies the right-hand-side variable.

Additionally, each data set contains other variables, which are discussed below.

ACTIVEOUT= Data Set

The ACTIVEOUT= data set contains a representation of the current active branch-and-bound tree. You can use this data set to initialize the branch-and-bound tree to continue iterations on an incompletely solved problem. Each active node in the tree generates two observations in this data set. The first is a 'LOWERBD' observation that is used to reconstruct the lower-bound constraints on the currently described active node. The second is an 'UPPERBD' observation that is used to reconstruct the upper-bound constraints on the currently described active node. In addition to these, an observation that describes the current best integer solution is included. The data set contains the following variables:

_STATUS_: contains the keywords LOWERBD, UPPERBD, and INTBEST for identifying the type of observation.
_PROB_: contains the problem number for the current observation.
_OBJECT_: contains the objective value of the parent problem that generated the current observation’s problem.
_SINFEA_: contains the sum of the integer infeasibilities of the current observation’s problem.
_PROJEC_: contains the data needed for CANSELECT= PROJECT when the branch-and-bound tree is read using the ACTIVEIN= option.
_PSEUDO_: contains the data needed for CANSELECT= PSEUDOC when the branch-and-bound tree is read using the ACTIVEIN= option.
INTEGER VARIABLES: Integer-constrained structural variables are also included in the ACTIVEOUT= data set. For each observation, these variables contain values for defining the active node in the branch-and-bound tree.

PRIMALOUT= Data Set

The PRIMALOUT= data set contains the current primal solution. If the problem has integer-constrained variables, the PRIMALOUT= data set contains the current best integer feasible solution. If none have been found, the PRIMALOUT= data set contains the relaxed solution. In addition to _OBJ_ID_ and _RHS_ID_, the data set contains the following variables:

_VAR_: identifies the variable name.
_TYPE_: identifies the type of the variable as specified in the input data set. Artificial variables are labeled as type 'ARTIFCL'.
_STATUS_: identifies whether the variable is basic, nonbasic, or at an upper bound in the current solution.
_LBOUND_: contains the input lower bound on the variable unless the variable is integer-constrained and an integer solution is given. In this case, _LBOUND_ contains the lower bound on the variable needed to realize the integer solution on subsequent calls to PROC LP when using the PRIMALIN= option.
_VALUE_: identifies the value of the variable in the current solution or the current best integer feasible solution.
_UBOUND_: contains the input upper bound on the variable unless the variable is integer-constrained and an integer solution is given. In this case, _UBOUND_ contains the upper bound on the variable needed to realize the integer solution on subsequent calls to PROC LP when using the PRIMALIN= option.
_PRICE_: contains the input price coefficient of the variable.
_R_COST_: identifies the value of the reduced cost in the current solution. Example 4.3 in the section Examples: LP Procedure shows a typical PRIMALOUT= data set. Note that it is necessary to include the information on objective function and right-hand side in order to distinguish problems in multiple problem data sets.

DUALOUT= Data Set

The DUALOUT= data set contains the dual solution for the current solution. If the problem has integer-constrained variables, the DUALOUT= data set contains the dual for the current best integer solution, if any. Otherwise it contains the dual for the relaxed solution. In addition to _OBJ_ID_ and _RHS_ID_, it contains the following variables:

_ROW_ID_: identifies the row or constraint name.
_TYPE_: identifies the type of the row as specified in the input data set.
_RHS_: gives the value of the right-hand side on input.
_L_RHS_: gives the lower bound for the row evaluated from the input right-hand-side value, the TYPE of the row, and the value of the RANGE variable for the row.
_VALUE_: gives the value of the row, at optimality, excluding logical variables.
_U_RHS_: gives the upper bound for the row evaluated from the input right-hand-side value, the TYPE of the row, and the value of the RANGE variable for the row.
_DUAL_: gives the value of the dual variable associated with the row.

TABLEAUOUT= Data Set

The TABLEAUOUT= data set contains the current tableau. Each observation, except for the first, corresponds to a basic variable in the solution. The observation labeled R_COSTS contains the reduced costs $c^ T_ N - c^ T_ B B^{-1}N$ . In addition to _OBJ_ID_ and _RHS_ID_, it contains the following variables:

_BASIC_: gives the names of the basic variables in the solution.
INVB_R: gives the values of $B^{-1}r$ , where r is the right-hand-side vector.
STRUCTURAL VARIABLES: give the values in the tableau, namely $B^{-1}A$ .

MPSOUT= Data Set

The MPSOUT= data set contains problem data converted from a PROC LP format into an MPS-format SAS data set. The six fields, FIELD1 to FIELD6, in the MPSOUT= data set correspond to the six columns in MPS standard. For more information about the MPS-format SAS data set, see Chapter 17: The MPS-Format SAS Data Set in SAS/OR 14.1 User's Guide: Mathematical Programming.