0.00/0.02 c small-domain mode
0.00/0.14 c Seed is 1828471404
0.00/0.14 c Constructing HOME/instance-2084925-1247725075.xml
0.00/0.14 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V106,V0)
0.00/0.14 c deduced all_different(V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V33,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V127,V129,V16)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V157,V34)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V149,V35)
0.00/0.14 c deduced all_different(V0,V1,V176,V177,V182,V36)
0.00/0.14 c deduced all_different(V0,V1,V2,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V15,V37)
0.00/0.14 c deduced all_different(V0,V1,V2,V5,V6,V7,V8,V9,V10,V11,V12,V13,V15,V38)
0.00/0.14 c deduced all_different(V0,V1,V2,V6,V7,V8,V9,V10,V11,V12,V13,V15,V39)
0.00/0.14 c deduced all_different(V0,V1,V2,V7,V8,V9,V10,V11,V12,V13,V15,V40)
0.00/0.14 c deduced all_different(V0,V1,V2,V8,V9,V10,V11,V12,V13,V15,V41)
0.00/0.14 c deduced all_different(V0,V1,V2,V9,V10,V11,V12,V13,V15,V42)
0.00/0.14 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V15,V43)
0.00/0.14 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V44)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V45)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V47)
0.00/0.14 c deduced all_different(V0,V1,V2,V11,V12,V13,V54)
0.00/0.14 c deduced all_different(V0,V1,V2,V11,V12,V13,V55)
0.00/0.14 c deduced all_different(V0,V1,V2,V12,V13,V56)
0.00/0.14 c deduced all_different(V0,V1,V2,V12,V13,V57)
0.00/0.14 c deduced all_different(V0,V1,V2,V13,V58)
0.00/0.14 c deduced all_different(V0,V1,V59,V61)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V63)
0.00/0.14 c deduced all_different(V0,V1,V59,V67)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V71,V68)
0.00/0.14 c deduced all_different(V0,V1,V59,V68,V70,V73,V72)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V74)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V75)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V77,V78,V79,V80,V76)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V77,V78,V79,V80,V82,V81)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V78,V79,V80,V81,V82,V83)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V80,V81,V82,V84,V85,V86)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V81,V82,V84,V85,V86,V88,V87)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V86,V87,V88,V89,V90)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V87,V88,V89,V91,V92,V93)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V96)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V98,V97)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V99)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V100)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V101)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V102)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V103)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V104)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V105)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V109,V108)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V110)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V111)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V113,V114,V115,V112)
0.00/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V117,V116)
0.00/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V115,V119,V118)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V120)
0.00/0.15 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V121)
0.00/0.15 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V123,V122)
0.00/0.15 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V124)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V130,V132,V128)
0.00/0.15 c deduced all_different(V0,V1,V33,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V127,V131)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V128,V133)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V136,V134)
0.00/0.15 c deduced all_different(V0,V1,V33,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V127,V135)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V137)
0.00/0.15 c deduced all_different(V0,V1,V33,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V139)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V142,V143,V141)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V141,V144)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V146,V145)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V147)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V106,V151)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V106,V152)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V106,V153)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V106,V154)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V60,V62,V64,V65,V66,V69,V106,V155)
0.00/0.15 c deduced all_different(V0,V1,V160,V159)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V162,V163,V161)
0.00/0.15 c deduced all_different(V0,V1,V165,V164)
0.00/0.15 c deduced all_different(V0,V1,V167,V168,V169,V170,V171,V172,V173,V166)
0.00/0.15 c deduced all_different(V0,V1,V175,V174)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V179)
0.00/0.15 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V48,V49,V50,V51,V52,V53,V180)
0.00/0.15 c with 4023 constraints
0.00/0.15 c Solving 0 backtracks
0.00/0.15 s UNSATISFIABLE
0.00/0.15 d ASSIGNMENTS 0