additional changes to LRTDP and ConcurrentSolver