neos-872648

primal-infeasible

The instance

as published

Variables: 175,219
Constraints: 93,291
Nonzeros: 350,438
Format: MPS, gzipped

Where it comes from

provenance

A branch-and-bound run reached this node's parent and split on a variable. This instance is the side the search did not explore, and it has no feasible point.

branch taken by the search
C173495 ≥ 1
this instance, the other side
C173495 ≤ 0 at depth 514

Depth in the tree: 514
Bounds tightened vs. source: 514
Branch variable: C173495

Tightened bounds

514 entries

C87704<=0C87831<=0C87882<=0C87886<=0C87972<=0C88150<=0C88180<=0C88262<=0C88318<=0C88669<=0C88722<=0C88947<=0

12 of 514 shown. The complete list is in the sidecar.

Download

neos-872648_if.mps.gz2.76 MiB neos-872648_if.meta.json10 KiB

The sidecar carries the full provenance, including the fields this page truncates.

Source instance

Nameneos-872648

Submitted byNEOS Server Submission

Groupneos-pseudoapplication-61

TermsNo licence of record

Imported from the MIPLIB2010 submissions. It predates MIPLIB's submission form, and the licence that form required. See LICENSE.

decompositionprecedencevariable_bound

The instance was solved using up to 48 threads in 4000 sec. using Gurobi 9.0. Solved with COPT 7.0 using up to 12 threads in less than 30 minutes.

Source description quoted from MIPLIB 2017; links and mathematical notation formatted for the web.

View on MIPLIB 2017 →