I don't know the internals, so I am just guessing. The constraint myConstraintBB is significantly more complicated than myConstraintAA, and the complexity of the algebraic algorithms increases very very rapidly with the size of the input. I would personally try a simpler model with fewer variables.