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