adjust number of workers per type

Signed-off-by: Nicolas L. Guidotti <nguidotti@nvidia.com>

Author: nguidotti

cpp/src/branch_and_bound/branch_and_bound.cpp

@@ -3700,8 +3700,8 @@ mip_status_t branch_and_bound_t<i_t, f_t>::solve(mip_solution_t<i_t, f_t>& solut
       run_deterministic_coordinator(Arow_);
     } else {
       const i_t num_workers        = settings_.num_threads;
-      const i_t num_bfs_workers    = std::max(settings_.num_threads / 2, 1);
-      const i_t num_submip_workers = 1;
+      const i_t num_bfs_workers    = std::max(num_workers / 2, 1);
+      const i_t num_submip_workers = std::max(num_workers / 8, 1);
       const i_t num_diving_workers = std::max(num_workers - num_bfs_workers, 1);
       bfs_worker_pool_.init(num_bfs_workers, original_lp_, Arow_, var_types_, symmetry_, settings_);
       rins_worker_pool_.init(