The utilization constraint is used as it is in the 0.x form, but then we
initialize it in the %? Wrong! Corrected.