Skip to content

HiGHS 1.14.0 Solves Equality-Constrained QP but declares small infeasibilities when other QP solvers do not? #2973

@jeffreydeankelly2

Description

@jeffreydeankelly2

Attached are the LP and MPS files and log below for the equality-constrained QP with an objective function = -192.204255903413.

Other QP solvers (CPLEX, COPT, IPOPT, UNO and my home-grown EQP) report constraint closures << 1d-6 and I am wondering why HiGHS reports an issue?

NonlinearBB_SSR2_OPT.mps.txt
NonlinearBB_SSR2_OPT.lp.txt

Running HiGHS 1.14.0 (git hash: 7df0786): Copyright (c) 2026 under MIT licence terms
WARNING: Column names are not present, or contain invalid characters or duplicates: using names with prefix "c", beginning with suffix 0
WARNING: Row names are not present, or contain invalid characters or duplicates: using names with prefix "r", beginning with suffix 0
Writing the model to C:\IndustrialAlgorithms\Platform\IMPL\IMPLtester\NonlinearBB_SSR2_OPT.lp
SOLVE
QP has 4501 rows; 4501 cols; 4501 matrix nonzeros; 4501 Hessian nonzeros
Coefficient ranges:
Matrix [1e+00, 1e+00]
Cost [1e+00, 1e+00]
Hessian [2e+00, 2e+00]
Bound [3e-05, 5e+00]
RHS [3e-05, 5e+00]
WARNING: Problem has some excessively small column bounds
WARNING: Problem has some excessively small row bounds
Iteration Objective NullspaceDim
0 192.20427 0 0.01s
100 192.20427 0 0.02s
200 192.20427 0 0.03s
300 192.20427 0 0.03s
400 192.20427 0 0.04s
500 192.20427 0 0.05s
600 192.20427 0 0.06s
700 192.20427 0 0.07s
800 192.20427 0 0.08s
900 192.20427 0 0.09s
1000 192.20427 0 0.11s
2000 192.20427 0 0.27s
3000 192.20427 0 0.49s
4000 192.20427 0 0.77s
4558 192.20427 0 0.94s
ERROR: QP solver claims optimality, but with num/max/sum primal(3/8.56008e-05/0.000197215) infeasibilities
ERROR: Setting model status to Solve error
Model status : Solve error
HiGHS run time : 0.95

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions