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