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