use pooler to manage depsolver workers