thread-parallel localproblem solving