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