Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 1800.74 | 921.559 |
Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_5_mh_ic.opb |
MD5SUM | 2c36639357988247c648b63af301f230 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2814188 |
Best CPU time to get the best result obtained on this benchmark | 710.67 |
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 | 90518849 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4575401133 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 90518849 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 4575401133 |
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.06/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.10 c See www.sat4j.org for details. 0.06/0.10 c version 2.2.0.v20100531 0.06/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.10 c java.vm.version 19.1-b02 0.06/0.10 c java.vm.vendor Sun Microsystems Inc. 0.06/0.10 c sun.arch.data.model 64 0.06/0.10 c java.version 1.6.0_24 0.06/0.10 c os.name Linux 0.06/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.10 c os.arch amd64 0.06/0.10 c Free memory 1349517296 0.06/0.10 c Max memory 1356595200 0.06/0.10 c Total memory 1356595200 0.06/0.10 c Number of processors 8 0.06/0.13 c Pseudo Boolean Optimization 0.06/0.13 c ManyCore solver with 2 solvers running in parallel 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c Stops conflict analysis at the first Unique Implication Point 0.06/0.13 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.13 c Expensive reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c Stops conflict analysis at the first Unique Implication Point 0.06/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.13 c No reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 0.06/0.13 c solving HOME/instance-3743992-1338799679.opb 0.06/0.13 c reading problem ... 1.27/0.60 c ... done. Wall clock time 0.464s. 1.27/0.60 c #vars 9765 1.27/0.60 c #constraints 21983 1.27/0.60 c constraints type 1.27/0.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.27/0.60 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.27/0.60 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.27/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.27/0.60 c constraints type 1.27/0.60 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.27/0.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.27/0.60 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.27/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 2.85/1.03 c And the winner is Resolution 3.16/1.63 c SATISFIABLE 3.16/1.63 c OPTIMIZING... 3.16/1.63 c Got one! Elapsed wall clock time (in seconds):1.492 3.16/1.63 o 4967377 5.25/2.42 c And the winner is Resolution 5.35/2.66 c Got one! Elapsed wall clock time (in seconds):2.522 5.35/2.66 o 4690482 5.48/2.79 c And the winner is Resolution 5.77/3.68 c Got one! Elapsed wall clock time (in seconds):3.55 5.77/3.68 o 4119923 8.54/5.02 c And the winner is Resolution 8.62/5.71 c Got one! Elapsed wall clock time (in seconds):5.575 8.62/5.71 o 4002338 8.62/5.75 c And the winner is Resolution 8.95/6.73 c Got one! Elapsed wall clock time (in seconds):6.597 8.95/6.73 o 3458267 10.17/7.30 c cleaning 2496 clauses out of 4995 with flag 5000/5000 14.97/9.73 c And the winner is Resolution 15.91/10.75 c Got one! Elapsed wall clock time (in seconds):10.62 15.91/10.75 o 3388926 17.25/11.43 c cleaning 4246 clauses out of 8498 with flag 11000/11000 17.60/11.60 c And the winner is Resolution 17.69/11.78 c Got one! Elapsed wall clock time (in seconds):11.642 17.69/11.78 o 3374389 18.36/12.14 c And the winner is Resolution 18.49/12.80 c Got one! Elapsed wall clock time (in seconds):12.665 18.49/12.80 o 3250579 25.22/16.10 c cleaning 5617 clauses out of 11254 with flag 18002/18002 33.82/20.45 c cleaning 6812 clauses out of 13636 with flag 26001/26001 44.54/25.73 c cleaning 7911 clauses out of 15824 with flag 35001/35001 55.28/31.19 c cleaning 8952 clauses out of 17914 with flag 45002/45002 62.05/34.50 c And the winner is Resolution 62.58/35.85 c Got one! Elapsed wall clock time (in seconds):35.717 62.58/35.85 o 3219505 66.68/37.96 c cleaning 9965 clauses out of 19959 with flag 56000/56000 77.39/43.21 c And the winner is Resolution 77.48/43.87 c Got one! Elapsed wall clock time (in seconds):43.741 77.48/43.87 o 3213277 79.13/44.77 c cleaning 10993 clauses out of 21995 with flag 68001/68001 91.90/51.12 c cleaning 11994 clauses out of 24000 with flag 81000/81000 92.40/51.47 c And the winner is Resolution 93.82/52.95 c Got one! Elapsed wall clock time (in seconds):52.818 93.82/52.95 o 3190117 108.26/60.12 c cleaning 13001 clauses out of 26008 with flag 95002/95002 126.29/69.17 c cleaning 13997 clauses out of 28005 with flag 110000/110000 147.92/79.91 c cleaning 14998 clauses out of 30005 with flag 126002/126002 163.31/87.61 c cleaning 15993 clauses out of 32005 with flag 143000/143000 181.73/96.81 c cleaning 16998 clauses out of 34013 with flag 161001/161001 198.73/105.34 c cleaning 18004 clauses out of 36014 with flag 180000/180000 219.75/115.86 c cleaning 18989 clauses out of 38012 with flag 200002/200002 237.90/124.95 c And the winner is Resolution 240.21/127.12 c Got one! Elapsed wall clock time (in seconds):126.988 240.21/127.12 o 3155117 241.97/128.00 c cleaning 20004 clauses out of 40021 with flag 221000/221000 246.44/130.30 c And the winner is Resolution 246.64/131.20 c Got one! Elapsed wall clock time (in seconds):131.062 246.64/131.20 o 3109120 247.66/131.78 c And the winner is Resolution 248.00/132.22 c Got one! Elapsed wall clock time (in seconds):132.086 248.00/132.22 o 3094767 262.51/139.42 c cleaning 21002 clauses out of 42015 with flag 243000/243000 280.65/148.59 c cleaning 21492 clauses out of 43016 with flag 265003/265003 300.68/158.55 c cleaning 21746 clauses out of 43522 with flag 287001/287001 324.02/170.27 c cleaning 21883 clauses out of 43778 with flag 309003/309003 348.06/182.26 c cleaning 21934 clauses out of 43892 with flag 331000/331000 369.68/193.05 c cleaning 21969 clauses out of 43961 with flag 353003/353003 391.83/204.10 c cleaning 21987 clauses out of 43989 with flag 375000/375000 415.59/216.00 c cleaning 21991 clauses out of 44005 with flag 397003/397003 437.35/226.96 c cleaning 21997 clauses out of 44011 with flag 419000/419000 460.86/238.62 c cleaning 22005 clauses out of 44017 with flag 441003/441003 483.43/249.99 c cleaning 21992 clauses out of 44009 with flag 463000/463000 496.22/256.45 c And the winner is Resolution 497.34/257.44 c Got one! Elapsed wall clock time (in seconds):257.31 497.34/257.44 o 3077255 505.11/261.32 c And the winner is Resolution 510.68/267.47 c Got one! Elapsed wall clock time (in seconds):267.336 510.68/267.47 o 3066465 510.94/267.68 c cleaning 22005 clauses out of 44017 with flag 485000/485000 514.75/269.66 c And the winner is Resolution 515.16/270.49 c Got one! Elapsed wall clock time (in seconds):270.361 515.16/270.49 o 3063558 517.38/271.65 c And the winner is Resolution 517.54/272.52 c Got one! Elapsed wall clock time (in seconds):272.387 517.54/272.52 o 3041520 533.46/280.47 c cleaning 21995 clauses out of 44012 with flag 507002/507002 553.85/290.69 c cleaning 21996 clauses out of 44015 with flag 529000/529000 575.26/301.32 c cleaning 22004 clauses out of 44020 with flag 551001/551001 578.31/303.03 c And the winner is Resolution 578.79/303.94 c Got one! Elapsed wall clock time (in seconds):303.804 578.79/303.94 o 3022015 581.35/305.25 c And the winner is Resolution 582.01/305.96 c Got one! Elapsed wall clock time (in seconds):305.829 582.01/305.96 o 2998446 596.83/313.39 c cleaning 22000 clauses out of 44015 with flag 573001/573001 618.01/323.96 c cleaning 21993 clauses out of 44014 with flag 595000/595000 638.93/334.48 c cleaning 21997 clauses out of 44021 with flag 617000/617000 660.42/345.21 c cleaning 22002 clauses out of 44024 with flag 639000/639000 682.06/356.14 c cleaning 22001 clauses out of 44022 with flag 661000/661000 704.34/367.26 c cleaning 22005 clauses out of 44023 with flag 683002/683002 726.88/378.52 c cleaning 21999 clauses out of 44016 with flag 705000/705000 751.03/390.62 c cleaning 22005 clauses out of 44019 with flag 727002/727002 774.18/402.30 c cleaning 21995 clauses out of 44015 with flag 749003/749003 797.76/414.14 c cleaning 21987 clauses out of 44018 with flag 771001/771001 821.58/426.05 c cleaning 22004 clauses out of 44031 with flag 793001/793001 844.58/437.58 c cleaning 22009 clauses out of 44026 with flag 815000/815000 867.09/448.96 c cleaning 21998 clauses out of 44017 with flag 837000/837000 889.29/460.02 c cleaning 21994 clauses out of 44020 with flag 859001/859001 913.24/472.02 c cleaning 22003 clauses out of 44025 with flag 881000/881000 938.02/484.44 c cleaning 21999 clauses out of 44023 with flag 903001/903001 960.54/495.85 c cleaning 22003 clauses out of 44023 with flag 925000/925000 985.72/508.46 c cleaning 22004 clauses out of 44021 with flag 947001/947001 1009.04/520.15 c cleaning 21999 clauses out of 44017 with flag 969001/969001 1030.59/530.90 c cleaning 21990 clauses out of 44017 with flag 991000/991000 1052.20/541.81 c cleaning 22003 clauses out of 44027 with flag 1013000/1013000 1075.86/553.80 c cleaning 22000 clauses out of 44028 with flag 1035004/1035004 1100.62/566.15 c cleaning 21996 clauses out of 44024 with flag 1057000/1057000 1122.96/577.39 c cleaning 21998 clauses out of 44029 with flag 1079001/1079001 1147.31/589.64 c cleaning 22006 clauses out of 44030 with flag 1101000/1101000 1170.41/601.22 c cleaning 21993 clauses out of 44024 with flag 1123000/1123000 1193.06/612.61 c cleaning 22000 clauses out of 44033 with flag 1145002/1145002 1201.22/616.87 c And the winner is Resolution 1202.65/617.99 c Got one! Elapsed wall clock time (in seconds):617.856 1202.65/617.99 o 2991816 1213.82/623.53 c cleaning 22000 clauses out of 44032 with flag 1167001/1167001 1233.32/633.46 c cleaning 21997 clauses out of 44031 with flag 1189000/1189000 1257.05/645.30 c cleaning 22008 clauses out of 44038 with flag 1211004/1211004 1282.18/657.91 c cleaning 22005 clauses out of 44028 with flag 1233002/1233002 1309.55/671.62 c cleaning 21990 clauses out of 44023 with flag 1255002/1255002 1336.03/685.06 c cleaning 22011 clauses out of 44033 with flag 1277002/1277002 1360.38/697.22 c cleaning 21991 clauses out of 44020 with flag 1299000/1299000 1384.28/709.22 c cleaning 22011 clauses out of 44029 with flag 1321000/1321000 1409.33/721.82 c cleaning 22006 clauses out of 44020 with flag 1343002/1343002 1431.14/732.93 c cleaning 22000 clauses out of 44012 with flag 1365000/1365000 1454.63/744.74 c cleaning 21993 clauses out of 44013 with flag 1387001/1387001 1475.05/755.01 c cleaning 21996 clauses out of 44022 with flag 1409003/1409003 1496.90/766.09 c cleaning 21997 clauses out of 44027 with flag 1431004/1431004 1517.06/776.36 c And the winner is Resolution 1517.85/777.69 c Got one! Elapsed wall clock time (in seconds):777.561 1517.85/777.69 o 2968936 1519.90/778.76 c cleaning 22005 clauses out of 44026 with flag 1453000/1453000 1539.11/788.40 c cleaning 22004 clauses out of 44021 with flag 1475000/1475000 1562.68/800.26 c cleaning 22002 clauses out of 44018 with flag 1497001/1497001 1584.73/811.36 c cleaning 21996 clauses out of 44016 with flag 1519001/1519001 1608.57/823.48 c cleaning 21992 clauses out of 44019 with flag 1541000/1541000 1629.63/834.07 c cleaning 22003 clauses out of 44027 with flag 1563000/1563000 1650.65/844.66 c cleaning 22002 clauses out of 44026 with flag 1585002/1585002 1672.74/855.75 c cleaning 22005 clauses out of 44023 with flag 1607001/1607001 1697.74/868.41 c cleaning 21995 clauses out of 44018 with flag 1629001/1629001 1723.21/881.22 c cleaning 22001 clauses out of 44022 with flag 1651000/1651000 1747.65/893.54 c cleaning 21993 clauses out of 44022 with flag 1673001/1673001 1772.29/905.94 c cleaning 22010 clauses out of 44029 with flag 1695001/1695001 1791.04/915.51 c And the winner is Resolution 1791.32/916.62 c Got one! Elapsed wall clock time (in seconds):916.489 1791.32/916.62 o 2966222 1792.07/917.05 c And the winner is Resolution 1792.73/917.65 c Got one! Elapsed wall clock time (in seconds):917.516 1792.73/917.65 o 2827160 1797.89/920.21 c cleaning 21999 clauses out of 44018 with flag 1717000/1717000 1800.12/921.51 c starts : 230 1800.12/921.51 c conflicts : 1718486 1800.12/921.51 c decisions : 3812757 1800.12/921.51 c propagations : 505305380 1800.12/921.51 c inspects : 2162973431 1800.12/921.51 c learnt literals : 18 1800.12/921.51 c learnt binary clauses : 142 1800.12/921.51 c learnt ternary clauses : 852 1800.12/921.51 c learnt clauses : 1718467 1800.12/921.51 c ignored clauses : 0 1800.12/921.51 c root simplifications : 0 1800.12/921.51 c removed literals (reason simplification) : 19432303 1800.12/921.51 c reason swapping (by a shorter reason) : 0 1800.12/921.51 c Calls to reduceDB : 85 1800.12/921.51 c number of reductions to clauses (during analyze) : 0 1800.12/921.51 c number of learned constraints concerned by reduction : 0 1800.12/921.51 c number of learning phase by resolution : 0 1800.12/921.51 c number of learning phase by cutting planes : 0 1800.12/921.51 c speed (assignments/second) : 1.311800054517134E8 1800.12/921.51 c non guided choices 5312 1800.12/921.52 c learnt constraints type 1800.12/921.52 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 23392 1800.12/921.52 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 142 1800.12/921.52 c constraints type 1800.12/921.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.12/921.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.12/921.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.12/921.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1800.12/921.52 c constraints type 1800.12/921.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1800.12/921.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1800.12/921.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1800.12/921.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1800.12/921.52 s SATISFIABLE 1800.12/921.54 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 1800.12/921.55 c objective function=2827160 1800.12/921.55 c Total wall clock time (in seconds): 921.414
OK 2827160
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-3743992-1338799679/watcher-3743992-1338799679 -o /tmp/evaluation-result-3743992-1338799679/solver-3743992-1338799679 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743992-1338799679.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.20 3/195 26738 /proc/meminfo: memFree=26858280/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/26738/stat : 26738 (java6) D 26736 26738 24174 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 346092660 278528 33 33554432000 1073741824 1073778376 140733464402896 140733464400072 215134334247 0 0 4096 0 18446744072100748580 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 68 33 25 9 0 25 0 [startup+0.0123791 s] /proc/loadavg: 2.00 2.01 2.20 3/195 26738 /proc/meminfo: memFree=26858280/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/26738/stat : 26738 (java) D 26736 26738 24174 0 -1 4202496 298 0 0 0 0 0 0 0 20 0 1 0 346092660 2560000 46 33554432000 1073741824 1073778376 140735930655040 140735930652168 215134334247 0 0 4096 0 18446744072100748580 0 0 17 3 0 0 0 0 0 /proc/26738/statm: 625 46 37 9 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2500 [startup+0.100302 s] /proc/loadavg: 2.00 2.01 2.20 3/195 26738 /proc/meminfo: memFree=26858280/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2699928 CPUtime=0.06 cores=1,3,5,7 /proc/26738/stat : 26738 (java) S 26736 26738 24174 0 -1 4202496 3896 0 1 0 5 1 0 0 20 0 18 0 346092660 2764726272 5615 33554432000 1073741824 1073778376 140735930655040 140735930646176 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 674982 5615 1772 9 0 665676 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2699928 [startup+0.300278 s] /proc/loadavg: 2.00 2.01 2.20 3/195 26738 /proc/meminfo: memFree=26858280/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2699928 CPUtime=0.46 cores=1,3,5,7 /proc/26738/stat : 26738 (java) S 26736 26738 24174 0 -1 4202496 5791 0 1 0 44 2 0 0 20 0 18 0 346092660 2764726272 9598 33554432000 1073741824 1073778376 140735930655040 140735930646176 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 674982 9598 2226 9 0 665676 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 2699928 [startup+0.70021 s] /proc/loadavg: 2.00 2.01 2.20 3/195 26738 /proc/meminfo: memFree=26858280/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2833056 CPUtime=1.63 cores=1,3,5,7 /proc/26738/stat : 26738 (java) S 26736 26738 24174 0 -1 4202496 13328 0 1 0 157 6 0 0 20 0 20 0 346092660 2901049344 32281 33554432000 1073741824 1073778376 140735930655040 140735930646176 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 708264 32281 2257 9 0 698958 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 2833056 [startup+1.50073 s] /proc/loadavg: 2.16 2.04 2.21 6/217 26760 /proc/meminfo: memFree=26707188/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2966184 CPUtime=3.16 cores=1,3,5,7 /proc/26738/stat : 26738 (java) S 26736 26738 24174 0 -1 4202496 18592 0 1 0 308 8 0 0 20 0 20 0 346092660 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140735930646176 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 741546 44089 2261 9 0 732240 0 [pid=26738/tid=26740] ppid=26736 vsize=2966184 CPUtime=0.55 cores=1,3,5,7 /proc/26738/task/26740/stat : 26740 (java) S 26736 26738 24174 0 -1 4202560 2830 0 1 0 53 2 0 0 20 0 20 0 346092661 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299232584856 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26741] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26741/stat : 26741 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299216866088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26742] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26742/stat : 26742 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299215813288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26743] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26743/stat : 26743 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299214761000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26744] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26744/stat : 26744 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299213708200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26745] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26745/stat : 26745 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299212654888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26746] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26746/stat : 26746 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299211602088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26747] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26747/stat : 26747 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299210549800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26748] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26748/stat : 26748 (java) S 26736 26738 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299209497000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26749] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26749/stat : 26749 (java) S 26736 26738 24174 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 346092664 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299078707944 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26750] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26750/stat : 26750 (java) S 26736 26738 24174 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346092665 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299077654008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26751] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26751/stat : 26751 (java) S 26736 26738 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346092665 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299076601608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26752] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26752/stat : 26752 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092668 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299075550096 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26753] ppid=26736 vsize=2966184 CPUtime=0.81 cores=1,3,5,7 /proc/26738/task/26753/stat : 26753 (java) S 26736 26738 24174 0 -1 4202560 5179 0 0 0 80 1 0 0 20 0 20 0 346092668 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299074496696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26754] ppid=26736 vsize=2966184 CPUtime=0.84 cores=1,3,5,7 /proc/26738/task/26754/stat : 26754 (java) S 26736 26738 24174 0 -1 4202560 9261 0 0 0 81 3 0 0 20 0 20 0 346092668 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299073443896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26755] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26755/stat : 26755 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092668 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299072391800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26756] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26756/stat : 26756 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092668 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299071339208 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26759] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26759/stat : 26759 (java) S 26736 26738 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346092731 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140299068180136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26760] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26760/stat : 26760 (java) S 26736 26738 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346092731 3037372416 44089 33554432000 1073741824 1073778376 140735930655040 140297791071784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.16 Current children cumulated vsize (KiB) 2966184 [startup+3.10073 s] /proc/loadavg: 2.16 2.04 2.21 4/217 26762 /proc/meminfo: memFree=26500896/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2966184 CPUtime=5.77 cores=1,3,5,7 /proc/26738/stat : 26738 (java) S 26736 26738 24174 0 -1 4202496 22540 0 1 0 558 19 0 0 20 0 20 0 346092660 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140735930646176 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 741546 100949 2276 9 0 732240 0 [pid=26738/tid=26740] ppid=26736 vsize=2966184 CPUtime=0.62 cores=1,3,5,7 /proc/26738/task/26740/stat : 26740 (java) S 26736 26738 24174 0 -1 4202560 2831 0 1 0 59 3 0 0 20 0 20 0 346092661 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299232584856 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26741] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26741/stat : 26741 (java) S 26736 26738 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299216866088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26742] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26742/stat : 26742 (java) S 26736 26738 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299215813288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26743] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26743/stat : 26743 (java) S 26736 26738 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299214761000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26744] ppid=26736 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/26738/task/26744/stat : 26744 (java) S 26736 26738 24174 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 20 0 346092663 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299213708200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26745] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26745/stat : 26745 (java) S 26736 26738 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299212654888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26746] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26746/stat : 26746 (java) S 26736 26738 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299211602088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26747] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26747/stat : 26747 (java) S 26736 26738 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299210549800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26748] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26748/stat : 26748 (java) S 26736 26738 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346092663 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299209497000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26749] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26749/stat : 26749 (java) S 26736 26738 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346092664 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299078707944 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26750] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26750/stat : 26750 (java) S 26736 26738 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346092665 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299077654008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26751] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26751/stat : 26751 (java) S 26736 26738 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346092665 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299076601608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26752] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26752/stat : 26752 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092668 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299075550096 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26753] ppid=26736 vsize=2966184 CPUtime=1.21 cores=1,3,5,7 /proc/26738/task/26753/stat : 26753 (java) S 26736 26738 24174 0 -1 4202560 8001 0 0 0 119 2 0 0 20 0 20 0 346092668 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299074496696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26754] ppid=26736 vsize=2966184 CPUtime=1.09 cores=1,3,5,7 /proc/26738/task/26754/stat : 26754 (java) S 26736 26738 24174 0 -1 4202560 10208 0 0 0 106 3 0 0 20 0 20 0 346092668 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299073443896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26755] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26755/stat : 26755 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092668 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299072391800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26756] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26756/stat : 26756 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092668 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299071339208 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26759] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26759/stat : 26759 (java) S 26736 26738 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346092731 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140299068180136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26760] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26760/stat : 26760 (java) S 26736 26738 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346092731 3037372416 100949 33554432000 1073741824 1073778376 140735930655040 140297791071784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 5.77 Current children cumulated vsize (KiB) 2966184 [startup+6.30072 s] /proc/loadavg: 2.16 2.04 2.21 2/215 26766 /proc/meminfo: memFree=26437920/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2966184 CPUtime=8.95 cores=1,3,5,7 /proc/26738/stat : 26738 (java) S 26736 26738 24174 0 -1 4202496 22884 0 1 0 869 26 0 0 20 0 20 0 346092660 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140735930646176 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 741546 106765 2278 9 0 732240 0 [pid=26738/tid=26740] ppid=26736 vsize=2966184 CPUtime=0.67 cores=1,3,5,7 /proc/26738/task/26740/stat : 26740 (java) S 26736 26738 24174 0 -1 4202560 2832 0 1 0 64 3 0 0 20 0 20 0 346092661 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299232584872 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26741] ppid=26736 vsize=2966184 CPUtime=0.02 cores=1,3,5,7 /proc/26738/task/26741/stat : 26741 (java) S 26736 26738 24174 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 20 0 346092663 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299216866088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26742] ppid=26736 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/26738/task/26742/stat : 26742 (java) S 26736 26738 24174 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 20 0 346092663 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299215813288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26743] ppid=26736 vsize=2966184 CPUtime=0.02 cores=1,3,5,7 /proc/26738/task/26743/stat : 26743 (java) S 26736 26738 24174 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 20 0 346092663 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299214761000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26744] ppid=26736 vsize=2966184 CPUtime=0.04 cores=1,3,5,7 /proc/26738/task/26744/stat : 26744 (java) S 26736 26738 24174 0 -1 4202560 16 0 0 0 2 2 0 0 20 0 20 0 346092663 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299213708200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26745] ppid=26736 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/26738/task/26745/stat : 26745 (java) S 26736 26738 24174 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 20 0 346092663 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299212654888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26746] ppid=26736 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/26738/task/26746/stat : 26746 (java) S 26736 26738 24174 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 20 0 346092663 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299211602088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26747] ppid=26736 vsize=2966184 CPUtime=0.03 cores=1,3,5,7 /proc/26738/task/26747/stat : 26747 (java) S 26736 26738 24174 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 20 0 346092663 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299210549800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26748] ppid=26736 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/26738/task/26748/stat : 26748 (java) S 26736 26738 24174 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 20 0 346092663 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299209497000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26749] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26749/stat : 26749 (java) S 26736 26738 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346092664 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299078707944 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26750] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26750/stat : 26750 (java) S 26736 26738 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346092665 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299077654008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26751] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26751/stat : 26751 (java) S 26736 26738 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346092665 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299076601608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26752] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26752/stat : 26752 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092668 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299075550096 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26753] ppid=26736 vsize=2966184 CPUtime=1.31 cores=1,3,5,7 /proc/26738/task/26753/stat : 26753 (java) S 26736 26738 24174 0 -1 4202560 8284 0 0 0 129 2 0 0 20 0 20 0 346092668 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299074496696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26754] ppid=26736 vsize=2966184 CPUtime=1.19 cores=1,3,5,7 /proc/26738/task/26754/stat : 26754 (java) S 26736 26738 24174 0 -1 4202560 10208 0 0 0 116 3 0 0 20 0 20 0 346092668 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299073443896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26755] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26755/stat : 26755 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092668 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299072391800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26756] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26756/stat : 26756 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346092668 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299071339208 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26759] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26759/stat : 26759 (java) S 26736 26738 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346092731 3037372416 106765 33554432000 1073741824 1073778376 140735930655040 140299068180136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=26738/tid=26760] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26760/stat : 26760 (java) S 26736 26738 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346092731 3037372416 196423 33554432000 1073741824 1073778376 140735930655040 140297791071784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26974] ppid=26736 vsize=2966184 CPUtime=41.95 cores=1,3,5,7 /proc/26738/task/26974/stat : 26974 (java) R 26736 26738 24174 0 -1 4202560 36 0 0 0 4195 0 0 0 20 0 22 0 346170430 3037372416 196423 33554432000 1073741824 1073778376 140735930655040 140299070283328 140299084271152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26975] ppid=26736 vsize=2966184 CPUtime=41.96 cores=1,3,5,7 /proc/26738/task/26975/stat : 26975 (java) R 26736 26738 24174 0 -1 4202560 34 0 0 0 4196 0 0 0 20 0 22 0 346170431 3037372416 196423 33554432000 1073741824 1073778376 140735930655040 140299069229744 140299084015079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1606.32 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 3.83 3.60 3.03 5/221 26999 /proc/meminfo: memFree=27116040/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2966184 CPUtime=1725.02 cores=1,3,5,7 /proc/26738/stat : 26738 (java) S 26736 26738 24174 0 -1 4202496 37419 0 1 0 172244 258 0 0 20 0 22 0 346092660 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140735930646176 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 741546 198471 2290 9 0 732240 0 [pid=26738/tid=26740] ppid=26736 vsize=2966184 CPUtime=1.12 cores=1,3,5,7 /proc/26738/task/26740/stat : 26740 (java) S 26736 26738 24174 0 -1 4202560 2860 0 1 0 108 4 0 0 20 0 22 0 346092661 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299232584872 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26741] ppid=26736 vsize=2966184 CPUtime=6.13 cores=1,3,5,7 /proc/26738/task/26741/stat : 26741 (java) S 26736 26738 24174 0 -1 4202560 311 0 0 0 605 8 0 0 20 0 22 0 346092663 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299216866088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26742] ppid=26736 vsize=2966184 CPUtime=6.08 cores=1,3,5,7 /proc/26738/task/26742/stat : 26742 (java) S 26736 26738 24174 0 -1 4202560 316 0 0 0 596 12 0 0 20 0 22 0 346092663 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299215813288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26743] ppid=26736 vsize=2966184 CPUtime=5.94 cores=1,3,5,7 /proc/26738/task/26743/stat : 26743 (java) S 26736 26738 24174 0 -1 4202560 317 0 0 0 585 9 0 0 20 0 22 0 346092663 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299214761000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26744] ppid=26736 vsize=2966184 CPUtime=6.2 cores=1,3,5,7 /proc/26738/task/26744/stat : 26744 (java) S 26736 26738 24174 0 -1 4202560 321 0 0 0 610 10 0 0 20 0 22 0 346092663 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299213708200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26745] ppid=26736 vsize=2966184 CPUtime=5.96 cores=1,3,5,7 /proc/26738/task/26745/stat : 26745 (java) S 26736 26738 24174 0 -1 4202560 313 0 0 0 586 10 0 0 20 0 22 0 346092663 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299212654888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26746] ppid=26736 vsize=2966184 CPUtime=6.19 cores=1,3,5,7 /proc/26738/task/26746/stat : 26746 (java) S 26736 26738 24174 0 -1 4202560 312 0 0 0 608 11 0 0 20 0 22 0 346092663 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299211602088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26747] ppid=26736 vsize=2966184 CPUtime=6.1 cores=1,3,5,7 /proc/26738/task/26747/stat : 26747 (java) S 26736 26738 24174 0 -1 4202560 322 0 0 0 600 10 0 0 20 0 22 0 346092663 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299210549800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26748] ppid=26736 vsize=2966184 CPUtime=6.19 cores=1,3,5,7 /proc/26738/task/26748/stat : 26748 (java) S 26736 26738 24174 0 -1 4202560 315 0 0 0 610 9 0 0 20 0 22 0 346092663 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299209497000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26749] ppid=26736 vsize=2966184 CPUtime=25.2 cores=1,3,5,7 /proc/26738/task/26749/stat : 26749 (java) S 26736 26738 24174 0 -1 4202560 10198 0 0 0 2444 76 0 0 20 0 22 0 346092664 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299078707944 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26750] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26750/stat : 26750 (java) S 26736 26738 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346092665 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299077654008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26751] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26751/stat : 26751 (java) S 26736 26738 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346092665 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299076601608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26752] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26752/stat : 26752 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346092668 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299075550096 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26753] ppid=26736 vsize=2966184 CPUtime=1.62 cores=1,3,5,7 /proc/26738/task/26753/stat : 26753 (java) S 26736 26738 24174 0 -1 4202560 8592 0 0 0 160 2 0 0 20 0 22 0 346092668 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299074496696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26754] ppid=26736 vsize=2966184 CPUtime=1.3 cores=1,3,5,7 /proc/26738/task/26754/stat : 26754 (java) S 26736 26738 24174 0 -1 4202560 10213 0 0 0 127 3 0 0 20 0 22 0 346092668 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299073443896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26755] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26755/stat : 26755 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346092668 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299072391800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26756] ppid=26736 vsize=2966184 CPUtime=0.44 cores=1,3,5,7 /proc/26738/task/26756/stat : 26756 (java) S 26736 26738 24174 0 -1 4202560 51 0 0 0 22 22 0 0 20 0 22 0 346092668 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299071339208 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26759] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26759/stat : 26759 (java) S 26736 26738 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346092731 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299068180136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26760] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26760/stat : 26760 (java) S 26736 26738 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346092731 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140297791071784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26974] ppid=26736 vsize=2966184 CPUtime=98.15 cores=1,3,5,7 /proc/26738/task/26974/stat : 26974 (java) R 26736 26738 24174 0 -1 4202560 75 0 0 0 9812 3 0 0 20 0 22 0 346170430 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299070283216 140299083861771 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26975] ppid=26736 vsize=2966184 CPUtime=98.17 cores=1,3,5,7 /proc/26738/task/26975/stat : 26975 (java) R 26736 26738 24174 0 -1 4202560 82 0 0 0 9816 1 0 0 20 0 22 0 346170431 3037372416 198471 33554432000 1073741824 1073778376 140735930655040 140299069229280 140299084023257 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1725.02 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+921.501 s] /proc/loadavg: 3.54 3.56 3.04 5/221 27003 /proc/meminfo: memFree=27103380/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2966184 CPUtime=1800.12 cores=1,3,5,7 /proc/26738/stat : 26738 (java) S 26736 26738 24174 0 -1 4202496 37635 0 1 0 179742 270 0 0 20 0 22 0 346092660 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140735930646176 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 741546 201030 2290 9 0 732240 0 [pid=26738/tid=26740] ppid=26736 vsize=2966184 CPUtime=1.18 cores=1,3,5,7 /proc/26738/task/26740/stat : 26740 (java) S 26736 26738 24174 0 -1 4202560 2862 0 1 0 113 5 0 0 20 0 22 0 346092661 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299232584872 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26741] ppid=26736 vsize=2966184 CPUtime=6.36 cores=1,3,5,7 /proc/26738/task/26741/stat : 26741 (java) S 26736 26738 24174 0 -1 4202560 311 0 0 0 628 8 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299216866088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26742] ppid=26736 vsize=2966184 CPUtime=6.32 cores=1,3,5,7 /proc/26738/task/26742/stat : 26742 (java) S 26736 26738 24174 0 -1 4202560 318 0 0 0 620 12 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299215813288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26743] ppid=26736 vsize=2966184 CPUtime=6.22 cores=1,3,5,7 /proc/26738/task/26743/stat : 26743 (java) S 26736 26738 24174 0 -1 4202560 319 0 0 0 612 10 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299214761000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26744] ppid=26736 vsize=2966184 CPUtime=6.48 cores=1,3,5,7 /proc/26738/task/26744/stat : 26744 (java) S 26736 26738 24174 0 -1 4202560 325 0 0 0 638 10 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299213708200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26745] ppid=26736 vsize=2966184 CPUtime=6.17 cores=1,3,5,7 /proc/26738/task/26745/stat : 26745 (java) S 26736 26738 24174 0 -1 4202560 316 0 0 0 607 10 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299212654888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26746] ppid=26736 vsize=2966184 CPUtime=6.44 cores=1,3,5,7 /proc/26738/task/26746/stat : 26746 (java) S 26736 26738 24174 0 -1 4202560 314 0 0 0 633 11 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299211602088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26747] ppid=26736 vsize=2966184 CPUtime=6.37 cores=1,3,5,7 /proc/26738/task/26747/stat : 26747 (java) S 26736 26738 24174 0 -1 4202560 323 0 0 0 627 10 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299210549800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26748] ppid=26736 vsize=2966184 CPUtime=6.43 cores=1,3,5,7 /proc/26738/task/26748/stat : 26748 (java) S 26736 26738 24174 0 -1 4202560 316 0 0 0 634 9 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299209497000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26749] ppid=26736 vsize=2966184 CPUtime=26.73 cores=1,3,5,7 /proc/26738/task/26749/stat : 26749 (java) S 26736 26738 24174 0 -1 4202560 10341 0 0 0 2594 79 0 0 20 0 22 0 346092664 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299078707944 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26750] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26750/stat : 26750 (java) S 26736 26738 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346092665 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299077654008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26751] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26751/stat : 26751 (java) S 26736 26738 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346092665 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299076601608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26752] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26752/stat : 26752 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299075550096 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26753] ppid=26736 vsize=2966184 CPUtime=1.62 cores=1,3,5,7 /proc/26738/task/26753/stat : 26753 (java) S 26736 26738 24174 0 -1 4202560 8592 0 0 0 160 2 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299074496696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26754] ppid=26736 vsize=2966184 CPUtime=1.3 cores=1,3,5,7 /proc/26738/task/26754/stat : 26754 (java) S 26736 26738 24174 0 -1 4202560 10213 0 0 0 127 3 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299073443896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26755] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26755/stat : 26755 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299072391800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26756] ppid=26736 vsize=2966184 CPUtime=0.46 cores=1,3,5,7 /proc/26738/task/26756/stat : 26756 (java) S 26736 26738 24174 0 -1 4202560 53 0 0 0 23 23 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299071339208 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26759] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26759/stat : 26759 (java) S 26736 26738 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346092731 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299068180136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26760] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26760/stat : 26760 (java) S 26736 26738 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346092731 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140297791071784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=27002] ppid=26736 vsize=2966184 CPUtime=3.35 cores=1,3,5,7 /proc/26738/task/27002/stat : 27002 (java) R 26736 26738 24174 0 -1 4202560 5 0 0 0 335 0 0 0 20 0 22 0 346184426 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299070284816 140299083845460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=27003] ppid=26736 vsize=2966184 CPUtime=3.36 cores=1,3,5,7 /proc/26738/task/27003/stat : 27003 (java) R 26736 26738 24174 0 -1 4202560 3 0 0 0 336 0 0 0 20 0 22 0 346184426 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299069230256 140299083861867 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 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.501 s] /proc/loadavg: 3.54 3.56 3.04 5/221 27003 /proc/meminfo: memFree=27103380/32873844 swapFree=7380/7380 [pid=26738] ppid=26736 vsize=2966184 CPUtime=1800.12 cores=1,3,5,7 /proc/26738/stat : 26738 (java) S 26736 26738 24174 0 -1 4202496 37635 0 1 0 179742 270 0 0 20 0 22 0 346092660 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140735930646176 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/26738/statm: 741546 201030 2290 9 0 732240 0 [pid=26738/tid=26740] ppid=26736 vsize=2966184 CPUtime=1.18 cores=1,3,5,7 /proc/26738/task/26740/stat : 26740 (java) S 26736 26738 24174 0 -1 4202560 2862 0 1 0 113 5 0 0 20 0 22 0 346092661 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299232584872 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26741] ppid=26736 vsize=2966184 CPUtime=6.36 cores=1,3,5,7 /proc/26738/task/26741/stat : 26741 (java) S 26736 26738 24174 0 -1 4202560 311 0 0 0 628 8 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299216866088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26742] ppid=26736 vsize=2966184 CPUtime=6.32 cores=1,3,5,7 /proc/26738/task/26742/stat : 26742 (java) S 26736 26738 24174 0 -1 4202560 318 0 0 0 620 12 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299215813288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26743] ppid=26736 vsize=2966184 CPUtime=6.22 cores=1,3,5,7 /proc/26738/task/26743/stat : 26743 (java) S 26736 26738 24174 0 -1 4202560 319 0 0 0 612 10 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299214761000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26744] ppid=26736 vsize=2966184 CPUtime=6.48 cores=1,3,5,7 /proc/26738/task/26744/stat : 26744 (java) S 26736 26738 24174 0 -1 4202560 325 0 0 0 638 10 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299213708200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26745] ppid=26736 vsize=2966184 CPUtime=6.17 cores=1,3,5,7 /proc/26738/task/26745/stat : 26745 (java) S 26736 26738 24174 0 -1 4202560 316 0 0 0 607 10 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299212654888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26746] ppid=26736 vsize=2966184 CPUtime=6.44 cores=1,3,5,7 /proc/26738/task/26746/stat : 26746 (java) S 26736 26738 24174 0 -1 4202560 314 0 0 0 633 11 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299211602088 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26747] ppid=26736 vsize=2966184 CPUtime=6.37 cores=1,3,5,7 /proc/26738/task/26747/stat : 26747 (java) S 26736 26738 24174 0 -1 4202560 323 0 0 0 627 10 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299210549800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26748] ppid=26736 vsize=2966184 CPUtime=6.43 cores=1,3,5,7 /proc/26738/task/26748/stat : 26748 (java) S 26736 26738 24174 0 -1 4202560 316 0 0 0 634 9 0 0 20 0 22 0 346092663 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299209497000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26749] ppid=26736 vsize=2966184 CPUtime=26.73 cores=1,3,5,7 /proc/26738/task/26749/stat : 26749 (java) S 26736 26738 24174 0 -1 4202560 10341 0 0 0 2594 79 0 0 20 0 22 0 346092664 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299078707944 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26750] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26750/stat : 26750 (java) S 26736 26738 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346092665 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299077654008 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26751] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26751/stat : 26751 (java) S 26736 26738 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346092665 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299076601608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26752] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26752/stat : 26752 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299075550096 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26753] ppid=26736 vsize=2966184 CPUtime=1.62 cores=1,3,5,7 /proc/26738/task/26753/stat : 26753 (java) S 26736 26738 24174 0 -1 4202560 8592 0 0 0 160 2 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299074496696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26738/tid=26754] ppid=26736 vsize=2966184 CPUtime=1.3 cores=1,3,5,7 /proc/26738/task/26754/stat : 26754 (java) S 26736 26738 24174 0 -1 4202560 10213 0 0 0 127 3 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299073443896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=26755] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26755/stat : 26755 (java) S 26736 26738 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299072391800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26738/tid=26756] ppid=26736 vsize=2966184 CPUtime=0.46 cores=1,3,5,7 /proc/26738/task/26756/stat : 26756 (java) S 26736 26738 24174 0 -1 4202560 53 0 0 0 23 23 0 0 20 0 22 0 346092668 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299071339208 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26759] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26759/stat : 26759 (java) S 26736 26738 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346092731 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299068180136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=26760] ppid=26736 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/26738/task/26760/stat : 26760 (java) S 26736 26738 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346092731 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140297791071784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26738/tid=27002] ppid=26736 vsize=2966184 CPUtime=3.35 cores=1,3,5,7 /proc/26738/task/27002/stat : 27002 (java) R 26736 26738 24174 0 -1 4202560 5 0 0 0 335 0 0 0 20 0 22 0 346184426 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299070284816 140299083845460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26738/tid=27003] ppid=26736 vsize=2966184 CPUtime=3.36 cores=1,3,5,7 /proc/26738/task/27003/stat : 27003 (java) R 26736 26738 24174 0 -1 4202560 3 0 0 0 336 0 0 0 20 0 22 0 346184426 3037372416 201030 33554432000 1073741824 1073778376 140735930655040 140299069230256 140299083861867 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 2966184 Child status: 143 Real time (s): 921.559 CPU time (s): 1800.74 CPU user time (s): 1797.85 CPU system time (s): 2.89556 CPU usage (%): 195.402 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.85 system time used= 2.89556 maximum resident set size= 804240 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37667 page faults= 1 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 63770 involuntary context switches= 115945 runsolver used 4.27335 second user time and 8.38273 second system time The end
Begin job on node133 at 2012-06-04 10:47:59 IDJOB=3743992 IDBENCH=92664 IDSOLVER=2324 FILE ID=node133/3743992-1338799679 RUNJOBID= node133-1338782189-24191 PBS_JOBID= 14636833 Free space on /tmp= 70268 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_5_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-3743992-1338799679/watcher-3743992-1338799679 -o /tmp/evaluation-result-3743992-1338799679/solver-3743992-1338799679 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743992-1338799679.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c36639357988247c648b63af301f230 RANDOM SEED=1475811918 node133.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.540 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.08 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.540 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.92 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 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.91 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.540 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.90 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.540 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.540 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: 26857800 kB Buffers: 506292 kB Cached: 3143840 kB SwapCached: 676 kB Active: 3199644 kB Inactive: 1912216 kB Active(anon): 1452992 kB Inactive(anon): 10220 kB Active(file): 1746652 kB Inactive(file): 1901996 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108856 kB SwapFree: 67107040 kB Dirty: 1244 kB Writeback: 0 kB AnonPages: 1520444 kB Mapped: 18560 kB Shmem: 0 kB Slab: 760080 kB SReclaimable: 201980 kB SUnreclaim: 558100 kB KernelStack: 1768 kB PageTables: 6620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1568504 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 1441792 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= 70484 MiB End job on node133 at 2012-06-04 11:03:22