0.00/0.02 c small-domain mode
0.00/0.05 c Seed is 229356189
0.00/0.05 c Constructing HOME/instance-2085101-1247725341.xml
0.17/0.28 c deduced all_different(V1,V161,V233,V0)
0.17/0.28 c deduced all_different(V3,V19,V83,V97,V223,V250,V254,V279,V300,V357,V366,V380,V401,V436,V2)
0.17/0.28 c deduced all_different(V1,V48,V105,V107,V161,V249,V261,V262,V265,V275,V282,V293,V389,V403,V4)
0.17/0.28 c deduced all_different(V6,V11,V29,V48,V117,V136,V150,V5)
0.17/0.28 c deduced all_different(V6,V75,V198,V199,V203,V226,V230,V282,V314,V385,V388,V401,V414,V437,V7)
0.17/0.28 c deduced all_different(V3,V25,V42,V65,V139,V268,V271,V324,V386,V390,V392,V396,V434,V442,V8)
0.17/0.28 c deduced all_different(V11,V48,V52,V107,V156,V194,V207,V223,V241,V255,V304,V323,V350,V370,V9)
0.17/0.28 c deduced all_different(V37,V125,V174,V193,V226,V228,V254,V263,V302,V360,V411,V430,V439,V446,V12)
0.17/0.28 c deduced all_different(V66,V294,V302,V305,V13)
0.17/0.28 c deduced all_different(V11,V30,V48,V155,V14)
0.17/0.28 c deduced all_different(V4,V68,V76,V224,V310,V342,V356,V412,V423,V15)
0.17/0.28 c deduced all_different(V0,V185,V218,V297,V16)
0.17/0.28 c deduced all_different(V14,V72,V185,V218,V418,V17)
0.17/0.28 c deduced all_different(V0,V72,V94,V152,V204,V232,V269,V301,V321,V341,V343,V398,V425,V445,V18)
0.17/0.28 c deduced all_different(V126,V257,V343,V384,V20)
0.17/0.28 c deduced all_different(V2,V101,V155,V235,V239,V397,V403,V423,V429,V21)
0.17/0.28 c deduced all_different(V44,V75,V143,V207,V250,V303,V311,V361,V424,V22)
0.17/0.28 c deduced all_different(V17,V54,V57,V58,V90,V166,V261,V380,V424,V23)
0.17/0.28 c deduced all_different(V2,V16,V128,V133,V139,V141,V185,V297,V300,V24)
0.17/0.28 c deduced all_different(V5,V44,V81,V85,V157,V208,V264,V317,V408,V26)
0.17/0.28 c deduced all_different(V16,V30,V281,V27)
0.17/0.28 c deduced all_different(V39,V110,V202,V209,V273,V295,V336,V416,V437,V28)
0.17/0.28 c deduced all_different(V29,V42,V48,V79,V165,V262,V340,V383,V386,V31)
0.17/0.28 c deduced all_different(V0,V73,V185,V199,V249,V286,V308,V396,V417,V32)
0.17/0.28 c deduced all_different(V17,V45,V72,V116,V185,V218,V286,V328,V348,V369,V381,V400,V412,V449,V34)
0.17/0.28 c deduced all_different(V34,V47,V88,V100,V135,V174,V179,V186,V191,V218,V243,V256,V292,V402,V35)
0.17/0.28 c deduced all_different(V60,V72,V169,V301,V38)
0.17/0.28 c deduced all_different(V23,V76,V162,V187,V270,V296,V329,V424,V438,V40)
0.17/0.28 c deduced all_different(V5,V103,V130,V172,V243,V291,V302,V369,V449,V41)
0.17/0.28 c deduced all_different(V48,V57,V64,V71,V104,V128,V219,V220,V277,V291,V302,V330,V335,V373,V46)
0.17/0.28 c deduced all_different(V8,V82,V110,V135,V168,V252,V257,V266,V343,V351,V355,V384,V389,V406,V49)
0.17/0.28 c deduced all_different(V28,V150,V158,V166,V169,V212,V309,V327,V396,V50)
0.17/0.28 c deduced all_different(V23,V24,V154,V168,V185,V196,V202,V205,V209,V225,V267,V343,V377,V431,V51)
0.17/0.28 c deduced all_different(V4,V107,V207,V53)
0.17/0.28 c deduced all_different(V1,V71,V97,V134,V183,V225,V274,V282,V293,V55)
0.17/0.28 c deduced all_different(V7,V104,V310,V378,V56)
0.17/0.28 c deduced all_different(V4,V16,V69,V93,V97,V207,V227,V285,V296,V305,V306,V403,V413,V445,V59)
0.17/0.28 c deduced all_different(V0,V147,V188,V199,V61)
0.17/0.28 c deduced all_different(V27,V45,V82,V88,V188,V220,V241,V245,V281,V348,V379,V426,V444,V449,V62)
0.17/0.28 c deduced all_different(V6,V65,V204,V220,V243,V257,V343,V371,V449,V67)
0.17/0.28 c deduced all_different(V26,V76,V114,V149,V233,V238,V260,V270,V319,V351,V362,V427,V432,V438,V70)
0.17/0.28 c deduced all_different(V3,V71,V97,V105,V151,V158,V222,V349,V370,V74)
0.17/0.28 c deduced all_different(V6,V84,V140,V193,V77)
0.17/0.28 c deduced all_different(V37,V49,V89,V135,V138,V197,V211,V233,V234,V381,V385,V388,V440,V446,V87)
0.17/0.28 c deduced all_different(V48,V128,V177,V191,V284,V334,V355,V375,V382,V91)
0.17/0.28 c deduced all_different(V21,V108,V161,V235,V324,V335,V344,V352,V388,V92)
0.17/0.28 c deduced all_different(V6,V11,V52,V190,V369,V95)
0.17/0.28 c deduced all_different(V11,V24,V52,V95,V133,V153,V284,V332,V445,V96)
0.17/0.28 c deduced all_different(V10,V82,V150,V281,V346,V372,V394,V419,V438,V98)
0.17/0.28 c deduced all_different(V11,V52,V59,V65,V117,V263,V270,V287,V355,V361,V381,V423,V439,V448,V99)
0.17/0.28 c deduced all_different(V1,V154,V248,V315,V102)
0.17/0.28 c deduced all_different(V12,V79,V165,V263,V106)
0.17/0.28 c deduced all_different(V3,V25,V42,V75,V79,V88,V97,V155,V167,V256,V383,V401,V434,V444,V111)
0.17/0.28 c deduced all_different(V29,V70,V79,V152,V163,V211,V263,V288,V320,V345,V357,V414,V431,V441,V112)
0.17/0.28 c deduced all_different(V49,V110,V406,V113)
0.17/0.28 c deduced all_different(V18,V72,V171,V212,V398,V115)
0.17/0.28 c deduced all_different(V5,V6,V11,V48,V52,V136,V150,V190,V194,V203,V289,V369,V387,V437,V118)
0.17/0.29 c deduced all_different(V50,V97,V103,V189,V273,V296,V415,V422,V441,V119)
0.17/0.29 c deduced all_different(V11,V29,V30,V117,V244,V273,V322,V353,V430,V121)
0.17/0.29 c deduced all_different(V43,V66,V219,V245,V122)
0.17/0.29 c deduced all_different(V32,V80,V253,V291,V129)
0.17/0.29 c deduced all_different(V52,V59,V175,V318,V131)
0.17/0.29 c deduced all_different(V0,V32,V151,V163,V214,V245,V324,V396,V443,V132)
0.17/0.29 c deduced all_different(V58,V113,V159,V137)
0.17/0.29 c deduced all_different(V5,V6,V29,V48,V117,V136,V150,V160,V163,V257,V262,V281,V338,V394,V144)
0.17/0.29 c deduced all_different(V14,V17,V102,V106,V156,V185,V248,V270,V352,V354,V378,V386,V418,V424,V145)
0.17/0.29 c deduced all_different(V16,V30,V213,V231,V235,V239,V281,V293,V305,V347,V364,V367,V387,V399,V148)
0.17/0.29 c deduced all_different(V29,V201,V236,V273,V322,V332,V339,V340,V403,V170)
0.17/0.29 c deduced all_different(V7,V175,V284,V378,V176)
0.17/0.29 c deduced all_different(V38,V66,V72,V79,V165,V301,V320,V392,V429,V178)
0.17/0.29 c deduced all_different(V32,V37,V66,V177,V190,V214,V218,V221,V316,V350,V354,V404,V408,V433,V180)
0.17/0.29 c deduced all_different(V14,V67,V72,V111,V153,V218,V235,V255,V264,V290,V304,V347,V371,V418,V181)
0.17/0.29 c deduced all_different(V27,V75,V278,V361,V184)
0.17/0.29 c deduced all_different(V0,V1,V233,V319,V192)
0.17/0.29 c deduced all_different(V4,V271,V327,V195)
0.17/0.29 c deduced all_different(V36,V54,V197,V388,V200)
0.17/0.29 c deduced all_different(V19,V297,V346,V210)
0.17/0.29 c deduced all_different(V11,V14,V30,V155,V232,V256,V313,V332,V364,V378,V398,V402,V415,V444,V216)
0.17/0.29 c deduced all_different(V6,V95,V167,V269,V326,V340,V363,V369,V448,V217)
0.17/0.29 c deduced all_different(V8,V82,V406,V229)
0.17/0.29 c deduced all_different(V46,V57,V64,V128,V240)
0.17/0.29 c deduced all_different(V58,V124,V201,V210,V305,V312,V323,V376,V414,V242)
0.17/0.29 c deduced all_different(V35,V148,V362,V399,V246)
0.17/0.29 c deduced all_different(V189,V190,V197,V208,V230,V251,V261,V303,V404,V247)
0.17/0.29 c deduced all_different(V14,V111,V347,V258)
0.17/0.29 c deduced all_different(V45,V241,V369,V259)
0.17/0.29 c deduced all_different(V4,V54,V68,V212,V271,V285,V327,V388,V395,V276)
0.17/0.29 c deduced all_different(V3,V74,V167,V280)
0.17/0.29 c deduced all_different(V68,V80,V120,V164,V196,V216,V234,V333,V341,V342,V355,V364,V397,V422,V283)
0.17/0.29 c deduced all_different(V38,V69,V169,V177,V211,V215,V317,V411,V420,V298)
0.17/0.29 c deduced all_different(V10,V206,V419,V438,V307)
0.17/0.29 c deduced all_different(V6,V48,V52,V325)
0.17/0.29 c deduced all_different(V12,V75,V304,V443,V331)
0.17/0.29 c deduced all_different(V18,V26,V45,V85,V166,V171,V208,V212,V264,V269,V327,V379,V380,V428,V337)
0.17/0.29 c deduced all_different(V27,V30,V70,V136,V191,V228,V244,V254,V382,V368)
0.17/0.29 c deduced all_different(V23,V48,V155,V204,V244,V277,V282,V296,V343,V346,V377,V381,V390,V430,V374)
0.17/0.29 c deduced all_different(V34,V98,V111,V133,V147,V225,V258,V284,V309,V320,V341,V355,V412,V437,V391)
0.17/0.29 c deduced all_different(V34,V40,V41,V99,V104,V136,V218,V223,V227,V273,V297,V306,V335,V442,V405)
0.17/0.29 c deduced all_different(V16,V231,V347,V410)
0.17/0.29 c deduced all_different(V12,V79,V263,V435)
0.17/0.29 c with 8268 constraints
0.17/0.29 c Solving 0 backtracks
0.17/0.29 s UNSATISFIABLE
0.17/0.29 d ASSIGNMENTS 0