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

[usa usa]

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/87f7bfbb/attachment.html>