Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012


Problem '3HHR.matrix.115p.19aa.usingEref_self_digit8.wcsp.lp' read.
Read time =  147.46 sec.
Warning:  CPLEX version found in file /work/tschiex/CPD-Décembre2012/cplex/cplex.prm (12.2.0.0) does not match
          this CPLEX version (12.4.0.0).
Parameter file '/work/tschiex/CPD-Décembre2012/cplex/cplex.prm' read.
Presolve has eliminated 0 rows and 0 columns...
Presolve has eliminated 0 rows and 0 columns...
Presolve has eliminated 0 rows and 0 columns...
Presolve has eliminated 0 rows and 0 columns...
Tried aggregator 1 time.
Presolve has eliminated 0 rows and 0 columns...
Presolve time =  401.07 sec.

Root node processing (before b&c):
  Real time             =   33.43
Sequential b&c:
  Real time             =    0.00
                          -------
Total (root+branch&cut) =   33.43 sec.
CPLEX Error  1110: Not enough memory to recover solution for original MIP.
CPLEX Error  1001: Out of memory.


MIP - Error termination, integer feasible.
Current MIP best bound is infinite.
Solution time =  435.30 sec.  Iterations = 0  Nodes = 0
Deterministic time = 108793.29 ticks  (249.93 ticks/sec)