Log started (V12.4.0.0) Sun Dec 16 11:18:05 2012


Problem '1STN.matrix.120p.18aa.usingEref_self_digit8.wcsp.lp' read.
Read time =  454.48 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...
Presolve has eliminated 0 rows and 0 columns...
Tried aggregator 1 time.
Presolve has eliminated 0 rows and 0 columns...
Presolve time =  744.43 sec.
Elapsed time 35.81 sec. for 0% of probing.
Elapsed time 50.30 sec. for 0% of probing.
Elapsed time 84.19 sec. for 0% of probing.
Elapsed time 103.11 sec. for 0% of probing.
Elapsed time 117.86 sec. for 0% of probing.
Elapsed time 151.39 sec. for 0% of probing.
Elapsed time 171.70 sec. for 0% of probing.
Elapsed time 183.98 sec. for 0% of probing.
Elapsed time 220.82 sec. for 0% of probing.
Elapsed time 232.56 sec. for 0% of probing.
Elapsed time 265.29 sec. for 0% of probing.
Elapsed time 279.33 sec. for 0% of probing.
Elapsed time 310.94 sec. for 0% of probing.
Elapsed time 325.12 sec. for 0% of probing.
Elapsed time 359.72 sec. for 0% of probing.
Elapsed time 375.50 sec. for 0% of probing.
Elapsed time 385.71 sec. for 0% of probing.
Elapsed time 417.53 sec. for 0% of probing.
Elapsed time 434.42 sec. for 0% of probing.
Elapsed time 457.28 sec. for 0% of probing.
Elapsed time 467.93 sec. for 0% of probing.
Elapsed time 478.35 sec. for 0% of probing.
Elapsed time 492.61 sec. for 0% of probing.
Elapsed time 509.68 sec. for 0% of probing.
Elapsed time 519.98 sec. for 0% of probing.
Elapsed time 530.82 sec. for 0% of probing.
Elapsed time 541.25 sec. for 0% of probing.
Elapsed time 553.08 sec. for 0% of probing.
Elapsed time 563.44 sec. for 0% of probing.
Elapsed time 573.75 sec. for 0% of probing.
Elapsed time 584.16 sec. for 0% of probing.
Elapsed time 594.78 sec. for 0% of probing.
Elapsed time 605.52 sec. for 0% of probing.
Elapsed time 711.90 sec. for 0% of probing.
Elapsed time 722.83 sec. for 0% of probing.
Elapsed time 734.23 sec. for 0% of probing.
Elapsed time 744.77 sec. for 0% of probing.
Elapsed time 777.63 sec. for 0% of probing.
Elapsed time 788.06 sec. for 0% of probing.
Elapsed time 798.51 sec. for 0% of probing.

Root node processing (before b&c):
  Real time             = 1828.05
Sequential b&c:
  Real time             =    0.00
                          -------
Total (root+branch&cut) = 1828.05 sec.
Warning: MIP starts not constructed because of out-of-memory status.
CPLEX Error  1001: Out of memory.


MIP - Error termination, no integer solution.
Current MIP best bound is infinite.
Solution time = 2575.02 sec.  Iterations = 0  Nodes = 0
Deterministic time = 429109.78 ticks  (166.64 ticks/sec)


CPLEX Error  1217: No solution exists.
No file written.