0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.23 c Seed is 858780117
0.18/0.23 c Constructing HOME/instance-2082120-1247720730.xml with 1007 constraints
0.18/0.23 c Solving 999 backtracks
7.52/7.70 s SATISFIABLE
7.52/7.70 c V0=999, V1=999, V2=999, V3=999, V4=999, V5=999, V6=999, V7=999, V8=999, V9=999, V10=999, V11=999, V12=999, V13=999, V14=999, V15=999, V16=999, V17=999, V18=999, V19=999, V20=999, V21=999, V22=999, V23=999, V24=999, V25=999, V26=999, V27=999, V28=999, V29=999, V30=999, V31=999, V32=999, V33=999, V34=999, V35=999, V36=999, V37=999, V38=999, V39=999, V40=999, V41=999, V42=999, V43=999, V44=999, V45=999, V46=999, V47=999, V48=999, V49=999, V50=999, V51=999, V52=999, V53=999, V54=999, V55=999, V56=999, V57=999, V58=999, V59=999, V60=999, V61=999, V62=999, V63=999, V64=999, V65=999, V66=999, V67=999, V68=999, V69=999, V70=999, V71=999, V72=999, V73=999, V74=999, V75=999, V76=999, V77=999, V78=999, V79=999, V80=999, V81=999, V82=999, V83=999, V84=999, V85=999, V86=999, V87=999, V88=999, V89=999, V90=999, V91=999, V92=999, V93=999, V94=999, V95=999, V96=999, V97=999, V98=999, V99=999, V100=999, V101=999, V102=999, V103=999, V104=999, V105=999, V106=999, V107=999, V108=999, V109=999, V110=999, V111=999, V112=999, V113=999, V114=999, V115=999, V116=999, V117=999, V118=999, V119=999, V120=999, V121=999, V122=999, V123=999, V124=999, V125=999, V126=999, V127=999, V128=999, V129=999, V130=999, V131=999, V132=999, V133=999, V134=999, V135=999, V136=999, V137=999, V138=999, V139=999, V140=999, V141=999, V142=999, V143=999, V144=999, V145=999, V146=999, V147=999, V148=999, V149=999, V150=999, V151=999, V152=999, V153=999, V154=999, V155=999, V156=999, V157=999, V158=999, V159=999, V160=999, V161=999, V162=999, V163=999, V164=999, V165=999, V166=999, V167=999, V168=999, V169=999, V170=999, V171=999, V172=999, V173=999, V174=999, V175=999, V176=999, V177=999, V178=999, V179=999, V180=999, V181=999, V182=999, V183=999, V184=999, V185=999, V186=999, V187=999, V188=999, V189=999, V190=999, V191=999, V192=999, V193=999, V194=999, V195=999, V196=999, V197=999, V198=999, V199=999, V200=999, V201=999, V202=999, V203=999, V204=999, V205=999, V206=999, V207=999, V208=999, V209=999, V210=999, V211=999, V212=999, V213=999, V214=999, V215=999, V216=999, V217=999, V218=999, V219=999, V220=999, V221=999, V222=999, V223=999, V224=999, V225=999, V226=999, V227=999, V228=999, V229=999, V230=999, V231=999, V232=999, V233=999, V234=999, V235=999, V236=999, V237=999, V238=999, V239=999, V240=999, V241=999, V242=999, V243=999, V244=999, V245=999, V246=999, V247=999, V248=999, V249=999, V250=999, V251=999, V252=999, V253=999, V254=999, V255=999, V256=999, V257=999, V258=999, V259=999, V260=999, V261=999, V262=999, V263=999, V264=999, V265=999, V266=999, V267=999, V268=999, V269=999, V270=999, V271=999, V272=999, V273=999, V274=999, V275=999, V276=999, V277=999, V278=999, V279=999, V280=999, V281=999, V282=999, V283=999, V284=999, V285=999, V286=999, V287=999, V288=999, V289=999, V290=999, V291=999, V292=999, V293=999, V294=999, V295=999, V296=999, V297=999, V298=999, V299=999, V300=999, V301=999, V302=999, V303=999, V304=999, V305=999, V306=999, V307=999, V308=999, V309=999, V310=999, V311=999, V312=999, V313=999, V314=999, V315=999, V316=999, V317=999, V318=999, V319=999, V320=999, V321=999, V322=999, V323=999, V324=999, V325=999, V326=999, V327=999, V328=999, V329=999, V330=999, V331=999, V332=999, V333=999, V334=999, V335=999, V336=999, V337=999, V338=999, V339=999, V340=999, V341=999, V342=999, V343=999, V344=999, V345=999, V346=999, V347=999, V348=999, V349=999, V350=999, V351=999, V352=999, V353=999, V354=999, V355=999, V356=999, V357=999, V358=999, V359=999, V360=999, V361=999, V362=999, V363=999, V364=999, V365=999, V366=999, V367=999, V368=999, V369=999, V370=999, V371=999, V372=999, V373=999, V374=999, V375=999, V376=999, V377=999, V378=999, V379=999, V380=999, V381=999, V382=999, V383=999, V384=999, V385=999, V386=999, V387=999, V388=999, V389=999, V390=999, V391=999, V392=999, V393=999, V394=999, V395=999, V396=999, V397=999, V398=999, V399=999, V400=999, V401=999, V402=999, V403=999, V404=999, V405=999, V406=999, V407=999, V408=999, V409=999, V410=999, V411=999, V412=999, V413=999, V414=999, V415=999, V416=999, V417=999, V418=999, V419=999, V420=999, V421=999, V422=999, V423=999, V424=999, V425=999, V426=999, V427=999, V428=999, V429=999, V430=999, V431=999, V432=999, V433=999, V434=999, V435=999, V436=999, V437=999, V438=999, V439=999, V440=999, V441=999, V442=999, V443=999, V444=999, V445=999, V446=999, V447=999, V448=999, V449=999, V450=999, V451=999, V452=999, V453=999, V454=999, V455=999, V456=999, V457=999, V458=999, V459=999, V460=999, V461=999, V462=999, V463=999, V464=999, V465=999, V466=999, V467=999, V468=999, V469=999, V470=999, V471=999, V472=999, V473=999, V474=999, V475=999, V476=999, V477=999, V478=999, V479=999, V480=999, V481=999, V482=999, V483=999, V484=999, V485=999, V486=999, V487=999, V488=999, V489=999, V490=999, V491=999, V492=999, V493=999, V494=999, V495=999, V496=999, V497=999, V498=999, V499=999, V500=999, V501=999, V502=999, V503=999, V504=999, V505=999, V506=999, V507=999, V508=999, V509=999, V510=999, V511=999, V512=999, V513=999, V514=999, V515=999, V516=999, V517=999, V518=999, V519=999, V520=999, V521=999, V522=999, V523=999, V524=999, V525=999, V526=999, V527=999, V528=999, V529=999, V530=999, V531=999, V532=999, V533=999, V534=999, V535=999, V536=999, V537=999, V538=999, V539=999, V540=999, V541=999, V542=999, V543=999, V544=999, V545=999, V546=999, V547=999, V548=999, V549=999, V550=999, V551=999, V552=999, V553=999, V554=999, V555=999, V556=999, V557=999, V558=999, V559=999, V560=999, V561=999, V562=999, V563=999, V564=999, V565=999, V566=999, V567=999, V568=999, V569=999, V570=999, V571=999, V572=999, V573=999, V574=999, V575=999, V576=999, V577=999, V578=999, V579=999, V580=999, V581=999, V582=999, V583=999, V584=999, V585=999, V586=999, V587=999, V588=999, V589=999, V590=999, V591=999, V592=999, V593=999, V594=999, V595=999, V596=999, V597=999, V598=999, V599=999, V600=999, V601=999, V602=999, V603=999, V604=999, V605=999, V606=999, V607=999, V608=999, V609=999, V610=999, V611=999, V612=999, V613=999, V614=999, V615=999, V616=999, V617=999, V618=999, V619=999, V620=999, V621=999, V622=999, V623=999, V624=999, V625=999, V626=999, V627=999, V628=999, V629=999, V630=999, V631=999, V632=999, V633=999, V634=999, V635=999, V636=999, V637=999, V638=999, V639=999, V640=999, V641=999, V642=999, V643=999, V644=999, V645=999, V646=999, V647=999, V648=999, V649=999, V650=999, V651=999, V652=999, V653=999, V654=999, V655=999, V656=999, V657=999, V658=999, V659=999, V660=999, V661=999, V662=999, V663=999, V664=999, V665=999, V666=999, V667=999, V668=999, V669=999, V670=999, V671=999, V672=999, V673=999, V674=999, V675=999, V676=999, V677=999, V678=999, V679=999, V680=999, V681=999, V682=999, V683=999, V684=999, V685=999, V686=999, V687=999, V688=999, V689=999, V690=999, V691=999, V692=999, V693=999, V694=999, V695=999, V696=999, V697=999, V698=999, V699=999, V700=999, V701=999, V702=999, V703=999, V704=999, V705=999, V706=999, V707=999, V708=999, V709=999, V710=999, V711=999, V712=999, V713=999, V714=999, V715=999, V716=999, V717=999, V718=999, V719=999, V720=999, V721=999, V722=999, V723=999, V724=999, V725=999, V726=999, V727=999, V728=999, V729=999, V730=999, V731=999, V732=999, V733=999, V734=999, V735=999, V736=999, V737=999, V738=999, V739=999, V740=999, V741=999, V742=999, V743=999, V744=999, V745=999, V746=999, V747=999, V748=999, V749=999, V750=999, V751=999, V752=999, V753=999, V754=999, V755=999, V756=999, V757=999, V758=999, V759=999, V760=999, V761=999, V762=999, V763=999, V764=999, V765=999, V766=999, V767=999, V768=999, V769=999, V770=999, V771=999, V772=999, V773=999, V774=999, V775=999, V776=999, V777=999, V778=999, V779=999, V780=999, V781=999, V782=999, V783=999, V784=999, V785=999, V786=999, V787=999, V788=999, V789=999, V790=999, V791=999, V792=999, V793=999, V794=999, V795=999, V796=999, V797=999, V798=999, V799=999, V800=999, V801=999, V802=999, V803=999, V804=999, V805=999, V806=999, V807=999, V808=999, V809=999, V810=999, V811=999, V812=999, V813=999, V814=999, V815=999, V816=999, V817=999, V818=999, V819=999, V820=999, V821=999, V822=999, V823=999, V824=999, V825=999, V826=999, V827=999, V828=999, V829=999, V830=999, V831=999, V832=999, V833=999, V834=999, V835=999, V836=999, V837=999, V838=999, V839=999, V840=999, V841=999, V842=999, V843=999, V844=999, V845=999, V846=999, V847=999, V848=999, V849=999, V850=999, V851=999, V852=999, V853=999, V854=999, V855=999, V856=999, V857=999, V858=999, V859=999, V860=999, V861=999, V862=999, V863=999, V864=999, V865=999, V866=999, V867=999, V868=999, V869=999, V870=999, V871=999, V872=999, V873=999, V874=999, V875=999, V876=999, V877=999, V878=999, V879=999, V880=999, V881=999, V882=999, V883=999, V884=999, V885=999, V886=999, V887=999, V888=999, V889=999, V890=999, V891=999, V892=999, V893=999, V894=999, V895=999, V896=999, V897=999, V898=999, V899=999, V900=999, V901=999, V902=999, V903=999, V904=999, V905=999, V906=999, V907=999, V908=999, V909=999, V910=999, V911=999, V912=999, V913=999, V914=999, V915=999, V916=999, V917=999, V918=999, V919=999, V920=999, V921=999, V922=999, V923=999, V924=999, V925=999, V926=999, V927=999, V928=999, V929=999, V930=999, V931=999, V932=999, V933=999, V934=999, V935=999, V936=999, V937=999, V938=999, V939=999, V940=999, V941=999, V942=999, V943=999, V944=999, V945=999, V946=999, V947=999, V948=999, V949=999, V950=999, V951=999, V952=999, V953=999, V954=999, V955=999, V956=999, V957=999, V958=999, V959=999, V960=999, V961=999, V962=999, V963=999, V964=999, V965=999, V966=999, V967=999, V968=999, V969=999, V970=999, V971=999, V972=999, V973=999, V974=999, V975=999, V976=999, V977=999, V978=999, V979=999, V980=999, V981=999, V982=999, V983=999, V984=999, V985=999, V986=999, V987=999, V988=999, V989=999, V990=999, V991=999, V992=999, V993=999, V994=999, V995=999, V996=999, V997=999, V998=999, V999=999,
7.61/7.70 v 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999
7.61/7.76 d ASSIGNMENTS 999