added a global mutex for bellmanUpdate. Fixed bugs on LRTDP and the concurrent solver