[SCIP] Fwd: based on scip results, how to debug an infeasible binary model ?

[usa usa]

more details:

Solution           :
  Solutions found  :          0 (0 improvements)
  Primal Bound     : infeasible (objective limit reached)
  Dual Bound       :          -
  Gap              :       0.00 %
  Avg. Gap         :     100.00 % (4.82 primal-dual integral)



---------- Forwarded message ---------
From: usa usa <usact2012 at gmail.com>
Date: Tue, Apr 28, 2020 at 8:32 PM
Subject: based on scip results, how to debug an infeasible binary model ?
To: scip <scip at zib.de>


Hi,

I am trying to solve an Integer programming model by running java scip from
IntelliJ Idea (community 2019.2) on macbook pro.

My java is 11.
My scipoptsuite: 6.0.2.
My jscip cheked out from https://github.com/SCIP-Interfaces/JSCIPOpt


My model is not feasible.

Could anyone please suggest how I can debug the model based on the output
from SCIP ?

Are there some analysis results that SCIP can provide except
printStatistics() ?

The model has many variables and constraints.
I am not sure how and where I should focus on in the model ?

For example, which constraints are violated?

Thanks,

This is the output from printStatistics():
---------------------------

SCIP Status        : problem is solved [infeasible]
Total Time         :       0.05
  solving          :       0.05
  presolving       :       0.03 (included in solving)
  reading          :       0.00
  copying          :       0.00 (0 times copied the problem)
Original Problem   :
  Problem name     : Binary_Example
  Variables        : 2871 (2871 binary, 0 integer, 0 implicit integer, 0
continuous)
  Constraints      : 1509 initial, 1509 maximal
  Objective        : maximize, 2610 non-zeros (abs.min = 2.994, abs.max =
68928)
Presolved Problem  :
  Problem name     : t_LinearExample_1
  Variables        : 302 (302 binary, 0 integer, 0 implicit integer, 0
continuous)
  Constraints      : 1543 initial, 1543 maximal
  Objective        : minimize, 90 non-zeros (abs.min = 2.994, abs.max =
62611.3)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20200428/5fb9c909/attachment.html>