Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers