0.00/0.02 c small-domain mode
0.00/0.02 c Seed is 906067730
0.00/0.02 c Constructing HOME/instance-2084727-1247724921.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,V59,V119,V120,V0)
0.08/0.13 c deduced all_different(V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V61,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,V98,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,V60,V124,V55)
0.08/0.13 c deduced all_different(V0,V1,V2,V5,V6,V7,V8,V9,V10,V11,V12,V13,V15,V62)
0.08/0.13 c deduced all_different(V0,V1,V2,V6,V7,V8,V9,V10,V11,V12,V13,V15,V63)
0.08/0.13 c deduced all_different(V0,V1,V2,V7,V8,V9,V10,V11,V12,V13,V15,V64)
0.08/0.13 c deduced all_different(V0,V1,V2,V8,V9,V10,V11,V12,V13,V15,V65)
0.08/0.13 c deduced all_different(V0,V1,V2,V9,V10,V11,V12,V13,V14,V15,V66)
0.08/0.13 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V14,V15,V66,V68,V78,V80,V82,V83,V67)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V69)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V70)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V71)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V72)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V73)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V75)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V76)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V77)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V79)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V81)
0.08/0.13 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V84)
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,V87)
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,V90,V89)
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,V91)
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,V100)
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,V105)
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,V107,V106)
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,V108)
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,V116,V109)
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,V59,V121)
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,V59,V60,V123)
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,V124,V125)
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,V124,V126)
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,V127)
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,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,V35,V129)
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,V131,V132,V133,V134,V135,V136,V137,V138,V130)
0.08/0.13 c deduced all_different(V0,V1,V8,V9,V15,V140,V141,V142,V143,V139)
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,V124,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,V50,V53,V60,V124,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,V60,V124,V146)
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,V124,V147)
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,V53,V60,V124,V150)
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,V53,V60,V124,V151)
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,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,V32,V35,V40,V42,V44,V47,V50,V53,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,V32,V35,V40,V42,V44,V47,V50,V53,V60,V124,V162,V161)
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,V60,V124,V163)
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,V60,V124,V164)
0.08/0.14 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,V60,V124,V169,V165)
0.08/0.14 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,V60,V124,V165,V166)
0.08/0.14 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,V60,V124,V165,V167)
0.08/0.14 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,V60,V124,V172,V173,V171)
0.08/0.14 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,V60,V124,V171,V173,V174)
0.08/0.14 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,V60,V124,V171,V174,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,V35,V40,V42,V44,V50,V53,V56,V60,V124,V171,V174,V177,V176)
0.08/0.14 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,V60,V124,V171,V174,V176,V178)
0.08/0.14 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,V60,V124,V171,V174,V179)
0.08/0.14 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,V60,V124,V171,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,V35,V40,V42,V44,V50,V53,V56,V60,V124,V171,V181)
0.08/0.14 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,V60,V124,V171,V182)
0.08/0.14 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,V60,V124,V171,V183)
0.08/0.14 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,V60,V124,V171,V184)
0.08/0.14 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,V60,V124,V171,V185)
0.08/0.14 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,V60,V124,V190,V191,V189)
0.08/0.14 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,V60,V124,V190,V199,V203,V192)
0.08/0.14 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,V60,V124,V189,V190,V191,V192,V193)
0.08/0.14 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,V60,V124,V189,V190,V191,V192,V194)
0.08/0.14 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,V60,V124,V189,V190,V191,V192,V196,V195)
0.08/0.14 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,V60,V124,V189,V190,V191,V192,V198,V197)
0.08/0.14 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,V60,V124,V190,V192,V197,V199,V200)
0.08/0.14 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,V60,V124,V190,V192,V199,V201)
0.08/0.14 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,V60,V124,V192,V199,V204)
0.08/0.14 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,V60,V124,V192,V206,V205)
0.08/0.14 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,V60,V124,V205,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,V210,V209)
0.08/0.14 c with 3618 constraints
0.08/0.14 c Solving 0 backtracks
0.17/0.24 s SATISFIABLE
0.17/0.24 c V0=6, V1=2, V2=8, V3=21, V4=14, V5=12, V6=7, V7=11, V8=9, V9=20, V10=1, V11=5, V12=3, V13=10, V14=0, V15=4, V16=0, V17=21, V18=20, V19=15, V20=14, V21=9, V22=6, V23=10, V24=2, V25=3, V26=1, V27=8, V28=5, V29=7, V30=12, V31=4, V32=15, V33=0, V34=0, V35=16, V36=0, V37=0, V38=0, V39=0, V40=19, V41=0, V42=18, V43=0, V44=24, V45=0, V46=17, V47=23, V48=0, V49=0, V50=13, V51=0, V52=0, V53=22, V54=0, V55=23, V56=15, V57=0, V58=27, V59=26, V60=25, V61=13, V62=13, V63=13, V64=13, V65=11, V66=11, V67=16, V68=19, V69=13, V70=13, V71=13, V72=13, V73=13, V74=13, V75=13, V76=13, V77=13, V78=22, V79=13, V80=17, V81=13, V82=13, V83=18, V84=13, V85=0, V86=0, V87=13, V88=0, V89=13, V90=15, V91=13, V92=0, V93=0, V94=0, V95=0, V96=0, V97=0, V98=18, V99=0, V100=17, V101=0, V102=0, V103=0, V104=0, V105=17, V106=25, V107=17, V108=17, V109=17, V110=0, V111=0, V112=0, V113=0, V114=0, V115=0, V116=25, V117=0, V118=0, V119=25, V120=17, V121=17, V122=0, V123=17, V124=17, V125=26, V126=26, V127=13, V128=13, V129=13, V130=23, V131=22, V132=18, V133=19, V134=25, V135=15, V136=17, V137=24, V138=13, V139=23, V140=18, V141=22, V142=17, V143=13, V144=26, V145=26, V146=26, V147=26, V148=0, V149=0, V150=13, V151=13, V152=0, V153=17, V154=0, V155=17, V156=0, V157=0, V158=0, V159=0, V160=0, V161=27, V162=26, V163=26, V164=26, V165=26, V166=15, V167=15, V168=0, V169=15, V170=0, V171=23, V172=26, V173=27, V174=26, V175=27, V176=27, V177=28, V178=28, V179=27, V180=26, V181=26, V182=24, V183=24, V184=24, V185=24, V186=0, V187=0, V188=0, V189=27, V190=26, V191=29, V192=15, V193=23, V194=23, V195=28, V196=23, V197=23, V198=28, V199=28, V200=27, V201=23, V202=0, V203=27, V204=26, V205=27, V206=26, V207=15, V208=0, V209=25, V210=17,
0.17/0.24 v 6 2 8 21 14 12 7 11 9 20 1 5 3 10 0 4 0 21 20 15 14 9 6 10 2 3 1 8 5 7 12 4 15 0 0 16 0 0 0 0 19 0 18 0 24 0 17 23 0 0 13 0 0 22 0 23 15 0 27 26 25 13 13 13 13 11 11 16 19 13 13 13 13 13 13 13 13 13 22 13 17 13 13 18 13 0 0 13 0 13 15 13 0 0 0 0 0 0 18 0 17 0 0 0 0 17 25 17 17 17 0 0 0 0 0 0 25 0 0 25 17 17 0 17 17 26 26 13 13 13 23 22 18 19 25 15 17 24 13 23 18 22 17 13 26 26 26 26 0 0 13 13 0 17 0 17 0 0 0 0 0 27 26 26 26 26 15 15 0 15 0 23 26 27 26 27 27 28 28 27 26 26 24 24 24 24 0 0 0 27 26 29 15 23 23 28 23 23 28 28 27 23 0 27 26 27 26 15 0 25 17
0.17/0.24 d ASSIGNMENTS 0