    0 -0.16666666666666663 = { 1.0, 0.5, 0.8333333333333334, 0.33333333333333337, 0.16666666666666669 }
    Integers: [true, true, true, true, true]
    Lower:  [-1.0, -1.0, 0.0, -1.0, 0.0]
    Upper:  [0.0, 0.0, 1.0, 0.0, Infinity]

Equat: CUT_GMI_0_1 0: { 0.0, -0.6, 1.0, -0.7999999999999999, 0.20000000000000007 } = -1.4

Var   0 <= Factory in SF (5) <= 1 =->> Cut CUT_GMI_0_1: -1.4 < [1=-0.6]
Var   0 <= Warehouse in LA (6) <= 1 =->> Cut CUT_GMI_0_1: -1.4 < [1=-0.6, 2=1]
Var   0 <= Warehouse in SF (4) <= 1 =->> Cut CUT_GMI_0_1: -1.4 < [1=-0.6, 2=1, 3=-0.8]
Slack UPPER Budget <= 10 =->> Cut CUT_GMI_0_1: -3.4 < [0=-1.2, 1=-1.2, 3=-1.2]
    Largest=1.2, Smallest=1.2, Ratio=1: -3.4 < -3.40000000000000008
    -2.4 <= CUT_GMI_0_1
    -2.4 < [0=-1.2, 1=-1.2, 3=-1.2]
