<div dir="ltr"><p dir="auto" style="box-sizing:border-box;margin-bottom:16px;color:rgb(31,35,40);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px;margin-top:0px">Dear support team,</p><p dir="auto" style="box-sizing:border-box;margin-top:0px;margin-bottom:16px;color:rgb(31,35,40);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px">I am trying to solve a problem by testing some of SCIP's internal options in order to compare the solving process. The strange thing is that when I set the following options the solving process seems to get stuck and restart again and the B&B tree leads to a sub-optimal solution.</p><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" class="gmail_quote">m.setPresolve(SCIP_PARAMSETTING.AGGRESSIVE)<br>m.setHeuristics(SCIP_PARAMSETTING.AGGRESSIVE)<br>m.setSeparating(SCIP_PARAMSETTING.AGGRESSIVE)</blockquote><p dir="auto" style="box-sizing:border-box;margin-top:0px;margin-bottom:16px;color:rgb(31,35,40);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px"><br></p><p dir="auto" style="box-sizing:border-box;margin-top:0px;margin-bottom:16px;color:rgb(31,35,40);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px">Actually, the correct solution would be 17 while the solver is showing 18.<br></p><img src="cid:ii_lhyq2ev20" alt="image.png" width="821" height="326" style="margin-right: 0px;"><p style="text-align:left;box-sizing:border-box;margin-top:0px;margin-bottom:16px;color:rgb(31,35,40);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px">I think the first line in the above snippet of the log shows something unusual. I should note that the model without using any options can turn out the optimal solution. Also, I test the same problem with the console runner and the run time is so decreasing by using these options as I expected it to be with the correct optimal solution. Please, see an MRE <a href="https://colab.research.google.com/drive/1Z4TrjnpYulPO8Up4hYQrz9A4kYSbdfGY?usp=sharing" rel="nofollow" style="box-sizing:border-box;text-decoration-line:none">here</a>. Also, the related thread could already be found <a href="https://github.com/scipopt/PySCIPOpt/issues/680">here</a>.</p><p style="text-align:left;box-sizing:border-box;margin-top:0px;margin-bottom:16px;color:rgb(31,35,40);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px"><br></p><p dir="auto" style="box-sizing:border-box;margin-top:0px;margin-bottom:16px;color:rgb(31,35,40);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px">I was wondering if, how can I fix that?</p><p dir="auto" style="box-sizing:border-box;margin-top:0px;color:rgb(31,35,40);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px;margin-bottom:0px">Best regards<br style="box-sizing:border-box">Abbas</p></div>