Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | 1075010816 | 1800.18 | 1797.67 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rout.opb |
| MD5SUM | 00504f72d4d33ef46136a0269c782c15 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1074997504 |
| Best CPU time to get the best result obtained on this benchmark | 1800.41 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1074976000 |
| Optimality of the best value was proved | NO |
| Number of variables | 7561 |
| Total number of constraints | 306 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 292 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 917 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 26904326400 |
| Number of bits of the biggest number in a constraint | 35 |
| Biggest sum of numbers in a constraint | 81230087655 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.08 c See www.sat4j.org for details. 0.07/0.09 c version 2.3.1.v20110525 0.07/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.09 c java.vm.version 19.1-b02 0.07/0.09 c java.vm.vendor Sun Microsystems Inc. 0.07/0.09 c sun.arch.data.model 64 0.07/0.09 c java.version 1.6.0_24 0.07/0.09 c os.name Linux 0.07/0.09 c os.version 2.6.18-164.el5 0.07/0.09 c os.arch amd64 0.07/0.09 c Free memory 12995394264 0.07/0.09 c Max memory 13063553024 0.07/0.09 c Total memory 13063553024 0.07/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 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 Expensive 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 --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3459019-1307152113.opb 0.10/0.11 c reading problem ... 0.58/0.33 c ... done. Wall clock time 0.216s. 0.58/0.33 c #vars 7561 0.58/0.33 c #constraints 4397 0.58/0.33 c constraints type 0.58/0.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 14 0.58/0.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15 0.58/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 308 2.12/1.33 c SATISFIABLE 2.12/1.33 c OPTIMIZING... 2.12/1.33 c Got one! Elapsed wall clock time (in seconds):1.217 2.12/1.33 o 1076173056 5.99/5.13 c Got one! Elapsed wall clock time (in seconds):5.016 5.99/5.13 o 1076016640 6.81/5.97 c cleaning 2780 clauses out of 5563 with flag 1000/5563 15.78/14.85 c cleaning 4390 clauses out of 8785 with flag 7002/11565 17.88/16.97 c Got one! Elapsed wall clock time (in seconds):16.849 17.88/16.97 o 1075582208 18.62/17.63 c cleaning 4926 clauses out of 9852 with flag 3002/17024 20.04/19.04 c cleaning 5460 clauses out of 10922 with flag 9001/23023 23.11/22.07 c cleaning 6229 clauses out of 12464 with flag 16003/30025 29.29/28.21 c cleaning 7112 clauses out of 14232 with flag 24000/38022 43.30/42.26 c cleaning 8062 clauses out of 16125 with flag 33005/47027 55.80/54.74 c Got one! Elapsed wall clock time (in seconds):54.632 55.80/54.74 o 1075561728 60.91/59.87 c cleaning 9831 clauses out of 19666 with flag 5001/58630 71.12/70.08 c cleaning 7914 clauses out of 15836 with flag 11002/64631 82.62/81.54 c cleaning 7459 clauses out of 14921 with flag 18001/71630 95.53/94.46 c cleaning 7726 clauses out of 15461 with flag 26000/79629 109.53/108.41 c cleaning 8365 clauses out of 16736 with flag 35001/88630 123.33/122.29 c cleaning 9180 clauses out of 18371 with flag 45001/98630 135.64/134.54 c Got one! Elapsed wall clock time (in seconds):134.43 135.64/134.54 o 1075511808 136.87/135.78 c cleaning 11702 clauses out of 23404 with flag 5002/112843 138.70/137.57 c cleaning 8850 clauses out of 17703 with flag 11003/118844 142.07/140.56 c Got one! Elapsed wall clock time (in seconds):140.452 142.07/140.56 o 1075481088 144.98/143.43 c cleaning 7386 clauses out of 14778 with flag 3001/124769 155.44/153.70 c cleaning 6691 clauses out of 13393 with flag 9002/130770 158.85/157.09 c Got one! Elapsed wall clock time (in seconds):156.982 158.85/157.09 o 1075255296 159.95/158.15 c cleaning 6191 clauses out of 12386 with flag 4002/136454 164.25/162.48 c cleaning 6094 clauses out of 12197 with flag 10004/142456 171.85/170.03 c cleaning 6549 clauses out of 13100 with flag 17001/149453 182.86/181.00 c cleaning 7273 clauses out of 14550 with flag 25000/157452 196.17/194.36 c cleaning 8139 clauses out of 16277 with flag 34000/166452 212.47/210.62 c cleaning 9069 clauses out of 18140 with flag 44002/176454 226.98/225.10 c cleaning 9535 clauses out of 19069 with flag 54000/186452 238.19/236.39 c Got one! Elapsed wall clock time (in seconds):236.283 238.19/236.39 o 1075218432 238.49/236.66 c cleaning 7326 clauses out of 14655 with flag 1001/191573 242.49/240.62 c cleaning 6662 clauses out of 13333 with flag 7005/197577 249.79/247.95 c cleaning 6825 clauses out of 13666 with flag 14000/204572 259.20/257.37 c cleaning 7421 clauses out of 14841 with flag 22000/212572 271.79/269.91 c cleaning 8211 clauses out of 16421 with flag 31001/221573 282.60/280.79 c cleaning 9104 clauses out of 18212 with flag 41003/231575 292.81/290.97 c cleaning 9553 clauses out of 19106 with flag 51001/241573 303.62/301.73 c cleaning 9774 clauses out of 19554 with flag 61002/251574 314.23/312.36 c cleaning 9887 clauses out of 19778 with flag 71000/261572 324.82/323.00 c cleaning 9946 clauses out of 19892 with flag 81001/271573 338.55/336.69 c cleaning 9973 clauses out of 19947 with flag 91002/281574 351.94/350.02 c cleaning 9981 clauses out of 19972 with flag 101000/291572 365.25/363.38 c cleaning 9993 clauses out of 19991 with flag 111000/301572 380.37/378.47 c cleaning 9993 clauses out of 19998 with flag 121000/311572 392.86/390.97 c cleaning 9998 clauses out of 20006 with flag 131001/321573 402.66/400.78 c cleaning 10002 clauses out of 20007 with flag 141000/331572 411.87/409.95 c cleaning 10002 clauses out of 20006 with flag 151001/341573 414.97/413.02 c Got one! Elapsed wall clock time (in seconds):412.911 414.97/413.02 o 1075023360 415.37/413.49 c cleaning 7756 clauses out of 15516 with flag 2002/347085 416.77/414.82 c cleaning 6877 clauses out of 13759 with flag 8001/353084 418.37/416.45 c cleaning 6936 clauses out of 13880 with flag 15000/360083 423.88/421.95 c cleaning 7473 clauses out of 14951 with flag 23007/368090 430.89/428.92 c cleaning 8236 clauses out of 16471 with flag 32000/377083 439.08/437.11 c cleaning 9117 clauses out of 18238 with flag 42003/387086 450.89/448.94 c cleaning 9559 clauses out of 19128 with flag 52010/397093 465.60/463.66 c cleaning 9781 clauses out of 19561 with flag 62002/407085 479.70/477.74 c cleaning 9888 clauses out of 19780 with flag 72002/417085 492.31/490.31 c cleaning 9943 clauses out of 19891 with flag 82001/427084 505.51/503.58 c cleaning 9969 clauses out of 19947 with flag 92000/437083 519.13/517.17 c cleaning 9987 clauses out of 19979 with flag 102001/447084 533.74/531.73 c cleaning 9989 clauses out of 19992 with flag 112001/457084 552.74/550.77 c cleaning 9997 clauses out of 20002 with flag 122000/467083 571.45/569.46 c cleaning 10001 clauses out of 20006 with flag 132001/477084 591.15/589.15 c cleaning 9997 clauses out of 20004 with flag 142000/487083 611.56/609.58 c cleaning 10003 clauses out of 20009 with flag 152002/497085 631.96/629.90 c cleaning 9997 clauses out of 20007 with flag 162003/507086 650.66/648.60 c cleaning 9999 clauses out of 20008 with flag 172001/517084 669.67/667.63 c cleaning 9990 clauses out of 20008 with flag 182000/527083 689.61/687.56 c cleaning 10006 clauses out of 20019 with flag 192001/537084 708.80/706.73 c cleaning 9998 clauses out of 20012 with flag 202000/547083 725.60/723.59 c cleaning 10003 clauses out of 20017 with flag 212003/557086 743.30/741.25 c cleaning 9998 clauses out of 20014 with flag 222003/567086 763.50/761.41 c cleaning 9999 clauses out of 20013 with flag 232000/577083 784.51/782.45 c cleaning 10000 clauses out of 20014 with flag 242000/587083 810.91/808.87 c cleaning 10000 clauses out of 20016 with flag 252002/597085 830.62/828.59 c cleaning 10000 clauses out of 20014 with flag 262000/607083 846.12/844.02 c cleaning 10001 clauses out of 20015 with flag 272001/617084 861.52/859.41 c cleaning 9999 clauses out of 20013 with flag 282000/627083 884.63/882.51 c cleaning 10003 clauses out of 20016 with flag 292002/637085 900.33/898.25 c cleaning 10002 clauses out of 20011 with flag 302000/647083 910.64/908.60 c cleaning 9999 clauses out of 20011 with flag 312002/657085 924.15/922.05 c cleaning 10001 clauses out of 20012 with flag 322002/667085 935.96/933.88 c cleaning 9998 clauses out of 20009 with flag 332000/677083 947.86/945.71 c cleaning 9988 clauses out of 20012 with flag 342001/687084 959.07/956.96 c cleaning 9998 clauses out of 20024 with flag 352001/697084 966.96/964.84 c cleaning 9988 clauses out of 20025 with flag 362000/707083 973.97/971.81 c cleaning 10008 clauses out of 20037 with flag 372000/717083 984.18/982.00 c cleaning 10012 clauses out of 20033 with flag 382004/727087 995.50/993.36 c cleaning 10002 clauses out of 20017 with flag 392000/737083 1006.69/1004.58 c cleaning 9997 clauses out of 20016 with flag 402001/747084 1016.79/1014.61 c cleaning 10003 clauses out of 20020 with flag 412002/757085 1027.42/1025.25 c cleaning 9996 clauses out of 20015 with flag 422000/767083 1037.32/1035.15 c cleaning 9999 clauses out of 20019 with flag 432000/777083 1046.91/1044.73 c cleaning 9992 clauses out of 20020 with flag 442000/787083 1056.51/1054.38 c cleaning 9998 clauses out of 20028 with flag 452000/797083 1066.93/1064.79 c cleaning 10006 clauses out of 20032 with flag 462002/807085 1078.12/1075.96 c cleaning 9996 clauses out of 20025 with flag 472001/817084 1087.72/1085.58 c cleaning 10010 clauses out of 20030 with flag 482002/827085 1106.23/1104.00 c cleaning 9999 clauses out of 20019 with flag 492001/837084 1123.43/1121.29 c cleaning 9992 clauses out of 20019 with flag 502000/847083 1138.04/1135.89 c cleaning 10002 clauses out of 20029 with flag 512002/857085 1154.54/1152.33 c cleaning 10005 clauses out of 20026 with flag 522001/867084 1171.85/1169.61 c cleaning 10001 clauses out of 20022 with flag 532002/877085 1189.75/1187.52 c cleaning 10000 clauses out of 20021 with flag 542002/887085 1205.45/1203.29 c cleaning 10001 clauses out of 20022 with flag 552003/897086 1221.45/1219.27 c cleaning 9998 clauses out of 20019 with flag 562001/907084 1238.36/1236.12 c cleaning 9992 clauses out of 20020 with flag 572000/917083 1255.96/1253.74 c cleaning 10002 clauses out of 20029 with flag 582001/927084 1271.27/1269.08 c cleaning 10005 clauses out of 20026 with flag 592000/937083 1285.07/1282.84 c cleaning 10006 clauses out of 20021 with flag 602000/947083 1298.38/1296.12 c cleaning 10001 clauses out of 20017 with flag 612002/957085 1310.78/1308.56 c Got one! Elapsed wall clock time (in seconds):1308.452 1310.78/1308.56 o 1075010816 1311.98/1309.78 c cleaning 12496 clauses out of 24994 with flag 5003/972063 1313.70/1311.49 c cleaning 9245 clauses out of 18495 with flag 11000/978060 1315.61/1313.41 c cleaning 8123 clauses out of 16251 with flag 18001/985061 1324.11/1321.83 c cleaning 8061 clauses out of 16129 with flag 26002/993062 1334.81/1332.52 c cleaning 8529 clauses out of 17066 with flag 35000/1002060 1346.61/1344.37 c cleaning 9267 clauses out of 18538 with flag 45001/1012061 1358.64/1356.39 c cleaning 9632 clauses out of 19271 with flag 55001/1022061 1368.72/1366.42 c cleaning 9814 clauses out of 19638 with flag 65000/1032060 1378.73/1376.40 c cleaning 9908 clauses out of 19824 with flag 75000/1042060 1388.73/1386.46 c cleaning 9957 clauses out of 19920 with flag 85004/1052064 1399.84/1397.52 c cleaning 9973 clauses out of 19959 with flag 95000/1062060 1413.55/1411.27 c cleaning 9986 clauses out of 19988 with flag 105002/1072062 1427.55/1425.26 c cleaning 9990 clauses out of 20000 with flag 115000/1082060 1441.85/1439.58 c cleaning 9998 clauses out of 20011 with flag 125001/1092061 1456.65/1454.37 c cleaning 9997 clauses out of 20012 with flag 135000/1102060 1471.36/1469.01 c cleaning 10001 clauses out of 20017 with flag 145002/1112062 1484.26/1481.92 c cleaning 9999 clauses out of 20014 with flag 155000/1122060 1498.38/1496.08 c cleaning 10001 clauses out of 20016 with flag 165001/1132061 1513.86/1511.57 c cleaning 10001 clauses out of 20015 with flag 175001/1142061 1529.77/1527.48 c cleaning 9999 clauses out of 20015 with flag 185002/1152062 1545.37/1543.05 c cleaning 10003 clauses out of 20017 with flag 195003/1162063 1558.78/1556.49 c cleaning 9999 clauses out of 20011 with flag 205000/1172060 1574.08/1571.72 c cleaning 9997 clauses out of 20014 with flag 215002/1182062 1588.60/1586.27 c cleaning 9999 clauses out of 20017 with flag 225002/1192062 1604.39/1602.08 c cleaning 10001 clauses out of 20016 with flag 235000/1202060 1619.59/1617.23 c cleaning 10007 clauses out of 20021 with flag 245006/1212066 1635.40/1633.03 c cleaning 9995 clauses out of 20008 with flag 255000/1222060 1646.00/1643.64 c cleaning 10000 clauses out of 20013 with flag 265000/1232060 1656.51/1654.11 c cleaning 10004 clauses out of 20015 with flag 275002/1242062 1667.51/1665.13 c cleaning 10000 clauses out of 20013 with flag 285004/1252064 1679.93/1677.54 c cleaning 9996 clauses out of 20010 with flag 295001/1262061 1692.42/1690.03 c cleaning 10000 clauses out of 20013 with flag 305000/1272060 1704.22/1701.83 c cleaning 10001 clauses out of 20017 with flag 315004/1282064 1716.43/1714.03 c cleaning 9997 clauses out of 20013 with flag 325001/1292061 1728.63/1726.25 c cleaning 9996 clauses out of 20017 with flag 335002/1302062 1740.23/1737.84 c cleaning 10002 clauses out of 20020 with flag 345001/1312061 1750.83/1748.40 c cleaning 10002 clauses out of 20020 with flag 355003/1322063 1763.13/1760.74 c cleaning 10001 clauses out of 20018 with flag 365003/1332063 1774.04/1771.62 c cleaning 9999 clauses out of 20014 with flag 375000/1342060 1784.46/1782.08 c cleaning 10000 clauses out of 20017 with flag 385002/1352062 1795.04/1792.68 c cleaning 9996 clauses out of 20018 with flag 395003/1362063 1800.05/1797.62 c starts : 200 1800.05/1797.62 c conflicts : 1367004 1800.05/1797.62 c decisions : 1484576 1800.05/1797.62 c propagations : 51194105 1800.05/1797.62 c inspects : 1168338783 1800.05/1797.62 c shortcuts : 0 1800.05/1797.62 c learnt literals : 6 1800.05/1797.62 c learnt binary clauses : 93 1800.05/1797.62 c learnt ternary clauses : 97 1800.05/1797.62 c learnt constraints : 1366997 1800.05/1797.62 c ignored constraints : 0 1800.05/1797.62 c root simplifications : 0 1800.05/1797.62 c removed literals (reason simplification) : 255700607 1800.05/1797.62 c reason swapping (by a shorter reason) : 0 1800.05/1797.62 c Calls to reduceDB : 145 1800.05/1797.62 c number of reductions to clauses (during analyze) : 0 1800.05/1797.62 c number of learned constraints concerned by reduction : 0 1800.05/1797.62 c number of learning phase by resolution : 0 1800.05/1797.62 c number of learning phase by cutting planes : 0 1800.05/1797.62 c speed (assignments/second) : 104678.64883654358 1800.05/1797.62 c non guided choices 8655 1800.05/1797.64 c learnt constraints type 1800.05/1797.64 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 93 1800.05/1797.64 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14883 1800.05/1797.64 c constraints type 1800.05/1797.64 c org.sat4j.minisat.constraints.card.MinWatchCard => 14 1800.05/1797.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15 1800.05/1797.64 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 309 1800.05/1797.64 s SATISFIABLE 1800.05/1797.66 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 1800.05/1797.66 c objective function=1075010816 1800.05/1797.66 c Total wall clock time (in seconds): 1797.545
OK 1075010816
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3459019-1307152113/watcher-3459019-1307152113 -o /tmp/evaluation-result-3459019-1307152113/solver-3459019-1307152113 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459019-1307152113.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.04 2.01 3/529 3404 /proc/meminfo: memFree=16599088/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/3404/stat : 3404 (java) R 3402 3404 1240 0 -1 4202496 953 0 0 0 0 0 0 0 25 0 1 0 807627409 23580672 696 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255101806481 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3404/statm: 5757 696 513 9 0 124 0 [pid=3404/tid=3405] ppid=3402 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 6129 0 1 0 0 0 0 0 25 0 2 0 807627410 13850947584 6944 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.080218 s] /proc/loadavg: 2.08 2.04 2.01 3/529 3404 /proc/meminfo: memFree=16599088/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13620624 CPUtime=0.07 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 14446 0 1 0 5 2 0 0 25 0 18 0 807627409 13947518976 14142 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3405156 14143 1755 9 0 3395890 0 [pid=3404/tid=3405] ppid=3402 vsize=13620624 CPUtime=0.06 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 13272 0 1 0 5 1 0 0 25 0 18 0 807627410 13947518976 14143 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 47649356512083 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13620624 [startup+0.101155 s] /proc/loadavg: 2.08 2.04 2.01 3/529 3404 /proc/meminfo: memFree=16599088/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13621736 CPUtime=0.1 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 15527 0 1 0 8 2 0 0 25 0 18 0 807627409 13948657664 15200 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3405434 15200 2093 9 0 3396168 0 [pid=3404/tid=3405] ppid=3402 vsize=13621736 CPUtime=0.08 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 13580 0 1 0 6 2 0 0 18 0 18 0 807627410 13948657664 15200 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255106455232 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13621736 [startup+0.301087 s] /proc/loadavg: 2.08 2.04 2.01 3/529 3404 /proc/meminfo: memFree=16599088/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13623780 CPUtime=0.58 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 21482 0 1 0 56 2 0 0 25 0 18 0 807627409 13950750720 20011 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3405945 20022 2203 9 0 3396679 0 [pid=3404/tid=3405] ppid=3402 vsize=13623780 CPUtime=0.28 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 17179 0 1 0 26 2 0 0 18 0 18 0 807627410 13950750720 20027 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 46912505648206 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 13623780 [startup+0.701048 s] /proc/loadavg: 2.08 2.04 2.01 3/529 3404 /proc/meminfo: memFree=16599088/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13627248 CPUtime=1.5 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 24641 0 1 0 148 2 0 0 25 0 19 0 807627409 13954301952 22463 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3406812 22463 2229 9 0 3397546 0 [pid=3404/tid=3405] ppid=3402 vsize=13627248 CPUtime=0.68 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 18756 0 1 0 66 2 0 0 19 0 19 0 807627410 13954301952 22463 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 46912505910014 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13627248 [startup+1.50091 s] /proc/loadavg: 2.08 2.04 2.01 4/548 3423 /proc/meminfo: memFree=16516236/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13627248 CPUtime=2.34 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 25022 0 1 0 232 2 0 0 25 0 19 0 807627409 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3406812 22843 2231 9 0 3397546 0 [pid=3404/tid=3405] ppid=3402 vsize=13627248 CPUtime=1.48 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 19128 0 1 0 146 2 0 0 20 0 19 0 807627410 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 46912505909990 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3404/tid=3407] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3407/stat : 3407 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3408] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3408/stat : 3408 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3409] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3409/stat : 3409 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3410] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3410/stat : 3410 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3411] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3411/stat : 3411 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3412] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3412/stat : 3412 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3413] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3413/stat : 3413 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3414] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3414/stat : 3414 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3415] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3415/stat : 3415 (java) S 3402 3404 1240 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3416] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3416/stat : 3416 (java) S 3402 3404 1240 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807627413 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3417] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3417/stat : 3417 (java) S 3402 3404 1240 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807627413 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3418] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3418/stat : 3418 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3419] ppid=3402 vsize=13627248 CPUtime=0.4 cores=1,3,5,7 /proc/3404/task/3419/stat : 3419 (java) S 3402 3404 1240 0 -1 4202560 2882 0 0 0 40 0 0 0 15 0 19 0 807627416 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3420] ppid=3402 vsize=13627248 CPUtime=0.45 cores=1,3,5,7 /proc/3404/task/3420/stat : 3420 (java) S 3402 3404 1240 0 -1 4202560 1851 0 0 0 45 0 0 0 19 0 19 0 807627416 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3421] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3421/stat : 3421 (java) S 3402 3404 1240 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3422] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3422/stat : 3422 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807627416 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3423] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3423/stat : 3423 (java) S 3402 3404 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807627445 13954301952 22843 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 13627248 [startup+3.10062 s] /proc/loadavg: 2.08 2.04 2.01 3/548 3423 /proc/meminfo: memFree=16513508/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13627248 CPUtime=3.99 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 25509 0 1 0 396 3 0 0 25 0 19 0 807627409 13954301952 23214 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3406812 23214 2232 9 0 3397546 0 [pid=3404/tid=3405] ppid=3402 vsize=13627248 CPUtime=3.08 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 19458 0 1 0 306 2 0 0 25 0 19 0 807627410 13954301952 23214 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 46912505813177 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3404/tid=3407] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3407/stat : 3407 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 23214 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3408] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3408/stat : 3408 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 23214 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3409] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3409/stat : 3409 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 23214 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3410] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3410/stat : 3410 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 23214 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3411] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3411/stat : 3411 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 23214 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3412] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3412/stat : 3412 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 23214 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3413] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3413/stat : 3413 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 23214 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3414] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3414/stat : 3414 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627412 13954301952 23215 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3415] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3415/stat : 3415 (java) S 3402 3404 1240 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 807627413 13954301952 23215 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3416] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3416/stat : 3416 (java) S 3402 3404 1240 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807627413 13954301952 23216 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3417] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3417/stat : 3417 (java) S 3402 3404 1240 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807627413 13954301952 23216 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3418] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3418/stat : 3418 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 23216 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3419] ppid=3402 vsize=13627248 CPUtime=0.43 cores=1,3,5,7 /proc/3404/task/3419/stat : 3419 (java) R 3402 3404 1240 0 -1 4202560 3041 0 0 0 43 0 0 0 15 0 19 0 807627416 13954301952 23216 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 47649350495184 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=3404/tid=3420] ppid=3402 vsize=13627248 CPUtime=0.45 cores=1,3,5,7 /proc/3404/task/3420/stat : 3420 (java) S 3402 3404 1240 0 -1 4202560 1851 0 0 0 45 0 0 0 15 0 19 0 807627416 13954301952 23216 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3421] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3421/stat : 3421 (java) S 3402 3404 1240 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 23216 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3422] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3422/stat : 3422 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807627416 13954301952 23216 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3423] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3423/stat : 3423 (java) S 3402 3404 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807627445 13954301952 23216 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 13627248 [startup+6.30106 s] /proc/loadavg: 2.07 2.04 2.01 3/548 3423 /proc/meminfo: memFree=16509500/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13627248 CPUtime=7.25 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 28893 0 1 0 722 3 0 0 25 0 19 0 807627409 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3406812 26535 2260 9 0 3397546 0 [pid=3404/tid=3405] ppid=3402 vsize=13627248 CPUtime=6.25 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 20263 0 1 0 623 2 0 0 19 0 19 0 807627410 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 46912505910118 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3404/tid=3407] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3407/stat : 3407 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807627412 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3408] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3408/stat : 3408 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807627412 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3409] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3409/stat : 3409 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807627412 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3410] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3410/stat : 3410 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807627412 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3411] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3411/stat : 3411 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807627412 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3412] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3412/stat : 3412 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807627412 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3413] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3413/stat : 3413 (java) S 3402 3404 1240 0 -1 4202560 688 0 0 0 0 0 0 0 18 0 19 0 807627412 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3414] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3414/stat : 3414 (java) S 3402 3404 1240 0 -1 4202560 542 0 0 0 0 0 0 0 18 0 19 0 807627412 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3415] ppid=3402 vsize=13627248 CPUtime=0.01 cores=1,3,5,7 /proc/3404/task/3415/stat : 3415 (java) S 3402 3404 1240 0 -1 4202560 1327 0 0 0 1 0 0 0 15 0 19 0 807627413 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 [pid=3404/tid=3416] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3416/stat : 3416 (java) S 3402 3404 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3417] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3417/stat : 3417 (java) S 3402 3404 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3418] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3418/stat : 3418 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3419] ppid=3402 vsize=13627248 CPUtime=0.48 cores=1,3,5,7 /proc/3404/task/3419/stat : 3419 (java) S 3402 3404 1240 0 -1 4202560 3059 0 0 0 48 0 0 0 15 0 19 0 807627416 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3420] ppid=3402 vsize=13627248 CPUtime=0.47 cores=1,3,5,7 /proc/3404/task/3420/stat : 3420 (java) S 3402 3404 1240 0 -1 4202560 1856 0 0 0 47 0 0 0 15 0 19 0 807627416 13954301952 26535 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=3404/tid=3412] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3412/stat : 3412 (java) S 3402 3404 1240 0 -1 4202560 807 0 0 0 11 0 0 0 15 0 19 0 807627412 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3413] ppid=3402 vsize=13627248 CPUtime=0.12 cores=1,3,5,7 /proc/3404/task/3413/stat : 3413 (java) S 3402 3404 1240 0 -1 4202560 784 0 0 0 12 0 0 0 15 0 19 0 807627412 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3414] ppid=3402 vsize=13627248 CPUtime=0.14 cores=1,3,5,7 /proc/3404/task/3414/stat : 3414 (java) S 3402 3404 1240 0 -1 4202560 1234 0 0 0 14 0 0 0 15 0 19 0 807627412 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3415] ppid=3402 vsize=13627248 CPUtime=3.27 cores=1,3,5,7 /proc/3404/task/3415/stat : 3415 (java) S 3402 3404 1240 0 -1 4202560 4561 0 0 0 325 2 0 0 15 0 19 0 807627413 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 [pid=3404/tid=3416] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3416/stat : 3416 (java) S 3402 3404 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3417] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3417/stat : 3417 (java) S 3402 3404 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3418] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3418/stat : 3418 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3419] ppid=3402 vsize=13627248 CPUtime=1.24 cores=1,3,5,7 /proc/3404/task/3419/stat : 3419 (java) S 3402 3404 1240 0 -1 4202560 14345 0 0 0 123 1 0 0 15 0 19 0 807627416 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3420] ppid=3402 vsize=13627248 CPUtime=0.55 cores=1,3,5,7 /proc/3404/task/3420/stat : 3420 (java) S 3402 3404 1240 0 -1 4202560 1863 0 0 0 55 0 0 0 15 0 19 0 807627416 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3421] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3421/stat : 3421 (java) S 3402 3404 1240 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3422] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3422/stat : 3422 (java) S 3402 3404 1240 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 807627416 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0 [pid=3404/tid=3423] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3423/stat : 3423 (java) S 3402 3404 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807627445 13954301952 38440 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1664.71 Current children cumulated vsize (KiB) 13627248 [startup+1722.3 s] /proc/loadavg: 2.16 2.07 2.02 3/548 3958 /proc/meminfo: memFree=16304352/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13627248 CPUtime=1724.73 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 48077 0 1 0 172464 9 0 0 25 0 19 0 807627409 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3406812 38454 2261 9 0 3397546 0 [pid=3404/tid=3405] ppid=3402 vsize=13627248 CPUtime=1718.53 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 20406 0 1 0 171851 2 0 0 25 0 19 0 807627410 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 46912505843356 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3404/tid=3407] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3407/stat : 3407 (java) S 3402 3404 1240 0 -1 4202560 1029 0 0 0 11 0 0 0 15 0 19 0 807627412 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3408] ppid=3402 vsize=13627248 CPUtime=0.13 cores=1,3,5,7 /proc/3404/task/3408/stat : 3408 (java) S 3402 3404 1240 0 -1 4202560 434 0 0 0 13 0 0 0 16 0 19 0 807627412 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0 [pid=3404/tid=3409] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3409/stat : 3409 (java) S 3402 3404 1240 0 -1 4202560 867 0 0 0 11 0 0 0 15 0 19 0 807627412 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3410] ppid=3402 vsize=13627248 CPUtime=0.09 cores=1,3,5,7 /proc/3404/task/3410/stat : 3410 (java) S 3402 3404 1240 0 -1 4202560 174 0 0 0 9 0 0 0 15 0 19 0 807627412 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3411] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3411/stat : 3411 (java) S 3402 3404 1240 0 -1 4202560 313 0 0 0 11 0 0 0 16 0 19 0 807627412 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3412] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3412/stat : 3412 (java) S 3402 3404 1240 0 -1 4202560 813 0 0 0 11 0 0 0 15 0 19 0 807627412 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3413] ppid=3402 vsize=13627248 CPUtime=0.12 cores=1,3,5,7 /proc/3404/task/3413/stat : 3413 (java) S 3402 3404 1240 0 -1 4202560 784 0 0 0 12 0 0 0 15 0 19 0 807627412 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3414] ppid=3402 vsize=13627248 CPUtime=0.14 cores=1,3,5,7 /proc/3404/task/3414/stat : 3414 (java) S 3402 3404 1240 0 -1 4202560 1234 0 0 0 14 0 0 0 16 0 19 0 807627412 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3415] ppid=3402 vsize=13627248 CPUtime=3.4 cores=1,3,5,7 /proc/3404/task/3415/stat : 3415 (java) S 3402 3404 1240 0 -1 4202560 4565 0 0 0 338 2 0 0 15 0 19 0 807627413 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 [pid=3404/tid=3416] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3416/stat : 3416 (java) S 3402 3404 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3417] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3417/stat : 3417 (java) S 3402 3404 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3418] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3418/stat : 3418 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3419] ppid=3402 vsize=13627248 CPUtime=1.24 cores=1,3,5,7 /proc/3404/task/3419/stat : 3419 (java) S 3402 3404 1240 0 -1 4202560 14345 0 0 0 123 1 0 0 15 0 19 0 807627416 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3420] ppid=3402 vsize=13627248 CPUtime=0.55 cores=1,3,5,7 /proc/3404/task/3420/stat : 3420 (java) S 3402 3404 1240 0 -1 4202560 1863 0 0 0 55 0 0 0 15 0 19 0 807627416 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3421] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3421/stat : 3421 (java) S 3402 3404 1240 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3422] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3422/stat : 3422 (java) S 3402 3404 1240 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 807627416 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0 [pid=3404/tid=3423] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3423/stat : 3423 (java) S 3402 3404 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807627445 13954301952 38454 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1724.73 Current children cumulated vsize (KiB) 13627248 [startup+1782.3 s] /proc/loadavg: 2.09 2.07 2.02 3/548 3960 /proc/meminfo: memFree=16285592/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13627248 CPUtime=1784.74 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 48109 0 1 0 178465 9 0 0 25 0 19 0 807627409 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3406812 38472 2261 9 0 3397546 0 [pid=3404/tid=3405] ppid=3402 vsize=13627248 CPUtime=1778.36 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 20412 0 1 0 177834 2 0 0 25 0 19 0 807627410 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 46912505910060 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3404/tid=3407] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3407/stat : 3407 (java) S 3402 3404 1240 0 -1 4202560 1029 0 0 0 11 0 0 0 16 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3408] ppid=3402 vsize=13627248 CPUtime=0.13 cores=1,3,5,7 /proc/3404/task/3408/stat : 3408 (java) S 3402 3404 1240 0 -1 4202560 434 0 0 0 13 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0 [pid=3404/tid=3409] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3409/stat : 3409 (java) S 3402 3404 1240 0 -1 4202560 867 0 0 0 11 0 0 0 16 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3410] ppid=3402 vsize=13627248 CPUtime=0.1 cores=1,3,5,7 /proc/3404/task/3410/stat : 3410 (java) S 3402 3404 1240 0 -1 4202560 181 0 0 0 10 0 0 0 16 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3411] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3411/stat : 3411 (java) S 3402 3404 1240 0 -1 4202560 320 0 0 0 11 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3412] ppid=3402 vsize=13627248 CPUtime=0.12 cores=1,3,5,7 /proc/3404/task/3412/stat : 3412 (java) S 3402 3404 1240 0 -1 4202560 817 0 0 0 12 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3413] ppid=3402 vsize=13627248 CPUtime=0.12 cores=1,3,5,7 /proc/3404/task/3413/stat : 3413 (java) S 3402 3404 1240 0 -1 4202560 784 0 0 0 12 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3414] ppid=3402 vsize=13627248 CPUtime=0.14 cores=1,3,5,7 /proc/3404/task/3414/stat : 3414 (java) S 3402 3404 1240 0 -1 4202560 1234 0 0 0 14 0 0 0 16 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0 [pid=3404/tid=3415] ppid=3402 vsize=13627248 CPUtime=3.56 cores=1,3,5,7 /proc/3404/task/3415/stat : 3415 (java) S 3402 3404 1240 0 -1 4202560 4569 0 0 0 354 2 0 0 16 0 19 0 807627413 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 [pid=3404/tid=3416] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3416/stat : 3416 (java) S 3402 3404 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3417] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3417/stat : 3417 (java) S 3402 3404 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3418] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3418/stat : 3418 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3419] ppid=3402 vsize=13627248 CPUtime=1.24 cores=1,3,5,7 /proc/3404/task/3419/stat : 3419 (java) S 3402 3404 1240 0 -1 4202560 14345 0 0 0 123 1 0 0 15 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3420] ppid=3402 vsize=13627248 CPUtime=0.55 cores=1,3,5,7 /proc/3404/task/3420/stat : 3420 (java) S 3402 3404 1240 0 -1 4202560 1863 0 0 0 55 0 0 0 15 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3421] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3421/stat : 3421 (java) S 3402 3404 1240 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3422] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3422/stat : 3422 (java) S 3402 3404 1240 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0 [pid=3404/tid=3423] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3423/stat : 3423 (java) S 3402 3404 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807627445 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1784.74 Current children cumulated vsize (KiB) 13627248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.6 s] /proc/loadavg: 2.00 2.05 2.01 3/548 4008 /proc/meminfo: memFree=16549216/32951124 swapFree=67111204/67111528 [pid=3404] ppid=3402 vsize=13627248 CPUtime=1800.05 cores=1,3,5,7 /proc/3404/stat : 3404 (java) S 3402 3404 1240 0 -1 4202496 48110 0 1 0 179996 9 0 0 25 0 19 0 807627409 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3404/statm: 3406812 38472 2261 9 0 3397546 0 [pid=3404/tid=3405] ppid=3402 vsize=13627248 CPUtime=1793.65 cores=1,3,5,7 /proc/3404/task/3405/stat : 3405 (java) R 3402 3404 1240 0 -1 4202560 20413 0 1 0 179363 2 0 0 25 0 19 0 807627410 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 46912505910014 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3404/tid=3407] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3407/stat : 3407 (java) S 3402 3404 1240 0 -1 4202560 1029 0 0 0 11 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3408] ppid=3402 vsize=13627248 CPUtime=0.13 cores=1,3,5,7 /proc/3404/task/3408/stat : 3408 (java) S 3402 3404 1240 0 -1 4202560 434 0 0 0 13 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0 [pid=3404/tid=3409] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3409/stat : 3409 (java) S 3402 3404 1240 0 -1 4202560 867 0 0 0 11 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3410] ppid=3402 vsize=13627248 CPUtime=0.1 cores=1,3,5,7 /proc/3404/task/3410/stat : 3410 (java) S 3402 3404 1240 0 -1 4202560 181 0 0 0 10 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3411] ppid=3402 vsize=13627248 CPUtime=0.11 cores=1,3,5,7 /proc/3404/task/3411/stat : 3411 (java) S 3402 3404 1240 0 -1 4202560 320 0 0 0 11 0 0 0 16 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3412] ppid=3402 vsize=13627248 CPUtime=0.12 cores=1,3,5,7 /proc/3404/task/3412/stat : 3412 (java) S 3402 3404 1240 0 -1 4202560 817 0 0 0 12 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3413] ppid=3402 vsize=13627248 CPUtime=0.12 cores=1,3,5,7 /proc/3404/task/3413/stat : 3413 (java) S 3402 3404 1240 0 -1 4202560 784 0 0 0 12 0 0 0 15 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3414] ppid=3402 vsize=13627248 CPUtime=0.14 cores=1,3,5,7 /proc/3404/task/3414/stat : 3414 (java) S 3402 3404 1240 0 -1 4202560 1234 0 0 0 14 0 0 0 16 0 19 0 807627412 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0 [pid=3404/tid=3415] ppid=3402 vsize=13627248 CPUtime=3.58 cores=1,3,5,7 /proc/3404/task/3415/stat : 3415 (java) S 3402 3404 1240 0 -1 4202560 4569 0 0 0 356 2 0 0 15 0 19 0 807627413 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 [pid=3404/tid=3416] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3416/stat : 3416 (java) S 3402 3404 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3417] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3417/stat : 3417 (java) S 3402 3404 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807627413 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3418] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3418/stat : 3418 (java) S 3402 3404 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3419] ppid=3402 vsize=13627248 CPUtime=1.24 cores=1,3,5,7 /proc/3404/task/3419/stat : 3419 (java) S 3402 3404 1240 0 -1 4202560 14345 0 0 0 123 1 0 0 15 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0 [pid=3404/tid=3420] ppid=3402 vsize=13627248 CPUtime=0.55 cores=1,3,5,7 /proc/3404/task/3420/stat : 3420 (java) S 3402 3404 1240 0 -1 4202560 1863 0 0 0 55 0 0 0 15 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3421] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3421/stat : 3421 (java) S 3402 3404 1240 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0 [pid=3404/tid=3422] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3422/stat : 3422 (java) S 3402 3404 1240 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 807627416 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0 [pid=3404/tid=3423] ppid=3402 vsize=13627248 CPUtime=0 cores=1,3,5,7 /proc/3404/task/3423/stat : 3423 (java) S 3402 3404 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807627445 13954301952 38472 33554432000 1073741824 1073778376 140734300152288 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 13627248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1797.67 CPU time (s): 1800.18 CPU user time (s): 1800.08 CPU system time (s): 0.107983 CPU usage (%): 100.14 Max. virtual memory (cumulated for all children) (KiB): 13627248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.107983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48255 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41007 involuntary context switches= 6991 runsolver used 8.90765 second user time and 21.5437 second system time The end
Begin job on node144 at 2011-06-04 03:48:33 IDJOB=3459019 IDBENCH=2513 IDSOLVER=1952 FILE ID=node144/3459019-1307152113 RUNJOBID= node144-1307146629-2779 PBS_JOBID= 13508772 Free space on /tmp= 73896 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459019-1307152113/watcher-3459019-1307152113 -o /tmp/evaluation-result-3459019-1307152113/solver-3459019-1307152113 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459019-1307152113.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 00504f72d4d33ef46136a0269c782c15 RANDOM SEED=266722956 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 16599368 kB Buffers: 302748 kB Cached: 444152 kB SwapCached: 140 kB Active: 15678576 kB Inactive: 399420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16599368 kB SwapTotal: 67111528 kB SwapFree: 67111204 kB Dirty: 2928 kB Writeback: 0 kB AnonPages: 15330560 kB Mapped: 50480 kB Slab: 136048 kB PageTables: 69740 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 171192108 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73928 MiB End job on node144 at 2011-06-04 04:18:32