Function get_solutions_with_timings 

pub fn get_solutions_with_timings(
    solver: Solver,
    model: Model,
    num_sols: i32,
    keep_intermediate_solutions: bool,
    solver_input_file: &Option<PathBuf>,
    rule_trace_cdp: bool,
) -> Result<(Vec<BTreeMap<Name, Literal>>, SolutionCollectionTimings), Error>

Collect solutions together with measured backend, search and reconstruction times.