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
The #constraints
and constraints processed
are not accurate.