Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 1800.19 | 921.176 |
Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb |
MD5SUM | bd1f23f2ad95dce248911d20ecda08b7 |
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 | 4397958 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
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 | 9765 |
Total number of constraints | 21293 |
Number of constraints which are clauses | 14520 |
Number of constraints which are cardinality constraints (but not clauses) | 23 |
Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 330 |
Number of terms in the objective function | 4005 |
Biggest coefficient in the objective function | 109215352 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 5000695793 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 109215352 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 5000695793 |
Number of bits of the biggest sum of numbers | 33 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.2.0.v20100531 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 1349517296 0.03/0.09 c Max memory 1356595200 0.03/0.09 c Total memory 1356595200 0.03/0.09 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization 0.07/0.12 c ManyCore solver with 2 solvers running in parallel 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c Stops conflict analysis at the first Unique Implication Point 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c Expensive reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c Stops conflict analysis at the first Unique Implication Point 0.07/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 0.07/0.12 c solving HOME/instance-3743968-1338799117.opb 0.07/0.12 c reading problem ... 1.06/0.59 c ... done. Wall clock time 0.465s. 1.06/0.59 c #vars 9765 1.06/0.59 c #constraints 21983 1.06/0.59 c constraints type 1.06/0.59 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.06/0.59 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.06/0.59 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.06/0.59 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.06/0.59 c constraints type 1.06/0.59 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.06/0.59 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.06/0.59 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.06/0.59 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 2.85/1.05 c And the winner is Resolution 3.21/1.62 c SATISFIABLE 3.21/1.62 c OPTIMIZING... 3.21/1.62 c Got one! Elapsed wall clock time (in seconds):1.494 3.21/1.62 o 6093014 3.21/1.69 c And the winner is Resolution 3.51/2.65 c Got one! Elapsed wall clock time (in seconds):2.527 3.51/2.65 o 5464436 3.68/2.71 c And the winner is Resolution 3.77/3.68 c Got one! Elapsed wall clock time (in seconds):3.556 3.77/3.68 o 5463522 3.85/3.75 c And the winner is CuttingPlanes 4.01/4.71 c Got one! Elapsed wall clock time (in seconds):4.584 4.01/4.71 o 5274695 4.01/4.75 c And the winner is Resolution 4.17/5.73 c Got one! Elapsed wall clock time (in seconds):5.608 4.17/5.73 o 5233445 4.33/5.82 c And the winner is Resolution 4.45/6.75 c Got one! Elapsed wall clock time (in seconds):6.63 4.45/6.75 o 5170023 4.62/6.81 c And the winner is Resolution 4.66/7.78 c Got one! Elapsed wall clock time (in seconds):7.654 4.66/7.78 o 4683099 10.27/10.46 c cleaning 2494 clauses out of 4991 with flag 5003/5003 16.41/13.44 c cleaning 4247 clauses out of 8495 with flag 11002/11002 23.56/17.03 c cleaning 5617 clauses out of 11246 with flag 18000/18000 31.97/21.27 c cleaning 6811 clauses out of 13629 with flag 26000/26000 41.89/26.10 c cleaning 7902 clauses out of 15820 with flag 35002/35002 51.89/31.16 c cleaning 8958 clauses out of 17917 with flag 45001/45001 60.93/35.61 c cleaning 9971 clauses out of 19958 with flag 56002/56002 70.34/40.35 c cleaning 10988 clauses out of 21986 with flag 68001/68001 80.68/45.50 c cleaning 11998 clauses out of 23997 with flag 81000/81000 92.65/51.58 c cleaning 12991 clauses out of 25999 with flag 95000/95000 104.22/57.31 c cleaning 13998 clauses out of 28010 with flag 110002/110002 117.49/63.94 c cleaning 15000 clauses out of 30011 with flag 126001/126001 129.48/69.95 c cleaning 15992 clauses out of 32011 with flag 143001/143001 144.03/77.16 c cleaning 17005 clauses out of 34021 with flag 161003/161003 161.05/85.64 c cleaning 18001 clauses out of 36013 with flag 180000/180000 178.10/94.17 c cleaning 19001 clauses out of 38012 with flag 200000/200000 189.22/99.80 c And the winner is Resolution 189.61/100.83 c Got one! Elapsed wall clock time (in seconds):100.707 189.61/100.83 o 4672725 191.99/102.06 c And the winner is Resolution 192.72/102.85 c Got one! Elapsed wall clock time (in seconds):102.73 192.72/102.85 o 4658293 194.66/103.80 c cleaning 20003 clauses out of 40011 with flag 221000/221000 211.68/112.31 c cleaning 20999 clauses out of 42010 with flag 243002/243002 230.86/121.96 c cleaning 21495 clauses out of 43009 with flag 265000/265000 250.09/131.57 c cleaning 21753 clauses out of 43515 with flag 287001/287001 268.60/140.80 c cleaning 21874 clauses out of 43761 with flag 309000/309000 287.18/150.20 c cleaning 21928 clauses out of 43887 with flag 331000/331000 304.36/158.75 c cleaning 21974 clauses out of 43959 with flag 353000/353000 323.60/168.34 c cleaning 21990 clauses out of 43986 with flag 375001/375001 343.55/178.39 c cleaning 21986 clauses out of 43995 with flag 397000/397000 362.73/187.91 c cleaning 22002 clauses out of 44010 with flag 419001/419001 383.03/198.08 c cleaning 21990 clauses out of 44008 with flag 441001/441001 401.09/207.03 c cleaning 21984 clauses out of 44019 with flag 463002/463002 419.39/216.30 c cleaning 22009 clauses out of 44035 with flag 485002/485002 440.49/226.79 c cleaning 21992 clauses out of 44024 with flag 507000/507000 460.76/236.82 c cleaning 21997 clauses out of 44036 with flag 529004/529004 475.32/244.17 c And the winner is Resolution 477.14/246.29 c Got one! Elapsed wall clock time (in seconds):246.172 476.77/246.31 o 4643478 480.19/248.03 c cleaning 22012 clauses out of 44035 with flag 551000/551000 496.53/256.26 c cleaning 22011 clauses out of 44026 with flag 573003/573003 512.89/264.41 c cleaning 21997 clauses out of 44012 with flag 595000/595000 531.06/273.52 c cleaning 22001 clauses out of 44015 with flag 617000/617000 549.47/282.75 c cleaning 22004 clauses out of 44016 with flag 639002/639002 569.17/292.69 c cleaning 21998 clauses out of 44010 with flag 661000/661000 587.20/301.63 c cleaning 21996 clauses out of 44012 with flag 683000/683000 606.41/311.30 c cleaning 22003 clauses out of 44017 with flag 705001/705001 627.38/321.76 c cleaning 21997 clauses out of 44013 with flag 727000/727000 647.88/332.03 c cleaning 22003 clauses out of 44019 with flag 749003/749003 667.71/341.98 c cleaning 21999 clauses out of 44013 with flag 771000/771000 688.11/352.13 c cleaning 21991 clauses out of 44017 with flag 793003/793003 707.78/361.96 c cleaning 22000 clauses out of 44023 with flag 815000/815000 726.83/371.58 c cleaning 22002 clauses out of 44024 with flag 837001/837001 746.86/381.53 c cleaning 21987 clauses out of 44022 with flag 859001/859001 765.78/391.04 c cleaning 22011 clauses out of 44035 with flag 881001/881001 784.39/400.39 c cleaning 21995 clauses out of 44023 with flag 903000/903000 803.58/410.05 c cleaning 21997 clauses out of 44028 with flag 925000/925000 820.73/418.67 c cleaning 22008 clauses out of 44035 with flag 947004/947004 839.52/428.01 c cleaning 21999 clauses out of 44023 with flag 969000/969000 845.81/431.26 c And the winner is Resolution 846.44/433.37 c Got one! Elapsed wall clock time (in seconds):433.243 846.44/433.37 o 4612043 859.90/440.07 c cleaning 22004 clauses out of 44026 with flag 991003/991003 880.11/450.25 c cleaning 22002 clauses out of 44019 with flag 1013000/1013000 883.13/451.80 c And the winner is Resolution 888.73/457.49 c Got one! Elapsed wall clock time (in seconds):457.371 888.73/457.49 o 4611968 900.51/463.39 c cleaning 21988 clauses out of 44020 with flag 1035003/1035003 915.49/470.85 c cleaning 21998 clauses out of 44029 with flag 1057000/1057000 936.83/481.50 c cleaning 22007 clauses out of 44031 with flag 1079000/1079000 957.23/491.85 c cleaning 22003 clauses out of 44026 with flag 1101002/1101002 977.13/501.82 c cleaning 21996 clauses out of 44024 with flag 1123003/1123003 997.75/512.11 c cleaning 22007 clauses out of 44025 with flag 1145000/1145000 1018.18/522.34 c cleaning 21992 clauses out of 44018 with flag 1167000/1167000 1039.26/532.90 c cleaning 22002 clauses out of 44027 with flag 1189001/1189001 1058.22/542.49 c cleaning 22000 clauses out of 44027 with flag 1211003/1211003 1078.77/552.75 c cleaning 21999 clauses out of 44024 with flag 1233000/1233000 1096.51/561.62 c cleaning 21994 clauses out of 44025 with flag 1255000/1255000 1115.34/571.12 c cleaning 22007 clauses out of 44031 with flag 1277000/1277000 1132.90/579.96 c cleaning 21998 clauses out of 44025 with flag 1299001/1299001 1151.85/589.41 c cleaning 21994 clauses out of 44026 with flag 1321000/1321000 1169.97/598.50 c cleaning 22008 clauses out of 44033 with flag 1343001/1343001 1188.98/608.14 c cleaning 22001 clauses out of 44025 with flag 1365001/1365001 1207.72/617.59 c cleaning 21979 clauses out of 44023 with flag 1387000/1387000 1227.50/627.43 c cleaning 21999 clauses out of 44044 with flag 1409000/1409000 1241.18/634.40 c And the winner is Resolution 1240.67/635.44 c Got one! Elapsed wall clock time (in seconds):635.322 1240.67/635.44 o 4591279 1246.92/638.57 c cleaning 22008 clauses out of 44047 with flag 1431002/1431002 1267.52/648.92 c cleaning 22002 clauses out of 44037 with flag 1453000/1453000 1269.04/649.80 c And the winner is Resolution 1272.66/653.47 c Got one! Elapsed wall clock time (in seconds):653.35 1272.66/653.47 o 4556793 1277.36/655.90 c And the winner is Resolution 1278.73/657.50 c Got one! Elapsed wall clock time (in seconds):657.377 1278.73/657.50 o 4527175 1291.24/663.75 c cleaning 22005 clauses out of 44035 with flag 1475000/1475000 1310.76/673.59 c cleaning 22004 clauses out of 44032 with flag 1497002/1497002 1334.93/685.65 c cleaning 21992 clauses out of 44026 with flag 1519000/1519000 1356.52/696.56 c cleaning 22002 clauses out of 44034 with flag 1541000/1541000 1375.17/705.93 c cleaning 22001 clauses out of 44032 with flag 1563000/1563000 1393.83/715.35 c cleaning 21999 clauses out of 44032 with flag 1585001/1585001 1412.10/724.57 c cleaning 22012 clauses out of 44037 with flag 1607005/1607005 1432.91/735.05 c cleaning 21990 clauses out of 44020 with flag 1629000/1629000 1454.65/745.99 c cleaning 22001 clauses out of 44033 with flag 1651003/1651003 1476.52/756.90 c cleaning 22010 clauses out of 44029 with flag 1673000/1673000 1497.69/767.55 c cleaning 22002 clauses out of 44019 with flag 1695000/1695000 1517.40/777.56 c cleaning 21996 clauses out of 44018 with flag 1717001/1717001 1537.11/787.46 c cleaning 22002 clauses out of 44023 with flag 1739002/1739002 1547.31/792.62 c And the winner is Resolution 1551.02/797.33 c Got one! Elapsed wall clock time (in seconds):797.205 1551.02/797.33 o 4477760 1561.47/802.58 c cleaning 22002 clauses out of 44019 with flag 1761001/1761001 1584.24/814.00 c cleaning 22002 clauses out of 44019 with flag 1783003/1783003 1606.94/825.40 c cleaning 21989 clauses out of 44014 with flag 1805000/1805000 1630.85/837.50 c cleaning 21995 clauses out of 44025 with flag 1827000/1827000 1654.98/849.56 c cleaning 22001 clauses out of 44030 with flag 1849000/1849000 1678.73/861.48 c cleaning 22006 clauses out of 44031 with flag 1871002/1871002 1705.27/874.87 c cleaning 21999 clauses out of 44027 with flag 1893004/1893004 1727.84/886.16 c cleaning 22003 clauses out of 44027 with flag 1915003/1915003 1749.30/896.98 c cleaning 21995 clauses out of 44023 with flag 1937002/1937002 1767.73/906.29 c cleaning 21996 clauses out of 44027 with flag 1959001/1959001 1785.46/915.21 c cleaning 22001 clauses out of 44030 with flag 1981000/1981000 1797.03/921.11 c starts : 225 1797.03/921.11 c conflicts : 1995017 1797.03/921.11 c decisions : 4469882 1797.03/921.11 c propagations : 517709322 1797.03/921.11 c inspects : 2312973056 1797.03/921.11 c learnt literals : 17 1797.03/921.11 c learnt binary clauses : 219 1797.03/921.11 c learnt ternary clauses : 4949 1797.03/921.11 c learnt clauses : 1994999 1797.03/921.11 c ignored clauses : 0 1797.03/921.11 c root simplifications : 0 1797.03/921.11 c removed literals (reason simplification) : 22894631 1797.03/921.11 c reason swapping (by a shorter reason) : 0 1797.03/921.11 c Calls to reduceDB : 97 1797.03/921.11 c number of reductions to clauses (during analyze) : 0 1797.03/921.11 c number of learned constraints concerned by reduction : 0 1797.03/921.11 c number of learning phase by resolution : 0 1797.03/921.11 c number of learning phase by cutting planes : 0 1797.03/921.11 c speed (assignments/second) : 4182700.7125890735 1797.03/921.11 c non guided choices 3357 1797.03/921.13 c learnt constraints type 1797.03/921.13 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 35883 1797.03/921.13 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 219 1797.03/921.13 c constraints type 1797.03/921.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1797.03/921.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1797.03/921.13 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1797.03/921.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1797.03/921.13 c constraints type 1797.03/921.13 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1797.03/921.13 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1797.03/921.13 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1797.03/921.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1797.03/921.13 s SATISFIABLE 1797.03/921.14 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 1797.03/921.15 c objective function=4477760 1797.03/921.15 c Total wall clock time (in seconds): 921.032
OK 4477760
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-3743968-1338799117/watcher-3743968-1338799117 -o /tmp/evaluation-result-3743968-1338799117/solver-3743968-1338799117 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743968-1338799117.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.86 2.74 2.75 4/197 10877 /proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/10877/stat : 10877 (java6) R 10875 10877 7918 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 346036603 9515008 182 33554432000 1073741824 1073778376 140734498738176 140734498729208 233220947637 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/10877/statm: 2323 182 140 9 0 71 0 [startup+0.055668 s] /proc/loadavg: 2.86 2.74 2.75 4/197 10877 /proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=2367080 CPUtime=0.03 cores=1,3,5,7 /proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 3728 0 1 0 2 1 0 0 20 0 13 0 346036603 2423889920 4935 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10877/statm: 591770 4935 1700 9 0 582471 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2367080 [startup+0.100237 s] /proc/loadavg: 2.86 2.74 2.75 4/197 10877 /proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=2699928 CPUtime=0.07 cores=1,3,5,7 /proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 4119 0 1 0 6 1 0 0 20 0 18 0 346036603 2764726272 5837 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10877/statm: 674982 5837 1932 9 0 665676 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2699928 [startup+0.300202 s] /proc/loadavg: 2.86 2.74 2.75 4/197 10877 /proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=2699928 CPUtime=0.5 cores=1,3,5,7 /proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 6186 0 1 0 48 2 0 0 20 0 18 0 346036603 2764726272 10172 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10877/statm: 674982 10172 2228 9 0 665676 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 2699928 [startup+0.700198 s] /proc/loadavg: 2.86 2.74 2.75 4/197 10877 /proc/meminfo: memFree=27964988/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=2833056 CPUtime=1.63 cores=1,3,5,7 /proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 14262 0 1 0 157 6 0 0 20 0 20 0 346036603 2901049344 32211 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10877/statm: 708264 32250 2257 9 0 698958 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 2833056 [startup+1.50068 s] /proc/loadavg: 3.11 2.79 2.77 7/219 10899 /proc/meminfo: memFree=27807216/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=2966184 CPUtime=3.2 cores=1,3,5,7 /proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 20621 0 1 0 311 9 0 0 20 0 20 0 346036603 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10877/statm: 741546 43043 2263 9 0 732240 0 [pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.55 cores=1,3,5,7 /proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2835 0 1 0 52 3 0 0 20 0 20 0 346036604 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180787373208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=0.86 cores=1,3,5,7 /proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 5954 0 0 0 85 1 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=0.85 cores=1,3,5,7 /proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 10509 0 0 0 84 1 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 43043 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.2 Current children cumulated vsize (KiB) 2966184 [startup+3.10068 s] /proc/loadavg: 3.11 2.79 2.77 3/217 10901 /proc/meminfo: memFree=27768176/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=2966184 CPUtime=3.77 cores=1,3,5,7 /proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 21438 0 1 0 364 13 0 0 20 0 20 0 346036603 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10877/statm: 741546 58403 2263 9 0 732240 0 [pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.62 cores=1,3,5,7 /proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2838 0 1 0 58 4 0 0 20 0 20 0 346036604 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180787373208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=0.99 cores=1,3,5,7 /proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 5954 0 0 0 98 1 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=0.99 cores=1,3,5,7 /proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11287 0 0 0 97 2 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 58403 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.77 Current children cumulated vsize (KiB) 2966184 [startup+6.30068 s] /proc/loadavg: 3.11 2.79 2.77 3/217 10907 /proc/meminfo: memFree=27679500/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=2966184 CPUtime=4.45 cores=1,3,5,7 /proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 21512 0 1 0 426 19 0 0 20 0 20 0 346036603 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10877/statm: 741546 84973 2265 9 0 732240 0 [pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.7 cores=1,3,5,7 /proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2841 0 1 0 66 4 0 0 20 0 20 0 346036604 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180787373192 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346036605 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036607 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=1.04 cores=1,3,5,7 /proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 5954 0 0 0 103 1 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=1.08 cores=1,3,5,7 /proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11287 0 0 0 106 2 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346036610 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346036674 3037372416 84973 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=5.96 cores=1,3,5,7 /proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 314 0 0 0 586 10 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=5.97 cores=1,3,5,7 /proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 314 0 0 0 586 11 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=6.04 cores=1,3,5,7 /proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 311 0 0 0 595 9 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=6.12 cores=1,3,5,7 /proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 329 0 0 0 601 11 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=5.94 cores=1,3,5,7 /proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 321 0 0 0 585 9 0 0 20 0 22 0 346036605 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=22.41 cores=1,3,5,7 /proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 7541 0 0 0 2144 97 0 0 20 0 22 0 346036607 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=1.29 cores=1,3,5,7 /proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 6047 0 0 0 128 1 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=1.62 cores=1,3,5,7 /proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11307 0 0 0 160 2 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0.47 cores=1,3,5,7 /proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 48 0 0 0 29 18 0 0 20 0 22 0 346036610 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10965] ppid=10875 vsize=2966184 CPUtime=80.49 cores=1,3,5,7 /proc/10877/task/10965/stat : 10965 (java) R 10875 10877 7918 0 -1 4202560 64 0 0 0 8048 1 0 0 20 0 22 0 346116337 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180624190624 140180636610452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10966] ppid=10875 vsize=2966184 CPUtime=80.5 cores=1,3,5,7 /proc/10877/task/10966/stat : 10966 (java) R 10875 10877 7918 0 -1 4202560 81 0 0 0 8049 1 0 0 20 0 22 0 346116337 3037372416 188983 33554432000 1073741824 1073778376 140736338564896 140180625242328 140180636253178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1720.14 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+921.101 s] /proc/loadavg: 2.19 2.35 2.70 3/192 10967 /proc/meminfo: memFree=27929824/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=2966184 CPUtime=1797.03 cores=1,3,5,7 /proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 34322 0 1 0 179443 260 0 0 20 0 22 0 346036603 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10877/statm: 741546 189495 2290 9 0 732240 0 [pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.99 cores=1,3,5,7 /proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2880 0 1 0 94 5 0 0 20 0 22 0 346036604 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180787373192 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=6.35 cores=1,3,5,7 /proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 317 0 0 0 625 10 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=6.16 cores=1,3,5,7 /proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 315 0 0 0 607 9 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=6.32 cores=1,3,5,7 /proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 328 0 0 0 621 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=6.22 cores=1,3,5,7 /proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 315 0 0 0 611 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=6.27 cores=1,3,5,7 /proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 314 0 0 0 616 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=6.33 cores=1,3,5,7 /proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 311 0 0 0 623 10 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=6.43 cores=1,3,5,7 /proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 329 0 0 0 632 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=6.21 cores=1,3,5,7 /proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 321 0 0 0 612 9 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=23.98 cores=1,3,5,7 /proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 8237 0 0 0 2297 101 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=1.29 cores=1,3,5,7 /proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 6047 0 0 0 128 1 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=1.62 cores=1,3,5,7 /proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11307 0 0 0 160 2 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0.49 cores=1,3,5,7 /proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 49 0 0 0 30 19 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10965] ppid=10875 vsize=2966184 CPUtime=116.86 cores=1,3,5,7 /proc/10877/task/10965/stat : 10965 (java) R 10875 10877 7918 0 -1 4202560 91 0 0 0 11685 1 0 0 20 0 22 0 346116337 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180624189856 140180636663639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10966] ppid=10875 vsize=2966184 CPUtime=116.9 cores=1,3,5,7 /proc/10877/task/10966/stat : 10966 (java) R 10875 10877 7918 0 -1 4202560 121 0 0 0 11689 1 0 0 20 0 22 0 346116337 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180625243120 140180636853101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+921.101 s] /proc/loadavg: 2.19 2.35 2.70 3/192 10967 /proc/meminfo: memFree=27929824/32873844 swapFree=7120/7120 [pid=10877] ppid=10875 vsize=2966184 CPUtime=1797.03 cores=1,3,5,7 /proc/10877/stat : 10877 (java) S 10875 10877 7918 0 -1 4202496 34322 0 1 0 179443 260 0 0 20 0 22 0 346036603 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140736338556032 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10877/statm: 741546 189495 2290 9 0 732240 0 [pid=10877/tid=10879] ppid=10875 vsize=2966184 CPUtime=0.99 cores=1,3,5,7 /proc/10877/task/10879/stat : 10879 (java) S 10875 10877 7918 0 -1 4202560 2880 0 1 0 94 5 0 0 20 0 22 0 346036604 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180787373192 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10880] ppid=10875 vsize=2966184 CPUtime=6.35 cores=1,3,5,7 /proc/10877/task/10880/stat : 10880 (java) S 10875 10877 7918 0 -1 4202560 317 0 0 0 625 10 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180771654056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10881] ppid=10875 vsize=2966184 CPUtime=6.16 cores=1,3,5,7 /proc/10877/task/10881/stat : 10881 (java) S 10875 10877 7918 0 -1 4202560 315 0 0 0 607 9 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180770601512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10882] ppid=10875 vsize=2966184 CPUtime=6.32 cores=1,3,5,7 /proc/10877/task/10882/stat : 10882 (java) S 10875 10877 7918 0 -1 4202560 328 0 0 0 621 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180769548456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10883] ppid=10875 vsize=2966184 CPUtime=6.22 cores=1,3,5,7 /proc/10877/task/10883/stat : 10883 (java) S 10875 10877 7918 0 -1 4202560 315 0 0 0 611 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180768495912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10877/tid=10884] ppid=10875 vsize=2966184 CPUtime=6.27 cores=1,3,5,7 /proc/10877/task/10884/stat : 10884 (java) S 10875 10877 7918 0 -1 4202560 314 0 0 0 616 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180767443880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10885] ppid=10875 vsize=2966184 CPUtime=6.33 cores=1,3,5,7 /proc/10877/task/10885/stat : 10885 (java) S 10875 10877 7918 0 -1 4202560 311 0 0 0 623 10 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180766391336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10886] ppid=10875 vsize=2966184 CPUtime=6.43 cores=1,3,5,7 /proc/10877/task/10886/stat : 10886 (java) S 10875 10877 7918 0 -1 4202560 329 0 0 0 632 11 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180765338280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10887] ppid=10875 vsize=2966184 CPUtime=6.21 cores=1,3,5,7 /proc/10877/task/10887/stat : 10887 (java) S 10875 10877 7918 0 -1 4202560 321 0 0 0 612 9 0 0 20 0 22 0 346036605 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180764285736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10888] ppid=10875 vsize=2966184 CPUtime=23.98 cores=1,3,5,7 /proc/10877/task/10888/stat : 10888 (java) S 10875 10877 7918 0 -1 4202560 8237 0 0 0 2297 101 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180633667944 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10889] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10889/stat : 10889 (java) S 10875 10877 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180632614264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10890] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10890/stat : 10890 (java) S 10875 10877 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346036607 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180631561096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10891] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10891/stat : 10891 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180630509840 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10892] ppid=10875 vsize=2966184 CPUtime=1.29 cores=1,3,5,7 /proc/10877/task/10892/stat : 10892 (java) S 10875 10877 7918 0 -1 4202560 6047 0 0 0 128 1 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180629457720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10893] ppid=10875 vsize=2966184 CPUtime=1.62 cores=1,3,5,7 /proc/10877/task/10893/stat : 10893 (java) S 10875 10877 7918 0 -1 4202560 11307 0 0 0 160 2 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180628405176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10877/tid=10894] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10894/stat : 10894 (java) S 10875 10877 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180627352312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10877/tid=10895] ppid=10875 vsize=2966184 CPUtime=0.49 cores=1,3,5,7 /proc/10877/task/10895/stat : 10895 (java) S 10875 10877 7918 0 -1 4202560 49 0 0 0 30 19 0 0 20 0 22 0 346036610 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180626299976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10898] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10898/stat : 10898 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180623139624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10899] ppid=10875 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/10877/task/10899/stat : 10899 (java) S 10875 10877 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346036674 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180622087080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10965] ppid=10875 vsize=2966184 CPUtime=116.86 cores=1,3,5,7 /proc/10877/task/10965/stat : 10965 (java) R 10875 10877 7918 0 -1 4202560 91 0 0 0 11685 1 0 0 20 0 22 0 346116337 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180624189856 140180636663639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10877/tid=10966] ppid=10875 vsize=2966184 CPUtime=116.9 cores=1,3,5,7 /proc/10877/task/10966/stat : 10966 (java) R 10875 10877 7918 0 -1 4202560 121 0 0 0 11689 1 0 0 20 0 22 0 346116337 3037372416 189495 33554432000 1073741824 1073778376 140736338564896 140180625243120 140180636853101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 2966184 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10877 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=158246 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=833569 # CPU time returned by wait4() is 1796.99 # while last known CPU time is 1797.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.16014 # lost CPU user time (s): 3.36995 # lost CPU system time (s): -0.21 Real time (s): 921.176 CPU time (s): 1800.19 CPU user time (s): 1797.8 CPU system time (s): 2.39 CPU usage (%): 195.423 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.16 system time used= 2.83357 maximum resident set size= 758384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34353 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 72106 involuntary context switches= 129161 runsolver used 4.09138 second user time and 8.77467 second system time The end
Begin job on node142 at 2012-06-04 10:38:37 IDJOB=3743968 IDBENCH=92657 IDSOLVER=2324 FILE ID=node142/3743968-1338799117 RUNJOBID= node142-1338781619-7935 PBS_JOBID= 14636832 Free space on /tmp= 71184 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743968-1338799117/watcher-3743968-1338799117 -o /tmp/evaluation-result-3743968-1338799117/solver-3743968-1338799117 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743968-1338799117.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd1f23f2ad95dce248911d20ecda08b7 RANDOM SEED=674890184 node142.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.776 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.55 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.776 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.776 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 : 5391.91 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.776 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.92 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.776 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.90 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.776 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.776 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.776 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: 27964988 kB Buffers: 391740 kB Cached: 2970496 kB SwapCached: 0 kB Active: 2025512 kB Inactive: 2058232 kB Active(anon): 712800 kB Inactive(anon): 11220 kB Active(file): 1312712 kB Inactive(file): 2047012 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 852 kB Writeback: 0 kB AnonPages: 730160 kB Mapped: 18568 kB Shmem: 200 kB Slab: 682452 kB SReclaimable: 124308 kB SUnreclaim: 558144 kB KernelStack: 1712 kB PageTables: 5656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1573264 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 669696 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= 71188 MiB End job on node142 at 2012-06-04 10:54:00