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