Now relaxations increment is atomic
Now the algorithm increments the number of relaxations