If you look up the termination status:
julia> termination_status(model4)
INFEASIBLE::TerminationStatusCode = 2
you will see that it is infeasible. Is this what you mean by doesn’t run?
Should read: Query Solutions · JuMP
p.s., You should read this PSA about how to format your code.
p.p.s., this looks like a homework question. If so, while people may help you with JuMP syntax, you should be mindful of your schools homework policy.