Function solver_exit_error 

fn solver_exit_error(
    command: &SolverCommand,
    status: ExitStatus,
    stdout: &str,
    stderr: &str,
) -> String