Weighted_constraint_satisfaction_problem loading ...