const SOLVER_VALUES_FILE_NAME: &str = "debug_solver.csv";
The output file name for extra solver output values