[Bug 390166] New: SoftLocks ignored after solver run