Fixed a bug in the RAM utilization constraint