Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 73959 | 1801.35 | 911.138 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay33.lin.opb |
| MD5SUM | 88343adc473661524edc0508df895744 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 72340 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| 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 | 11720 |
| Total number of constraints | 33295 |
| Number of constraints which are clauses | 22103 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11191 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 11717 |
| Biggest coefficient in the objective function | 86090 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 730956 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 86090 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 730956 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4118440-1467227614.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 2.17/0.95 c ... done. Wall clock time 0.833s. 2.17/0.95 c declared #vars 11720 2.17/0.95 c #constraints 33296 2.17/0.95 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 2.17/0.95 c constraints type 2.17/0.95 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 22103 2.17/0.95 c org.sat4j.specs.Constr$1 => 1 2.17/0.95 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 2.17/0.95 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11191 2.17/0.95 c 33296 constraints processed. 2.17/0.95 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 2.17/0.95 c constraints type 2.17/0.95 c org.sat4j.specs.Constr$1 => 1 2.17/0.95 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22103 2.17/0.95 c org.sat4j.pb.constraints.pb.MaxWatchPb => 11191 2.17/0.95 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 2.17/0.95 c 33296 constraints processed. 2.17/0.95 c objective function length is 11717 literals 2.91/1.20 c And the winner is solver0 3.32/1.47 c SATISFIABLE 3.32/1.47 c OPTIMIZING... 3.32/1.47 c Got one! Elapsed wall clock time (in seconds):1.348 3.32/1.47 o 74285 3.74/1.63 c And the winner is solver0 5.60/3.27 c Got one! Elapsed wall clock time (in seconds):3.156 5.60/3.27 o 74282 5.76/3.33 c And the winner is solver0 7.40/4.80 c Got one! Elapsed wall clock time (in seconds):4.684 7.40/4.80 o 74267 7.67/4.93 c And the winner is solver0 7.79/5.32 c Got one! Elapsed wall clock time (in seconds):5.204 7.79/5.32 o 74249 7.92/5.44 c And the winner is solver0 9.07/6.54 c Got one! Elapsed wall clock time (in seconds):6.422 9.07/6.54 o 74240 9.23/6.63 c And the winner is solver0 10.47/7.81 c Got one! Elapsed wall clock time (in seconds):7.689 10.47/7.81 o 74237 18.08/11.60 c And the winner is solver0 19.10/12.47 c Got one! Elapsed wall clock time (in seconds):12.357 19.10/12.47 o 74232 20.30/13.00 c And the winner is solver0 20.94/13.64 c Got one! Elapsed wall clock time (in seconds):13.524 20.94/13.64 o 74229 20.94/13.67 c And the winner is solver0 21.04/14.16 c Got one! Elapsed wall clock time (in seconds):14.04 21.04/14.16 o 74194 21.04/14.19 c And the winner is solver0 21.10/14.68 c Got one! Elapsed wall clock time (in seconds):14.558 21.10/14.68 o 74191 21.13/14.75 c And the winner is solver0 22.18/15.79 c Got one! Elapsed wall clock time (in seconds):15.676 22.18/15.79 o 74173 22.25/15.86 c And the winner is solver0 23.38/16.91 c Got one! Elapsed wall clock time (in seconds):16.795 23.38/16.91 o 74161 27.88/19.15 c cleaning 2981 clauses out of 5964 with flag 4062/5964 40.21/25.10 c And the winner is solver0 40.59/25.55 c Got one! Elapsed wall clock time (in seconds):25.428 40.59/25.55 o 74152 43.87/27.29 c And the winner is solver0 44.77/28.01 c Got one! Elapsed wall clock time (in seconds):27.898 44.77/28.01 o 74131 44.77/28.06 c And the winner is solver0 44.86/28.53 c Got one! Elapsed wall clock time (in seconds):28.415 44.86/28.53 o 74119 54.58/33.48 c cleaning 6714 clauses out of 13429 with flag 8124/16410 69.29/40.79 c cleaning 6350 clauses out of 12714 with flag 20742/22409 85.51/48.86 c cleaning 6675 clauses out of 13363 with flag 35392/29408 104.86/58.32 c cleaning 7339 clauses out of 14689 with flag 52448/37409 126.44/69.18 c cleaning 8171 clauses out of 16350 with flag 71527/46409 152.12/81.68 c cleaning 9086 clauses out of 18180 with flag 92825/56410 162.07/86.43 c And the winner is solver0 162.51/86.81 c Got one! Elapsed wall clock time (in seconds):86.689 162.51/86.81 o 74113 162.51/86.90 c And the winner is solver0 162.75/87.32 c Got one! Elapsed wall clock time (in seconds):87.207 162.75/87.32 o 74106 162.87/87.40 c And the winner is solver0 162.92/87.84 c Got one! Elapsed wall clock time (in seconds):87.726 162.92/87.84 o 74094 165.43/89.11 c cleaning 7290 clauses out of 14591 with flag 2054/61907 166.41/89.61 c And the winner is solver0 167.41/90.61 c Got one! Elapsed wall clock time (in seconds):90.496 167.41/90.61 o 74088 167.41/90.68 c And the winner is solver0 167.58/91.13 c Got one! Elapsed wall clock time (in seconds):91.015 167.58/91.13 o 74082 167.58/91.19 c And the winner is solver0 167.71/91.65 c Got one! Elapsed wall clock time (in seconds):91.533 167.71/91.65 o 74081 167.78/91.72 c And the winner is solver0 167.86/92.17 c Got one! Elapsed wall clock time (in seconds):92.052 167.86/92.17 o 74070 169.00/92.78 c And the winner is solver0 169.90/93.59 c Got one! Elapsed wall clock time (in seconds):93.472 169.90/93.59 o 74053 170.00/93.62 c And the winner is solver0 170.05/94.11 c Got one! Elapsed wall clock time (in seconds):93.991 170.05/94.11 o 74048 170.05/94.18 c And the winner is solver0 170.21/94.63 c Got one! Elapsed wall clock time (in seconds):94.51 170.21/94.63 o 74047 170.21/94.66 c And the winner is solver0 170.28/95.15 c Got one! Elapsed wall clock time (in seconds):95.029 170.28/95.15 o 74030 170.36/95.22 c And the winner is solver0 170.45/95.67 c Got one! Elapsed wall clock time (in seconds):95.548 170.45/95.67 o 74029 170.50/95.72 c And the winner is solver0 170.57/96.19 c Got one! Elapsed wall clock time (in seconds):96.068 170.57/96.19 o 74018 171.37/96.61 c And the winner is solver0 172.29/97.56 c Got one! Elapsed wall clock time (in seconds):97.438 172.29/97.56 o 74014 172.37/97.62 c And the winner is solver0 172.46/98.07 c Got one! Elapsed wall clock time (in seconds):97.957 172.46/98.07 o 74006 172.49/98.14 c And the winner is solver0 172.61/98.59 c Got one! Elapsed wall clock time (in seconds):98.476 172.61/98.59 o 73994 184.80/104.70 c cleaning 6889 clauses out of 13794 with flag 10283/68400 189.99/107.40 c And the winner is solver0 190.50/107.77 c Got one! Elapsed wall clock time (in seconds):107.647 190.50/107.77 o 73988 190.79/107.98 c And the winner is solver0 191.87/108.93 c Got one! Elapsed wall clock time (in seconds):108.817 191.87/108.93 o 73985 199.54/112.70 c cleaning 6112 clauses out of 12240 with flag 6302/73735 213.75/119.83 c cleaning 6056 clauses out of 12128 with flag 18749/79735 230.55/128.22 c cleaning 6527 clauses out of 13071 with flag 33170/86734 249.75/137.83 c cleaning 7264 clauses out of 14544 with flag 49574/94734 272.20/148.70 c cleaning 8135 clauses out of 16281 with flag 67890/103735 297.19/161.28 c cleaning 9065 clauses out of 18146 with flag 88311/113735 324.40/174.88 c cleaning 10035 clauses out of 20083 with flag 111191/124737 356.88/190.99 c cleaning 11017 clauses out of 22046 with flag 136683/136735 392.67/208.87 c cleaning 12013 clauses out of 24029 with flag 167022/149735 431.48/228.26 c cleaning 13008 clauses out of 26015 with flag 206141/163734 471.95/248.25 c cleaning 14004 clauses out of 28008 with flag 248444/178735 482.35/253.47 c And the winner is solver0 483.35/254.35 c Got one! Elapsed wall clock time (in seconds):254.233 483.35/254.35 o 73972 485.70/255.52 c cleaning 9564 clauses out of 19139 with flag 2324/183870 499.76/262.32 c cleaning 7780 clauses out of 15575 with flag 16557/189870 515.16/270.03 c cleaning 7391 clauses out of 14796 with flag 33618/196871 532.76/278.87 c cleaning 7697 clauses out of 15404 with flag 52420/204870 554.63/289.85 c cleaning 8348 clauses out of 16708 with flag 72779/213871 577.22/301.16 c cleaning 9170 clauses out of 18360 with flag 94790/223871 603.02/314.02 c cleaning 10089 clauses out of 20190 with flag 118588/234871 629.94/327.47 c cleaning 11047 clauses out of 22100 with flag 146439/246870 661.33/343.15 c cleaning 12019 clauses out of 24053 with flag 178020/259870 694.73/359.77 c cleaning 13013 clauses out of 26035 with flag 211977/273871 731.41/377.97 c cleaning 14004 clauses out of 28021 with flag 248789/288870 770.41/397.40 c cleaning 15000 clauses out of 30018 with flag 284935/304871 810.41/417.75 c cleaning 16003 clauses out of 32019 with flag 322279/321872 852.17/438.58 c cleaning 16995 clauses out of 34014 with flag 361919/339870 899.26/461.87 c cleaning 17999 clauses out of 36019 with flag 408795/358870 959.31/491.57 c cleaning 18999 clauses out of 38020 with flag 456505/378870 1018.84/521.16 c cleaning 20003 clauses out of 40021 with flag 506625/399870 1081.32/552.69 c cleaning 20999 clauses out of 42018 with flag 556413/421870 1149.12/586.32 c cleaning 22004 clauses out of 44021 with flag 607013/444872 1218.43/620.66 c cleaning 22999 clauses out of 46015 with flag 660523/468870 1284.95/653.46 c cleaning 24005 clauses out of 48018 with flag 715229/493872 1356.68/690.09 c cleaning 24996 clauses out of 50011 with flag 772615/519870 1394.30/708.80 c And the winner is solver0 1395.40/709.65 c Got one! Elapsed wall clock time (in seconds):709.531 1395.40/709.65 o 73959 1408.40/715.91 c cleaning 22087 clauses out of 44187 with flag 10313/539042 1422.21/722.85 c cleaning 14041 clauses out of 28099 with flag 22724/545041 1439.37/731.32 c cleaning 10522 clauses out of 21059 with flag 37157/552042 1459.16/741.26 c cleaning 9258 clauses out of 18536 with flag 54010/560041 1481.37/752.30 c cleaning 9134 clauses out of 18279 with flag 73629/569042 1506.88/765.08 c cleaning 9564 clauses out of 19145 with flag 94596/579042 1534.70/778.96 c cleaning 10282 clauses out of 20580 with flag 118337/590041 1564.30/793.61 c cleaning 11144 clauses out of 22300 with flag 143748/602043 1594.69/808.81 c cleaning 12069 clauses out of 24155 with flag 171183/615042 1627.97/825.34 c cleaning 13037 clauses out of 26086 with flag 201131/629042 1663.36/843.07 c cleaning 14017 clauses out of 28048 with flag 233223/644041 1704.97/863.63 c cleaning 15008 clauses out of 30031 with flag 266900/660041 1749.62/885.64 c cleaning 16004 clauses out of 32025 with flag 302546/677043 1793.00/907.40 c cleaning 17004 clauses out of 34019 with flag 341772/695041 1800.76/911.07 c >>>>>>>>>> Solver number 0 (35 answers) <<<<<<<<<<<<<<<<<< 1800.76/911.07 c starts : 144 1800.76/911.07 c conflicts : 697922 1800.76/911.07 c decisions : 875674 1800.76/911.07 c propagations : 17221235 1800.76/911.07 c inspects : 929606328 1800.76/911.07 c shortcuts : 0 1800.76/911.07 c learnt literals : 0 1800.76/911.07 c learnt binary clauses : 2 1800.76/911.07 c learnt ternary clauses : 390 1800.76/911.07 c learnt constraints : 697921 1800.76/911.07 c ignored constraints : 0 1800.76/911.07 c root simplifications : 0 1800.76/911.07 c removed literals (reason simplification) : 11554685 1800.76/911.07 c reason swapping (by a shorter reason) : 0 1800.76/911.07 c Calls to reduceDB : 56 1800.76/911.07 c Number of update (reduction) of LBD : 766 1800.76/911.07 c Imported unit clauses : 0 1800.76/911.07 c number of reductions to clauses (during analyze) : 0 1800.76/911.07 c number of learned constraints concerned by reduction : 0 1800.76/911.07 c number of learning phase by resolution : 0 1800.76/911.07 c number of learning phase by cutting planes : 0 1800.76/911.07 c speed (assignments/second) : 18923.43590667745 1800.76/911.07 c non guided choices 1 1800.76/911.08 c learnt constraints type 1800.76/911.08 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2 1800.76/911.08 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19894 1800.76/911.08 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.76/911.08 c starts : 38 1800.76/911.08 c conflicts : 548 1800.76/911.08 c decisions : 11163 1800.76/911.08 c propagations : 357159 1800.76/911.08 c inspects : 16557272 1800.76/911.08 c shortcuts : 0 1800.76/911.08 c learnt literals : 0 1800.76/911.08 c learnt binary clauses : 0 1800.76/911.08 c learnt ternary clauses : 1 1800.76/911.08 c learnt constraints : 529 1800.76/911.08 c ignored constraints : 0 1800.76/911.08 c root simplifications : 0 1800.76/911.08 c removed literals (reason simplification) : 0 1800.76/911.08 c reason swapping (by a shorter reason) : 0 1800.76/911.08 c Calls to reduceDB : 0 1800.76/911.08 c Number of update (reduction) of LBD : 0 1800.76/911.08 c Imported unit clauses : 0 1800.76/911.08 c number of reductions to clauses (during analyze) : 0 1800.76/911.08 c number of learned constraints concerned by reduction : 0 1800.76/911.08 c number of learning phase by resolution : 0 1800.76/911.08 c number of learning phase by cutting planes : 0 1800.76/911.08 c speed (assignments/second) : 1773.2932823593665 1800.76/911.08 c non guided choices 0 1800.76/911.08 c learnt constraints type 1800.76/911.08 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 3 1800.76/911.08 c org.sat4j.pb.constraints.pb.MaxWatchPb => 526 1800.76/911.08 s SATISFIABLE 1800.76/911.08 c Found 35 solution(s) 1800.76/911.09 v x1 -x2 x3 x4 -x5 x6 -x7 x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 x66 -x67 x68 x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 x255 -x256 x257 -x258 x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 x340 x341 x342 -x343 -x344 x345 x346 x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 -x378 -x379 x380 x381 x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 x427 x428 x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 x439 x440 x441 x442 -x443 x444 -x445 x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 x503 x504 x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 x516 x517 x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 x531 x532 x533 x534 x535 x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 x814 x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 x1287 x1288 -x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 x2825 x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x5120 -x5121 x5122 x5123 x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 x5806 x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 x7105 x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 x7621 x7622 x7623 -x7624 x7625 -x7626 -x7627 x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 x7638 -x7639 x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 x7669 -x7670 -x7671 x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 x7743 -x7744 -x7745 -x7746 x7747 -x7748 -x7749 x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 x7798 -x7799 -x7800 x7801 x7802 -x7803 -x7804 x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 x7907 x7908 x7909 x7910 x7911 x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 x8172 -x8173 x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 x8200 -x8201 -x8202 x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 x8313 x8314 x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 x8406 x8407 x8408 x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 x9195 x9196 x9197 x9198 x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 x9435 x9436 x9437 -x9438 x9439 x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 x9459 -x9460 x9461 x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 x9471 -x9472 -x9473 x9474 x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 x9483 -x9484 x9485 x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 x9493 x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 x9509 x9510 x9511 x9512 -x9513 -x9514 -x9515 -x9516 -x9517 x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 x9579 x9580 -x9581 -x9582 -x9583 x9584 x9585 x9586 x9587 x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 x9609 x9610 x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 x9628 -x9629 x9630 x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 x9646 -x9647 x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 x9910 x9911 x9912 x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 x10089 -x10090 x10091 x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 x10112 x10113 x10114 x10115 -x10116 -x10117 -x10118 -x10119 -x10120 x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 x10174 x10175 -x10176 -x10177 -x10178 x10179 x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 x10198 -x10199 x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 x10422 x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 x10633 x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 x10821 x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 x10836 x10837 -x10838 x10839 -x10840 -x10841 -x10842 -x10843 -x10844 x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 x10854 -x10855 x10856 -x10857 -x10858 -x10859 -x10860 -x10861 x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 x11001 x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 x11017 x11018 -x11019 x11020 x11021 x11022 -x11023 -x11024 -x11025 x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 x11036 -x11037 x11038 x11039 x11040 -x11041 -x11042 -x11043 x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 x11137 -x11138 x11139 x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 x11150 -x11151 x11152 x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 x11619 x11620 x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 x11630 x11631 x11632 -x11633 -x11634 x11635 x11636 -x11637 -x11638 x11639 x11640 -x11641 x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 x11673 x11674 x11675 x11676 -x11677 -x11678 x11679 x11680 x11681 -x11682 -x11683 x11684 x11685 -x11686 -x11687 -x11688 x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 1801.17/911.10 c objective function=73959 1801.17/911.10 c Total wall clock time (in seconds): 910.987
OK 73959
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118440-1467227614/watcher-4118440-1467227614 -o /tmp/evaluation-result-4118440-1467227614/solver-4118440-1467227614 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118440-1467227614.opb pid=13297 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.29 4.37 4.22 5/197 13300 /proc/meminfo: memFree=24440748/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9324 CPUtime=0 cores=0,2,4,6 /proc/13300/stat : 13300 (java) R 13297 13300 5962 0 -1 4202496 530 0 0 0 0 0 0 0 20 0 1 0 3712689 9547776 183 33554432000 1073741824 1073778376 140734721771472 140734721754200 225444709664 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2323 183 141 9 0 71 0 [startup+0.100161 s] /proc/loadavg: 4.29 4.37 4.22 5/197 13300 /proc/meminfo: memFree=24440748/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 4417 0 1 0 8 1 0 0 20 0 18 0 3712689 9787879424 6044 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2389619 6044 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200228 s] /proc/loadavg: 4.29 4.37 4.22 5/197 13300 /proc/meminfo: memFree=24440748/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 5006 0 1 0 27 2 0 0 20 0 18 0 3712689 9787879424 6955 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2389619 6955 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300226 s] /proc/loadavg: 4.29 4.37 4.22 5/197 13300 /proc/meminfo: memFree=24440748/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9558476 CPUtime=0.49 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 5922 0 1 0 47 2 0 0 20 0 18 0 3712689 9787879424 9377 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2389619 9377 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700189 s] /proc/loadavg: 4.29 4.37 4.22 5/197 13300 /proc/meminfo: memFree=24440748/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9558476 CPUtime=1.62 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 20379 0 1 0 156 6 0 0 20 0 18 0 3712689 9787879424 30408 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2389619 30408 2251 9 0 2380296 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 9558476 [startup+1.50072 s] /proc/loadavg: 4.43 4.40 4.23 8/219 13322 /proc/meminfo: memFree=24270076/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9824732 CPUtime=3.4 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 21251 0 1 0 331 9 0 0 20 0 19 0 3712689 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2456183 46395 2264 9 0 2446860 0 [pid=13300/tid=13302] ppid=13297 vsize=9824732 CPUtime=0.96 cores=0,2,4,6 /proc/13300/task/13302/stat : 13302 (java) R 13297 13300 5962 0 -1 4202560 2470 0 1 0 93 3 0 0 20 0 19 0 3712689 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724795740464 225444333317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13303] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13303/stat : 13303 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3712691 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724757240360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13304] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13304/stat : 13304 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3712691 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724756187560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13305] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13305/stat : 13305 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3712691 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724755134760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13306] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13306/stat : 13306 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3712691 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724754081960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13307] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13307/stat : 13307 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3712691 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724753030184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13308] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13308/stat : 13308 (java) S 13297 13300 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3712691 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724751977384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13309] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13309/stat : 13309 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3712691 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724750924584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13310] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13310/stat : 13310 (java) S 13297 13300 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3712691 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724749871784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13311] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13311/stat : 13311 (java) S 13297 13300 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3712692 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724619172328 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13312] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13312/stat : 13312 (java) S 13297 13300 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3712692 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724618118392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13313] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13313/stat : 13313 (java) S 13297 13300 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3712692 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724617065480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13314] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13314/stat : 13314 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3712694 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724616013968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13315] ppid=13297 vsize=9824732 CPUtime=0.98 cores=0,2,4,6 /proc/13300/task/13315/stat : 13315 (java) S 13297 13300 5962 0 -1 4202560 7644 0 0 0 97 1 0 0 20 0 19 0 3712695 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724614962104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13316] ppid=13297 vsize=9824732 CPUtime=0.92 cores=0,2,4,6 /proc/13300/task/13316/stat : 13316 (java) R 13297 13300 5962 0 -1 4202560 9818 0 0 0 89 3 0 0 20 0 19 0 3712695 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724613909184 140724798420128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13317] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13317/stat : 13317 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3712695 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724612856696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13318] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13318/stat : 13318 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3712695 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724611804104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13322] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13322/stat : 13322 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3712791 10060525568 46395 33554432000 1073741824 1073778376 140734721771472 140724607591208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.4 Current children cumulated vsize (KiB) 9824732 [startup+3.10075 s] /proc/loadavg: 4.43 4.40 4.23 10/217 13325 /proc/meminfo: memFree=24232352/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9824732 CPUtime=5.5 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 21414 0 1 0 538 12 0 0 20 0 20 0 3712689 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2456183 54181 2280 9 0 2446860 0 [pid=13300/tid=13302] ppid=13297 vsize=9824732 CPUtime=0.99 cores=0,2,4,6 /proc/13300/task/13302/stat : 13302 (java) S 13297 13300 5962 0 -1 4202560 2471 0 1 0 96 3 0 0 20 0 20 0 3712689 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724795749240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13303] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13303/stat : 13303 (java) S 13297 13300 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724757240360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13304] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13304/stat : 13304 (java) S 13297 13300 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724756187560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13305] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13305/stat : 13305 (java) S 13297 13300 5962 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724755134760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13306] ppid=13297 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/13300/task/13306/stat : 13306 (java) S 13297 13300 5962 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 20 0 3712691 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724754081960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13307] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13307/stat : 13307 (java) S 13297 13300 5962 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724753030184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13308] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13308/stat : 13308 (java) S 13297 13300 5962 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724751977384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13309] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13309/stat : 13309 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724750924584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13310] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13310/stat : 13310 (java) S 13297 13300 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724749871784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13311] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13311/stat : 13311 (java) S 13297 13300 5962 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 20 0 3712692 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724619172328 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13312] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13312/stat : 13312 (java) S 13297 13300 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 3712692 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724618118392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13313] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13313/stat : 13313 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 3712692 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724617065480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13314] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13314/stat : 13314 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3712694 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724616013968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13315] ppid=13297 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/13300/task/13315/stat : 13315 (java) S 13297 13300 5962 0 -1 4202560 7646 0 0 0 115 1 0 0 20 0 20 0 3712695 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724614962104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13316] ppid=13297 vsize=9824732 CPUtime=1.05 cores=0,2,4,6 /proc/13300/task/13316/stat : 13316 (java) S 13297 13300 5962 0 -1 4202560 9818 0 0 0 102 3 0 0 20 0 20 0 3712695 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724613909304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13317] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13317/stat : 13317 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3712695 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724612856696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13318] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13318/stat : 13318 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3712695 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724611804104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13322] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13322/stat : 13322 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 3712791 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724607591208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13324] ppid=13297 vsize=9824732 CPUtime=1.53 cores=0,2,4,6 /proc/13300/task/13324/stat : 13324 (java) R 13297 13300 5962 0 -1 4202560 21 0 0 0 153 0 0 0 20 0 20 0 3712841 10060525568 54181 33554432000 1073741824 1073778376 140734721771472 140724610746880 140724621716429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.5 Current children cumulated vsize (KiB) 9824732 [startup+6.30082 s] /proc/loadavg: 4.43 4.40 4.23 4/217 13334 /proc/meminfo: memFree=24232748/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9824732 CPUtime=8.87 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 21443 0 1 0 869 18 0 0 20 0 20 0 3712689 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2456183 53909 2281 9 0 2446860 0 [pid=13300/tid=13302] ppid=13297 vsize=9824732 CPUtime=1.05 cores=0,2,4,6 /proc/13300/task/13302/stat : 13302 (java) S 13297 13300 5962 0 -1 4202560 2473 0 1 0 102 3 0 0 20 0 20 0 3712689 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724795749240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13303] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13303/stat : 13303 (java) S 13297 13300 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724757240360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13304] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13304/stat : 13304 (java) S 13297 13300 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724756187560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13305] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13305/stat : 13305 (java) S 13297 13300 5962 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724755134760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13306] ppid=13297 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/13300/task/13306/stat : 13306 (java) S 13297 13300 5962 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 20 0 3712691 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724754081960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13307] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13307/stat : 13307 (java) S 13297 13300 5962 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724753030184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13308] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13308/stat : 13308 (java) S 13297 13300 5962 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724751977384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13309] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13309/stat : 13309 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724750924584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13310] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13310/stat : 13310 (java) S 13297 13300 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 3712691 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724749871784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13311] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13311/stat : 13311 (java) S 13297 13300 5962 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 20 0 3712692 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724619172328 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13312] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13312/stat : 13312 (java) S 13297 13300 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 3712692 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724618118392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13313] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13313/stat : 13313 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 3712692 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724617065480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13314] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13314/stat : 13314 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3712694 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724616013968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13315] ppid=13297 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 /proc/13300/task/13315/stat : 13315 (java) S 13297 13300 5962 0 -1 4202560 7646 0 0 0 130 1 0 0 20 0 20 0 3712695 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724614962104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13316] ppid=13297 vsize=9824732 CPUtime=1.23 cores=0,2,4,6 /proc/13300/task/13316/stat : 13316 (java) S 13297 13300 5962 0 -1 4202560 9818 0 0 0 120 3 0 0 20 0 20 0 3712695 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724613909304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13317] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13317/stat : 13317 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3712695 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724612856696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13318] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13318/stat : 13318 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3712695 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724611804104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13322] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13322/stat : 13322 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 3712791 10060525568 53909 33554432000 1073741824 1073778376 140734721771472 140724607591208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13333] ppid=13297 vsize=9824732 CPUtime=0.94 cores=0,2,4,6 ################ # More data... # ################ [pid=13300/tid=13659] ppid=13297 vsize=9824732 CPUtime=171.47 cores=0,2,4,6 /proc/13300/task/13659/stat : 13659 (java) R 13297 13300 5962 0 -1 4202560 6 0 0 0 17145 2 0 0 20 0 22 0 3783656 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724609694448 140724621716463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13660] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13660/stat : 13660 (java) S 13297 13300 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3783656 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724610750120 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1743.02 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+910.801 s] /proc/loadavg: 4.26 4.33 4.25 6/219 13664 /proc/meminfo: memFree=20345236/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9824732 CPUtime=1800.01 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 39882 0 1 0 179384 617 0 0 20 0 22 0 3712689 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2456183 1256997 2302 9 0 2446860 0 [pid=13300/tid=13302] ppid=13297 vsize=9824732 CPUtime=1.65 cores=0,2,4,6 /proc/13300/task/13302/stat : 13302 (java) S 13297 13300 5962 0 -1 4202560 2507 0 1 0 160 5 0 0 20 0 22 0 3712689 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724795749240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13303] ppid=13297 vsize=9824732 CPUtime=3.35 cores=0,2,4,6 /proc/13300/task/13303/stat : 13303 (java) S 13297 13300 5962 0 -1 4202560 1176 0 0 0 278 57 0 0 20 0 22 0 3712691 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724757240360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13304] ppid=13297 vsize=9824732 CPUtime=3.01 cores=0,2,4,6 /proc/13300/task/13304/stat : 13304 (java) S 13297 13300 5962 0 -1 4202560 1119 0 0 0 234 67 0 0 20 0 22 0 3712691 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724756187560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13305] ppid=13297 vsize=9824732 CPUtime=3.87 cores=0,2,4,6 /proc/13300/task/13305/stat : 13305 (java) S 13297 13300 5962 0 -1 4202560 1334 0 0 0 322 65 0 0 20 0 22 0 3712691 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724755134760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13306] ppid=13297 vsize=9824732 CPUtime=3.39 cores=0,2,4,6 /proc/13300/task/13306/stat : 13306 (java) S 13297 13300 5962 0 -1 4202560 1055 0 0 0 280 59 0 0 20 0 22 0 3712691 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724754081960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13307] ppid=13297 vsize=9824732 CPUtime=3.57 cores=0,2,4,6 /proc/13300/task/13307/stat : 13307 (java) S 13297 13300 5962 0 -1 4202560 1279 0 0 0 295 62 0 0 20 0 22 0 3712691 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724753030184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13308] ppid=13297 vsize=9824732 CPUtime=3.56 cores=0,2,4,6 /proc/13300/task/13308/stat : 13308 (java) S 13297 13300 5962 0 -1 4202560 1172 0 0 0 289 67 0 0 20 0 22 0 3712691 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724751977384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13309] ppid=13297 vsize=9824732 CPUtime=3.4 cores=0,2,4,6 /proc/13300/task/13309/stat : 13309 (java) S 13297 13300 5962 0 -1 4202560 1055 0 0 0 282 58 0 0 20 0 22 0 3712691 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724750924584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13310] ppid=13297 vsize=9824732 CPUtime=3.43 cores=0,2,4,6 /proc/13300/task/13310/stat : 13310 (java) S 13297 13300 5962 0 -1 4202560 1302 0 0 0 283 60 0 0 20 0 22 0 3712691 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724749871784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13311] ppid=13297 vsize=9824732 CPUtime=6.67 cores=0,2,4,6 /proc/13300/task/13311/stat : 13311 (java) S 13297 13300 5962 0 -1 4202560 4060 0 0 0 660 7 0 0 20 0 22 0 3712692 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724619172328 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13312] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13312/stat : 13312 (java) S 13297 13300 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3712692 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724618118392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13313] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13313/stat : 13313 (java) S 13297 13300 5962 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 3712692 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724617065480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13314] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13314/stat : 13314 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3712694 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724616013968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13315] ppid=13297 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/13300/task/13315/stat : 13315 (java) S 13297 13300 5962 0 -1 4202560 10560 0 0 0 192 2 0 0 20 0 22 0 3712695 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724614962104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13316] ppid=13297 vsize=9824732 CPUtime=2.54 cores=0,2,4,6 /proc/13300/task/13316/stat : 13316 (java) S 13297 13300 5962 0 -1 4202560 10576 0 0 0 251 3 0 0 20 0 22 0 3712695 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724613909304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13317] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13317/stat : 13317 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3712695 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724612856696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13318] ppid=13297 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/13300/task/13318/stat : 13318 (java) S 13297 13300 5962 0 -1 4202560 53 0 0 0 9 12 0 0 20 0 22 0 3712695 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724611804104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13322] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13322/stat : 13322 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3712791 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724607591208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13658] ppid=13297 vsize=9824732 CPUtime=199.96 cores=0,2,4,6 /proc/13300/task/13658/stat : 13658 (java) R 13297 13300 5962 0 -1 4202560 8 0 0 0 19993 3 0 0 20 0 22 0 3783656 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724608634656 140724621613771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13659] ppid=13297 vsize=9824732 CPUtime=199.97 cores=0,2,4,6 /proc/13300/task/13659/stat : 13659 (java) R 13297 13300 5962 0 -1 4202560 6 0 0 0 19994 3 0 0 20 0 22 0 3783656 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724609694448 140724621694845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13660] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13660/stat : 13660 (java) S 13297 13300 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3783656 10060525568 1256997 33554432000 1073741824 1073778376 140734721771472 140724610750120 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13300 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+911.001 s] /proc/loadavg: 4.26 4.33 4.25 6/219 13664 /proc/meminfo: memFree=20345236/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9824732 CPUtime=1800.76 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 39955 0 1 0 179455 621 0 0 20 0 22 0 3712689 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2456183 1266231 2302 9 0 2446860 0 [pid=13300/tid=13302] ppid=13297 vsize=9824732 CPUtime=1.65 cores=0,2,4,6 /proc/13300/task/13302/stat : 13302 (java) S 13297 13300 5962 0 -1 4202560 2507 0 1 0 160 5 0 0 20 0 22 0 3712689 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724795749240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13303] ppid=13297 vsize=9824732 CPUtime=3.47 cores=0,2,4,6 /proc/13300/task/13303/stat : 13303 (java) R 13297 13300 5962 0 -1 4202560 1188 0 0 0 290 57 0 0 20 0 22 0 3712691 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724757240536 140724798220019 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13304] ppid=13297 vsize=9824732 CPUtime=3.1 cores=0,2,4,6 /proc/13300/task/13304/stat : 13304 (java) R 13297 13300 5962 0 -1 4202560 1127 0 0 0 242 68 0 0 20 0 22 0 3712691 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724756187736 140724798220019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13305] ppid=13297 vsize=9824732 CPUtime=3.96 cores=0,2,4,6 /proc/13300/task/13305/stat : 13305 (java) R 13297 13300 5962 0 -1 4202560 1342 0 0 0 330 66 0 0 20 0 22 0 3712691 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724755134936 140724798220019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13306] ppid=13297 vsize=9824732 CPUtime=3.47 cores=0,2,4,6 /proc/13300/task/13306/stat : 13306 (java) R 13297 13300 5962 0 -1 4202560 1061 0 0 0 288 59 0 0 20 0 22 0 3712691 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724754081840 140724799924431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13307] ppid=13297 vsize=9824732 CPUtime=3.67 cores=0,2,4,6 /proc/13300/task/13307/stat : 13307 (java) R 13297 13300 5962 0 -1 4202560 1286 0 0 0 305 62 0 0 20 0 22 0 3712691 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724753030360 140724798220019 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13308] ppid=13297 vsize=9824732 CPUtime=3.65 cores=0,2,4,6 /proc/13300/task/13308/stat : 13308 (java) R 13297 13300 5962 0 -1 4202560 1181 0 0 0 298 67 0 0 20 0 22 0 3712691 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724751977560 140724798220019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13309] ppid=13297 vsize=9824732 CPUtime=3.49 cores=0,2,4,6 /proc/13300/task/13309/stat : 13309 (java) R 13297 13300 5962 0 -1 4202560 1062 0 0 0 291 58 0 0 20 0 22 0 3712691 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724750924760 140724798220019 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13310] ppid=13297 vsize=9824732 CPUtime=3.51 cores=0,2,4,6 /proc/13300/task/13310/stat : 13310 (java) R 13297 13300 5962 0 -1 4202560 1310 0 0 0 290 61 0 0 20 0 22 0 3712691 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724749871960 140724798220019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13311] ppid=13297 vsize=9824732 CPUtime=6.67 cores=0,2,4,6 /proc/13300/task/13311/stat : 13311 (java) S 13297 13300 5962 0 -1 4202560 4062 0 0 0 660 7 0 0 20 0 22 0 3712692 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724619171208 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13312] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13312/stat : 13312 (java) S 13297 13300 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3712692 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724618118392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13313] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13313/stat : 13313 (java) S 13297 13300 5962 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 3712692 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724617065480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13314] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13314/stat : 13314 (java) S 13297 13300 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3712694 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724616012376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13315] ppid=13297 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/13300/task/13315/stat : 13315 (java) S 13297 13300 5962 0 -1 4202560 10560 0 0 0 192 2 0 0 20 0 22 0 3712695 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724614962104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13316] ppid=13297 vsize=9824732 CPUtime=2.54 cores=0,2,4,6 /proc/13300/task/13316/stat : 13316 (java) S 13297 13300 5962 0 -1 4202560 10576 0 0 0 251 3 0 0 20 0 22 0 3712695 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724613909304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13317] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13317/stat : 13317 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3712695 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724612856696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13318] ppid=13297 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/13300/task/13318/stat : 13318 (java) S 13297 13300 5962 0 -1 4202560 53 0 0 0 9 12 0 0 20 0 22 0 3712695 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724611804104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13322] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13322/stat : 13322 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3712791 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724607591208 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13658] ppid=13297 vsize=9824732 CPUtime=199.96 cores=0,2,4,6 /proc/13300/task/13658/stat : 13658 (java) S 13297 13300 5962 0 -1 4202560 8 0 0 0 19993 3 0 0 20 0 22 0 3783656 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724608641640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13659] ppid=13297 vsize=9824732 CPUtime=199.98 cores=0,2,4,6 /proc/13300/task/13659/stat : 13659 (java) S 13297 13300 5962 0 -1 4202560 6 0 0 0 19995 3 0 0 20 0 22 0 3783656 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724609693752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13660] ppid=13297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13660/stat : 13660 (java) S 13297 13300 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3783656 10060525568 1266231 33554432000 1073741824 1073778376 140734721771472 140724610750120 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 9824732 [startup+911.101 s] /proc/loadavg: 4.26 4.33 4.25 6/219 13664 /proc/meminfo: memFree=20345236/32872528 swapFree=1499084/1695308 [pid=13300] ppid=13297 vsize=9957860 CPUtime=1801.17 cores=0,2,4,6 /proc/13300/stat : 13300 (java) S 13297 13300 5962 0 -1 4202496 39990 0 1 0 179492 625 0 0 20 0 21 0 3712689 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140734721762608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/13300/statm: 2489465 1269321 2303 9 0 2480142 0 [pid=13300/tid=13302] ppid=13297 vsize=9957860 CPUtime=1.65 cores=0,2,4,6 /proc/13300/task/13302/stat : 13302 (java) S 13297 13300 5962 0 -1 4202560 2508 0 1 0 160 5 0 0 20 0 21 0 3712689 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724795749240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13303] ppid=13297 vsize=9957860 CPUtime=3.51 cores=0,2,4,6 /proc/13300/task/13303/stat : 13303 (java) S 13297 13300 5962 0 -1 4202560 1189 0 0 0 294 57 0 0 20 0 21 0 3712691 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724757240360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13304] ppid=13297 vsize=9957860 CPUtime=3.13 cores=0,2,4,6 /proc/13300/task/13304/stat : 13304 (java) S 13297 13300 5962 0 -1 4202560 1127 0 0 0 245 68 0 0 20 0 21 0 3712691 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724756187560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13305] ppid=13297 vsize=9957860 CPUtime=3.99 cores=0,2,4,6 /proc/13300/task/13305/stat : 13305 (java) S 13297 13300 5962 0 -1 4202560 1344 0 0 0 333 66 0 0 20 0 21 0 3712691 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724755134760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13306] ppid=13297 vsize=9957860 CPUtime=3.51 cores=0,2,4,6 /proc/13300/task/13306/stat : 13306 (java) S 13297 13300 5962 0 -1 4202560 1062 0 0 0 292 59 0 0 20 0 21 0 3712691 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724754081960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13307] ppid=13297 vsize=9957860 CPUtime=3.7 cores=0,2,4,6 /proc/13300/task/13307/stat : 13307 (java) S 13297 13300 5962 0 -1 4202560 1289 0 0 0 307 63 0 0 20 0 21 0 3712691 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724753030184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13308] ppid=13297 vsize=9957860 CPUtime=3.68 cores=0,2,4,6 /proc/13300/task/13308/stat : 13308 (java) S 13297 13300 5962 0 -1 4202560 1181 0 0 0 301 67 0 0 20 0 21 0 3712691 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724751977384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13309] ppid=13297 vsize=9957860 CPUtime=3.52 cores=0,2,4,6 /proc/13300/task/13309/stat : 13309 (java) S 13297 13300 5962 0 -1 4202560 1062 0 0 0 294 58 0 0 20 0 21 0 3712691 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724750924584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13310] ppid=13297 vsize=9957860 CPUtime=3.55 cores=0,2,4,6 /proc/13300/task/13310/stat : 13310 (java) S 13297 13300 5962 0 -1 4202560 1310 0 0 0 294 61 0 0 20 0 21 0 3712691 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724749871784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13300/tid=13311] ppid=13297 vsize=9957860 CPUtime=6.67 cores=0,2,4,6 /proc/13300/task/13311/stat : 13311 (java) S 13297 13300 5962 0 -1 4202560 4062 0 0 0 660 7 0 0 20 0 21 0 3712692 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724619172328 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13312] ppid=13297 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13312/stat : 13312 (java) S 13297 13300 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 3712692 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724618118392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13313] ppid=13297 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13313/stat : 13313 (java) S 13297 13300 5962 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 21 0 3712692 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724617065480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13314] ppid=13297 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13314/stat : 13314 (java) S 13297 13300 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 3712694 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724616013968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13315] ppid=13297 vsize=9957860 CPUtime=1.96 cores=0,2,4,6 /proc/13300/task/13315/stat : 13315 (java) R 13297 13300 5962 0 -1 4202560 10560 0 0 0 194 2 0 0 20 0 21 0 3712695 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724614962104 140724799838843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=13300/tid=13316] ppid=13297 vsize=9957860 CPUtime=2.55 cores=0,2,4,6 /proc/13300/task/13316/stat : 13316 (java) R 13297 13300 5962 0 -1 4202560 10578 0 0 0 252 3 0 0 20 0 21 0 3712695 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724613909184 140724799836035 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13317] ppid=13297 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/13300/task/13317/stat : 13317 (java) S 13297 13300 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3712695 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724612856696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13300/tid=13318] ppid=13297 vsize=9957860 CPUtime=0.21 cores=0,2,4,6 /proc/13300/task/13318/stat : 13318 (java) S 13297 13300 5962 0 -1 4202560 53 0 0 0 9 12 0 0 20 0 21 0 3712695 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724611804104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13300/tid=13659] ppid=13297 vsize=9957860 CPUtime=200.01 cores=0,2,4,6 /proc/13300/task/13659/stat : 13659 (java) R 13297 13300 5962 0 -1 4202560 6 0 0 0 19998 3 0 0 20 0 21 0 3783656 10196848640 1269321 33554432000 1073741824 1073778376 140734721771472 140724609693832 140724621693838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1801.17 Current children cumulated vsize (KiB) 9957860 Child status: 143 Real time (s): 911.138 CPU time (s): 1801.35 CPU user time (s): 1794.89 CPU system time (s): 6.46202 CPU usage (%): 197.704 Max. virtual memory (cumulated for all children) (KiB): 9957860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.89 system time used= 6.46202 maximum resident set size= 5077308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39995 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23951 involuntary context switches= 24942 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.74413 second user time and 7.59485 second system time The end
Begin job on node137 at 2016-06-29 21:13:35 IDJOB=4118440 IDBENCH=111494 IDSOLVER=2543 FILE ID=node137/4118440-1467227614 RUNJOBID= node137-1467212962-6646 PBS_JOBID= 19997573 Free space on /tmp= 71692 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay33.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118440-1467227614/watcher-4118440-1467227614 -o /tmp/evaluation-result-4118440-1467227614/solver-4118440-1467227614 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118440-1467227614.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88343adc473661524edc0508df895744 RANDOM SEED=80253367 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 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.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 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.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 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.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 24441276 kB Buffers: 105728 kB Cached: 1791264 kB SwapCached: 0 kB Active: 4279696 kB Inactive: 1689928 kB Active(anon): 4075320 kB Inactive(anon): 4 kB Active(file): 204376 kB Inactive(file): 1689924 kB Unevictable: 1695308 kB Mlocked: 1499084 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1996 kB Writeback: 0 kB AnonPages: 5784484 kB Mapped: 22136 kB Shmem: 204 kB Slab: 609016 kB SReclaimable: 53016 kB SUnreclaim: 556000 kB KernelStack: 1608 kB PageTables: 15376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 6116372 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4214784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71692 MiB End job on node137 at 2016-06-29 21:28:46