gecode a large number of addresses quickly