Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | OPT | 504.786 | 501.569 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_0_mh_ic.opb |
| MD5SUM | b32f126aecba6bfb006545c8818dc00d |
| 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 | 2252617 |
| Best CPU time to get the best result obtained on this benchmark | 504.786 |
| 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 | 68417929 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3962242471 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 68417929 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3962242471 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.2.v20120418 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 501472288 0.03/0.09 c Max memory 7480803328 0.03/0.09 c Total memory 504102912 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3690049-1337895412.opb 0.10/0.11 c reading problem ... 0.69/0.47 c ... done. Wall clock time 0.357s. 0.69/0.47 c declared #vars 9765 0.69/0.47 c #constraints 21927 0.69/0.47 c constraints type 0.69/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.69/0.47 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.69/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.69/0.47 c ignored satisfied constraints => 4 0.69/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.69/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.69/0.47 c 21931 constraints processed. 0.69/0.47 c objective function length is 4005 literals 1.15/0.67 c SATISFIABLE 1.15/0.67 c OPTIMIZING... 1.15/0.67 c Got one! Elapsed wall clock time (in seconds):0.554 1.15/0.67 o 3669938 1.68/0.84 c Got one! Elapsed wall clock time (in seconds):0.726 1.68/0.84 o 3333354 1.68/0.87 c Got one! Elapsed wall clock time (in seconds):0.752 1.68/0.87 o 2852459 1.68/0.89 c Got one! Elapsed wall clock time (in seconds):0.777 1.68/0.89 o 2831263 1.98/0.91 c Got one! Elapsed wall clock time (in seconds):0.794 1.98/0.91 o 2778680 2.23/1.08 c Got one! Elapsed wall clock time (in seconds):0.964 2.23/1.08 o 2777029 2.33/1.12 c Got one! Elapsed wall clock time (in seconds):1.001 2.33/1.12 o 2724756 2.33/1.12 c Got one! Elapsed wall clock time (in seconds):1.01 2.33/1.12 o 2590199 2.33/1.13 c Got one! Elapsed wall clock time (in seconds):1.019 2.33/1.13 o 2516420 3.87/2.65 c cleaning 2896 clauses out of 5793 with flag 5006/5801 5.49/4.10 c cleaning 4437 clauses out of 8893 with flag 11003/11798 7.21/5.86 c cleaning 5723 clauses out of 11453 with flag 18000/18795 9.21/7.89 c cleaning 6850 clauses out of 13730 with flag 26000/26795 11.66/10.21 c cleaning 7940 clauses out of 15881 with flag 35001/35796 14.06/12.62 c cleaning 8966 clauses out of 17940 with flag 45000/45795 16.97/15.51 c cleaning 9972 clauses out of 19974 with flag 56000/56795 20.18/18.72 c cleaning 10994 clauses out of 22002 with flag 68000/68795 23.48/22.07 c cleaning 11999 clauses out of 24008 with flag 81000/81795 26.99/25.56 c cleaning 12995 clauses out of 26009 with flag 95000/95795 30.59/29.12 c cleaning 14003 clauses out of 28015 with flag 110001/110796 34.70/33.23 c cleaning 14992 clauses out of 30011 with flag 126000/126795 38.91/37.41 c cleaning 16009 clauses out of 32019 with flag 143000/143795 43.01/41.54 c cleaning 16997 clauses out of 34010 with flag 161000/161795 47.51/46.00 c cleaning 17997 clauses out of 36013 with flag 180000/180795 52.42/50.96 c cleaning 18999 clauses out of 38017 with flag 200001/200796 57.43/55.96 c cleaning 19995 clauses out of 40018 with flag 221001/221796 62.24/60.78 c cleaning 20999 clauses out of 42022 with flag 243000/243795 67.46/65.96 c cleaning 22004 clauses out of 44023 with flag 266000/266795 73.57/72.02 c cleaning 23004 clauses out of 46019 with flag 290000/290795 79.78/78.24 c cleaning 23990 clauses out of 48015 with flag 315000/315795 86.20/84.60 c cleaning 24995 clauses out of 50025 with flag 341000/341795 93.04/91.44 c cleaning 26011 clauses out of 52032 with flag 368002/368797 99.86/98.26 c cleaning 27008 clauses out of 54022 with flag 396003/396798 107.59/105.96 c cleaning 27988 clauses out of 56011 with flag 425000/425795 114.70/113.06 c cleaning 29002 clauses out of 58023 with flag 455000/455795 121.73/120.03 c cleaning 29996 clauses out of 60021 with flag 486000/486795 129.06/127.31 c cleaning 31009 clauses out of 62025 with flag 518000/518795 136.17/134.44 c cleaning 31998 clauses out of 64016 with flag 551000/551795 144.28/142.51 c cleaning 33010 clauses out of 66019 with flag 585001/585796 152.89/151.12 c cleaning 33997 clauses out of 68008 with flag 620000/620795 161.22/159.47 c cleaning 34992 clauses out of 70011 with flag 656001/656796 169.74/167.98 c cleaning 35999 clauses out of 72018 with flag 693000/693795 179.07/177.20 c cleaning 37000 clauses out of 74019 with flag 731000/731795 187.37/185.50 c cleaning 37997 clauses out of 76021 with flag 770002/770797 196.60/194.71 c cleaning 39000 clauses out of 78022 with flag 810000/810795 202.51/200.65 c Got one! Elapsed wall clock time (in seconds):200.533 202.51/200.65 o 2516035 203.71/201.86 c cleaning 35008 clauses out of 70054 with flag 5000/841828 205.24/203.31 c cleaning 20510 clauses out of 41047 with flag 11001/847829 206.74/204.88 c cleaning 13739 clauses out of 27536 with flag 18000/854828 208.44/206.52 c cleaning 10883 clauses out of 21798 with flag 26001/862829 210.06/208.11 c Got one! Elapsed wall clock time (in seconds):207.991 210.06/208.11 o 2496616 211.16/209.23 c cleaning 11981 clauses out of 23985 with flag 5002/875900 212.07/210.11 c Got one! Elapsed wall clock time (in seconds):209.998 212.07/210.11 o 2465050 212.27/210.34 c cleaning 8962 clauses out of 17961 with flag 1000/881857 212.27/210.39 c Got one! Elapsed wall clock time (in seconds):210.28 212.27/210.39 o 2432144 213.48/211.59 c cleaning 7006 clauses out of 14065 with flag 5000/886924 214.80/212.89 c cleaning 6513 clauses out of 13059 with flag 11000/892924 216.50/214.55 c cleaning 6759 clauses out of 13549 with flag 18003/899927 218.30/216.32 c cleaning 7387 clauses out of 14788 with flag 26001/907925 220.31/218.30 c cleaning 8190 clauses out of 16400 with flag 35000/916924 222.41/220.43 c cleaning 9093 clauses out of 18210 with flag 45000/926924 224.71/222.71 c cleaning 10048 clauses out of 20117 with flag 56000/937924 227.44/225.41 c cleaning 11016 clauses out of 22070 with flag 68001/949925 230.04/228.07 c cleaning 12018 clauses out of 24054 with flag 81001/962925 233.05/231.05 c cleaning 12996 clauses out of 26036 with flag 95001/976925 236.45/234.49 c cleaning 14009 clauses out of 28039 with flag 110000/991924 240.25/238.24 c cleaning 15015 clauses out of 30030 with flag 126000/1007924 243.96/241.91 c cleaning 16004 clauses out of 32015 with flag 143000/1024924 247.97/245.91 c cleaning 17006 clauses out of 34011 with flag 161000/1042924 252.17/250.13 c cleaning 17992 clauses out of 36006 with flag 180001/1061925 256.69/254.65 c cleaning 19003 clauses out of 38013 with flag 200000/1081924 261.20/259.14 c cleaning 19990 clauses out of 40011 with flag 221001/1102925 265.91/263.85 c cleaning 20999 clauses out of 42020 with flag 243000/1124924 271.12/269.01 c cleaning 22007 clauses out of 44021 with flag 266000/1147924 276.64/274.58 c cleaning 23006 clauses out of 46019 with flag 290005/1171929 282.55/280.44 c cleaning 24003 clauses out of 48008 with flag 315000/1196924 288.46/286.35 c cleaning 25003 clauses out of 50006 with flag 341001/1222925 294.37/292.23 c cleaning 25989 clauses out of 52002 with flag 368001/1249925 299.99/297.90 c cleaning 26991 clauses out of 54013 with flag 396001/1277925 305.59/303.42 c cleaning 27997 clauses out of 56021 with flag 425000/1306924 312.49/310.35 c cleaning 29008 clauses out of 58024 with flag 455000/1336924 320.20/318.04 c cleaning 29998 clauses out of 60016 with flag 486000/1367924 328.01/325.84 c cleaning 31010 clauses out of 62019 with flag 518001/1399925 333.83/331.63 c Got one! Elapsed wall clock time (in seconds):331.517 333.83/331.63 o 2423068 334.97/332.76 c cleaning 31629 clauses out of 63285 with flag 5000/1432202 336.29/334.04 c cleaning 18817 clauses out of 37656 with flag 11000/1438202 337.91/335.68 c cleaning 12889 clauses out of 25839 with flag 18000/1445202 339.61/337.37 c cleaning 10453 clauses out of 20951 with flag 26001/1453203 341.32/339.04 c cleaning 9710 clauses out of 19498 with flag 35001/1462203 343.12/340.84 c cleaning 9883 clauses out of 19790 with flag 45003/1472205 345.83/343.50 c cleaning 10434 clauses out of 20904 with flag 56000/1483202 348.35/346.07 c cleaning 11220 clauses out of 22471 with flag 68001/1495203 351.25/349.00 c cleaning 12111 clauses out of 24251 with flag 81001/1508203 354.65/352.32 c cleaning 13051 clauses out of 26141 with flag 95002/1522204 358.07/355.72 c cleaning 14028 clauses out of 28089 with flag 110001/1537203 362.00/359.65 c cleaning 15022 clauses out of 30060 with flag 126000/1553202 366.43/364.06 c cleaning 16014 clauses out of 32041 with flag 143003/1570205 370.63/368.22 c cleaning 17004 clauses out of 34024 with flag 161000/1588202 375.13/372.76 c cleaning 18003 clauses out of 36021 with flag 180001/1607203 380.25/377.87 c cleaning 18989 clauses out of 38017 with flag 200000/1627202 385.16/382.76 c cleaning 20012 clauses out of 40028 with flag 221000/1648202 390.46/388.00 c cleaning 20993 clauses out of 42016 with flag 243000/1670202 395.78/393.31 c cleaning 22005 clauses out of 44024 with flag 266001/1693203 397.89/395.47 c Got one! Elapsed wall clock time (in seconds):395.355 397.89/395.47 o 2388266 398.99/396.56 c cleaning 18303 clauses out of 36632 with flag 5000/1707816 400.39/397.93 c cleaning 12138 clauses out of 24330 with flag 11001/1713817 401.91/399.47 c cleaning 9560 clauses out of 19192 with flag 18001/1720817 403.53/401.06 c cleaning 8795 clauses out of 17631 with flag 26000/1728816 405.33/402.81 c cleaning 8906 clauses out of 17836 with flag 35000/1737816 407.65/405.16 c cleaning 9466 clauses out of 18932 with flag 45002/1747818 410.29/407.72 c cleaning 10221 clauses out of 20466 with flag 56002/1758818 412.80/410.28 c cleaning 11115 clauses out of 22243 with flag 68000/1770816 415.61/413.01 c cleaning 12056 clauses out of 24129 with flag 81001/1783817 418.63/416.00 c cleaning 13028 clauses out of 26071 with flag 95000/1797816 421.83/419.22 c cleaning 14015 clauses out of 28045 with flag 110003/1812819 425.23/422.67 c cleaning 15004 clauses out of 30032 with flag 126005/1828821 425.94/423.37 c Got one! Elapsed wall clock time (in seconds):423.26 425.94/423.37 o 2337815 426.34/423.76 c cleaning 10010 clauses out of 20067 with flag 2000/1833860 427.45/424.86 c cleaning 8007 clauses out of 16058 with flag 8001/1839861 428.96/426.39 c cleaning 7504 clauses out of 15051 with flag 15002/1846862 430.97/428.30 c cleaning 7767 clauses out of 15546 with flag 23001/1854861 432.98/430.37 c cleaning 8377 clauses out of 16777 with flag 32000/1863860 434.89/432.24 c Got one! Elapsed wall clock time (in seconds):432.129 434.89/432.24 o 2314483 435.99/433.40 c cleaning 10988 clauses out of 21998 with flag 5001/1877458 437.40/434.71 c cleaning 8484 clauses out of 17010 with flag 11001/1883458 438.82/436.16 c cleaning 7733 clauses out of 15525 with flag 18000/1890457 440.53/437.85 c cleaning 7889 clauses out of 15792 with flag 26000/1898457 442.34/439.69 c cleaning 8441 clauses out of 16905 with flag 35002/1907459 444.57/441.83 c cleaning 9216 clauses out of 18463 with flag 45001/1917458 446.87/444.10 c cleaning 10107 clauses out of 20246 with flag 56000/1928457 449.39/446.67 c cleaning 11057 clauses out of 22140 with flag 68001/1940458 452.10/449.34 c cleaning 12031 clauses out of 24082 with flag 81000/1953457 455.00/452.24 c cleaning 13019 clauses out of 26050 with flag 95000/1967457 458.41/455.63 c cleaning 14016 clauses out of 28035 with flag 110004/1982461 461.91/459.10 c cleaning 14998 clauses out of 30016 with flag 126001/1998458 465.52/462.72 c cleaning 15994 clauses out of 32017 with flag 143000/2015457 469.24/466.44 c cleaning 17006 clauses out of 34024 with flag 161001/2033458 473.14/470.36 c cleaning 17996 clauses out of 36017 with flag 180000/2052457 477.14/474.35 c cleaning 19005 clauses out of 38021 with flag 200000/2072457 481.14/478.30 c cleaning 20003 clauses out of 40017 with flag 221001/2093458 484.06/481.20 c Got one! Elapsed wall clock time (in seconds):481.087 484.06/481.20 o 2307919 484.16/481.32 c Got one! Elapsed wall clock time (in seconds):481.208 484.16/481.32 o 2252617 485.36/482.51 c cleaning 20695 clauses out of 41389 with flag 5000/2114835 486.68/483.88 c cleaning 13333 clauses out of 26693 with flag 11000/2120835 488.29/485.46 c cleaning 10162 clauses out of 20361 with flag 18001/2127836 490.01/487.12 c cleaning 9089 clauses out of 18198 with flag 26000/2135835 491.91/489.09 c cleaning 9043 clauses out of 18110 with flag 35001/2144836 494.01/491.18 c cleaning 9525 clauses out of 19067 with flag 45001/2154836 496.23/493.35 c cleaning 10261 clauses out of 20541 with flag 56000/2165835 498.25/495.39 c cleaning 11124 clauses out of 22279 with flag 68000/2177835 500.65/497.79 c cleaning 12073 clauses out of 24158 with flag 81003/2190838 503.35/500.41 c cleaning 13040 clauses out of 26082 with flag 95000/2204835 504.46/501.54 c starts : 228 504.46/501.54 c conflicts : 2210376 504.46/501.54 c decisions : 5248367 504.46/501.54 c propagations : 693654101 504.46/501.54 c inspects : 2586900164 504.46/501.54 c shortcuts : 0 504.46/501.54 c learnt literals : 25 504.46/501.54 c learnt binary clauses : 165 504.46/501.54 c learnt ternary clauses : 150 504.46/501.54 c learnt constraints : 2210350 504.46/501.54 c ignored constraints : 0 504.46/501.54 c root simplifications : 0 504.46/501.54 c removed literals (reason simplification) : 0 504.46/501.54 c reason swapping (by a shorter reason) : 0 504.46/501.54 c Calls to reduceDB : 133 504.46/501.54 c number of reductions to clauses (during analyze) : 0 504.46/501.54 c number of learned constraints concerned by reduction : 0 504.46/501.54 c number of learning phase by resolution : 0 504.46/501.54 c number of learning phase by cutting planes : 0 504.46/501.54 c speed (assignments/second) : 1384428.590531694 504.46/501.54 c non guided choices 4246 504.46/501.54 c learnt constraints type 504.46/501.54 c constraints type 504.46/501.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 504.46/501.54 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 504.46/501.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 504.46/501.54 c ignored satisfied constraints => 4 504.46/501.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 504.46/501.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 504.46/501.54 c 21931 constraints processed. 504.46/501.54 s OPTIMUM FOUND 504.46/501.55 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 504.46/501.56 c objective function=2252617 504.46/501.56 c Total wall clock time (in seconds): 501.446
OK 2252617
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690049-1337895412/watcher-3690049-1337895412 -o /tmp/evaluation-result-3690049-1337895412/solver-3690049-1337895412 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690049-1337895412.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.05 2.06 3/194 4700 /proc/meminfo: memFree=26956196/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/4700/stat : 4700 (java) R 4698 4700 2422 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255666065 9515008 182 33554432000 1073741824 1073778376 140733794536480 140733794527512 223651643061 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4700/statm: 2323 182 140 9 0 71 0 [startup+0.0562979 s] /proc/loadavg: 2.02 2.05 2.06 3/194 4700 /proc/meminfo: memFree=26956196/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9225560 CPUtime=0.03 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 3125 0 1 0 3 0 0 0 20 0 13 0 255666065 9446973440 3312 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2306390 3312 1708 9 0 2297091 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9225560 [startup+0.100279 s] /proc/loadavg: 2.02 2.05 2.06 3/194 4700 /proc/meminfo: memFree=26956196/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9558412 CPUtime=0.1 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 4322 0 1 0 9 1 0 0 20 0 18 0 255666065 9787813888 5012 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2389603 5012 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300213 s] /proc/loadavg: 2.02 2.05 2.06 3/194 4700 /proc/meminfo: memFree=26956196/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9558412 CPUtime=0.49 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 5798 0 1 0 48 1 0 0 20 0 18 0 255666065 9787813888 8763 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2389603 8763 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558412 [startup+0.700225 s] /proc/loadavg: 2.02 2.05 2.06 3/194 4700 /proc/meminfo: memFree=26956196/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9624976 CPUtime=1.38 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 11055 0 1 0 134 4 0 0 20 0 19 0 255666065 9855975424 23922 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2406244 23922 2251 9 0 2396937 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 9624976 [startup+1.50066 s] /proc/loadavg: 2.18 2.08 2.07 3/213 4719 /proc/meminfo: memFree=26857184/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9624976 CPUtime=2.76 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 14061 0 1 0 272 4 0 0 20 0 19 0 255666065 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2406244 29335 2259 9 0 2396937 0 [pid=4700/tid=4702] ppid=4698 vsize=9624976 CPUtime=1.47 cores=0,2,4,6 /proc/4700/task/4702/stat : 4702 (java) R 4698 4700 2422 0 -1 4202560 2547 0 1 0 145 2 0 0 20 0 19 0 255666066 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368398668152 140368271767740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4703] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4703/stat : 4703 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368242670120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4704] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4704/stat : 4704 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368241617320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4705] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4705/stat : 4705 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368240564520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4706] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4706/stat : 4706 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368239511720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4707] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4707/stat : 4707 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368238459944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4708] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4708/stat : 4708 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368237407144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4709] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4709/stat : 4709 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368236354344 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4710] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4710/stat : 4710 (java) S 4698 4700 2422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368235301544 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4711] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4711/stat : 4711 (java) S 4698 4700 2422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255666068 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368222890472 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4712] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4712/stat : 4712 (java) S 4698 4700 2422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368221836536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4713] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4713/stat : 4713 (java) S 4698 4700 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368220783624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4714] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4714/stat : 4714 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368219732112 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4715] ppid=4698 vsize=9624976 CPUtime=0.61 cores=0,2,4,6 /proc/4700/task/4715/stat : 4715 (java) S 4698 4700 2422 0 -1 4202560 5011 0 0 0 59 2 0 0 20 0 19 0 255666071 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368218680248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4716] ppid=4698 vsize=9624976 CPUtime=0.64 cores=0,2,4,6 /proc/4700/task/4716/stat : 4716 (java) S 4698 4700 2422 0 -1 4202560 5304 0 0 0 64 0 0 0 20 0 19 0 255666071 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368217627448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4717] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4717/stat : 4717 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368216574840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4718] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4718/stat : 4718 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368215522248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4719] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4719/stat : 4719 (java) S 4698 4700 2422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666116 9855975424 29335 33554432000 1073741824 1073778376 140734896338656 140368214467752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 9624976 [startup+3.10066 s] /proc/loadavg: 2.18 2.08 2.07 3/213 4719 /proc/meminfo: memFree=26846200/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9624976 CPUtime=4.44 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 14143 0 1 0 439 5 0 0 20 0 19 0 255666065 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2406244 34508 2284 9 0 2396937 0 [pid=4700/tid=4702] ppid=4698 vsize=9624976 CPUtime=3.03 cores=0,2,4,6 /proc/4700/task/4702/stat : 4702 (java) R 4698 4700 2422 0 -1 4202560 2552 0 1 0 301 2 0 0 20 0 19 0 255666066 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368398668136 140368271678796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4703] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4703/stat : 4703 (java) S 4698 4700 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368242670120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4704] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4704/stat : 4704 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368241617320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4705] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4705/stat : 4705 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368240564520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4706] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4706/stat : 4706 (java) S 4698 4700 2422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368239511720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4707] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4707/stat : 4707 (java) S 4698 4700 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368238459944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4708] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4708/stat : 4708 (java) S 4698 4700 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368237407144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4709] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4709/stat : 4709 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368236354344 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4710] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4710/stat : 4710 (java) S 4698 4700 2422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368235301544 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4711] ppid=4698 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/4700/task/4711/stat : 4711 (java) S 4698 4700 2422 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255666068 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368222890472 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4712] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4712/stat : 4712 (java) S 4698 4700 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368221836536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4713] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4713/stat : 4713 (java) S 4698 4700 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368220783624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4714] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4714/stat : 4714 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368219732112 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4715] ppid=4698 vsize=9624976 CPUtime=0.65 cores=0,2,4,6 /proc/4700/task/4715/stat : 4715 (java) S 4698 4700 2422 0 -1 4202560 5018 0 0 0 63 2 0 0 20 0 19 0 255666071 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368218680248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4716] ppid=4698 vsize=9624976 CPUtime=0.66 cores=0,2,4,6 /proc/4700/task/4716/stat : 4716 (java) S 4698 4700 2422 0 -1 4202560 5311 0 0 0 66 0 0 0 20 0 19 0 255666071 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368217627448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4717] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4717/stat : 4717 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368216574840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4718] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4718/stat : 4718 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368215522248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4719] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4719/stat : 4719 (java) S 4698 4700 2422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666116 9855975424 34508 33554432000 1073741824 1073778376 140734896338656 140368214467752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 9624976 [startup+6.30065 s] /proc/loadavg: 2.18 2.08 2.07 3/213 4719 /proc/meminfo: memFree=26822880/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9624976 CPUtime=7.71 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 14168 0 1 0 765 6 0 0 20 0 19 0 255666065 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2406244 35026 2284 9 0 2396937 0 [pid=4700/tid=4702] ppid=4698 vsize=9624976 CPUtime=6.17 cores=0,2,4,6 /proc/4700/task/4702/stat : 4702 (java) R 4698 4700 2422 0 -1 4202560 2555 0 1 0 615 2 0 0 20 0 19 0 255666066 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368398668048 140368271827464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4703] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4703/stat : 4703 (java) S 4698 4700 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368242670120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4704] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4704/stat : 4704 (java) S 4698 4700 2422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368241617320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4705] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4705/stat : 4705 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368240564520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4706] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4706/stat : 4706 (java) S 4698 4700 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368239511720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4707] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4707/stat : 4707 (java) S 4698 4700 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368238459944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4708] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4708/stat : 4708 (java) S 4698 4700 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368237407144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4709] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4709/stat : 4709 (java) S 4698 4700 2422 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368236354344 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4710] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4710/stat : 4710 (java) S 4698 4700 2422 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255666067 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368235301544 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4711] ppid=4698 vsize=9624976 CPUtime=0.06 cores=0,2,4,6 /proc/4700/task/4711/stat : 4711 (java) S 4698 4700 2422 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 19 0 255666068 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368222890472 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4712] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4712/stat : 4712 (java) S 4698 4700 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368221836536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4713] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4713/stat : 4713 (java) S 4698 4700 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368220783624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4714] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4714/stat : 4714 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368219732112 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4715] ppid=4698 vsize=9624976 CPUtime=0.68 cores=0,2,4,6 /proc/4700/task/4715/stat : 4715 (java) S 4698 4700 2422 0 -1 4202560 5020 0 0 0 66 2 0 0 20 0 19 0 255666071 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368218680248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4716] ppid=4698 vsize=9624976 CPUtime=0.7 cores=0,2,4,6 /proc/4700/task/4716/stat : 4716 (java) S 4698 4700 2422 0 -1 4202560 5317 0 0 0 70 0 0 0 20 0 19 0 255666071 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368217627448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4717] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4717/stat : 4717 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368216574840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4718] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4718/stat : 4718 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368215522248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4719] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4719/stat : 4719 (java) S 4698 4700 2422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666116 9855975424 35026 33554432000 1073741824 1073778376 140734896338656 140368214467752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.71 Current children cumulated vsize (KiB) 9624976 [startup+12.7006 s] ################ # More data... # ################ /proc/4700/task/4703/stat : 4703 (java) S 4698 4700 2422 0 -1 4202560 78 0 0 0 28 2 0 0 20 0 19 0 255666067 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368242670120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4704] ppid=4698 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/4700/task/4704/stat : 4704 (java) S 4698 4700 2422 0 -1 4202560 92 0 0 0 29 0 0 0 20 0 19 0 255666067 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368241617320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4705] ppid=4698 vsize=9624976 CPUtime=0.25 cores=0,2,4,6 /proc/4700/task/4705/stat : 4705 (java) S 4698 4700 2422 0 -1 4202560 110 0 0 0 25 0 0 0 20 0 19 0 255666067 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368240564520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4706] ppid=4698 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/4700/task/4706/stat : 4706 (java) S 4698 4700 2422 0 -1 4202560 153 0 0 0 30 0 0 0 20 0 19 0 255666067 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368239511720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4707] ppid=4698 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/4700/task/4707/stat : 4707 (java) S 4698 4700 2422 0 -1 4202560 98 0 0 0 27 0 0 0 20 0 19 0 255666067 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368238459944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4708] ppid=4698 vsize=9624976 CPUtime=0.25 cores=0,2,4,6 /proc/4700/task/4708/stat : 4708 (java) S 4698 4700 2422 0 -1 4202560 27 0 0 0 24 1 0 0 20 0 19 0 255666067 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368237407144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4709] ppid=4698 vsize=9624976 CPUtime=0.24 cores=0,2,4,6 /proc/4700/task/4709/stat : 4709 (java) S 4698 4700 2422 0 -1 4202560 65 0 0 0 24 0 0 0 20 0 19 0 255666067 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368236354344 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4710] ppid=4698 vsize=9624976 CPUtime=0.23 cores=0,2,4,6 /proc/4700/task/4710/stat : 4710 (java) S 4698 4700 2422 0 -1 4202560 126 0 0 0 23 0 0 0 20 0 19 0 255666067 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368235301544 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4711] ppid=4698 vsize=9624976 CPUtime=4.12 cores=0,2,4,6 /proc/4700/task/4711/stat : 4711 (java) S 4698 4700 2422 0 -1 4202560 82 0 0 0 410 2 0 0 20 0 19 0 255666068 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368222890472 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4712] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4712/stat : 4712 (java) S 4698 4700 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368221836536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4713] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4713/stat : 4713 (java) S 4698 4700 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368220783624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4714] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4714/stat : 4714 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368219732112 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4715] ppid=4698 vsize=9624976 CPUtime=0.8 cores=0,2,4,6 /proc/4700/task/4715/stat : 4715 (java) S 4698 4700 2422 0 -1 4202560 5037 0 0 0 78 2 0 0 20 0 19 0 255666071 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368218680248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4716] ppid=4698 vsize=9624976 CPUtime=0.7 cores=0,2,4,6 /proc/4700/task/4716/stat : 4716 (java) S 4698 4700 2422 0 -1 4202560 5318 0 0 0 70 0 0 0 20 0 19 0 255666071 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368217627448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4717] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4717/stat : 4717 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368216574840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4718] ppid=4698 vsize=9624976 CPUtime=0.07 cores=0,2,4,6 /proc/4700/task/4718/stat : 4718 (java) S 4698 4700 2422 0 -1 4202560 29 0 0 0 3 4 0 0 20 0 19 0 255666071 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368215522248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4719] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4719/stat : 4719 (java) S 4698 4700 2422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666116 9855975424 48995 33554432000 1073741824 1073778376 140734896338656 140368214467752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 502.05 Current children cumulated vsize (KiB) 9624976 [startup+500.701 s] /proc/loadavg: 2.00 2.01 2.03 3/213 4723 /proc/meminfo: memFree=26760248/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9624976 CPUtime=503.65 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 15090 0 1 0 50349 16 0 0 20 0 19 0 255666065 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2406244 49001 2285 9 0 2396937 0 [pid=4700/tid=4702] ppid=4698 vsize=9624976 CPUtime=495.76 cores=0,2,4,6 /proc/4700/task/4702/stat : 4702 (java) R 4698 4700 2422 0 -1 4202560 2684 0 1 0 49566 10 0 0 20 0 19 0 255666066 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368398668200 140368271871842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4703] ppid=4698 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/4700/task/4703/stat : 4703 (java) S 4698 4700 2422 0 -1 4202560 78 0 0 0 28 2 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368242670120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4704] ppid=4698 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/4700/task/4704/stat : 4704 (java) S 4698 4700 2422 0 -1 4202560 92 0 0 0 29 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368241617320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4705] ppid=4698 vsize=9624976 CPUtime=0.26 cores=0,2,4,6 /proc/4700/task/4705/stat : 4705 (java) S 4698 4700 2422 0 -1 4202560 110 0 0 0 26 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368240564520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4706] ppid=4698 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/4700/task/4706/stat : 4706 (java) S 4698 4700 2422 0 -1 4202560 153 0 0 0 30 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368239511720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4707] ppid=4698 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/4700/task/4707/stat : 4707 (java) S 4698 4700 2422 0 -1 4202560 99 0 0 0 27 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368238459944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4708] ppid=4698 vsize=9624976 CPUtime=0.25 cores=0,2,4,6 /proc/4700/task/4708/stat : 4708 (java) S 4698 4700 2422 0 -1 4202560 32 0 0 0 24 1 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368237407144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4709] ppid=4698 vsize=9624976 CPUtime=0.25 cores=0,2,4,6 /proc/4700/task/4709/stat : 4709 (java) S 4698 4700 2422 0 -1 4202560 65 0 0 0 24 1 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368236354344 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4710] ppid=4698 vsize=9624976 CPUtime=0.23 cores=0,2,4,6 /proc/4700/task/4710/stat : 4710 (java) S 4698 4700 2422 0 -1 4202560 126 0 0 0 23 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368235301544 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4711] ppid=4698 vsize=9624976 CPUtime=4.15 cores=0,2,4,6 /proc/4700/task/4711/stat : 4711 (java) S 4698 4700 2422 0 -1 4202560 82 0 0 0 413 2 0 0 20 0 19 0 255666068 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368222890472 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4712] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4712/stat : 4712 (java) S 4698 4700 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368221836536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4713] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4713/stat : 4713 (java) S 4698 4700 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368220783624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4714] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4714/stat : 4714 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368219732112 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4715] ppid=4698 vsize=9624976 CPUtime=0.8 cores=0,2,4,6 /proc/4700/task/4715/stat : 4715 (java) S 4698 4700 2422 0 -1 4202560 5037 0 0 0 78 2 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368218680248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4716] ppid=4698 vsize=9624976 CPUtime=0.7 cores=0,2,4,6 /proc/4700/task/4716/stat : 4716 (java) S 4698 4700 2422 0 -1 4202560 5318 0 0 0 70 0 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368217627448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4717] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4717/stat : 4717 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368216574840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4718] ppid=4698 vsize=9624976 CPUtime=0.07 cores=0,2,4,6 /proc/4700/task/4718/stat : 4718 (java) S 4698 4700 2422 0 -1 4202560 29 0 0 0 3 4 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368215522248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4719] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4719/stat : 4719 (java) S 4698 4700 2422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666116 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368214467752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 503.65 Current children cumulated vsize (KiB) 9624976 [startup+501.101 s] /proc/loadavg: 2.00 2.01 2.03 3/213 4723 /proc/meminfo: memFree=26760248/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9624976 CPUtime=504.05 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 15090 0 1 0 50389 16 0 0 20 0 19 0 255666065 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2406244 49001 2285 9 0 2396937 0 [pid=4700/tid=4702] ppid=4698 vsize=9624976 CPUtime=496.16 cores=0,2,4,6 /proc/4700/task/4702/stat : 4702 (java) R 4698 4700 2422 0 -1 4202560 2684 0 1 0 49606 10 0 0 20 0 19 0 255666066 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368398668080 140368271871959 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4703] ppid=4698 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/4700/task/4703/stat : 4703 (java) S 4698 4700 2422 0 -1 4202560 78 0 0 0 28 2 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368242670120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4704] ppid=4698 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/4700/task/4704/stat : 4704 (java) S 4698 4700 2422 0 -1 4202560 92 0 0 0 29 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368241617320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4705] ppid=4698 vsize=9624976 CPUtime=0.26 cores=0,2,4,6 /proc/4700/task/4705/stat : 4705 (java) S 4698 4700 2422 0 -1 4202560 110 0 0 0 26 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368240564520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4706] ppid=4698 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/4700/task/4706/stat : 4706 (java) S 4698 4700 2422 0 -1 4202560 153 0 0 0 30 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368239511720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4707] ppid=4698 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/4700/task/4707/stat : 4707 (java) S 4698 4700 2422 0 -1 4202560 99 0 0 0 27 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368238459944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4708] ppid=4698 vsize=9624976 CPUtime=0.25 cores=0,2,4,6 /proc/4700/task/4708/stat : 4708 (java) S 4698 4700 2422 0 -1 4202560 32 0 0 0 24 1 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368237407144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4709] ppid=4698 vsize=9624976 CPUtime=0.25 cores=0,2,4,6 /proc/4700/task/4709/stat : 4709 (java) S 4698 4700 2422 0 -1 4202560 65 0 0 0 24 1 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368236354344 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4710] ppid=4698 vsize=9624976 CPUtime=0.23 cores=0,2,4,6 /proc/4700/task/4710/stat : 4710 (java) S 4698 4700 2422 0 -1 4202560 126 0 0 0 23 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368235301544 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4711] ppid=4698 vsize=9624976 CPUtime=4.15 cores=0,2,4,6 /proc/4700/task/4711/stat : 4711 (java) S 4698 4700 2422 0 -1 4202560 82 0 0 0 413 2 0 0 20 0 19 0 255666068 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368222890472 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4712] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4712/stat : 4712 (java) S 4698 4700 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368221836536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4713] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4713/stat : 4713 (java) S 4698 4700 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368220783624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4714] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4714/stat : 4714 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368219732112 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4715] ppid=4698 vsize=9624976 CPUtime=0.8 cores=0,2,4,6 /proc/4700/task/4715/stat : 4715 (java) S 4698 4700 2422 0 -1 4202560 5037 0 0 0 78 2 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368218680248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4716] ppid=4698 vsize=9624976 CPUtime=0.7 cores=0,2,4,6 /proc/4700/task/4716/stat : 4716 (java) S 4698 4700 2422 0 -1 4202560 5318 0 0 0 70 0 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368217627448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4717] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4717/stat : 4717 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368216574840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4718] ppid=4698 vsize=9624976 CPUtime=0.07 cores=0,2,4,6 /proc/4700/task/4718/stat : 4718 (java) S 4698 4700 2422 0 -1 4202560 29 0 0 0 3 4 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368215522248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4719] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4719/stat : 4719 (java) S 4698 4700 2422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666116 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368214467752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 504.05 Current children cumulated vsize (KiB) 9624976 [startup+501.501 s] /proc/loadavg: 2.00 2.01 2.03 3/213 4723 /proc/meminfo: memFree=26760248/32873844 swapFree=6848/6848 [pid=4700] ppid=4698 vsize=9624976 CPUtime=504.46 cores=0,2,4,6 /proc/4700/stat : 4700 (java) S 4698 4700 2422 0 -1 4202496 15090 0 1 0 50430 16 0 0 20 0 19 0 255666065 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140734896329792 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4700/statm: 2406244 49001 2285 9 0 2396937 0 [pid=4700/tid=4702] ppid=4698 vsize=9624976 CPUtime=496.56 cores=0,2,4,6 /proc/4700/task/4702/stat : 4702 (java) R 4698 4700 2422 0 -1 4202560 2684 0 1 0 49646 10 0 0 20 0 19 0 255666066 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368398668080 140368271678554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4703] ppid=4698 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/4700/task/4703/stat : 4703 (java) S 4698 4700 2422 0 -1 4202560 78 0 0 0 28 2 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368242670120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4704] ppid=4698 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/4700/task/4704/stat : 4704 (java) S 4698 4700 2422 0 -1 4202560 92 0 0 0 29 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368241617320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4705] ppid=4698 vsize=9624976 CPUtime=0.26 cores=0,2,4,6 /proc/4700/task/4705/stat : 4705 (java) S 4698 4700 2422 0 -1 4202560 110 0 0 0 26 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368240564520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4706] ppid=4698 vsize=9624976 CPUtime=0.3 cores=0,2,4,6 /proc/4700/task/4706/stat : 4706 (java) S 4698 4700 2422 0 -1 4202560 153 0 0 0 30 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368239511720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4707] ppid=4698 vsize=9624976 CPUtime=0.27 cores=0,2,4,6 /proc/4700/task/4707/stat : 4707 (java) S 4698 4700 2422 0 -1 4202560 99 0 0 0 27 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368238459944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4708] ppid=4698 vsize=9624976 CPUtime=0.25 cores=0,2,4,6 /proc/4700/task/4708/stat : 4708 (java) S 4698 4700 2422 0 -1 4202560 32 0 0 0 24 1 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368237407144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4709] ppid=4698 vsize=9624976 CPUtime=0.25 cores=0,2,4,6 /proc/4700/task/4709/stat : 4709 (java) S 4698 4700 2422 0 -1 4202560 65 0 0 0 24 1 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368236354344 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4710] ppid=4698 vsize=9624976 CPUtime=0.23 cores=0,2,4,6 /proc/4700/task/4710/stat : 4710 (java) S 4698 4700 2422 0 -1 4202560 126 0 0 0 23 0 0 0 20 0 19 0 255666067 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368235301544 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4700/tid=4711] ppid=4698 vsize=9624976 CPUtime=4.15 cores=0,2,4,6 /proc/4700/task/4711/stat : 4711 (java) S 4698 4700 2422 0 -1 4202560 82 0 0 0 413 2 0 0 20 0 19 0 255666068 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368222890472 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4712] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4712/stat : 4712 (java) S 4698 4700 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368221836536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4713] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4713/stat : 4713 (java) S 4698 4700 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666069 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368220783624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4714] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4714/stat : 4714 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368219732112 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4715] ppid=4698 vsize=9624976 CPUtime=0.8 cores=0,2,4,6 /proc/4700/task/4715/stat : 4715 (java) S 4698 4700 2422 0 -1 4202560 5037 0 0 0 78 2 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368218680248 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4700/tid=4716] ppid=4698 vsize=9624976 CPUtime=0.7 cores=0,2,4,6 /proc/4700/task/4716/stat : 4716 (java) S 4698 4700 2422 0 -1 4202560 5318 0 0 0 70 0 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368217627448 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4717] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4717/stat : 4717 (java) S 4698 4700 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368216574840 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4700/tid=4718] ppid=4698 vsize=9624976 CPUtime=0.07 cores=0,2,4,6 /proc/4700/task/4718/stat : 4718 (java) S 4698 4700 2422 0 -1 4202560 29 0 0 0 3 4 0 0 20 0 19 0 255666071 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368215522248 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4700/tid=4719] ppid=4698 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/4700/task/4719/stat : 4719 (java) S 4698 4700 2422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666116 9855975424 49001 33554432000 1073741824 1073778376 140734896338656 140368214467752 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 504.46 Current children cumulated vsize (KiB) 9624976 Child status: 30 Real time (s): 501.569 CPU time (s): 504.786 CPU user time (s): 504.425 CPU system time (s): 0.360945 CPU usage (%): 100.641 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 504.425 system time used= 0.360945 maximum resident set size= 196064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15109 page faults= 1 swaps= 0 block input operations= 0 block output operations= 560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14473 involuntary context switches= 9413 runsolver used 1.93271 second user time and 3.44448 second system time The end
Begin job on node144 at 2012-05-24 23:36:52 IDJOB=3690049 IDBENCH=92671 IDSOLVER=2269 FILE ID=node144/3690049-1337895412 RUNJOBID= node144-1337871880-2438 PBS_JOBID= 14620060 Free space on /tmp= 71696 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690049-1337895412/watcher-3690049-1337895412 -o /tmp/evaluation-result-3690049-1337895412/solver-3690049-1337895412 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690049-1337895412.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b32f126aecba6bfb006545c8818dc00d RANDOM SEED=892458949 node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.39 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26956352 kB Buffers: 235264 kB Cached: 1897092 kB SwapCached: 0 kB Active: 3444296 kB Inactive: 1684244 kB Active(anon): 2997288 kB Inactive(anon): 0 kB Active(file): 447008 kB Inactive(file): 1684244 kB Unevictable: 6848 kB Mlocked: 6848 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1136 kB Writeback: 0 kB AnonPages: 3017816 kB Mapped: 22528 kB Shmem: 200 kB Slab: 627144 kB SReclaimable: 69532 kB SUnreclaim: 557612 kB KernelStack: 1600 kB PageTables: 10016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 3271416 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2963456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node144 at 2012-05-24 23:45:13