Fixed Bug 2085. The local optimizer is no longer run to refine the result
if the user interrupted the process.