Depsolver pooler usage