<div dir="ltr">Hi, <div><br></div><div><div>I am trying to solve an Integer programming model by running java <span class="gmail-il">scip</span> from IntelliJ Idea (community 2019.2) on macbook pro. </div><div><br></div><div>My java is 11. </div><div>My scipoptsuite: 6.0.2.</div><div>My jscip cheked out from <a href="https://github.com/SCIP-Interfaces/JSCIPOpt" target="_blank">https://github.com/<span class="gmail-il">SCIP</span>-Interfaces/JSCIPOpt</a></div><div><br></div><div><br></div><div>My model is not feasible. </div><div><br></div><div>Could anyone please suggest how I can debug the model based on the output from SCIP ? </div><div><br></div><div>Are there some analysis results that SCIP can provide except printStatistics() ? </div><div><br></div><div>The model has many variables and constraints. </div><div>I am not sure how and where I should focus on in the model ? </div><div><br></div><div>For example, which constraints are violated? </div><div><br></div><div>Thanks, </div><div><br></div><div>This is the output from printStatistics():</div><div>---------------------------</div><div><br></div><div>SCIP Status        : problem is solved [infeasible]<br>Total Time         :       0.05<br>  solving          :       0.05<br>  presolving       :       0.03 (included in solving)<br>  reading          :       0.00<br>  copying          :       0.00 (0 times copied the problem)<br>Original Problem   :<br>  Problem name     : Binary_Example<br>  Variables        : 2871 (2871 binary, 0 integer, 0 implicit integer, 0 continuous)<br>  Constraints      : 1509 initial, 1509 maximal<br>  Objective        : maximize, 2610 non-zeros (abs.min = 2.994, abs.max = 68928)<br>Presolved Problem  :<br>  Problem name     : t_LinearExample_1<br>  Variables        : 302 (302 binary, 0 integer, 0 implicit integer, 0 continuous)<br>  Constraints      : 1543 initial, 1543 maximal<br>  Objective        : minimize, 90 non-zeros (abs.min = 2.994, abs.max = 62611.3)<br></div><div><br></div></div></div>