Checking options in main.cpp,  not in solverconf.cpp