Model::ProblemSolver: args: database: a_database_of_solved_problems some_param: SOME_DEFAULT_VALUE