0.00/0.02 c small-domain mode
0.00/0.04 c Seed is 42935626
0.00/0.04 c Constructing HOME/instance-2084848-1247725005.xml
0.26/0.31 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V49,V77,V78,V79,V80,V81,V82,V83,V84,V85,V383,V0)
0.26/0.31 c deduced all_different(V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V42,V44,V61,V88,V94,V141,V166,V169,V225,V230,V232,V234,V243,V16)
0.26/0.31 c deduced all_different(V0,V1,V43,V51,V56,V68,V88,V94,V296,V350,V353,V355,V362,V37)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V65,V88,V269,V272,V274,V278,V282,V287,V55)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V66,V88,V94,V296,V389,V393,V396,V403,V405,V410,V57)
0.26/0.31 c deduced all_different(V0,V1,V32,V59,V60,V88,V94,V99,V103,V112,V113,V121,V123,V124,V58)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V191,V197,V200,V201,V203,V205,V217,V62)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V433,V436,V438,V442,V63)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V415,V418,V419,V421,V64)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V56,V88,V94,V296,V331,V367,V369,V372,V375,V376,V379,V67)
0.26/0.31 c deduced all_different(V0,V1,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V15,V69)
0.26/0.31 c deduced all_different(V0,V1,V5,V6,V7,V8,V9,V10,V11,V12,V13,V15,V70)
0.26/0.31 c deduced all_different(V0,V1,V6,V7,V8,V9,V10,V11,V12,V13,V15,V71)
0.26/0.31 c deduced all_different(V0,V1,V7,V8,V9,V10,V11,V12,V13,V15,V72)
0.26/0.31 c deduced all_different(V0,V1,V8,V9,V10,V11,V12,V13,V15,V73)
0.26/0.31 c deduced all_different(V0,V1,V9,V10,V11,V12,V13,V15,V74)
0.26/0.31 c deduced all_different(V0,V1,V10,V11,V12,V13,V15,V75)
0.26/0.31 c deduced all_different(V0,V1,V10,V11,V12,V13,V76)
0.26/0.31 c deduced all_different(V0,V1,V11,V12,V13,V86)
0.26/0.31 c deduced all_different(V0,V1,V11,V12,V13,V87)
0.26/0.31 c deduced all_different(V0,V1,V13,V32,V88,V90)
0.26/0.31 c deduced all_different(V0,V1,V13,V32,V88,V94,V91)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V91,V92)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V91,V93)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V95)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V97,V98,V96)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V97,V99,V101,V100)
0.26/0.31 c deduced all_different(V0,V1,V32,V58,V59,V88,V94,V99,V101,V103,V102)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V99,V101,V102,V103,V104)
0.26/0.31 c deduced all_different(V0,V1,V32,V58,V59,V88,V94,V99,V102,V103,V108)
0.26/0.31 c deduced all_different(V0,V1,V32,V58,V59,V88,V94,V99,V103,V108,V110,V111,V109)
0.26/0.31 c deduced all_different(V0,V1,V32,V58,V59,V88,V94,V99,V103,V108,V112,V113,V114)
0.26/0.31 c deduced all_different(V0,V1,V32,V58,V59,V88,V94,V99,V103,V112,V113,V115)
0.26/0.31 c deduced all_different(V0,V1,V32,V58,V59,V88,V94,V99,V103,V112,V113,V116)
0.26/0.31 c deduced all_different(V0,V1,V32,V58,V59,V88,V94,V99,V103,V112,V113,V117)
0.26/0.31 c deduced all_different(V0,V1,V32,V58,V59,V88,V94,V99,V103,V112,V113,V120)
0.26/0.31 c deduced all_different(V0,V1,V32,V58,V59,V60,V88,V94,V99,V103,V112,V113,V123,V124,V129,V125)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V127)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V131,V130)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V131,V132)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V134,V133)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V135)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V136)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V138,V137)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V141,V140)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V145)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V146)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V148,V147)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V150)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V151)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V153,V152)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V154)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V155)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V157)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V159,V158)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V160)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V161)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V141,V162)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V164)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V165)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V168,V169,V167)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V168,V169,V170)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V175)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V177)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V178)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V179)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V208,V209,V180)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V181)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V169,V181,V182)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V181,V182,V184,V183)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V181,V182,V183,V185)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V181,V182,V183,V186)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V181,V182,V186,V187)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V181,V182,V187,V188)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V182,V187,V188,V189)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V187,V188,V189,V191,V190)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V188,V189,V190,V191,V192)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V189,V190,V191,V192,V193)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V190,V191,V192,V193,V194)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V191,V192,V193,V194,V196,V195)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V191,V193,V194,V195,V197,V199,V198)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V191,V193,V195,V197,V200,V201,V202)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V191,V193,V197,V200,V201,V203,V204)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V180,V211,V212,V210)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V180,V210,V213)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V180,V213,V214)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V180,V215)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V218)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V220,V221,V219)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V220,V221,V222)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V221,V222,V223)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V222,V223,V225,V224)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V222,V223,V225,V226)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V223,V225,V226,V227)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V225,V226,V227,V229,V228)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V225,V226,V228,V230,V231)
0.26/0.31 c deduced all_different(V0,V1,V32,V42,V44,V88,V94,V141,V166,V169,V225,V226,V230,V232,V233)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V238,V237)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V240,V239)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V241)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V244)
0.26/0.31 c deduced all_different(V0,V1,V88,V94,V247)
0.26/0.31 c deduced all_different(V0,V1,V88,V94,V248)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V251)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V252)
0.26/0.31 c deduced all_different(V0,V1,V37,V88,V254,V253)
0.26/0.31 c deduced all_different(V0,V1,V256,V255)
0.26/0.31 c deduced all_different(V0,V1,V258,V257)
0.26/0.31 c deduced all_different(V0,V1,V260,V261,V262,V263,V264,V265,V266,V259)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V268,V269,V267)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V268,V269,V270)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V55,V88,V269,V272,V274,V271)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V269,V271,V272,V273)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V55,V88,V269,V272,V274,V277,V276)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V55,V88,V269,V272,V274,V278,V280)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V284)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V285)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V289,V288)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V288,V290)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V290,V291)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V293,V294,V295,V292)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V292,V294,V296,V297)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V298)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V299)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V302)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V303)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V305,V304)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V306)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V307)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V308)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V310,V311,V309)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V309,V312)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V309,V313)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V314)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V315)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V317,V316)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V318)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V319)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V321,V320)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V322)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V323)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V56,V88,V94,V296,V325)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V329,V330,V328)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V330,V331,V332)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V56,V88,V94,V296,V331,V334,V333)
0.26/0.31 c deduced all_different(V0,V1,V43,V56,V88,V94,V296,V331,V337)
0.26/0.31 c deduced all_different(V0,V1,V43,V56,V88,V94,V296,V331,V338)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V342)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V344)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V345)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V331,V346)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V331,V347)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V331,V348)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V331,V350,V349)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V331,V350,V352,V351)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V51,V56,V88,V94,V296,V331,V350,V353,V354)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V359,V358)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V360)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V56,V88,V94,V296,V330,V331,V363)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V56,V88,V94,V296,V330,V331,V364)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V56,V88,V94,V296,V330,V331,V366,V365)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V56,V88,V94,V296,V330,V331,V367,V369,V368)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V56,V88,V94,V296,V330,V331,V367,V369,V371,V370)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V56,V88,V94,V296,V331,V367,V369,V370,V372,V374,V373)
0.26/0.31 c deduced all_different(V0,V1,V37,V43,V56,V67,V88,V94,V296,V331,V367,V369,V372,V375,V376,V382)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V49,V77,V78,V79,V80,V81,V82,V83,V84,V85,V385)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V388,V389,V390,V387)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V296,V388,V389,V390,V391)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V57,V88,V94,V296,V389,V393,V392)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V57,V88,V94,V296,V389,V393,V396,V398,V402,V397)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V57,V88,V94,V296,V389,V393,V396,V399)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V57,V88,V94,V296,V389,V393,V396,V401)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V57,V88,V94,V296,V389,V393,V396,V398,V403,V404)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V408)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V411)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V412)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V413)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V415,V414)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V88,V94,V415,V417,V416)
0.26/0.31 c deduced all_different(V0,V1,V37,V51,V64,V88,V94,V415,V418,V421,V428,V422)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V425,V424)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V426)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V429)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V430)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V431)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V433,V432)
0.26/0.31 c deduced all_different(V0,V1,V32,V44,V88,V94,V433,V435,V434)
0.26/0.31 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77,V78,V79,V80,V81,V82,V83,V84,V85,V440)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V443)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V444)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V447)
0.26/0.31 c deduced all_different(V0,V1,V32,V88,V94,V450)
0.26/0.31 c with 8883 constraints
0.26/0.31 c Solving 0 backtracks
0.26/0.32 s UNSATISFIABLE
0.26/0.32 d ASSIGNMENTS 0