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