These configs should be in main.h not solverconf.h