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