infeasible model om gurobi python while it is feasible on AMPL
Awaiting user input
I have the following model and if I try to optimize it on python by using gurobi solver it is infeasible while the model is feasible and the output is -2 on AMPL by using gurobi solver !!
\ LP format - for model browsing. Use MPS format to capture full model detail.
Minimize
- y1 - y2 - y3 - y4 - y5 - y6 - y7 - y8 - y9 - y10 - y11 - y12 - y13 - y14
- y15 - y16 - y17 - y18 - y19 - y20 - y21 - y22 - y23 - y24 - y25 - y26
- y27 - y28 - y29 - y30 - y31 - y32 - y33 - y34 - y35
Subject To
first1,2: y1 >= 1
first10,16: y10 >= 0
first18,24: y18 >= 0
first32,33: y32 >= 0
first12,10: y12 >= 0
first19,18: y19 >= 0
first31,30: y31 >= 0
first1,3: y1 >= 0
first10,31: y10 >= 0
first18,28: y18 >= 0
first33,34: y33 >= 0
first13,10: y13 >= 0
first21,18: y21 >= 0
first32,31: y32 >= 0
first1,4: y1 >= 0
first10,35: y10 >= 0
first18,30: y18 >= 0
first34,35: y34 >= 0
first14,10: y14 >= 0
first23,18: y23 >= 0
first33,31: y33 >= 0
first1,5: y1 >= 0
first11,12: y11 >= 0
first19,21: y19 >= 0
first2,1: y2 >= 0
first16,10: y16 >= 0
first24,18: y24 >= 0
first33,32: y33 >= 0
first1,6: y1 >= 0
first11,18: y11 >= 0
first19,25: y19 >= 0
first3,1: y3 >= 0
first31,10: y31 >= 0
first28,18: y28 >= 0
first34,33: y34 >= 0
first1,7: y1 >= 0
first11,22: y11 >= 0
first19,26: y19 >= 0
first4,1: y4 >= 0
first35,10: y35 >= 0
first30,18: y30 >= 0
first35,34: y35 >= 0
first2,3: y2 >= 0
first11,25: y11 >= 0
first19,27: y19 >= 0
first5,1: y5 >= 0
first12,11: y12 >= 0
first21,19: y21 >= 0
first2,4: y2 >= 0
first12,14: y12 >= 0
first19,28: y19 >= 0
first6,1: y6 >= 0
first18,11: y18 >= 0
first25,19: y25 >= 0
first2,5: y2 >= 0
first12,16: y12 >= 0
first19,30: y19 >= 0
first7,1: y7 >= 0
first22,11: y22 >= 0
first26,19: y26 >= 0
first2,6: y2 >= 0
first12,17: y12 >= 0
first19,31: y19 >= 0
first3,2: y3 >= 0
first25,11: y25 >= 0
first27,19: y27 >= 0
first2,7: y2 >= 0
first12,18: y12 >= 0
first20,21: y20 >= 0
first4,2: y4 >= 0
first14,12: y14 >= 0
first28,19: y28 >= 0
first2,8: y2 >= 0
first12,19: y12 >= 0
first20,23: y20 >= 0
first5,2: y5 >= 0
first16,12: y16 >= 0
first30,19: y30 >= 0
first2,18: y2 >= 0
first12,20: y12 >= 0
first20,25: y20 >= 0
first6,2: y6 >= 0
first17,12: y17 >= 0
first31,19: y31 >= 0
first3,4: y3 >= 0
first12,22: y12 >= 0
first20,26: y20 >= 0
first7,2: y7 >= 0
first18,12: y18 >= 0
first21,20: y21 >= 0
first3,7: y3 >= 0
first12,23: y12 >= 0
first20,28: y20 >= 0
first8,2: y8 >= 0
first19,12: y19 >= 0
first23,20: y23 >= 0
first3,8: y3 >= 0
first12,24: y12 >= 0
first20,29: y20 >= 0
first18,2: y18 >= 0
first20,12: y20 >= 0
first25,20: y25 >= 0
first3,10: y3 >= 0
first12,25: y12 >= 0
first20,31: y20 >= 0
first4,3: y4 >= 0
first22,12: y22 >= 0
first26,20: y26 >= 0
first4,7: y4 >= 0
first12,27: y12 >= 0
first20,32: y20 >= 0
first7,3: y7 >= 0
first23,12: y23 >= 0
first28,20: y28 >= 0
first4,10: y4 >= 0
first12,28: y12 >= 0
first20,33: y20 >= 0
first8,3: y8 >= 0
first24,12: y24 >= 0
first29,20: y29 >= 0
first4,14: y4 >= 0
first12,34: y12 >= 0
first21,23: y21 >= 0
first10,3: y10 >= 0
first25,12: y25 >= 0
first31,20: y31 >= 0
first5,8: y5 >= 0
first13,14: y13 >= 0
first21,31: y21 >= 0
first7,4: y7 >= 0
first27,12: y27 >= 0
first32,20: y32 >= 0
first5,9: y5 >= 0
first13,15: y13 >= 0
first22,23: y22 >= 0
first10,4: y10 >= 0
first28,12: y28 >= 0
first33,20: y33 >= 0
first5,10: y5 >= 0
first14,15: y14 >= 0
first22,27: y22 >= 0
first14,4: y14 >= 0
first34,12: y34 >= 0
first23,21: y23 >= 0
first5,12: y5 >= 0
first14,20: y14 >= 0
first23,25: y23 >= 0
first8,5: y8 >= 0
first14,13: y14 >= 0
first31,21: y31 >= 0
first6,18: y6 >= 0
first14,32: y14 >= 0
first23,27: y23 >= 0
first9,5: y9 >= 0
first15,13: y15 >= 0
first23,22: y23 >= 0
first7,10: y7 >= 0
first15,20: y15 >= 0
first23,28: y23 >= 0
first10,5: y10 >= 0
first15,14: y15 >= 0
first27,22: y27 >= 0
first7,11: y7 >= 0
first15,27: y15 >= 0
first23,31: y23 >= 0
first12,5: y12 >= 0
first20,14: y20 >= 0
first25,23: y25 >= 0
first7,22: y7 >= 0
first15,29: y15 >= 0
first24,30: y24 >= 0
first18,6: y18 >= 0
first32,14: y32 >= 0
first27,23: y27 >= 0
first7,23: y7 >= 0
first15,32: y15 >= 0
first25,26: y25 >= 0
first10,7: y10 >= 0
first20,15: y20 >= 0
first28,23: y28 >= 0
first8,9: y8 >= 0
first15,33: y15 >= 0
first25,28: y25 >= 0
first11,7: y11 >= 0
first27,15: y27 >= 0
first31,23: y31 >= 0
first8,12: y8 >= 0
first16,18: y16 >= 0
first26,29: y26 >= 0
first22,7: y22 >= 0
first29,15: y29 >= 0
first30,24: y30 >= 0
first9,10: y9 >= 0
first16,19: y16 >= 0
first27,31: y27 >= 0
first23,7: y23 >= 0
first32,15: y32 >= 0
first26,25: y26 >= 0
first9,11: y9 >= 0
first16,26: y16 >= 0
first28,31: y28 >= 0
first9,8: y9 >= 0
first33,15: y33 >= 0
first28,25: y28 >= 0
first9,18: y9 >= 0
first17,18: y17 >= 0
first28,33: y28 >= 0
first12,8: y12 >= 0
first18,16: y18 >= 0
first29,26: y29 >= 0
first10,11: y10 >= 0
first17,23: y17 >= 0
first29,32: y29 >= 0
first10,9: y10 >= 0
first19,16: y19 >= 0
first31,27: y31 >= 0
first10,12: y10 >= 0
first18,19: y18 >= 0
first30,31: y30 >= 0
first11,9: y11 >= 0
first26,16: y26 >= 0
first31,28: y31 >= 0
first10,13: y10 >= 0
first18,21: y18 >= 0
first31,32: y31 >= 0
first18,9: y18 >= 0
first18,17: y18 >= 0
first33,28: y33 >= 0
first10,14: y10 >= 0
first18,23: y18 >= 0
first31,33: y31 >= 0
first11,10: y11 >= 0
first23,17: y23 >= 0
first32,29: y32 >= 0
second1,2: y2 >= 1
second10,16: y16 >= 0
second18,24: y24 >= 0
second32,33: y33 >= 0
second12,10: y10 >= 0
second19,18: y18 >= 0
second31,30: y30 >= 0
second1,3: y3 >= 0
second10,31: y31 >= 0
second18,28: y28 >= 0
second33,34: y34 >= 0
second13,10: y10 >= 0
second21,18: y18 >= 0
second32,31: y31 >= 0
second1,4: y4 >= 0
second10,35: y35 >= 0
second18,30: y30 >= 0
second34,35: y35 >= 0
second14,10: y10 >= 0
second23,18: y18 >= 0
second33,31: y31 >= 0
second1,5: y5 >= 0
second11,12: y12 >= 0
second19,21: y21 >= 0
second2,1: y1 >= 0
second16,10: y10 >= 0
second24,18: y18 >= 0
second33,32: y32 >= 0
second1,6: y6 >= 0
second11,18: y18 >= 0
second19,25: y25 >= 0
second3,1: y1 >= 0
second31,10: y10 >= 0
second28,18: y18 >= 0
second34,33: y33 >= 0
second1,7: y7 >= 0
second11,22: y22 >= 0
second19,26: y26 >= 0
second4,1: y1 >= 0
second35,10: y10 >= 0
second30,18: y18 >= 0
second35,34: y34 >= 0
second2,3: y3 >= 0
second11,25: y25 >= 0
second19,27: y27 >= 0
second5,1: y1 >= 0
second12,11: y11 >= 0
second21,19: y19 >= 0
second2,4: y4 >= 0
second12,14: y14 >= 0
second19,28: y28 >= 0
second6,1: y1 >= 0
second18,11: y11 >= 0
second25,19: y19 >= 0
second2,5: y5 >= 0
second12,16: y16 >= 0
second19,30: y30 >= 0
second7,1: y1 >= 0
second22,11: y11 >= 0
second26,19: y19 >= 0
second2,6: y6 >= 0
second12,17: y17 >= 0
second19,31: y31 >= 0
second3,2: y2 >= 0
second25,11: y11 >= 0
second27,19: y19 >= 0
second2,7: y7 >= 0
second12,18: y18 >= 0
second20,21: y21 >= 0
second4,2: y2 >= 0
second14,12: y12 >= 0
second28,19: y19 >= 0
second2,8: y8 >= 0
second12,19: y19 >= 0
second20,23: y23 >= 0
second5,2: y2 >= 0
second16,12: y12 >= 0
second30,19: y19 >= 0
second2,18: y18 >= 0
second12,20: y20 >= 0
second20,25: y25 >= 0
second6,2: y2 >= 0
second17,12: y12 >= 0
second31,19: y19 >= 0
second3,4: y4 >= 0
second12,22: y22 >= 0
second20,26: y26 >= 0
second7,2: y2 >= 0
second18,12: y12 >= 0
second21,20: y20 >= 0
second3,7: y7 >= 0
second12,23: y23 >= 0
second20,28: y28 >= 0
second8,2: y2 >= 0
second19,12: y12 >= 0
second23,20: y20 >= 0
second3,8: y8 >= 0
second12,24: y24 >= 0
second20,29: y29 >= 0
second18,2: y2 >= 0
second20,12: y12 >= 0
second25,20: y20 >= 0
second3,10: y10 >= 0
second12,25: y25 >= 0
second20,31: y31 >= 0
second4,3: y3 >= 0
second22,12: y12 >= 0
second26,20: y20 >= 0
second4,7: y7 >= 0
second12,27: y27 >= 0
second20,32: y32 >= 0
second7,3: y3 >= 0
second23,12: y12 >= 0
second28,20: y20 >= 0
second4,10: y10 >= 0
second12,28: y28 >= 0
second20,33: y33 >= 0
second8,3: y3 >= 0
second24,12: y12 >= 0
second29,20: y20 >= 0
second4,14: y14 >= 0
second12,34: y34 >= 0
second21,23: y23 >= 0
second10,3: y3 >= 0
second25,12: y12 >= 0
second31,20: y20 >= 0
second5,8: y8 >= 0
second13,14: y14 >= 0
second21,31: y31 >= 0
second7,4: y4 >= 0
second27,12: y12 >= 0
second32,20: y20 >= 0
second5,9: y9 >= 0
second13,15: y15 >= 0
second22,23: y23 >= 0
second10,4: y4 >= 0
second28,12: y12 >= 0
second33,20: y20 >= 0
second5,10: y10 >= 0
second14,15: y15 >= 0
second22,27: y27 >= 0
second14,4: y4 >= 0
second34,12: y12 >= 0
second23,21: y21 >= 0
second5,12: y12 >= 0
second14,20: y20 >= 0
second23,25: y25 >= 0
second8,5: y5 >= 0
second14,13: y13 >= 0
second31,21: y21 >= 0
second6,18: y18 >= 0
second14,32: y32 >= 0
second23,27: y27 >= 0
second9,5: y5 >= 0
second15,13: y13 >= 0
second23,22: y22 >= 0
second7,10: y10 >= 0
second15,20: y20 >= 0
second23,28: y28 >= 0
second10,5: y5 >= 0
second15,14: y14 >= 0
second27,22: y22 >= 0
second7,11: y11 >= 0
second15,27: y27 >= 0
second23,31: y31 >= 0
second12,5: y5 >= 0
second20,14: y14 >= 0
second25,23: y23 >= 0
second7,22: y22 >= 0
second15,29: y29 >= 0
second24,30: y30 >= 0
second18,6: y6 >= 0
second32,14: y14 >= 0
second27,23: y23 >= 0
second7,23: y23 >= 0
second15,32: y32 >= 0
second25,26: y26 >= 0
second10,7: y7 >= 0
second20,15: y15 >= 0
second28,23: y23 >= 0
second8,9: y9 >= 0
second15,33: y33 >= 0
second25,28: y28 >= 0
second11,7: y7 >= 0
second27,15: y15 >= 0
second31,23: y23 >= 0
second8,12: y12 >= 0
second16,18: y18 >= 0
second26,29: y29 >= 0
second22,7: y7 >= 0
second29,15: y15 >= 0
second30,24: y24 >= 0
second9,10: y10 >= 0
second16,19: y19 >= 0
second27,31: y31 >= 0
second23,7: y7 >= 0
second32,15: y15 >= 0
second26,25: y25 >= 0
second9,11: y11 >= 0
second16,26: y26 >= 0
second28,31: y31 >= 0
second9,8: y8 >= 0
second33,15: y15 >= 0
second28,25: y25 >= 0
second9,18: y18 >= 0
second17,18: y18 >= 0
second28,33: y33 >= 0
second12,8: y8 >= 0
second18,16: y16 >= 0
second29,26: y26 >= 0
second10,11: y11 >= 0
second17,23: y23 >= 0
second29,32: y32 >= 0
second10,9: y9 >= 0
second19,16: y16 >= 0
second31,27: y27 >= 0
second10,12: y12 >= 0
second18,19: y19 >= 0
second30,31: y31 >= 0
second11,9: y9 >= 0
second26,16: y16 >= 0
second31,28: y28 >= 0
second10,13: y13 >= 0
second18,21: y21 >= 0
second31,32: y32 >= 0
second18,9: y9 >= 0
second18,17: y17 >= 0
second33,28: y28 >= 0
second10,14: y14 >= 0
second18,23: y23 >= 0
second31,33: y33 >= 0
second11,10: y10 >= 0
second23,17: y17 >= 0
second32,29: y29 >= 0
third1: y1 = 1
third2: y2 = 1
third3: y3 = 0
third4: y4 = 0
third5: y5 = 0
third6: y6 = 0
third7: y7 = 0
third8: y8 = 0
third9: y9 = 0
third10: y10 = 0
third11: y11 = 0
third12: y12 = 0
third13: y13 = 0
third14: y14 = 0
third15: y15 = 0
third16: y16 = 0
third17: y17 = 0
third18: y18 = 0
third19: y19 = 0
third20: y20 = 0
third21: y21 = 0
third22: y22 = 0
third23: y23 = 0
third24: y24 = 0
third25: y25 = 0
third26: y26 = 0
third27: y27 = 0
third28: y28 = 0
third29: y29 = 0
third30: y30 = 0
third31: y31 = 0
third32: y32 = 0
third33: y33 = 0
third34: y34 = 0
third35: y35 = 0
fourth1: y1 = 1
fourth2: y2 = 1
fourth3: y3 = 0
fourth4: y4 = 0
fourth5: y5 = 0
fourth6: y6 = 0
fourth7: y7 = 0
fourth8: y8 = 0
fourth9: y9 = 0
fourth10: y10 = 0
fourth11: y11 = 0
fourth12: y12 = 0
fourth13: y13 = 0
fourth14: y14 = 0
fourth15: y15 = 0
fourth16: y16 = 0
fourth17: y17 = 0
fourth18: y18 = 0
fourth19: y19 = 0
fourth20: y20 = 0
fourth21: y21 = 0
fourth22: y22 = 0
fourth23: y23 = 0
fourth24: y24 = 0
fourth25: y25 = 0
fourth26: y26 = 0
fourth27: y27 = 0
fourth28: y28 = 0
fourth29: y29 = 0
fourth30: y30 = 0
fourth31: y31 = 0
fourth32: y32 = 0
fourth33: y33 = 0
fourth34: y34 = 0
fourth35: y35 = 0
fifth1,2: u1 - u2 <= -1
fifth10,16: u10 - u16 <= 35
fifth18,24: u18 - u24 <= 35
fifth32,33: u32 - u33 <= 35
fifth12,10: - u10 + u12 <= 35
fifth19,18: - u18 + u19 <= 35
fifth31,30: - u30 + u31 <= 35
fifth17,36: u17 - u36 <= 35
fifth1,3: u1 - u3 <= 35
fifth10,31: u10 - u31 <= 35
fifth18,28: u18 - u28 <= 35
fifth33,34: u33 - u34 <= 35
fifth13,10: - u10 + u13 <= 35
fifth21,18: - u18 + u21 <= 35
fifth32,31: - u31 + u32 <= 35
fifth36,17: - u17 + u36 <= 35
fifth1,4: u1 - u4 <= 35
fifth10,35: u10 - u35 <= 35
fifth18,30: u18 - u30 <= 35
fifth34,35: u34 - u35 <= 35
fifth14,10: - u10 + u14 <= 35
fifth23,18: - u18 + u23 <= 35
fifth33,31: - u31 + u33 <= 35
fifth18,36: u18 - u36 <= 35
fifth1,5: u1 - u5 <= 35
fifth11,12: u11 - u12 <= 35
fifth19,21: u19 - u21 <= 35
fifth2,1: - u1 + u2 <= 35
fifth16,10: - u10 + u16 <= 35
fifth24,18: - u18 + u24 <= 35
fifth33,32: - u32 + u33 <= 35
fifth36,18: - u18 + u36 <= 35
fifth1,6: u1 - u6 <= 35
fifth11,18: u11 - u18 <= 35
fifth19,25: u19 - u25 <= 35
fifth3,1: - u1 + u3 <= 35
fifth31,10: - u10 + u31 <= 35
fifth28,18: - u18 + u28 <= 35
fifth34,33: - u33 + u34 <= 35
fifth19,36: u19 - u36 <= 35
fifth1,7: u1 - u7 <= 35
fifth11,22: u11 - u22 <= 35
fifth19,26: u19 - u26 <= 35
fifth4,1: - u1 + u4 <= 35
fifth35,10: - u10 + u35 <= 35
fifth30,18: - u18 + u30 <= 35
fifth35,34: - u34 + u35 <= 35
fifth36,19: - u19 + u36 <= 35
fifth2,3: u2 - u3 <= 35
fifth11,25: u11 - u25 <= 35
fifth19,27: u19 - u27 <= 35
fifth5,1: - u1 + u5 <= 35
fifth12,11: - u11 + u12 <= 35
fifth21,19: - u19 + u21 <= 35
fifth1,36: u1 - u36 <= 35
fifth20,36: u20 - u36 <= 35
fifth2,4: u2 - u4 <= 35
fifth12,14: u12 - u14 <= 35
fifth19,28: u19 - u28 <= 35
fifth6,1: - u1 + u6 <= 35
fifth18,11: - u11 + u18 <= 35
fifth25,19: - u19 + u25 <= 35
fifth36,1: - u1 + u36 <= -1
fifth36,20: - u20 + u36 <= 35
fifth2,5: u2 - u5 <= 35
fifth12,16: u12 - u16 <= 35
fifth19,30: u19 - u30 <= 35
fifth7,1: - u1 + u7 <= 35
fifth22,11: - u11 + u22 <= 35
fifth26,19: - u19 + u26 <= 35
fifth2,36: u2 - u36 <= -1
fifth21,36: u21 - u36 <= 35
fifth2,6: u2 - u6 <= 35
fifth12,17: u12 - u17 <= 35
fifth19,31: u19 - u31 <= 35
fifth3,2: - u2 + u3 <= 35
fifth25,11: - u11 + u25 <= 35
fifth27,19: - u19 + u27 <= 35
fifth36,2: - u2 + u36 <= 35
fifth36,21: - u21 + u36 <= 35
fifth2,7: u2 - u7 <= 35
fifth12,18: u12 - u18 <= 35
fifth20,21: u20 - u21 <= 35
fifth4,2: - u2 + u4 <= 35
fifth14,12: - u12 + u14 <= 35
fifth28,19: - u19 + u28 <= 35
fifth3,36: u3 - u36 <= 35
fifth22,36: u22 - u36 <= 35
fifth2,8: u2 - u8 <= 35
fifth12,19: u12 - u19 <= 35
fifth20,23: u20 - u23 <= 35
fifth5,2: - u2 + u5 <= 35
fifth16,12: - u12 + u16 <= 35
fifth30,19: - u19 + u30 <= 35
fifth36,3: - u3 + u36 <= 35
fifth36,22: - u22 + u36 <= 35
fifth2,18: u2 - u18 <= 35
fifth12,20: u12 - u20 <= 35
fifth20,25: u20 - u25 <= 35
fifth6,2: - u2 + u6 <= 35
fifth17,12: - u12 + u17 <= 35
fifth31,19: - u19 + u31 <= 35
fifth4,36: u4 - u36 <= 35
fifth23,36: u23 - u36 <= 35
fifth3,4: u3 - u4 <= 35
fifth12,22: u12 - u22 <= 35
fifth20,26: u20 - u26 <= 35
fifth7,2: - u2 + u7 <= 35
fifth18,12: - u12 + u18 <= 35
fifth21,20: - u20 + u21 <= 35
fifth36,4: - u4 + u36 <= 35
fifth36,23: - u23 + u36 <= 35
fifth3,7: u3 - u7 <= 35
fifth12,23: u12 - u23 <= 35
fifth20,28: u20 - u28 <= 35
fifth8,2: - u2 + u8 <= 35
fifth19,12: - u12 + u19 <= 35
fifth23,20: - u20 + u23 <= 35
fifth5,36: u5 - u36 <= 35
fifth24,36: u24 - u36 <= 35
fifth3,8: u3 - u8 <= 35
fifth12,24: u12 - u24 <= 35
fifth20,29: u20 - u29 <= 35
fifth18,2: - u2 + u18 <= 35
fifth20,12: - u12 + u20 <= 35
fifth25,20: - u20 + u25 <= 35
fifth36,5: - u5 + u36 <= 35
fifth36,24: - u24 + u36 <= 35
fifth3,10: u3 - u10 <= 35
fifth12,25: u12 - u25 <= 35
fifth20,31: u20 - u31 <= 35
fifth4,3: - u3 + u4 <= 35
fifth22,12: - u12 + u22 <= 35
fifth26,20: - u20 + u26 <= 35
fifth6,36: u6 - u36 <= 35
fifth25,36: u25 - u36 <= 35
fifth4,7: u4 - u7 <= 35
fifth12,27: u12 - u27 <= 35
fifth20,32: u20 - u32 <= 35
fifth7,3: - u3 + u7 <= 35
fifth23,12: - u12 + u23 <= 35
fifth28,20: - u20 + u28 <= 35
fifth36,6: - u6 + u36 <= 35
fifth36,25: - u25 + u36 <= 35
fifth4,10: u4 - u10 <= 35
fifth12,28: u12 - u28 <= 35
fifth20,33: u20 - u33 <= 35
fifth8,3: - u3 + u8 <= 35
fifth24,12: - u12 + u24 <= 35
fifth29,20: - u20 + u29 <= 35
fifth7,36: u7 - u36 <= 35
fifth26,36: u26 - u36 <= 35
fifth4,14: u4 - u14 <= 35
fifth12,34: u12 - u34 <= 35
fifth21,23: u21 - u23 <= 35
fifth10,3: - u3 + u10 <= 35
fifth25,12: - u12 + u25 <= 35
fifth31,20: - u20 + u31 <= 35
fifth36,7: - u7 + u36 <= 35
fifth36,26: - u26 + u36 <= 35
fifth5,8: u5 - u8 <= 35
fifth13,14: u13 - u14 <= 35
fifth21,31: u21 - u31 <= 35
fifth7,4: - u4 + u7 <= 35
fifth27,12: - u12 + u27 <= 35
fifth32,20: - u20 + u32 <= 35
fifth8,36: u8 - u36 <= 35
fifth27,36: u27 - u36 <= 35
fifth5,9: u5 - u9 <= 35
fifth13,15: u13 - u15 <= 35
fifth22,23: u22 - u23 <= 35
fifth10,4: - u4 + u10 <= 35
fifth28,12: - u12 + u28 <= 35
fifth33,20: - u20 + u33 <= 35
fifth36,8: - u8 + u36 <= 35
fifth36,27: - u27 + u36 <= 35
fifth5,10: u5 - u10 <= 35
fifth14,15: u14 - u15 <= 35
fifth22,27: u22 - u27 <= 35
fifth14,4: - u4 + u14 <= 35
fifth34,12: - u12 + u34 <= 35
fifth23,21: - u21 + u23 <= 35
fifth9,36: u9 - u36 <= 35
fifth28,36: u28 - u36 <= 35
fifth5,12: u5 - u12 <= 35
fifth14,20: u14 - u20 <= 35
fifth23,25: u23 - u25 <= 35
fifth8,5: - u5 + u8 <= 35
fifth14,13: - u13 + u14 <= 35
fifth31,21: - u21 + u31 <= 35
fifth36,9: - u9 + u36 <= 35
fifth36,28: - u28 + u36 <= 35
fifth6,18: u6 - u18 <= 35
fifth14,32: u14 - u32 <= 35
fifth23,27: u23 - u27 <= 35
fifth9,5: - u5 + u9 <= 35
fifth15,13: - u13 + u15 <= 35
fifth23,22: - u22 + u23 <= 35
fifth10,36: u10 - u36 <= 35
fifth29,36: u29 - u36 <= 35
fifth7,10: u7 - u10 <= 35
fifth15,20: u15 - u20 <= 35
fifth23,28: u23 - u28 <= 35
fifth10,5: - u5 + u10 <= 35
fifth15,14: - u14 + u15 <= 35
fifth27,22: - u22 + u27 <= 35
fifth36,10: - u10 + u36 <= 35
fifth36,29: - u29 + u36 <= 35
fifth7,11: u7 - u11 <= 35
fifth15,27: u15 - u27 <= 35
fifth23,31: u23 - u31 <= 35
fifth12,5: - u5 + u12 <= 35
fifth20,14: - u14 + u20 <= 35
fifth25,23: - u23 + u25 <= 35
fifth11,36: u11 - u36 <= 35
fifth30,36: u30 - u36 <= 35
fifth7,22: u7 - u22 <= 35
fifth15,29: u15 - u29 <= 35
fifth24,30: u24 - u30 <= 35
fifth18,6: - u6 + u18 <= 35
fifth32,14: - u14 + u32 <= 35
fifth27,23: - u23 + u27 <= 35
fifth36,11: - u11 + u36 <= 35
fifth36,30: - u30 + u36 <= 35
fifth7,23: u7 - u23 <= 35
fifth15,32: u15 - u32 <= 35
fifth25,26: u25 - u26 <= 35
fifth10,7: - u7 + u10 <= 35
fifth20,15: - u15 + u20 <= 35
fifth28,23: - u23 + u28 <= 35
fifth12,36: u12 - u36 <= 35
fifth31,36: u31 - u36 <= 35
fifth8,9: u8 - u9 <= 35
fifth15,33: u15 - u33 <= 35
fifth25,28: u25 - u28 <= 35
fifth11,7: - u7 + u11 <= 35
fifth27,15: - u15 + u27 <= 35
fifth31,23: - u23 + u31 <= 35
fifth36,12: - u12 + u36 <= 35
fifth36,31: - u31 + u36 <= 35
fifth8,12: u8 - u12 <= 35
fifth16,18: u16 - u18 <= 35
fifth26,29: u26 - u29 <= 35
fifth22,7: - u7 + u22 <= 35
fifth29,15: - u15 + u29 <= 35
fifth30,24: - u24 + u30 <= 35
fifth13,36: u13 - u36 <= 35
fifth32,36: u32 - u36 <= 35
fifth9,10: u9 - u10 <= 35
fifth16,19: u16 - u19 <= 35
fifth27,31: u27 - u31 <= 35
fifth23,7: - u7 + u23 <= 35
fifth32,15: - u15 + u32 <= 35
fifth26,25: - u25 + u26 <= 35
fifth36,13: - u13 + u36 <= 35
fifth36,32: - u32 + u36 <= 35
fifth9,11: u9 - u11 <= 35
fifth16,26: u16 - u26 <= 35
fifth28,31: u28 - u31 <= 35
fifth9,8: - u8 + u9 <= 35
fifth33,15: - u15 + u33 <= 35
fifth28,25: - u25 + u28 <= 35
fifth14,36: u14 - u36 <= 35
fifth33,36: u33 - u36 <= 35
fifth9,18: u9 - u18 <= 35
fifth17,18: u17 - u18 <= 35
fifth28,33: u28 - u33 <= 35
fifth12,8: - u8 + u12 <= 35
fifth18,16: - u16 + u18 <= 35
fifth29,26: - u26 + u29 <= 35
fifth36,14: - u14 + u36 <= 35
fifth36,33: - u33 + u36 <= 35
fifth10,11: u10 - u11 <= 35
fifth17,23: u17 - u23 <= 35
fifth29,32: u29 - u32 <= 35
fifth10,9: - u9 + u10 <= 35
fifth19,16: - u16 + u19 <= 35
fifth31,27: - u27 + u31 <= 35
fifth15,36: u15 - u36 <= 35
fifth34,36: u34 - u36 <= 35
fifth10,12: u10 - u12 <= 35
fifth18,19: u18 - u19 <= 35
fifth30,31: u30 - u31 <= 35
fifth11,9: - u9 + u11 <= 35
fifth26,16: - u16 + u26 <= 35
fifth31,28: - u28 + u31 <= 35
fifth36,15: - u15 + u36 <= 35
fifth36,34: - u34 + u36 <= 35
fifth10,13: u10 - u13 <= 35
fifth18,21: u18 - u21 <= 35
fifth31,32: u31 - u32 <= 35
fifth18,9: - u9 + u18 <= 35
fifth18,17: - u17 + u18 <= 35
fifth33,28: - u28 + u33 <= 35
fifth16,36: u16 - u36 <= 35
fifth35,36: u35 - u36 <= 35
fifth10,14: u10 - u14 <= 35
fifth18,23: u18 - u23 <= 35
fifth31,33: u31 - u33 <= 35
fifth11,10: - u10 + u11 <= 35
fifth23,17: - u17 + u23 <= 35
fifth32,29: - u29 + u32 <= 35
fifth36,16: - u16 + u36 <= 35
fifth36,35: - u35 + u36 <= 35
sixth: u36 = 1
Bounds
End
0
-
Official comment
This post is more than three years old. Some information may not be up to date. For current information, please check the Gurobi Documentation or Knowledge Base. If you need more help, please create a new post in the community forum. Or why not try our AI Gurobot?. -
The model you posted is infeasible. If we compute an irreducible inconsistent subsystem (IIS), we obtain the following three constraints:
$$\begin{alignat*}{2}u_1 - u_2 &\leq -1 \qquad &&(\texttt{fifth1,2}) \\ -u_1 + u_{36} &\leq -1 &&(\texttt{fifth36,1}) \\ u_2 - u_{36} &\leq -1 &&(\texttt{fifth2,36})\end{alignat*}$$
All solutions to the problem satisfy the inequalities \( \texttt{fifth1,2} \), \( \texttt{fifth36,1} \), and \( \texttt{fifth2,36} \). Therefore, all solutions will also satisfy an aggregation of these three inequalities:
$$\begin{align*}(u_1 - u_2) + (-u_1 + u_{36}) + (u_2 - u_{36}) &\leq (-1) + (-1) + (-1) \\ 0 &\leq -3.\end{align*}$$
This constraint is not satisfied by any solution, so the model is infeasible.
Can you double-check that your AMPL implementation exactly matches the Python implementation? Although I'm not convinced it's relevant, note that variables added to a Python Model with Model.addVar() or Model.addVars() have a lower bound of \( 0 \) by default.
0
Post is closed for comments.
Comments
2 comments