0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.21 c Seed is 2067613637
0.18/0.21 c Constructing HOME/instance-2082164-1247720758.xml with 1007 constraints
0.18/0.21 c Solving 1 backtracks
30.83/31.00 s SATISFIABLE
30.83/31.00 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,
30.83/31.00 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
30.83/31.01 d ASSIGNMENTS 1