make EWSB solving time user configurable