I have a model (attached). It includes a constraint:
s.t. contra : x - y + 1000000 * z <= 1000000;
When I solve it (using glpsol --math model.sol), I get a solution with x=20, y=10 and z=1, which clearly violates that constraint. Why is it happening?
model.mod
Description: application/xml-dtd
