Dear Johan,
now I find out, the infeasibility can be solved by replacing the upper constraint for x1 in soft constraint, as what I have done with the lower constraint for x2. So I guess, maybe it can be infeasible in the neighbourhoods of all the constraints (I have never tested). But I really don't want to change both of the constraints in soft constraints. What could I do for the rest? Changing another solver should be tried? Thank you for your suggestion in advance.
Best regards,
Liting