Fix displayed information when revealing cardinality constraints
When revealing cardinality constraints, the information displayed is not accurate.
See e.g. for a pigeon hole 3-4 problem:
c solving ph3-4.cnf c reading problem ... c ... done. Wall clock time 0.01s. c declared #vars 12 c #constraints 0 c constraints type c 0 constraints processed. c launching cardinality constraint revelation process c remaining constraints: 4/22 c cardinality constraints found (preprocessing): 3 c cardinality search time (preprocessing): 11ms c found 3 at-most cardinality constraint of degree 1 and size 4 c solver contains 7 constraints
constraints processed are not accurate.