Stop JuMP optimization when gap doesn't improve enough

You can probably achieve this with the CPLEX callbacks.