0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 328422447
0.00/0.02 c Constructing HOME/instance-2084892-1247725050.xml
0.08/0.16 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V33,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V130,V0)
0.08/0.16 c deduced all_different(V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V34,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V82,V84,V86,V87,V90,V98,V103,V106,V110,V111,V113,V116,V117,V119,V143,V145,V16)
0.08/0.16 c deduced all_different(V0,V1,V32,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V82,V84,V86,V87,V90,V98,V103,V106,V110,V111,V113,V116,V117,V119,V180,V35)
0.08/0.16 c deduced all_different(V0,V1,V32,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V82,V84,V86,V87,V90,V98,V103,V106,V110,V111,V113,V116,V117,V119,V168,V36)
0.08/0.16 c deduced all_different(V0,V1,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V186,V188,V194,V37)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V67)
0.08/0.16 c deduced all_different(V0,V1,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V76,V72)
0.08/0.16 c deduced all_different(V0,V1,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V72,V82,V84,V86,V87,V89)
0.08/0.16 c deduced all_different(V0,V1,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V72,V82,V84,V86,V87,V90,V95,V98,V101,V103,V106,V92)
0.08/0.16 c deduced all_different(V0,V1,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V72,V82,V84,V86,V87,V90,V92,V95,V98,V103,V106,V107)
0.08/0.16 c deduced all_different(V0,V1,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V72,V82,V84,V86,V87,V90,V95,V98,V103,V106,V107,V110,V108)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V120)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V124)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V125)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V126)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V127)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V128)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V129)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V33,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V134)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V135)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V137,V136)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V138)
0.08/0.16 c deduced all_different(V0,V1,V32,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V82,V84,V86,V87,V90,V98,V103,V106,V110,V111,V113,V116,V117,V119,V141)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V146,V148,V144)
0.08/0.16 c deduced all_different(V0,V1,V32,V34,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V82,V84,V86,V87,V90,V98,V103,V106,V110,V111,V113,V116,V117,V119,V143,V147)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V144,V149)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V152,V150)
0.08/0.16 c deduced all_different(V0,V1,V32,V34,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V82,V84,V86,V87,V90,V98,V103,V106,V110,V111,V113,V116,V117,V119,V143,V151)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V153)
0.08/0.16 c deduced all_different(V0,V1,V32,V34,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V62,V63,V82,V84,V86,V87,V90,V98,V103,V106,V110,V111,V113,V116,V117,V119,V156)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V160,V161,V159)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V159,V162)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V164,V163)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V165)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V130,V172)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V130,V173)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V130,V175)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V130,V176)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V64,V66,V70,V73,V74,V79,V130,V177)
0.08/0.16 c deduced all_different(V0,V1,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V186,V183)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V190)
0.08/0.16 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V47,V48,V49,V50,V51,V52,V53,V54,V191)
0.08/0.16 c deduced all_different(V0,V1,V38,V39,V40,V41,V42,V43,V44,V45,V55,V56,V58,V59,V61,V196)
0.08/0.16 c with 3968 constraints
0.08/0.16 c Solving 0 backtracks
0.08/0.16 s UNSATISFIABLE
0.08/0.16 d ASSIGNMENTS 0