User Tools

Site Tools


solver:providing_additional_debugging_information_if_a_model_is_integer_infeasible

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
solver:providing_additional_debugging_information_if_a_model_is_integer_infeasible [2008/05/16 15:15]
support
— (current)
Line 1: Line 1:
-====== Providing additional debugging information,​ if a model is integer infeasible ====== 
-Q: //Is there any way to trace the infeasiblility cause by which equations/​constraints ( with =e=, =l= or =g= ), which set by the user, from GAMS when the modelstate = 10, ie 'No feasible integer solution could be found',​ has occurred? ​ // 
  
-Most MIP solver do not return a solution at all, if a problem is integer infeasible. If you check the lst file, you will see a messages like: 
-<​code>​ 
- ​RESOURCE USAGE, LIMIT          0.014      1000.000 
- ​ITERATION COUNT, LIMIT         ​0 ​        10000 
- 
-ILOG CPLEX       ​May ​ 1, 2008 22.7.2 WIN 4792.4799 VIS x86/MS Windows 
-Cplex 11.0.1, GAMS Link 34  
- 
-Problem is integer infeasible. 
- 
-No solution returned 
-</​code>​ 
-Thus it is not possible for GAMS to provide any further information about the origin of the integer infeasibility. If you have a GAMS/Cplex license, you may want to have a look at "​Feasible Relaxation",​ which may provide further information. For more details please consult the GAMS/CPLEX solver manual. ​ 
IMPRESSUM / LEGAL NOTICEPRIVACY POLICY solver/providing_additional_debugging_information_if_a_model_is_integer_infeasible.1210943714.txt.gz ยท Last modified: 2008/05/16 15:15 by support