search

Pyomo / pyomo

An object-oriented algebraic modeling language in Python for structured optimization problems.
https://www.pyomo.org
Other
1.97k stars 504 forks source link

MindtPy solver bug #1499

Closed yifanguan closed 4 years ago

yifanguan commented 4 years ago

I'm trying to use MindtPy solver to solve one nonconvex mixed-integer nonlinear programming optimization task.

However, I got the following error: INFO: ---Starting MindtPy--- INFO: Original model has 2 constraints (0 nonlinear) and 0 disjunctions, with 58 variables, of which 0 are binary, 58 are integer, and 0 are continuous. INFO: Objective is nonlinear. Moving it to constraint set. INFO: NLP 1: Solve relaxed integrality INFO: NLP 1: OBJ: 0.0 LB: 0.0 UB: inf Traceback (most recent call last): File "reweigh_mindtpy.py", line 77, in main() File "reweigh_mindtpy.py", line 41, in main results = solver.solve(model, mip_solver='glpk', nlp_solver='ipopt', integer_tolerance=1, tee=True) # tee option control output of solver File "/home/yfguan/anaconda3/envs/dlcourse/lib/python3.7/site-packages/pyomo/contrib/mindtpy/MindtPy.py", line 366, in solve MindtPy_initialize_master(solve_data, config) File "/home/yfguan/anaconda3/envs/dlcourse/lib/python3.7/site-packages/pyomo/contrib/mindtpy/initialization.py", line 50, in MindtPy_initialize_master init_rNLP(solve_data, config) File "/home/yfguan/anaconda3/envs/dlcourse/lib/python3.7/site-packages/pyomo/contrib/mindtpy/initialization.py", line 87, in init_rNLP config, ignore_integrality=True) File "/home/yfguan/anaconda3/envs/dlcourse/lib/python3.7/site-packages/pyomo/contrib/gdpopt/util.py", line 199, in copy_var_list_values v_to.set_value(value(v_from, exception=False)) File "/home/yfguan/anaconda3/envs/dlcourse/lib/python3.7/site-packages/pyomo/core/base/var.py", line 173, in set_value if valid or self._valid_value(val): File "/home/yfguan/anaconda3/envs/dlcourse/lib/python3.7/site-packages/pyomo/core/base/var.py", line 185, in _valid_value "domain %s" % (val, type(val), self.domain)) ValueError: Numeric value 8.79337969002068 (<class 'float'>) is not in domain PositiveIntegers

In short, the objective function is a summation of (probability written by variables - fixed numeric probability)^2. My model details: 58 Var Declarations w0 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w1 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w10 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w11 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w12 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w13 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w14 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w15 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w16 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w17 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w18 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w19 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w2 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w20 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w21 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w22 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w23 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w24 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w25 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w26 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w27 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w28 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w29 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w3 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w30 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w31 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w32 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w33 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w34 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w35 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w36 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w37 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w38 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w39 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w4 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w40 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w41 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w42 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w43 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w44 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w45 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w46 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w47 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w48 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w49 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w5 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w50 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w51 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w52 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w53 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w54 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w55 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w56 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w57 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w6 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w7 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w8 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers w9 : Size=1, Index=None Key : Lower : Value : Upper : Fixed : Stale : Domain None : 1 : 1 : None : False : False : PositiveIntegers

1 Objective Declarations obj : Size=1, Index=None, Active=True Key : Active : Sense : Expression None : True : minimize : ((w0 + w1 + w2 + w3 + w4 + w6 + w8 + w10 + w11 + w12 + w13 + w14 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w29 + w30 + w31 + w33 + w35 + w36 + w37 + w38 + w39 + w41 + w42 + w43 + w45 + w46 + w48 + w49 + w50 + w51 + w53 + w55 + w57)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.7413793103448276)2 + ((w5 + w7 + w9 + w15 + w16 + w27 + w28 + w32 + w34 + w40 + w44 + w47 + w52 + w54 + w56)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.25862068965517243)2 + ((w0 + w2 + w3 + w7 + w11 + w18 + w19 + w28 + w34 + w37 + w49 + w50 + w51 + w54 + w56 + w57)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.27586206896551724)2 + ((w1 + w24 + w26 + w31 + w33 + w39 + w40 + w44 + w47)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.15517241379310345)2 + ((w4 + w5 + w6 + w8 + w9 + w10 + w12 + w13 + w14 + w15 + w16 + w17 + w20 + w21 + w22 + w23 + w25 + w27 + w29 + w30 + w32 + w35 + w38 + w41 + w42 + w45 + w46 + w48 + w52 + w53 + w55)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.5344827586206896)2 + ((w36 + w43)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.034482758620689655)2 + ((w19 + w37 + w42)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.05172413793103448)2 + ((w0 + w1 + w5 + w8 + w9 + w11 + w13 + w15 + w24 + w26 + w31 + w36 + w38 + w44 + w47 + w52 + w54)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.29310344827586204)2 + ((w2 + w6 + w28)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.05172413793103448)2 + ((w17 + w21 + w33 + w41 + w49 + w51)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.10344827586206896)2 + ((w32 + w34 + w39 + w40)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.06896551724137931)2 + ((w27 + w29 + w50)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.05172413793103448)2 + ((w7 + w10 + w12 + w16 + w20 + w22 + w23 + w25 + w30 + w35 + w43 + w46 + w48 + w55 + w56)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.25862068965517243)2 + ((w3 + w57)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.034482758620689655)2 + ((w45 + w53)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.034482758620689655)2 + ((w4 + w14 + w18)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.05172413793103448)2 + ((w0 + w3 + w4 + w9 + w11 + w12 + w14 + w17 + w20 + w22 + w24 + w27 + w28 + w29 + w30 + w33 + w34 + w35 + w37 + w38 + w40 + w41 + w45 + w46 + w53 + w55)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.4482758620689655)2 + ((w1 + w2 + w5 + w6 + w7 + w8 + w10 + w13 + w15 + w16 + w18 + w19 + w21 + w23 + w25 + w26 + w31 + w32 + w36 + w39 + w42 + w43 + w44 + w47 + w48 + w49 + w50 + w51 + w52 + w54 + w56 + w57)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.5517241379310345)2 + ((w0 + w1 + w2 + w3 + w4 + w6 + w8 + w10 + w11 + w12 + w13 + w14 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w29 + w30 + w31 + w33 + w35 + w36 + w37 + w38 + w39 + w41 + w42 + w43 + w45 + w46 + w48 + w49 + w50 + w51 + w53 + w55 + w57)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.7413793103448276)2 + ((w5 + w7 + w9 + w15 + w16 + w27 + w28 + w32 + w34 + w40 + w44 + w47 + w52 + w54 + w56)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.25862068965517243)2 + ((w0 + w2 + w3 + w7 + w11 + w18 + w19 + w28 + w34 + w37 + w49 + w50 + w51 + w54 + w56 + w57)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.27586206896551724)2 + ((w1 + w24 + w26 + w31 + w33 + w39 + w40 + w44 + w47)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.15517241379310345)2 + ((w4 + w5 + w6 + w8 + w9 + w10 + w12 + w13 + w14 + w15 + w16 + w17 + w20 + w21 + w22 + w23 + w25 + w27 + w29 + w30 + w32 + w35 + w38 + w41 + w42 + w45 + w46 + w48 + w52 + w53 + w55)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.5344827586206896)2 + ((w36 + w43)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.034482758620689655)2 + ((w19 + w37 + w42)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.05172413793103448)2 + ((w0 + w1 + w5 + w8 + w9 + w11 + w13 + w15 + w24 + w26 + w31 + w36 + w38 + w44 + w47 + w52 + w54)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.29310344827586204)2 + ((w2 + w6 + w28)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.05172413793103448)2 + ((w17 + w21 + w33 + w41 + w49 + w51)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.10344827586206896)2 + ((w32 + w34 + w39 + w40)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.06896551724137931)2 + ((w27 + w29 + w50)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.05172413793103448)2 + ((w7 + w10 + w12 + w16 + w20 + w22 + w23 + w25 + w30 + w35 + w43 + w46 + w48 + w55 + w56)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.25862068965517243)2 + ((w3 + w57)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.034482758620689655)2 + ((w45 + w53)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.034482758620689655)2 + ((w4 + w14 + w18)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.05172413793103448)2 + ((w0 + w3 + w4 + w9 + w11 + w12 + w14 + w17 + w20 + w22 + w24 + w27 + w28 + w29 + w30 + w33 + w34 + w35 + w37 + w38 + w40 + w41 + w45 + w46 + w53 + w55)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.4482758620689655)2 + ((w1 + w2 + w5 + w6 + w7 + w8 + w10 + w13 + w15 + w16 + w18 + w19 + w21 + w23 + w25 + w26 + w31 + w32 + w36 + w39 + w42 + w43 + w44 + w47 + w48 + w49 + w50 + w51 + w52 + w54 + w56 + w57)/(w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57) - 0.5517241379310345)2

2 Constraint Declarations constraint0 : Size=1, Index=None, Active=True Key : Lower : Body : Upper : Active None : 500.0 : w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57 : +Inf : True constraint1 : Size=1, Index=None, Active=True Key : Lower : Body : Upper : Active None : -Inf : w0 + w1 + w2 + w3 + w4 + w5 + w6 + w7 + w8 + w9 + w10 + w11 + w12 + w13 + w14 + w15 + w16 + w17 + w18 + w19 + w20 + w21 + w22 + w23 + w24 + w25 + w26 + w27 + w28 + w29 + w30 + w31 + w32 + w33 + w34 + w35 + w36 + w37 + w38 + w39 + w40 + w41 + w42 + w43 + w44 + w45 + w46 + w47 + w48 + w49 + w50 + w51 + w52 + w53 + w54 + w55 + w56 + w57 : 521.0 : True

61 Declarations: w0 w1 w2 w3 w4 w5 w6 w7 w8 w9 w10 w11 w12 w13 w14 w15 w16 w17 w18 w19 w20 w21 w22 w23 w24 w25 w26 w27 w28 w29 w30 w31 w32 w33 w34 w35 w36 w37 w38 w39 w40 w41 w42 w43 w44 w45 w46 w47 w48 w49 w50 w51 w52 w53 w54 w55 w56 w57 constraint0 constraint1 obj

Any help will be appreciated!

ZedongPeng commented 4 years ago

Hi Yifan, we have fixed this issue in MindtPy today. It's related to the PositiveIntegers case that we missed in copy_var_list_values function. However, we need to improve several parts of MindPy before the Pull Request. It won't take long, optimistically 2 days. After that, if you want to use the latest version of MindtPy, you need to install Pyomo from GitHub using python setup.py develop instead of from conda or pip.

yifanguan commented 4 years ago

@ZedongPeng Hi Zedong, thanks for your reply. Please pin me when the update is ready.

ZedongPeng commented 4 years ago

@ZedongPeng Hi Zedong, thanks for your reply. Please pin me when the update is ready.

Sure, I'll let you know when it's ready.

ZedongPeng commented 4 years ago

@yifanguan Hi Yifang, the PR has just been merged. You can access the latest version of MindtPy now.

yifanguan commented 4 years ago

@ZedongPeng Thank you, Zedong. I will give it a try!