==  Welcome to the SYMPHONY MILP Solver 
==  Copyright 2000-2011 Ted Ralphs and others 
==  All Rights Reserved. 
==  Distributed under the Eclipse Public License 1.0 
==  Version: 5.4 
==  Build Date: Jul 19 2012 
==  Revision Number: 2030 

Reading input file...

Reading model section from cloud_location_symphony.mod...
9 lines were read
Reading data section from cloud_location_symphony.dat...
2 lines were read
Generating ObjectiveFunction...
Generating C1...
Generating C2...
Generating C3...
Model has been successfully generated

Starting Preprocessing...
Preprocessing finished...
 	 with no modifications...
Problem has 
	 3 constraints 
	 1 variables 
	 4 nonzero coefficients

Total Presolve Time: 0.000032...

Solving...

solving root lp relaxation
The LP value is: 2.000 [0,0]


****************************************************
* Optimal Solution Found                           *
* Now displaying stats and best solution found...  *
****************************************************

======================= CP Timing ===========================
  Cut Pool                  0.000
====================== LP/CG Timing =========================
  LP Solution Time          0.001
  LP Setup Time             0.000
  Variable Fixing           0.000
  Pricing                   0.000
  Strong Branching          0.000
  Separation                0.000
  Primal Heuristics         0.000
  Communication             0.000
  Total User Time              0.002
  Total Wallclock Time         0.001

====================== Statistics =========================
Number of created nodes :       1
Number of analyzed nodes:       1
Depth of tree:                  0
Size of the tree:               1
Number of solutions found:      1
Number of solutions in pool:    1
Number of Chains:               1
Number of Diving Halts:         0
Number of cuts in cut pool:     0

======================= LP Solver =========================
Number of times LP solver called:               1
Number of calls from feasibility pump:          0
Number of calls from strong branching:          0
Number of solutions found by LP solve:          1
Number of bounds changed by strong branching:   0
Number of nodes pruned by strong branching:     0

==================== Feasibility Pump =====================
Number of times feasibility pump called:        0
Number of solutions found by feasibility pump:  0
Time spent in feasibility pump:                 0.00

=========================== Cuts ==========================
total cuts accepted:                   0
total cuts added to LPs:               0
total cuts deleted from LPs:           0
total gomory cuts generated:           0
total knapsack cuts generated:         0
total oddhole cuts generated:          0
total clique cuts generated:           0
total probing cuts generated:          0
total mir cuts generated:              0
total twomir cuts generated:           0
total flow and cover cuts generated:   0
total rounding cuts generated:         0
total lift and project cuts generated: 0
total landp cuts generated:            0

cuts removed because of bad coeffs:    0
cuts removed because of duplicacy:     0
insufficiently violated cuts:          0

cuts in root:                          0
gomory cuts in root:                   0
knapsack cuts in root:                 0
oddhole cuts in root:                  0
clique cuts in root:                   0
probing cuts in root:                  0
mir cuts in root:                      0
twomir cuts in root:                   0
flow and cover cuts in root:           0
rounding cuts in root:                 0
lift and project cuts in root:         0
landp cuts in root:                    0

time in cut generation: 0.00
time in gomory cuts in 0 calls: 0.00
time in knapsack cuts in 0 calls: 0.00
time in oddhole cuts in 0 calls: 0.00
time in clique cuts in 0 calls: 0.00
time in probing cuts in 0 calls: 0.00
time in mir cuts in 0 calls: 0.00
time in twomir cuts in 0 calls: 0.00
time in flow and cover cuts in 0 calls: 0.00
time in rounding cuts in 0 calls: 0.00
time in lift and project cuts in 0 calls: 0.00
time in landp cuts in 0 calls: 0.00
time in redsplit cuts in 0 calls: 0.00
time in checking quality and adding: 0.00

Solution Found: Node 0, Level 0
Solution Cost: 2.0000000000
+++++++++++++++++++++++++++++++++++++++++++++++++++
Column names and values of nonzeros in the solution
+++++++++++++++++++++++++++++++++++++++++++++++++++
       y 2.0000000000