some work on global solver