Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 1350564864 | 1800.87 | 896.392 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb |
| MD5SUM | 671dfb6ede3c120af748dc40a7daef68 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1095891440 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| 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 | 8902 |
| Total number of constraints | 2864 |
| Number of constraints which are clauses | 143 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2407 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1024000000000 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2123511627775 |
| Number of bits of the biggest sum of numbers | 41 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Glucose 2.1 dynamic restart strategy 0.08/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-4103402-1466222826.opb 0.08/0.13 c reading problem ... 0.08/0.13 c objective function found 1.33/0.67 c ... done. Wall clock time 0.539s. 1.33/0.67 c declared #vars 8902 1.33/0.67 c #constraints 3038 1.33/0.67 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.33/0.67 c constraints type 1.33/0.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 450 1.33/0.67 c org.sat4j.minisat.constraints.card.MinWatchCard => 31 1.33/0.67 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 538 1.33/0.67 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2019 1.33/0.67 c 3038 constraints processed. 1.33/0.67 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.33/0.67 c constraints type 1.33/0.67 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 538 1.33/0.67 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 450 1.33/0.67 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 31 1.33/0.67 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2019 1.33/0.67 c 3038 constraints processed. 1.33/0.67 c objective function length is 31 literals 5.49/2.03 c cleaning 2500 clauses out of 5001 with flag 19047/5002 8.98/3.46 c cleaning 4249 clauses out of 8499 with flag 46734/11000 11.86/4.80 c cleaning 5612 clauses out of 11250 with flag 75337/18000 15.34/6.55 c cleaning 6808 clauses out of 13638 with flag 105633/26000 19.44/8.59 c cleaning 7907 clauses out of 15832 with flag 146129/35002 24.25/10.99 c cleaning 8949 clauses out of 17923 with flag 190254/45000 29.55/13.52 c cleaning 9976 clauses out of 19974 with flag 231628/56001 35.00/16.23 c cleaning 10993 clauses out of 21996 with flag 279807/68000 40.70/19.07 c cleaning 11989 clauses out of 24003 with flag 336393/81001 46.50/21.99 c cleaning 13000 clauses out of 26013 with flag 394723/95000 51.84/24.54 c cleaning 13999 clauses out of 28014 with flag 446615/110001 57.24/27.23 c cleaning 14998 clauses out of 30014 with flag 507631/126000 62.84/30.04 c cleaning 16001 clauses out of 32017 with flag 571091/143001 67.94/32.54 c cleaning 0 clauses out of 5002 with flag 0/5002 72.58/34.73 c cleaning 17002 clauses out of 34013 with flag 635131/161000 73.78/35.26 c And the winner is solver0 74.03/35.75 c SATISFIABLE 74.03/35.75 c OPTIMIZING... 74.03/35.75 c Got one! Elapsed wall clock time (in seconds):35.627 74.03/35.75 o 2147482624 77.35/37.30 c cleaning 11184 clauses out of 22391 with flag 15261/166380 82.95/40.17 c cleaning 8598 clauses out of 17207 with flag 37407/172380 88.56/42.93 c cleaning 7798 clauses out of 15609 with flag 70970/179380 95.55/46.49 c cleaning 7891 clauses out of 15813 with flag 99571/187382 103.91/50.59 c cleaning 8460 clauses out of 16922 with flag 133066/196382 112.11/54.67 c cleaning 9229 clauses out of 18461 with flag 168254/206381 121.12/59.00 c cleaning 10116 clauses out of 20231 with flag 204266/217380 130.01/63.50 c cleaning 11053 clauses out of 22116 with flag 243238/229381 133.84/65.38 c cleaning 0 clauses out of 10196 with flag 0/10197 140.04/68.43 c cleaning 12029 clauses out of 24062 with flag 283860/242380 150.69/73.72 c cleaning 13015 clauses out of 26033 with flag 327158/256380 162.49/79.62 c cleaning 14004 clauses out of 28018 with flag 372194/271380 175.69/86.22 c cleaning 15008 clauses out of 30017 with flag 420111/287383 190.15/93.50 c cleaning 16003 clauses out of 32010 with flag 471292/304384 204.97/100.88 c cleaning 17003 clauses out of 34006 with flag 523987/322383 220.22/108.42 c cleaning 17993 clauses out of 36003 with flag 580721/341383 228.42/112.59 c cleaning 0 clauses out of 16196 with flag 0/16197 237.06/116.89 c cleaning 18995 clauses out of 38007 with flag 640426/361380 255.09/125.82 c cleaning 20000 clauses out of 40012 with flag 704092/382380 271.70/134.20 c cleaning 20997 clauses out of 42013 with flag 767915/404381 289.16/142.81 c cleaning 22006 clauses out of 44018 with flag 835113/427383 308.57/152.52 c cleaning 23007 clauses out of 46014 with flag 902856/451385 329.83/163.13 c cleaning 23996 clauses out of 48002 with flag 974037/476380 351.10/173.75 c cleaning 24996 clauses out of 50006 with flag 1052262/502380 373.47/184.82 c cleaning 25999 clauses out of 52011 with flag 1130644/529381 396.46/196.63 c cleaning 27001 clauses out of 54013 with flag 1211314/557382 425.56/211.13 c cleaning 28002 clauses out of 56011 with flag 1307015/586381 446.84/221.74 c cleaning 0 clauses out of 23201 with flag 0/23202 450.87/223.70 c cleaning 28998 clauses out of 58011 with flag 1447104/616383 467.35/231.98 c cleaning 30000 clauses out of 60010 with flag 1593414/647380 484.42/240.40 c cleaning 30996 clauses out of 62010 with flag 1754229/679381 486.45/241.48 c And the winner is solver0 486.85/241.74 c Got one! Elapsed wall clock time (in seconds):241.609 486.85/241.74 o 1350564864 488.25/242.47 c cleaning 18374 clauses out of 36762 with flag 7837/685129 492.30/244.49 c cleaning 12178 clauses out of 24387 with flag 26147/691128 497.49/247.02 c cleaning 9581 clauses out of 19210 with flag 46265/698129 503.17/249.88 c cleaning 8797 clauses out of 17630 with flag 69147/706130 509.21/252.80 c cleaning 8909 clauses out of 17831 with flag 94881/715128 515.85/256.10 c cleaning 9446 clauses out of 18924 with flag 124047/725130 523.30/259.85 c cleaning 10229 clauses out of 20479 with flag 156704/736131 531.36/263.88 c cleaning 11116 clauses out of 22248 with flag 193299/748129 540.36/268.32 c cleaning 12059 clauses out of 24131 with flag 231281/761128 549.61/272.95 c cleaning 13027 clauses out of 26073 with flag 282671/775129 552.65/274.40 c cleaning 0 clauses out of 28250 with flag 0/28251 558.05/277.18 c cleaning 14023 clauses out of 28045 with flag 344993/790129 566.76/281.41 c cleaning 15011 clauses out of 30022 with flag 420848/806129 576.48/286.26 c cleaning 16002 clauses out of 32011 with flag 511364/823129 588.48/292.58 c cleaning 16998 clauses out of 34009 with flag 632583/841129 601.35/298.94 c cleaning 17997 clauses out of 36010 with flag 758814/860128 615.04/305.70 c cleaning 19002 clauses out of 38013 with flag 904403/880128 628.91/312.60 c cleaning 0 clauses out of 34251 with flag 0/34252 629.51/312.90 c cleaning 20000 clauses out of 40011 with flag 1067972/901128 643.79/320.06 c cleaning 21003 clauses out of 42012 with flag 1210035/923130 661.24/328.79 c cleaning 22000 clauses out of 44008 with flag 1369490/946129 680.69/338.45 c cleaning 23003 clauses out of 46008 with flag 1418203/970129 701.81/348.99 c cleaning 23998 clauses out of 48006 with flag 1469105/995130 723.64/359.82 c cleaning 25001 clauses out of 50007 with flag 1521981/1021129 745.69/370.86 c cleaning 26000 clauses out of 52005 with flag 1576900/1048128 767.17/381.53 c cleaning 27001 clauses out of 54006 with flag 1633860/1076129 789.03/392.43 c cleaning 27997 clauses out of 56005 with flag 1692799/1105129 811.36/403.56 c cleaning 29001 clauses out of 58008 with flag 1753819/1135129 835.82/415.79 c cleaning 29998 clauses out of 60007 with flag 1816946/1166129 860.77/428.19 c cleaning 30998 clauses out of 62008 with flag 1882036/1198128 888.25/441.83 c cleaning 32000 clauses out of 64010 with flag 1949184/1231128 900.31/447.89 c cleaning 0 clauses out of 41251 with flag 0/41252 913.77/454.59 c cleaning 32998 clauses out of 66010 with flag 2018327/1265128 942.27/468.76 c cleaning 34005 clauses out of 68012 with flag 2089580/1300128 971.63/483.33 c cleaning 34998 clauses out of 70007 with flag 2162818/1336128 1001.57/498.30 c cleaning 36004 clauses out of 72012 with flag 2238043/1373131 1035.54/515.11 c cleaning 36999 clauses out of 74005 with flag 2315203/1411128 1068.71/531.66 c cleaning 38000 clauses out of 76006 with flag 2394441/1450128 1104.17/549.35 c cleaning 39003 clauses out of 78006 with flag 2475646/1490128 1137.52/565.94 c cleaning 39996 clauses out of 80003 with flag 2559149/1531128 1175.08/584.61 c cleaning 41000 clauses out of 82007 with flag 2644554/1573128 1210.41/602.22 c cleaning 42002 clauses out of 84009 with flag 2731911/1616130 1250.80/622.38 c cleaning 42997 clauses out of 86005 with flag 2821269/1660128 1287.80/640.71 c cleaning 43998 clauses out of 88008 with flag 2912801/1705128 1327.42/660.46 c cleaning 45000 clauses out of 90010 with flag 3006535/1751128 1355.08/674.67 c cleaning 0 clauses out of 49252 with flag 0/49253 1374.11/684.14 c cleaning 46003 clauses out of 92011 with flag 3102214/1798129 1413.62/703.83 c cleaning 47000 clauses out of 94009 with flag 3199944/1846130 1454.76/724.37 c cleaning 47999 clauses out of 96008 with flag 3299651/1895129 1501.58/747.70 c cleaning 49004 clauses out of 98008 with flag 3401225/1945128 1545.76/769.67 c cleaning 50001 clauses out of 100006 with flag 3504912/1996130 1598.35/795.83 c cleaning 50998 clauses out of 102003 with flag 3610548/2048128 1643.93/818.54 c cleaning 52000 clauses out of 104005 with flag 3718189/2101128 1692.74/842.85 c cleaning 52997 clauses out of 106005 with flag 3827939/2155128 1748.15/870.43 c cleaning 54002 clauses out of 108008 with flag 3939628/2210128 1799.56/896.07 c cleaning 55000 clauses out of 110006 with flag 4053639/2266128 1800.16/896.30 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.16/896.30 c starts : 3343 1800.16/896.30 c conflicts : 2266821 1800.16/896.30 c decisions : 4844534 1800.16/896.30 c propagations : 92728396 1800.16/896.30 c inspects : 5099231125 1800.16/896.30 c shortcuts : 0 1800.16/896.30 c learnt literals : 9 1800.16/896.30 c learnt binary clauses : 44 1800.16/896.30 c learnt ternary clauses : 65 1800.16/896.30 c learnt constraints : 2266812 1800.16/896.30 c ignored constraints : 0 1800.16/896.30 c root simplifications : 0 1800.16/896.30 c removed literals (reason simplification) : 10388431 1800.16/896.30 c reason swapping (by a shorter reason) : 0 1800.16/896.30 c Calls to reduceDB : 94 1800.16/896.30 c Number of update (reduction) of LBD : 290339 1800.16/896.30 c Imported unit clauses : 0 1800.16/896.30 c number of reductions to clauses (during analyze) : 0 1800.16/896.30 c number of learned constraints concerned by reduction : 0 1800.16/896.30 c number of learning phase by resolution : 0 1800.16/896.30 c number of learning phase by cutting planes : 0 1800.16/896.30 c speed (assignments/second) : 103539.12290026218 1800.16/896.30 c non guided choices 12303 1800.16/896.33 c learnt constraints type 1800.16/896.33 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 44 1800.16/896.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 55655 1800.16/896.33 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.16/896.33 c starts : 122 1800.16/896.33 c conflicts : 55143 1800.16/896.33 c decisions : 128542 1800.16/896.33 c propagations : 1712545 1800.16/896.33 c inspects : 1268585320 1800.16/896.33 c shortcuts : 0 1800.16/896.33 c learnt literals : 0 1800.16/896.33 c learnt binary clauses : 0 1800.16/896.33 c learnt ternary clauses : 1 1800.16/896.33 c learnt constraints : 55141 1800.16/896.33 c ignored constraints : 0 1800.16/896.33 c root simplifications : 0 1800.16/896.33 c removed literals (reason simplification) : 0 1800.16/896.33 c reason swapping (by a shorter reason) : 0 1800.16/896.33 c Calls to reduceDB : 8 1800.16/896.33 c Number of update (reduction) of LBD : 0 1800.16/896.33 c Imported unit clauses : 0 1800.16/896.33 c number of reductions to clauses (during analyze) : 0 1800.16/896.33 c number of learned constraints concerned by reduction : 0 1800.16/896.33 c number of learning phase by resolution : 0 1800.16/896.33 c number of learning phase by cutting planes : 0 1800.16/896.33 c speed (assignments/second) : 2617.4257129145362 1800.16/896.33 c non guided choices 88 1800.16/896.35 c learnt constraints type 1800.16/896.35 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1493 1800.16/896.35 c org.sat4j.pb.constraints.pb.MaxWatchPb => 53648 1800.16/896.35 s SATISFIABLE 1800.16/896.35 c Found 2 solution(s) 1800.16/896.37 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 x8902 1800.16/896.38 c objective function=1350564864 1800.16/896.38 c Total wall clock time (in seconds): 896.248
OK 1350564864
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103402-1466222826/watcher-4103402-1466222826 -o /tmp/evaluation-result-4103402-1466222826/solver-4103402-1466222826 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103402-1466222826.opb pid=17731 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.26 4.22 4.20 4/197 17734 /proc/meminfo: memFree=29789708/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/17734/stat : 17734 (java) R 17731 17734 8337 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 24328376 9515008 176 33554432000 1073741824 1073778376 140733389451872 140733389449000 225444709264 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/17734/statm: 2323 176 133 9 0 71 0 [startup+0.100059 s] /proc/loadavg: 4.26 4.22 4.20 4/197 17734 /proc/meminfo: memFree=29789708/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 4394 0 1 0 7 1 0 0 20 0 18 0 24328376 9787879424 5001 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2389619 5001 2097 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200201 s] /proc/loadavg: 4.26 4.22 4.20 4/197 17734 /proc/meminfo: memFree=29789708/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9558476 CPUtime=0.24 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 4776 0 1 0 23 1 0 0 20 0 18 0 24328376 9787879424 6337 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2389619 6337 2204 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300204 s] /proc/loadavg: 4.26 4.22 4.20 4/197 17734 /proc/meminfo: memFree=29789708/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9558476 CPUtime=0.51 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 5919 0 1 0 49 2 0 0 20 0 18 0 24328376 9787879424 9524 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2389619 9524 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.700187 s] /proc/loadavg: 4.26 4.22 4.20 4/197 17734 /proc/meminfo: memFree=29789708/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9691604 CPUtime=1.5 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 16823 0 1 0 145 5 0 0 20 0 20 0 24328376 9924202496 35479 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2422901 35479 2266 9 0 2413578 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9691604 [startup+1.50085 s] /proc/loadavg: 4.26 4.22 4.20 13/219 17756 /proc/meminfo: memFree=29614864/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9824732 CPUtime=4.31 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 21398 0 1 0 423 8 0 0 20 0 22 0 24328376 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2456183 48865 2287 9 0 2446860 0 [pid=17734/tid=17736] ppid=17731 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/17734/task/17736/stat : 17736 (java) S 17731 17734 8337 0 -1 4202560 2515 0 1 0 60 3 0 0 20 0 22 0 24328377 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622537974648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17737] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17737/stat : 17737 (java) S 17731 17734 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24328378 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622381795624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17738] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17738/stat : 17738 (java) S 17731 17734 8337 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 24328378 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622380742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17739] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17739/stat : 17739 (java) S 17731 17734 8337 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 24328378 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622379690536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17740] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17740/stat : 17740 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328378 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622378637736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17741] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17741/stat : 17741 (java) S 17731 17734 8337 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 24328378 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622377585448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17742] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17742/stat : 17742 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328378 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622376532648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17743] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17743/stat : 17743 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328378 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622375480360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17744] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17744/stat : 17744 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328378 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622374427560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17745] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17745/stat : 17745 (java) S 17731 17734 8337 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622362228968 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17746] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17746/stat : 17746 (java) S 17731 17734 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622361175032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17747] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17747/stat : 17747 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622360122632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17748] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17748/stat : 17748 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622359071120 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17749] ppid=17731 vsize=9824732 CPUtime=1 cores=0,2,4,6 /proc/17734/task/17749/stat : 17749 (java) S 17731 17734 8337 0 -1 4202560 8905 0 0 0 98 2 0 0 20 0 22 0 24328382 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622358018744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17750] ppid=17731 vsize=9824732 CPUtime=0.97 cores=0,2,4,6 /proc/17734/task/17750/stat : 17750 (java) S 17731 17734 8337 0 -1 4202560 8507 0 0 0 97 0 0 0 20 0 22 0 24328382 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622356965944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17751] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17751/stat : 17751 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622355913848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17752] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17752/stat : 17752 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328383 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622354861256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17753] ppid=17731 vsize=9824732 CPUtime=0.77 cores=0,2,4,6 /proc/17734/task/17753/stat : 17753 (java) R 17731 17734 8337 0 -1 4202560 24 0 0 0 77 0 0 0 20 0 22 0 24328443 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622353755344 140622410927767 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17754] ppid=17731 vsize=9824732 CPUtime=0.77 cores=0,2,4,6 /proc/17734/task/17754/stat : 17754 (java) R 17731 17734 8337 0 -1 4202560 47 0 0 0 77 0 0 0 20 0 22 0 24328443 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622352701768 140622410961428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17755] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17755/stat : 17755 (java) S 17731 17734 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24328448 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622351652008 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17756] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17756/stat : 17756 (java) S 17731 17734 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24328448 10060525568 48865 33554432000 1073741824 1073778376 140735627845632 140622350599208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.31 Current children cumulated vsize (KiB) 9824732 [startup+3.10089 s] /proc/loadavg: 4.26 4.22 4.20 7/219 17756 /proc/meminfo: memFree=29497824/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9824732 CPUtime=8.26 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 26975 0 1 0 809 17 0 0 20 0 22 0 24328376 10060525568 94489 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2456183 94489 2291 9 0 2446860 0 [pid=17734/tid=17736] ppid=17731 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/17734/task/17736/stat : 17736 (java) S 17731 17734 8337 0 -1 4202560 2515 0 1 0 60 3 0 0 20 0 22 0 24328377 10060525568 94489 33554432000 1073741824 1073778376 140735627845632 140622537974648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17737] ppid=17731 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/17734/task/17737/stat : 17737 (java) R 17731 17734 8337 0 -1 4202560 42 0 0 0 3 0 0 0 20 0 22 0 24328378 10060525568 94489 33554432000 1073741824 1073778376 140735627845632 140622381795800 140622544871868 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17738] ppid=17731 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/17734/task/17738/stat : 17738 (java) R 17731 17734 8337 0 -1 4202560 139 0 0 0 5 1 0 0 20 0 22 0 24328378 10060525568 94489 33554432000 1073741824 1073778376 140735627845632 140622380743000 140622540445427 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17739] ppid=17731 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/17734/task/17739/stat : 17739 (java) R 17731 17734 8337 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 24328378 10060525568 94489 33554432000 1073741824 1073778376 140735627845632 140622379690536 140622540445369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17740] ppid=17731 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/17734/task/17740/stat : 17740 (java) R 17731 17734 8337 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 24328378 10060525568 94489 33554432000 1073741824 1073778376 140735627845632 140622378637912 140622544869850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17741] ppid=17731 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/17734/task/17741/stat : 17741 (java) R 17731 17734 8337 0 -1 4202560 34 0 0 0 5 1 0 0 20 0 22 0 24328378 10060525568 94489 33554432000 1073741824 1073778376 140735627845632 140622377585448 140622540445377 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17742] ppid=17731 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/17734/task/17742/stat : 17742 (java) R 17731 17734 8337 0 -1 4202560 114 0 0 0 4 0 0 0 20 0 22 0 24328378 10060525568 94489 33554432000 1073741824 1073778376 140735627845632 140622376532648 225448080444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17743] ppid=17731 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/17734/task/17743/stat : 17743 (java) R 17731 17734 8337 0 -1 4202560 127 0 0 0 3 0 0 0 20 0 22 0 24328378 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622375480536 140622544870287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17744] ppid=17731 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/17734/task/17744/stat : 17744 (java) R 17731 17734 8337 0 -1 4202560 87 0 0 0 2 1 0 0 20 0 22 0 24328378 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622374427560 140622540445385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17745] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17745/stat : 17745 (java) S 17731 17734 8337 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622362227848 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17746] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17746/stat : 17746 (java) S 17731 17734 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622361175032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17747] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17747/stat : 17747 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622360122632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17748] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17748/stat : 17748 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622359071120 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17749] ppid=17731 vsize=9824732 CPUtime=1.58 cores=0,2,4,6 /proc/17734/task/17749/stat : 17749 (java) S 17731 17734 8337 0 -1 4202560 13768 0 0 0 155 3 0 0 20 0 22 0 24328382 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622358018744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17750] ppid=17731 vsize=9824732 CPUtime=1.02 cores=0,2,4,6 /proc/17734/task/17750/stat : 17750 (java) S 17731 17734 8337 0 -1 4202560 8517 0 0 0 102 0 0 0 20 0 22 0 24328382 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622356965944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17751] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17751/stat : 17751 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622355913848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17752] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17752/stat : 17752 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328383 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622354861256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17753] ppid=17731 vsize=9824732 CPUtime=2.26 cores=0,2,4,6 /proc/17734/task/17753/stat : 17753 (java) S 17731 17734 8337 0 -1 4202560 32 0 0 0 226 0 0 0 20 0 22 0 24328443 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622353756504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17754] ppid=17731 vsize=9824732 CPUtime=2.27 cores=0,2,4,6 /proc/17734/task/17754/stat : 17754 (java) S 17731 17734 8337 0 -1 4202560 95 0 0 0 225 2 0 0 20 0 22 0 24328443 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622352702184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17755] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17755/stat : 17755 (java) S 17731 17734 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24328448 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622351652008 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17756] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17756/stat : 17756 (java) S 17731 17734 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24328448 10060525568 95001 33554432000 1073741824 1073778376 140735627845632 140622350599208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 8.26 Current children cumulated vsize (KiB) 9824732 [startup+6.30089 s] /proc/loadavg: 4.32 4.23 4.20 6/219 17756 /proc/meminfo: memFree=29168696/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9824732 CPUtime=14.94 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 27752 0 1 0 1464 30 0 0 20 0 22 0 24328376 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2456183 164557 2291 9 0 2446860 0 [pid=17734/tid=17736] ppid=17731 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/17734/task/17736/stat : 17736 (java) S 17731 17734 8337 0 -1 4202560 2515 0 1 0 60 3 0 0 20 0 22 0 24328377 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622537974648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17737] ppid=17731 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/17734/task/17737/stat : 17737 (java) S 17731 17734 8337 0 -1 4202560 63 0 0 0 7 2 0 0 20 0 22 0 24328378 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622381795624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17738] ppid=17731 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/17734/task/17738/stat : 17738 (java) S 17731 17734 8337 0 -1 4202560 161 0 0 0 7 3 0 0 20 0 22 0 24328378 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622380742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17739] ppid=17731 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/17734/task/17739/stat : 17739 (java) S 17731 17734 8337 0 -1 4202560 90 0 0 0 7 2 0 0 20 0 22 0 24328378 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622379690536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17740] ppid=17731 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/17734/task/17740/stat : 17740 (java) S 17731 17734 8337 0 -1 4202560 27 0 0 0 6 0 0 0 20 0 22 0 24328378 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622378637736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17741] ppid=17731 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/17734/task/17741/stat : 17741 (java) S 17731 17734 8337 0 -1 4202560 66 0 0 0 10 3 0 0 20 0 22 0 24328378 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622377585448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17742] ppid=17731 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/17734/task/17742/stat : 17742 (java) S 17731 17734 8337 0 -1 4202560 139 0 0 0 6 2 0 0 20 0 22 0 24328378 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622376532648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17743] ppid=17731 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/17734/task/17743/stat : 17743 (java) S 17731 17734 8337 0 -1 4202560 145 0 0 0 8 2 0 0 20 0 22 0 24328378 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622375480360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17744] ppid=17731 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/17734/task/17744/stat : 17744 (java) S 17731 17734 8337 0 -1 4202560 114 0 0 0 5 3 0 0 20 0 22 0 24328378 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622374427560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17745] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17745/stat : 17745 (java) S 17731 17734 8337 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622362228968 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17746] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17746/stat : 17746 (java) S 17731 17734 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622361175032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17747] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17747/stat : 17747 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622360122632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17748] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17748/stat : 17748 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 164557 33554432000 1073741824 1073778376 140735627845632 140622359071120 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17749] ppid=17731 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 2.27 2.82 3.55 3/191 17818 /proc/meminfo: memFree=27340256/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9824732 CPUtime=1772.05 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 41860 0 1 0 176994 211 0 0 20 0 22 0 24328376 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2456183 715890 2301 9 0 2446860 0 [pid=17734/tid=17736] ppid=17731 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/17734/task/17736/stat : 17736 (java) S 17731 17734 8337 0 -1 4202560 2530 0 1 0 64 5 0 0 20 0 22 0 24328377 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622537974648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17737] ppid=17731 vsize=9824732 CPUtime=2.23 cores=0,2,4,6 /proc/17734/task/17737/stat : 17737 (java) S 17731 17734 8337 0 -1 4202560 542 0 0 0 208 15 0 0 20 0 22 0 24328378 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622381795624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17738] ppid=17731 vsize=9824732 CPUtime=2.26 cores=0,2,4,6 /proc/17734/task/17738/stat : 17738 (java) S 17731 17734 8337 0 -1 4202560 741 0 0 0 210 16 0 0 20 0 22 0 24328378 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622380742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17739] ppid=17731 vsize=9824732 CPUtime=2.43 cores=0,2,4,6 /proc/17734/task/17739/stat : 17739 (java) S 17731 17734 8337 0 -1 4202560 587 0 0 0 226 17 0 0 20 0 22 0 24328378 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622379690536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17740] ppid=17731 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/17734/task/17740/stat : 17740 (java) S 17731 17734 8337 0 -1 4202560 633 0 0 0 211 14 0 0 20 0 22 0 24328378 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622378637736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17741] ppid=17731 vsize=9824732 CPUtime=2.49 cores=0,2,4,6 /proc/17734/task/17741/stat : 17741 (java) S 17731 17734 8337 0 -1 4202560 496 0 0 0 236 13 0 0 20 0 22 0 24328378 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622377585448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17742] ppid=17731 vsize=9824732 CPUtime=2.14 cores=0,2,4,6 /proc/17734/task/17742/stat : 17742 (java) S 17731 17734 8337 0 -1 4202560 840 0 0 0 199 15 0 0 20 0 22 0 24328378 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622376532648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17743] ppid=17731 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/17734/task/17743/stat : 17743 (java) S 17731 17734 8337 0 -1 4202560 681 0 0 0 226 12 0 0 20 0 22 0 24328378 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622375480360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17744] ppid=17731 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/17734/task/17744/stat : 17744 (java) S 17731 17734 8337 0 -1 4202560 804 0 0 0 226 19 0 0 20 0 22 0 24328378 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622374427560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17745] ppid=17731 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/17734/task/17745/stat : 17745 (java) S 17731 17734 8337 0 -1 4202560 2643 0 0 0 231 14 0 0 20 0 22 0 24328380 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622362228968 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17746] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17746/stat : 17746 (java) S 17731 17734 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622361175032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17747] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17747/stat : 17747 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622360122632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17748] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17748/stat : 17748 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622359071120 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17749] ppid=17731 vsize=9824732 CPUtime=2.19 cores=0,2,4,6 /proc/17734/task/17749/stat : 17749 (java) S 17731 17734 8337 0 -1 4202560 18003 0 0 0 215 4 0 0 20 0 22 0 24328382 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622358018744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17750] ppid=17731 vsize=9824732 CPUtime=1.46 cores=0,2,4,6 /proc/17734/task/17750/stat : 17750 (java) S 17731 17734 8337 0 -1 4202560 8536 0 0 0 146 0 0 0 20 0 22 0 24328382 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622356965944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17751] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17751/stat : 17751 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622355913848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17752] ppid=17731 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/17734/task/17752/stat : 17752 (java) S 17731 17734 8337 0 -1 4202560 51 0 0 0 19 15 0 0 20 0 22 0 24328383 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622354861256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17755] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17755/stat : 17755 (java) S 17731 17734 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24328448 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622351652008 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17768] ppid=17731 vsize=9824732 CPUtime=635.33 cores=0,2,4,6 /proc/17734/task/17768/stat : 17768 (java) R 17731 17734 8337 0 -1 4202560 98 0 0 0 63522 11 0 0 20 0 22 0 24352550 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622353756032 140622410949388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17769] ppid=17731 vsize=9824732 CPUtime=635.36 cores=0,2,4,6 /proc/17734/task/17769/stat : 17769 (java) R 17731 17734 8337 0 -1 4202560 1484 0 0 0 63516 20 0 0 20 0 22 0 24352550 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622352702016 140622410961887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17770] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17770/stat : 17770 (java) S 17731 17734 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24352581 10060525568 715890 33554432000 1073741824 1073778376 140735627845632 140622350598952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1772.05 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+896.301 s] /proc/loadavg: 2.21 2.78 3.52 4/191 17818 /proc/meminfo: memFree=27373156/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 41862 0 1 0 179804 212 0 0 20 0 22 0 24328376 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2456183 708163 2301 9 0 2446860 0 [pid=17734/tid=17736] ppid=17731 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/17734/task/17736/stat : 17736 (java) S 17731 17734 8337 0 -1 4202560 2530 0 1 0 64 5 0 0 20 0 22 0 24328377 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622537974648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17737] ppid=17731 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/17734/task/17737/stat : 17737 (java) S 17731 17734 8337 0 -1 4202560 542 0 0 0 210 15 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622381795624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17738] ppid=17731 vsize=9824732 CPUtime=2.33 cores=0,2,4,6 /proc/17734/task/17738/stat : 17738 (java) S 17731 17734 8337 0 -1 4202560 741 0 0 0 217 16 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622380742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17739] ppid=17731 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/17734/task/17739/stat : 17739 (java) S 17731 17734 8337 0 -1 4202560 587 0 0 0 228 17 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622379690536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17740] ppid=17731 vsize=9824732 CPUtime=2.28 cores=0,2,4,6 /proc/17734/task/17740/stat : 17740 (java) S 17731 17734 8337 0 -1 4202560 633 0 0 0 214 14 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622378637736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17741] ppid=17731 vsize=9824732 CPUtime=2.52 cores=0,2,4,6 /proc/17734/task/17741/stat : 17741 (java) S 17731 17734 8337 0 -1 4202560 496 0 0 0 239 13 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622377585448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17742] ppid=17731 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/17734/task/17742/stat : 17742 (java) S 17731 17734 8337 0 -1 4202560 840 0 0 0 202 15 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622376532648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17743] ppid=17731 vsize=9824732 CPUtime=2.41 cores=0,2,4,6 /proc/17734/task/17743/stat : 17743 (java) S 17731 17734 8337 0 -1 4202560 681 0 0 0 229 12 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622375480360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17744] ppid=17731 vsize=9824732 CPUtime=2.49 cores=0,2,4,6 /proc/17734/task/17744/stat : 17744 (java) S 17731 17734 8337 0 -1 4202560 804 0 0 0 230 19 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622374427560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17745] ppid=17731 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/17734/task/17745/stat : 17745 (java) S 17731 17734 8337 0 -1 4202560 2643 0 0 0 231 14 0 0 20 0 22 0 24328380 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622362228968 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17746] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17746/stat : 17746 (java) S 17731 17734 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622361175032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17747] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17747/stat : 17747 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622360122632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17748] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17748/stat : 17748 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622359071120 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17749] ppid=17731 vsize=9824732 CPUtime=2.19 cores=0,2,4,6 /proc/17734/task/17749/stat : 17749 (java) S 17731 17734 8337 0 -1 4202560 18003 0 0 0 215 4 0 0 20 0 22 0 24328382 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622358018744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17750] ppid=17731 vsize=9824732 CPUtime=1.46 cores=0,2,4,6 /proc/17734/task/17750/stat : 17750 (java) S 17731 17734 8337 0 -1 4202560 8536 0 0 0 146 0 0 0 20 0 22 0 24328382 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622356965944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17751] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17751/stat : 17751 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622355913848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17752] ppid=17731 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/17734/task/17752/stat : 17752 (java) S 17731 17734 8337 0 -1 4202560 51 0 0 0 19 15 0 0 20 0 22 0 24328383 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622354861256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17755] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17755/stat : 17755 (java) S 17731 17734 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24328448 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622351652008 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17768] ppid=17731 vsize=9824732 CPUtime=649.25 cores=0,2,4,6 /proc/17734/task/17768/stat : 17768 (java) R 17731 17734 8337 0 -1 4202560 100 0 0 0 64914 11 0 0 20 0 22 0 24352550 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622353748416 140622410949407 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17769] ppid=17731 vsize=9824732 CPUtime=649.28 cores=0,2,4,6 /proc/17734/task/17769/stat : 17769 (java) R 17731 17734 8337 0 -1 4202560 1484 0 0 0 64907 21 0 0 20 0 22 0 24352550 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622352701952 140622410960101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17770] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17770/stat : 17770 (java) S 17731 17734 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24352581 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622350598952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17734 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+896.301 s] /proc/loadavg: 2.21 2.78 3.52 4/191 17818 /proc/meminfo: memFree=27373156/32872528 swapFree=1499884/1696108 [pid=17734] ppid=17731 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6 /proc/17734/stat : 17734 (java) S 17731 17734 8337 0 -1 4202496 41862 0 1 0 179804 212 0 0 20 0 22 0 24328376 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140735627836768 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17734/statm: 2456183 708163 2301 9 0 2446860 0 [pid=17734/tid=17736] ppid=17731 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/17734/task/17736/stat : 17736 (java) S 17731 17734 8337 0 -1 4202560 2530 0 1 0 64 5 0 0 20 0 22 0 24328377 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622537974648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17737] ppid=17731 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/17734/task/17737/stat : 17737 (java) S 17731 17734 8337 0 -1 4202560 542 0 0 0 210 15 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622381795624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17738] ppid=17731 vsize=9824732 CPUtime=2.33 cores=0,2,4,6 /proc/17734/task/17738/stat : 17738 (java) S 17731 17734 8337 0 -1 4202560 741 0 0 0 217 16 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622380742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17739] ppid=17731 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/17734/task/17739/stat : 17739 (java) S 17731 17734 8337 0 -1 4202560 587 0 0 0 228 17 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622379690536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17740] ppid=17731 vsize=9824732 CPUtime=2.28 cores=0,2,4,6 /proc/17734/task/17740/stat : 17740 (java) S 17731 17734 8337 0 -1 4202560 633 0 0 0 214 14 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622378637736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17741] ppid=17731 vsize=9824732 CPUtime=2.52 cores=0,2,4,6 /proc/17734/task/17741/stat : 17741 (java) S 17731 17734 8337 0 -1 4202560 496 0 0 0 239 13 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622377585448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17742] ppid=17731 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/17734/task/17742/stat : 17742 (java) S 17731 17734 8337 0 -1 4202560 840 0 0 0 202 15 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622376532648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17743] ppid=17731 vsize=9824732 CPUtime=2.41 cores=0,2,4,6 /proc/17734/task/17743/stat : 17743 (java) S 17731 17734 8337 0 -1 4202560 681 0 0 0 229 12 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622375480360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17744] ppid=17731 vsize=9824732 CPUtime=2.49 cores=0,2,4,6 /proc/17734/task/17744/stat : 17744 (java) S 17731 17734 8337 0 -1 4202560 804 0 0 0 230 19 0 0 20 0 22 0 24328378 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622374427560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17745] ppid=17731 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/17734/task/17745/stat : 17745 (java) S 17731 17734 8337 0 -1 4202560 2643 0 0 0 231 14 0 0 20 0 22 0 24328380 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622362228968 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17746] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17746/stat : 17746 (java) S 17731 17734 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622361175032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17747] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17747/stat : 17747 (java) S 17731 17734 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24328380 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622360122632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17748] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17748/stat : 17748 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622359071120 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17749] ppid=17731 vsize=9824732 CPUtime=2.19 cores=0,2,4,6 /proc/17734/task/17749/stat : 17749 (java) S 17731 17734 8337 0 -1 4202560 18003 0 0 0 215 4 0 0 20 0 22 0 24328382 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622358018744 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17750] ppid=17731 vsize=9824732 CPUtime=1.46 cores=0,2,4,6 /proc/17734/task/17750/stat : 17750 (java) S 17731 17734 8337 0 -1 4202560 8536 0 0 0 146 0 0 0 20 0 22 0 24328382 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622356965944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17751] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17751/stat : 17751 (java) S 17731 17734 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24328382 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622355913848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17752] ppid=17731 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/17734/task/17752/stat : 17752 (java) S 17731 17734 8337 0 -1 4202560 51 0 0 0 19 15 0 0 20 0 22 0 24328383 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622354861256 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17734/tid=17755] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17755/stat : 17755 (java) S 17731 17734 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24328448 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622351652008 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17734/tid=17768] ppid=17731 vsize=9824732 CPUtime=649.25 cores=0,2,4,6 /proc/17734/task/17768/stat : 17768 (java) R 17731 17734 8337 0 -1 4202560 100 0 0 0 64914 11 0 0 20 0 22 0 24352550 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622353748416 140622410949407 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17734/tid=17769] ppid=17731 vsize=9824732 CPUtime=649.28 cores=0,2,4,6 /proc/17734/task/17769/stat : 17769 (java) R 17731 17734 8337 0 -1 4202560 1484 0 0 0 64907 21 0 0 20 0 22 0 24352550 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622352701952 140622410960101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17734/tid=17770] ppid=17731 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/17734/task/17770/stat : 17770 (java) S 17731 17734 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24352581 10060525568 708163 33554432000 1073741824 1073778376 140735627845632 140622350598952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 896.392 CPU time (s): 1800.87 CPU user time (s): 1798.34 CPU system time (s): 2.53161 CPU usage (%): 200.902 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.34 system time used= 2.53161 maximum resident set size= 3398892 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41899 page faults= 1 swaps= 0 block input operations= 0 block output operations= 928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26233 involuntary context switches= 33417 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.22321 second user time and 7.84281 second system time The end
Begin job on node137 at 2016-06-18 06:07:06 IDJOB=4103402 IDBENCH=2349 IDSOLVER=2543 FILE ID=node137/4103402-1466222826 RUNJOBID= node137-1466206054-8353 PBS_JOBID= 19918140 Free space on /tmp= 71696 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103402-1466222826/watcher-4103402-1466222826 -o /tmp/evaluation-result-4103402-1466222826/solver-4103402-1466222826 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103402-1466222826.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 671dfb6ede3c120af748dc40a7daef68 RANDOM SEED=49531424 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29789872 kB Buffers: 102632 kB Cached: 133080 kB SwapCached: 1268 kB Active: 480928 kB Inactive: 168188 kB Active(anon): 415008 kB Inactive(anon): 1064 kB Active(file): 65920 kB Inactive(file): 167124 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100004 kB Dirty: 1596 kB Writeback: 0 kB AnonPages: 2111316 kB Mapped: 15380 kB Shmem: 0 kB Slab: 602684 kB SReclaimable: 46436 kB SUnreclaim: 556248 kB KernelStack: 1608 kB PageTables: 8500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2776524 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 563200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node137 at 2016-06-18 06:22:03