text: #  NLP written by GAMS Convert at 04/21/18 13:51:48
  #  
  #  Equation counts
  #      Total        E        G        L        N        X        C        B
  #          8        8        0        0        0        0        0        0
  #  
  #  Variable counts
  #                   x        b        i      s1s      s2s       sc       si
  #      Total     cont   binary  integer     sos1     sos2    scont     sint
  #          9        9        0        0        0        0        0        0
  #  FX      0        0        0        0        0        0        0        0
  #  
  #  Nonzero counts
  #      Total    const       NL      DLL
  #         22       14        8        0
  # 
  #  Reformulation has removed 1 variable and 1 equation
  
  
  from pyomo.environ import *
  
  model = m = ConcreteModel()
  
  
  m.x1 = Var(within=Reals,bounds=(None,None),initialize=0)
  m.x3 = Var(within=Reals,bounds=(0,8),initialize=0)
  m.x4 = Var(within=Reals,bounds=(0,None),initialize=0)
  m.x5 = Var(within=Reals,bounds=(0,None),initialize=0)
  m.x6 = Var(within=Reals,bounds=(0,None),initialize=0)
  m.x7 = Var(within=Reals,bounds=(0,None),initialize=0)
  m.x8 = Var(within=Reals,bounds=(0,None),initialize=0)
  m.x9 = Var(within=Reals,bounds=(0,None),initialize=0)
  
  m.obj = Objective(expr=(-3 + m.x3)*(-3 + m.x3) + (-2 + m.x1)*(-2 + m.x1), sense=minimize)
  
  m.c2 = Constraint(expr=   m.x1 - 2*m.x3 + m.x4 == 1)
  
  m.c3 = Constraint(expr= - 2*m.x1 + m.x3 + m.x5 == 2)
  
  m.c4 = Constraint(expr=   2*m.x1 + m.x3 + m.x6 == 14)
  
  m.c5 = Constraint(expr=m.x4*m.x7 == 0)
  
  m.c6 = Constraint(expr=m.x5*m.x8 == 0)
  
  m.c7 = Constraint(expr=m.x6*m.x9 == 0)
  
  m.c8 = Constraint(expr=   2*m.x1 + m.x7 - 2*m.x8 + 2*m.x9 == 10)
  