#1482 implements a recursive RINS. However, it is not deterministic. First, the Papilo presolve calls are based on time limits. Second, the recursive RINS can fire from any best-first worker at any time during a plunge. For the latter, we can use the same scheduling policy as the diving workers, which means that we set which best-first worker can launch new RINS workers statically from the start and we need to decouple RINS from the current node solve (we can do this by using the diving heap).
#1482 implements a recursive RINS. However, it is not deterministic. First, the Papilo presolve calls are based on time limits. Second, the recursive RINS can fire from any best-first worker at any time during a plunge. For the latter, we can use the same scheduling policy as the diving workers, which means that we set which best-first worker can launch new RINS workers statically from the start and we need to decouple RINS from the current node solve (we can do this by using the diving heap).