Spines of Random Constraint Satisfaction Problems: Definition and Impact on Computational Complexity.