getting max 1d texture size into cutorch.properties