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