Problem with Ramsey SS with solver

[jpfeifer]

Is the problem still current after Problem with maximum number of iterations?