USER'S GUIDE

  • AIMMS Basics
  • Creating and Managing a Model
  • Data Management
  • AIMMS and Solvers
    • AIMMS IDE
    • BARON
    • CBC
    • CONOPT
    • COPT
    • CP Optimizer
    • CPLEX
      • CPLEX
      • CPLEX to AIMMS Mapping
      • AIMMS to CPLEX Mapping
      • Benders Decomposition
      • Callback Procedures
      • Feasopt (Feasibility Relaxation)
      • Indicator Constraints
      • Multi-Objective Optimization
      • Multiple MIP Starts
      • Parallel Concurrent Optimizer
      • SOCP
      • Solution Pool
      • Solution Pool Filters
      • SOS Types
      • SubMIP
      • Troubleshooting
      • Tuning Tool
      • User Cuts and Lazy Constraints
      • CPLEX Options
        • General
        • Simplex
        • Barrier
        • Benders
        • MIP
        • MIP Advanced
        • MIP Cuts
        • MIP Heuristics
        • MIP Preprocessing
        • MIP Solution Polishing
        • MIP Solution Pool
        • Network
        • Parallel
        • Preprocessing
        • QP
        • Tuning
        • Logging
    • GUROBI
    • IPOPT
    • KNITRO
    • MINOS
    • ODH-CPLEX
    • PATH
    • SNOPT
    • XA
  • Miscellaneous
User's Guide
AIMMS Logo
  • User's Guide »
  • AIMMS and Solvers »
  • CPLEX »
  • CPLEX Options »
  • Preprocessing »
  • Print Presolve Status
  • Edit on Github

Print Presolve Status

Type

Selection

Range

The settings listed below

Default

No

This option indicates whether presolve status information for the variables and constraint should be printed to the listing file. Possible values are:

  • No

  • Yes

Possible presolve statuses for the variables are:

  • In presolved problem

  • Fixed to lower bound

  • Fixed to upper bound

  • Fixed to other value

  • Aggregated out

  • Deleted or merged

Possible presolve statuses for the constraints are:

  • In presolved problem

  • Redundant

  • Used for aggregation

  • Deleted

This option is especially useful to detect which constraints with a Big M value are not eliminated by preprocessing. A Big M constraint that is not eliminated by preprocessing can be reformulated as an Indicator Constraint.

Note

  • Presolve status information is only available for LP and MIP models.

  • Presolve status information is not available if CPLEX Presolve detects that the model is infeasible or unbounded.

  • Presolve status information is not available if the procedure GMP::SolverSession::Execute or GMP::SolverSession::AsynchronousExecute is used to solve the model.

Learn more about

  • Indicator Constraints

Last updated: Aug 21, 2025

Help & Feedback

Docs

Edit this page to fix an error or add an improvement in a pull request
Create an issue to suggest an improvement to this page

Product

Create a topic if there's something you don't like about this feature
Propose functionality by submitting a feature request

Support

Not what you where looking for? Search the docs

Remember we also have Community support

Still having trouble ? Reach out to us


Next Previous

AIMMS
AIMMS COMMUNITY
AIMMS DOCS
DISCLAIMER
PRIVACY STATEMENT
© 1989 - 2025 AIMMS B.V.