use local thread variable for propagation solvers