Activity-Based Search for Black-Box Contraint-Programming Solvers