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 Resolution PB16 | OPT | 3056260 | 398.99 | 397.034 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_9_mh_ic.opb |
| MD5SUM | e68c386be3005ac1db93713ad853c109 |
| 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 | 3056260 |
| Best CPU time to get the best result obtained on this benchmark | 398.99 |
| 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 | 144703125 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 7285050849 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 144703125 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 7285050849 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 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.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085079-1465330180.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 0.71/0.46 c ... done. Wall clock time 0.353s. 0.71/0.46 c declared #vars 9765 0.71/0.46 c #constraints 21931 0.71/0.46 c constraints type 0.71/0.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.71/0.46 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.71/0.46 c org.sat4j.specs.Constr$1 => 4 0.71/0.49 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.71/0.49 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.71/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.71/0.49 c 21931 constraints processed. 0.71/0.49 c objective function length is 4005 literals 1.15/0.65 c SATISFIABLE 1.15/0.65 c OPTIMIZING... 1.15/0.65 c Got one! Elapsed wall clock time (in seconds):0.538 1.15/0.65 o 4070021 3.05/2.12 c cleaning 2601 clauses out of 5207 with flag 26959/5207 5.85/4.41 c cleaning 4302 clauses out of 8603 with flag 72542/11205 8.35/6.92 c cleaning 5635 clauses out of 11299 with flag 133231/18203 10.66/9.25 c Got one! Elapsed wall clock time (in seconds):9.135 10.66/9.25 o 3953482 10.93/9.44 c Got one! Elapsed wall clock time (in seconds):9.327 10.93/9.44 o 3871993 11.61/10.01 c Got one! Elapsed wall clock time (in seconds):9.899 11.61/10.01 o 3856000 11.61/10.09 c Got one! Elapsed wall clock time (in seconds):9.983 11.61/10.09 o 3804640 12.95/11.32 c cleaning 9689 clauses out of 19378 with flag 27083/31920 14.58/12.98 c cleaning 7839 clauses out of 15690 with flag 67969/37921 16.87/15.25 c cleaning 7421 clauses out of 14850 with flag 121448/44920 19.28/17.66 c cleaning 7713 clauses out of 15429 with flag 180523/52920 21.77/20.17 c cleaning 8353 clauses out of 16715 with flag 239856/61920 23.37/21.79 c Got one! Elapsed wall clock time (in seconds):21.678 23.37/21.79 o 3682772 25.17/23.55 c cleaning 9551 clauses out of 19116 with flag 37171/72674 27.27/25.66 c cleaning 7780 clauses out of 15567 with flag 77861/78676 29.84/28.13 c cleaning 7377 clauses out of 14786 with flag 120872/85675 32.55/30.88 c cleaning 7695 clauses out of 15410 with flag 172466/93676 35.44/33.78 c cleaning 8357 clauses out of 16713 with flag 230063/102674 38.45/36.73 c cleaning 9178 clauses out of 18360 with flag 288790/112678 41.95/40.20 c cleaning 10073 clauses out of 20179 with flag 363358/123675 45.05/43.35 c Got one! Elapsed wall clock time (in seconds):43.238 45.05/43.35 o 3653042 46.35/44.64 c Got one! Elapsed wall clock time (in seconds):44.524 46.35/44.64 o 3638985 47.15/45.41 c cleaning 12796 clauses out of 25636 with flag 18931/139205 49.15/47.41 c cleaning 9403 clauses out of 18838 with flag 58459/145203 49.85/48.15 c Got one! Elapsed wall clock time (in seconds):48.039 49.85/48.15 o 3612624 50.85/49.12 c cleaning 7329 clauses out of 14689 with flag 24047/150457 52.85/51.15 c cleaning 6670 clauses out of 13360 with flag 71118/156457 52.95/51.26 c Got one! Elapsed wall clock time (in seconds):51.151 52.95/51.26 o 3608219 54.55/52.87 c cleaning 6011 clauses out of 12028 with flag 40157/161795 56.45/54.77 c cleaning 5990 clauses out of 12019 with flag 87672/167797 58.55/56.90 c cleaning 6503 clauses out of 13027 with flag 144124/174795 61.15/59.45 c cleaning 7252 clauses out of 14523 with flag 212948/182794 63.94/62.23 c cleaning 8120 clauses out of 16271 with flag 265027/191794 64.74/63.01 c Got one! Elapsed wall clock time (in seconds):62.894 64.74/63.01 o 3603340 64.74/63.02 c Got one! Elapsed wall clock time (in seconds):62.913 64.74/63.02 o 3541321 65.38/63.67 c Got one! Elapsed wall clock time (in seconds):63.562 65.38/63.67 o 3522365 66.08/64.34 c cleaning 7250 clauses out of 14522 with flag 16353/198165 67.98/66.29 c cleaning 6619 clauses out of 13273 with flag 54809/204166 70.18/68.43 c cleaning 6821 clauses out of 13652 with flag 103964/211164 72.58/70.88 c cleaning 7412 clauses out of 14834 with flag 167062/219167 74.68/72.90 c Got one! Elapsed wall clock time (in seconds):72.787 74.68/72.90 o 3508978 76.28/74.58 c cleaning 9476 clauses out of 18958 with flag 41323/230703 78.38/76.66 c cleaning 7732 clauses out of 15482 with flag 88073/236703 80.77/79.08 c cleaning 7365 clauses out of 14750 with flag 132685/243703 83.38/81.65 c cleaning 7690 clauses out of 15385 with flag 183640/251703 83.78/82.03 c Got one! Elapsed wall clock time (in seconds):81.92 83.78/82.03 o 3468190 85.09/83.37 c cleaning 6439 clauses out of 12896 with flag 29052/256904 86.99/85.26 c cleaning 6217 clauses out of 12454 with flag 68765/262901 89.09/87.37 c cleaning 6616 clauses out of 13237 with flag 112784/269901 90.99/89.29 c Got one! Elapsed wall clock time (in seconds):89.178 90.99/89.29 o 3443518 92.48/90.76 c cleaning 8978 clauses out of 17967 with flag 29786/281247 94.48/92.75 c cleaning 7487 clauses out of 14989 with flag 62885/287247 96.78/95.04 c cleaning 7235 clauses out of 14502 with flag 106038/294247 99.38/97.64 c cleaning 7623 clauses out of 15267 with flag 168062/302247 102.18/100.46 c cleaning 8312 clauses out of 16646 with flag 241243/311249 103.38/101.63 c Got one! Elapsed wall clock time (in seconds):101.52 103.38/101.63 o 3420953 104.09/102.32 c cleaning 6916 clauses out of 13859 with flag 12912/316774 105.78/104.09 c Got one! Elapsed wall clock time (in seconds):103.979 105.78/104.09 o 3394281 107.40/105.61 c cleaning 8546 clauses out of 17110 with flag 32131/326941 109.50/107.71 c cleaning 7273 clauses out of 14563 with flag 74190/332940 111.81/110.06 c cleaning 7133 clauses out of 14293 with flag 118889/339943 114.40/112.68 c cleaning 7563 clauses out of 15157 with flag 173396/347940 117.41/115.63 c cleaning 8295 clauses out of 16598 with flag 223098/356944 118.70/116.95 c Got one! Elapsed wall clock time (in seconds):116.84 118.70/116.95 o 3358304 119.00/117.30 c cleaning 6840 clauses out of 13711 with flag 7594/362352 120.90/119.13 c cleaning 6411 clauses out of 12871 with flag 46716/368352 123.10/121.36 c cleaning 6725 clauses out of 13461 with flag 92883/375353 125.60/123.86 c cleaning 7358 clauses out of 14735 with flag 147856/383352 128.41/126.66 c cleaning 8180 clauses out of 16377 with flag 223288/392352 131.80/130.08 c cleaning 9085 clauses out of 18197 with flag 292517/402352 135.50/133.78 c cleaning 10054 clauses out of 20113 with flag 365234/413353 139.50/137.71 c cleaning 11028 clauses out of 22059 with flag 459302/425353 143.60/141.88 c cleaning 12001 clauses out of 24029 with flag 549009/438352 148.32/146.51 c cleaning 13008 clauses out of 26028 with flag 645451/452352 153.42/151.61 c cleaning 14001 clauses out of 28020 with flag 764440/467352 155.32/153.55 c Got one! Elapsed wall clock time (in seconds):153.436 155.32/153.55 o 3342954 157.12/155.37 c cleaning 12491 clauses out of 25017 with flag 29940/478350 159.23/157.44 c cleaning 9247 clauses out of 18530 with flag 72121/484354 161.62/159.80 c cleaning 8122 clauses out of 16279 with flag 119703/491350 164.22/162.42 c cleaning 8058 clauses out of 16158 with flag 180516/499351 166.83/165.04 c cleaning 8546 clauses out of 17099 with flag 248399/508350 169.03/167.26 c Got one! Elapsed wall clock time (in seconds):167.152 169.03/167.26 o 3335192 170.72/168.98 c cleaning 10748 clauses out of 21511 with flag 35347/521308 172.72/170.95 c cleaning 8357 clauses out of 16762 with flag 75765/527307 175.02/173.28 c cleaning 7698 clauses out of 15406 with flag 123612/534308 177.62/175.85 c cleaning 7839 clauses out of 15710 with flag 170040/542310 180.42/178.64 c cleaning 8422 clauses out of 16868 with flag 221849/551308 181.62/179.81 c Got one! Elapsed wall clock time (in seconds):179.701 181.62/179.81 o 3330427 182.32/180.53 c cleaning 7035 clauses out of 14133 with flag 17298/556995 184.22/182.49 c cleaning 6521 clauses out of 13097 with flag 64184/562994 186.42/184.62 c cleaning 6776 clauses out of 13580 with flag 111520/569998 188.92/187.11 c cleaning 7396 clauses out of 14802 with flag 155416/577996 191.62/189.83 c cleaning 8199 clauses out of 16404 with flag 217766/586994 194.72/192.91 c cleaning 9095 clauses out of 18205 with flag 292589/596994 196.32/194.58 c Got one! Elapsed wall clock time (in seconds):194.465 196.32/194.58 o 3314736 197.72/195.96 c Got one! Elapsed wall clock time (in seconds):195.845 197.72/195.96 o 3303595 198.42/196.67 c cleaning 10446 clauses out of 20917 with flag 10783/608801 200.42/198.62 c cleaning 8207 clauses out of 16471 with flag 50821/614801 202.65/200.89 c cleaning 7623 clauses out of 15265 with flag 101433/621802 205.25/203.49 c cleaning 7811 clauses out of 15642 with flag 161640/629802 207.95/206.17 c cleaning 8401 clauses out of 16830 with flag 216137/638801 208.35/206.53 c Got one! Elapsed wall clock time (in seconds):206.414 208.35/206.53 o 3300996 209.65/207.85 c cleaning 6830 clauses out of 13666 with flag 26507/644038 211.45/209.63 c cleaning 6401 clauses out of 12836 with flag 61648/650038 213.45/211.65 c cleaning 6704 clauses out of 13435 with flag 104079/657038 215.85/214.06 c cleaning 7362 clauses out of 14731 with flag 159509/665038 218.45/216.60 c cleaning 8174 clauses out of 16369 with flag 219799/674038 221.45/219.66 c cleaning 9087 clauses out of 18195 with flag 296757/684038 224.75/222.91 c cleaning 10042 clauses out of 20108 with flag 381389/695038 228.46/226.70 c cleaning 11030 clauses out of 22066 with flag 467511/707038 232.35/230.51 c cleaning 12013 clauses out of 24036 with flag 569598/720038 236.45/234.65 c cleaning 13008 clauses out of 26023 with flag 683701/734038 240.96/239.14 c cleaning 14007 clauses out of 28015 with flag 806218/749038 245.49/243.67 c cleaning 14999 clauses out of 30008 with flag 908252/765039 250.99/249.13 c cleaning 15992 clauses out of 32008 with flag 1028126/782038 256.59/254.76 c cleaning 16996 clauses out of 34016 with flag 1135578/800038 261.79/259.91 c Got one! Elapsed wall clock time (in seconds):259.794 261.79/259.91 o 3273962 261.79/259.94 c Got one! Elapsed wall clock time (in seconds):259.825 261.79/259.94 o 3226709 263.59/261.70 c cleaning 19580 clauses out of 39172 with flag 40185/822190 265.39/263.50 c cleaning 12791 clauses out of 25589 with flag 75033/828187 267.29/265.40 c cleaning 9885 clauses out of 19798 with flag 117656/835187 269.30/267.42 c cleaning 8945 clauses out of 17914 with flag 161231/843188 272.09/270.30 c cleaning 8966 clauses out of 17971 with flag 219895/852190 273.09/271.29 c Got one! Elapsed wall clock time (in seconds):271.182 273.09/271.29 o 3198837 273.79/271.94 c cleaning 7216 clauses out of 14474 with flag 13594/857659 275.59/273.77 c cleaning 6608 clauses out of 13258 with flag 42588/863659 277.79/275.94 c cleaning 6812 clauses out of 13650 with flag 70600/870659 280.30/278.41 c cleaning 7405 clauses out of 14837 with flag 103004/878659 280.99/279.19 c Got one! Elapsed wall clock time (in seconds):279.078 280.99/279.19 o 3161873 281.99/280.13 c cleaning 6496 clauses out of 13044 with flag 14865/884271 283.69/281.88 c cleaning 6246 clauses out of 12550 with flag 39990/890273 285.59/283.70 c cleaning 6645 clauses out of 13302 with flag 65982/897271 286.69/284.88 c Got one! Elapsed wall clock time (in seconds):284.773 286.69/284.88 o 3160526 287.09/285.23 c cleaning 6036 clauses out of 12101 with flag 5355/902715 289.00/287.15 c cleaning 6008 clauses out of 12067 with flag 32577/908717 291.09/289.21 c cleaning 6519 clauses out of 13057 with flag 57152/915715 293.29/291.50 c cleaning 7262 clauses out of 14538 with flag 87676/923715 295.99/294.18 c cleaning 8132 clauses out of 16276 with flag 123917/932715 298.93/297.06 c cleaning 9072 clauses out of 18145 with flag 161164/942716 302.02/300.16 c Got one! Elapsed wall clock time (in seconds):300.051 302.02/300.16 o 3131668 303.62/301.75 c cleaning 12243 clauses out of 24494 with flag 20220/958137 305.32/303.49 c cleaning 9120 clauses out of 18250 with flag 45527/964136 307.22/305.35 c cleaning 8063 clauses out of 16132 with flag 71438/971138 309.42/307.50 c cleaning 8028 clauses out of 16068 with flag 101385/979137 311.62/309.72 c cleaning 8515 clauses out of 17041 with flag 135826/988139 314.52/312.61 c cleaning 9252 clauses out of 18523 with flag 174369/998136 317.22/315.35 c Got one! Elapsed wall clock time (in seconds):315.239 317.22/315.35 o 3110512 318.73/316.87 c cleaning 11768 clauses out of 23537 with flag 18797/1012402 320.42/318.59 c cleaning 8879 clauses out of 17768 with flag 43617/1018401 322.53/320.69 c cleaning 7934 clauses out of 15889 with flag 72217/1025401 324.93/323.04 c cleaning 7975 clauses out of 15957 with flag 103668/1033403 327.54/325.63 c cleaning 8480 clauses out of 16980 with flag 136548/1042401 330.53/328.61 c cleaning 9247 clauses out of 18499 with flag 175200/1052400 333.73/331.81 c cleaning 10115 clauses out of 20252 with flag 215475/1063400 337.33/335.50 c cleaning 11056 clauses out of 22136 with flag 265691/1075400 341.43/339.59 c cleaning 12037 clauses out of 24079 with flag 324172/1088400 345.50/343.54 c cleaning 13016 clauses out of 26042 with flag 380950/1102400 350.00/348.05 c cleaning 14006 clauses out of 28026 with flag 442342/1117400 354.90/352.94 c cleaning 14999 clauses out of 30021 with flag 505435/1133402 359.99/358.02 c cleaning 16000 clauses out of 32019 with flag 576377/1150400 365.39/363.47 c cleaning 17001 clauses out of 34017 with flag 650807/1168400 369.89/367.94 c Got one! Elapsed wall clock time (in seconds):367.824 369.89/367.94 o 3068509 371.29/369.38 c cleaning 18903 clauses out of 37820 with flag 20374/1189207 372.99/371.09 c cleaning 12452 clauses out of 24917 with flag 46999/1195207 374.79/372.89 c cleaning 9723 clauses out of 19464 with flag 74096/1202207 376.79/374.86 c cleaning 8856 clauses out of 17741 with flag 103421/1210207 379.09/377.10 c cleaning 8929 clauses out of 17885 with flag 136568/1219207 381.60/379.69 c cleaning 9462 clauses out of 18957 with flag 175207/1229208 384.59/382.69 c cleaning 10241 clauses out of 20494 with flag 218761/1240207 387.79/385.89 c cleaning 11118 clauses out of 22252 with flag 267471/1252207 389.99/388.05 c Got one! Elapsed wall clock time (in seconds):387.941 389.99/388.05 o 3056260 391.19/389.27 c cleaning 12505 clauses out of 25021 with flag 16973/1266094 392.69/390.73 c cleaning 9249 clauses out of 18517 with flag 38086/1272095 394.39/392.43 c cleaning 8128 clauses out of 16266 with flag 62096/1279094 396.29/394.31 c cleaning 8062 clauses out of 16136 with flag 88417/1287094 398.39/396.42 c cleaning 8534 clauses out of 17072 with flag 118378/1296094 398.99/397.01 c starts : 1311 398.99/397.01 c conflicts : 1299142 398.99/397.01 c decisions : 3510257 398.99/397.01 c propagations : 480873767 398.99/397.01 c inspects : 1973930218 398.99/397.01 c shortcuts : 0 398.99/397.01 c learnt literals : 45 398.99/397.01 c learnt binary clauses : 119 398.99/397.01 c learnt ternary clauses : 198 398.99/397.01 c learnt constraints : 1299096 398.99/397.01 c ignored constraints : 0 398.99/397.01 c root simplifications : 0 398.99/397.01 c removed literals (reason simplification) : 0 398.99/397.01 c reason swapping (by a shorter reason) : 0 398.99/397.01 c Calls to reduceDB : 143 398.99/397.01 c Number of update (reduction) of LBD : 509752 398.99/397.01 c Imported unit clauses : 0 398.99/397.01 c number of reductions to clauses (during analyze) : 0 398.99/397.01 c number of learned constraints concerned by reduction : 0 398.99/397.01 c number of learning phase by resolution : 0 398.99/397.01 c number of learning phase by cutting planes : 0 398.99/397.01 c speed (assignments/second) : 1212735.2138605872 398.99/397.01 c non guided choices 7913 398.99/397.01 c learnt constraints type 398.99/397.01 s OPTIMUM FOUND 398.99/397.01 c Found 34 solution(s) 398.99/397.02 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 398.99/397.03 c objective function=3056260 398.99/397.03 c Total wall clock time (in seconds): 396.915
OK 3056260
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-4085079-1465330180/watcher-4085079-1465330180 -o /tmp/evaluation-result-4085079-1465330180/solver-4085079-1465330180 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465310425-9810 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085079-1465330180.opb pid=11923 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.19 2.18 3/194 11926 /proc/meminfo: memFree=28546356/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/11926/stat : 11926 (java) R 11923 11926 8023 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 114951200 9515008 186 33554432000 1073741824 1073778376 140734485059040 140734485048104 270320889127 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2323 186 143 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 2.10 2.19 2.18 3/194 11926 /proc/meminfo: memFree=28546356/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 4401 0 1 0 8 1 0 0 20 0 18 0 114951200 9787879424 6033 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2389619 6033 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200176 s] /proc/loadavg: 2.10 2.19 2.18 3/194 11926 /proc/meminfo: memFree=28546356/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 5062 0 1 0 28 1 0 0 20 0 18 0 114951200 9787879424 6900 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2389619 6900 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300176 s] /proc/loadavg: 2.10 2.19 2.18 3/194 11926 /proc/meminfo: memFree=28546356/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9558476 CPUtime=0.52 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 6033 0 1 0 50 2 0 0 20 0 18 0 114951200 9787879424 9985 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2389619 9985 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558476 [startup+0.70017 s] /proc/loadavg: 2.10 2.19 2.18 3/194 11926 /proc/meminfo: memFree=28546356/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9625040 CPUtime=1.41 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 11789 0 1 0 138 3 0 0 20 0 19 0 114951200 9856040960 24506 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2406260 24506 2264 9 0 2396937 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 9625040 [startup+1.50086 s] /proc/loadavg: 2.10 2.19 2.18 3/213 11945 /proc/meminfo: memFree=28461612/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9625040 CPUtime=2.43 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 13432 0 1 0 240 3 0 0 20 0 19 0 114951200 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2406260 23980 2268 9 0 2396937 0 [pid=11926/tid=11928] ppid=11923 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/11926/task/11928/stat : 11928 (java) R 11923 11926 8023 0 -1 4202560 2444 0 1 0 144 2 0 0 20 0 19 0 114951200 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140574108225664 140573961630087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11929] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11929/stat : 11929 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140574080686376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11930] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11930/stat : 11930 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140574079633576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11931] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11931/stat : 11931 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573949864488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11932] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11932/stat : 11932 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573948811688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11933] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11933/stat : 11933 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573947759400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11934] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11934/stat : 11934 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573946706600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11935] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11935/stat : 11935 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573945654312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11936] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11936/stat : 11936 (java) S 11923 11926 8023 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573474286504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11937] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11937/stat : 11937 (java) S 11923 11926 8023 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573462087912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11938] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11938/stat : 11938 (java) S 11923 11926 8023 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573461033976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11939] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11939/stat : 11939 (java) S 11923 11926 8023 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573459981576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11940] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11940/stat : 11940 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573458930064 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11941] ppid=11923 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/11926/task/11941/stat : 11941 (java) S 11923 11926 8023 0 -1 4202560 2230 0 0 0 37 0 0 0 20 0 19 0 114951206 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573457877688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11942] ppid=11923 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/11926/task/11942/stat : 11942 (java) S 11923 11926 8023 0 -1 4202560 7479 0 0 0 54 2 0 0 20 0 19 0 114951206 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573456824888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11943] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11943/stat : 11943 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573455772792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11944] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11944/stat : 11944 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573454720200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11945] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11945/stat : 11945 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114951249 9856040960 23980 33554432000 1073741824 1073778376 140734485059040 140573453566888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 9625040 [startup+3.10075 s] /proc/loadavg: 2.10 2.19 2.18 5/213 11945 /proc/meminfo: memFree=28445488/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9625040 CPUtime=4.5 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 20443 0 1 0 445 5 0 0 20 0 19 0 114951200 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2406260 29309 2272 9 0 2396937 0 [pid=11926/tid=11928] ppid=11923 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/11926/task/11928/stat : 11928 (java) R 11923 11926 8023 0 -1 4202560 2447 0 1 0 304 2 0 0 20 0 19 0 114951200 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140574108232048 140573961647152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11929] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11929/stat : 11929 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140574080686376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11930] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11930/stat : 11930 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140574079633576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11931] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11931/stat : 11931 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573949864488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11932] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11932/stat : 11932 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573948811688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11933] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11933/stat : 11933 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573947759400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11934] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11934/stat : 11934 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573946706600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11935] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11935/stat : 11935 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573945654312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11936] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11936/stat : 11936 (java) S 11923 11926 8023 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573474286504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11937] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11937/stat : 11937 (java) S 11923 11926 8023 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573462087912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11938] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11938/stat : 11938 (java) S 11923 11926 8023 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573461033976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11939] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11939/stat : 11939 (java) S 11923 11926 8023 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573459981576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11940] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11940/stat : 11940 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573458930064 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11941] ppid=11923 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/11926/task/11941/stat : 11941 (java) S 11923 11926 8023 0 -1 4202560 9181 0 0 0 78 1 0 0 20 0 19 0 114951206 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573457877688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11942] ppid=11923 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/11926/task/11942/stat : 11942 (java) S 11923 11926 8023 0 -1 4202560 7536 0 0 0 60 2 0 0 20 0 19 0 114951206 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573456824888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11943] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11943/stat : 11943 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573455772792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11944] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11944/stat : 11944 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573454720200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11945] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11945/stat : 11945 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114951249 9856040960 29309 33554432000 1073741824 1073778376 140734485059040 140573453566888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.5 Current children cumulated vsize (KiB) 9625040 [startup+6.30083 s] /proc/loadavg: 2.09 2.19 2.18 3/213 11945 /proc/meminfo: memFree=28428452/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9625040 CPUtime=7.75 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 20458 0 1 0 770 5 0 0 20 0 19 0 114951200 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2406260 32379 2272 9 0 2396937 0 [pid=11926/tid=11928] ppid=11923 vsize=9625040 CPUtime=6.25 cores=1,3,5,7 /proc/11926/task/11928/stat : 11928 (java) R 11923 11926 8023 0 -1 4202560 2456 0 1 0 623 2 0 0 20 0 19 0 114951200 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140574108234056 140573961638559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11929] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11929/stat : 11929 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140574080686376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11930] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11930/stat : 11930 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140574079633576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11931] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11931/stat : 11931 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573949864488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11932] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11932/stat : 11932 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573948811688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11933] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11933/stat : 11933 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573947759400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11934] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11934/stat : 11934 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573946706600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11935] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11935/stat : 11935 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573945654312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11936] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11936/stat : 11936 (java) S 11923 11926 8023 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114951202 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573474286504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11937] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11937/stat : 11937 (java) S 11923 11926 8023 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573462087912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11938] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11938/stat : 11938 (java) S 11923 11926 8023 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573461033976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11939] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11939/stat : 11939 (java) S 11923 11926 8023 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573459981576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11940] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11940/stat : 11940 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573458930064 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11941] ppid=11923 vsize=9625040 CPUtime=0.81 cores=1,3,5,7 /proc/11926/task/11941/stat : 11941 (java) S 11923 11926 8023 0 -1 4202560 9181 0 0 0 80 1 0 0 20 0 19 0 114951206 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573457877688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11942] ppid=11923 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/11926/task/11942/stat : 11942 (java) S 11923 11926 8023 0 -1 4202560 7542 0 0 0 62 2 0 0 20 0 19 0 114951206 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573456824888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11943] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11943/stat : 11943 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573455772792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11944] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11944/stat : 11944 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573454720200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11945] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11945/stat : 11945 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114951249 9856040960 32379 33554432000 1073741824 1073778376 140734485059040 140573453566888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.75 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=11926/tid=11938] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11938/stat : 11938 (java) S 11923 11926 8023 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573461033976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11939] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11939/stat : 11939 (java) S 11923 11926 8023 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573459981576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11940] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11940/stat : 11940 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573458930064 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11941] ppid=11923 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/11926/task/11941/stat : 11941 (java) S 11923 11926 8023 0 -1 4202560 9201 0 0 0 99 1 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573457877688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11942] ppid=11923 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/11926/task/11942/stat : 11942 (java) S 11923 11926 8023 0 -1 4202560 7542 0 0 0 75 2 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573456824888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11943] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11943/stat : 11943 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573455772792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11944] ppid=11923 vsize=9625040 CPUtime=0.06 cores=1,3,5,7 /proc/11926/task/11944/stat : 11944 (java) S 11923 11926 8023 0 -1 4202560 23 0 0 0 1 5 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573454720200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11945] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11945/stat : 11945 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114951249 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573453566888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 397.19 Current children cumulated vsize (KiB) 9625040 [startup+396.001 s] /proc/loadavg: 2.26 2.21 2.19 4/213 11955 /proc/meminfo: memFree=28321500/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9625040 CPUtime=397.99 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 20721 0 1 0 39782 17 0 0 20 0 19 0 114951200 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2406260 58377 2288 9 0 2396937 0 [pid=11926/tid=11928] ppid=11923 vsize=9625040 CPUtime=394.75 cores=1,3,5,7 /proc/11926/task/11928/stat : 11928 (java) R 11923 11926 8023 0 -1 4202560 2494 0 1 0 39467 8 0 0 20 0 19 0 114951200 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140574108225264 140573961462541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11929] ppid=11923 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/11926/task/11929/stat : 11929 (java) S 11923 11926 8023 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140574080686376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11930] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11930/stat : 11930 (java) S 11923 11926 8023 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140574079633576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11931] ppid=11923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/11926/task/11931/stat : 11931 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573949864488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11932] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11932/stat : 11932 (java) S 11923 11926 8023 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573948811688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11933] ppid=11923 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/11926/task/11933/stat : 11933 (java) S 11923 11926 8023 0 -1 4202560 28 0 0 0 5 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573947759400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11934] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11934/stat : 11934 (java) S 11923 11926 8023 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573946706600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11935] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11935/stat : 11935 (java) S 11923 11926 8023 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573945654312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11936] ppid=11923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/11926/task/11936/stat : 11936 (java) S 11923 11926 8023 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573474286504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11937] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11937/stat : 11937 (java) S 11923 11926 8023 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573462087912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11938] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11938/stat : 11938 (java) S 11923 11926 8023 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573461033976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11939] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11939/stat : 11939 (java) S 11923 11926 8023 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573459981576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11940] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11940/stat : 11940 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573458930064 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11941] ppid=11923 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/11926/task/11941/stat : 11941 (java) S 11923 11926 8023 0 -1 4202560 9201 0 0 0 99 1 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573457877688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11942] ppid=11923 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/11926/task/11942/stat : 11942 (java) S 11923 11926 8023 0 -1 4202560 7542 0 0 0 75 2 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573456824888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11943] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11943/stat : 11943 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573455772792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11944] ppid=11923 vsize=9625040 CPUtime=0.06 cores=1,3,5,7 /proc/11926/task/11944/stat : 11944 (java) S 11923 11926 8023 0 -1 4202560 23 0 0 0 1 5 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573454720200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11945] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11945/stat : 11945 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114951249 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573453566888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 397.99 Current children cumulated vsize (KiB) 9625040 [startup+396.801 s] /proc/loadavg: 2.26 2.21 2.19 4/213 11955 /proc/meminfo: memFree=28321500/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9625040 CPUtime=398.79 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 20721 0 1 0 39862 17 0 0 20 0 19 0 114951200 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2406260 58377 2288 9 0 2396937 0 [pid=11926/tid=11928] ppid=11923 vsize=9625040 CPUtime=395.54 cores=1,3,5,7 /proc/11926/task/11928/stat : 11928 (java) R 11923 11926 8023 0 -1 4202560 2494 0 1 0 39545 9 0 0 20 0 19 0 114951200 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140574108225264 140573961645974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11929] ppid=11923 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/11926/task/11929/stat : 11929 (java) S 11923 11926 8023 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140574080686376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11930] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11930/stat : 11930 (java) S 11923 11926 8023 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140574079633576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11931] ppid=11923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/11926/task/11931/stat : 11931 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573949864488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11932] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11932/stat : 11932 (java) S 11923 11926 8023 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573948811688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11933] ppid=11923 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/11926/task/11933/stat : 11933 (java) S 11923 11926 8023 0 -1 4202560 28 0 0 0 5 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573947759400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11934] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11934/stat : 11934 (java) S 11923 11926 8023 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573946706600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11935] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11935/stat : 11935 (java) S 11923 11926 8023 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573945654312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11936] ppid=11923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/11926/task/11936/stat : 11936 (java) S 11923 11926 8023 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573474286504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11937] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11937/stat : 11937 (java) S 11923 11926 8023 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573462087912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11938] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11938/stat : 11938 (java) S 11923 11926 8023 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573461033976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11939] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11939/stat : 11939 (java) S 11923 11926 8023 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573459981576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11940] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11940/stat : 11940 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573458930064 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11941] ppid=11923 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/11926/task/11941/stat : 11941 (java) S 11923 11926 8023 0 -1 4202560 9201 0 0 0 99 1 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573457877688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11942] ppid=11923 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/11926/task/11942/stat : 11942 (java) S 11923 11926 8023 0 -1 4202560 7542 0 0 0 75 2 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573456824888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11943] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11943/stat : 11943 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573455772792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11944] ppid=11923 vsize=9625040 CPUtime=0.06 cores=1,3,5,7 /proc/11926/task/11944/stat : 11944 (java) S 11923 11926 8023 0 -1 4202560 23 0 0 0 1 5 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573454720200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11945] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11945/stat : 11945 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114951249 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573453566888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 398.79 Current children cumulated vsize (KiB) 9625040 [startup+397.001 s] /proc/loadavg: 2.26 2.21 2.19 4/213 11955 /proc/meminfo: memFree=28321500/32872528 swapFree=17892/1720544 [pid=11926] ppid=11923 vsize=9625040 CPUtime=398.99 cores=1,3,5,7 /proc/11926/stat : 11926 (java) S 11923 11926 8023 0 -1 4202496 20721 0 1 0 39882 17 0 0 20 0 19 0 114951200 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140734485050176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11926/statm: 2406260 58377 2288 9 0 2396937 0 [pid=11926/tid=11928] ppid=11923 vsize=9625040 CPUtime=395.74 cores=1,3,5,7 /proc/11926/task/11928/stat : 11928 (java) R 11923 11926 8023 0 -1 4202560 2494 0 1 0 39565 9 0 0 20 0 19 0 114951200 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140574108225264 140573961638472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11929] ppid=11923 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/11926/task/11929/stat : 11929 (java) S 11923 11926 8023 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140574080686376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11930] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11930/stat : 11930 (java) S 11923 11926 8023 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140574079633576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11931] ppid=11923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/11926/task/11931/stat : 11931 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573949864488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11932] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11932/stat : 11932 (java) S 11923 11926 8023 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573948811688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11933] ppid=11923 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/11926/task/11933/stat : 11933 (java) S 11923 11926 8023 0 -1 4202560 28 0 0 0 5 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573947759400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11934] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11934/stat : 11934 (java) S 11923 11926 8023 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573946706600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11935] ppid=11923 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/11926/task/11935/stat : 11935 (java) S 11923 11926 8023 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573945654312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11926/tid=11936] ppid=11923 vsize=9625040 CPUtime=0.02 cores=1,3,5,7 /proc/11926/task/11936/stat : 11936 (java) S 11923 11926 8023 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 114951202 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573474286504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11937] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11937/stat : 11937 (java) S 11923 11926 8023 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573462087912 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11938] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11938/stat : 11938 (java) S 11923 11926 8023 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573461033976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11939] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11939/stat : 11939 (java) S 11923 11926 8023 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114951203 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573459981576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11940] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11940/stat : 11940 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573458930064 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11926/tid=11941] ppid=11923 vsize=9625040 CPUtime=1 cores=1,3,5,7 /proc/11926/task/11941/stat : 11941 (java) S 11923 11926 8023 0 -1 4202560 9201 0 0 0 99 1 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573457877688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11926/tid=11942] ppid=11923 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/11926/task/11942/stat : 11942 (java) S 11923 11926 8023 0 -1 4202560 7542 0 0 0 75 2 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573456824888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11943] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11943/stat : 11943 (java) S 11923 11926 8023 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573455772792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11944] ppid=11923 vsize=9625040 CPUtime=0.06 cores=1,3,5,7 /proc/11926/task/11944/stat : 11944 (java) S 11923 11926 8023 0 -1 4202560 23 0 0 0 1 5 0 0 20 0 19 0 114951206 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573454720200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11926/tid=11945] ppid=11923 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/11926/task/11945/stat : 11945 (java) S 11923 11926 8023 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114951249 9856040960 58377 33554432000 1073741824 1073778376 140734485059040 140573453566888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 398.99 Current children cumulated vsize (KiB) 9625040 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11926 and gives # childrusage.ru_utime.tv_sec=397 # childrusage.ru_utime.tv_usec=861515 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=332949 # CPU time returned by wait4() is 398.194 # while last known CPU time is 398.99 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 397.034 CPU time (s): 398.99 CPU user time (s): 398.82 CPU system time (s): 0.17 CPU usage (%): 100.493 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 397.862 system time used= 0.332949 maximum resident set size= 233568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20745 page faults= 1 swaps= 0 block input operations= 0 block output operations= 416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8909 involuntary context switches= 4487 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.89956 second user time and 3.61745 second system time The end
Begin job on node117 at 2016-06-07 22:09:40 IDJOB=4085079 IDBENCH=92685 IDSOLVER=2546 FILE ID=node117/4085079-1465330180 RUNJOBID= node117-1465310425-9810 PBS_JOBID= 19848086 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_9_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085079-1465330180/watcher-4085079-1465330180 -o /tmp/evaluation-result-4085079-1465330180/solver-4085079-1465330180 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465310425-9810 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085079-1465330180.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e68c386be3005ac1db93713ad853c109 RANDOM SEED=778328734 node117.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.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 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.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 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.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 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.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28547000 kB Buffers: 129384 kB Cached: 361452 kB SwapCached: 29276 kB Active: 1463320 kB Inactive: 399292 kB Active(anon): 1344896 kB Inactive(anon): 28816 kB Active(file): 118424 kB Inactive(file): 370476 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67071200 kB Dirty: 1600 kB Writeback: 0 kB AnonPages: 3064012 kB Mapped: 15364 kB Shmem: 0 kB Slab: 604532 kB SReclaimable: 48336 kB SUnreclaim: 556196 kB KernelStack: 1584 kB PageTables: 9948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4506576 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3010560 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= 71700 MiB End job on node117 at 2016-06-07 22:16:18