fn run_solver( solver: Solver, global_args: &GlobalArgs, cmd_args: &Args, model: Model, ) -> Result<()>