Fixing pcryptosat python interface and the conflict limit