More memory/more cores for gecode=faster build