| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 21 | 3600.05 | 3615.42 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
| MD5SUM | a7d8f923a6cdb36d5c6f2d05cbd48ec7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 263.345 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8901 |
| Total number of constraints | 32298 |
| Number of constraints which are clauses | 32280 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 790 |
| Number of terms in the objective function | 790 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 790 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 820 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.02/6.38 c #variables 8901 #constraints 32298 16.17/22.50 c bounds - >= 0 @ 0.086059 16.17/22.50 c #Conflicts: 1000 | #Constraints: 33297 16.17/22.50 c #Conflicts: 2000 | #Constraints: 34297 16.17/22.50 c INPROCESSING 16.17/22.50 c GARBAGE COLLECT 16.17/22.50 c bounds - >= 5 @ 2.92822 16.17/22.50 c bounds - >= 6 @ 2.97344 16.17/22.50 c bounds - >= 7 @ 2.97485 16.17/22.50 c bounds - >= 8 @ 2.97715 16.17/22.50 c bounds - >= 9 @ 2.97737 16.17/22.50 c bounds - >= 10 @ 2.97888 16.17/22.50 c bounds - >= 11 @ 2.98132 16.17/22.50 c bounds - >= 12 @ 3.09724 16.17/22.50 c bounds - >= 13 @ 3.28877 16.17/22.50 c #Conflicts: 3000 | #Constraints: 34347 16.17/22.50 c #Conflicts: 4000 | #Constraints: 35347 16.17/22.50 c INPROCESSING 16.17/22.50 c GARBAGE COLLECT 16.17/22.50 c bounds 30 >= 13 @ 10.0946 16.17/22.50 c bounds 29 >= 13 @ 10.1011 16.17/22.50 c bounds 28 >= 13 @ 10.1051 16.17/22.50 c bounds 27 >= 13 @ 10.1121 16.17/22.50 c bounds 26 >= 13 @ 10.1165 16.17/22.50 c #Conflicts: 5000 | #Constraints: 34797 16.17/22.50 c #Conflicts: 6000 | #Constraints: 35797 16.17/22.50 c INPROCESSING 16.17/22.50 c GARBAGE COLLECT 16.17/22.50 c rational objective 10.598 69.51/76.01 c #Conflicts: 7000 | #Constraints: 34783 69.51/76.01 c #Conflicts: 8000 | #Constraints: 35783 69.51/76.01 c bounds 25 >= 13 @ 21.7823 69.51/76.01 c bounds 25 >= 14 @ 22.463 69.51/76.01 c #Conflicts: 9000 | #Constraints: 36801 69.51/76.01 c INPROCESSING 69.51/76.01 c GARBAGE COLLECT 69.51/76.01 c #Conflicts: 10000 | #Constraints: 35538 69.51/76.01 c #Conflicts: 11000 | #Constraints: 36538 69.51/76.01 c #Conflicts: 12000 | #Constraints: 37538 69.51/76.01 c INPROCESSING 69.51/76.01 c GARBAGE COLLECT 69.51/76.01 c bounds 24 >= 14 @ 36.6072 69.51/76.01 c #Conflicts: 13000 | #Constraints: 36026 69.51/76.01 c #Conflicts: 14000 | #Constraints: 37026 69.51/76.01 c #Conflicts: 15000 | #Constraints: 38026 69.51/76.01 c INPROCESSING 69.51/76.01 c GARBAGE COLLECT 69.51/76.01 c #Conflicts: 16000 | #Constraints: 36216 69.51/76.01 c #Conflicts: 17000 | #Constraints: 37216 69.51/76.01 c #Conflicts: 18000 | #Constraints: 38216 69.51/76.01 c INPROCESSING 69.51/76.01 c GARBAGE COLLECT 69.51/76.01 c rational objective 11.1457 277.08/284.24 c bounds 23 >= 14 @ 68.2346 277.08/284.24 c #Conflicts: 19000 | #Constraints: 36293 277.08/284.24 c #Conflicts: 20000 | #Constraints: 37293 277.08/284.24 c #Conflicts: 21000 | #Constraints: 38293 277.08/284.24 c INPROCESSING 277.08/284.24 c GARBAGE COLLECT 277.08/284.24 c #Conflicts: 22000 | #Constraints: 36058 277.08/284.24 c #Conflicts: 23000 | #Constraints: 37058 277.08/284.24 c bounds 22 >= 14 @ 80.234 277.08/284.24 c #Conflicts: 24000 | #Constraints: 38059 277.08/284.24 c #Conflicts: 25000 | #Constraints: 39059 277.08/284.24 c INPROCESSING 277.08/284.24 c GARBAGE COLLECT 277.08/284.24 c #Conflicts: 26000 | #Constraints: 36665 277.08/284.24 c #Conflicts: 27000 | #Constraints: 37665 277.08/284.24 c #Conflicts: 28000 | #Constraints: 38665 277.08/284.24 c #Conflicts: 29000 | #Constraints: 39665 277.08/284.24 c INPROCESSING 277.08/284.24 c GARBAGE COLLECT 277.08/284.24 c #Conflicts: 30000 | #Constraints: 37069 277.08/284.24 c #Conflicts: 31000 | #Constraints: 38069 277.08/284.24 c bounds 22 >= 15 @ 102.49 277.08/284.24 c #Conflicts: 32000 | #Constraints: 39092 277.08/284.24 c #Conflicts: 33000 | #Constraints: 40092 277.08/284.24 c INPROCESSING 277.08/284.24 c GARBAGE COLLECT 277.08/284.24 c #Conflicts: 34000 | #Constraints: 37298 277.08/284.24 c #Conflicts: 35000 | #Constraints: 38298 277.08/284.24 c #Conflicts: 36000 | #Constraints: 39298 277.08/284.24 c #Conflicts: 37000 | #Constraints: 40299 277.08/284.24 c INPROCESSING 277.08/284.24 c GARBAGE COLLECT 277.08/284.24 c #Conflicts: 38000 | #Constraints: 37271 277.08/284.24 c #Conflicts: 39000 | #Constraints: 38271 277.08/284.24 c #Conflicts: 40000 | #Constraints: 39271 277.08/284.24 c #Conflicts: 41000 | #Constraints: 40271 277.08/284.24 c INPROCESSING 277.08/284.24 c GARBAGE COLLECT 277.08/284.24 c #Conflicts: 42000 | #Constraints: 37148 277.08/284.24 c #Conflicts: 43000 | #Constraints: 38148 277.08/284.24 c #Conflicts: 44000 | #Constraints: 39148 277.08/284.24 c #Conflicts: 45000 | #Constraints: 40148 277.08/284.24 c bounds 21 >= 15 @ 209.604 277.08/284.24 c #Conflicts: 46000 | #Constraints: 41149 277.08/284.24 c INPROCESSING 277.08/284.24 c GARBAGE COLLECT 277.08/284.24 c #Conflicts: 47000 | #Constraints: 37774 277.08/284.24 c #Conflicts: 48000 | #Constraints: 38774 277.08/284.24 c #Conflicts: 49000 | #Constraints: 39774 277.08/284.24 c #Conflicts: 50000 | #Constraints: 40774 277.08/284.24 c #Conflicts: 51000 | #Constraints: 41774 277.08/284.24 c INPROCESSING 277.08/284.24 c GARBAGE COLLECT 277.08/284.24 c rational objective 11.1457 367.07/374.48 c #Conflicts: 52000 | #Constraints: 38195 367.07/374.48 c #Conflicts: 53000 | #Constraints: 39195 367.07/374.48 c #Conflicts: 54000 | #Constraints: 40195 367.07/374.48 c #Conflicts: 55000 | #Constraints: 41195 367.07/374.48 c #Conflicts: 56000 | #Constraints: 42195 367.07/374.48 c INPROCESSING 367.07/374.48 c GARBAGE COLLECT 367.07/374.48 c #Conflicts: 57000 | #Constraints: 38327 367.07/374.48 c #Conflicts: 58000 | #Constraints: 39327 367.07/374.48 c #Conflicts: 59000 | #Constraints: 40327 367.07/374.48 c #Conflicts: 60000 | #Constraints: 41327 367.07/374.48 c #Conflicts: 61000 | #Constraints: 42327 367.07/374.48 c INPROCESSING 367.07/374.48 c GARBAGE COLLECT 367.07/374.48 c rational objective 11.1493 429.72/437.25 c #Conflicts: 62000 | #Constraints: 38442 429.72/437.25 c #Conflicts: 63000 | #Constraints: 39442 429.72/437.25 c #Conflicts: 64000 | #Constraints: 40442 429.72/437.25 c #Conflicts: 65000 | #Constraints: 41442 429.72/437.25 c #Conflicts: 66000 | #Constraints: 42442 429.72/437.25 c INPROCESSING 429.72/437.25 c GARBAGE COLLECT 429.72/437.25 c #Conflicts: 67000 | #Constraints: 38184 429.72/437.25 c #Conflicts: 68000 | #Constraints: 39184 429.72/437.25 c #Conflicts: 69000 | #Constraints: 40184 429.72/437.25 c #Conflicts: 70000 | #Constraints: 41184 429.72/437.25 c #Conflicts: 71000 | #Constraints: 42184 429.72/437.25 c #Conflicts: 72000 | #Constraints: 43184 429.72/437.25 c INPROCESSING 429.72/437.25 c GARBAGE COLLECT 429.72/437.25 c rational objective 11.1601 995.92/1004.89 c #Conflicts: 73000 | #Constraints: 38764 995.92/1004.89 c #Conflicts: 74000 | #Constraints: 39764 995.92/1004.89 c #Conflicts: 75000 | #Constraints: 40764 995.92/1004.89 c #Conflicts: 76000 | #Constraints: 41764 995.92/1004.89 c #Conflicts: 77000 | #Constraints: 42764 995.92/1004.89 c #Conflicts: 78000 | #Constraints: 43764 995.92/1004.89 c INPROCESSING 995.92/1004.89 c GARBAGE COLLECT 995.92/1004.89 c #Conflicts: 79000 | #Constraints: 39204 995.92/1004.89 c #Conflicts: 80000 | #Constraints: 40204 995.92/1004.89 c #Conflicts: 81000 | #Constraints: 41204 995.92/1004.89 c #Conflicts: 82000 | #Constraints: 42204 995.92/1004.89 c #Conflicts: 83000 | #Constraints: 43204 995.92/1004.89 c #Conflicts: 84000 | #Constraints: 44204 995.92/1004.89 c #Conflicts: 85000 | #Constraints: 45204 995.92/1004.89 c #Conflicts: 86000 | #Constraints: 46204 995.92/1004.89 c #Conflicts: 87000 | #Constraints: 47204 995.92/1004.89 c #Conflicts: 88000 | #Constraints: 48204 995.92/1004.89 c #Conflicts: 89000 | #Constraints: 49204 995.92/1004.89 c #Conflicts: 90000 | #Constraints: 50204 995.92/1004.89 c #Conflicts: 91000 | #Constraints: 51204 995.92/1004.89 c #Conflicts: 92000 | #Constraints: 52204 995.92/1004.89 c #Conflicts: 93000 | #Constraints: 53204 995.92/1004.89 c #Conflicts: 94000 | #Constraints: 54204 995.92/1004.89 c #Conflicts: 95000 | #Constraints: 55204 995.92/1004.89 c #Conflicts: 96000 | #Constraints: 56204 995.92/1004.89 c #Conflicts: 97000 | #Constraints: 57204 995.92/1004.89 c #Conflicts: 98000 | #Constraints: 58204 995.92/1004.89 c #Conflicts: 99000 | #Constraints: 59204 995.92/1004.89 c #Conflicts: 100000 | #Constraints: 60204 995.92/1004.89 c #Conflicts: 101000 | #Constraints: 61204 995.92/1004.89 c #Conflicts: 102000 | #Constraints: 62204 995.92/1004.89 c INPROCESSING 995.92/1004.89 c GARBAGE COLLECT 995.92/1004.89 c rational objective 11.1721 1580.05/1590.45 c #Conflicts: 103000 | #Constraints: 47943 1580.05/1590.45 c #Conflicts: 104000 | #Constraints: 48943 1580.05/1590.45 c #Conflicts: 105000 | #Constraints: 49943 1580.05/1590.45 c #Conflicts: 106000 | #Constraints: 50943 1580.05/1590.45 c #Conflicts: 107000 | #Constraints: 51943 1580.05/1590.45 c #Conflicts: 108000 | #Constraints: 52943 1580.05/1590.45 c #Conflicts: 109000 | #Constraints: 53943 1580.05/1590.45 c #Conflicts: 110000 | #Constraints: 54943 1580.05/1590.45 c INPROCESSING 1580.05/1590.45 c GARBAGE COLLECT 1580.05/1590.45 c #Conflicts: 111000 | #Constraints: 44867 1580.05/1590.45 c #Conflicts: 112000 | #Constraints: 45867 1580.05/1590.45 c #Conflicts: 113000 | #Constraints: 46867 1580.05/1590.45 c #Conflicts: 114000 | #Constraints: 47867 1580.05/1590.45 c #Conflicts: 115000 | #Constraints: 48867 1580.05/1590.45 c #Conflicts: 116000 | #Constraints: 49867 1580.05/1590.45 c #Conflicts: 117000 | #Constraints: 50867 1580.05/1590.45 c INPROCESSING 1580.05/1590.45 c GARBAGE COLLECT 1580.05/1590.45 c rational objective 11.1721 1843.12/1854.11 c #Conflicts: 118000 | #Constraints: 42714 1843.12/1854.11 c #Conflicts: 119000 | #Constraints: 43714 1843.12/1854.11 c #Conflicts: 120000 | #Constraints: 44714 1843.12/1854.11 c #Conflicts: 121000 | #Constraints: 45714 1843.12/1854.11 c #Conflicts: 122000 | #Constraints: 46714 1843.12/1854.11 c #Conflicts: 123000 | #Constraints: 47714 1843.12/1854.11 c #Conflicts: 124000 | #Constraints: 48714 1843.12/1854.11 c INPROCESSING 1843.12/1854.11 c GARBAGE COLLECT 1843.12/1854.11 c rational objective 11.174 3063.97/3078.10 c #Conflicts: 125000 | #Constraints: 41395 3063.97/3078.10 c #Conflicts: 126000 | #Constraints: 42395 3063.97/3078.10 c #Conflicts: 127000 | #Constraints: 43395 3063.97/3078.10 c #Conflicts: 128000 | #Constraints: 44395 3063.97/3078.10 c #Conflicts: 129000 | #Constraints: 45395 3063.97/3078.10 c #Conflicts: 130000 | #Constraints: 46395 3063.97/3078.10 c #Conflicts: 131000 | #Constraints: 47395 3063.97/3078.10 c #Conflicts: 132000 | #Constraints: 48395 3063.97/3078.10 c #Conflicts: 133000 | #Constraints: 49395 3063.97/3078.10 c #Conflicts: 134000 | #Constraints: 50395 3063.97/3078.10 c #Conflicts: 135000 | #Constraints: 51395 3063.97/3078.10 c #Conflicts: 136000 | #Constraints: 52395 3063.97/3078.10 c #Conflicts: 137000 | #Constraints: 53395 3063.97/3078.10 c #Conflicts: 138000 | #Constraints: 54395 3063.97/3078.10 c #Conflicts: 139000 | #Constraints: 55395 3063.97/3078.10 c #Conflicts: 140000 | #Constraints: 56395 3063.97/3078.10 c #Conflicts: 141000 | #Constraints: 57395 3063.97/3078.10 c #Conflicts: 142000 | #Constraints: 58395 3063.97/3078.10 c #Conflicts: 143000 | #Constraints: 59395 3063.97/3078.10 c #Conflicts: 144000 | #Constraints: 60395 3063.97/3078.10 c #Conflicts: 145000 | #Constraints: 61395 3063.97/3078.10 c #Conflicts: 146000 | #Constraints: 62395 3063.97/3078.10 c #Conflicts: 147000 | #Constraints: 63395 3063.97/3078.10 c #Conflicts: 148000 | #Constraints: 64395 3063.97/3078.10 c #Conflicts: 149000 | #Constraints: 65395 3063.97/3078.10 c #Conflicts: 150000 | #Constraints: 66395 3063.97/3078.10 c #Conflicts: 151000 | #Constraints: 67395 3063.97/3078.10 c #Conflicts: 152000 | #Constraints: 68395 3063.97/3078.10 c #Conflicts: 153000 | #Constraints: 69395 3063.97/3078.10 c #Conflicts: 154000 | #Constraints: 70395 3063.97/3078.10 c #Conflicts: 155000 | #Constraints: 71395 3063.97/3078.10 c INPROCESSING 3063.97/3078.10 c GARBAGE COLLECT 3063.97/3078.10 c rational objective 11.1745 3486.69/3501.70 c #Conflicts: 156000 | #Constraints: 53014 3486.69/3501.70 c #Conflicts: 157000 | #Constraints: 54014 3486.69/3501.70 c #Conflicts: 158000 | #Constraints: 55014 3486.69/3501.70 c #Conflicts: 159000 | #Constraints: 56014 3486.69/3501.70 c #Conflicts: 160000 | #Constraints: 57014 3486.69/3501.70 c #Conflicts: 161000 | #Constraints: 58014 3486.69/3501.70 c #Conflicts: 162000 | #Constraints: 59014 3486.69/3501.70 c #Conflicts: 163000 | #Constraints: 60014 3486.69/3501.70 c INPROCESSING 3486.69/3501.70 c GARBAGE COLLECT 3486.69/3501.70 c rational objective 11.1745 3600.01/3615.32 c #Conflicts: 164000 | #Constraints: 47052 3600.01/3615.32 c #Conflicts: 165000 | #Constraints: 48052 3600.01/3615.32 c #Conflicts: 166000 | #Constraints: 49052 3600.01/3615.32 c #Conflicts: 167000 | #Constraints: 50052 3600.01/3615.32 c #Conflicts: 168000 | #Constraints: 51052 3600.01/3615.32 c Program interrupted by user. 3600.01/3615.32 c cpu time 3584.8 s 3600.01/3615.32 c deterministic time 289136850177 2.89e+11 3600.01/3615.32 c optimization time 112.969 s 3600.01/3615.32 c total solve time 3471.74 s 3600.01/3615.32 c core-guided solve time 1598.12 s 3600.01/3615.32 c propagation time 3038.69 s 3600.01/3615.32 c conflict analysis time 442.986 s 3600.01/3615.32 c propagations 257185741 3600.01/3615.32 c resolve steps 16126730 3600.01/3615.32 c decisions 7667387 3600.01/3615.32 c conflicts 168295 3600.01/3615.32 c restarts 456 3600.01/3615.32 c inprocessing phases 26 3600.01/3615.32 c input clauses 32317 3600.01/3615.32 c input cardinalities 21 3600.01/3615.32 c input general constraints 50 3600.01/3615.32 c input average constraint length 2.94 3600.01/3615.32 c input average constraint degree 1.34 3600.01/3615.32 c learned clauses 50645 3600.01/3615.32 c learned cardinalities 1205 3600.01/3615.32 c learned general constraints 116450 3600.01/3615.32 c learned average constraint length 1062.82 3600.01/3615.32 c learned average constraint degree 11643448.46 3600.01/3615.32 c watched constraints 92248 3600.01/3615.32 c counting constraints 24252 3600.01/3615.32 c gcd simplifications 829 3600.01/3615.32 c detected cardinalities 1 3600.01/3615.32 c weakened non-implied lits 12864470 3600.01/3615.32 c weakened non-implying lits 34760 3600.01/3615.32 c original variables 8901 3600.01/3615.32 c clausal propagations 223420053 3600.01/3615.32 c cardinality propagations 1426320 3600.01/3615.32 c watched propagations 5627884 3600.01/3615.32 c counting propagations 25913341 3600.01/3615.32 c watch lookups 56500564824 3600.01/3615.32 c watch backjump lookups 49423080259 3600.01/3615.32 c watch checks 173951489527 3600.01/3615.32 c propagation checks 8192345077 3600.01/3615.32 c constraint additions 539156897 3600.01/3615.32 c trail pops 265017954 3600.01/3615.32 c formula constraints 32298 3600.01/3615.32 c learned constraints 168296 3600.01/3615.32 c bound constraints 10 3600.01/3615.32 c core-guided constraints 80 3600.01/3615.32 c encountered formula constraints 14882680 3600.01/3615.32 c encountered learned constraints 1365365 3600.01/3615.32 c encountered bound constraints 537 3600.01/3615.32 c encountered core-guided constraints 46406 3600.01/3615.32 c LP total time 130.666 s 3600.01/3615.32 c LP solve time 130.36 s 3600.01/3615.32 c LP constraints added 32351 3600.01/3615.32 c LP constraints removed 39 3600.01/3615.32 c LP pivots internal 172883 3600.01/3615.32 c LP pivots root 169627 3600.01/3615.32 c LP calls 40 3600.01/3615.32 c LP optimalities 33 3600.01/3615.32 c LP no pivot count 1 3600.01/3615.32 c LP infeasibilities 2 3600.01/3615.32 c LP valid Farkas constraints 2 3600.01/3615.32 c LP learned Farkas constraints 2 3600.01/3615.32 c LP basis resets 0 3600.01/3615.32 c LP cycling count 0 3600.01/3615.32 c LP singular count 0 3600.01/3615.32 c LP no primal count 0 3600.01/3615.32 c LP no farkas count 0 3600.01/3615.32 c LP other issue count 0 3600.01/3615.32 c LP Gomory cuts 0 3600.01/3615.32 c LP learned cuts 62 3600.01/3615.32 c LP deleted cuts 46 3600.01/3615.32 c LP encountered Gomory constraints 0 3600.01/3615.32 c LP encountered Farkas constraints 3 3600.01/3615.32 c LP encountered learned Farkas constraints 32 3600.01/3615.32 c CG auxiliary variables introduced 30 3600.01/3615.32 c CG solutions found 10 3600.01/3615.32 c CG cores constructed 11 3600.01/3615.32 c CG core cardinality constraints returned 0 3600.01/3615.32 c CG unit cores 1 3600.01/3615.32 c CG single cores 10 3600.01/3615.32 c CG blocks removed during cardinality reduction 0 3600.01/3615.32 c CG first core best 0 3600.01/3615.32 c CG decision core best 0 3600.01/3615.32 c CG core reduction tie 0 3600.01/3615.32 c CG core degree average 1.00 3600.01/3615.32 c CG core slack average 79.50 3600.01/3615.32 s SATISFIABLE 3600.01/3615.32 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 x1092 x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 x3291 -x3292 -x3293 -x3294 x3295 x3296 -x3297 -x3298 -x3299 x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 x3326 -x3327 -x3328 -x3329 x3330 x3331 -x3332 -x3333 x3334 x3335 -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 x3355 x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 x5567 x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 x5617 -x5618 -x5619 x5620 -x5621 x5622 x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 x5704 -x5705 -x5706 x5707 -x5708 -x5709 x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5782 x5783 -x5784 -x5785 -x5786 x5787 -x5788 -x5789 x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 x6337 x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 x6428 x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 x6488 x6489 -x6490 -x6491 x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 x7082 x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 x7217 x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 x7930 x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 x8064 -x8065 x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 x8078 -x8079 x8080 x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 x8494 -x8495 x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 x8535 x8536 -x8537 x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 x8549 x8550 -x8551 -x8552 x8553 x8554 x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 x8580 -x8581 -x8582 x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 x8630 -x8631 x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 x8705 -x8706 -x8707 x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 x8820 x8821 -x8822 -x8823 -x8824 x8825 x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 x8895 -x8896 x8897 -x8898 x8899 -x8900 x8901
OK 21
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (63203 MiB free)
memory of node 1: 64510 MiB (62135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462658-1722344413/watcher-4462658-1722344413 -o /tmp/evaluation-result-4462658-1722344413/solver-4462658-1722344413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722340763-6984 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462658-1722344413 --lp-cut-gomory=0 HOME/instance-4462658-1722344413.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9666, runsolver pid=9663
[startup+0.100093 s]*
/proc/loadavg: 4.17 4.15 4.09 2/244 9667
/proc/meminfo: memFree=129055316/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=37376 memory=2632 CPUtime=0 cores=4,6
/proc/9666/stat : 9666 (roundingsat) D 9663 9666 6973 0 -1 1078198272 215 0 0 0 0 0 0 0 20 0 1 0 1039813 38273024 658 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+0.205132 s]*
/proc/loadavg: 4.17 4.15 4.09 1/244 9672
/proc/meminfo: memFree=130250528/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=37376 memory=2632 CPUtime=0 cores=4,6
/proc/9666/stat : 9666 (roundingsat) D 9663 9666 6973 0 -1 1078198272 215 0 0 0 0 0 0 0 20 0 1 0 1039813 38273024 658 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+0.304277 s]*
/proc/loadavg: 4.17 4.15 4.09 2/246 9676
/proc/meminfo: memFree=130249840/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=37376 memory=2632 CPUtime=0 cores=4,6
/proc/9666/stat : 9666 (roundingsat) D 9663 9666 6973 0 -1 1078198272 215 0 0 0 0 0 0 0 20 0 1 0 1039813 38273024 658 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+0.700242 s]
/proc/loadavg: 4.17 4.15 4.09 1/250 9687
/proc/meminfo: memFree=130243224/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=37376 memory=2632 CPUtime=0 cores=4,6
/proc/9666/stat : 9666 (roundingsat) D 9663 9666 6973 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 1039813 38273024 658 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+1.50021 s]
/proc/loadavg: 4.17 4.15 4.09 1/250 9687
/proc/meminfo: memFree=130242752/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=37376 memory=2632 CPUtime=0 cores=4,6
/proc/9666/stat : 9666 (roundingsat) D 9663 9666 6973 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 1039813 38273024 658 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+3.10426 s]
/proc/loadavg: 4.17 4.15 4.09 1/250 9687
/proc/meminfo: memFree=130242752/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=37376 memory=2632 CPUtime=0 cores=4,6
/proc/9666/stat : 9666 (roundingsat) D 9663 9666 6973 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 1039813 38273024 658 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
heavy processes:
[startup+6.30015 s]
/proc/loadavg: 4.16 4.15 4.09 1/250 9689
/proc/meminfo: memFree=130242540/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=39876 memory=8340 CPUtime=0.02 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 1122 0 0 0 2 0 0 0 20 0 1 0 1039813 40833024 2085 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 9969 2085 1370 992 0 1827 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 39876 KiB
Current children cumulated memory: 8340 KiB
heavy processes:
[startup+12.7001 s]
/proc/loadavg: 4.23 4.16 4.09 4/256 9709
/proc/meminfo: memFree=130102080/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=82384 memory=55240 CPUtime=6.4 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 12735 0 0 0 623 17 0 0 20 0 1 0 1039813 84361216 13810 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 20596 13810 1919 992 0 12454 0
Current children cumulated CPU time: 6.4 s
Current children cumulated vsize: 82384 KiB
Current children cumulated memory: 55240 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.09 5/261 9779
/proc/meminfo: memFree=129660652/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=99040 memory=71776 CPUtime=19.17 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 16141 0 0 0 1868 49 0 0 20 0 1 0 1039813 101416960 17944 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 24760 17944 1919 992 0 16618 0
Current children cumulated CPU time: 19.17 s
Current children cumulated vsize: 99040 KiB
Current children cumulated memory: 71776 KiB
heavy processes:
[startup+51.1055 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 9842
/proc/meminfo: memFree=129182132/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=130540 memory=96088 CPUtime=44.68 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 20736 0 0 0 4361 107 0 0 20 0 1 0 1039813 133672960 24022 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 32635 24022 1919 992 0 24493 0
Current children cumulated CPU time: 44.68 s
Current children cumulated vsize: 130540 KiB
Current children cumulated memory: 96088 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/260 9850
/proc/meminfo: memFree=127528580/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=158616 memory=113284 CPUtime=95.72 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 23505 0 0 0 9383 189 0 0 20 0 1 0 1039813 162422784 28321 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 39654 28321 1919 992 0 31512 0
Current children cumulated CPU time: 95.72 s
Current children cumulated vsize: 158616 KiB
Current children cumulated memory: 113284 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/260 9860
/proc/meminfo: memFree=126062672/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=167616 memory=130168 CPUtime=155.54 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 25646 0 0 0 15298 256 0 0 20 0 1 0 1039813 171638784 32542 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 41904 32542 1919 992 0 33762 0
Current children cumulated CPU time: 155.54 s
Current children cumulated vsize: 167616 KiB
Current children cumulated memory: 130168 KiB
[startup+222.3 s]
/proc/loadavg: 4.43 4.23 4.12 5/259 9870
/proc/meminfo: memFree=124835800/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=180840 memory=147972 CPUtime=215.36 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 28552 0 0 0 21223 313 0 0 20 0 1 0 1039813 185180160 36993 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 45210 36993 1919 992 0 37068 0
Current children cumulated CPU time: 215.36 s
Current children cumulated vsize: 180840 KiB
Current children cumulated memory: 147972 KiB
[startup+282.3 s]
/proc/loadavg: 4.57 4.31 4.16 5/259 9882
/proc/meminfo: memFree=123691672/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=215452 memory=161696 CPUtime=275.18 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 29842 0 0 0 27150 368 0 0 20 0 1 0 1039813 220622848 40424 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 53863 40424 1919 992 0 45721 0
Current children cumulated CPU time: 275.18 s
Current children cumulated vsize: 215452 KiB
Current children cumulated memory: 161696 KiB
[startup+342.3 s]
/proc/loadavg: 4.44 4.34 4.18 5/257 9892
/proc/meminfo: memFree=122668356/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=216208 memory=166984 CPUtime=335.04 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 30152 0 0 0 33075 429 0 0 20 0 1 0 1039813 221396992 41746 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 54052 41746 1919 992 0 45910 0
Current children cumulated CPU time: 335.04 s
Current children cumulated vsize: 216208 KiB
Current children cumulated memory: 166984 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.29 4.17 5/257 9902
/proc/meminfo: memFree=121699808/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=231288 memory=180784 CPUtime=394.91 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 33710 0 0 0 39001 490 0 0 20 0 1 0 1039813 236838912 45196 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 57822 45196 1919 992 0 49680 0
Current children cumulated CPU time: 394.91 s
Current children cumulated vsize: 231288 KiB
Current children cumulated memory: 180784 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.28 4.18 5/257 9914
################
# More data... #
################
Current children cumulated memory: 602932 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 10978
/proc/meminfo: memFree=85513208/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=716232 memory=608528 CPUtime=2908.64 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 85665 0 0 0 289514 1350 0 0 20 0 1 0 1039813 733421568 152132 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 179058 152132 1919 992 0 170916 0
Current children cumulated CPU time: 2908.64 s
Current children cumulated vsize: 716232 KiB
Current children cumulated memory: 608528 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 10988
/proc/meminfo: memFree=84757820/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=720332 memory=611760 CPUtime=2968.49 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 86729 0 0 0 295492 1357 0 0 20 0 1 0 1039813 737619968 152940 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 180083 152940 1919 992 0 171941 0
Current children cumulated CPU time: 2968.49 s
Current children cumulated vsize: 720332 KiB
Current children cumulated memory: 611760 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/261 11001
/proc/meminfo: memFree=83998768/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=724428 memory=615244 CPUtime=3028.35 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 87866 0 0 0 301471 1364 0 0 20 0 1 0 1039813 741814272 153811 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 181107 153811 1919 992 0 172965 0
Current children cumulated CPU time: 3028.35 s
Current children cumulated vsize: 724428 KiB
Current children cumulated memory: 615244 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 11012
/proc/meminfo: memFree=83177528/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=728492 memory=618744 CPUtime=3088.21 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 88845 0 0 0 307436 1385 0 0 20 0 1 0 1039813 745975808 154686 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182123 154686 1919 992 0 173981 0
Current children cumulated CPU time: 3088.21 s
Current children cumulated vsize: 728492 KiB
Current children cumulated memory: 618744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/259 11022
/proc/meminfo: memFree=82437340/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=728492 memory=618752 CPUtime=3148.07 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 89007 0 0 0 313407 1400 0 0 20 0 1 0 1039813 745975808 154688 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182123 154688 1919 992 0 173981 0
Current children cumulated CPU time: 3148.07 s
Current children cumulated vsize: 728492 KiB
Current children cumulated memory: 618752 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.18 4.11 5/259 11032
/proc/meminfo: memFree=81600520/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=728492 memory=618752 CPUtime=3207.94 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 89173 0 0 0 319378 1416 0 0 20 0 1 0 1039813 745975808 154688 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182123 154688 1919 992 0 173981 0
Current children cumulated CPU time: 3207.94 s
Current children cumulated vsize: 728492 KiB
Current children cumulated memory: 618752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/259 11043
/proc/meminfo: memFree=80691184/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=728492 memory=618752 CPUtime=3267.79 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 89342 0 0 0 325351 1428 0 0 20 0 1 0 1039813 745975808 154688 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182123 154688 1919 992 0 173981 0
Current children cumulated CPU time: 3267.79 s
Current children cumulated vsize: 728492 KiB
Current children cumulated memory: 618752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/260 11437
/proc/meminfo: memFree=79747756/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=728992 memory=619264 CPUtime=3327.66 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 89646 0 0 0 331319 1447 0 0 20 0 1 0 1039813 746487808 154816 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182248 154816 1919 992 0 174106 0
Current children cumulated CPU time: 3327.66 s
Current children cumulated vsize: 728992 KiB
Current children cumulated memory: 619264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/259 11447
/proc/meminfo: memFree=78602920/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=728992 memory=619264 CPUtime=3387.52 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 89825 0 0 0 337292 1460 0 0 20 0 1 0 1039813 746487808 154816 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182248 154816 1919 992 0 174106 0
Current children cumulated CPU time: 3387.52 s
Current children cumulated vsize: 728992 KiB
Current children cumulated memory: 619264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.19 4.12 5/259 11459
/proc/meminfo: memFree=77932328/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=728992 memory=619272 CPUtime=3447.38 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 90008 0 0 0 343266 1472 0 0 20 0 1 0 1039813 746487808 154818 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182248 154818 1919 992 0 174106 0
Current children cumulated CPU time: 3447.38 s
Current children cumulated vsize: 728992 KiB
Current children cumulated memory: 619272 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/261 11639
/proc/meminfo: memFree=77202304/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=729220 memory=619688 CPUtime=3507.23 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 90262 0 0 0 349228 1495 0 0 20 0 1 0 1039813 746721280 154922 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182305 154922 1919 992 0 174163 0
Current children cumulated CPU time: 3507.23 s
Current children cumulated vsize: 729220 KiB
Current children cumulated memory: 619688 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/261 11649
/proc/meminfo: memFree=76345760/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=729220 memory=619688 CPUtime=3567.08 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 90417 0 0 0 355190 1518 0 0 20 0 1 0 1039813 746721280 154922 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182305 154922 1919 992 0 174163 0
Current children cumulated CPU time: 3567.08 s
Current children cumulated vsize: 729220 KiB
Current children cumulated memory: 619688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/262 11660
/proc/meminfo: memFree=75960632/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=729220 memory=619688 CPUtime=3600.01 cores=4,6
/proc/9666/stat : 9666 (roundingsat) R 9663 9666 6973 0 -1 4194304 90541 0 0 0 358477 1524 0 0 20 0 1 0 1039813 746721280 154922 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182305 154922 1919 992 0 174163 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 729220 KiB
Current children cumulated memory: 619688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.42 s]
# the end of solver process 9666 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.8 s, system=15.2463 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3615.4 s]
/proc/loadavg: 4.11 4.16 4.11 5/262 11660
/proc/meminfo: memFree=75960632/131524600 swapFree=131071996/131071996
[pid=9666] ppid=9663 vsize=729220 memory=619688 CPUtime=3600.03 cores=4,6
/proc/9666/stat : 9666 (roundingsat) D 9663 9666 6973 0 -1 4194304 90549 0 0 0 358479 1524 0 0 20 0 1 0 1039813 746721280 154922 134679101440 4194304 8255733 140723499657824 0 0 0 0 0 25182210 0 0 0 17 4 0 0 12 0 0 9037040 9046032 14872576 140723499664222 140723499664484 140723499664484 140723499671497 0
/proc/9666/statm: 182305 154922 1919 992 0 174163 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 729220 KiB
Current children cumulated memory: 619688 KiB
Child status: 0
Real time (s): 3615.42
CPU time (s): 3600.05
CPU user time (s): 3584.8
CPU system time (s): 15.2463
CPU usage (%): 99.5749
Max. virtual memory (cumulated for all children) (KiB): 729220
Max. memory (cumulated for all children) (KiB): 619688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.8
system time used= 15.2463
maximum resident set size= 619688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4184968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161
involuntary context switches= 4882
# summary of solver processes directly reported to runsolver:
# pid: 9666
# total CPU time (s): 3600.05
# total CPU user time (s): 3584.8
# total CPU system time (s): 15.2463
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90291 second user time and 16.5725 second system time
The end
Begin job on nodeC022 at 2024-07-30 15:00:13 IDJOB=4462658 IDBENCH=148193 IDSOLVER=3089 FILE ID=nodeC022/4462658-1722344413 RUNJOBID= nodeC022-1722340763-6984 SLURM_JOB_ID= 8248995 Free space on /tmp= 890024 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462658-1722344413/watcher-4462658-1722344413 -o /tmp/evaluation-result-4462658-1722344413/solver-4462658-1722344413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722340763-6984 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462658-1722344413 --lp-cut-gomory=0 HOME/instance-4462658-1722344413.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7 RANDOM SEED=1975187103 nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2211.178 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2178.404 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1580.989 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1430.269 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3582.645 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3022.088 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3509.972 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1236.133 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128346876 kB MemAvailable: 129877980 kB Buffers: 50692 kB Cached: 2316264 kB SwapCached: 0 kB Active: 194484 kB Inactive: 2516144 kB Active(anon): 1428 kB Inactive(anon): 363572 kB Active(file): 193056 kB Inactive(file): 2152572 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6560 kB Writeback: 0 kB AnonPages: 343688 kB Mapped: 88028 kB Shmem: 21336 kB KReclaimable: 50248 kB Slab: 128592 kB SReclaimable: 50248 kB SUnreclaim: 78344 kB KernelStack: 3940 kB PageTables: 9696 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 700912 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8672 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 264916 kB DirectMap2M: 9994240 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890056 MiB End job on nodeC022 at 2024-07-30 16:00:29