Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 1800.03 | 1794.47 |
Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_5.opb |
MD5SUM | 2c2d9ba6f4bdaebbae04c4ec95210420 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4494319 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
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 | 9940 |
Total number of constraints | 14846 |
Number of constraints which are clauses | 140 |
Number of constraints which are cardinality constraints (but not clauses) | 6 |
Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2415 |
Number of terms in the objective function | 9730 |
Biggest coefficient in the objective function | 160103007 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 89969826346 |
Number of bits of the sum of numbers in the objective function | 37 |
Biggest number in a constraint | 160103007 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 89969826346 |
Number of bits of the biggest sum of numbers | 37 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.08 c version 2.3.2.v20120418 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710387-1338255157.opb 0.09/0.12 c reading problem ... 1.04/0.53 c ... done. Wall clock time 0.412s. 1.04/0.53 c declared #vars 9940 1.04/0.53 c #constraints 24510 1.04/0.53 c constraints type 1.04/0.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.04/0.53 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.04/0.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.04/0.53 c ignored satisfied constraints => 2 1.04/0.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.04/0.53 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.04/0.53 c 24512 constraints processed. 1.26/0.65 c SATISFIABLE 1.26/0.65 c OPTIMIZING... 1.26/0.65 c Got one! Elapsed wall clock time (in seconds):0.525 1.26/0.65 o 144600213 1.80/0.82 c Got one! Elapsed wall clock time (in seconds):0.701 1.80/0.82 o 144594213 3.69/2.57 c Got one! Elapsed wall clock time (in seconds):2.447 3.69/2.57 o 91589871 10.37/9.00 c cleaning 3008 clauses out of 6015 with flag 5022/6025 14.72/13.24 c cleaning 4488 clauses out of 8975 with flag 11000/12003 20.97/19.40 c Got one! Elapsed wall clock time (in seconds):19.28 20.97/19.40 o 37397681 21.58/20.03 c Got one! Elapsed wall clock time (in seconds):19.905 21.58/20.03 o 36794029 22.01/20.44 c cleaning 5295 clauses out of 10593 with flag 1003/18205 25.85/24.26 c cleaning 5633 clauses out of 11287 with flag 7001/24203 26.22/24.57 c Got one! Elapsed wall clock time (in seconds):24.446 26.22/24.57 o 33099471 26.22/24.59 c Got one! Elapsed wall clock time (in seconds):24.47 26.22/24.59 o 25759655 29.32/27.64 c cleaning 5370 clauses out of 10747 with flag 5001/29425 31.14/29.44 c cleaning 5679 clauses out of 11371 with flag 11001/35425 31.64/29.93 c Got one! Elapsed wall clock time (in seconds):29.808 31.64/29.93 o 5672679 33.84/32.18 c cleaning 5156 clauses out of 10316 with flag 4000/40687 35.45/33.79 c cleaning 5570 clauses out of 11144 with flag 10000/46687 37.16/35.48 c cleaning 6278 clauses out of 12574 with flag 17001/53688 40.87/39.14 c cleaning 7122 clauses out of 14253 with flag 25000/61687 43.07/41.37 c cleaning 8061 clauses out of 16123 with flag 34000/70687 45.38/43.64 c cleaning 9024 clauses out of 18052 with flag 44000/80687 49.58/47.86 c cleaning 9979 clauses out of 19978 with flag 55001/91688 52.49/50.75 c cleaning 10986 clauses out of 21982 with flag 67000/103687 55.41/53.69 c cleaning 11985 clauses out of 23997 with flag 80001/116688 61.01/59.28 c cleaning 12967 clauses out of 25942 with flag 94000/130687 64.44/62.66 c cleaning 13978 clauses out of 27973 with flag 109000/145687 68.37/66.59 c cleaning 14990 clauses out of 29994 with flag 125000/161687 72.47/70.63 c cleaning 15988 clauses out of 32004 with flag 142001/178688 79.48/77.60 c cleaning 16972 clauses out of 33964 with flag 160001/196688 84.70/82.85 c cleaning 17982 clauses out of 35971 with flag 179001/215688 89.31/87.49 c cleaning 18983 clauses out of 37985 with flag 199000/235687 95.12/93.21 c cleaning 19994 clauses out of 40000 with flag 220000/256687 102.34/100.42 c cleaning 20993 clauses out of 41987 with flag 242001/278688 107.96/106.03 c cleaning 22004 clauses out of 44012 with flag 265023/301710 115.46/113.53 c cleaning 22981 clauses out of 45974 with flag 289001/325688 122.57/120.66 c cleaning 23981 clauses out of 47986 with flag 314000/350687 131.19/129.24 c cleaning 24984 clauses out of 49991 with flag 340001/376688 138.93/136.97 c cleaning 25992 clauses out of 52006 with flag 367000/403687 147.14/145.11 c cleaning 26982 clauses out of 53980 with flag 395000/431687 154.26/152.20 c cleaning 27986 clauses out of 55996 with flag 424000/460687 161.38/159.31 c cleaning 28992 clauses out of 58008 with flag 454000/490687 168.49/166.50 c cleaning 29998 clauses out of 60017 with flag 485001/521688 175.90/173.83 c cleaning 30997 clauses out of 62013 with flag 517000/553687 185.40/183.30 c cleaning 31999 clauses out of 64016 with flag 550000/586687 193.60/191.55 c cleaning 33002 clauses out of 66018 with flag 584001/620688 202.04/199.98 c cleaning 33998 clauses out of 68015 with flag 619000/655687 212.07/209.97 c cleaning 35001 clauses out of 70010 with flag 655001/691688 220.81/218.60 c cleaning 35989 clauses out of 72009 with flag 692001/728688 229.35/227.11 c cleaning 36998 clauses out of 74019 with flag 730000/766687 239.06/236.83 c cleaning 37999 clauses out of 76021 with flag 769000/805687 248.67/246.43 c cleaning 39006 clauses out of 78021 with flag 809001/845688 259.61/257.38 c cleaning 39999 clauses out of 80014 with flag 850000/886687 268.83/266.52 c cleaning 41002 clauses out of 82017 with flag 892002/928689 279.05/276.73 c cleaning 41997 clauses out of 84014 with flag 935001/971688 294.19/291.85 c cleaning 42995 clauses out of 86006 with flag 979000/1015687 303.62/301.24 c cleaning 43996 clauses out of 88012 with flag 1024001/1060688 316.15/313.76 c cleaning 45002 clauses out of 90016 with flag 1070001/1106688 332.39/329.94 c cleaning 45995 clauses out of 92014 with flag 1117001/1153688 344.71/342.21 c cleaning 46994 clauses out of 94018 with flag 1165000/1201687 357.73/355.29 c cleaning 48001 clauses out of 96024 with flag 1214000/1250687 369.97/367.48 c cleaning 49002 clauses out of 98024 with flag 1264001/1300688 382.81/380.20 c cleaning 49993 clauses out of 100021 with flag 1315000/1351687 395.76/393.13 c cleaning 50997 clauses out of 102028 with flag 1367000/1403687 412.08/409.47 c cleaning 52008 clauses out of 104032 with flag 1420001/1456688 424.90/422.22 c cleaning 52994 clauses out of 106023 with flag 1474000/1510687 437.65/434.95 c cleaning 54002 clauses out of 108029 with flag 1529000/1565687 451.49/448.78 c cleaning 55007 clauses out of 110027 with flag 1585000/1621687 464.92/462.16 c cleaning 55997 clauses out of 112020 with flag 1642000/1678687 478.85/476.01 c cleaning 57002 clauses out of 114024 with flag 1700001/1736688 493.58/490.70 c cleaning 57994 clauses out of 116021 with flag 1759000/1795687 508.83/505.96 c cleaning 58997 clauses out of 118028 with flag 1819001/1855688 522.84/519.94 c cleaning 60000 clauses out of 120031 with flag 1880001/1916688 537.29/534.34 c cleaning 61001 clauses out of 122031 with flag 1942001/1978688 552.73/549.76 c cleaning 62000 clauses out of 124030 with flag 2005001/2041688 569.59/566.53 c cleaning 63004 clauses out of 126024 with flag 2069000/2105687 591.61/588.57 c cleaning 64002 clauses out of 128020 with flag 2134000/2170687 612.13/609.04 c cleaning 64998 clauses out of 130019 with flag 2200001/2236688 632.28/629.14 c cleaning 66002 clauses out of 132020 with flag 2267000/2303687 649.62/646.45 c cleaning 66997 clauses out of 134018 with flag 2335000/2371687 666.85/663.63 c cleaning 68000 clauses out of 136022 with flag 2404001/2440688 685.59/682.30 c cleaning 68998 clauses out of 138022 with flag 2474001/2510688 703.33/700.06 c cleaning 70004 clauses out of 140023 with flag 2545000/2581687 721.47/718.15 c cleaning 70999 clauses out of 142019 with flag 2617000/2653687 740.31/736.95 c cleaning 71999 clauses out of 144020 with flag 2690000/2726687 760.25/756.83 c cleaning 72987 clauses out of 146022 with flag 2764001/2800688 779.29/775.88 c cleaning 73990 clauses out of 148034 with flag 2839000/2875687 798.25/794.70 c cleaning 75000 clauses out of 150045 with flag 2915001/2951688 817.88/814.33 c cleaning 75996 clauses out of 152044 with flag 2992000/3028687 842.11/838.52 c cleaning 77019 clauses out of 154048 with flag 3070000/3106687 861.73/858.11 c cleaning 78006 clauses out of 156029 with flag 3149000/3185687 880.28/876.66 c cleaning 79003 clauses out of 158023 with flag 3229000/3265687 900.50/896.85 c cleaning 79998 clauses out of 160020 with flag 3310000/3346687 919.83/916.16 c cleaning 81005 clauses out of 162023 with flag 3392001/3428688 939.97/936.21 c cleaning 82001 clauses out of 164017 with flag 3475000/3511687 959.74/955.95 c cleaning 83001 clauses out of 166018 with flag 3559002/3595689 982.61/978.75 c cleaning 83999 clauses out of 168015 with flag 3644000/3680687 1004.96/1001.08 c cleaning 85000 clauses out of 170017 with flag 3730001/3766688 1026.21/1022.24 c cleaning 85993 clauses out of 172016 with flag 3817000/3853687 1048.56/1044.55 c cleaning 86998 clauses out of 174023 with flag 3905000/3941687 1071.41/1067.31 c cleaning 87996 clauses out of 176026 with flag 3994001/4030688 1093.34/1089.27 c cleaning 88998 clauses out of 178030 with flag 4084001/4120688 1116.89/1112.74 c cleaning 89995 clauses out of 180032 with flag 4175001/4211688 1140.13/1135.97 c cleaning 90997 clauses out of 182036 with flag 4267000/4303687 1164.26/1160.08 c cleaning 92003 clauses out of 184039 with flag 4360000/4396687 1188.51/1184.28 c cleaning 92995 clauses out of 186036 with flag 4454000/4490687 1215.03/1210.79 c cleaning 94028 clauses out of 188056 with flag 4549015/4585702 1250.96/1246.60 c cleaning 94996 clauses out of 190014 with flag 4645001/4681688 1275.26/1270.82 c cleaning 96000 clauses out of 192017 with flag 4742000/4778687 1299.52/1295.05 c cleaning 96994 clauses out of 194017 with flag 4840000/4876687 1324.06/1319.53 c cleaning 97996 clauses out of 196023 with flag 4939000/4975687 1349.33/1344.73 c cleaning 98995 clauses out of 198028 with flag 5039001/5075688 1377.82/1373.11 c cleaning 100009 clauses out of 200033 with flag 5140001/5176688 1405.61/1400.86 c cleaning 100995 clauses out of 202023 with flag 5242000/5278687 1435.49/1430.63 c cleaning 102006 clauses out of 204029 with flag 5345001/5381688 1465.56/1460.60 c cleaning 102997 clauses out of 206023 with flag 5449001/5485688 1495.74/1490.74 c cleaning 103994 clauses out of 208025 with flag 5554000/5590687 1521.47/1516.46 c cleaning 104990 clauses out of 210032 with flag 5660001/5696688 1548.04/1542.92 c cleaning 105998 clauses out of 212042 with flag 5767001/5803688 1573.70/1568.56 c cleaning 107000 clauses out of 214043 with flag 5875000/5911687 1599.81/1594.65 c cleaning 107993 clauses out of 216044 with flag 5984001/6020688 1625.25/1620.05 c cleaning 109010 clauses out of 218050 with flag 6094000/6130687 1653.78/1648.52 c cleaning 110007 clauses out of 220042 with flag 6205002/6241689 1681.34/1676.01 c cleaning 111001 clauses out of 222034 with flag 6317001/6353688 1711.21/1705.90 c cleaning 111999 clauses out of 224032 with flag 6430000/6466687 1740.78/1735.30 c cleaning 113007 clauses out of 226034 with flag 6544001/6580688 1772.25/1766.70 c cleaning 114003 clauses out of 228027 with flag 6659001/6695688 1800.03/1794.41 c starts : 284 1800.03/1794.41 c conflicts : 6806452 1800.03/1794.41 c decisions : 7581128 1800.03/1794.41 c propagations : 185605338 1800.03/1794.41 c inspects : 3026785468 1800.03/1794.41 c shortcuts : 0 1800.03/1794.41 c learnt literals : 330 1800.03/1794.41 c learnt binary clauses : 603 1800.03/1794.41 c learnt ternary clauses : 1039 1800.03/1794.41 c learnt constraints : 6806122 1800.03/1794.41 c ignored constraints : 0 1800.03/1794.41 c root simplifications : 614 1800.03/1794.41 c removed literals (reason simplification) : 599956021 1800.03/1794.41 c reason swapping (by a shorter reason) : 0 1800.03/1794.41 c Calls to reduceDB : 117 1800.03/1794.41 c number of reductions to clauses (during analyze) : 0 1800.03/1794.41 c number of learned constraints concerned by reduction : 0 1800.03/1794.41 c number of learning phase by resolution : 0 1800.03/1794.41 c number of learning phase by cutting planes : 0 1800.03/1794.41 c speed (assignments/second) : 103466.89879154583 1800.03/1794.41 c non guided choices 7434 1800.03/1794.44 c learnt constraints type 1800.03/1794.44 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 597 1800.03/1794.44 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 224289 1800.03/1794.44 c constraints type 1800.03/1794.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.03/1794.44 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.03/1794.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.03/1794.44 c ignored satisfied constraints => 2 1800.03/1794.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.03/1794.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.03/1794.44 c 24513 constraints processed. 1800.03/1794.44 s SATISFIABLE 1800.03/1794.45 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 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 x9750 -x9751 -x9752 x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 x9820 -x9821 -x9822 x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 1800.03/1794.46 c objective function=5672679 1800.03/1794.46 c Total wall clock time (in seconds): 1794.344
OK 5672679
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3710387-1338255157/watcher-3710387-1338255157 -o /tmp/evaluation-result-3710387-1338255157/solver-3710387-1338255157 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710387-1338255157.opb running on 4 cores: 1,3,5,7 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: 2.00 2.01 1.91 3/194 26554 /proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/26554/stat : 26554 (java) D 26552 26554 26215 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291640261 9515008 182 33554432000 1073741824 1073778376 140734860630272 140734860621304 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/26554/statm: 2323 182 140 9 0 71 0 [startup+0.099498 s] /proc/loadavg: 2.00 2.01 1.91 3/194 26554 /proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 4264 0 1 0 8 1 0 0 20 0 18 0 291640261 9787842560 5472 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2389610 5474 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.100323 s] /proc/loadavg: 2.00 2.01 1.91 3/194 26554 /proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 4276 0 1 0 8 1 0 0 20 0 18 0 291640261 9787842560 5483 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2389610 5484 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300303 s] /proc/loadavg: 2.00 2.01 1.91 3/194 26554 /proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9558440 CPUtime=0.51 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 6506 0 1 0 49 2 0 0 20 0 18 0 291640261 9787842560 10277 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2389610 10305 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558440 [startup+0.700318 s] /proc/loadavg: 2.00 2.01 1.91 3/194 26554 /proc/meminfo: memFree=30078440/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9625004 CPUtime=1.52 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 11200 0 1 0 148 4 0 0 20 0 19 0 291640261 9856004096 25635 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2406251 25635 2250 9 0 2396937 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 9625004 [startup+1.50073 s] /proc/loadavg: 2.08 2.02 1.91 3/213 26573 /proc/meminfo: memFree=29980092/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9625004 CPUtime=2.69 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 12365 0 1 0 265 4 0 0 20 0 19 0 291640261 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2406251 27754 2260 9 0 2396937 0 [pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2549 0 1 0 144 2 0 0 20 0 19 0 291640262 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897168032152 139897034350236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291640264 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4061 0 0 0 56 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4555 0 0 0 61 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 27754 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 9625004 [startup+3.10071 s] /proc/loadavg: 2.08 2.02 1.91 2/193 26576 /proc/meminfo: memFree=30880440/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9625004 CPUtime=4.35 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 12372 0 1 0 431 4 0 0 20 0 19 0 291640261 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2406251 29803 2260 9 0 2396937 0 [pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=3.05 cores=1,3,5,7 /proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2555 0 1 0 303 2 0 0 20 0 19 0 291640262 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897168032280 139897034590565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291640264 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.59 cores=1,3,5,7 /proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4061 0 0 0 59 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.65 cores=1,3,5,7 /proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4555 0 0 0 65 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 29803 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.35 Current children cumulated vsize (KiB) 9625004 [startup+6.30073 s] /proc/loadavg: 2.08 2.02 1.91 3/213 26632 /proc/meminfo: memFree=30791200/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9625004 CPUtime=7.63 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 12419 0 1 0 759 4 0 0 20 0 19 0 291640261 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2406251 32745 2263 9 0 2396937 0 [pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=6.25 cores=1,3,5,7 /proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2564 0 1 0 623 2 0 0 20 0 19 0 291640262 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897168030160 139897033987908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640263 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291640264 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.59 cores=1,3,5,7 /proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4061 0 0 0 59 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4593 0 0 0 73 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 32745 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.63 Current children cumulated vsize (KiB) 9625004 [startup+12.7008 s] ################ # More data... # ################ [pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4083 0 0 0 71 0 0 0 20 0 19 0 291640267 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4598 0 0 0 84 0 0 0 20 0 19 0 291640267 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0.19 cores=1,3,5,7 /proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 95 0 0 0 12 7 0 0 20 0 19 0 291640267 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 78855 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1667.64 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/214 26670 /proc/meminfo: memFree=30372100/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9625004 CPUtime=1727.78 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 14357 0 1 0 172724 54 0 0 20 0 19 0 291640261 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2406251 78868 2290 9 0 2396937 0 [pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=1707.52 cores=1,3,5,7 /proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2688 0 1 0 170712 40 0 0 20 0 19 0 291640262 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897168032048 139897034537501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 217 0 0 0 64 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 156 0 0 0 71 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 182 0 0 0 72 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 213 0 0 0 66 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 201 0 0 0 72 3 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 281 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0.69 cores=1,3,5,7 /proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 138 0 0 0 67 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 115 0 0 0 69 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=8.54 cores=1,3,5,7 /proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 200 0 0 0 850 4 0 0 20 0 19 0 291640264 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4083 0 0 0 71 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4598 0 0 0 84 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0.2 cores=1,3,5,7 /proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 99 0 0 0 12 8 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1727.78 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/213 26671 /proc/meminfo: memFree=30371612/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9625004 CPUtime=1787.92 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 14365 0 1 0 178737 55 0 0 20 0 19 0 291640261 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2406251 78868 2290 9 0 2396937 0 [pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=1767.03 cores=1,3,5,7 /proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2690 0 1 0 176662 41 0 0 20 0 19 0 291640262 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897168032048 139897034761465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0.67 cores=1,3,5,7 /proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 217 0 0 0 65 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0.76 cores=1,3,5,7 /proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 156 0 0 0 74 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 182 0 0 0 73 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 213 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 201 0 0 0 74 3 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 281 0 0 0 73 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 138 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 115 0 0 0 72 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=8.8 cores=1,3,5,7 /proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 202 0 0 0 876 4 0 0 20 0 19 0 291640264 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4083 0 0 0 71 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4598 0 0 0 84 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0.21 cores=1,3,5,7 /proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 103 0 0 0 13 8 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1787.92 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.4 s] /proc/loadavg: 2.00 2.00 1.93 3/213 26671 /proc/meminfo: memFree=30371612/32873844 swapFree=6080/6080 [pid=26554] ppid=26552 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7 /proc/26554/stat : 26554 (java) S 26552 26554 26215 0 -1 4202496 14365 0 1 0 179948 55 0 0 20 0 19 0 291640261 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 140735603198496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26554/statm: 2406251 78868 2290 9 0 2396937 0 [pid=26554/tid=26556] ppid=26552 vsize=9625004 CPUtime=1779.1 cores=1,3,5,7 /proc/26554/task/26556/stat : 26556 (java) R 26552 26554 26215 0 -1 4202560 2690 0 1 0 177867 43 0 0 20 0 19 0 291640262 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897168032048 139897034535894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26557] ppid=26552 vsize=9625004 CPUtime=0.67 cores=1,3,5,7 /proc/26554/task/26557/stat : 26557 (java) S 26552 26554 26215 0 -1 4202560 217 0 0 0 65 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897157094184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26558] ppid=26552 vsize=9625004 CPUtime=0.76 cores=1,3,5,7 /proc/26554/task/26558/stat : 26558 (java) S 26552 26554 26215 0 -1 4202560 156 0 0 0 74 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897156041384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26559] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/26554/task/26559/stat : 26559 (java) S 26552 26554 26215 0 -1 4202560 182 0 0 0 73 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897154989096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26560] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/26554/task/26560/stat : 26560 (java) S 26552 26554 26215 0 -1 4202560 213 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897153936296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26561] ppid=26552 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/26554/task/26561/stat : 26561 (java) S 26552 26554 26215 0 -1 4202560 201 0 0 0 74 3 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897152882984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26562] ppid=26552 vsize=9625004 CPUtime=0.75 cores=1,3,5,7 /proc/26554/task/26562/stat : 26562 (java) S 26552 26554 26215 0 -1 4202560 281 0 0 0 73 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897006143656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26563] ppid=26552 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/26554/task/26563/stat : 26563 (java) S 26552 26554 26215 0 -1 4202560 138 0 0 0 70 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897005091368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26564] ppid=26552 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/26554/task/26564/stat : 26564 (java) S 26552 26554 26215 0 -1 4202560 115 0 0 0 72 2 0 0 20 0 19 0 291640263 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139897004038568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26554/tid=26565] ppid=26552 vsize=9625004 CPUtime=8.8 cores=1,3,5,7 /proc/26554/task/26565/stat : 26565 (java) S 26552 26554 26215 0 -1 4202560 202 0 0 0 876 4 0 0 20 0 19 0 291640264 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896991841000 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26566] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26566/stat : 26566 (java) S 26552 26554 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896990787064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26567] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26567/stat : 26567 (java) S 26552 26554 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291640265 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896989734664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26568] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26568/stat : 26568 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896988683152 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26569] ppid=26552 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/26554/task/26569/stat : 26569 (java) S 26552 26554 26215 0 -1 4202560 4083 0 0 0 71 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896987629752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26554/tid=26570] ppid=26552 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/26554/task/26570/stat : 26570 (java) S 26552 26554 26215 0 -1 4202560 4598 0 0 0 84 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896986576952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26571] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26571/stat : 26571 (java) S 26552 26554 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896985524856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26554/tid=26572] ppid=26552 vsize=9625004 CPUtime=0.21 cores=1,3,5,7 /proc/26554/task/26572/stat : 26572 (java) S 26552 26554 26215 0 -1 4202560 103 0 0 0 13 8 0 0 20 0 19 0 291640267 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896984472264 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26554/tid=26573] ppid=26552 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/26554/task/26573/stat : 26573 (java) S 26552 26554 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640317 9856004096 78868 33554432000 1073741824 1073778376 140735603207360 139896983418280 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26554 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=99103 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=862868 # CPU time returned by wait4() is 1795.96 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1794.47 CPU time (s): 1800.03 CPU user time (s): 1799.48 CPU system time (s): 0.55 CPU usage (%): 100.31 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.1 system time used= 0.862868 maximum resident set size= 315596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14400 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41307 involuntary context switches= 43314 runsolver used 6.51101 second user time and 13.303 second system time The end
Begin job on node139 at 2012-05-29 03:32:37 IDJOB=3710387 IDBENCH=92753 IDSOLVER=2289 FILE ID=node139/3710387-1338255157 RUNJOBID= node139-1338253362-26232 PBS_JOBID= 14624667 Free space on /tmp= 71624 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710387-1338255157/watcher-3710387-1338255157 -o /tmp/evaluation-result-3710387-1338255157/solver-3710387-1338255157 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710387-1338255157.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c2d9ba6f4bdaebbae04c4ec95210420 RANDOM SEED=1151757369 node139.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.750 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 : 5333.50 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.750 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 : 5331.91 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.750 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 : 5331.90 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.750 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 : 5331.91 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.750 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 : 5331.92 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.750 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 : 5331.91 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.750 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 : 5331.91 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.750 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30078332 kB Buffers: 447072 kB Cached: 573824 kB SwapCached: 828 kB Active: 1632196 kB Inactive: 304632 kB Active(anon): 909548 kB Inactive(anon): 7968 kB Active(file): 722648 kB Inactive(file): 296664 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67104692 kB Dirty: 1660 kB Writeback: 0 kB AnonPages: 920564 kB Mapped: 20068 kB Shmem: 8 kB Slab: 718048 kB SReclaimable: 160220 kB SUnreclaim: 557828 kB KernelStack: 1600 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1719204 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 894976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71648 MiB End job on node139 at 2012-05-29 04:02:34