0.00/0.01 c small-domain mode
0.08/0.13 c Seed is 1454604131
0.08/0.13 c Constructing HOME/instance-2084750-1247724933.xml
0.08/0.13 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V140,V0)
0.08/0.13 c deduced all_different(V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V62,V63,V64,V65,V66,V67,V68,V69,V79,V82,V85,V86,V102,V16)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V47,V50,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V46)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V55)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V60,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V125,V59)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V94)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V46,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V96)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V58,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V112)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V113)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V120)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V60,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V128)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V133)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V134)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V141)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V131,V139,V144)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V131,V139,V145)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V58,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V148)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V159,V158)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V160)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V32,V35,V40,V42,V44,V47,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V162)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V55,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V163)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V163,V165)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V173,V171)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V171,V173,V174)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V171,V173,V176,V175)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V171,V173,V175,V177)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V171,V173,V178)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V171,V179)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V131,V139,V171,V180)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V131,V139,V171,V181)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V131,V139,V171,V182)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V50,V53,V56,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V131,V139,V171,V183)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V47,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V190,V192,V189)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V55,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V190,V200,V194)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V189,V190,V192,V194,V196)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V189,V190,V192,V194,V198,V197)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V189,V190,V192,V194,V199)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V190,V194,V199,V200,V201)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V190,V194,V200,V202)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V55,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V194,V200,V205)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V55,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V194,V206)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V35,V40,V42,V44,V50,V53,V55,V58,V61,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V123,V131,V139,V161,V206,V207)
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,V35,V40,V42,V44,V47,V50,V53,V70,V71,V72,V73,V74,V75,V76,V77,V78,V80,V83,V87,V89,V91,V105,V210)
0.08/0.14 c with 4143 constraints
0.08/0.14 c Solving 0 backtracks
0.08/0.14 s UNSATISFIABLE
0.08/0.14 d ASSIGNMENTS 0