The formulation that is described here applies to each garage k. The PROC OPTMODEL statements call the linear programming solver in a loop, with one solve per garage.