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