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 | OPT | 2886748 | 965.776 | 484.927 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb |
| MD5SUM | b24b10929da03724a77e08494dd4be05 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2886748 |
| Best CPU time to get the best result obtained on this benchmark | 965.776 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 140608000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 5469285523 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 140608000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 5469285523 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.09/0.10 c version PB16.v20160501 0.09/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.10 c java.vm.version 19.1-b02 0.09/0.10 c java.vm.vendor Sun Microsystems Inc. 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 1.6.0_24 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.09/0.10 c os.arch amd64 0.09/0.10 c Free memory 501472288 0.09/0.10 c Max memory 7480803328 0.09/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 16 0.09/0.13 c Pseudo Boolean Optimization by upper bound 0.09/0.13 c ManyCore solver with 2 solvers running in parallel 0.09/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.13 c Expensive reason simplification 0.09/0.13 c Glucose 2.1 dynamic restart strategy 0.09/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.13 c No reason simplification 0.09/0.13 c Armin Biere (Picosat) restarts strategy 0.09/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4080997-1465342792.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 1.60/0.70 c ... done. Wall clock time 0.57s. 1.60/0.70 c declared #vars 9765 1.60/0.70 c #constraints 21931 1.60/0.70 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.60/0.70 c constraints type 1.60/0.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.60/0.70 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.60/0.70 c org.sat4j.specs.Constr$1 => 4 1.60/0.70 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.60/0.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.60/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.60/0.70 c 21931 constraints processed. 1.60/0.70 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.60/0.70 c constraints type 1.60/0.70 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.60/0.70 c org.sat4j.specs.Constr$1 => 4 1.60/0.70 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.60/0.70 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.60/0.70 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.60/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.60/0.70 c 21931 constraints processed. 1.60/0.70 c objective function length is 4005 literals 3.98/1.37 c And the winner is solver1 4.42/1.71 c SATISFIABLE 4.42/1.71 c OPTIMIZING... 4.42/1.71 c Got one! Elapsed wall clock time (in seconds):1.583 4.42/1.71 o 6351261 4.73/1.81 c And the winner is solver0 4.81/2.23 c Got one! Elapsed wall clock time (in seconds):2.098 4.81/2.23 o 6274164 4.81/2.26 c And the winner is solver0 4.97/2.74 c Got one! Elapsed wall clock time (in seconds):2.61 4.97/2.74 o 4904287 5.67/3.01 c And the winner is solver0 5.70/3.25 c Got one! Elapsed wall clock time (in seconds):3.119 5.70/3.25 o 4364066 8.44/4.59 c And the winner is solver1 8.62/4.61 c cleaning 2828 clauses out of 5664 with flag 20790/5666 8.66/4.76 c Got one! Elapsed wall clock time (in seconds):4.626 8.66/4.76 o 3809872 8.77/4.80 c And the winner is solver0 8.79/5.26 c Got one! Elapsed wall clock time (in seconds):5.133 8.79/5.26 o 3742751 12.80/7.07 c cleaning 3960 clauses out of 7938 with flag 26139/10768 13.00/7.18 c And the winner is solver1 13.18/7.27 c Got one! Elapsed wall clock time (in seconds):7.139 13.18/7.27 o 3735661 17.14/9.16 c cleaning 4632 clauses out of 9263 with flag 25457/16053 21.57/11.36 c And the winner is solver1 21.70/11.78 c Got one! Elapsed wall clock time (in seconds):11.645 21.70/11.78 o 3692984 22.35/12.11 c And the winner is solver1 22.36/12.28 c Got one! Elapsed wall clock time (in seconds):12.151 22.36/12.28 o 3485437 22.59/12.43 c And the winner is solver1 22.67/12.79 c Got one! Elapsed wall clock time (in seconds):12.657 22.67/12.79 o 3328544 26.69/14.85 c cleaning 8396 clauses out of 16806 with flag 31052/28229 31.90/17.25 c cleaning 7205 clauses out of 14410 with flag 66030/34229 36.50/19.54 c And the winner is solver0 36.68/19.86 c Got one! Elapsed wall clock time (in seconds):19.726 36.68/19.86 o 3288174 36.79/19.95 c And the winner is solver1 36.90/20.36 c Got one! Elapsed wall clock time (in seconds):20.232 36.90/20.36 o 3167559 41.52/22.55 c cleaning 9085 clauses out of 18173 with flag 33718/45202 46.12/24.88 c cleaning 7540 clauses out of 15088 with flag 71572/51202 51.74/27.69 c cleaning 7271 clauses out of 14548 with flag 118726/58202 57.92/30.72 c cleaning 7641 clauses out of 15282 with flag 164084/66207 65.11/34.30 c cleaning 8316 clauses out of 16636 with flag 216808/75202 73.12/38.36 c cleaning 9156 clauses out of 18320 with flag 277865/85202 82.94/42.96 c cleaning 10078 clauses out of 20164 with flag 348956/96202 92.12/47.54 c cleaning 11042 clauses out of 22089 with flag 434928/108205 101.92/52.41 c cleaning 12024 clauses out of 24048 with flag 523847/121206 112.97/57.65 c cleaning 13012 clauses out of 26023 with flag 620850/135205 124.37/63.33 c cleaning 14003 clauses out of 28009 with flag 732858/150203 136.17/69.31 c cleaning 15003 clauses out of 30005 with flag 856774/166202 148.57/75.42 c cleaning 15995 clauses out of 32002 with flag 975553/183202 162.57/82.51 c cleaning 16997 clauses out of 34007 with flag 1075713/201203 163.57/82.90 c And the winner is solver0 163.57/83.40 c Got one! Elapsed wall clock time (in seconds):83.27 163.57/83.40 o 3072083 166.78/85.01 c cleaning 11007 clauses out of 22055 with flag 22531/206248 171.39/87.32 c cleaning 8521 clauses out of 17048 with flag 55447/212248 175.99/89.61 c cleaning 7757 clauses out of 15527 with flag 93366/219248 181.39/92.39 c cleaning 7879 clauses out of 15771 with flag 136269/227249 188.41/95.88 c And the winner is solver0 188.75/96.11 c Got one! Elapsed wall clock time (in seconds):95.98 188.75/96.11 o 3051555 193.91/98.24 c cleaning 10887 clauses out of 21778 with flag 27965/241136 197.94/100.29 c cleaning 8444 clauses out of 16891 with flag 61230/247136 202.52/102.58 c cleaning 7700 clauses out of 15446 with flag 99542/254135 208.73/105.62 c cleaning 7864 clauses out of 15746 with flag 142496/262135 215.33/108.92 c cleaning 8437 clauses out of 16882 with flag 191403/271135 222.51/112.57 c cleaning 9218 clauses out of 18447 with flag 246252/281137 231.12/116.86 c cleaning 10100 clauses out of 20228 with flag 306640/292136 240.32/121.47 c cleaning 11060 clauses out of 22128 with flag 379433/304136 249.12/125.85 c cleaning 12029 clauses out of 24067 with flag 459304/317135 259.34/130.98 c cleaning 13011 clauses out of 26038 with flag 542346/331135 270.92/136.76 c cleaning 14005 clauses out of 28028 with flag 629767/346136 283.33/143.00 c cleaning 15011 clauses out of 30022 with flag 728319/362135 293.97/147.84 c And the winner is solver0 293.99/147.93 c Got one! Elapsed wall clock time (in seconds):147.802 293.99/147.93 o 3037267 297.79/149.91 c cleaning 16039 clauses out of 32083 with flag 28785/379207 302.39/152.20 c cleaning 11022 clauses out of 22044 with flag 64043/385207 307.19/154.65 c cleaning 9008 clauses out of 18023 with flag 105554/392208 312.99/157.51 c cleaning 8502 clauses out of 17013 with flag 146616/400206 319.21/160.65 c cleaning 8743 clauses out of 17515 with flag 192398/409210 326.39/164.24 c cleaning 9373 clauses out of 18768 with flag 254072/419206 334.18/168.19 c cleaning 10191 clauses out of 20396 with flag 320745/430207 343.62/172.54 c cleaning 11097 clauses out of 22204 with flag 391338/442206 343.82/172.69 c And the winner is solver0 344.15/172.95 c Got one! Elapsed wall clock time (in seconds):172.816 344.15/172.95 o 2987323 347.62/174.78 c cleaning 8225 clauses out of 16470 with flag 29110/447569 351.62/176.73 c cleaning 7115 clauses out of 14247 with flag 63546/453571 356.84/179.34 c cleaning 7053 clauses out of 14130 with flag 103273/460569 362.62/182.26 c cleaning 7537 clauses out of 15081 with flag 148262/468573 369.02/185.44 c cleaning 8267 clauses out of 16541 with flag 198837/477570 376.02/188.94 c cleaning 9129 clauses out of 18272 with flag 255500/487568 384.42/193.15 c cleaning 10071 clauses out of 20144 with flag 326782/498569 393.22/197.51 c cleaning 11035 clauses out of 22072 with flag 401101/510568 402.61/202.20 c cleaning 12018 clauses out of 24038 with flag 473807/523569 412.61/207.27 c cleaning 13007 clauses out of 26019 with flag 565149/537568 425.28/213.74 c cleaning 13997 clauses out of 28012 with flag 649373/552568 437.28/219.76 c cleaning 14994 clauses out of 30015 with flag 745875/568568 450.08/226.18 c cleaning 16010 clauses out of 32023 with flag 861168/585570 463.68/232.99 c cleaning 16996 clauses out of 34012 with flag 980480/603569 478.48/240.39 c cleaning 18000 clauses out of 36021 with flag 1117429/622574 484.03/243.05 c And the winner is solver0 484.22/243.55 c Got one! Elapsed wall clock time (in seconds):243.417 484.22/243.55 o 2954917 488.31/245.62 c cleaning 14979 clauses out of 29982 with flag 36982/634535 492.51/247.71 c cleaning 10494 clauses out of 21003 with flag 75426/640535 497.31/250.10 c cleaning 8749 clauses out of 17510 with flag 119123/647536 502.91/253.00 c cleaning 8367 clauses out of 16760 with flag 168769/655535 509.31/256.18 c cleaning 8686 clauses out of 17394 with flag 223950/664536 516.53/259.71 c cleaning 9349 clauses out of 18707 with flag 285625/674535 524.51/263.79 c cleaning 10170 clauses out of 20357 with flag 355306/685535 533.31/268.11 c cleaning 11091 clauses out of 22187 with flag 433343/697535 541.11/272.06 c And the winner is solver0 541.41/272.36 c Got one! Elapsed wall clock time (in seconds):272.234 541.41/272.36 o 2945950 546.18/274.65 c cleaning 13288 clauses out of 26589 with flag 35610/713028 550.58/276.85 c cleaning 9638 clauses out of 19303 with flag 78058/719030 555.38/279.29 c cleaning 8312 clauses out of 16663 with flag 121999/726028 561.58/282.34 c cleaning 8159 clauses out of 16351 with flag 176072/734028 568.38/285.74 c cleaning 8595 clauses out of 17192 with flag 235128/743028 575.80/289.41 c cleaning 9292 clauses out of 18597 with flag 303231/753028 583.78/293.42 c cleaning 10149 clauses out of 20305 with flag 370665/764028 592.18/297.68 c cleaning 11076 clauses out of 22156 with flag 447939/776028 602.32/302.53 c cleaning 12025 clauses out of 24081 with flag 532521/789029 612.70/307.71 c cleaning 13021 clauses out of 26055 with flag 631129/803028 623.10/312.92 c cleaning 14012 clauses out of 28034 with flag 711327/818028 635.10/318.91 c cleaning 15006 clauses out of 30024 with flag 805232/834030 647.91/325.37 c cleaning 16001 clauses out of 32016 with flag 912079/851028 661.93/332.39 c cleaning 17002 clauses out of 34015 with flag 1025416/869028 674.57/338.50 c And the winner is solver0 674.67/338.93 c Got one! Elapsed wall clock time (in seconds):338.803 674.67/338.93 o 2886748 678.58/340.95 c cleaning 18762 clauses out of 37552 with flag 36715/889567 683.40/343.31 c cleaning 12392 clauses out of 24789 with flag 77545/895566 688.78/346.00 c cleaning 9686 clauses out of 19398 with flag 125456/902567 694.59/348.98 c cleaning 8851 clauses out of 17711 with flag 183280/910566 700.80/352.06 c cleaning 8920 clauses out of 17860 with flag 243175/919566 707.98/355.69 c cleaning 9459 clauses out of 18940 with flag 307693/929566 716.40/359.85 c cleaning 10240 clauses out of 20482 with flag 381974/940567 725.29/364.18 c cleaning 11115 clauses out of 22242 with flag 461622/952567 734.47/368.72 c cleaning 12065 clauses out of 24129 with flag 545789/965569 744.67/373.82 c cleaning 13025 clauses out of 26060 with flag 627053/979566 755.27/379.14 c cleaning 14010 clauses out of 28035 with flag 715273/994567 766.68/384.88 c cleaning 15004 clauses out of 30025 with flag 823977/1010567 778.88/390.97 c cleaning 16003 clauses out of 32020 with flag 933932/1027566 792.60/397.64 c cleaning 17005 clauses out of 34017 with flag 1034567/1045567 806.80/404.78 c cleaning 17997 clauses out of 36012 with flag 1150732/1064567 822.55/412.47 c cleaning 19002 clauses out of 38015 with flag 1284772/1084567 838.56/420.46 c cleaning 19996 clauses out of 40010 with flag 1425761/1105566 855.16/428.72 c cleaning 21001 clauses out of 42015 with flag 1579297/1127567 874.21/438.39 c cleaning 22004 clauses out of 44013 with flag 1739907/1150566 892.20/447.32 c cleaning 23004 clauses out of 46009 with flag 1918069/1174567 910.63/456.54 c cleaning 23995 clauses out of 48002 with flag 2089304/1199567 929.75/466.09 c cleaning 24999 clauses out of 50004 with flag 2271477/1225568 949.59/475.80 c cleaning 25998 clauses out of 52001 with flag 2449772/1252568 964.39/483.23 c And the winner is solver0 965.55/484.89 c >>>>>>>>>> Solver number 0 (13 answers) <<<<<<<<<<<<<<<<<< 965.55/484.89 c starts : 6374 965.55/484.89 c conflicts : 1275378 965.55/484.89 c decisions : 3277734 965.55/484.89 c propagations : 502760188 965.55/484.89 c inspects : 2339924821 965.55/484.89 c shortcuts : 0 965.55/484.89 c learnt literals : 42 965.55/484.89 c learnt binary clauses : 145 965.55/484.89 c learnt ternary clauses : 573 965.55/484.89 c learnt constraints : 1275335 965.55/484.89 c ignored constraints : 0 965.55/484.89 c root simplifications : 0 965.55/484.89 c removed literals (reason simplification) : 15960947 965.55/484.89 c reason swapping (by a shorter reason) : 0 965.55/484.89 c Calls to reduceDB : 103 965.55/484.89 c Number of update (reduction) of LBD : 488982 965.55/484.89 c Imported unit clauses : 0 965.55/484.89 c number of reductions to clauses (during analyze) : 0 965.55/484.89 c number of learned constraints concerned by reduction : 0 965.55/484.89 c number of learning phase by resolution : 0 965.55/484.89 c number of learning phase by cutting planes : 0 965.55/484.89 c speed (assignments/second) : 1082317.280989921 965.55/484.89 c non guided choices 2788 965.55/484.89 c learnt constraints type 965.55/484.89 c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<< 965.55/484.89 c starts : 24 965.55/484.89 c conflicts : 1945 965.55/484.89 c decisions : 52037 965.55/484.89 c propagations : 1993994 965.55/484.89 c inspects : 67214224 965.55/484.89 c shortcuts : 0 965.55/484.89 c learnt literals : 0 965.55/484.89 c learnt binary clauses : 21 965.55/484.89 c learnt ternary clauses : 1 965.55/484.89 c learnt constraints : 1935 965.55/484.89 c ignored constraints : 0 965.55/484.89 c root simplifications : 0 965.55/484.89 c removed literals (reason simplification) : 0 965.55/484.89 c reason swapping (by a shorter reason) : 0 965.55/484.89 c Calls to reduceDB : 0 965.55/484.89 c Number of update (reduction) of LBD : 0 965.55/484.89 c Imported unit clauses : 0 965.55/484.89 c number of reductions to clauses (during analyze) : 0 965.55/484.89 c number of learned constraints concerned by reduction : 0 965.55/484.89 c number of learning phase by resolution : 0 965.55/484.89 c number of learning phase by cutting planes : 0 965.55/484.89 c speed (assignments/second) : 13676.321511121474 965.55/484.89 c non guided choices 1425 965.55/484.89 c learnt constraints type 965.55/484.89 s OPTIMUM FOUND 965.55/484.89 c Found 19 solution(s) 965.65/484.90 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 965.65/484.91 c objective function=2886748 965.65/484.91 c Total wall clock time (in seconds): 484.783
OK 2886748
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-4080997-1465342792/watcher-4080997-1465342792 -o /tmp/evaluation-result-4080997-1465342792/solver-4080997-1465342792 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20066 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080997-1465342792.opb pid=20760 running on 8 cores: 0-3,8-11 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: 3.88 3.94 3.61 4/284 20763 /proc/meminfo: memFree=29720352/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=89736 CPUtime=0 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 1239 0 0 0 0 0 0 0 20 0 2 0 116121255 91889664 881 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 22434 884 669 9 0 16769 0 [pid=20763/tid=20764] ppid=20760 vsize=91816 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) R 20760 20763 20050 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 116121256 94019584 902 33554432000 1073741824 1073778376 140735125466176 140735125455240 216824561138 0 0 4096 0 0 0 0 -1 8 0 0 0 0 0 [startup+0.100061 s] /proc/loadavg: 3.88 3.94 3.61 4/284 20763 /proc/meminfo: memFree=29720352/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=9896436 CPUtime=0.09 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 4377 0 1 0 7 2 0 0 20 0 23 0 116121255 10133950464 5501 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2474109 5502 2097 9 0 2464786 0 [pid=20763/tid=20764] ppid=20760 vsize=9896436 CPUtime=0.06 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) R 20760 20763 20050 0 -1 4202560 2395 0 1 0 5 1 0 0 20 0 23 0 116121256 10133950464 5502 33554432000 1073741824 1073778376 140735125466176 140592520268704 140592528034643 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9896436 [startup+0.200271 s] /proc/loadavg: 3.88 3.94 3.61 4/284 20763 /proc/meminfo: memFree=29720352/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=9896436 CPUtime=0.29 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 5064 0 1 0 27 2 0 0 20 0 23 0 116121255 10133950464 7070 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2474109 7070 2219 9 0 2464786 0 [pid=20763/tid=20764] ppid=20760 vsize=9896436 CPUtime=0.16 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) R 20760 20763 20050 0 -1 4202560 2441 0 1 0 15 1 0 0 20 0 23 0 116121256 10133950464 7070 33554432000 1073741824 1073778376 140735125466176 140592520269480 140592348783439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9896436 [startup+0.300275 s] /proc/loadavg: 3.88 3.94 3.61 4/284 20763 /proc/meminfo: memFree=29720352/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=9896436 CPUtime=0.5 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 6137 0 1 0 48 2 0 0 20 0 23 0 116121255 10133950464 10485 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2474109 10485 2238 9 0 2464786 0 [pid=20763/tid=20764] ppid=20760 vsize=9896436 CPUtime=0.26 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) R 20760 20763 20050 0 -1 4202560 2456 0 1 0 24 2 0 0 20 0 23 0 116121256 10133950464 10485 33554432000 1073741824 1073778376 140735125466176 140592520269480 140592348918884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9896436 [startup+0.700291 s] /proc/loadavg: 3.88 3.94 3.61 4/284 20763 /proc/meminfo: memFree=29720352/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=9896436 CPUtime=1.6 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 17674 0 1 0 155 5 0 0 20 0 23 0 116121255 10133950464 31621 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2474109 31621 2254 9 0 2464786 0 [pid=20763/tid=20764] ppid=20760 vsize=9896436 CPUtime=0.66 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) R 20760 20763 20050 0 -1 4202560 2487 0 1 0 63 3 0 0 20 0 23 0 116121256 10133950464 31621 33554432000 1073741824 1073778376 140735125466176 140592520269480 216812021005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 9896436 [startup+1.50102 s] /proc/loadavg: 3.88 3.94 3.61 7/311 20790 /proc/meminfo: memFree=29566128/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=10162692 CPUtime=4.42 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 23870 0 1 0 429 13 0 0 20 0 24 0 116121255 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2540673 49178 2286 9 0 2531350 0 [pid=20763/tid=20764] ppid=20760 vsize=10162692 CPUtime=0.67 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) S 20760 20763 20050 0 -1 4202560 2496 0 1 0 64 3 0 0 20 0 24 0 116121256 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592520270712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20766] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20766/stat : 20766 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592481761960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20767] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20767/stat : 20767 (java) S 20760 20763 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592480709416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20768] ppid=20760 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20763/task/20768/stat : 20768 (java) S 20760 20763 20050 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592479656872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20769] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20769/stat : 20769 (java) S 20760 20763 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592478604328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20770] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20770/stat : 20770 (java) S 20760 20763 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592477550760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20771] ppid=20760 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20763/task/20771/stat : 20771 (java) S 20760 20763 20050 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592476498216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20763/tid=20772] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20772/stat : 20772 (java) S 20760 20763 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592475445672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20773] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20773/stat : 20773 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592474393128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20774] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20774/stat : 20774 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592473340584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20775] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20775/stat : 20775 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592472288040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20776] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20776/stat : 20776 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592471235496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20777] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20777/stat : 20777 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592470182952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20778] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20778/stat : 20778 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592469129384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20779] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20779/stat : 20779 (java) S 20760 20763 20050 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 24 0 116121258 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140592333916392 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20780] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20780/stat : 20780 (java) S 20760 20763 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140591459460344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20781] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20781/stat : 20781 (java) S 20760 20763 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140591458407688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20782] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20782/stat : 20782 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140591457356432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20783] ppid=20760 vsize=10162692 CPUtime=1.1 cores=0-3,8-11 /proc/20763/task/20783/stat : 20783 (java) S 20760 20763 20050 0 -1 4202560 11493 0 0 0 109 1 0 0 20 0 24 0 116121261 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140591456303800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20784] ppid=20760 vsize=10162692 CPUtime=1.13 cores=0-3,8-11 /proc/20763/task/20784/stat : 20784 (java) S 20760 20763 20050 0 -1 4202560 8374 0 0 0 112 1 0 0 20 0 24 0 116121261 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140591455251256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20785] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20785/stat : 20785 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140591454198904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20786] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20786/stat : 20786 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140591453145544 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20789] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20789/stat : 20789 (java) S 20760 20763 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 116121329 10406596608 49178 33554432000 1073741824 1073778376 140735125466176 140591449986216 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 4.42 Current children cumulated vsize (KiB) 10162692 [startup+3.10103 s] /proc/loadavg: 3.88 3.94 3.61 3/308 20793 /proc/meminfo: memFree=29530688/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=10162692 CPUtime=5.7 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 24055 0 1 0 551 19 0 0 20 0 24 0 116121255 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2540673 49182 2289 9 0 2531350 0 [pid=20763/tid=20764] ppid=20760 vsize=10162692 CPUtime=0.71 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) S 20760 20763 20050 0 -1 4202560 2498 0 1 0 68 3 0 0 20 0 24 0 116121256 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592520270712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20766] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20766/stat : 20766 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592481761960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20767] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20767/stat : 20767 (java) S 20760 20763 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592480709416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20768] ppid=20760 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20763/task/20768/stat : 20768 (java) S 20760 20763 20050 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592479656872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20769] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20769/stat : 20769 (java) S 20760 20763 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592478604328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20770] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20770/stat : 20770 (java) S 20760 20763 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592477550760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20771] ppid=20760 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/20763/task/20771/stat : 20771 (java) S 20760 20763 20050 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592476498216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20763/tid=20772] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20772/stat : 20772 (java) S 20760 20763 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592475445672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20773] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20773/stat : 20773 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592474393128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20774] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20774/stat : 20774 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592473340584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20775] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20775/stat : 20775 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592472288040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20776] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20776/stat : 20776 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592471235496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20777] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20777/stat : 20777 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592470182952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20778] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20778/stat : 20778 (java) S 20760 20763 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 116121257 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592469129384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20779] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20779/stat : 20779 (java) S 20760 20763 20050 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 24 0 116121258 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140592333916392 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20780] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20780/stat : 20780 (java) S 20760 20763 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140591459460344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20781] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20781/stat : 20781 (java) S 20760 20763 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140591458407688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20782] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20782/stat : 20782 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140591457356432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20783] ppid=20760 vsize=10162692 CPUtime=1.41 cores=0-3,8-11 /proc/20763/task/20783/stat : 20783 (java) S 20760 20763 20050 0 -1 4202560 11494 0 0 0 139 2 0 0 20 0 24 0 116121261 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140591456303800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20784] ppid=20760 vsize=10162692 CPUtime=1.3 cores=0-3,8-11 /proc/20763/task/20784/stat : 20784 (java) S 20760 20763 20050 0 -1 4202560 8534 0 0 0 129 1 0 0 20 0 24 0 116121261 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140591455251256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20785] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20785/stat : 20785 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140591454198904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20786] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20786/stat : 20786 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140591453145544 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20793] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20793/stat : 20793 (java) S 20760 20763 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 116121428 10406596608 49182 33554432000 1073741824 1073778376 140735125466176 140591448934056 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 5.7 Current children cumulated vsize (KiB) 10162692 [startup+6.30163 s] /proc/loadavg: 3.73 3.91 3.60 5/311 20808 /proc/meminfo: memFree=29455288/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=10162692 CPUtime=11.34 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 24487 0 1 0 1087 47 0 0 20 0 27 0 116121255 10406596608 90715 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2540673 90715 2294 9 0 2531350 0 [pid=20763/tid=20764] ppid=20760 vsize=10162692 CPUtime=0.73 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) S 20760 20763 20050 0 -1 4202560 2500 0 1 0 70 3 0 0 20 0 27 0 116121256 10406596608 90715 33554432000 1073741824 1073778376 140735125466176 140592520270712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20766] ppid=20760 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/20763/task/20766/stat : 20766 (java) S 20760 20763 20050 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 27 0 116121257 10406596608 90715 33554432000 1073741824 1073778376 140735125466176 140592481761960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20767] ppid=20760 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/20763/task/20767/stat : 20767 (java) S 20760 20763 20050 0 -1 4202560 29 0 0 0 3 3 0 0 20 0 27 0 116121257 10406596608 90715 33554432000 1073741824 1073778376 140735125466176 140592480709416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20763/tid=20768] ppid=20760 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/20763/task/20768/stat : 20768 (java) S 20760 20763 20050 0 -1 4202560 31 0 0 0 3 3 0 0 20 0 27 0 116121257 10406596608 90715 33554432000 1073741824 1073778376 140735125466176 140592479656872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20769] ppid=20760 vsize=10162692 CPUtime=0.03 cores=0-3,8-11 ################ # More data... # ################ /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 30696 0 1 0 95955 457 0 0 20 0 24 0 116121255 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2540673 502521 2302 9 0 2531350 0 [pid=20763/tid=20764] ppid=20760 vsize=10162692 CPUtime=1.6 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) R 20760 20763 20050 0 -1 4202560 2506 0 1 0 156 4 0 0 20 0 24 0 116121256 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592520268288 140592348927926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20766] ppid=20760 vsize=10162692 CPUtime=1.16 cores=0-3,8-11 /proc/20763/task/20766/stat : 20766 (java) S 20760 20763 20050 0 -1 4202560 352 0 0 0 82 34 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592481761960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20767] ppid=20760 vsize=10162692 CPUtime=1.01 cores=0-3,8-11 /proc/20763/task/20767/stat : 20767 (java) S 20760 20763 20050 0 -1 4202560 317 0 0 0 69 32 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592480709416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20768] ppid=20760 vsize=10162692 CPUtime=0.97 cores=0-3,8-11 /proc/20763/task/20768/stat : 20768 (java) S 20760 20763 20050 0 -1 4202560 336 0 0 0 67 30 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592479656872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20769] ppid=20760 vsize=10162692 CPUtime=0.9 cores=0-3,8-11 /proc/20763/task/20769/stat : 20769 (java) S 20760 20763 20050 0 -1 4202560 259 0 0 0 61 29 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592478604328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20770] ppid=20760 vsize=10162692 CPUtime=1.01 cores=0-3,8-11 /proc/20763/task/20770/stat : 20770 (java) S 20760 20763 20050 0 -1 4202560 316 0 0 0 69 32 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592477550760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20771] ppid=20760 vsize=10162692 CPUtime=0.9 cores=0-3,8-11 /proc/20763/task/20771/stat : 20771 (java) S 20760 20763 20050 0 -1 4202560 232 0 0 0 64 26 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592476498216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20772] ppid=20760 vsize=10162692 CPUtime=0.82 cores=0-3,8-11 /proc/20763/task/20772/stat : 20772 (java) S 20760 20763 20050 0 -1 4202560 264 0 0 0 57 25 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592475445672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20773] ppid=20760 vsize=10162692 CPUtime=0.8 cores=0-3,8-11 /proc/20763/task/20773/stat : 20773 (java) S 20760 20763 20050 0 -1 4202560 209 0 0 0 58 22 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592474393128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20763/tid=20774] ppid=20760 vsize=10162692 CPUtime=0.82 cores=0-3,8-11 /proc/20763/task/20774/stat : 20774 (java) S 20760 20763 20050 0 -1 4202560 255 0 0 0 58 24 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592473340584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20775] ppid=20760 vsize=10162692 CPUtime=0.97 cores=0-3,8-11 /proc/20763/task/20775/stat : 20775 (java) S 20760 20763 20050 0 -1 4202560 365 0 0 0 64 33 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592472288040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20776] ppid=20760 vsize=10162692 CPUtime=0.91 cores=0-3,8-11 /proc/20763/task/20776/stat : 20776 (java) S 20760 20763 20050 0 -1 4202560 272 0 0 0 66 25 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592471235496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20777] ppid=20760 vsize=10162692 CPUtime=0.76 cores=0-3,8-11 /proc/20763/task/20777/stat : 20777 (java) S 20760 20763 20050 0 -1 4202560 321 0 0 0 52 24 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592470182952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20763/tid=20778] ppid=20760 vsize=10162692 CPUtime=1.09 cores=0-3,8-11 /proc/20763/task/20778/stat : 20778 (java) S 20760 20763 20050 0 -1 4202560 315 0 0 0 76 33 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592469129384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20779] ppid=20760 vsize=10162692 CPUtime=1.9 cores=0-3,8-11 /proc/20763/task/20779/stat : 20779 (java) S 20760 20763 20050 0 -1 4202560 1418 0 0 0 189 1 0 0 20 0 24 0 116121258 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592333916392 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20780] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20780/stat : 20780 (java) S 20760 20763 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591459460344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20781] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20781/stat : 20781 (java) S 20760 20763 20050 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591458407688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20782] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20782/stat : 20782 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591457356432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20783] ppid=20760 vsize=10162692 CPUtime=1.87 cores=0-3,8-11 /proc/20763/task/20783/stat : 20783 (java) S 20760 20763 20050 0 -1 4202560 11524 0 0 0 185 2 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591456303800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20784] ppid=20760 vsize=10162692 CPUtime=1.5 cores=0-3,8-11 /proc/20763/task/20784/stat : 20784 (java) S 20760 20763 20050 0 -1 4202560 8536 0 0 0 148 2 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591455251256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20785] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20785/stat : 20785 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591454198904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20786] ppid=20760 vsize=10162692 CPUtime=0.12 cores=0-3,8-11 /proc/20763/task/20786/stat : 20786 (java) S 20760 20763 20050 0 -1 4202560 29 0 0 0 6 6 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591453145544 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20829] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20829/stat : 20829 (java) S 20760 20763 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 116123292 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591452091176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 Current children cumulated CPU time (s) 964.12 Current children cumulated vsize (KiB) 10162692 [startup+484.801 s] /proc/loadavg: 4.04 4.00 3.75 4/308 20939 /proc/meminfo: memFree=26436684/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=10162692 CPUtime=964.52 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 30696 0 1 0 95995 457 0 0 20 0 24 0 116121255 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2540673 502521 2302 9 0 2531350 0 [pid=20763/tid=20764] ppid=20760 vsize=10162692 CPUtime=2 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) R 20760 20763 20050 0 -1 4202560 2506 0 1 0 196 4 0 0 20 0 24 0 116121256 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592520268288 140592349692539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20766] ppid=20760 vsize=10162692 CPUtime=1.16 cores=0-3,8-11 /proc/20763/task/20766/stat : 20766 (java) S 20760 20763 20050 0 -1 4202560 352 0 0 0 82 34 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592481761960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20767] ppid=20760 vsize=10162692 CPUtime=1.01 cores=0-3,8-11 /proc/20763/task/20767/stat : 20767 (java) S 20760 20763 20050 0 -1 4202560 317 0 0 0 69 32 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592480709416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20768] ppid=20760 vsize=10162692 CPUtime=0.97 cores=0-3,8-11 /proc/20763/task/20768/stat : 20768 (java) S 20760 20763 20050 0 -1 4202560 336 0 0 0 67 30 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592479656872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20769] ppid=20760 vsize=10162692 CPUtime=0.9 cores=0-3,8-11 /proc/20763/task/20769/stat : 20769 (java) S 20760 20763 20050 0 -1 4202560 259 0 0 0 61 29 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592478604328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20770] ppid=20760 vsize=10162692 CPUtime=1.01 cores=0-3,8-11 /proc/20763/task/20770/stat : 20770 (java) S 20760 20763 20050 0 -1 4202560 316 0 0 0 69 32 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592477550760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20771] ppid=20760 vsize=10162692 CPUtime=0.9 cores=0-3,8-11 /proc/20763/task/20771/stat : 20771 (java) S 20760 20763 20050 0 -1 4202560 232 0 0 0 64 26 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592476498216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20772] ppid=20760 vsize=10162692 CPUtime=0.82 cores=0-3,8-11 /proc/20763/task/20772/stat : 20772 (java) S 20760 20763 20050 0 -1 4202560 264 0 0 0 57 25 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592475445672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20773] ppid=20760 vsize=10162692 CPUtime=0.8 cores=0-3,8-11 /proc/20763/task/20773/stat : 20773 (java) S 20760 20763 20050 0 -1 4202560 209 0 0 0 58 22 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592474393128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20763/tid=20774] ppid=20760 vsize=10162692 CPUtime=0.82 cores=0-3,8-11 /proc/20763/task/20774/stat : 20774 (java) S 20760 20763 20050 0 -1 4202560 255 0 0 0 58 24 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592473340584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20775] ppid=20760 vsize=10162692 CPUtime=0.97 cores=0-3,8-11 /proc/20763/task/20775/stat : 20775 (java) S 20760 20763 20050 0 -1 4202560 365 0 0 0 64 33 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592472288040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20776] ppid=20760 vsize=10162692 CPUtime=0.91 cores=0-3,8-11 /proc/20763/task/20776/stat : 20776 (java) S 20760 20763 20050 0 -1 4202560 272 0 0 0 66 25 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592471235496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20777] ppid=20760 vsize=10162692 CPUtime=0.76 cores=0-3,8-11 /proc/20763/task/20777/stat : 20777 (java) S 20760 20763 20050 0 -1 4202560 321 0 0 0 52 24 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592470182952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20763/tid=20778] ppid=20760 vsize=10162692 CPUtime=1.09 cores=0-3,8-11 /proc/20763/task/20778/stat : 20778 (java) S 20760 20763 20050 0 -1 4202560 315 0 0 0 76 33 0 0 20 0 24 0 116121257 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592469129384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20779] ppid=20760 vsize=10162692 CPUtime=1.9 cores=0-3,8-11 /proc/20763/task/20779/stat : 20779 (java) S 20760 20763 20050 0 -1 4202560 1418 0 0 0 189 1 0 0 20 0 24 0 116121258 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140592333916392 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20780] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20780/stat : 20780 (java) S 20760 20763 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591459460344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20781] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20781/stat : 20781 (java) S 20760 20763 20050 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591458407688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20782] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20782/stat : 20782 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591457356432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20783] ppid=20760 vsize=10162692 CPUtime=1.87 cores=0-3,8-11 /proc/20763/task/20783/stat : 20783 (java) S 20760 20763 20050 0 -1 4202560 11524 0 0 0 185 2 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591456303800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20784] ppid=20760 vsize=10162692 CPUtime=1.5 cores=0-3,8-11 /proc/20763/task/20784/stat : 20784 (java) S 20760 20763 20050 0 -1 4202560 8536 0 0 0 148 2 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591455251256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20785] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20785/stat : 20785 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591454198904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20786] ppid=20760 vsize=10162692 CPUtime=0.12 cores=0-3,8-11 /proc/20763/task/20786/stat : 20786 (java) S 20760 20763 20050 0 -1 4202560 29 0 0 0 6 6 0 0 20 0 24 0 116121261 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591453145544 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20829] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20829/stat : 20829 (java) S 20760 20763 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 116123292 10406596608 502521 33554432000 1073741824 1073778376 140735125466176 140591452091176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 Current children cumulated CPU time (s) 964.52 Current children cumulated vsize (KiB) 10162692 [startup+484.901 s] /proc/loadavg: 4.04 4.00 3.75 4/308 20939 /proc/meminfo: memFree=26436684/32872528 swapFree=9196/9196 [pid=20763] ppid=20760 vsize=10162692 CPUtime=964.62 cores=0-3,8-11 /proc/20763/stat : 20763 (java) S 20760 20763 20050 0 -1 4202496 30702 0 1 0 96005 457 0 0 20 0 24 0 116121255 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140735125457312 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20763/statm: 2540673 502522 2302 9 0 2531350 0 [pid=20763/tid=20764] ppid=20760 vsize=10162692 CPUtime=2.09 cores=0-3,8-11 /proc/20763/task/20764/stat : 20764 (java) S 20760 20763 20050 0 -1 4202560 2507 0 1 0 205 4 0 0 20 0 24 0 116121256 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592520270552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20766] ppid=20760 vsize=10162692 CPUtime=1.16 cores=0-3,8-11 /proc/20763/task/20766/stat : 20766 (java) S 20760 20763 20050 0 -1 4202560 352 0 0 0 82 34 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592481761960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20763/tid=20767] ppid=20760 vsize=10162692 CPUtime=1.01 cores=0-3,8-11 /proc/20763/task/20767/stat : 20767 (java) S 20760 20763 20050 0 -1 4202560 317 0 0 0 69 32 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592480709416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20768] ppid=20760 vsize=10162692 CPUtime=0.97 cores=0-3,8-11 /proc/20763/task/20768/stat : 20768 (java) S 20760 20763 20050 0 -1 4202560 336 0 0 0 67 30 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592479656872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20769] ppid=20760 vsize=10162692 CPUtime=0.9 cores=0-3,8-11 /proc/20763/task/20769/stat : 20769 (java) S 20760 20763 20050 0 -1 4202560 259 0 0 0 61 29 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592478604328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20770] ppid=20760 vsize=10162692 CPUtime=1.01 cores=0-3,8-11 /proc/20763/task/20770/stat : 20770 (java) S 20760 20763 20050 0 -1 4202560 316 0 0 0 69 32 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592477550760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20771] ppid=20760 vsize=10162692 CPUtime=0.9 cores=0-3,8-11 /proc/20763/task/20771/stat : 20771 (java) S 20760 20763 20050 0 -1 4202560 232 0 0 0 64 26 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592476498216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=20763/tid=20772] ppid=20760 vsize=10162692 CPUtime=0.82 cores=0-3,8-11 /proc/20763/task/20772/stat : 20772 (java) S 20760 20763 20050 0 -1 4202560 264 0 0 0 57 25 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592475445672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20773] ppid=20760 vsize=10162692 CPUtime=0.8 cores=0-3,8-11 /proc/20763/task/20773/stat : 20773 (java) S 20760 20763 20050 0 -1 4202560 209 0 0 0 58 22 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592474393128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20763/tid=20774] ppid=20760 vsize=10162692 CPUtime=0.82 cores=0-3,8-11 /proc/20763/task/20774/stat : 20774 (java) S 20760 20763 20050 0 -1 4202560 255 0 0 0 58 24 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592473340584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20775] ppid=20760 vsize=10162692 CPUtime=0.97 cores=0-3,8-11 /proc/20763/task/20775/stat : 20775 (java) S 20760 20763 20050 0 -1 4202560 365 0 0 0 64 33 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592472288040 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20763/tid=20776] ppid=20760 vsize=10162692 CPUtime=0.91 cores=0-3,8-11 /proc/20763/task/20776/stat : 20776 (java) S 20760 20763 20050 0 -1 4202560 272 0 0 0 66 25 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592471235496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20777] ppid=20760 vsize=10162692 CPUtime=0.76 cores=0-3,8-11 /proc/20763/task/20777/stat : 20777 (java) S 20760 20763 20050 0 -1 4202560 321 0 0 0 52 24 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592470182952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20763/tid=20778] ppid=20760 vsize=10162692 CPUtime=1.09 cores=0-3,8-11 /proc/20763/task/20778/stat : 20778 (java) S 20760 20763 20050 0 -1 4202560 315 0 0 0 76 33 0 0 20 0 24 0 116121257 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592469129384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20779] ppid=20760 vsize=10162692 CPUtime=1.9 cores=0-3,8-11 /proc/20763/task/20779/stat : 20779 (java) S 20760 20763 20050 0 -1 4202560 1419 0 0 0 189 1 0 0 20 0 24 0 116121258 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140592333916392 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20780] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20780/stat : 20780 (java) S 20760 20763 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140591459460344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20781] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20781/stat : 20781 (java) S 20760 20763 20050 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 24 0 116121259 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140591458407688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20782] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20782/stat : 20782 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140591457356432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=20763/tid=20783] ppid=20760 vsize=10162692 CPUtime=1.87 cores=0-3,8-11 /proc/20763/task/20783/stat : 20783 (java) S 20760 20763 20050 0 -1 4202560 11524 0 0 0 185 2 0 0 20 0 24 0 116121261 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140591456303800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20763/tid=20784] ppid=20760 vsize=10162692 CPUtime=1.5 cores=0-3,8-11 /proc/20763/task/20784/stat : 20784 (java) R 20760 20763 20050 0 -1 4202560 8537 0 0 0 148 2 0 0 20 0 24 0 116121261 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140591455251256 140592523892568 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=20763/tid=20785] ppid=20760 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/20763/task/20785/stat : 20785 (java) S 20760 20763 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 116121261 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140591454198904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=20763/tid=20786] ppid=20760 vsize=10162692 CPUtime=0.12 cores=0-3,8-11 /proc/20763/task/20786/stat : 20786 (java) S 20760 20763 20050 0 -1 4202560 29 0 0 0 6 6 0 0 20 0 24 0 116121261 10406596608 502522 33554432000 1073741824 1073778376 140735125466176 140591453145544 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 964.62 Current children cumulated vsize (KiB) 10162692 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.03006 # lost CPU user time (s): 1.16002 # lost CPU system time (s): -0.13 Real time (s): 484.927 CPU time (s): 965.776 CPU user time (s): 961.134 CPU system time (s): 4.64227 CPU usage (%): 199.159 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 959.974 system time used= 4.77227 maximum resident set size= 2487184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30706 page faults= 1 swaps= 0 block input operations= 0 block output operations= 560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13167 involuntary context switches= 4218 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.85526 second user time and 4.26835 second system time The end
Begin job on node132 at 2016-06-08 01:39:52 IDJOB=4080997 IDBENCH=92690 IDSOLVER=2543 FILE ID=node132/4080997-1465342792 RUNJOBID= node132-1465339282-20066 PBS_JOBID= 19853401 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_6_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080997-1465342792/watcher-4080997-1465342792 -o /tmp/evaluation-result-4080997-1465342792/solver-4080997-1465342792 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20066 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080997-1465342792.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= b24b10929da03724a77e08494dd4be05 RANDOM SEED=1741049589 node132.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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.41 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 29721508 kB Buffers: 171576 kB Cached: 825136 kB SwapCached: 3220 kB Active: 1737696 kB Inactive: 630316 kB Active(anon): 1370916 kB Inactive(anon): 3312 kB Active(file): 366780 kB Inactive(file): 627004 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094612 kB Dirty: 1332 kB Writeback: 0 kB AnonPages: 1396564 kB Mapped: 15468 kB Shmem: 0 kB Slab: 623952 kB SReclaimable: 64008 kB SUnreclaim: 559944 kB KernelStack: 2384 kB PageTables: 7712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2825264 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 1335296 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= 71708 MiB End job on node132 at 2016-06-08 01:47:57