Решение не печатается, потому что не найдено оптимального решения. Infeasible or unbounded model
означает, что либо это недопустимо, т.е. решения не существует, либо оно неограниченно, то есть может продолжать увеличивать / уменьшать значения переменных без ограничений для улучшения цели без ограничений.
Глядя на модель, это действительно так. действительно кажутся безграничными. У вас есть цель
m.setObjective(50*x + 20*y + 30*z + 80*a, GRB.MAXIMIZE)
, и нет верхнего предела ни для одной из этих переменных. Если вы измените его на
m.setObjective(50*x + 20*y + 30*z + 80*a, GRB.MINIMIZE)
, тогда вы должны получить оптимальное решение для минимизации этой цели.