Add a counter of the number of configurations explored
tighten the bound on R_OPTIM4