0.00/0.02 c small-domain mode
0.00/0.02 c Seed is 351921367
0.00/0.02 c Constructing HOME/instance-2085245-1247725586.xml
0.17/0.22 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V0)
0.17/0.22 c deduced all_different(V0,V1,V17,V16)
0.17/0.22 c deduced all_different(V1,V2,V3,V18)
0.17/0.22 c deduced all_different(V2,V3,V4,V19)
0.17/0.22 c deduced all_different(V3,V4,V5,V20)
0.17/0.22 c deduced all_different(V4,V5,V6,V21)
0.17/0.22 c deduced all_different(V5,V6,V7,V22)
0.17/0.22 c deduced all_different(V6,V7,V8,V23)
0.17/0.22 c deduced all_different(V7,V8,V9,V24)
0.17/0.22 c deduced all_different(V8,V9,V10,V25)
0.17/0.22 c deduced all_different(V9,V10,V11,V26)
0.17/0.22 c deduced all_different(V10,V11,V12,V27)
0.17/0.22 c deduced all_different(V11,V12,V13,V28)
0.17/0.22 c deduced all_different(V12,V13,V14,V29)
0.17/0.22 c deduced all_different(V13,V14,V15,V30)
0.17/0.22 c deduced all_different(V14,V15,V30,V31)
0.17/0.22 c deduced all_different(V0,V2,V17,V34,V32)
0.17/0.22 c deduced all_different(V1,V3,V18,V35,V33)
0.17/0.22 c deduced all_different(V2,V4,V6,V36)
0.17/0.22 c deduced all_different(V3,V5,V7,V37)
0.17/0.22 c deduced all_different(V4,V6,V8,V38)
0.17/0.22 c deduced all_different(V5,V7,V9,V39)
0.17/0.22 c deduced all_different(V6,V8,V10,V40)
0.17/0.22 c deduced all_different(V7,V9,V11,V41)
0.17/0.22 c deduced all_different(V8,V10,V12,V42)
0.17/0.22 c deduced all_different(V9,V11,V13,V43)
0.17/0.22 c deduced all_different(V10,V12,V14,V44)
0.17/0.22 c deduced all_different(V11,V13,V15,V45)
0.17/0.22 c deduced all_different(V12,V14,V29,V44,V46)
0.17/0.22 c deduced all_different(V13,V15,V30,V45,V47)
0.17/0.22 c deduced all_different(V0,V3,V51,V48)
0.17/0.22 c deduced all_different(V1,V4,V52,V49)
0.17/0.22 c deduced all_different(V2,V5,V53,V50)
0.17/0.22 c deduced all_different(V3,V6,V9,V54)
0.17/0.22 c deduced all_different(V4,V7,V10,V55)
0.17/0.22 c deduced all_different(V5,V8,V11,V56)
0.17/0.22 c deduced all_different(V6,V9,V12,V57)
0.17/0.22 c deduced all_different(V7,V10,V13,V58)
0.17/0.22 c deduced all_different(V8,V11,V14,V59)
0.17/0.22 c deduced all_different(V9,V12,V15,V60)
0.17/0.22 c deduced all_different(V10,V13,V58,V61)
0.17/0.22 c deduced all_different(V11,V14,V59,V62)
0.17/0.22 c deduced all_different(V12,V15,V60,V63)
0.17/0.22 c deduced all_different(V0,V4,V34,V68,V64)
0.17/0.22 c deduced all_different(V1,V5,V35,V69,V65)
0.17/0.22 c deduced all_different(V2,V6,V36,V70,V66)
0.17/0.22 c deduced all_different(V3,V7,V37,V71,V67)
0.17/0.22 c deduced all_different(V4,V8,V12,V72)
0.17/0.22 c deduced all_different(V5,V9,V13,V73)
0.17/0.22 c deduced all_different(V6,V10,V14,V74)
0.17/0.22 c deduced all_different(V7,V11,V15,V75)
0.17/0.22 c deduced all_different(V8,V12,V42,V72,V76)
0.17/0.22 c deduced all_different(V9,V13,V43,V73,V77)
0.17/0.22 c deduced all_different(V10,V14,V44,V74,V78)
0.17/0.22 c deduced all_different(V11,V15,V45,V75,V79)
0.17/0.22 c deduced all_different(V0,V5,V85,V80)
0.17/0.22 c deduced all_different(V1,V6,V86,V81)
0.17/0.22 c deduced all_different(V2,V7,V87,V82)
0.17/0.22 c deduced all_different(V3,V8,V88,V83)
0.17/0.22 c deduced all_different(V4,V9,V89,V84)
0.17/0.22 c deduced all_different(V5,V10,V15,V90)
0.17/0.22 c deduced all_different(V6,V11,V86,V91)
0.17/0.22 c deduced all_different(V7,V12,V87,V92)
0.17/0.22 c deduced all_different(V8,V13,V88,V93)
0.17/0.22 c deduced all_different(V9,V14,V89,V94)
0.17/0.22 c deduced all_different(V10,V15,V90,V95)
0.17/0.22 c deduced all_different(V0,V6,V51,V102,V96)
0.17/0.22 c deduced all_different(V1,V7,V52,V103,V97)
0.17/0.22 c deduced all_different(V2,V8,V53,V104,V98)
0.17/0.22 c deduced all_different(V3,V9,V54,V105,V99)
0.17/0.22 c deduced all_different(V4,V10,V55,V106,V100)
0.17/0.22 c deduced all_different(V5,V11,V56,V107,V101)
0.17/0.22 c deduced all_different(V6,V12,V57,V102,V108)
0.17/0.22 c deduced all_different(V7,V13,V58,V103,V109)
0.17/0.22 c deduced all_different(V8,V14,V59,V104,V110)
0.17/0.22 c deduced all_different(V9,V15,V60,V105,V111)
0.17/0.22 c deduced all_different(V0,V7,V119,V112)
0.17/0.22 c deduced all_different(V1,V8,V120,V113)
0.17/0.22 c deduced all_different(V2,V9,V121,V114)
0.17/0.22 c deduced all_different(V3,V10,V122,V115)
0.17/0.22 c deduced all_different(V4,V11,V123,V116)
0.17/0.22 c deduced all_different(V5,V12,V124,V117)
0.17/0.22 c deduced all_different(V6,V13,V125,V118)
0.17/0.22 c deduced all_different(V7,V14,V119,V126)
0.17/0.22 c deduced all_different(V8,V15,V120,V127)
0.17/0.22 c deduced all_different(V0,V8,V68,V136,V128)
0.17/0.22 c deduced all_different(V1,V9,V69,V137,V129)
0.17/0.22 c deduced all_different(V2,V10,V70,V138,V130)
0.17/0.22 c deduced all_different(V3,V11,V71,V139,V131)
0.17/0.22 c deduced all_different(V4,V12,V72,V140,V132)
0.17/0.22 c deduced all_different(V5,V13,V73,V141,V133)
0.17/0.22 c deduced all_different(V6,V14,V74,V142,V134)
0.17/0.22 c deduced all_different(V7,V15,V75,V143,V135)
0.17/0.22 c deduced all_different(V0,V9,V153,V144)
0.17/0.22 c deduced all_different(V1,V10,V154,V145)
0.17/0.22 c deduced all_different(V2,V11,V155,V146)
0.17/0.22 c deduced all_different(V3,V12,V156,V147)
0.17/0.22 c deduced all_different(V4,V13,V157,V148)
0.17/0.22 c deduced all_different(V5,V14,V158,V149)
0.17/0.22 c deduced all_different(V6,V15,V159,V150)
0.17/0.22 c deduced all_different(V7,V23,V39,V55,V71,V87,V103,V119,V135,V167,V183,V199,V215,V231,V247,V151)
0.17/0.22 c deduced all_different(V8,V24,V40,V56,V72,V88,V104,V120,V136,V168,V184,V200,V216,V232,V248,V152)
0.17/0.22 c deduced all_different(V0,V10,V85,V170,V160)
0.17/0.22 c deduced all_different(V1,V11,V86,V171,V161)
0.17/0.22 c deduced all_different(V2,V12,V87,V172,V162)
0.17/0.22 c deduced all_different(V3,V13,V88,V173,V163)
0.17/0.22 c deduced all_different(V4,V14,V89,V174,V164)
0.17/0.22 c deduced all_different(V5,V15,V90,V175,V165)
0.17/0.22 c deduced all_different(V6,V22,V38,V54,V70,V86,V102,V118,V134,V150,V182,V198,V214,V230,V246,V166)
0.17/0.22 c deduced all_different(V9,V25,V41,V57,V73,V89,V105,V121,V137,V153,V185,V201,V217,V233,V249,V169)
0.17/0.22 c deduced all_different(V0,V11,V187,V176)
0.17/0.22 c deduced all_different(V1,V12,V188,V177)
0.17/0.22 c deduced all_different(V2,V13,V189,V178)
0.17/0.22 c deduced all_different(V3,V14,V190,V179)
0.17/0.22 c deduced all_different(V4,V15,V191,V180)
0.17/0.22 c deduced all_different(V5,V21,V37,V53,V69,V85,V101,V117,V133,V149,V165,V197,V213,V229,V245,V181)
0.17/0.22 c deduced all_different(V10,V26,V42,V58,V74,V90,V106,V122,V138,V154,V170,V202,V218,V234,V250,V186)
0.17/0.22 c deduced all_different(V0,V12,V102,V204,V192)
0.17/0.22 c deduced all_different(V1,V13,V103,V205,V193)
0.17/0.22 c deduced all_different(V2,V14,V104,V206,V194)
0.17/0.22 c deduced all_different(V3,V15,V105,V207,V195)
0.17/0.22 c deduced all_different(V4,V20,V36,V52,V68,V84,V100,V116,V132,V148,V164,V180,V212,V228,V244,V196)
0.17/0.22 c deduced all_different(V11,V27,V43,V59,V75,V91,V107,V123,V139,V155,V171,V187,V219,V235,V251,V203)
0.17/0.22 c deduced all_different(V0,V13,V221,V208)
0.17/0.22 c deduced all_different(V1,V14,V222,V209)
0.17/0.22 c deduced all_different(V2,V15,V223,V210)
0.17/0.22 c deduced all_different(V3,V19,V35,V51,V67,V83,V99,V115,V131,V147,V163,V179,V195,V227,V243,V211)
0.17/0.22 c deduced all_different(V12,V28,V44,V60,V76,V92,V108,V124,V140,V156,V172,V188,V204,V236,V252,V220)
0.17/0.22 c deduced all_different(V0,V14,V119,V238,V224)
0.17/0.22 c deduced all_different(V1,V15,V120,V239,V225)
0.17/0.22 c deduced all_different(V2,V18,V34,V50,V66,V82,V98,V114,V130,V146,V162,V178,V194,V210,V242,V226)
0.17/0.22 c deduced all_different(V13,V29,V45,V61,V77,V93,V109,V125,V141,V157,V173,V189,V205,V221,V253,V237)
0.17/0.22 c deduced all_different(V0,V15,V255,V240)
0.17/0.22 c deduced all_different(V1,V17,V33,V49,V65,V81,V97,V113,V129,V145,V161,V177,V193,V209,V225,V241)
0.17/0.22 c deduced all_different(V14,V30,V46,V62,V78,V94,V110,V126,V142,V158,V174,V190,V206,V222,V238,V254)
0.17/0.22 c with 6455 constraints
0.17/0.22 c Solving 0 backtracks
0.17/0.23 s UNSATISFIABLE
0.17/0.23 d ASSIGNMENTS 0