ILOG CPLEX 10.0 Release Notes
Contents
1. 00 c eee eee eee eee 43 FeasOpt Available in Interactive Optimizer oooococccccoccooco 43 Infeasibility as Conflict in the Interactive Optimizer liliis 44 Longer Variable Names in Interactive Optimizer llle 45 Greater Precision in MPS REW Files in Interactive Optimizer lille 45 Wildcards in Interactive Optimizer llle 45 I MM M UP E E CM MEE E E MIELE E 47 ILOG CPLEX 10 0 RELEASE NOTES 5 ILOG CPLEX 10 0 RELEASE NOTES ILOG CPLEX 10 0 Release Notes These release notes highlight improvements and new features in ILOG CPLEX 10 0 Please review these notes before using ILOG CPLEX 10 0 Announcements on page 8 Conversion Notes for All Users on page 8 Conversion Notes for Microsoft Users on page 16 Conversion Notes for Concert Technology Users on page 17 Conversion Notes for Callable Library Users on page 19 Conversion Notes for Interactive Optimizer Users on page 24 New Features for All APIs on page 24 New Features in Concert Technology on page 39 New Features in the Callable Library on page 41 New Features in the Interactive Optimizer on page 43 9 9 9 9 9 9 Table 9 New Parameters on page 46 ILOG CPLEX 10 0 RELEASE NOTES 7 Announcements These two announcements may be of interest to you CPLEX Feature Changes At times CPLEX features are considered for redesign or removal Before we make significant changes we would like to unders2. CPXreadcopysos deprecated CPXsoswrite deprecated Change in CPXsolwrite The routine CPXsolwrite has changed Its purpose now is to write a file in the new XML solution format See XML Solution Files on page 37 in these release notes for more information about this change The routine is no longer an advanced routine Changes for SOS Two routines of the Callable Library that you use to specify special ordered sets SOSs CPXcopysos and CPXaddsos have changed The argument to specify branching priority for each SOS has been removed from both routines An argument to specify the names of the SOSs has been added The routine of the Callable Library for accessing a special ordered set CPXget sos has also changed The argument sospri to specify priority has been removed The symbolic value CPX CALLBACK INFO SOS PRIORITY has been removed This symbol for specifying priority of a special ordered set SOS was formerly a possible ILOG CPLEX 10 0 RELEASE NOTES Conversion Notes for Callable Library Users argument of CPXgetcallbackinfo the routine of the Callable Library for querying callback information This symbol is no longer an argument for that routine These changes in the signatures of these routines mean that if your application uses them you must edit your application and recompile These changes also mean that when the names of SOSs appear in LP files that is formatted files with the extension 1p or MPS file
3. Changing the rules of business ILOG CPLEX 10 0 Release Notes January 2006 COPYRIGHT NOTICE Copyright O 1987 2006 by ILOG S A 9 Rue de Verdun 94253 Gentilly Cedex France and ILOG Inc 1080 Linda Vista Ave Mountain View California 94043 USA All rights reserved General Use Restrictions This document and the software described in this document are the property of ILOG and are protected as ILOG trade secrets They are furnished under a license or nondisclosure agreement and may be used or copied only within the terms of such license or nondisclosure agreement No part of this work may be reproduced or disseminated in any form or by any means without the prior written permission of ILOG S A or ILOG Inc Trademarks ILOG the ILOG design CPLEX and all other logos and product and service names of ILOG are registered trademarks or trademarks of ILOG in France the U S and or other countries All other company and product names are trademarks or registered trademarks of their respective holders Java and all Java based marks are either trademarks or registered trademarks of Sun Microsystems Inc in the United States and other countries Microsoft and Windows are either trademarks or registered trademarks of Microsoft Corporation in the United States and other countries document version 10 0 Table of Contents Announcements ia is nta que a ER E alee ee alae Seda a Don te Tw Ro ES RR 8 CPLEX Feature
4. e IloCplex getNcliques deprecated See Counting Cuts on page 259 in the ILOG CPLEX User s Manual for alternative ways of counting cuts e IloCplex getNcovers deprecated ILOG CPLEX 10 0 RELEASE NOTES 17 18 See Counting Cuts on page 259 in the ILOG CPLEX User s Manual for alternative ways of counting cuts IloCplex getFormulationEpsValue deprecated Use the parameter IloCplex EpLin instead IloCplex readVectors deprecated IloCplex writeVectors deprecated IloCplex writeTextSolution deprecated IloCplex getIIS deprecated Java API deprecated methods Il oCplex getNcliques deprecated See Counting Cuts on page 259 in the ILOG CPLEX User s Manual for alternative ways of counting cuts IloCplex getNcovers deprecated See Counting Cuts on page 259 in the ILOG CPLEX User s Manual for alternative ways of counting cuts IloCplex readVectors deprecated IloCplex writeVectors deprecated IloCplex writeTextSolution deprecated IloCplex getIIS deprecated NET API deprecated methods Cplex Ncliques deprecated See Counting Cuts on page 259 in the ILOG CPLEX User s Manual for alternative ways of counting cuts Cplex Ncovers deprecated See Counting Cuts on page 259 in the ILOG CPLEX User s Manual for alternative ways of counting cuts Cplex ReadVectors deprecated Cplex WriteVectors deprecated Cplex WriteTextSolution deprecated Cplex GetIIS deprecated ILOG CPLEX 10 0 RELEASE NOTES Conversi
5. CPX ON on emphasize conservation of memory Numerical Emphasis A new parameter lets you tell ILOG CPLEX to exercise extreme caution with respect to numeric computations NumericalEmphasis in Concert Technology CPX PARAM NUMERICALEMPHASIS in the Callable Library ILOG CPLEX 10 0 RELEASE NOTES 35 36 emphasis numerical in the Interactive Optimizer The settings of the numerical emphasis parameter are e OcPX OFF off the default do not emphasize extreme caution in computations e 1 CPX ON on emphasize extreme caution in computations Polishing Time A new parameter enables you to regulate the amount of time that ILOG CPLEX spends in polishing the best solution found During Solution Polishing ILOG CPLEX applies its effort to trying to improve the best feasible solution Polishing can yield better solutions in some situations The default value of the polishing time parameter is O zero that is spend no time polishing The parameter accepts any nonnegative value to set a limit in seconds PolishTime in Concert Technology CPX PARAM POLISHTIME in the Callable Library mip limits polishtime in the Interactive Optimizer Solution Polishing can be used to improve the best known solution at the end of branch amp cut if optimality has not been proven Alternatively it can used instead of the branch amp cut algorithm if an initial solution can be found at the root node If Solution Polishing is used as an
6. about this change see After FeasOpt on page 29 in these release notes These changes in the signature and return behavior of easopt mean that if your application uses this method you will need to edit and recompile The Java class I1oCplex now derives from a new class IloCplexModeler which implements the familiar interface IloMPModeler All the modeling methods previously in IloCplex are now available in T1o0CplexModeler The solution methods remain in IloCplex This re organization makes it possible for a user to build models in a Java application as pure Java objects without using the class I1oCplex In particular a model built with 11o0CplexModeler using no instance of I1oCplex does not require loading of the CPLEX d11 nor any shared library Furthermore I1oCplexModeler is serializable For example a user may develop a pure Java application that builds a model with IloCplexModeler and sends the model and modeling objects off to an optimization server that uses IloCplex The example CplexServer java shows you how to write such an application The class IloCplex extends I1o0CplexModeler so existing applications will continue to run correctly without change New quality type ExactKappa You can access exact kappa by means of the method e C API IloCplex getQuality e Java API IloCplex getQuality e NET API Cplex GetQuality Deprecated methods will be removed from future releases C API deprecated member functions
7. 21 CPXgetExactkappa deprecated 20 CPXgetgenclgent deprecated 21 CPXgetindconstrinfeas 30 CPXgetindconstrinfeasibility 42 CPXgetindconstrslack 32 CPXgetkappa deprecated 20 CPXgetqconstrinfeas 30 CPXgetqconstrinfeasibility 42 CPXgetrowinfeas 30 CPXgetrowinfeasibility 42 CPXgetSOS change in signature 22 CPXgetsosindex new routine 23 42 CPXgetsosinfeas 30 CPXgetsosinfeasibility 42 CPXgetsosname new routine 23 42 CPXqpread removed 20 CPXqpwrite removed 20 CPXreadcopysol 38 CPXrefineconflict 30 48 ILOG CPLEX 10 0 CPXrefineconflictext 30 CPXsolwrite 38 E EpLin new parameter Concert only 35 exact kappa 17 ExactKappa new parameter 20 F feasOpt signature changed 17 FeasOptMode parameter 26 FinalFactor parameter removed 13 G getInfeasibilities 30 getInfeasibility 30 IISInd parameter removed 12 IloCplex readSolution 38 IloCplex writeSolution 38 IloCplex readSolution 38 IloCplex writeSolution 38 IloCplexModeler new Java class 17 indicator constraint 32 J Java serialization 40 K kappa exact 17 L library formats supported 8 logical constraint 40 41 RELEASE NOTES machine types supported 8 MIPStart parameter removed 11 N name cuts and 23 lazy constraints and 23 output files and 23 NZGrowth parameter removed 13 NzReadLim parameter removed 11 P polishing solution 36 PreCompress parameter removed 13 PreslvNd new parameter settings 10 PreslvNd new setting for par
8. CPX SUM INDSLACK INFEAS e Numeric meaning accessed by CPXgetdblquality Sum of the infeasibilities of the indicator constraints e Integer value not meaningful Concert Technology does not distinguish indicator constraints from linear constraints in this respect New Features in the Interactive Optimizer FeasOpt Available in Interactive Optimizer on page 43 Infeasibility as Conflict in the Interactive Optimizer on page 44 Longer Variable Names in Interactive Optimizer on page 45 Greater Precision in MPS REW Files in Interactive Optimizer on page 45 Wildcards in Interactive Optimizer on page 45 FeasOpt Available in Interactive Optimizer FeasOpt formerly available only through Concert Technology or the Callable Library is now accessible in the Interactive Optimizer This feature computes a minimal relaxation of the bounds of variables or the righthand sides of constraints that make the active model feasible It is particularly useful for analyzing models that ILOG CPLEX has proved infeasible ILOG CPLEX 10 0 RELEASE NOTES 43 44 To invoke this feature from the Interactive Optimizer use one of the following commands feasopt constraints feasopt variables feasopt all Optionally you can instruct ILOG CPLEX to find an optimal solution of the minimally relaxed model To do so set the FeasOpt Mode to one of the values from Table 8 on page 44 For example you could write set feasopt 3 Ta
9. Gharnges 2o ex a caca 8 CPLEX Updates and Future Announcements ooccoc ees 8 Conversion Notes for All Users oooocoococcon RR III 8 New Settings for Existing Parameters oocococcccccoco ee 9 Read Limit Parameters Larger Defaults o oococooocooocoorno eee 10 Advind Replaces MIP Start Parameter oooccccccococ eee 11 Changes in MIP Start Behavior 0 0 0 ccc teen ena 11 IIS Subsumed by Conflict Refinement llle 12 Removed Memory Management Parameters llle 13 Removed File Formatse issuer PEE AAA CARE Nes 13 Deprecated File Formats sel eR adn a ee lia EAE aaa 14 Deprecated Error COdeS ooococococo rn 14 Removed Error Codes oocoococcoccco e rmn 15 Deprecated Reverselnd Parameter o ooooocooccocco eh 16 Deprecated XXXInd and Baslnterval Parameters liliis 16 Conversion Notes for Microsoft Users oooooccncoconcnanac ne 16 Conversion Notes for Concert Technology Users oooocococccncn e eens 17 Deprecated methods will be removed from future releases ooocoooccoooo 17 Removed MethodS ocoooooorr e n 19 ILOG CPLEX 10 0 RELEASE NOTES 3 Conversion Notes for Callable Library Users 0c cece eee eee eee 19 Change in CPXfeasopt ooooocccococccn mh 20 Removed CPXreadcopytree and CPXtreewrite ooooooooooococorrr 20 Removed CPXqpread and CPXqpwrite 0 ect t et eee ee 20 Deprecated Acce
10. New Default Limit ColReadLim CPX PARAM COLREADLIM read variables 60 000 NzReadLim CPX PARAM NZREADLIM read nonzeros 250 000 OPNzReadLim CPX PARAM QPNZREADLIM read qpnonzeros 5 000 RowReadLim CPX PARAM ROWREADLIM read constraints 30 000 Advind Replaces MIP Start Parameter The MIP start parameter MIPStart in Concert Technology and CPX PARAM MIPSTART in the Callable Library has been removed in favor of a more uniform interface Use the parameter AdvInd in Concert Technology and CPX_PARAM_ADVIND in the Callable Library instead for MIP starts In the Interactive Optimizer the command set mip strategy mipstart is no longer available use set advance instead There are also changes in the behavior of the parameter AdvInd in Concert Technology and CPX PARAM ADVIND in the Callable Library If you do not want ILOG CPLEX to use a MIP start set AdvInd to 0 zero Ifyou want ILOG CPLEX to use a MIP start leave AdvInd at its default value of 1 one or set it to 2 Changes in MIP Start Behavior A number of improvements have been made in how MIP starts behave Here are a few important implications of these changes MIP starts now accept partial solutions In other words you no longer need to supply a value for every variable in the model MIP starts now accept fractional that is noninteger solutions Ifa user provides a MIP start full or partial that cannot be extended into a feasible solution ILOG CPLE
11. advanced start In previous versions to discard the search tree and start over with a MIP start a user could set the parameters AdvInd to O zero and MIPStart to 1 one Now to achieve this effect you change the model and set Advind to 1 one to begin a new search and to use whatever part of the MIP start has been retained after the change in the model AdvInd Replaces MIP Start Parameter on page 11 in these release notes tells you more about this parameter IIS Subsumed by Conflict Refinement The facility for finding an irreducibly inconsistent set of constraints the IIS finder has been subsumed by a new algorithm for finding and refining a set of conflicting constraints and bounds in an infeasible model See the topic Conflict Refiner Analyzing Constraints and Bounds in Infeasible Models on page 30 of these release notes for a brief description of this new algorithm For greater detail about this new facility see the reference manual of your preferred API as well as the new chapter of the ILOG CPLEX User s Manual Diagnosing Infeasibility by Refining Conflicts on page 347 The IIS indicator parameter IISInd and CPX PARAM IISIND is no longer available See the Concert methods refineConflict and the Callable Library routine CPXrefineconflict instead Error codes involving IIS in previous releases of ILOG CPLEX are deprecated and will be removed in a future release See Deprecated Error Codes on page 14 for a list of these
12. changed The default is now 1 automatic let CPLEX decide The new default usually produces a faster initial solution of the relaxation The name of the parameter is RelaxPreInd in Concert Technology CPX PARAM RELAXPREIND in the Callable Library preprocessing relax in the Interactive Optimizer Symmetry ILOG CPLEX now offers more aggressive techniques for symmetry breaking You can turn off symmetry breaking or revert to previous behavior by means of new settings in the symmetry parameter The name of the parameter is Symmetry in Concert Technology CPX PARAM SYMMETRY in the Callable Library set presolve symmetry in the Interactive Optimizer The previous values of this parameter were binary on or off The new values are e lautomatic let CPLEX decide the level of symmetry breaking this setting is now the default e 0 turns off symmetry breaking e 1 moderate invokes behavior consistent with versions prior to 9 1 e 2 aggressive strengthens previous behavior ILOG CPLEX 10 0 RELEASE NOTES New Features for All APIs e 3 very aggressive new techniques Epsilon Linearity EpLin A new parameter sets the epsilon used in linearization The name of the parameter is EpLin in Concert Technology This parameter is not applicable in the Callable Library nor in the Interactive Optimizer Its default value is 1e 3 It controls how strict inequalities are managed during linearization In other words
13. in the NET API In the Callable Library use the routine CPXrefineconflict See also the routines CPXrefineconflictext CPXgetconflict CPXgetconflictext ILOG CPLEX 10 0 RELEASE NOTES New Features for All APIs In the Interactive Optimizer use the command conflict To write the results from the conflict refiner to a file with the file extension c1p use the new method writeConflict in a Concert Technology application or CPXc1pwrite in a Callable Library application A new parameter Conf1ictDisplay in Concert Technology and CPX PARAM CONFLICTDISPLAY in the Callable Library controls how much information is displayed by the conflict refiner By default display is on and invokes summary information Possible values are these e O off display no information from the conflict refiner e 1 on display summary information e 20n display information about all models being solved If a model happens to include multiple independent causes of infeasibility then it may be necessary for the user to repair one such cause and then repeat the diagnosis with further conflict analysis A conflict does not provide information about the magnitude of change in data values needed to achieve feasibility The techniques that ILOG CPLEX uses to refine a conflict include or remove constraints or bounds in trial conflicts the techniques do not vary the data in constraints nor in bounds To gain insight about changes in bounds on variables and const
14. objective among those that require only as much relaxation as it found necessary in the first phase Your choice of values for the FeasOpt relaxation mode parameter listed in Table 6 on page 27 in these release notes indicates two aspects to ILOG CPLEX whether to stop in phase one or continue to phase two e Min means stop in phase one with a minimal relaxation e Opt means continue to phase two for an optimum among those minimal relaxations how to measure the minimality of the relaxation e Sum means ILOG CPLEX should minimize the sum of all relaxations e Inf means that ILOG CPLEX should minimize the number of constraints and bounds relaxed e Quad means that ILOG CPLEX should minimize the sum of the squares of the relaxations ILOG CPLEX 10 0 RELEASE NOTES New Features for All APIs Table 6 New Relaxation Modes for FeasOpt Interactive Concert Callable Library Optimizer Effect MinSum CPX FEASOPT MIN SUM 0 Minimize the sum of all required relaxations in first phase only OptSum CPX FEASOPT OPT SUM 1 Minimize the sum of all required relaxations in first phase and execute second phase to find optimum with respect to the original objective among minimal relaxations MinInf CPX FEASOPT MIN INF 2 Minimize the number of constraints and bounds requiring relaxation in first phase only OptInf CPX FEASOPT OPT INF 3 Minimize the number of constraints and bounds requiring relaxation in first ph
15. use these routines e CPXgetrowinfeas for rows e CPXgetcolinfeas for columns e CPXgetqconstrinfeas for quadratic constraints e CPXgetindconstrinfeas for indicator constraints e CPXgetsosinfeas for special ordered sets To query the solution in an application of Concert Technology use one of these methods In the C API e IloCplex getInfeasibility e IloCplex getInfeasibilities In the Java API e IloCplex getInfeasibility e IlloCplex getInfeasibilities In the NET API e Cplex GetInfeasibility e Cplex GetInfeasibilities Conflict Refiner Analyzing Constraints and Bounds in Infeasible Models Given an infeasible model whether LP MIP QP or QCP ILOG CPLEX can identify conflicting constraints and bounds within the model to help a user identify the causes of the infeasibility In this context a conflict is a subset of the constraints and bounds of the model which are mutually contradictory ILOG CPLEX first examines the full infeasible model to identify portions of the conflict that it can remove By this process of refinement ILOG CPLEX arrives at a minimal conflict A minimal conflict is usually smaller than the full infeasible model and thus makes infeasibility analysis easier To invoke this new facility the conflict refiner In Concert Technology use the methods e IloCplex refineConflict and getConflict in the C API e IloCplex refineConflict and getConflict in the Java API e Cplex RefineConflict and GetConflict
16. 5 e CPXERR TRE FILE DATA 3401 e CPXERR TRE FILE FORMAT 3414 e CPXERR TRE FILE INTS 3407 e CPXERR TRE FILE NONZ 3408 e CPXERR TRE FILE OBJ 3404 e CPXERR TRE FILE OBJSEN 3415 e CPXERR TRE FILE PRESOLVE 3410 e CPXERR TRE FILE ROWS 3406 e CPXERR TRE FILE TYPES 3409 e CPXERR TRE FILE VERSION 3403 e CPXERR TRE FILE WRITE 3402 The conditions that could raise those error codes no longer occur ILOG CPLEX 10 0 RELEASE NOTES 15 Deprecated Reverselnd Parameter The parameter for specifying that the byte order should be reversed when ILOG CPLEX reads SAV files is deprecated in this release It will be removed in a future release There is no longer need for you to set this parameter manually as automatic facilities in ILOG CPLEX now detect the byte order of data and behave appropriately The name of this deprecated parameter in Concert Technology is ReverseInd In the Callable Library it is CPX PARAM REVERSEIND In the Interactive Optimizer the deprecated command is set read reverse Deprecated XXXInd and Baslnterval Parameters The parameter to enable and disable the reading of XXX files has been deprecated and will be removed in a future release Likewise the parameter for setting the frequency for writing a basis to a file has been deprecated and will be removed in a future release Table 5 Parameters Deprecated XXX File Indicator and BasInterval Concert Technology Callable Library Interactive Optimizer XXX
17. ILOG CPLEX 10 0 RELEASE NOTES Conversion Notes for All Users Routines for manipulating IIS are deprecated and will be removed from the Callable Library in a future release See Deprecated Callable Library Routines for IIS on page 21 for a list of those deprecated routines Removed Memory Management Parameters Table 3 on page 13 summarizes parameters that have been removed in favor of a simplified and more nearly uniform interface for managing memory Table 3 Parameters Removed Memory Management Concert Technology Callable Library Interactive Optimizer BarOOC CPX PARAM BAROOC barrier outofcore FinalFactor CPX PARAM FINALFACTOR simplex finalfactor PreCompress CPX PARAM PRECOMPRESS preprocessing compress These parameters have been replaced by a single parameter to emphasize memory management especially conservation of memory where possible See Memory Emphasis on page 35 In addition Table 4 on page 13 summarizes growth parameters that have been removed as well Better memory management in ILOG CPLEX and increased memory on modern platforms mean that these parameters are no longer necessary Table 4 Parameters Removed Growth Parameters Concert Technology Callable Library Interactive Optimizer ColGrowth CPX PARAM COLGROWTH read variables NZGrowth CPX PARAM NZGROWTH read nonzeros OPNZGrowth CPX PARAM QPNZGROWTH read qpnonzeros RowGrowth CPX PARAM ROWGROWTH read cons
18. Ind CPX PARAM XXXIND simplex xxxstart BasInterval CPX PARAM BASINTERVAL simplex basisinterval Conversion Notes for Microsoft Users 16 Please note that the standard distribution of ILOG CPLEX 10 0 contains these subdirectories or folders of interest to Microsoft users yourCPLEXhome 1lib x86_ net2003_7 1 stat yourCPLEXhome 1ib ia64_ net2003_7 1 stat yourCPLEXhomeNlibNx64 net2005 8 0Xsta yourCPLEXhomexbinXx86_win32 yourCPLEXhomeNbinNia64 win64 yourCPLEXhomeNbinNx64 win64 where yourCPLEXhome indicates the place on your Microsoft platform where you installed the product and bin and 1ib are distinct folders there Documentation for CPLEX NET is available in compiled Microsoft Help format CHM as part of the ILOG Optimization Documentation suite ILOG CPLEX 10 0 RELEASE NOTES Conversion Notes for Concert Technology Users Conversion Notes for Concert Technology Users These changes in Concert Technology may affect existing ILOG CPLEX applications Constructors of callbacks now take an instance of IloEnv as an argument The signature of the method easopt has changed The final argument the optimization indicator has been removed A new Concert Technology parameter FeasOptMode has been introduced For more detail see FeasOpt Relaxation Modes on page 26 among the new features in these release notes Furthermore the behavior has changed with respect to what it returns For more detail
19. ME Ln 36 Repairing Infeasible MIP Starts RepairTries llle 36 ILOG CPLEX 10 0 RELEASE NOTES Precision of Output in MPS and REW Files MPSLongNum lsessse esee 37 Reading Compressed Files ooocoococccoooc nnn 37 XML Solu tior Files 2 caos ue maed ef Ie bee E ERA eux p 37 NET and MIN File Formats selseeseeseeee eR I I I I A 38 Methods and Routines to Write LP Files Retain Names in Model 39 New Error Code gpn ixl x elimar le Ohed e cte pole er pog dac n 39 New Features in Concert Technology 0e cece eee eee eee III 39 Parameter Sets in Concert 40 Semi Continuous Variables in Concert Technology sse cece eee eee eee 40 Improved Error Messages in Concert Technology sss 40 Serialization in Java API liiilssessseeeeee mm 40 Logical Constraints in Java APl oooococcccoccoco n 40 Logical Constraints in NETAPI 0 0000 e rn 41 New Method getObjective in C APl o oocoococcoooo es 41 New Features in the Callable Library lesen BB 41 New Routines to Query Infeasible Solutions 0000 eee ees 41 New Routine for Solution Files CPXreadcopysol lessen 42 New Routines for Special Ordered Sets in Callable Library oooooooooooooo 42 MIP Starts in Callable Library IRR 43 New Quality Values in Callable Library lslsleee eB 43 New Features in the Interactive Optimizer
20. PI e Cplex ImportModel in the NET API Inthe Callable Library use the routine CPXreadcopyprob In the Interactive Optimizer use the read command NET or MIN format files in Concert Technology will still generate an LP representation of a network problem ILOG CPLEX 10 0 RELEASE NOTES New Features in Concert Technology Methods and Routines to Write LP Files Retain Names in Model Methods of all APIs in Concert Technology and C routines in the Callable Library will modify the names of modeling elements when writing LP files that is formatted files with the extension 1p so that the names of modeling elements remain readable This improvement is available In Concert Technology when you use the method exportModel with an argument that includes a filename with the 1p extension In the Callable Library when you use the routine CPXwriteprob either with 1p as the file type or with 1p as the extension of the file name Modeling elements for which this improvement makes the name legible in LP format files include the following e Variables e Constraints e Ranges e Special ordered sets SOSs e Lazy constraints e User defined cuts e Indicators New Error Code CPXERR XMLPARSE 1425 XML parsing error at line d The parser was unable to parse the input file Additional information about the reason is given in the message CPXERR NO CONFLICT 1719 No conflict is available Either a conflict has not been com
21. X will try to repair it For more detail about this feature see also Repairing Infeasible MIP Starts RepairTries on page 36 in these release notes MIP starts were formerly processed only once at the root node now a MIP start that you supply to ILOG CPLEX will be processed each time you invoke the MIP optimizer solve in Concert Technology CPXmipopt in the Callable Library mipopt in the ILOG CPLEX 10 0 RELEASE NOTES 11 12 Interactive Optimizer For example you could end mipopt after a certain number of nodes go off and compute a solution on your own and then give that solution to ILOG CPLEX and continue optimizing with another call to mipopt Concert Technology offers the same functionality now for MIP starts as for continuous LP starts Callable Library users now have similar ability to change parts of an existing MIP start with the new routine CPXchgmipstart In fact a MIP start now always starts from whatever portions of an advanced solution that ILOG CPLEX has been able to retain through model changes MIP starts are now compatible with linearized constraints MIP starts are now compatible with lazy constraints MST files that is files with the extension mst in MST format can be read for an advanced start The MST format has changed to an XML format For more detail about that topic see XML Solution Files on page 37 SOL files that is files with the extension sol in XML format can be read for an
22. aining a MIP start If the advanced indicator parameter CPX PARAM ADVIND is set to 1 one its default or 2 the solution read and copied by this routine will be used for an advanced start of a subsequent optimization The SOL file may contain these elements e advanced MIP start e basis status e primal values e dual values e combinations of those elements New Routines for Special Ordered Sets in Callable Library New routines CPXgetsosname and CPXgetsosindex have been added to the Callable Library CPXgetsosname accesses a range of names of special ordered sets in a CPLEX problem object CPXgetsosindex searches for the index of a special ordered set in a CPLEX problem object ILOG CPLEX 10 0 RELEASE NOTES New Features in the Interactive Optimizer MIP Starts in Callable Library The routine CPXchgmipstart is now available in the Callable Library to modify an existing problem object for a MIP start or to create a MIP start if one does not exist already New Quality Values in Callable Library There are new quality values associated with indicator constraints CPX MAX INDSLACK INFEAS e Numeric meaning accessed by CPXgetdblquality Maximum infeasibility of the indicator constraints or equivalently the maximum bound violation of the indicator constraint slacks e Integer meaning accessed by CPXgetintquality Lowest index of the indicator constraints where the maximum indicator slack infeasibility occurs
23. alternative algorithm to branch amp cut optimality may not be proven even if the optimal solution is found ProbeTime A new parameter enables you to limit the amount of time that ILOG CPLEX spends in probing The default value is 1e 75 seconds The parameter accepts any nonnegative value ProbeTime in Concert Technology CPX PARAM PROBETIME in the Callable Library mip limits probetime in the Interactive Optimizer Repairing Infeasible MIP Starts RepairTries If a user provides a MIP start full or partial that cannot be extended into a feasible solution ILOG CPLEX will try to repair it By default ILOG CPLEX will try the repair heuristic once The user can change the number of repair attempts to any nonnegative value by setting the parameter RepairTries in Concert Technology or CPX PARAM REPAIRTRIES in the Callable Library ILOG CPLEX 10 0 RELEASE NOTES New Features for All APIs Precision of Output in MPS and REW Files MPSLongNum A new parameter lets you control the degree of precision displayed in output files in MPS and REW formats MPSLongNum in Concert Technology CPX PARAM MPSLONGNUM in the Callable Library output mpslong in the Interactive Optimizer When this parameter is set to its default value 1 one numbers are written to MPS files in full precision that is up to 15 significant digits may be written The setting O zero writes files that correspond to the standard MPS format
24. ameter 34 Q QPNZGrowth parameter removed 13 QPNzReadLim parameter removed 11 R readSolution 38 refineConflict 30 RelaxPreInd new default for parameter 34 RelaxPreInd new parameter settings 10 RepeatPresolve new parameter 33 ReverseInd deprecated parameter 16 RowGrowth parameter removed 13 RowReadLim parameter removed 11 S SOL file format 37 solution file 37 Solution Polishing 36 solution quality 20 Symmetry new parameter settings 10 Symmetry new setting for parameter 34 ILOG CPLEX 10 0 W writeConflict 31 writeSolution 38 X XML file format 37 XXXInd parameter removed 16 RELEASE NOTES 49 50 ILOG CPLEX 10 0 RELEASE NOTES
25. ase and execute second phase to find optimum with respect to the original objective among minimal relaxations MinQuad CPX FEASOPT MIN QUAD 4 Minimize the sum of squares of required relaxations in first phase only OptQuad CPX FEASOPT OPT QUAD 5 Minimize the sum of squares of required relaxations in first phase and execute second phase to find optimum among minimal relaxations Existing status values for relaxations have been extended to include FeasOpt results They are summarized in FeasOpt Status on page 28 To access these status values use the conventional methods or routines for accessing solution status In Concert Technology use the method getCplexStatus Inthe Callable Library e For MIPs use the routine CPXgetstat e For LPs and QPs use the routine CPXsolinfo ILOG CPLEX 10 0 RELEASE NOTES 27 Table 7 FeasOpt Status Concert Technology Callable Library Meaning FeasibleRelaxedSum CPX STAT FEASIBLE RELAX ED SUM A solution was found for the model relaxed according to the criterion of minimizing the sum of relaxations the solution is feasible OptimalRelaxedSum CPX STAT OPTIMAL RELAXED SUM A solution was found for the model relaxed according to the criterion of minimizing the sum of relaxations the solution is optimal FeasibleRelaxedInf CPX STAT FEASIBLE RELAX ED INF A solution was found for the model relaxed according to th
26. ble 8 FeasOpt Modes in Interactive Optimizer Value Meaning 0 find relaxation with minimal sum of infeasibilities default 1 find optimal solution with minimal relaxation from 0 2 find relaxation with minimal number of infeasibilities 3 find optimal solution with minimal relaxation from 2 4 find relaxation with minimal sum of squared infeasibilities 5 find optimal solution with minimal relaxation from 4 There is also a parameter available through the Interactive Optimizer to control the tolerance for this feature set feasopt tolerance There are limitations of easopt in the Interactive Optimizer The Interactive Optimizer does not attempt to relax bounds on binary 0 1 variables nor in special ordered sets SOS Infeasibility as Conflict in the Interactive Optimizer Most of the features of the conflict refiner available in the Callable Library or Concert Technology are also available in the Interactive Optimizer with the exception of groups of constraints and preferences among groups or constraints To invoke the conflict refiner on an infeasible model in the Interactive Optimizer use the command conflict To display the results of the conflict refiner use the command display conflict all ILOG CPLEX 10 0 RELEASE NOTES New Features in the Interactive Optimizer To write the results to a file of type CLP use the following command substituting the name of your file for file w
27. ble Library New Routines to Query Infeasible Solutions on page 41 New Routine for Solution Files CPXreadcopysol on page 42 New Routines for Special Ordered Sets in Callable Library on page 42 MIP Starts in Callable Library on page 43 gt 99 New Quality Values in Callable Library on page 43 New Routines to Query Infeasible Solutions The following new routines are available in the Callable Library to query the infeasibility of a solution ILOG CPLEX 10 0 RELEASE NOTES 41 42 e CPXgetcolinfeasibility computes the infeasibility of a given solution for a range of variables e CPXgetrowinfeasibility computes the infeasibility of a given solution for a range of linear constraints e CPXgetqconstrinfeasibility computes the infeasibility of a given solution for a range of quadratic constraints e CPXgetindconstrinfeasibility computes the infeasibility of a given solution for a range of indicator constraints e CPXgetsosinfeasibility computes the infeasibility of a given solution for a range of special ordered sets SOSs See the reference manual of the Callable Library for more detail about these new query routines New Routine for Solution Files CPXreadcopysol The new Callable Library routine CPXreadcopyso1 reads an LP or QP solution from a file with the file extension sol that is a SOL file in XML syntax and copies that solution into a CPLEX problem object This new routine also reads SOL files cont
28. ble Solutions on page 41 e New Routine for Solution Files CPXreadcopysol on page 42 e New Routines for Special Ordered Sets in Callable Library on page 42 e MIP Starts in Callable Library on page 43 e New Quality Values in Callable Library on page 43 New Features in the Interactive Optimizer on page 43 ILOG CPLEX 10 0 RELEASE NOTES 25 e FeasOpt Available in Interactive Optimizer on page 43 e Infeasibility as Conflict in the Interactive Optimizer on page 44 e Longer Variable Names in Interactive Optimizer on page 45 e Greater Precision in MPS REW Files in Interactive Optimizer on page 45 e Wildcards in Interactive Optimizer on page 45 FeasOpt Relaxation Modes FeasOpt introduced in a previous version of ILOG CPLEX performs an additional optimization that computes a minimal relaxation of the constraints and bounds of variables and righthand sides of constraints in an infeasible model to make the active model feasible In this version a new parameter has been introduced to guide FeasOpt in its computation of that relaxation FeasOptMode in Concert Technology CPX PARAM FEASOPTMODE in the Callable Library set feasopt mode in the Interactive Optimizer FeasOpt works in two phases In its first phase it attempts to minimize its relaxation of the infeasible model That is it attempts to find a feasible solution that requires minimal change In its second phase it finds an optimal solution with respect to the original
29. d use the routine CPXdelindconstr To access slack values of an indicator constraint use the new routine CPXgetindconstrslack To access information about the indicator constraints of a presolved model from callbacks during MIP optimization use the new advanced routine CPXgetcallbackindicatorinfo In the Interactive Optimizer you can include indicator constraints among the usual linear constraints in LP format For example instead of the following Big M formulation which relies on the x values summing to less than one billion a formulation that can cause numeric instability or undesirable solutions in some situations constr01 x1 x2 x3 le 9 y lt 0 NN may cause problems you can enter the following formulation where y is a binary variable using an indicator constraint like this constr01 y 0 gt x1 x2 x3 0 NN alternative ILOG CPLEX 10 0 RELEASE NOTES New Features for All APIs Improvements for MIQPs ILOG CPLEX version 9 1 extended its facilities for generating cuts automatically to attempt generation of Gomory cuts for mixed integer programs with a quadratic objective function MIQP ILOG CPLEX version 10 0 rejects fewer models that are not positive semi definite Improvements in Presolve RepeatPresolve A new parameter lets you tell ILOG CPLEX to re apply the MIP presolve techniques of the preprocessor to a MIP model at the root after preprocessing has otherwise finished that is after cu
30. deprecated CPXiiswrite deprecated Deprecated Callable Library Routines for Counting Clique and Cover Cuts Routines in the Callable Library for counting clique cuts and cover cuts have been deprecated CPXgetclgcnt deprecated CPXgetcovcnt deprecated CPXgetgenclgcnt deprecated See Counting Cuts on page 259 in the ILOG CPLEX User s Manual for alternative ways of counting cuts ILOG CPLEX 10 0 RELEASE NOTES 21 22 Deprecated Callable Library Routines for Obsolete File Formats These routines of the Callable Library are deprecated and will be removed from future releases CPXbinsolwrite deprecated CPXreadcopyvec deprecated CPXtxtsolwrite deprecated CPXwritesol deprecated 2 CPXwritevec deprecated Those routines read or write file formats that have been deprecated Instead use the new Callable Library routine CPXreadcopysol which provides more generic access to a wider variety of file formats and the changed routine CPXsolwrite which accesses the new XML solution format in files with the file extension sol written in XML syntax For more detail about XML format in ILOG CPLEX see XML Solution Files on page 37 in these release notes Also SOS file extension sos formatted ASCII based files for declaring special ordered sets SOS are deprecated The Callable Library routines for reading and writing files in this format are also deprecated and will be removed from future releases
31. e 9 9 99 9 99 9 New Parameters FeasOpt Relaxation Modes on page 26 After FeasOpt on page 29 Conflict Refiner Analyzing Constraints and Bounds in Infeasible Models on page 30 Indicator Constraints on page 32 Improvements for MIQPs on page 33 Improvements in Presolve RepeatPresolve on page 33 Cliques on page 33 Covers on page 33 PreslvNd on page 34 ILOG CPLEX 10 0 RELEASE NOTES 9 9 99 9 9 9 9 9 8 OH 4 ol New Features for All APIs RelaxPrelnd on page 34 Symmetry on page 34 Epsilon Linearity EpLin on page 35 Memory Emphasis on page 35 Numerical Emphasis on page 35 Polishing Time on page 36 ProbeTime on page 36 Repairing Infeasible MIP Starts RepairTries on page 36 Precision of Output in MPS and REW Files MPSLongNum on page 37 Reading Compressed Files on page 37 XML Solution Files on page 37 NET and MIN File Formats on page 38 Methods and Routines to Write LP Files Retain Names in Model on page 39 New Error Code on page 39 New Features in Concert Technology on page 39 e Parameter Sets in Concert on page 40 e Semi Continuous Variables in Concert Technology on page 40 e Improved Error Messages in Concert Technology on page 40 e Serialization in Java API on page 40 e Logical Constraints in Java API on page 40 e Logical Constraints in NET API on page 41 e New Method getObjective in C API on page 41 New Features in the Callable Library on page 41 e New Routines to Query Infeasi
32. e criterion of relaxing the minimal number of constraints and bounds the solution is feasible OptimalRelaxedInf CPX STAT OPTIMAL RELAXED INF A solution was found for the model relaxed according to the criterion of relaxing the minimal number of constraints and bounds the solution is optimal FeasibleRelaxedQuad CPX STAT FEASIBLE RELAXED QUAD A solution was found for the model relaxed according to the criterion of minimizing the sum of squares of relaxations the solution is feasible OptimalRelaxedQuad CPX STAT OPTIMAL RELAXED QUAD A solution was found for the model relaxed according to the criterion of minimizing the sum of squares of relaxations the solution is optimal FeasibleRelaxedSum CPXMIP FEASIBLE RELAXED SUM 120 A solution was found for the model relaxed according to the criterion of minimizing the sum of relaxations the solution is feasible 28 ILOG CPLEX 10 0 RELEASE NOTES New Features for All APIs Table 7 FeasOpt Status Concert Technology Callable Library Meaning OptimalRelaxedSum CPXMIP OPTIMAL RELAXED SUM 121 A solution was found for the model relaxed according to the criterion of minimizing the sum of relaxations the solution is optimal FeasibleRelaxedInf CPXMIP FEASIBLE RELAXED INF 122 A solution was found for the model relaxed according to the criterion of relaxing the minimal number of constraints and bo
33. ecated file formats and routines See Deprecated Callable Library Routines for Obsolete File Formats on page 22 for a list of Callable Library routines supporting these deprecated file formats These routines are also deprecated Deprecated Error Codes These error codes referring to irreducibly inconsistent sets IIS have been deprecated They will be removed in a future release For information about the conflict refiner which has subsumed the IIS finder and thus made these error codes obsolete see ZIS Subsumed by Conflict Refinement on page 12 and Conflict Refiner Analyzing Constraints and Bounds in Infeasible Models on page 30 in these release notes e CPXERR IIS NO INFO 1701 e CPXERR IIS NO SOLN 1702 e CPXERR IIS FEAS 1703 e CPXERR IIS NOT INFEAS 1704 ILOG CPLEX 10 0 RELEASE NOTES Conversion Notes for All Users e CPXERR IIS OPT INFEAS 1705 e CPXERR IIS DEFAULT 1706 e CPXERR IIS NO BASIC 1707 e CPXERR IIS NO LOAD 1709 e CPXERR IIS SUB OBJ LIM 1710 e CPXERR IIS SUB IT LIM 1711 e CPXERR IIS SUB TIME LIM 1712 e CPXERR IIS NUM BEST 1713 e CPXERR IIS SUB ABORT 1714 Removed Error Codes The MIP specific error CPXERR NO INT SOLN 3017 has been replaced by the generic error CPXERR NO SOLN 1217 These error codes referring to an obsolete file format no longer exist e CPXERR PAR NO HEADER 1525 e CPXERR PAR BAD HEADER 1526 e CPXERR PAR SHORT 1527 e CPXERR PAR DATA 1528 e CPXERR TRE FILE COLS 340
34. ex A CPX PARAM COLGROWTH parameter removed 13 CPX PARAM COLREADLIM parameter removed 11 AdvInd parameter changes 11 CPX PARAM CONFLICTDISPLAY new parameter 31 announcements 8 CPX PARAM COVERS new setting for parameter 34 CPX PARAM COVERS new settings 10 B CPX PARAM FEASOPTMODE 26 BarGrowth parameter removed 13 BarOOC parameter removed 13 C callback constructor 17 Cliques new parameter setting 10 Cliques new setting for clique cut parameter 33 ColGrowth parameter removed 13 ColReadLim parameter removed 11 compiler version number 8 conflict Interactive Optimizer command 31 ConflictDisplay new parameter 31 conversion notes 8 Cover new setting for cut parameter 33 Covers new parameter settings 10 CPX CALLBACK INFO SOS PRIORITY removed 22 CPX EXACT KAPPA new parameter 20 CPX PARAM ADVIND changed 11 CPX PARAM BARGROWTH parameter removed 13 CPX PARAM BAROCC parameter removed 13 CPX PARAM CLIQUES new parameter setting 33 CPX PARAM CLIQUES new settings 10 ILOG CPLEX 10 0 CPX PARAM FINALFACTOR parameter removed 13 CPX PARAM IISIND parameter removed 12 CPX PARAM MIPSTART parameter removed 11 CPX PARAM NZGROWTH parameter removed 13 CPX PARAM NZREADLIM parameter removed 11 CPX PARAM PRECOMPRESS parameter removed 13 CPX PARAM PRESLVND new setting for parameter 34 CPX PARAM PRESLVND new settings 10 CPX PARAM OPNZGROWTH parameter removed 13 CPX PARAM QPNZREADLIM parameter removed 11 CPX PARAM RELAXPREIND new default fo
35. ger be discarded as they were before Furthermore output files in the formats LP SAV and MPS will now show any names that the user assigned or that were read from input files In fact the MPS format has been changed to accommodate lazy constraints and user defined cuts You can now write lazy constraints and user defined cuts to MPS files and read lazy constraints and user defined cuts from MPS files ILOG CPLEX 10 0 RELEASE NOTES 23 Conversion Notes for Interactive Optimizer Users In addition to the New Features detailed in New Features in the Interactive Optimizer on page 43 in these release notes the following changes may be of immediate interest to users of the Interactive Optimizer The former command set mip emphasis has changed its syntax It is now set emphasis mip This change makes the emphasis command consistent for emphasis on MIP features numeric caution and memory use e Set emphasis mip e Set emphasis numeric e Set emphasis memory The command to display an irreducibly inconsistent set display iis has been removed instead use the command conflict followed by the command display conflict For more about the new feature the conflict refiner which has subsumed the IIS finder see Conflict Refiner Analyzing Constraints and Bounds in Infeasible Models on page 30 among the New Features in these release notes New Features for All APIs 24 Here s more detail about major new features in this releas
36. in Callable Library Parameter in Purpose Technology Interactive Optimizer ConflictDisplay CPX PARAM CONFLICTDISPLAY display conflict Determines how much information to log and display for the conflict refiner EpRelax CPX PARAM EPRELAX feasopt tolerance Sets epsilon used to newly available in Interactive measure relaxation in Optimizer FeasOpt EpLin not applicable not applicable Sets epsilon used in linearization FeasOptMode CPX PARAM FEASOPTMODE feasopt mode Sets mode for FeasOpt phases and solutions MemoryEmphasis CPX PARAM MEMORYEMPHASIS emphasis memory Emphasizes reduced use of memory MPSLongNum CPX PARAM MPSLONGNUM output mpslong Controls the precision of output in MPS and REW files NumericalEmphasis CPX PARAM NUMERICALEMPHASIS emphasis numerical Emphasizes extreme numerical caution PolishTime CPX PARAM POLISHTIME mip limits polishtime Limits time in seconds spent on solution polishing after normal MIP optimization ProbeTime CPX PARAM PROBETIME mip limits probetime Limits time in seconds spent probing RepairTries CPX PARAM REPAIRTRIES mip limits repairtries Limits number of times ILOG CPLEX tries to repair an infeasible MIP start supplied by user RepeatPresolve CPX PARAM REPEATPRESOLVE preprocessing Reapplies MIP presolve repeatpresolve after the root is processed 46 ILOG CPLEX 10 0 RELEASE NOTES N D E Ind
37. it provides an epsilon for determining when two values are not equal during linearization For example when x is a numeric variable that is an instance of IloNumVar x lt a becomes x lt a eplin Similarly x a becomes x a x a which is linearized as x lt a eplin x gt a eplin When should you change this parameter If you are not getting an expected solution for a Concert Technology model that uses linearization it might be that this solution is cut off because of the relatively high EpLin value In such a case carefully try reducing it Care must be taken in reducing EpLin because the smaller the epsilon the more numerically unstable the model will tend to become Memory Emphasis A new parameter lets you tell ILOG CPLEX to emphasize reduced use of memory This new parameter replaces certain parameters as noted in Removed Memory Management Parameters on page 13 Also while solution information will be available after optimization certain computations that require a basis that has been factored for example for the computation of the condition number Kappa may be unavailable depending on the operations performed during preprocessing MemoryEmphasis in Concert Technology CPX PARAM MEMORYEMPHASIS in the Callable Library emphasis memory in the Interactive Optimizer The settings of the memory emphasis parameter are e OcPXx OFF off the default do not emphasize conservation of memory e
38. n numbers of compilers and JDKs see the file yourCPLEXhome mptable html Conversion notes possibly of interest to all users include these topics New Settings for Existing Parameters on page 9 8 ILOG CPLEX 10 0 RELEASE NOTES Conversion Notes for All Users Read Limit Parameters Larger Defaults on page 10 AdvInd Replaces MIP Start Parameter on page 11 Changes in MIP Start Behavior on page 11 IIS Subsumed by Conflict Refinement on page 12 Removed Memory Management Parameters on page 13 Removed File Formats on page 13 Deprecated File Formats on page 14 Deprecated Error Codes on page 14 Removed Error Codes on page 15 Deprecated ReverseInd Parameter on page 16 9 9 9 9 9 9 9 99 Deprecated XXXInd and BasInterval Parameters on page 16 New Settings for Existing Parameters Several new features are controlled by new values of already existing parameters The existence of these values should not affect current applications but for completeness Table 1 on page 10 indicates where a change has been made Consult New Features for All APIs on page 24 of this document for details about what the new settings do ILOG CPLEX 10 0 RELEASE NOTES 9 Table 1 New Settings for Existing Parameters Parameter in Concert Parameter in Parameter in New Settings Technology Callable Library Interactive Optimizer Cliques CPX PARAM CLIQUES mip cuts cliques 3 3 very aggressive for clique c
39. olution quality have been deprecated and will be removed from future releases CPXcheckpib deprecated CPxcheckax deprecated CPXgetExactkappa deprecated CPXgetkappa deprecated Use CPXgetdblquality with appropriate arguments instead A new type of quality CPX EXACT KAPPA in the Callable Library and ExactKappa in Concert Technology has been added to support this uniform API for accessing solution quality by means of CPXgetdblquality ILOG CPLEX 10 0 RELEASE NOTES Conversion Notes for Callable Library Users Deprecated MIP Specific Routines These MIP specific routines of the Callable Library are now deprecated and will be removed from future releases e CPXgetmipx deprecated e CPXgetmipslack deprecated e CPXgetmipobjval deprecated e CPXgetmipqconstrslack deprecated Use these generic routines instead e CPXgetx e CPXgetslack e CPXgetobjval e CPXgetqconstrslack Deprecated Callable Library Routines for IIS The IIS finder a feature for calculating irreducibly inconsistent sets has been subsumed by the conflict refiner introduced in these release notes in Conflict Refiner Analyzing Constraints and Bounds in Infeasible Models on page 30 As a consequence of extending the IIS finder to this more generic conflict refiner the following routines of the Callable Library are deprecated and will be removed from a future release cPXdisplayiis deprecated cPXfindiis deprecated cPXgetiis
40. on Notes for Callable Library Users Removed methods These member functions have been removed from the C API e IloCplex getFormulationBigValue removed e IloCplex setFormulationBigValue removed e IloCplex getPWLFormulation removed e IloCplex setPWLFormulation and the enumeration IloCplex PWLFormulation removed e IloCplex readTree removed e IloCplex writeTree removed These methods have been removed from the Java API e IloCplex readTree removed e IloCplex writeTree removed These methods have been removed from the NET API e Cplex ReadTree removed e Cplex WriteTree removed Conversion Notes for Callable Library Users These changes in the Callable Library may affect existing ILOG CPLEX applications 9 9 9 9 9 9 9 4 Change in CPXfeasopt on page 20 Removed CPXreadcopytree and CPXtreewrite on page 20 Removed CPXqpread and CPXqpwrite on page 20 Deprecated Accessing Solution Quality on page 20 Deprecated MIP Specific Routines on page 21 Deprecated Callable Library Routines for IIS on page 21 Deprecated Callable Library Routines for Counting Clique and Cover Cuts on page 21 Deprecated Callable Library Routines for Obsolete File Formats on page 22 Change in CPXsolwrite on page 22 Changes for SOS on page 22 Names in User Defined Cuts and in Lazy Constraints on page 23 ILOG CPLEX 10 0 RELEASE NOTES 19 20 Change in CPXfeasopt CPXfeasopt no longer includes the optind arg
41. puted or the computation failed CPXERR CONFLICT UNSTABLE 1720 Computation failed because a previously detected infeasibility could not be reproduced A conflict exists and can be queried but it is not minimal New Features in Concert Technology Parameter Sets in Concert on page 40 ILOG CPLEX 10 0 RELEASE NOTES 39 40 Semi Continuous Variables in Concert Technology on page 40 Improved Error Messages in Concert Technology on page 40 Serialization in Java API on page 40 Logical Constraints in Java API on page 40 Logical Constraints in NET API on page 41 9 9 9 99 New Method getObjective in C API on page 41 Parameter Sets in Concert You can now group parameters into sets and ILOG CPLEX will treat them together in Concert Technology allowing you to store and restore parameters that are not at their default value in your application For more detail see the documentation of these classes in the reference manual IloCplex ParameterSet in C IloCplex ParameterSet in Java Cplex Parameterset in NET Semi Continuous Variables in Concert Technology Semi continuous variables in Concert Technology no longer require a finite upper bound at solution time Improved Error Messages in Concert Technology Error messages from Concert Technology now include the name of the class that raised the error or threw the exception so that you can easily identify that class and consult its documentation in the
42. r parameter 34 CPX PARAM RELAXPREIND new settings 10 CPX PARAM REPEAATPRESOLVE new parameter 33 CPX PARAM REVERSEIND deprecated parameter 16 CPX PARAM ROWGROWTH parameter removed 13 CPX PARAM ROWREADLIM parameter removed 11 CPX PARAM SYMMETRY new setting for parameter 34 CPX PARAM SYMMETRY new settings 10 CPX PARAM XXXIND parameter removed 16 CPXaddindconstr 32 CPXaddlazyconstraints change in signature 23 CPXaddusercuts change in signature 23 CPXcheckax deprecated 20 CPXcheckpib deprecated 20 RELEASE NOTES 47 CPXchgmipstart 43 CPXclpwrite 31 CPXdelindconstr 32 CPXERR PAR BAD HEADER error code removed 15 CPXERR PAR DATA error code removed 15 CPXERR PAR NO HEADER error code removed 15 CPXERR PAR SHORT error code removed 15 CPXERR TRE FILE COLS error code removed 15 CPXERR TRE FILE DATA error code removed 15 CPXERR TRE FILE FORMAT error code removed 15 CPXERR TRE FILE INTS error code removed 15 CPXERR TRE FILE NONZ error code removed 15 CPXERR TRE FILE OBJ error code removed 15 CPXERR TRE FILE OBJSEN error code removed 15 CPXERR TRE FILE PRESOLVE error code removed 15 CPXERR TRE FILE ROWS error code removed 15 CPXERR TRE FILE TYPES error code removed 15 CPXERR TRE FILE VERSION error code removed 15 CPXERR TRE FILE WRITE error code removed 15 CPXgetcallbackindicatorinfo 32 CPXgetclqoent deprecated 21 CPXgetcolinfeas 30 CPXgetcolinfeasibility 42 CPXgetconflict 30 CPXgetconflictext 30 CPXgetcovont deprecated
43. raints consider the FeasOpt feature Also consider FeasOpt for an approach to automatic repair of infeasibility Refining a conflict in an infeasible model as defined here is similar to finding an irreducibly inconsistent set IIS an established technique in the published literature long available within ILOG CPLEX Both tools conflict refiner and IIS finder attempt to identify an infeasible subproblem in an infeasible model However the conflict refiner is more general than the IIS finder The IIS finder is applicable only in continuous that is LP models whereas the conflict refiner can work on any type of problem even those containing discrete variables or quadratic elements Also the conflict refiner differs from the IIS finder in that a user may organize constraints into one or more groups for a conflict When a user specifies a group ILOG CPLEX will make sure that either the group as a whole will be present in a conflict that is all its members will participate in the conflict and removal of one will result in a feasible subproblem or that the group will not participate in the conflict at all See the Concert Technology methods refineConflict and the Callable Library routine CPXrefineconflictext for more about groups A user may also assign a numeric preference to constraints or to groups of constraints In the case of an infeasible model having more than one possible conflict preferences guide the conflict refiner toward identif
44. reference manual for more detail about the conditions that caused the error or exception Serialization in Java API Offering better support for J2EE ILOG CPLEX now enables you to serialize modeling objects In particular the modeling classes of the Java API such as 11o0CplexModeler implement the interface java io Serializable Logical Constraints in Java API Logical constraints formerly available only through the C API of Concert Technology are now available through the Java API of Concert Technology In the Java interface ILOG CPLEX 10 0 RELEASE NOTES New Features in the Callable Library IloModeler implemented by the classes IloCplexModeler and IloCplex the following methods implement logical constraints e and e or e not e ifThen Logical Constraints in NET API Logical constraints formerly available only through the C API of Concert Technology are now available through the NET API of Concert Technology In the NET interface Modeler implemented by the classes CplexModeler and Cplex the following methods implement logical constraints e And e Or e Not e IfThen New Method getObjective in C API A new method IloCplex getObjective in the C API returns an instance of the class IloObjective extracted by the invoking algorithm In other words this method returns the objective as an object not the objective value returned by the methods getObj Value New Features in the Calla
45. rite file clp For more detail about the conflict refiner generally see Conflict Refiner Analyzing Constraints and Bounds in Infeasible Models on page 30 in these release notes and Diagnosing Infeasibility by Refining Conflicts on page 347 in the ILOG CPLEX User s Manual Longer Variable Names in Interactive Optimizer The Interactive Optimizer is now capable of displaying longer up to 256 characters names of variables automatically In other words variable names are no longer truncated to 16 characters Greater Precision in MPS REW Files in Interactive Optimizer As noted in Precision of Output in MPS and REW Files MPSLongNum on page 37 ILOG CPLEX now offers you more control over the precision of output in MPS and REW files when you read or write them in the Interactive Optimizer Wildcards in Interactive Optimizer The Interactive Optimizer now recognizes wildcards question mark for a single character asterisk for zero or more characters Wildcards are recognized in the Interactive Optimizer in these situations e When you query solution information e In display commands that accept a range of constraints or variables for example display problem histogram does not accept wildcards but display problem constraints accepts wildcards e In change commands that accept a range of constraints or variables ILOG CPLEX 10 0 RELEASE NOTES 45 Table 9 New Parameters Parameter in Concert Parameter
46. s that is formatted files with the extension mps the names will be retained and used by ILOG CPLEX The names will no longer be discarded as they were in the past Furthermore output files in the formats LP SAV and MPS will now show any names that the user assigned or that were read from input files New routines CPXgetsosname and CPXgetsosindex have been added to the Callable Library CPXgetsosname accesses a range of names of special ordered sets in a CPLEX problem object CPXgetsosindex searches for the index of a special ordered set in a CPLEX problem object Names in User Defined Cuts and in Lazy Constraints Two advanced routines of the Callable Library now take an additional argument that allows a user to provide a name for a user defined cut or a lazy constraint in the C API cPXaddusercuts takes an additional argument to indicate the name of the cuts The additional argument is an array of names it may be NULL cPXaddlazyconstraints takes an additional argument to indicate the name of a lazy constraint Again the additional argument is an array of names it may be NULL This change in the signature of these advanced routines means that 1f your application uses them you will need to edit your application and recompile This change also means that when names of cuts or lazy constraints appear in LP files that is formatted files with the extension 1p the names will be retained and used the names will no lon
47. ssing Solution Quality llle 20 Deprecated MIP Specific Routines llle 21 Deprecated Callable Library Routines for IIS llle eee 21 Deprecated Callable Library Routines for Counting Clique and Cover Cuts 21 Deprecated Callable Library Routines for Obsolete File FormatS 22 Change in CPXsolwrite crease rie or ia EEEE ERE EEE mh 22 Changes for SOS ir e EE A ee ee Se E GU eai A 22 Names in User Defined Cuts and in Lazy Constraints a na llle esee 23 Conversion Notes for Interactive Optimizer Users 0000 e eee eee eee 24 New Features for All APIS 2 0 0 0 cece eee n hh n eee eens 24 FeasOpt Relaxation Modes 0 0 0 cece cette tenets 26 After FeasOpt ai reed atrio dida td added ater 29 Conflict Refiner Analyzing Constraints and Bounds in Infeasible Models 30 Indicator Constraints cce eR yc eV er era Dx Pu Rx v Rer se E EE 32 Improvements for MQP Sw cess u mepa i a e rms 33 Improvements in Presolve RepeatPresolve oooooccoccooco eee 33 A emn gp O doa imc ats 33 COVES ica VNDE EE E Scu ee re tru Ehe Pa og LS 33 A p RR LL rr 34 Relax Pre lind sse REESE Ra RE Ad A GERI ER ae and 34 SIMON A ee LEUR ER ERR REP Y 34 Epsilon Linearity EPIN ia p Wa A DER Eu A 35 Memory EMPHASIS cs i pr eR Rete nct dos Ede ROC ec eee hed ep 35 Numerical Emphasis 145 vmi A ERE ERES Ra 35 Polishing Time xL Shean dete pee aay oda REPE EAE 36 Probe TI
48. t generation at the root The name of the parameter is RepeatPresolve in Concert Technology CPX PARAM REPEATPRESOLVE in the Callable Library preprocessing repeatpresolve in the Interactive Optimizer Settings of this new parameter are e 1 Automatic Let CPLEX choose whether to re apply presolve this is the default setting e 0 Turn off repeat presolve Repeat presolve without cuts 2 Repeat presolve with cuts 3 Repeat presolve with cuts and allow new root cuts Cliques A very aggressive new setting 3 is available for the clique cut parameter The parameter name is Cliques in Concert Technology CPX PARAM CLIQUES in the Callable Library mip cuts cliques 3 in the Interactive Optimizer Covers A very aggressive new setting 3 is available for the cover cut parameter The parameter name is Covers in Concert Technology ILOG CPLEX 10 0 RELEASE NOTES 33 CPX PARAM COVERS in the Callable Library mip cuts covers 3 in the Interactive Optimizer PreslvNd A new setting 2 for the presolve node parameter is available The new setting probes all integer infeasible variables at each node to find those that can be fixed The name of the parameter is PreslvNd in Concert Technology CPX PARAM PRESLVND in the Callable Library mip strategy presolvenode 2 in the Interactive Optimizer RelaxPrelnd The default value of the indicator for preprocessing relaxation has
49. tand if or how these features are being used by our customers For the next major release we may change or remove the following features Lazy constraints Goals If you have an interest in either of these features please send an email to cplex productmgr ilog fr CPLEX Updates and Future Announcements An electronic mailing list is available to keep you informed about important product updates If you subscribe to this list you will receive announcements when new releases are available updates to FAQs are published and code samples are ready Subscribers may possibly receive an invitation to beta testing To subscribe to this list go to the ILOG Customer Support web site and navigate to the ILOG CPLEX product support pages in the Products section The link Subscribe to Users List enables you access a page where you can subscribe to the ILOG CPLEX mailing list Only the product manager of ILOG CPLEX posts announcements to this list Your name and mailing address will not be published for any other purpose than receiving these official product announcements Conversion Notes for All Users For users of earlier versions of ILOG CPLEX the following topics offer guidelines for easy migration to ILOG CPLEX version 10 0 Users of prior versions must first apply the Conversion Notes accompanying previous versions of ILOG CPLEX before upgrading to this one For a complete list of machine types and library formats including versio
50. to use a SOL file in situations where you have used a BAS file before The MST file format file extension mst for advanced starts has changed to this new SOL XML format In Concert Technology there are specific methods for reading and writing SOL files e In the C API see the methods I1oCplex readSolution and IloCplex writeSolution e Inthe Java API see the methods I1oCplex readSolution and IloCplex writeSolution e Inthe NET API see the methods Cplex ReadSolution and Cplex WriteSolution Inthe Callable Library use the new routine CPXreadcopysol to read SOL files Use the changed routine CPXsolwrite to write SOL files Note There is already a different XML file format available for serializing Concert Technology models and solutions Existing classes and methods of Concert Technology already serialize modeling and solution objects those objects are thus adapted for reading and writing in XML format See the topic XML File Format on page 40 in the ILOG CPLEX File Formats Reference Manual and the reference manuals of the APIs for details about serialization and XML NET and MIN File Formats Improved methods and routines make it possible to read network files that is files containing a network structure in a model in NET format with the extension net or MIN format with the extension min In Concert Technology use these methods e IloCplex importModel in the C API e IloCplex importModel in the Java A
51. traints In contrast the barrier growth parameter BarGrowth in Concert Technology and CPX PARAM BARGROWTH in the Callable Library is still available Removed File Formats These file formats have been removed QP file format TRE file format ILOG CPLEX 10 0 RELEASE NOTES 13 14 The methods or routines supporting these particular formats have also been removed More general methods or routines are available instead See these topics in the release notes for more detail about alternatives to these file formats e XML Solution Files on page 37 e Change in CPXsolwrite on page 22 e Removed CPXreadcopytree and CPXtreewrite on page 20 e Removed CPXqpread and CPXqpwrite on page 20 Deprecated File Formats The following file formats are deprecated BIN file extension bin binary representation solution files are deprecated IIS file extension iis formatted ASCII based representation of irreducibly inconsistent sets is deprecated This format has been replaced by CLP file extension c1p for representing files in the conflict refiner SOS file extension sos formatted ASCII based representation of special ordered sets SOS is deprecated TXT file extension txt formatted ASCII based solution files are deprecated VEC file extension vec barrier solution files are deprecated See XML Solution Files on page 37 among New Features in these release notes for more detail about replacing these depr
52. ument to determine whether CPLEX should find the optimal solution among all minimal relaxations Instead use the new parameter governing the mode of FeasOpt described in FeasOpt Relaxation Modes on page 26 of these release notes This change in the signature of this routine means that if your application uses it you will need to edit your application and recompile Removed CPXreadcopytree and CPXtreewrite The routines CPXreadcopytree and CPXtreewrite which supported the TRE file format deprecated in ILOG CPLEX version 9 1 have been removed For advanced starts enter a full or partial solution by means of the routine CPXcopymipstart For solutions use the new routine CPXreadcopysol to read SOL files in XML format See XML Solution Files on page 37 among New Features in these release notes for more about solution files Removed CPXqpread and CPXqpwrite The routines CPXapread for reading and CPXqpwrite for writing a QP format file corresponding to the quadratic coefficient matrix of a quadratic program were deprecated in a previous release and they have been removed in this release QP specific files are no longer necessary Use the more generic read and write routines CPXreadcopyprob and CPXwriteprob instead Deprecated Accessing Solution Quality In the Callable Library the routine cPXgetdblquality now provides a uniform API for accessing solution quality The following advanced routines formerly needed for accessing s
53. unds the solution is feasible OptimalRelaxedInf CPXMIP OPTIMAL RELAXED INF 123 A solution was found for the model relaxed according to the criterion of relaxing the minimal number of constraints and bounds the solution is optimal FeasibleRelaxedQuad CPXMIP FEASIBLE RELAXED QUAD 124 A solution was found for the model relaxed according to the criterion of minimizing the sum of squares the solution is feasible OptimalRelaxedQuad CPXMIP OPTIMAL RELAXED QUAD 125 A solution was found for the model relaxed according to the criterion of minimizing the sum of squares the solution is optimal AbortRelaxed CPXMIP ABORT RELAXED 126 Terminated prematurely for example because of a time limit After FeasOpt FeasOpt the method easopt in Concert Technology and the routine CPX easopt in the Callable Library formerly used the same arguments for two different purposes as input from the user to specify preferences for relaxing bounds and constraints as output to return the optimal relaxation quantities for these bounds and constraints FeasOpt no longer returns the relaxation quantities in this way Instead you can compute the extent of the optimal relaxation from the solution vector returned by FeasOpt ILOG CPLEX 10 0 RELEASE NOTES 29 30 In order to see which constraints and bounds FeasOpt relaxed query the solution In an application of the Callable Library
54. ut parameter Covers CPX PARAM COVERS mip cuts cover 3 3 very aggressive for cover cut parameter PreslvNd CPX PARAM PRESLVND mip strategy 2 Probes all integer infeasible presolvenode variables at each node to find those that can be fixed RelaxPreInd CPX PARAM RELAXPREIND preprocessing relax default is now 1 automatic Symmetry CPX PARAM SYMMETRY pre symmetry former values no and yes 1 automatic default 0 off 1 moderate 2 aggressive 3 very aggressive Read Limit Parameters Larger Defaults Table 2 on page 11 summarizes the parameters that set limits on pre allocated memory in terms of the initial number of rows constraints columns variables nonzeros and QP nonzeros to be read by default These parameters do not limit the size of the problem that can be read Rather they indirectly specify the default amount of memory that will be pre allocated for reading a problem from a file If the limit is exceeded more memory is allocated automatically 10 ILOG CPLEX 10 0 RELEASE NOTES Conversion Notes for All Users The default values of these parameters have been significantly increased Consequently unless you have a very large problem for which fragmentation of memory has become an issue you should not need to change these parameters from their new default values Table 2 Read Limit Parameter Defaults Increased Concert Technology Callable Library Interactive Optimizer
55. where at most 12 characters can be used to represent a value This limit may result in loss of precision For more detail about the MPS and REW file formats generally see the ILOG CPLEX File Format Reference Manual Reading Compressed Files The routines for reading compressed files have been improved to recognize the following file types bz2 for files compressed with BZip2 new Z or z for files compressed with Zip gz for files compressed with GNU Zip XML Solution Files ILOG CPLEX enables you to read and write a solution file formatted in XML for all problem types in all APIs These new solution files known as SOL files carry the file extension sol The XML solution format enables you to display these solution files in most browsers ILOG CPLEX also offers a stylesheet and schema in the include directory of the product to facilitate use of this format in your applications e solution xs1 stylesheet e solution xsd schema These generic solution files suitable for all problem types replace the TXT file extension txt and BIN file extension bin files that were formerly available only for LP problems ILOG CPLEX can also read these new SOL files as an advanced start Consequently they replace VEC file extension vec files as well ILOG CPLEX 10 0 RELEASE NOTES 37 38 ILOG CPLEX can also read these new SOL files as an advanced basis The BAS file format continues to exist but you may want
56. ying constraints in a conflict as the user prefers ILOG CPLEX 10 0 RELEASE NOTES 31 In these respects the conflict refiner represents an extension and generalization of the IIS finder For examples of the conflict refiner in use see Diagnosing Infeasibility by Refining Conflicts on page 347 in the ILOG CPLEX User s Manual Indicator Constraints An indicator constraint is a new way of expressing relationships among variables by specifying a binary variable to control whether or not a linear constraint takes effect For example indicator constraints are useful in problems where there are fixed charges to express only if a given variable comes into play So called Big M formulations often exhibit trickle flow and at times they behave unstably The main purpose of indicator constraints is to avoid the unwanted side effects of Big M formulations Generally the use of indicator constraints is not warranted when the unwanted side effects of Big M formulations are not present In Concert Technology applications indicator constraints are automatically invoked by ILOG CPLEX when a user declares expressions that can be linearized such expressions as IloIfThen for example In Callable Library applications the new routine CPXaddindconstr is available for you to add indicator constraints to your model For an example of its use see ixnet c in the examples directory of the product To remove an indicator constraint that you have adde
Download Pdf Manuals
Related Search