How to stop a long-running optimization process in JuMP?

The jupyter printing issue is discussed in