the solverbase gets deleted because of the killed process, but for the
sake of completeness, add a destructor