Ported to gecode 4.2, improved branching
Improved bounding