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