0.00/0.02 c has big domains
0.00/0.02 c big-domain mode
0.00/0.02 c Seed is 11560378
0.00/0.02 c Constructing HOME/instance-2076709-1247714243.xml with 680 constraints
0.00/0.05 c Solving 0 backtracks
0.47/0.51 s SATISFIABLE
0.47/0.51 c V0=16, V1=254, V2=30, V3=268, V4=30, V5=268, V6=30, V7=268, V8=30, V9=268, V10=16, V11=254, V12=30, V13=268, V14=142, V15=380, V16=16, V17=254, V18=30, V19=268, V20=16, V21=254, V22=16, V23=254, V24=16, V25=254, V26=16, V27=254, V28=16, V29=254, V30=16, V31=254, V32=16, V33=254, V34=30, V35=268, V36=16, V37=254, V38=16, V39=254, V40=30, V41=268, V42=16, V43=254, V44=16, V45=254, V46=16, V47=254, V48=16, V49=254, V50=30, V51=268, V52=142, V53=380, V54=30, V55=268, V56=16, V57=254, V58=30, V59=268, V60=30, V61=268, V62=30, V63=268, V64=30, V65=268, V66=16, V67=254, V68=16, V69=254, V70=30, V71=268, V72=16, V73=254, V74=16, V75=254, V76=16, V77=254, V78=30, V79=268, V80=30, V81=268, V82=16, V83=254, V84=16, V85=254, V86=16, V87=254, V88=142, V89=380, V90=16, V91=254, V92=30, V93=268, V94=30, V95=268, V96=16, V97=254, V98=16, V99=254, V100=142, V101=380, V102=16, V103=254, V104=16, V105=254, V106=16, V107=254, V108=16, V109=254, V110=16, V111=254, V112=16, V113=254, V114=30, V115=268, V116=16, V117=254, V118=16, V119=254, V120=30, V121=268, V122=30, V123=268, V124=16, V125=254, V126=30, V127=268, V128=16, V129=254, V130=16, V131=254, V132=16, V133=254, V134=142, V135=380, V136=16, V137=254, V138=16, V139=254, V140=16, V141=254, V142=16, V143=254, V144=30, V145=268, V146=16, V147=254, V148=16, V149=254, V150=16, V151=254, V152=30, V153=268, V154=16, V155=254, V156=30, V157=268, V158=30, V159=268, V160=30, V161=268, V162=30, V163=268, V164=16, V165=254, V166=16, V167=254, V168=30, V169=268, V170=16, V171=254, V172=16, V173=254, V174=16, V175=254, V176=16, V177=254, V178=16, V179=254, V180=16, V181=254, V182=16, V183=254, V184=16, V185=254, V186=30, V187=268, V188=30, V189=268, V190=16, V191=254, V192=30, V193=268, V194=16, V195=254, V196=16, V197=254, V198=30, V199=268, V200=16, V201=254, V202=16, V203=254, V204=30, V205=268, V206=16, V207=254, V208=16, V209=254, V210=16, V211=254, V212=142, V213=380, V214=16, V215=254, V216=16, V217=254, V218=30, V219=268, V220=16, V221=254, V222=16, V223=254, V224=16, V225=254, V226=30, V227=268, V228=16, V229=254, V230=16, V231=254, V232=30, V233=268, V234=30, V235=268, V236=16, V237=254, V238=16, V239=254, V240=16, V241=254, V242=16, V243=254, V244=16, V245=254, V246=30, V247=268, V248=16, V249=254, V250=16, V251=254, V252=30, V253=268, V254=16, V255=254, V256=16, V257=254, V258=16, V259=254, V260=30, V261=268, V262=16, V263=254, V264=16, V265=254, V266=30, V267=268, V268=16, V269=254, V270=16, V271=254, V272=30, V273=268, V274=16, V275=254, V276=16, V277=254, V278=30, V279=268, V280=30, V281=268, V282=30, V283=268, V284=30, V285=268, V286=16, V287=254, V288=30, V289=268, V290=16, V291=254, V292=16, V293=254, V294=30, V295=268, V296=142, V297=380, V298=16, V299=254, V300=30, V301=268, V302=30, V303=268, V304=16, V305=254, V306=16, V307=254, V308=16, V309=254, V310=16, V311=254, V312=16, V313=254, V314=30, V315=268, V316=16, V317=254, V318=16, V319=254, V320=16, V321=254, V322=16, V323=254, V324=142, V325=380, V326=16, V327=254, V328=16, V329=254, V330=16, V331=254, V332=142, V333=380, V334=16, V335=254, V336=142, V337=380, V338=30, V339=268, V340=30, V341=268, V342=16, V343=254, V344=16, V345=254, V346=16, V347=254, V348=16, V349=254, V350=30, V351=268, V352=16, V353=254, V354=16, V355=254, V356=142, V357=380, V358=16, V359=254, V360=16, V361=254, V362=16, V363=254, V364=30, V365=268, V366=16, V367=254, V368=16, V369=254, V370=30, V371=268, V372=30, V373=268, V374=16, V375=254, V376=16, V377=254, V378=16, V379=254, V380=16, V381=254, V382=30, V383=268, V384=30, V385=268, V386=16, V387=254, V388=30, V389=268, V390=16, V391=254, V392=16, V393=254, V394=30, V395=268, V396=142, V397=380, V398=30, V399=268, V400=16, V401=254, V402=16, V403=254, V404=16, V405=254, V406=30, V407=268, V408=16, V409=254, V410=16, V411=254, V412=30, V413=268, V414=16, V415=254, V416=16, V417=254, V418=16, V419=254, V420=16, V421=254, V422=16, V423=254, V424=30, V425=268, V426=16, V427=254, V428=16, V429=254, V430=16, V431=254, V432=30, V433=268, V434=16, V435=254, V436=16, V437=254, V438=16, V439=254, V440=142, V441=380, V442=16, V443=254, V444=16, V445=254, V446=16, V447=254, V448=142, V449=380, V450=30, V451=268, V452=16, V453=254, V454=16, V455=254, V456=16, V457=254, V458=16, V459=254, V460=142, V461=380, V462=16, V463=254, V464=30, V465=268, V466=16, V467=254, V468=142, V469=380, V470=16, V471=254, V472=16, V473=254, V474=16, V475=254, V476=142, V477=380, V478=30, V479=268, V480=16, V481=254, V482=16, V483=254, V484=16, V485=254, V486=16, V487=254, V488=30, V489=268, V490=16, V491=254, V492=30, V493=268, V494=30, V495=268, V496=16, V497=254, V498=30, V499=268, V500=16, V501=254, V502=16, V503=254, V504=16, V505=254, V506=16, V507=254, V508=16, V509=254, V510=16, V511=254, V512=16, V513=254, V514=16, V515=254, V516=16, V517=254, V518=16, V519=254, V520=16, V521=254, V522=30, V523=268, V524=30, V525=268, V526=16, V527=254, V528=30, V529=268, V530=16, V531=254, V532=16, V533=254, V534=142, V535=380, V536=30, V537=268, V538=16, V539=254, V540=16, V541=254, V542=30, V543=268, V544=16, V545=254, V546=30, V547=268, V548=16, V549=254, V550=16, V551=254, V552=16, V553=254, V554=16, V555=254, V556=16, V557=254, V558=16, V559=254, V560=16, V561=254, V562=30, V563=268, V564=16, V565=254, V566=16, V567=254, V568=30, V569=268, V570=142, V571=380, V572=16, V573=254, V574=16, V575=254, V576=16, V577=254, V578=16, V579=254, V580=30, V581=268, V582=142, V583=380, V584=16, V585=254, V586=30, V587=268, V588=16, V589=254, V590=16, V591=254, V592=16, V593=254, V594=16, V595=254, V596=16, V597=254, V598=30, V599=268, V600=16, V601=254, V602=16, V603=254, V604=16, V605=254, V606=16, V607=254, V608=16, V609=254, V610=30, V611=268, V612=30, V613=268, V614=16, V615=254, V616=142, V617=380, V618=16, V619=254, V620=16, V621=254, V622=142, V623=380, V624=30, V625=268, V626=30, V627=268, V628=30, V629=268, V630=30, V631=268, V632=30, V633=268, V634=16, V635=254, V636=142, V637=380, V638=30, V639=268, V640=30, V641=268, V642=30, V643=268, V644=30, V645=268, V646=16, V647=254, V648=16, V649=254, V650=16, V651=254, V652=30, V653=268, V654=30, V655=268, V656=30, V657=268, V658=16, V659=254, V660=16, V661=254, V662=16, V663=254, V664=16, V665=254, V666=16, V667=254, V668=16, V669=254, V670=16, V671=254, V672=16, V673=254, V674=142, V675=380, V676=16, V677=254, V678=16, V679=254,
0.47/0.51 v 16 254 30 268 30 268 30 268 30 268 16 254 30 268 142 380 16 254 30 268 16 254 16 254 16 254 16 254 16 254 16 254 16 254 30 268 16 254 16 254 30 268 16 254 16 254 16 254 16 254 30 268 142 380 30 268 16 254 30 268 30 268 30 268 30 268 16 254 16 254 30 268 16 254 16 254 16 254 30 268 30 268 16 254 16 254 16 254 142 380 16 254 30 268 30 268 16 254 16 254 142 380 16 254 16 254 16 254 16 254 16 254 16 254 30 268 16 254 16 254 30 268 30 268 16 254 30 268 16 254 16 254 16 254 142 380 16 254 16 254 16 254 16 254 30 268 16 254 16 254 16 254 30 268 16 254 30 268 30 268 30 268 30 268 16 254 16 254 30 268 16 254 16 254 16 254 16 254 16 254 16 254 16 254 16 254 30 268 30 268 16 254 30 268 16 254 16 254 30 268 16 254 16 254 30 268 16 254 16 254 16 254 142 380 16 254 16 254 30 268 16 254 16 254 16 254 30 268 16 254 16 254 30 268 30 268 16 254 16 254 16 254 16 254 16 254 30 268 16 254 16 254 30 268 16 254 16 254 16 254 30 268 16 254 16 254 30 268 16 254 16 254 30 268 16 254 16 254 30 268 30 268 30 268 30 268 16 254 30 268 16 254 16 254 30 268 142 380 16 254 30 268 30 268 16 254 16 254 16 254 16 254 16 254 30 268 16 254 16 254 16 254 16 254 142 380 16 254 16 254 16 254 142 380 16 254 142 380 30 268 30 268 16 254 16 254 16 254 16 254 30 268 16 254 16 254 142 380 16 254 16 254 16 254 30 268 16 254 16 254 30 268 30 268 16 254 16 254 16 254 16 254 30 268 30 268 16 254 30 268 16 254 16 254 30 268 142 380 30 268 16 254 16 254 16 254 30 268 16 254 16 254 30 268 16 254 16 254 16 254 16 254 16 254 30 268 16 254 16 254 16 254 30 268 16 254 16 254 16 254 142 380 16 254 16 254 16 254 142 380 30 268 16 254 16 254 16 254 16 254 142 380 16 254 30 268 16 254 142 380 16 254 16 254 16 254 142 380 30 268 16 254 16 254 16 254 16 254 30 268 16 254 30 268 30 268 16 254 30 268 16 254 16 254 16 254 16 254 16 254 16 254 16 254 16 254 16 254 16 254 16 254 30 268 30 268 16 254 30 268 16 254 16 254 142 380 30 268 16 254 16 254 30 268 16 254 30 268 16 254 16 254 16 254 16 254 16 254 16 254 16 254 30 268 16 254 16 254 30 268 142 380 16 254 16 254 16 254 16 254 30 268 142 380 16 254 30 268 16 254 16 254 16 254 16 254 16 254 30 268 16 254 16 254 16 254 16 254 16 254 30 268 30 268 16 254 142 380 16 254 16 254 142 380 30 268 30 268 30 268 30 268 30 268 16 254 142 380 30 268 30 268 30 268 30 268 16 254 16 254 16 254 30 268 30 268 30 268 16 254 16 254 16 254 16 254 16 254 16 254 16 254 16 254 142 380 16 254 16 254
0.47/0.51 d ASSIGNMENTS 0