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