CP portfolio based solver