# About JuMP.is\_solved\_and\_feasible

**URL:** <https://discourse.julialang.org/t/about-jump-is-solved-and-feasible/126868>\
**Category:** Optimization (Mathematical)\
**Tags:** jump\
**Created:** [March 12, 2025, 12:36pm UTC](https://discourse.julialang.org/t/about-jump-is-solved-and-feasible/126868 "2025-03-12T12:36:15Z")\
**Posts on this page:** 1\
**Showing post:** 29

<div class="post-metadata">

**Author:** ![WalterMadelim](https://avatars.discourse-cdn.com/v4/letter/w/3e96dc/32.png) [@WalterMadelim](https://discourse.julialang.org/u/WalterMadelim)\
**Post date:** [April 6, 2025, 1:48am UTC](https://discourse.julialang.org/t/about-jump-is-solved-and-feasible/126868/29 "2025-04-06T01:48:09Z")

</div>

> [@odow](#):
>
> valid if `primal_status(model) == FEASIBLE_POINT`. If primal status is something else, then “it depends”. There is no universal way to check a status to see if the solver found a valid bound.

Yes, there are circumstances where we have no primal solution but the `JuMP.objective_bound` functions (verb) properly, and it may function properly both in pure-LP and MIP. I can furnish [code instances](https://discourse.julialang.org/t/i-added-1-million-constraints-to-an-lp-unwittingly/127668/16) to reproduce this situation, with Gurobi.

---

_[View the full topic](https://discourse.julialang.org/t/about-jump-is-solved-and-feasible/126868)._