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