Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint