I wonder what else you would expect?
If you specify the set to be iterated over as a range with equal lower and upper bound then this range has one element. This .mod file
range S = 1..1;
int count = card(S);
dvar int x[S];
minimize sum(s in S) x[s];
subject to { sum(s in 1..1) x[s] >= 3.0; }
execute { writeln("count = " + count + ", x =" + x); }
prints
count = 1, x = [3]
as expected.
#CPLEXOptimizers#DecisionOptimization