upper boundes on variables updated