MIPs are a fundamentally intractable class of problems, and so it is not surprising that – when the problem is too large or the formulation too weak -- CPLEX may not be able to find a provably optimal solution within the time and memory you have available. To see what is happening in the CPLEX run after you type "solve", try adding
option cplex_options 'mipdisplay 2';
If the "nodes left" keep increasing and the "gap" remains large, then CPLEX is having trouble making progress.
Bob Fourer
From: am...@googlegroups.com [mailto:am...@googlegroups.com]
On Behalf Of Luke Li
Sent: Tuesday, April 17, 2012 11:46 PM
To: am...@googlegroups.com
Subject: [AMPL 5676] computer usage when solving using AMPL/CPLEX
The message you're seeing indicates that AMPL needs more memory to generate this problem than it can get from your computer. The student version is a 32-bit binary and so it cannot take advantage of more than 2^32 = 4294967296 bytes of memory, even if there is more memory on your computer. (Other versions of AMPL are also available in 64-bit binaries that can don't have any practical memory limitation.)
For suggestions on troubleshooting problems with insufficient memory, see question 3.6 at www.ampl.com/FAQ. Also for CPLEX you should consult the discussion of Common Difficulties beginning on page 74 of www.ampl.com/BOOKLETS/amplcplex122userguide.pdf.
Most often a "weak" formulation is one that gives poor bounds when integrality is relaxed, or that has a lot of different but equivalent solutions ("symmetry"), or that defines too many zero-one variables. If you are going to be solving really hard integer programs then it is worth studying some texts and papers on the methods used, but I do not have a recommendation for one reference that surveys everything that is currently implemented in programs like CPLEX.
On Behalf Of Luke Li
Sent: Saturday, April 21, 2012 11:32 PM
To: am...@googlegroups.com
Cc: 4...@ampl.com
Subject: Re: [AMPL 5698] computer usage when solving using AMPL/CPLEX