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