0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.21 c Seed is 534590378
0.18/0.21 c Constructing HOME/instance-2082010-1247720706.xml
0.18/0.26 c deduced all_different(V1,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V0)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V3)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V5)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V7)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V9)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V11)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V13)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V15)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V17)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V19)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V21)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V23)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V25)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V27)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V29)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V31)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V33)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V35)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V37)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V39)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V41)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V43)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V45)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V47)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V49)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V51)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V53)
0.18/0.26 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V55)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V57)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V59)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V61)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V63)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V65)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V67)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V69)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V71)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V73)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V75)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V77)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V79)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V81)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V83)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V85)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V87)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V89)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V91)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V93)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V95)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V97)
0.18/0.27 c deduced all_different(V0,V2,V4,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V50,V52,V54,V56,V58,V60,V62,V64,V66,V68,V70,V72,V74,V76,V78,V80,V82,V84,V86,V88,V90,V92,V94,V96,V98,V99)
0.18/0.27 c with 14800 constraints
0.18/0.27 c Solving 0 backtracks
0.27/0.34 s UNSATISFIABLE
0.27/0.34 d ASSIGNMENTS 0