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