0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 1041439498
0.00/0.02 c Constructing HOME/instance-2082142-1247720743.xml with 507 constraints
0.00/0.04 c Solving 0 backtracks
0.00/0.04 s SATISFIABLE
0.00/0.04 c V0=299, V1=299, V2=299, V3=299, V4=299, V5=299, V6=299, V7=299, V8=299, V9=299, V10=299, V11=299, V12=299, V13=299, V14=299, V15=299, V16=299, V17=299, V18=299, V19=299, V20=299, V21=299, V22=299, V23=299, V24=299, V25=299, V26=299, V27=299, V28=299, V29=299, V30=299, V31=299, V32=299, V33=299, V34=299, V35=299, V36=299, V37=299, V38=299, V39=299, V40=299, V41=299, V42=299, V43=299, V44=299, V45=299, V46=299, V47=299, V48=299, V49=299, V50=299, V51=299, V52=299, V53=299, V54=299, V55=299, V56=299, V57=299, V58=299, V59=299, V60=299, V61=299, V62=299, V63=299, V64=299, V65=299, V66=299, V67=299, V68=299, V69=299, V70=299, V71=299, V72=299, V73=299, V74=299, V75=299, V76=299, V77=299, V78=299, V79=299, V80=299, V81=299, V82=299, V83=299, V84=299, V85=299, V86=299, V87=299, V88=299, V89=299, V90=299, V91=299, V92=299, V93=299, V94=299, V95=299, V96=299, V97=299, V98=299, V99=299, V100=299, V101=299, V102=299, V103=299, V104=299, V105=299, V106=299, V107=299, V108=299, V109=299, V110=299, V111=299, V112=299, V113=299, V114=299, V115=299, V116=299, V117=299, V118=299, V119=299, V120=299, V121=299, V122=299, V123=299, V124=299, V125=299, V126=299, V127=299, V128=299, V129=299, V130=299, V131=299, V132=299, V133=299, V134=299, V135=299, V136=299, V137=299, V138=299, V139=299, V140=299, V141=299, V142=299, V143=299, V144=299, V145=299, V146=299, V147=299, V148=299, V149=299, V150=299, V151=299, V152=299, V153=299, V154=299, V155=299, V156=299, V157=299, V158=299, V159=299, V160=299, V161=299, V162=299, V163=299, V164=299, V165=299, V166=299, V167=299, V168=299, V169=299, V170=299, V171=299, V172=299, V173=299, V174=299, V175=299, V176=299, V177=299, V178=299, V179=299, V180=299, V181=299, V182=299, V183=299, V184=299, V185=299, V186=299, V187=299, V188=299, V189=299, V190=299, V191=299, V192=299, V193=299, V194=299, V195=299, V196=299, V197=299, V198=299, V199=299, V200=299, V201=299, V202=299, V203=299, V204=299, V205=299, V206=299, V207=299, V208=299, V209=299, V210=299, V211=299, V212=299, V213=299, V214=299, V215=299, V216=299, V217=299, V218=299, V219=299, V220=299, V221=299, V222=299, V223=299, V224=299, V225=299, V226=299, V227=299, V228=299, V229=299, V230=299, V231=299, V232=299, V233=299, V234=299, V235=299, V236=299, V237=299, V238=299, V239=299, V240=299, V241=299, V242=299, V243=299, V244=299, V245=299, V246=299, V247=299, V248=299, V249=299, V250=299, V251=299, V252=299, V253=299, V254=299, V255=299, V256=299, V257=299, V258=299, V259=299, V260=299, V261=299, V262=299, V263=299, V264=299, V265=299, V266=299, V267=299, V268=299, V269=299, V270=299, V271=299, V272=299, V273=299, V274=299, V275=299, V276=299, V277=299, V278=299, V279=299, V280=299, V281=299, V282=299, V283=299, V284=299, V285=299, V286=299, V287=299, V288=299, V289=299, V290=299, V291=299, V292=299, V293=299, V294=299, V295=299, V296=299, V297=299, V298=299, V299=299, V300=299, V301=299, V302=299, V303=299, V304=299, V305=299, V306=299, V307=299, V308=299, V309=299, V310=299, V311=299, V312=299, V313=299, V314=299, V315=299, V316=299, V317=299, V318=299, V319=299, V320=299, V321=299, V322=299, V323=299, V324=299, V325=299, V326=299, V327=299, V328=299, V329=299, V330=299, V331=299, V332=299, V333=299, V334=299, V335=299, V336=299, V337=299, V338=299, V339=299, V340=299, V341=299, V342=299, V343=299, V344=299, V345=299, V346=299, V347=299, V348=299, V349=299, V350=299, V351=299, V352=299, V353=299, V354=299, V355=299, V356=299, V357=299, V358=299, V359=299, V360=299, V361=299, V362=299, V363=299, V364=299, V365=299, V366=299, V367=299, V368=299, V369=299, V370=299, V371=299, V372=299, V373=299, V374=299, V375=299, V376=299, V377=299, V378=299, V379=299, V380=299, V381=299, V382=299, V383=299, V384=299, V385=299, V386=299, V387=299, V388=299, V389=299, V390=299, V391=299, V392=299, V393=299, V394=299, V395=299, V396=299, V397=299, V398=299, V399=299, V400=299, V401=299, V402=299, V403=299, V404=299, V405=299, V406=299, V407=299, V408=299, V409=299, V410=299, V411=299, V412=299, V413=299, V414=299, V415=299, V416=299, V417=299, V418=299, V419=299, V420=299, V421=299, V422=299, V423=299, V424=299, V425=299, V426=299, V427=299, V428=299, V429=299, V430=299, V431=299, V432=299, V433=299, V434=299, V435=299, V436=299, V437=299, V438=299, V439=299, V440=299, V441=299, V442=299, V443=299, V444=299, V445=299, V446=299, V447=299, V448=299, V449=299, V450=299, V451=299, V452=299, V453=299, V454=299, V455=299, V456=299, V457=299, V458=299, V459=299, V460=299, V461=299, V462=299, V463=299, V464=299, V465=299, V466=299, V467=299, V468=299, V469=299, V470=299, V471=299, V472=299, V473=299, V474=299, V475=299, V476=299, V477=299, V478=299, V479=299, V480=299, V481=299, V482=299, V483=299, V484=299, V485=299, V486=299, V487=299, V488=299, V489=299, V490=299, V491=299, V492=299, V493=299, V494=299, V495=299, V496=299, V497=299, V498=299, V499=299,
0.00/0.04 v 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299
0.00/0.04 d ASSIGNMENTS 0