IntVar b0 = model.intVar("b0", -10,-1);
        IntVar b1 = model.intVar("b1",new int[]{2,4,6,8,10,12});
        IntVar b2 = model.intVar("b2",1,1000);
        IntVar b3 = model.intVar("b3",new int[]{2,4,8,16,32,64,128});
        IntVar b4 = model.intVar("b4",new int[]{4,8,12,16,20,24,28});