pluto+: test/fusion10.c does not terminate with glpk

[bondhugula]

On pluto+ branch, test/fusion10.c hangs with GLPK. Works fine with ISL or PIP as solvers:

./polycc test/fusion10.c --glpk --moredebug

Constructing initial basis...
Size of triangular part is 32
0: obj = -9.600000000e+01 inf = 4.614e+01 (6)
10: obj = 9.074000000e+02 inf = 4.330e-15 (0)

• 17: obj = -4.263256415e-14 inf = 8.968e-15 (0)
  OPTIMAL LP SOLUTION FOUND
  Setting GLPK integer tolerance to 1.000000e-07
  GLPK Integer Optimizer, v4.65
  53 rows, 13 columns, 145 non-zeros
  13 integer variables, none of which are binary
  Integer optimization begins...
  Long-step dual simplex will be used

• 17: mip = not found yet >= -inf (1; 0)
• 37517: mip = not found yet >= 1.200000000e+01 (19745; 0)
• 49561: mip = not found yet >= 1.200000000e+01 (25767; 0)
• 57713: mip = not found yet >= 1.200000000e+01 (29843; 0)
• 63929: mip = not found yet >= 1.200000000e+01 (32951; 0)
• 69121: mip = not found yet >= 1.200000000e+01 (35547; 0)
• 73745: mip = not found yet >= 1.200000000e+01 (37859; 0)