0.00/0.02 c small-domain mode
0.08/0.14 c Seed is 784421014
0.08/0.14 c Constructing HOME/instance-2084915-1247725067.xml
0.08/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.08/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,V128,V130,V16)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V158,V34)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V150,V35)
0.08/0.14 c deduced all_different(V0,V1,V177,V178,V183,V36)
0.08/0.14 c deduced all_different(V0,V1,V2,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V15,V37)
0.08/0.14 c deduced all_different(V0,V1,V2,V5,V6,V7,V8,V9,V10,V11,V12,V13,V15,V38)
0.08/0.14 c deduced all_different(V0,V1,V2,V6,V7,V8,V9,V10,V11,V12,V13,V15,V39)
0.08/0.14 c deduced all_different(V0,V1,V2,V7,V8,V9,V10,V11,V12,V13,V15,V40)
0.08/0.14 c deduced all_different(V0,V1,V2,V8,V9,V10,V11,V12,V13,V15,V41)
0.08/0.14 c deduced all_different(V0,V1,V2,V9,V10,V11,V12,V13,V15,V42)
0.08/0.14 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V15,V43)
0.08/0.14 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V44)
0.08/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V45)
0.08/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46)
0.08/0.14 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V47)
0.08/0.14 c deduced all_different(V0,V1,V2,V11,V12,V13,V54)
0.08/0.14 c deduced all_different(V0,V1,V2,V11,V12,V13,V55)
0.08/0.14 c deduced all_different(V0,V1,V2,V12,V13,V56)
0.08/0.14 c deduced all_different(V0,V1,V2,V12,V13,V57)
0.08/0.14 c deduced all_different(V0,V1,V2,V13,V58)
0.08/0.14 c deduced all_different(V0,V1,V59,V61)
0.08/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.08/0.14 c deduced all_different(V0,V1,V59,V67)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V71,V68)
0.08/0.14 c deduced all_different(V0,V1,V59,V68,V70,V73,V72)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V74)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V75)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V77,V78,V79,V80,V76)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V77,V78,V79,V80,V82,V81)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V78,V79,V80,V81,V82,V83)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V80,V81,V82,V84,V85,V86)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V81,V82,V84,V85,V86,V88,V87)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V86,V87,V88,V89,V90)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V87,V88,V89,V91,V92,V93)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V96)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V98,V97)
0.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V109,V108)
0.08/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.08/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.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V112)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V114,V115,V113)
0.08/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,V118,V116)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V115,V117)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V115,V120,V119)
0.08/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,V121)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V122)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V124,V123)
0.08/0.14 c deduced all_different(V0,V1,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V125)
0.08/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,V131,V133,V129)
0.08/0.14 c deduced all_different(V0,V1,V33,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V128,V132)
0.08/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,V129,V134)
0.08/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,V137,V135)
0.08/0.14 c deduced all_different(V0,V1,V33,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V128,V136)
0.08/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,V138)
0.08/0.14 c deduced all_different(V0,V1,V33,V59,V70,V82,V84,V85,V88,V89,V91,V92,V94,V95,V140)
0.08/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,V143,V144,V142)
0.08/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,V142,V145)
0.08/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,V147,V146)
0.08/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,V148)
0.08/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,V106,V152)
0.08/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,V106,V153)
0.08/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,V106,V154)
0.08/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,V106,V155)
0.08/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,V106,V156)
0.08/0.14 c deduced all_different(V0,V1,V161,V160)
0.08/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,V163,V164,V162)
0.08/0.14 c deduced all_different(V0,V1,V166,V165)
0.08/0.14 c deduced all_different(V0,V1,V168,V169,V170,V171,V172,V173,V174,V167)
0.08/0.14 c deduced all_different(V0,V1,V176,V175)
0.08/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,V180)
0.08/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,V181)
0.08/0.14 c with 4052 constraints
0.08/0.14 c Solving 0 backtracks
0.08/0.15 s UNSATISFIABLE
0.08/0.15 d ASSIGNMENTS 0