A Classification-based Approach to Managing a Solver Portfolio for CSPs