reacting to timeout in solve