How can I ensure that feasibility_pump and rins/rens are added to the subsolver list and the CP-SAT run is deterministic?

[pschitte]

I would like to configure the CP-SAT solver to use feasibility_pump and rins/rens strategies in a deterministic manner.

When I set num_workers: 1, the main algorithm does not find a feasible solution for my problem within the required time. However, with feasibility_pump and rins/rens, feasible solutions are found within the required time.

With num_workers: 2 and interleave_search: false, these subsolvers are included and both subsolvers appear in the subsolver list:

Starting CP-SAT solver v9.11.4210
Parameters: log_search_progress: true presolve_probing_deterministic_time_limit: 0 max_deterministic_time: 6 catch_sigint_signal: false num_workers: 2

Starting search at 0.20s with 2 workers.
1 full problem subsolver: [default_lp]
1 first solution subsolver: [fj]
13 interleaved subsolvers: [feasibility_pump, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, ls, rins/rens, rnd_cst_lns, rnd_var_lns, scheduling_intervals_lns, scheduling_precedences_lns, scheduling_resource_windows_lns, scheduling_time_window_lns]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]

However, when I set interleave_search to true to have a deterministic search, feasibility_pump and rins/rens are excluded from the subsolver list and a solution is not found within the required time.

Starting CP-SAT solver v9.11.4210
Parameters: log_search_progress: true presolve_probing_deterministic_time_limit: 0 max_deterministic_time: 6 interleave_batch_size: 10 catch_sigint_signal: false interleave_search: true num_workers: 2

Starting deterministic search at 0.20s with 2 workers and batch size of 10.
9 full problem subsolvers: [core, default_lp, fixed, max_lp, no_lp, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs]
10 interleaved subsolvers: [graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, rnd_cst_lns, rnd_var_lns, scheduling_intervals_lns, scheduling_precedences_lns, scheduling_resource_windows_lns, scheduling_time_window_lns]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]

Explicitly setting use_feasibility_pump and use_rins_lns to true has not resolved this issue.

How can I ensure to use feasibility_pump and rins/rens and that the CP-SAT run is deterministic at the same time?

[lperron]

Unfortunately, we have not implemented determinism for these workers.