Started posgsolver