added solver tracing to effectWCon