Adapted mini_toy instance
Explicit call to cplex.extract