Since the MIP does not work with big integers (we need to use long int in gltk), I tried to modify the whole code so that it now uses floats.
The LP with floats + results_expltoitation in floats.