@@ -209,32 +209,32 @@ bool diversity_manager_t<i_t, f_t>::run_presolve(f_t time_limit, timer_t global_
209209 const bool remap_cache_ids = true ;
210210 if (!global_timer.check_time_limit ()) { trivial_presolve (*problem_ptr, remap_cache_ids); }
211211 if (!problem_ptr->empty && !check_bounds_sanity (*problem_ptr)) { return false ; }
212- if (!presolve_timer.check_time_limit () && !context.settings .heuristics_only &&
213- !problem_ptr->empty ) {
214- f_t time_limit_for_clique_table = std::min (3 ., presolve_timer.remaining_time () / 5 );
215- timer_t clique_timer (time_limit_for_clique_table);
216- dual_simplex::user_problem_t <i_t , f_t > host_problem (problem_ptr->handle_ptr );
217- problem_ptr->get_host_user_problem (host_problem);
218- std::shared_ptr<clique_table_t <i_t , f_t >> clique_table;
219- constexpr bool modify_problem_with_cliques = false ;
220- find_initial_cliques (host_problem,
221- context.settings .tolerances ,
222- &clique_table,
223- clique_timer,
224- modify_problem_with_cliques,
225- nullptr );
226- if (modify_problem_with_cliques) {
227- problem_ptr->set_constraints_from_host_user_problem (host_problem);
228- cuopt_assert (host_problem.lower .size () == static_cast <size_t >(problem_ptr->n_variables ),
229- " host lower bound size mismatch" );
230- cuopt_assert (host_problem.upper .size () == static_cast <size_t >(problem_ptr->n_variables ),
231- " host upper bound size mismatch" );
232- std::vector<i_t > all_var_indices (problem_ptr->n_variables );
233- std::iota (all_var_indices.begin (), all_var_indices.end (), 0 );
234- problem_ptr->update_variable_bounds (all_var_indices, host_problem.lower , host_problem. upper );
235- trivial_presolve (*problem_ptr, remap_cache_ids);
236- }
237- }
212+ // if (!presolve_timer.check_time_limit() && !context.settings.heuristics_only &&
213+ // !problem_ptr->empty) {
214+ // f_t time_limit_for_clique_table = std::min(3., presolve_timer.remaining_time() / 5);
215+ // timer_t clique_timer(time_limit_for_clique_table);
216+ // dual_simplex::user_problem_t<i_t, f_t> host_problem(problem_ptr->handle_ptr);
217+ // problem_ptr->get_host_user_problem(host_problem);
218+ // std::shared_ptr<clique_table_t<i_t, f_t>> clique_table;
219+ // constexpr bool modify_problem_with_cliques = false;
220+ // find_initial_cliques(host_problem,
221+ // context.settings.tolerances,
222+ // &clique_table,
223+ // clique_timer,
224+ // modify_problem_with_cliques,
225+ // nullptr);
226+ // if (modify_problem_with_cliques) {
227+ // problem_ptr->set_constraints_from_host_user_problem(host_problem);
228+ // cuopt_assert(host_problem.lower.size() == static_cast<size_t>(problem_ptr->n_variables),
229+ // "host lower bound size mismatch");
230+ // cuopt_assert(host_problem.upper.size() == static_cast<size_t>(problem_ptr->n_variables),
231+ // "host upper bound size mismatch");
232+ // std::vector<i_t> all_var_indices(problem_ptr->n_variables);
233+ // std::iota(all_var_indices.begin(), all_var_indices.end(), 0);
234+ // problem_ptr->update_variable_bounds(all_var_indices, host_problem.lower,
235+ // host_problem.upper); trivial_presolve(*problem_ptr, remap_cache_ids);
236+ // }
237+ // }
238238 // May overconstrain if Papilo presolve has been run before
239239 if (context.settings .presolver == presolver_t ::None) {
240240 if (!problem_ptr->empty ) {
0 commit comments