An Enhanced Features Extractor for a Portfolio of Constraint Solvers