0.00/0.02 c small-domain mode
0.00/0.04 c Seed is 333265659
0.00/0.04 c Constructing HOME/instance-2085530-1247725959.xml
0.17/0.25 c deduced all_different(V1,V3,V6,V5)
0.17/0.25 c deduced all_different(V3,V4,V6,V9)
0.17/0.25 c deduced all_different(V7,V8,V13,V12)
0.17/0.25 c deduced all_different(V10,V11,V13,V16)
0.17/0.25 c deduced all_different(V14,V15,V20,V19)
0.17/0.25 c deduced all_different(V17,V18,V20,V23)
0.17/0.25 c deduced all_different(V21,V22,V27,V26)
0.17/0.25 c deduced all_different(V24,V25,V27,V30)
0.17/0.25 c deduced all_different(V28,V29,V34,V33)
0.17/0.25 c deduced all_different(V31,V32,V34,V37)
0.17/0.25 c deduced all_different(V35,V36,V41,V40)
0.17/0.25 c deduced all_different(V38,V39,V41,V44)
0.17/0.25 c deduced all_different(V42,V43,V48,V47)
0.17/0.25 c deduced all_different(V45,V46,V48,V51)
0.17/0.25 c deduced all_different(V49,V50,V55,V54)
0.17/0.25 c deduced all_different(V52,V53,V55,V58)
0.17/0.25 c deduced all_different(V56,V57,V62,V61)
0.17/0.25 c deduced all_different(V59,V60,V62,V65)
0.17/0.25 c deduced all_different(V63,V64,V69,V68)
0.17/0.25 c deduced all_different(V66,V67,V69,V72)
0.17/0.25 c deduced all_different(V70,V71,V76,V75)
0.17/0.25 c deduced all_different(V73,V74,V76,V79)
0.17/0.25 c deduced all_different(V77,V78,V83,V82)
0.17/0.25 c deduced all_different(V80,V81,V83,V86)
0.17/0.25 c deduced all_different(V84,V85,V90,V89)
0.17/0.25 c deduced all_different(V87,V88,V90,V93)
0.17/0.25 c deduced all_different(V91,V92,V97,V96)
0.17/0.25 c deduced all_different(V94,V95,V97,V100)
0.17/0.25 c deduced all_different(V2,V102,V104,V101)
0.17/0.25 c deduced all_different(V105,V106,V111,V110)
0.17/0.25 c deduced all_different(V108,V109,V111,V114)
0.17/0.25 c deduced all_different(V112,V113,V118,V117)
0.17/0.25 c deduced all_different(V115,V116,V118,V121)
0.17/0.25 c deduced all_different(V119,V120,V125,V124)
0.17/0.25 c deduced all_different(V122,V123,V125,V128)
0.17/0.25 c deduced all_different(V126,V127,V132,V131)
0.17/0.25 c deduced all_different(V129,V130,V132,V135)
0.17/0.25 c deduced all_different(V133,V134,V139,V138)
0.17/0.25 c deduced all_different(V136,V137,V139,V142)
0.17/0.25 c deduced all_different(V140,V141,V146,V145)
0.17/0.25 c deduced all_different(V143,V144,V146,V149)
0.17/0.25 c deduced all_different(V147,V148,V153,V152)
0.17/0.25 c deduced all_different(V150,V151,V153,V156)
0.17/0.25 c deduced all_different(V154,V155,V160,V159)
0.17/0.25 c deduced all_different(V157,V158,V160,V163)
0.17/0.25 c deduced all_different(V161,V162,V167,V166)
0.17/0.25 c deduced all_different(V164,V165,V167,V170)
0.17/0.25 c deduced all_different(V168,V169,V174,V173)
0.17/0.25 c deduced all_different(V171,V172,V174,V177)
0.17/0.25 c deduced all_different(V175,V176,V181,V180)
0.17/0.25 c deduced all_different(V178,V179,V181,V184)
0.17/0.25 c deduced all_different(V182,V183,V188,V187)
0.17/0.25 c deduced all_different(V185,V186,V188,V191)
0.17/0.25 c deduced all_different(V189,V190,V195,V194)
0.17/0.25 c deduced all_different(V192,V193,V195,V198)
0.17/0.25 c deduced all_different(V196,V197,V202,V201)
0.17/0.25 c deduced all_different(V199,V200,V202,V205)
0.17/0.25 c deduced all_different(V107,V207,V209,V206)
0.17/0.25 c deduced all_different(V2,V104,V211,V210)
0.17/0.25 c deduced all_different(V2,V101,V102,V213)
0.17/0.25 c deduced all_different(V107,V209,V215,V214)
0.17/0.25 c deduced all_different(V107,V206,V207,V217)
0.17/0.25 c deduced all_different(V5,V6,V219,V218)
0.17/0.25 c deduced all_different(V3,V4,V6,V220)
0.17/0.25 c deduced all_different(V3,V4,V5,V221)
0.17/0.25 c deduced all_different(V110,V111,V223,V222)
0.17/0.25 c deduced all_different(V108,V109,V111,V224)
0.17/0.25 c deduced all_different(V108,V109,V110,V225)
0.17/0.25 c deduced all_different(V12,V13,V227,V226)
0.17/0.25 c deduced all_different(V10,V11,V13,V228)
0.17/0.25 c deduced all_different(V10,V11,V12,V229)
0.17/0.25 c deduced all_different(V117,V118,V231,V230)
0.17/0.25 c deduced all_different(V115,V116,V118,V232)
0.17/0.25 c deduced all_different(V115,V116,V117,V233)
0.17/0.25 c deduced all_different(V19,V20,V235,V234)
0.17/0.25 c deduced all_different(V17,V18,V20,V236)
0.17/0.25 c deduced all_different(V17,V18,V19,V237)
0.17/0.25 c deduced all_different(V124,V125,V239,V238)
0.17/0.25 c deduced all_different(V122,V123,V125,V240)
0.17/0.25 c deduced all_different(V122,V123,V124,V241)
0.17/0.25 c deduced all_different(V26,V27,V243,V242)
0.17/0.25 c deduced all_different(V24,V25,V27,V244)
0.17/0.25 c deduced all_different(V24,V25,V26,V245)
0.17/0.25 c deduced all_different(V131,V132,V247,V246)
0.17/0.25 c deduced all_different(V129,V130,V132,V248)
0.17/0.25 c deduced all_different(V129,V130,V131,V249)
0.17/0.25 c deduced all_different(V33,V34,V251,V250)
0.17/0.25 c deduced all_different(V31,V32,V34,V252)
0.17/0.25 c deduced all_different(V31,V32,V33,V253)
0.17/0.25 c deduced all_different(V138,V139,V255,V254)
0.17/0.25 c deduced all_different(V136,V137,V139,V256)
0.17/0.25 c deduced all_different(V136,V137,V138,V257)
0.17/0.25 c deduced all_different(V40,V41,V259,V258)
0.17/0.25 c deduced all_different(V38,V39,V41,V260)
0.17/0.25 c deduced all_different(V38,V39,V40,V261)
0.17/0.25 c deduced all_different(V145,V146,V263,V262)
0.17/0.25 c deduced all_different(V143,V144,V146,V264)
0.17/0.25 c deduced all_different(V143,V144,V145,V265)
0.17/0.25 c deduced all_different(V47,V48,V267,V266)
0.17/0.25 c deduced all_different(V45,V46,V48,V268)
0.17/0.25 c deduced all_different(V45,V46,V47,V269)
0.17/0.25 c deduced all_different(V152,V153,V271,V270)
0.17/0.25 c deduced all_different(V150,V151,V153,V272)
0.17/0.25 c deduced all_different(V150,V151,V152,V273)
0.17/0.25 c deduced all_different(V54,V55,V275,V274)
0.17/0.25 c deduced all_different(V52,V53,V55,V276)
0.17/0.25 c deduced all_different(V52,V53,V54,V277)
0.17/0.25 c deduced all_different(V159,V160,V279,V278)
0.17/0.25 c deduced all_different(V157,V158,V160,V280)
0.17/0.25 c deduced all_different(V157,V158,V159,V281)
0.17/0.25 c deduced all_different(V61,V62,V283,V282)
0.17/0.25 c deduced all_different(V59,V60,V62,V284)
0.17/0.25 c deduced all_different(V59,V60,V61,V285)
0.17/0.25 c deduced all_different(V166,V167,V287,V286)
0.17/0.25 c deduced all_different(V164,V165,V167,V288)
0.17/0.25 c deduced all_different(V164,V165,V166,V289)
0.17/0.25 c deduced all_different(V68,V69,V291,V290)
0.17/0.25 c deduced all_different(V66,V67,V69,V292)
0.17/0.25 c deduced all_different(V66,V67,V68,V293)
0.17/0.25 c deduced all_different(V173,V174,V295,V294)
0.17/0.25 c deduced all_different(V171,V172,V174,V296)
0.17/0.25 c deduced all_different(V171,V172,V173,V297)
0.17/0.25 c deduced all_different(V75,V76,V299,V298)
0.17/0.25 c deduced all_different(V73,V74,V76,V300)
0.17/0.25 c deduced all_different(V73,V74,V75,V301)
0.17/0.25 c deduced all_different(V180,V181,V303,V302)
0.17/0.25 c deduced all_different(V178,V179,V181,V304)
0.17/0.25 c deduced all_different(V178,V179,V180,V305)
0.17/0.25 c deduced all_different(V82,V83,V307,V306)
0.17/0.25 c deduced all_different(V80,V81,V83,V308)
0.17/0.25 c deduced all_different(V80,V81,V82,V309)
0.17/0.25 c deduced all_different(V187,V188,V311,V310)
0.17/0.25 c deduced all_different(V185,V186,V188,V312)
0.17/0.25 c deduced all_different(V185,V186,V187,V313)
0.17/0.25 c deduced all_different(V89,V90,V315,V314)
0.17/0.25 c deduced all_different(V87,V88,V90,V316)
0.17/0.25 c deduced all_different(V87,V88,V89,V317)
0.17/0.25 c deduced all_different(V194,V195,V319,V318)
0.17/0.25 c deduced all_different(V192,V193,V195,V320)
0.17/0.25 c deduced all_different(V192,V193,V194,V321)
0.17/0.25 c deduced all_different(V96,V97,V323,V322)
0.17/0.25 c deduced all_different(V94,V95,V97,V324)
0.17/0.25 c deduced all_different(V94,V95,V96,V325)
0.17/0.25 c deduced all_different(V201,V202,V327,V326)
0.17/0.25 c deduced all_different(V199,V200,V202,V328)
0.17/0.25 c deduced all_different(V199,V200,V201,V329)
0.17/0.25 c deduced all_different(V1,V331,V332,V334,V330)
0.17/0.25 c deduced all_different(V8,V336,V337,V339,V335)
0.17/0.25 c deduced all_different(V15,V341,V342,V344,V340)
0.17/0.25 c deduced all_different(V22,V346,V347,V349,V345)
0.17/0.25 c deduced all_different(V29,V351,V352,V354,V350)
0.17/0.25 c deduced all_different(V36,V356,V357,V359,V355)
0.17/0.25 c deduced all_different(V43,V361,V362,V364,V360)
0.17/0.25 c deduced all_different(V50,V366,V367,V369,V365)
0.17/0.25 c deduced all_different(V57,V371,V372,V374,V370)
0.17/0.25 c deduced all_different(V64,V376,V377,V379,V375)
0.17/0.25 c deduced all_different(V71,V381,V382,V384,V380)
0.17/0.25 c deduced all_different(V78,V386,V387,V389,V385)
0.17/0.25 c deduced all_different(V85,V391,V392,V394,V390)
0.17/0.25 c deduced all_different(V92,V396,V397,V399,V395)
0.17/0.25 c deduced all_different(V99,V401,V402,V404,V400)
0.17/0.25 c deduced all_different(V211,V212,V213,V563)
0.17/0.25 c deduced all_different(V219,V220,V221,V566)
0.17/0.25 c deduced all_different(V227,V228,V229,V569)
0.17/0.25 c deduced all_different(V235,V236,V237,V572)
0.17/0.25 c deduced all_different(V243,V244,V245,V575)
0.17/0.25 c deduced all_different(V242,V573,V574,V576)
0.17/0.25 c deduced all_different(V243,V244,V245,V579)
0.17/0.25 c deduced all_different(V251,V252,V253,V582)
0.17/0.25 c deduced all_different(V250,V580,V581,V584,V583)
0.17/0.25 c deduced all_different(V251,V252,V253,V587)
0.17/0.25 c deduced all_different(V259,V260,V261,V590)
0.17/0.25 c deduced all_different(V258,V588,V589,V592,V591)
0.17/0.25 c deduced all_different(V259,V260,V261,V595)
0.17/0.25 c deduced all_different(V267,V268,V269,V598)
0.17/0.25 c deduced all_different(V266,V596,V597,V600,V599)
0.17/0.25 c deduced all_different(V267,V268,V269,V603)
0.17/0.25 c deduced all_different(V275,V276,V277,V606)
0.17/0.25 c deduced all_different(V274,V604,V605,V608,V607)
0.17/0.25 c deduced all_different(V275,V276,V277,V611)
0.17/0.25 c deduced all_different(V283,V284,V285,V614)
0.17/0.25 c deduced all_different(V282,V612,V613,V616,V615)
0.17/0.25 c deduced all_different(V283,V284,V285,V619)
0.17/0.25 c deduced all_different(V291,V292,V293,V622)
0.17/0.25 c deduced all_different(V290,V620,V621,V624,V623)
0.17/0.25 c deduced all_different(V291,V292,V293,V627)
0.17/0.25 c deduced all_different(V299,V300,V301,V630)
0.17/0.25 c deduced all_different(V298,V628,V629,V631)
0.17/0.25 c deduced all_different(V299,V300,V301,V634)
0.17/0.25 c deduced all_different(V307,V308,V309,V637)
0.17/0.25 c deduced all_different(V307,V308,V309,V640)
0.17/0.25 c deduced all_different(V315,V316,V317,V643)
0.17/0.25 c deduced all_different(V315,V316,V317,V646)
0.17/0.25 c deduced all_different(V323,V324,V325,V649)
0.17/0.25 c deduced all_different(V2,V651,V652,V650)
0.17/0.25 c deduced all_different(V101,V102,V103,V654)
0.17/0.25 c deduced all_different(V3,V4,V6,V655)
0.17/0.25 c deduced all_different(V3,V4,V5,V656)
0.17/0.25 c deduced all_different(V10,V11,V13,V657)
0.17/0.25 c deduced all_different(V10,V11,V12,V658)
0.17/0.25 c deduced all_different(V17,V18,V20,V659)
0.17/0.25 c deduced all_different(V17,V18,V19,V660)
0.17/0.25 c deduced all_different(V122,V123,V124,V662)
0.17/0.25 c deduced all_different(V132,V666,V667,V668,V664)
0.17/0.25 c deduced all_different(V129,V130,V131,V665)
0.17/0.25 c deduced all_different(V139,V668,V671,V672,V669)
0.17/0.25 c deduced all_different(V136,V137,V138,V670)
0.17/0.25 c deduced all_different(V139,V664,V665,V667,V673)
0.17/0.25 c deduced all_different(V146,V673,V676,V677,V674)
0.17/0.25 c deduced all_different(V143,V144,V145,V675)
0.17/0.25 c deduced all_different(V146,V664,V670,V678)
0.17/0.25 c deduced all_different(V153,V681,V682,V679)
0.17/0.25 c deduced all_different(V150,V151,V152,V680)
0.17/0.25 c deduced all_different(V160,V685,V686,V687,V683)
0.17/0.25 c deduced all_different(V157,V158,V159,V684)
0.17/0.25 c deduced all_different(V167,V687,V690,V691,V688)
0.17/0.25 c deduced all_different(V164,V165,V166,V689)
0.17/0.25 c deduced all_different(V167,V683,V684,V686,V692)
0.17/0.25 c deduced all_different(V620,V621,V622,V623,V693)
0.17/0.25 c deduced all_different(V573,V574,V575,V695)
0.17/0.25 c deduced all_different(V576,V580,V581,V582,V696)
0.17/0.25 c deduced all_different(V576,V584,V698,V699,V700,V697)
0.17/0.25 c with 7287 constraints
0.17/0.25 c Solving 0 backtracks
0.17/0.26 s UNSATISFIABLE
0.17/0.26 d ASSIGNMENTS 0