0.00/0.02 c small-domain mode
0.00/0.03 c Seed is 1560698505
0.00/0.03 c Constructing HOME/instance-2084772-1247724938.xml
0.37/0.47 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V92,V93,V94,V0)
0.37/0.47 c deduced all_different(V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V45,V46,V47,V80,V89,V99,V103,V104,V105,V109,V130,V16)
0.37/0.47 c deduced all_different(V0,V1,V41,V372,V375,V379,V386,V34)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V177,V35)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V354,V36)
0.37/0.47 c deduced all_different(V0,V1,V2,V39,V47,V55,V57,V80,V89,V155,V580,V592,V593,V38)
0.37/0.47 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V541,V544,V545,V559,V560,V40)
0.37/0.47 c deduced all_different(V0,V1,V36,V358,V388,V391,V42)
0.37/0.47 c deduced all_different(V0,V1,V36,V356,V43)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V51,V52,V80,V89,V155,V611,V617,V629,V630,V631,V44)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V49,V50,V80,V89,V155,V178,V217,V221,V222,V223,V227,V48)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V247,V249,V251,V53)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V285,V286,V300,V301,V54)
0.37/0.47 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V541,V544,V545,V565,V568,V573,V56)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V59,V60,V80,V89,V155,V503,V522,V526,V527,V528,V538,V58)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V420,V427,V428,V429,V430,V431,V432,V435,V61)
0.37/0.47 c deduced all_different(V0,V1,V2,V4,V5,V6,V7,V8,V9,V15,V62)
0.37/0.47 c deduced all_different(V0,V1,V2,V5,V6,V7,V8,V9,V15,V63)
0.37/0.47 c deduced all_different(V0,V1,V2,V6,V7,V8,V9,V15,V64)
0.37/0.47 c deduced all_different(V0,V1,V2,V7,V8,V9,V15,V65)
0.37/0.47 c deduced all_different(V0,V1,V2,V8,V9,V15,V66)
0.37/0.47 c deduced all_different(V0,V1,V2,V9,V15,V67)
0.37/0.47 c deduced all_different(V0,V1,V2,V15,V68)
0.37/0.47 c deduced all_different(V0,V1,V2,V69)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V70)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V71)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V72)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V73)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V82,V81)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V83)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V84)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V86,V85)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V87)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V88)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V92,V95)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V96)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V89,V96,V97)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V111,V112,V110)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V110,V121,V123,V113)
0.37/0.47 c deduced all_different(V0,V1,V2,V32,V45,V46,V47,V80,V89,V99,V103,V104,V105,V109,V114)
0.37/0.47 c deduced all_different(V0,V1,V2,V32,V45,V46,V47,V80,V89,V99,V103,V104,V105,V118)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V110,V113,V121,V124)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V110,V113,V121,V125)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V110,V113,V121,V127,V128,V126)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V110,V113,V121,V127,V131)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V110,V113,V121,V132)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V134)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V136,V135)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V135,V137)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V138)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V141,V139)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V140)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V143,V142)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V143,V144)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V145)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V147,V146)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V148)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V150,V149)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V153,V151)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V152)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V154)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V157,V156)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V158)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V160,V159)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V161)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V163,V162)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V164)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V166,V165)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V167)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V168)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V169)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V171,V170)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V173,V172)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V172,V174)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V175)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V184,V185,V186,V183)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V184,V185,V186,V187)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V189,V188)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V189,V191,V190)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V189,V191,V193,V192)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V189,V191,V193,V195,V194)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V189,V191,V193,V194,V196)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V189,V193,V194,V197)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V189,V193,V194,V199,V198)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V193,V194,V198,V200)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V193,V194,V198,V203,V201)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V186,V187,V202)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V186,V187,V204)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V193,V194,V198,V205)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V194,V198,V206)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V186,V187,V207)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V210)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V186,V187,V213,V212)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V186,V187,V214)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V186,V214,V215)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V186,V216)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V155,V178,V186,V217,V219,V220,V218)
0.37/0.48 c deduced all_different(V0,V1,V2,V35,V47,V80,V89,V155,V228)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V231,V229)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V230)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V233,V232)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V234)
0.37/0.48 c deduced all_different(V0,V1,V2,V10,V11,V47,V80,V89,V155,V235)
0.37/0.48 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V47,V80,V89,V155,V237)
0.37/0.48 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V47,V80,V89,V155,V238)
0.37/0.48 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V47,V80,V89,V155,V239)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V241,V240)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V242)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V244,V243)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V246,V252,V253,V254,V245)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V252,V255)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V252,V257,V256)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V252,V259,V258)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V258,V260)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V258,V261)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V263,V262)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V262,V264)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V262,V265)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V266)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V143,V144,V245,V246,V267)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V53,V80,V89,V155,V247,V249,V269)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V270)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V271)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V272)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V272,V273)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V276)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V278,V279,V277)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V283,V284,V285,V282)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V285,V286,V288,V287)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V289)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V290)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V291)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V293,V292)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V294)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V285,V286,V287,V296,V295)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V285,V286,V287,V297)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V285,V286,V297,V298)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V275,V279,V285,V286,V299)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V54,V55,V80,V89,V155,V275,V279,V285,V286,V300,V306,V303)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V305)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V54,V55,V80,V89,V155,V275,V279,V285,V286,V300,V303,V307)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V54,V55,V80,V89,V155,V275,V279,V285,V286,V300,V303,V309)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V310)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V313,V316,V312)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V314)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V315)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V312,V317)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V318)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V319)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V321,V320)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V322)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V323)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V324)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V327,V325)
0.37/0.48 c deduced all_different(V0,V1,V2,V11,V12,V47,V55,V80,V89,V155,V326)
0.37/0.48 c deduced all_different(V0,V1,V2,V11,V12,V47,V55,V80,V89,V155,V329,V330,V331,V328)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V333,V332)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V334)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V336,V335)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V337)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V339,V338)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V144,V340)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V342,V341)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V345,V343)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V344)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V346)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V347)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V348)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V349)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V350)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V351)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V352)
0.37/0.48 c deduced all_different(V0,V1,V36,V80,V355)
0.37/0.48 c deduced all_different(V0,V1,V36,V355,V356,V357)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V360,V361,V362,V359)
0.37/0.48 c deduced all_different(V0,V1,V364,V365,V366,V367,V368,V369,V370,V363)
0.37/0.48 c deduced all_different(V0,V1,V36,V371)
0.37/0.48 c deduced all_different(V0,V1,V372,V374,V373)
0.37/0.48 c deduced all_different(V0,V1,V41,V372,V375,V378)
0.37/0.48 c deduced all_different(V0,V1,V41,V372,V375,V379,V380)
0.37/0.48 c deduced all_different(V0,V1,V41,V372,V375,V382)
0.37/0.48 c deduced all_different(V0,V1,V36,V43,V395,V393)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V396)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V398,V397)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V402,V403,V401)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V402,V403,V404)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V404,V406,V405)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V407)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V408)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V409)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V411,V410)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V412)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V436,V437,V438,V439,V414)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V404,V405,V416,V415)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V404,V405,V417)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V404,V417,V418)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V404,V419)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V404,V420,V422,V423,V424,V425,V426,V421)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V437,V441,V442,V440)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V437,V440,V441,V443)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V437,V441,V444)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V441,V445)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V441,V447,V448,V446)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V441,V446,V450,V449)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V446,V449,V451)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V446,V452)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V453)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V455,V456,V457,V454)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V454,V455,V458)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V454,V455,V459)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V454,V461,V460)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V436,V454,V462)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V454,V462,V464,V463)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V454,V462,V465)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V454,V466)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V414,V467)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V61,V80,V89,V155,V420,V427,V428,V429,V430,V431,V432,V469)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V471,V470)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V473,V472)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V473,V474)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V474,V476,V477,V475)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V479,V489,V490,V478)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V475,V481,V482,V480)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V475,V480,V483)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V475,V483,V484)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V475,V485)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V486)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V488,V487)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V478,V479,V491)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V478,V479,V492)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V478,V493)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V487,V494)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V487,V495)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V478,V497,V498,V496)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V478,V496,V499)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V496,V500)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V501)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V155,V502)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V155,V503,V509,V510,V508)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V531,V532,V533,V511)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V155,V503,V510,V513,V512)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V155,V503,V516)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V155,V503,V510,V512,V518,V517)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V155,V503,V510,V512,V519)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V155,V503,V510,V519,V520)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V155,V503,V510,V521)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V155,V503,V510,V522,V524,V525,V523)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V511,V531,V534)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V511,V531,V535)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V511,V536)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V540,V539)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V540,V541,V543,V542)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V541,V544,V545,V546)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V549,V547)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V155,V541,V544,V545,V548)
0.37/0.48 c deduced all_different(V0,V1,V2,V40,V47,V55,V80,V89,V155,V541,V544,V545,V550)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V552,V551)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V554,V553)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V555)
0.37/0.48 c deduced all_different(V0,V1,V2,V40,V47,V55,V80,V89,V155,V541,V544,V545,V557)
0.37/0.48 c deduced all_different(V0,V1,V2,V38,V40,V47,V55,V80,V89,V155,V541,V544,V545,V561)
0.37/0.48 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V541,V544,V545,V561,V562)
0.37/0.48 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V541,V544,V545,V564,V563)
0.37/0.48 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V541,V544,V545,V565,V567,V566)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V571)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V541,V544,V574)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V40,V47,V55,V80,V89,V155,V541,V544,V576)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V155,V541,V544,V580,V582,V583,V577)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V541,V544,V577,V578)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V541,V544,V577,V579)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V155,V541,V544,V577,V580,V584)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V155,V541,V577,V580,V584,V585)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V155,V541,V577,V580,V587,V588,V586)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V155,V541,V577,V580,V586,V589)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V155,V541,V580,V586,V589,V590)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V155,V541,V580,V586,V591)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V57,V80,V89,V155,V580,V593,V596,V595)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V57,V80,V89,V155,V580,V593,V600,V597)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V598)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V601)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V602)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V604)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V605)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V606)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V155,V607)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V155,V611,V617,V616)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V155,V611,V617,V619,V618)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V155,V611,V622)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V637,V638,V623)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V155,V611,V617,V618,V625,V624)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V155,V611,V617,V618,V626)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V155,V611,V617,V626,V627)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V155,V611,V617,V628)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V52,V80,V89,V155,V611,V617,V629,V631,V633)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V52,V80,V89,V155,V611,V617,V629,V633,V636,V634)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V623,V639)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V623,V641,V640)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V143,V144,V623,V642)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V52,V80,V89,V155,V611,V617,V629,V633,V634,V644)
0.37/0.49 c with 14278 constraints
0.37/0.49 c Solving 0 backtracks
0.47/0.51 s UNSATISFIABLE
0.47/0.51 d ASSIGNMENTS 0