[Bug 390166] SoftLocks ignored after solver run