Is this a bug?
julia> Gurobi.GRBsetdblattrarray(lps.o, "Obj", 1, xllen, mst.Xlb)
0
julia> function opt_and_ter(m) # my definition of optimize! and return Gurobi's termination code
o, r = m.o, m.refi
Gurobi.GRBoptimize(o)
Gurobi.GRBgetintattr(o, "Status", r)
r.x
end;
julia> Gurobi.GRBsetintparam(Gurobi.GRBgetenv(lps.o), "InfUnbdInfo", 0)
Set parameter InfUnbdInfo to value 0
0
julia> opt_and_ter(lps)
Gurobi Optimizer version 13.0.1 build v13.0.1rc0 (linux64gpu - "Ubuntu 24.04.4 LTS")
CPU model: AMD EPYC 7763 64-Core Processor, instruction set [SSE2|AVX|AVX2]
Thread count: 128 physical cores, 256 logical processors, using up to 1 threads
GPU model: NVIDIA RTX A6000, CUDA compute version 8.6, NVIDIA driver compatible with CUDA version 13
Non-default parameters:
Threads 1
Optimize a model with 1 rows, 323 columns and 58 nonzeros (Max)
Model fingerprint: 0xc45279c8
Model has 58 linear objective coefficients
Coefficient statistics:
Matrix range [1e+00, 2e+01]
Objective range [7e-01, 2e+01]
Bounds range [0e+00, 0e+00]
RHS range [4e+03, 4e+03]
Presolve removed 1 rows and 49 columns
Presolve time: 0.00s
Solved in 0 iterations and 0.00 seconds (0.00 work units)
Infeasible or unbounded model
4
julia> Gurobi.GRBsetintparam(Gurobi.GRBgetenv(lps.o), "InfUnbdInfo", 1)
Set parameter InfUnbdInfo to value 1
0
julia> opt_and_ter(lps)
Gurobi Optimizer version 13.0.1 build v13.0.1rc0 (linux64gpu - "Ubuntu 24.04.4 LTS")
CPU model: AMD EPYC 7763 64-Core Processor, instruction set [SSE2|AVX|AVX2]
Thread count: 128 physical cores, 256 logical processors, using up to 1 threads
GPU model: NVIDIA RTX A6000, CUDA compute version 8.6, NVIDIA driver compatible with CUDA version 13
Non-default parameters:
InfUnbdInfo 1
Threads 1
Optimize a model with 1 rows, 323 columns and 58 nonzeros (Max)
Model fingerprint: 0xc45279c8
Model has 58 linear objective coefficients
Coefficient statistics:
Matrix range [1e+00, 2e+01]
Objective range [7e-01, 2e+01]
Bounds range [0e+00, 0e+00]
RHS range [4e+03, 4e+03]
Presolve removed 1 rows and 49 columns
Presolve time: 0.00s
Iteration Objective Primal Inf. Dual Inf. Time
0 handle free variables 0s
1 4.0157335e+03 0.000000e+00 0.000000e+00 0s
Solved in 1 iterations and 0.00 seconds (0.00 work units)
Optimal objective 4.015733496e+03
Warning: unscaled dual violation = 19.9009 and residual = 1
2
julia> Gurobi.GRBgetdblattrarray(lps.o, "Obj", 0, xllen+1, lps.Cd)
0
julia> @show lps.Cd;
lps.Cd = [1.0, -0.0, -1.0, -1.0, -1.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -1.0, -1.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -1.0, -1.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -1.0, -0.0, -0.0, -1.0, -0.0, -0.0, -0.71066369270869, -1.0, -0.0, -0.0, -1.0, -0.0, -1.0, -0.0, -0.0, -0.0, -1.0, -0.0, -1.0, -0.0, -0.0, -1.0, -0.0, -0.0, -0.0, -0.0, -0.0, -1.0, -0.0, -1.0, -1.0, -0.0, -0.0, -0.0, -1.0, -0.0, -1.0, -0.0, -0.0, -0.0, -1.0, -1.0, -0.0, -0.0, -0.0, -1.0, -1.0, -1.0, -1.0, -1.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -1.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -1.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.7106636927086901, -1.0, -0.0, -0.0, -0.0, -0.0, -1.0, -0.0, -0.0, -0.0, -1.0, -0.0, -1.0, -0.0, -0.0, -1.0, -0.0, -0.0, -0.0, -0.0, -0.0, -1.0, -0.0, -1.0, -1.0, -0.0, -0.0, -0.0, -1.0, -0.0, -1.0, -0.0, -0.0, -0.0, -1.0, -1.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -5.6, -9.182608695652174, -19.900948179130275, -0.0, -0.0, -6.488888888888889, -7.285851742608695, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -1.5405964000000028, -4.711111111111111, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -2.4923076923076923, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -5.3676392, -5.511111111111112, -9.469565217391304, -4.77, -4.818181818181818, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -0.0, -4.921428571428571, -0.0]
julia> Gurobi.GRBgetdblattrarray(lps.o, "UnbdRay", 0, xllen+1, lps.Cd)
10005
Note that the two solves have distinct resulting termination Status.
MPS file
* Signature: 0xb15cb425e684ef8
NAME
OBJSENSE MAX
ROWS
N OBJ
G R0
COLUMNS
C0 OBJ 1
C0 R0 -1
C1 OBJ 0
C2 OBJ -1
C2 R0 1
C3 OBJ -1
C3 R0 1
C4 OBJ -1
C4 R0 1
C5 OBJ 0
C6 OBJ 0
C7 OBJ 0
C8 OBJ 0
C9 OBJ 0
C10 OBJ 0
C11 OBJ 0
C12 OBJ 0
C13 OBJ 0
C14 OBJ 0
C15 OBJ 0
C16 OBJ 0
C17 OBJ 0
C18 OBJ 0
C19 OBJ 0
C20 OBJ 0
C21 OBJ -1
C21 R0 1
C22 OBJ -1
C22 R0 1
C23 OBJ 0
C24 OBJ 0
C25 OBJ 0
C26 OBJ 0
C27 OBJ 0
C28 OBJ 0
C29 OBJ 0
C30 OBJ 0
C31 OBJ 0
C32 OBJ 0
C33 OBJ 0
C34 OBJ 0
C35 OBJ -1
C35 R0 1
C36 OBJ -1
C36 R0 1
C37 OBJ 0
C38 OBJ 0
C39 OBJ 0
C40 OBJ 0
C41 OBJ 0
C42 OBJ 0
C43 OBJ -1
C43 R0 1
C44 OBJ 0
C45 OBJ 0
C46 OBJ -1
C46 R0 1
C47 OBJ 0
C48 OBJ 0
C49 OBJ -0.71066369270869
C49 R0 1
C50 OBJ -1
C50 R0 1
C51 OBJ 0
C52 OBJ 0
C53 OBJ -1
C53 R0 1
C54 OBJ 0
C55 OBJ -1
C55 R0 1
C56 OBJ 0
C57 OBJ 0
C58 OBJ 0
C59 OBJ -1
C59 R0 1
C60 OBJ 0
C61 OBJ -1
C62 OBJ 0
C63 OBJ 0
C64 OBJ -1
C64 R0 1
C65 OBJ 0
C66 OBJ 0
C67 OBJ 0
C68 OBJ 0
C69 OBJ 0
C70 OBJ -1
C70 R0 1
C71 OBJ 0
C72 OBJ -1
C72 R0 1
C73 OBJ -1
C73 R0 1
C74 OBJ 0
C75 OBJ 0
C76 OBJ 0
C77 OBJ -1
C77 R0 1
C78 R0 1
C79 OBJ -1
C79 R0 1
C80 OBJ 0
C81 OBJ 0
C82 OBJ 0
C83 OBJ -1
C83 R0 1
C84 OBJ -1
C84 R0 1
C85 OBJ 0
C86 OBJ 0
C87 OBJ 0
C88 OBJ -1
C88 R0 1
C89 OBJ -1
C89 R0 1
C90 OBJ -1
C90 R0 1
C91 OBJ -1
C91 R0 1
C92 OBJ -1
C92 R0 1
C93 OBJ 0
C94 OBJ 0
C95 OBJ 0
C96 OBJ 0
C97 OBJ 0
C98 OBJ 0
C99 OBJ 0
C100 OBJ 0
C101 OBJ 0
C102 OBJ 0
C103 OBJ 0
C104 OBJ 0
C105 OBJ 0
C106 OBJ 0
C107 OBJ 0
C108 OBJ 0
C109 OBJ 0
C110 OBJ 0
C111 OBJ 0
C112 OBJ 0
C113 OBJ -1
C113 R0 1
C114 OBJ 0
C115 OBJ 0
C116 OBJ 0
C117 OBJ 0
C118 OBJ 0
C119 OBJ 0
C120 OBJ 0
C121 OBJ 0
C122 OBJ 0
C123 OBJ 0
C124 OBJ 0
C125 OBJ 0
C126 OBJ 0
C127 OBJ 0
C128 OBJ 0
C129 OBJ 0
C130 OBJ 0
C131 OBJ 0
C132 OBJ 0
C133 OBJ 0
C134 OBJ 0
C135 OBJ 0
C136 OBJ 0
C137 OBJ 0
C138 OBJ 0
C139 OBJ 0
C140 OBJ 0
C141 OBJ 0
C142 OBJ 0
C143 OBJ 0
C144 OBJ 0
C145 OBJ 0
C146 OBJ 0
C147 OBJ 0
C148 OBJ 0
C149 OBJ 0
C150 OBJ 0
C151 OBJ 0
C152 OBJ 0
C153 OBJ 0
C154 OBJ 0
C155 OBJ 0
C156 OBJ 0
C157 OBJ 0
C158 OBJ 0
C159 OBJ 0
C160 OBJ 0
C161 OBJ 0
C162 OBJ 0
C163 OBJ 0
C164 OBJ 0
C165 OBJ 0
C166 OBJ 0
C167 OBJ 0
C168 OBJ 0
C169 OBJ 0
C170 OBJ -1
C170 R0 1
C171 OBJ 0
C172 OBJ 0
C173 OBJ 0
C174 OBJ 0
C175 OBJ 0
C176 OBJ -7.1066369270869012e-01
C176 R0 1
C177 OBJ -1
C177 R0 1
C178 OBJ 0
C179 OBJ 0
C180 OBJ 0
C181 OBJ 0
C182 OBJ -1
C182 R0 1
C183 OBJ 0
C184 OBJ 0
C185 OBJ 0
C186 OBJ -1
C186 R0 1
C187 OBJ 0
C188 OBJ -1
C189 OBJ 0
C190 OBJ 0
C191 OBJ -1
C191 R0 1
C192 OBJ 0
C193 OBJ 0
C194 OBJ 0
C195 OBJ 0
C196 OBJ 0
C197 OBJ -1
C197 R0 1
C198 OBJ 0
C199 OBJ -1
C199 R0 1
C200 OBJ -1
C200 R0 1
C201 OBJ 0
C202 OBJ 0
C203 OBJ 0
C204 OBJ -1
C204 R0 1
C205 R0 1
C206 OBJ -1
C206 R0 1
C207 OBJ 0
C208 OBJ 0
C209 OBJ 0
C210 OBJ -1
C210 R0 1
C211 OBJ -1
C211 R0 1
C212 OBJ 0
C213 OBJ 0
C214 OBJ 0
C215 OBJ 0
C216 OBJ 0
C217 OBJ 0
C218 OBJ 0
C219 OBJ 0
C220 OBJ 0
C221 OBJ 0
C222 OBJ 0
C223 OBJ 0
C224 OBJ 0
C225 OBJ 0
C226 OBJ 0
C227 OBJ 0
C228 OBJ 0
C229 OBJ 0
C230 OBJ 0
C231 OBJ 0
C232 OBJ 0
C233 OBJ 0
C234 OBJ 0
C235 OBJ 0
C236 OBJ 0
C237 OBJ 0
C238 OBJ 0
C239 OBJ 0
C240 OBJ 0
C241 OBJ 0
C242 OBJ 0
C243 OBJ 0
C244 OBJ 0
C245 OBJ 0
C246 OBJ 0
C247 OBJ 0
C248 OBJ 0
C249 OBJ 0
C250 OBJ 0
C251 OBJ 0
C252 OBJ 0
C253 OBJ 0
C254 OBJ 0
C255 OBJ 0
C256 OBJ -5.6
C256 R0 5.6
C257 OBJ -9.1826086956521742e+00
C257 R0 9.1826086956521724e+00
C258 OBJ -1.9900948179130275e+01
C258 R0 1.9900948179130271e+01
C259 OBJ 0
C260 OBJ 0
C261 OBJ -6.4888888888888889e+00
C261 R0 6.4888888888888889e+00
C262 OBJ -7.2858517426086946e+00
C262 R0 7.2858517426086928e+00
C263 OBJ 0
C264 OBJ 0
C265 OBJ 0
C266 OBJ 0
C267 OBJ 0
C268 OBJ 0
C269 OBJ 0
C270 OBJ 0
C271 OBJ 0
C272 OBJ 0
C273 OBJ -1.5405964000000028e+00
C273 R0 1.5405964000000023e+00
C274 OBJ -4.7111111111111112e+00
C274 R0 4.7111111111111112e+00
C275 OBJ 0
C276 OBJ 0
C277 OBJ 0
C278 OBJ 0
C279 OBJ 0
C280 OBJ 0
C281 OBJ 0
C282 OBJ 0
C283 OBJ -2.4923076923076923e+00
C283 R0 2.4923076923076919e+00
C284 OBJ 0
C285 OBJ 0
C286 OBJ 0
C287 OBJ 0
C288 OBJ 0
C289 OBJ 0
C290 OBJ 0
C291 OBJ 0
C292 OBJ 0
C293 OBJ 0
C294 OBJ 0
C295 OBJ 0
C296 OBJ 0
C297 OBJ 0
C298 OBJ 0
C299 OBJ 0
C300 OBJ 0
C301 OBJ 0
C302 OBJ 0
C303 OBJ 0
C304 OBJ 0
C305 OBJ 0
C306 OBJ 0
C307 OBJ -5.3676392
C307 R0 5.3676391999999993e+00
C308 OBJ -5.5111111111111120e+00
C308 R0 5.5111111111111111e+00
C309 OBJ -9.4695652173913043e+00
C309 R0 9.4695652173913025e+00
C310 OBJ -4.77
C310 R0 4.7699999999999987e+00
C311 OBJ -4.8181818181818183e+00
C311 R0 4.8181818181818175e+00
C312 OBJ 0
C313 OBJ 0
C314 OBJ 0
C315 OBJ 0
C316 OBJ 0
C317 OBJ 0
C318 OBJ 0
C319 OBJ 0
C320 OBJ 0
C321 OBJ -4.9214285714285708e+00
C321 R0 4.9214285714285717e+00
C322 OBJ 0
RHS
RHS1 R0 -4.0157334964295110e+03
BOUNDS
FR BND1 C0
FR BND1 C1
FR BND1 C2
FR BND1 C3
FR BND1 C4
FR BND1 C5
FR BND1 C6
FR BND1 C7
FR BND1 C8
FR BND1 C9
FR BND1 C10
FR BND1 C11
FR BND1 C12
FR BND1 C13
FR BND1 C14
FR BND1 C15
FR BND1 C16
FR BND1 C17
FR BND1 C18
FR BND1 C19
FR BND1 C20
FR BND1 C21
FR BND1 C22
FR BND1 C23
FR BND1 C24
FR BND1 C25
FR BND1 C26
FR BND1 C27
FR BND1 C28
FR BND1 C29
FR BND1 C30
FR BND1 C31
FR BND1 C32
FR BND1 C33
FR BND1 C34
FR BND1 C35
FR BND1 C36
FR BND1 C37
FR BND1 C38
FR BND1 C39
FR BND1 C40
FR BND1 C41
FR BND1 C42
FR BND1 C43
FR BND1 C44
FR BND1 C45
FR BND1 C46
FR BND1 C47
FR BND1 C48
FR BND1 C49
FR BND1 C50
FR BND1 C51
FR BND1 C52
FR BND1 C53
FR BND1 C54
FR BND1 C55
FR BND1 C56
FR BND1 C57
FR BND1 C58
FR BND1 C59
FR BND1 C60
FR BND1 C61
FR BND1 C62
FR BND1 C63
FR BND1 C64
FR BND1 C65
FR BND1 C66
FR BND1 C67
FR BND1 C68
FR BND1 C69
FR BND1 C70
FR BND1 C71
FR BND1 C72
FR BND1 C73
FR BND1 C74
FR BND1 C75
FR BND1 C76
FR BND1 C77
FR BND1 C78
FR BND1 C79
FR BND1 C80
FR BND1 C81
FR BND1 C82
FR BND1 C83
FR BND1 C84
FR BND1 C85
FR BND1 C86
FR BND1 C87
FR BND1 C88
FR BND1 C89
FR BND1 C90
FR BND1 C91
FR BND1 C92
FR BND1 C93
FR BND1 C94
FR BND1 C95
FR BND1 C96
FR BND1 C97
FR BND1 C98
FR BND1 C99
FR BND1 C100
FR BND1 C101
FR BND1 C102
FR BND1 C103
FR BND1 C104
FR BND1 C105
FR BND1 C106
FR BND1 C107
FR BND1 C108
FR BND1 C109
FR BND1 C110
FR BND1 C111
FR BND1 C112
FR BND1 C113
FR BND1 C114
FR BND1 C115
FR BND1 C116
FR BND1 C117
FR BND1 C118
FR BND1 C119
FR BND1 C120
FR BND1 C121
FR BND1 C122
FR BND1 C123
FR BND1 C124
FR BND1 C125
FR BND1 C126
FR BND1 C127
FR BND1 C128
FR BND1 C129
FR BND1 C130
FR BND1 C131
FR BND1 C132
FR BND1 C133
FR BND1 C134
FR BND1 C135
FR BND1 C136
FR BND1 C137
FR BND1 C138
FR BND1 C139
FR BND1 C140
FR BND1 C141
FR BND1 C142
FR BND1 C143
FR BND1 C144
FR BND1 C145
FR BND1 C146
FR BND1 C147
FR BND1 C148
FR BND1 C149
FR BND1 C150
FR BND1 C151
FR BND1 C152
FR BND1 C153
FR BND1 C154
FR BND1 C155
FR BND1 C156
FR BND1 C157
FR BND1 C158
FR BND1 C159
FR BND1 C160
FR BND1 C161
FR BND1 C162
FR BND1 C163
FR BND1 C164
FR BND1 C165
FR BND1 C166
FR BND1 C167
FR BND1 C168
FR BND1 C169
FR BND1 C170
FR BND1 C171
FR BND1 C172
FR BND1 C173
FR BND1 C174
FR BND1 C175
FR BND1 C176
FR BND1 C177
FR BND1 C178
FR BND1 C179
FR BND1 C180
FR BND1 C181
FR BND1 C182
FR BND1 C183
FR BND1 C184
FR BND1 C185
FR BND1 C186
FR BND1 C187
FR BND1 C188
FR BND1 C189
FR BND1 C190
FR BND1 C191
FR BND1 C192
FR BND1 C193
FR BND1 C194
FR BND1 C195
FR BND1 C196
FR BND1 C197
FR BND1 C198
FR BND1 C199
FR BND1 C200
FR BND1 C201
FR BND1 C202
FR BND1 C203
FR BND1 C204
FR BND1 C205
FR BND1 C206
FR BND1 C207
FR BND1 C208
FR BND1 C209
FR BND1 C210
FR BND1 C211
FR BND1 C212
FR BND1 C213
FR BND1 C214
FR BND1 C215
FR BND1 C216
FR BND1 C217
FR BND1 C218
FR BND1 C219
FR BND1 C220
FR BND1 C221
FR BND1 C222
FR BND1 C223
FR BND1 C224
FR BND1 C225
FR BND1 C226
FR BND1 C227
FR BND1 C228
FR BND1 C229
FR BND1 C230
FR BND1 C231
FR BND1 C232
FR BND1 C233
FR BND1 C234
FR BND1 C235
FR BND1 C236
FR BND1 C237
FR BND1 C238
FR BND1 C239
FR BND1 C240
FR BND1 C241
FR BND1 C242
FR BND1 C243
FR BND1 C244
FR BND1 C245
FR BND1 C246
FR BND1 C247
FR BND1 C248
FR BND1 C249
FR BND1 C250
FR BND1 C251
FR BND1 C252
FR BND1 C253
FR BND1 C254
FR BND1 C255
FR BND1 C256
FR BND1 C257
FR BND1 C258
FR BND1 C259
FR BND1 C260
FR BND1 C261
FR BND1 C262
FR BND1 C263
FR BND1 C264
FR BND1 C265
FR BND1 C266
FR BND1 C267
FR BND1 C268
FR BND1 C269
FR BND1 C270
FR BND1 C271
FR BND1 C272
FR BND1 C273
FR BND1 C274
FR BND1 C275
FR BND1 C276
FR BND1 C277
FR BND1 C278
FR BND1 C279
FR BND1 C280
FR BND1 C281
FR BND1 C282
FR BND1 C283
FR BND1 C284
FR BND1 C285
FR BND1 C286
FR BND1 C287
FR BND1 C288
FR BND1 C289
FR BND1 C290
FR BND1 C291
FR BND1 C292
FR BND1 C293
FR BND1 C294
FR BND1 C295
FR BND1 C296
FR BND1 C297
FR BND1 C298
FR BND1 C299
FR BND1 C300
FR BND1 C301
FR BND1 C302
FR BND1 C303
FR BND1 C304
FR BND1 C305
FR BND1 C306
FR BND1 C307
FR BND1 C308
FR BND1 C309
FR BND1 C310
FR BND1 C311
FR BND1 C312
FR BND1 C313
FR BND1 C314
FR BND1 C315
FR BND1 C316
FR BND1 C317
FR BND1 C318
FR BND1 C319
FR BND1 C320
FR BND1 C321
FR BND1 C322
ENDATA