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