Stopping criteria for PoolSearchMode

回答済み

Oscar Guaje

2022年11月02日 03:00

• 
• 

I'm trying to understand the behaviour of the PoolSearchMode parameter. I have a MIP that I'm solving with PoolSearchMode=1, TimeLimit=30, and PoolSolutions=1000.

On the log I'm seeing that Gurobi finds and optimal solution at around 3 seconds and then it starts completing the solution pool. Then, the solver hits the time limit and stops with status 9, however, SolCount is 1000, and I can use Xn to access the 1000 solutions. All 1000 solutions are distinct and feasible.

According to the documentation of PoolSearchMode, as I'm not looking for any guarantees on the quality of the solutions in the pool, shouldn't the solve terminate when the solver first finds the 1000 solutions I'm asking for? If I increase the time limit the solver eventually terminates, but if I set PoolSearchMode=2 I observe the exact same behaviour. Shouldn't the solver terminate earlier if PoolSearchMode=1? Could you please clarify the stopping criteria when PoolSearchMode=1?

What’s the easiest way to have gurobi terminate after first finding PoolSolutions (and finding the optimal solution)? 

Thanks!

0

• 正式なコメント

  

  Simranjit Kaur

  • Gurobi Staff

  2025年11月16日 23:25

  This post is more than three years old. Some information may not be up to date. For current information, please check the Gurobi Documentation or Knowledge Base. If you need more help, please create a new post in the community forum, or try Gurobot, our chatbot interface offering instant, expert-level support.
• 

  Mario Ruthmair

  • Gurobi Staff

  2022年11月18日 15:21

  Hi Oscar,

  You are basically right, if the gap is below the value set by the MIPGap parameter and the desired number of different solutions is found (PoolSolutions), then the solver should terminate.

  There are, however, some additional subtleties: The solutions have to differ in the values for the integer variables to count as "different", the continuous variables are ignored here. This could be one reason why your solve takes longer.

  Best regards,
  Mario

  0
• 

  Mario Ruthmair

  • Gurobi Staff

  2022年11月18日 15:29

  If you want have more control over the termination, you could use the MIPSOL callback to check and count solutions, and the current MIP gap, and then call abort() to cancel the process.

  0

投稿コメントは受け付けていません。