An enhanced features extractor for a portfolio of constraint solvers