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) | 28 | 1800.24 | 1798.17 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_016_area_delay.opb |
| MD5SUM | 580618cb84d1b6d12452a14c6ff54025 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 21.4527 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 10236 |
| Total number of constraints | 31056 |
| Number of constraints which are clauses | 31056 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 5070 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5070 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5070 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 12995394264 0.02/0.09 c Max memory 13063553024 0.02/0.09 c Total memory 13063553024 0.02/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@38540408 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-3458483-1307156152.opb 0.10/0.11 c reading problem ... 0.73/0.49 c ... done. Wall clock time 0.382s. 0.73/0.49 c #vars 10236 0.73/0.49 c #constraints 31056 0.73/0.49 c constraints type 0.73/0.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5176 0.73/0.49 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24883 1.23/0.62 c SATISFIABLE 1.23/0.62 c OPTIMIZING... 1.23/0.62 c Got one! Elapsed wall clock time (in seconds):0.506 1.23/0.62 o 37 1.48/0.72 c Got one! Elapsed wall clock time (in seconds):0.612 1.48/0.72 o 36 1.66/0.80 c Got one! Elapsed wall clock time (in seconds):0.689 1.66/0.80 o 35 1.85/0.93 c Got one! Elapsed wall clock time (in seconds):0.814 1.85/0.93 o 29 4.18/3.24 c Got one! Elapsed wall clock time (in seconds):3.124 4.18/3.24 o 28 4.60/3.68 c cleaning 2890 clauses out of 5785 with flag 1000/5785 7.69/6.65 c cleaning 4444 clauses out of 8896 with flag 7001/11786 10.78/9.72 c cleaning 5719 clauses out of 11452 with flag 14001/18786 13.89/12.88 c cleaning 6861 clauses out of 13732 with flag 22000/26785 17.73/16.60 c cleaning 7932 clauses out of 15871 with flag 31000/35785 21.83/20.77 c cleaning 8962 clauses out of 17939 with flag 41000/45785 26.45/25.38 c cleaning 9983 clauses out of 19978 with flag 52001/56786 31.24/30.12 c cleaning 10989 clauses out of 21994 with flag 64000/68785 36.14/35.11 c cleaning 11995 clauses out of 24005 with flag 77000/81785 42.14/41.05 c cleaning 12997 clauses out of 26011 with flag 91001/95786 48.04/46.91 c cleaning 14004 clauses out of 28013 with flag 106000/110785 53.75/52.68 c cleaning 14999 clauses out of 30009 with flag 122000/126785 60.46/59.35 c cleaning 15992 clauses out of 32010 with flag 139000/143785 67.95/66.85 c cleaning 16997 clauses out of 34018 with flag 157000/161785 75.56/74.46 c cleaning 18006 clauses out of 36022 with flag 176001/180786 83.16/82.04 c cleaning 18997 clauses out of 38017 with flag 196002/200787 91.47/90.31 c cleaning 20002 clauses out of 40018 with flag 217000/221785 100.87/99.76 c cleaning 21001 clauses out of 42018 with flag 239002/243787 111.88/110.79 c cleaning 21996 clauses out of 44015 with flag 262000/266785 121.68/120.59 c cleaning 23003 clauses out of 46020 with flag 286001/290786 131.89/130.74 c cleaning 23996 clauses out of 48016 with flag 311000/315785 142.70/141.58 c cleaning 24996 clauses out of 50020 with flag 337000/341785 153.61/152.45 c cleaning 26004 clauses out of 52024 with flag 364000/368785 165.13/163.91 c cleaning 27002 clauses out of 54020 with flag 392000/396785 176.62/175.43 c cleaning 28001 clauses out of 56018 with flag 421000/425785 188.43/187.22 c cleaning 29000 clauses out of 58019 with flag 451002/455787 199.43/198.25 c cleaning 29999 clauses out of 60017 with flag 482000/486785 211.04/209.85 c cleaning 30492 clauses out of 61019 with flag 513001/517786 223.55/222.36 c cleaning 30757 clauses out of 61526 with flag 544000/548785 236.67/235.43 c cleaning 30876 clauses out of 61770 with flag 575001/579786 248.86/247.63 c cleaning 30940 clauses out of 61895 with flag 606002/610787 260.56/259.34 c cleaning 30960 clauses out of 61953 with flag 637000/641785 275.08/273.81 c cleaning 30988 clauses out of 61993 with flag 668000/672785 286.27/285.04 c cleaning 30994 clauses out of 62006 with flag 699001/703786 299.88/298.62 c cleaning 30988 clauses out of 62011 with flag 730000/734785 316.89/315.69 c cleaning 31004 clauses out of 62023 with flag 761000/765785 331.09/329.85 c cleaning 31000 clauses out of 62021 with flag 792002/796787 342.40/341.13 c cleaning 31001 clauses out of 62019 with flag 823000/827785 353.10/351.81 c cleaning 30992 clauses out of 62018 with flag 854000/858785 364.41/363.18 c cleaning 31005 clauses out of 62026 with flag 885000/889785 375.81/374.58 c cleaning 31001 clauses out of 62022 with flag 916001/920786 387.92/386.64 c cleaning 31002 clauses out of 62020 with flag 947000/951785 400.24/398.99 c cleaning 30999 clauses out of 62018 with flag 978000/982785 414.96/413.62 c cleaning 30994 clauses out of 62019 with flag 1009000/1013785 426.05/424.76 c cleaning 31005 clauses out of 62027 with flag 1040002/1044787 437.35/436.09 c cleaning 31004 clauses out of 62021 with flag 1071001/1075786 448.86/447.54 c cleaning 31001 clauses out of 62017 with flag 1102001/1106786 461.18/459.86 c cleaning 30986 clauses out of 62015 with flag 1133000/1137785 473.67/472.37 c cleaning 31006 clauses out of 62029 with flag 1164000/1168785 485.48/484.13 c cleaning 31005 clauses out of 62024 with flag 1195001/1199786 497.88/496.50 c cleaning 30996 clauses out of 62018 with flag 1226000/1230785 509.89/508.51 c cleaning 31001 clauses out of 62022 with flag 1257000/1261785 522.10/520.75 c cleaning 31006 clauses out of 62021 with flag 1288000/1292785 534.40/533.03 c cleaning 31000 clauses out of 62015 with flag 1319000/1323785 546.71/545.35 c cleaning 30995 clauses out of 62015 with flag 1350000/1354785 559.41/558.01 c cleaning 31003 clauses out of 62020 with flag 1381000/1385785 572.62/571.24 c cleaning 31003 clauses out of 62020 with flag 1412003/1416788 583.03/581.68 c cleaning 30991 clauses out of 62014 with flag 1443000/1447785 595.94/594.56 c cleaning 31005 clauses out of 62025 with flag 1474002/1478787 610.55/609.12 c cleaning 30999 clauses out of 62018 with flag 1505000/1509785 622.45/621.09 c cleaning 30997 clauses out of 62020 with flag 1536001/1540786 632.65/631.30 c cleaning 31004 clauses out of 62025 with flag 1567003/1571788 642.79/641.32 c cleaning 30997 clauses out of 62018 with flag 1598000/1602785 654.08/652.61 c cleaning 31003 clauses out of 62021 with flag 1629000/1633785 667.90/666.45 c cleaning 31000 clauses out of 62018 with flag 1660000/1664785 681.01/679.56 c cleaning 30997 clauses out of 62018 with flag 1691000/1695785 695.12/693.61 c cleaning 30994 clauses out of 62022 with flag 1722001/1726786 709.53/708.07 c cleaning 31001 clauses out of 62028 with flag 1753001/1757786 720.95/719.44 c cleaning 31003 clauses out of 62027 with flag 1784001/1788786 730.34/728.88 c cleaning 31000 clauses out of 62024 with flag 1815001/1819786 740.95/739.41 c cleaning 31000 clauses out of 62023 with flag 1846000/1850785 751.66/750.12 c cleaning 31003 clauses out of 62025 with flag 1877002/1881787 761.67/760.14 c cleaning 30996 clauses out of 62021 with flag 1908001/1912786 771.87/770.40 c cleaning 31002 clauses out of 62024 with flag 1939000/1943785 782.38/780.87 c cleaning 31005 clauses out of 62023 with flag 1970001/1974786 792.89/791.36 c cleaning 31003 clauses out of 62017 with flag 2001000/2005785 805.09/803.59 c cleaning 30999 clauses out of 62015 with flag 2032001/2036786 817.81/816.22 c cleaning 30996 clauses out of 62016 with flag 2063001/2067786 830.50/828.91 c cleaning 30995 clauses out of 62019 with flag 2094000/2098785 841.61/840.07 c cleaning 31007 clauses out of 62025 with flag 2125001/2129786 851.41/849.83 c cleaning 30997 clauses out of 62017 with flag 2156000/2160785 861.92/860.31 c cleaning 31003 clauses out of 62020 with flag 2187000/2191785 879.83/878.20 c cleaning 31000 clauses out of 62018 with flag 2218001/2222786 897.93/896.41 c cleaning 31000 clauses out of 62017 with flag 2249000/2253785 915.04/913.49 c cleaning 30997 clauses out of 62018 with flag 2280001/2284786 926.54/924.98 c cleaning 31005 clauses out of 62020 with flag 2311000/2315785 937.15/935.59 c cleaning 31000 clauses out of 62015 with flag 2342000/2346785 947.95/946.39 c cleaning 31001 clauses out of 62015 with flag 2373000/2377785 959.16/957.55 c cleaning 30999 clauses out of 62015 with flag 2404001/2408786 971.97/970.33 c cleaning 31001 clauses out of 62015 with flag 2435000/2439785 989.69/988.03 c cleaning 30995 clauses out of 62014 with flag 2466000/2470785 1003.39/1001.78 c cleaning 30998 clauses out of 62020 with flag 2497001/2501786 1017.50/1015.81 c cleaning 31001 clauses out of 62021 with flag 2528000/2532785 1035.40/1033.74 c cleaning 31000 clauses out of 62021 with flag 2559001/2563786 1053.80/1052.10 c cleaning 30993 clauses out of 62020 with flag 2590000/2594785 1070.92/1069.28 c cleaning 30994 clauses out of 62027 with flag 2621000/2625785 1087.32/1085.70 c cleaning 31010 clauses out of 62033 with flag 2652000/2656785 1098.62/1096.98 c cleaning 31006 clauses out of 62024 with flag 2683001/2687786 1109.93/1108.28 c cleaning 30995 clauses out of 62018 with flag 2714001/2718786 1121.55/1119.88 c cleaning 31004 clauses out of 62023 with flag 2745001/2749786 1132.24/1130.53 c cleaning 31002 clauses out of 62020 with flag 2776002/2780787 1143.94/1142.23 c cleaning 31000 clauses out of 62016 with flag 2807000/2811785 1155.56/1153.89 c cleaning 30997 clauses out of 62016 with flag 2838000/2842785 1166.95/1165.20 c cleaning 31004 clauses out of 62019 with flag 2869000/2873785 1178.35/1176.63 c cleaning 30992 clauses out of 62015 with flag 2900000/2904785 1189.36/1187.67 c cleaning 31006 clauses out of 62023 with flag 2931000/2935785 1200.78/1199.03 c cleaning 31001 clauses out of 62018 with flag 2962001/2966786 1211.87/1210.17 c cleaning 31000 clauses out of 62016 with flag 2993000/2997785 1225.37/1223.70 c cleaning 31003 clauses out of 62016 with flag 3024000/3028785 1238.09/1236.41 c cleaning 30996 clauses out of 62014 with flag 3055001/3059786 1250.78/1249.02 c cleaning 31004 clauses out of 62017 with flag 3086000/3090785 1262.40/1260.65 c cleaning 30995 clauses out of 62014 with flag 3117001/3121786 1277.49/1275.72 c cleaning 31001 clauses out of 62021 with flag 3148003/3152788 1293.90/1292.14 c cleaning 30996 clauses out of 62018 with flag 3179001/3183786 1306.60/1304.84 c cleaning 31004 clauses out of 62021 with flag 3210000/3214785 1319.21/1317.45 c cleaning 31001 clauses out of 62017 with flag 3241000/3245785 1331.31/1329.59 c cleaning 31004 clauses out of 62017 with flag 3272001/3276786 1347.42/1345.66 c cleaning 30994 clauses out of 62012 with flag 3303000/3307785 1365.12/1363.34 c cleaning 30993 clauses out of 62018 with flag 3334000/3338785 1383.03/1381.27 c cleaning 30992 clauses out of 62025 with flag 3365000/3369785 1403.15/1401.39 c cleaning 31003 clauses out of 62033 with flag 3396000/3400785 1419.65/1417.89 c cleaning 31011 clauses out of 62030 with flag 3427000/3431785 1431.76/1429.97 c cleaning 31005 clauses out of 62020 with flag 3458001/3462786 1443.97/1442.12 c cleaning 31003 clauses out of 62015 with flag 3489001/3493786 1455.66/1453.80 c cleaning 30996 clauses out of 62012 with flag 3520001/3524786 1467.08/1465.23 c cleaning 31000 clauses out of 62016 with flag 3551001/3555786 1478.56/1476.77 c cleaning 30998 clauses out of 62015 with flag 3582000/3586785 1490.27/1488.50 c cleaning 31001 clauses out of 62017 with flag 3613000/3617785 1502.67/1500.81 c cleaning 30996 clauses out of 62017 with flag 3644001/3648786 1516.18/1514.32 c cleaning 31002 clauses out of 62020 with flag 3675000/3679785 1529.08/1527.23 c cleaning 31000 clauses out of 62018 with flag 3706000/3710785 1543.01/1541.12 c cleaning 30997 clauses out of 62018 with flag 3737000/3741785 1556.59/1554.73 c cleaning 30987 clauses out of 62021 with flag 3768000/3772785 1569.90/1568.05 c cleaning 31003 clauses out of 62034 with flag 3799000/3803785 1584.10/1582.22 c cleaning 31000 clauses out of 62031 with flag 3830000/3834785 1597.91/1596.09 c cleaning 31008 clauses out of 62031 with flag 3861000/3865785 1611.42/1609.54 c cleaning 31000 clauses out of 62023 with flag 3892000/3896785 1624.82/1622.94 c cleaning 31002 clauses out of 62023 with flag 3923000/3927785 1638.42/1636.56 c cleaning 31000 clauses out of 62021 with flag 3954000/3958785 1651.13/1649.23 c cleaning 30998 clauses out of 62022 with flag 3985001/3989786 1662.53/1660.62 c cleaning 31002 clauses out of 62023 with flag 4016000/4020785 1674.24/1672.34 c cleaning 31005 clauses out of 62022 with flag 4047001/4051786 1686.64/1684.74 c cleaning 30998 clauses out of 62016 with flag 4078000/4082785 1698.55/1696.65 c cleaning 31001 clauses out of 62019 with flag 4109001/4113786 1709.75/1707.84 c cleaning 31004 clauses out of 62018 with flag 4140001/4144786 1721.27/1719.32 c cleaning 30997 clauses out of 62014 with flag 4171001/4175786 1731.07/1729.18 c cleaning 31000 clauses out of 62016 with flag 4202000/4206785 1741.86/1739.94 c cleaning 30990 clauses out of 62016 with flag 4233000/4237785 1752.67/1750.75 c cleaning 31006 clauses out of 62026 with flag 4264000/4268785 1763.17/1761.27 c cleaning 30996 clauses out of 62021 with flag 4295001/4299786 1773.67/1771.70 c cleaning 31006 clauses out of 62024 with flag 4326000/4330785 1783.89/1782.00 c cleaning 30997 clauses out of 62018 with flag 4357000/4361785 1794.68/1792.76 c cleaning 30998 clauses out of 62023 with flag 4388002/4392787 1800.09/1798.12 c starts : 258 1800.09/1798.12 c conflicts : 4408834 1800.09/1798.12 c decisions : 18187926 1800.09/1798.12 c propagations : 7408665203 1800.09/1798.12 c inspects : 8381034432 1800.09/1798.12 c shortcuts : 0 1800.09/1798.12 c learnt literals : 0 1800.09/1798.12 c learnt binary clauses : 0 1800.09/1798.12 c learnt ternary clauses : 1 1800.09/1798.12 c learnt constraints : 4408834 1800.09/1798.12 c ignored constraints : 0 1800.09/1798.12 c root simplifications : 0 1800.09/1798.12 c removed literals (reason simplification) : 4976654 1800.09/1798.12 c reason swapping (by a shorter reason) : 0 1800.09/1798.12 c Calls to reduceDB : 153 1800.09/1798.12 c number of reductions to clauses (during analyze) : 0 1800.09/1798.12 c number of learned constraints concerned by reduction : 0 1800.09/1798.12 c number of learning phase by resolution : 0 1800.09/1798.12 c number of learning phase by cutting planes : 0 1800.09/1798.12 c speed (assignments/second) : 4127665.3109593336 1800.09/1798.12 c non guided choices 64581 1800.09/1798.14 c learnt constraints type 1800.09/1798.14 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 47117 1800.09/1798.14 c constraints type 1800.09/1798.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5176 1800.09/1798.14 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.09/1798.14 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24883 1800.09/1798.14 s SATISFIABLE 1800.09/1798.15 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 x4045 x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 x6000 x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 x6860 x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 x7389 x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 x7702 x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 x8964 x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 x9241 x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 x9402 x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 x9824 x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 x9849 x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 x10204 -x10205 -x10206 x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 1800.09/1798.16 c objective function=28 1800.09/1798.16 c Total wall clock time (in seconds): 1798.047
OK 28
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-3458483-1307156152/watcher-3458483-1307156152 -o /tmp/evaluation-result-3458483-1307156152/solver-3458483-1307156152 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458483-1307156152.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: 1.15 1.70 1.88 2/458 19881 /proc/meminfo: memFree=28651396/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13508980 CPUtime=0 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 1527 0 1 0 0 0 0 0 21 0 2 0 827213183 13833195520 1228 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3377245 1241 906 9 0 3368401 0 [pid=19881/tid=19882] ppid=19879 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 4006 0 1 0 0 0 0 0 18 0 2 0 827213183 13850947584 4822 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.038817 s] /proc/loadavg: 1.15 1.70 1.88 2/458 19881 /proc/meminfo: memFree=28651396/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13547424 CPUtime=0.02 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 13403 0 1 0 1 1 0 0 21 0 11 0 827213183 13872562176 13101 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3386856 13101 1564 9 0 3377604 0 [pid=19881/tid=19882] ppid=19879 vsize=13547424 CPUtime=0.02 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) S 19879 19881 16141 0 -1 4202560 12280 0 1 0 1 1 0 0 22 0 11 0 827213183 13872562176 13103 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16784584 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13547424 [startup+0.100882 s] /proc/loadavg: 1.15 1.70 1.88 2/458 19881 /proc/meminfo: memFree=28651396/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13622400 CPUtime=0.1 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 15467 0 1 0 8 2 0 0 21 0 18 0 827213183 13949337600 15164 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3405600 15167 2093 9 0 3396334 0 [pid=19881/tid=19882] ppid=19879 vsize=13622400 CPUtime=0.08 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 13563 0 1 0 7 1 0 0 25 0 18 0 827213183 13949337600 15169 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 47248034390021 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622400 [startup+0.300847 s] /proc/loadavg: 1.15 1.70 1.88 2/458 19881 /proc/meminfo: memFree=28651396/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13623692 CPUtime=0.51 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 19239 0 1 0 49 2 0 0 21 0 18 0 827213183 13950660608 18395 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3405923 18396 2201 9 0 3396657 0 [pid=19881/tid=19882] ppid=19879 vsize=13623692 CPUtime=0.28 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 16085 0 1 0 27 1 0 0 18 0 18 0 827213183 13950660608 18397 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 13623692 [startup+0.700739 s] /proc/loadavg: 1.15 1.70 1.88 2/458 19881 /proc/meminfo: memFree=28651396/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13631040 CPUtime=1.48 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 36393 0 1 0 144 4 0 0 21 0 19 0 827213183 13958184960 33957 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3407760 33957 2235 9 0 3398494 0 [pid=19881/tid=19882] ppid=19879 vsize=13631040 CPUtime=0.68 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 29303 0 1 0 65 3 0 0 19 0 19 0 827213183 13958184960 33957 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 47248037482915 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13631040 [startup+1.50064 s] /proc/loadavg: 1.53 1.77 1.90 3/497 19923 /proc/meminfo: memFree=28229436/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13629304 CPUtime=2.46 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 37830 0 1 0 242 4 0 0 21 0 19 0 827213183 13956407296 34710 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3407326 34710 2238 9 0 3398060 0 [pid=19881/tid=19882] ppid=19879 vsize=13629304 CPUtime=1.48 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 30458 0 1 0 145 3 0 0 20 0 19 0 827213183 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 47248038890323 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19881/tid=19884] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19884/stat : 19884 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827213186 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19885] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19885/stat : 19885 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827213186 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19886] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19886/stat : 19886 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827213186 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19887] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19887/stat : 19887 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827213186 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19888] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19888/stat : 19888 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827213186 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19889] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19889/stat : 19889 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827213186 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19890] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19890/stat : 19890 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827213186 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19891] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19891/stat : 19891 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827213186 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19892] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19892/stat : 19892 (java) S 19879 19881 16141 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 827213187 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 0 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19893] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19893/stat : 19893 (java) S 19879 19881 16141 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827213187 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19894] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19894/stat : 19894 (java) S 19879 19881 16141 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827213187 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19895] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19895/stat : 19895 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134537649 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19896] ppid=19879 vsize=13629304 CPUtime=0.47 cores=1,3,5,7 /proc/19881/task/19896/stat : 19896 (java) S 19879 19881 16141 0 -1 4202560 2419 0 0 0 47 0 0 0 15 0 19 0 827213189 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 5 0 0 0 [pid=19881/tid=19897] ppid=19879 vsize=13629304 CPUtime=0.49 cores=1,3,5,7 /proc/19881/task/19897/stat : 19897 (java) S 19879 19881 16141 0 -1 4202560 3793 0 0 0 49 0 0 0 25 0 19 0 827213189 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19898] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19898/stat : 19898 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19899] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19899/stat : 19899 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827213189 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 1 0 0 0 [pid=19881/tid=19923] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19923/stat : 19923 (java) S 19879 19881 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827213236 13956407296 34711 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.46 Current children cumulated vsize (KiB) 13629304 [startup+3.10134 s] /proc/loadavg: 1.53 1.77 1.90 3/498 19924 /proc/meminfo: memFree=28170212/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13629304 CPUtime=4.07 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 38024 0 1 0 403 4 0 0 21 0 19 0 827213183 13956407296 34903 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3407326 34903 2238 9 0 3398060 0 [pid=19881/tid=19882] ppid=19879 vsize=13629304 CPUtime=3.08 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 30649 0 1 0 305 3 0 0 19 0 19 0 827213183 13956407296 34903 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 46912505941673 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19881/tid=19884] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19884/stat : 19884 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827213186 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19885] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19885/stat : 19885 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827213186 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19886] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19886/stat : 19886 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827213186 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19887] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19887/stat : 19887 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827213186 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19888] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19888/stat : 19888 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827213186 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19889] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19889/stat : 19889 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827213186 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19890] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19890/stat : 19890 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827213186 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19891] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19891/stat : 19891 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827213186 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19892] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19892/stat : 19892 (java) S 19879 19881 16141 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827213187 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 0 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19893] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19893/stat : 19893 (java) S 19879 19881 16141 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827213187 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19894] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19894/stat : 19894 (java) S 19879 19881 16141 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827213187 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19895] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19895/stat : 19895 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134537649 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19896] ppid=19879 vsize=13629304 CPUtime=0.48 cores=1,3,5,7 /proc/19881/task/19896/stat : 19896 (java) S 19879 19881 16141 0 -1 4202560 2420 0 0 0 48 0 0 0 15 0 19 0 827213189 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 5 0 0 0 [pid=19881/tid=19897] ppid=19879 vsize=13629304 CPUtime=0.49 cores=1,3,5,7 /proc/19881/task/19897/stat : 19897 (java) S 19879 19881 16141 0 -1 4202560 3793 0 0 0 49 0 0 0 25 0 19 0 827213189 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19898] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19898/stat : 19898 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19899] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19899/stat : 19899 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827213189 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 1 0 0 0 [pid=19881/tid=19923] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19923/stat : 19923 (java) S 19879 19881 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827213236 13956407296 34904 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.07 Current children cumulated vsize (KiB) 13629304 [startup+6.30075 s] /proc/loadavg: 1.57 1.77 1.90 3/498 19924 /proc/meminfo: memFree=28152624/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13629304 CPUtime=7.37 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 41258 0 1 0 732 5 0 0 21 0 19 0 827213183 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3407326 38008 2264 9 0 3398060 0 [pid=19881/tid=19882] ppid=19879 vsize=13629304 CPUtime=6.24 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 31100 0 1 0 621 3 0 0 25 0 19 0 827213183 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 46912505886734 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=19881/tid=19884] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19884/stat : 19884 (java) S 19879 19881 16141 0 -1 4202560 589 0 0 0 0 0 0 0 18 0 19 0 827213186 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19885] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19885/stat : 19885 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827213186 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19886] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19886/stat : 19886 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827213186 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19887] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19887/stat : 19887 (java) S 19879 19881 16141 0 -1 4202560 219 0 0 0 0 0 0 0 18 0 19 0 827213186 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19888] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19888/stat : 19888 (java) S 19879 19881 16141 0 -1 4202560 562 0 0 0 0 0 0 0 18 0 19 0 827213186 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19889] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19889/stat : 19889 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827213186 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19890] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19890/stat : 19890 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827213186 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19891] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19891/stat : 19891 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827213186 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19892] ppid=19879 vsize=13629304 CPUtime=0.02 cores=1,3,5,7 /proc/19881/task/19892/stat : 19892 (java) S 19879 19881 16141 0 -1 4202560 1378 0 0 0 2 0 0 0 15 0 19 0 827213187 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 0 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19893] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19893/stat : 19893 (java) S 19879 19881 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19894] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19894/stat : 19894 (java) S 19879 19881 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19895] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19895/stat : 19895 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134537649 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19896] ppid=19879 vsize=13629304 CPUtime=0.53 cores=1,3,5,7 /proc/19881/task/19896/stat : 19896 (java) S 19879 19881 16141 0 -1 4202560 2434 0 0 0 53 0 0 0 16 0 19 0 827213189 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 5 0 0 0 [pid=19881/tid=19897] ppid=19879 vsize=13629304 CPUtime=0.53 cores=1,3,5,7 /proc/19881/task/19897/stat : 19897 (java) S 19879 19881 16141 0 -1 4202560 3820 0 0 0 53 0 0 0 15 0 19 0 827213189 13956407296 38008 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=19881/tid=19889] ppid=19879 vsize=13629304 CPUtime=0.17 cores=1,3,5,7 /proc/19881/task/19889/stat : 19889 (java) S 19879 19881 16141 0 -1 4202560 318 0 0 0 17 0 0 0 16 0 19 0 827213186 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19890] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19890/stat : 19890 (java) S 19879 19881 16141 0 -1 4202560 405 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19891] ppid=19879 vsize=13629304 CPUtime=0.16 cores=1,3,5,7 /proc/19881/task/19891/stat : 19891 (java) S 19879 19881 16141 0 -1 4202560 396 0 0 0 16 0 0 0 15 0 19 0 827213186 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19892] ppid=19879 vsize=13629304 CPUtime=5.4 cores=1,3,5,7 /proc/19881/task/19892/stat : 19892 (java) S 19879 19881 16141 0 -1 4202560 6115 0 0 0 538 2 0 0 15 0 19 0 827213187 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 0 0 16800975 18446604467459995840 0 0 -1 1 0 0 0 [pid=19881/tid=19893] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19893/stat : 19893 (java) S 19879 19881 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19894] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19894/stat : 19894 (java) S 19879 19881 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19895] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19895/stat : 19895 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134537649 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19896] ppid=19879 vsize=13629304 CPUtime=0.59 cores=1,3,5,7 /proc/19881/task/19896/stat : 19896 (java) S 19879 19881 16141 0 -1 4202560 2446 0 0 0 59 0 0 0 15 0 19 0 827213189 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 5 0 0 0 [pid=19881/tid=19897] ppid=19879 vsize=13629304 CPUtime=0.54 cores=1,3,5,7 /proc/19881/task/19897/stat : 19897 (java) S 19879 19881 16141 0 -1 4202560 3821 0 0 0 54 0 0 0 15 0 19 0 827213189 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19898] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19898/stat : 19898 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19899] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19899/stat : 19899 (java) S 19879 19881 16141 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827213189 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19923] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19923/stat : 19923 (java) S 19879 19881 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827213236 13956407296 45099 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1724.26 Current children cumulated vsize (KiB) 13629304 [startup+1782.3 s] /proc/loadavg: 2.13 2.04 2.01 3/498 19983 /proc/meminfo: memFree=28047356/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13629304 CPUtime=1784.28 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 48758 0 1 0 178419 9 0 0 21 0 19 0 827213183 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3407326 45150 2265 9 0 3398060 0 [pid=19881/tid=19882] ppid=19879 vsize=13629304 CPUtime=1776.16 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 31252 0 1 0 177613 3 0 0 17 0 19 0 827213183 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 46912505918928 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=19881/tid=19884] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19884/stat : 19884 (java) S 19879 19881 16141 0 -1 4202560 772 0 0 0 15 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19885] ppid=19879 vsize=13629304 CPUtime=0.16 cores=1,3,5,7 /proc/19881/task/19885/stat : 19885 (java) S 19879 19881 16141 0 -1 4202560 293 0 0 0 16 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19886] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19886/stat : 19886 (java) S 19879 19881 16141 0 -1 4202560 651 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19887] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19887/stat : 19887 (java) S 19879 19881 16141 0 -1 4202560 369 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19888] ppid=19879 vsize=13629304 CPUtime=0.17 cores=1,3,5,7 /proc/19881/task/19888/stat : 19888 (java) S 19879 19881 16141 0 -1 4202560 623 0 0 0 17 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19889] ppid=19879 vsize=13629304 CPUtime=0.18 cores=1,3,5,7 /proc/19881/task/19889/stat : 19889 (java) S 19879 19881 16141 0 -1 4202560 318 0 0 0 18 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19890] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19890/stat : 19890 (java) S 19879 19881 16141 0 -1 4202560 405 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19891] ppid=19879 vsize=13629304 CPUtime=0.16 cores=1,3,5,7 /proc/19881/task/19891/stat : 19891 (java) S 19879 19881 16141 0 -1 4202560 396 0 0 0 16 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19892] ppid=19879 vsize=13629304 CPUtime=5.64 cores=1,3,5,7 /proc/19881/task/19892/stat : 19892 (java) S 19879 19881 16141 0 -1 4202560 6159 0 0 0 562 2 0 0 16 0 19 0 827213187 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 0 0 16800975 18446604467459995840 0 0 -1 1 0 0 0 [pid=19881/tid=19893] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19893/stat : 19893 (java) S 19879 19881 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19894] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19894/stat : 19894 (java) S 19879 19881 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19895] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19895/stat : 19895 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134537649 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19896] ppid=19879 vsize=13629304 CPUtime=0.59 cores=1,3,5,7 /proc/19881/task/19896/stat : 19896 (java) S 19879 19881 16141 0 -1 4202560 2446 0 0 0 59 0 0 0 15 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 5 0 0 0 [pid=19881/tid=19897] ppid=19879 vsize=13629304 CPUtime=0.54 cores=1,3,5,7 /proc/19881/task/19897/stat : 19897 (java) S 19879 19881 16141 0 -1 4202560 3821 0 0 0 54 0 0 0 15 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19898] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19898/stat : 19898 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19899] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19899/stat : 19899 (java) S 19879 19881 16141 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19923] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19923/stat : 19923 (java) S 19879 19881 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827213236 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1784.28 Current children cumulated vsize (KiB) 13629304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.1 s] /proc/loadavg: 2.10 2.04 2.01 2/478 19987 /proc/meminfo: memFree=28469844/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13629304 CPUtime=1800.09 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 48763 0 1 0 180000 9 0 0 21 0 19 0 827213183 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3407326 45150 2265 9 0 3398060 0 [pid=19881/tid=19882] ppid=19879 vsize=13629304 CPUtime=1791.93 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 31253 0 1 0 179190 3 0 0 25 0 19 0 827213183 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 46912506029582 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=19881/tid=19884] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19884/stat : 19884 (java) S 19879 19881 16141 0 -1 4202560 772 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19885] ppid=19879 vsize=13629304 CPUtime=0.16 cores=1,3,5,7 /proc/19881/task/19885/stat : 19885 (java) S 19879 19881 16141 0 -1 4202560 293 0 0 0 16 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19886] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19886/stat : 19886 (java) S 19879 19881 16141 0 -1 4202560 651 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19887] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19887/stat : 19887 (java) S 19879 19881 16141 0 -1 4202560 369 0 0 0 15 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19888] ppid=19879 vsize=13629304 CPUtime=0.17 cores=1,3,5,7 /proc/19881/task/19888/stat : 19888 (java) S 19879 19881 16141 0 -1 4202560 623 0 0 0 17 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19889] ppid=19879 vsize=13629304 CPUtime=0.18 cores=1,3,5,7 /proc/19881/task/19889/stat : 19889 (java) S 19879 19881 16141 0 -1 4202560 318 0 0 0 18 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19890] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19890/stat : 19890 (java) S 19879 19881 16141 0 -1 4202560 405 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19891] ppid=19879 vsize=13629304 CPUtime=0.16 cores=1,3,5,7 /proc/19881/task/19891/stat : 19891 (java) S 19879 19881 16141 0 -1 4202560 396 0 0 0 16 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19892] ppid=19879 vsize=13629304 CPUtime=5.68 cores=1,3,5,7 /proc/19881/task/19892/stat : 19892 (java) S 19879 19881 16141 0 -1 4202560 6161 0 0 0 566 2 0 0 15 0 19 0 827213187 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 0 0 16800975 18446604467459995840 0 0 -1 1 0 0 0 [pid=19881/tid=19893] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19893/stat : 19893 (java) S 19879 19881 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19894] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19894/stat : 19894 (java) S 19879 19881 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19895] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19895/stat : 19895 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134537649 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19896] ppid=19879 vsize=13629304 CPUtime=0.59 cores=1,3,5,7 /proc/19881/task/19896/stat : 19896 (java) S 19879 19881 16141 0 -1 4202560 2446 0 0 0 59 0 0 0 15 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 5 0 0 0 [pid=19881/tid=19897] ppid=19879 vsize=13629304 CPUtime=0.54 cores=1,3,5,7 /proc/19881/task/19897/stat : 19897 (java) S 19879 19881 16141 0 -1 4202560 3821 0 0 0 54 0 0 0 15 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19898] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19898/stat : 19898 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19899] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19899/stat : 19899 (java) S 19879 19881 16141 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19923] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19923/stat : 19923 (java) S 19879 19881 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827213236 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13629304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1798.1 s] /proc/loadavg: 2.10 2.04 2.01 2/478 19987 /proc/meminfo: memFree=28469844/32951124 swapFree=41830676/67111528 [pid=19881] ppid=19879 vsize=13629304 CPUtime=1800.09 cores=1,3,5,7 /proc/19881/stat : 19881 (java) S 19879 19881 16141 0 -1 4202496 48763 0 1 0 180000 9 0 0 21 0 19 0 827213183 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/19881/statm: 3407326 45150 2265 9 0 3398060 0 [pid=19881/tid=19882] ppid=19879 vsize=13629304 CPUtime=1791.93 cores=1,3,5,7 /proc/19881/task/19882/stat : 19882 (java) R 19879 19881 16141 0 -1 4202560 31253 0 1 0 179190 3 0 0 25 0 19 0 827213183 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 46912506029582 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=19881/tid=19884] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19884/stat : 19884 (java) S 19879 19881 16141 0 -1 4202560 772 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19885] ppid=19879 vsize=13629304 CPUtime=0.16 cores=1,3,5,7 /proc/19881/task/19885/stat : 19885 (java) S 19879 19881 16141 0 -1 4202560 293 0 0 0 16 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19886] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19886/stat : 19886 (java) S 19879 19881 16141 0 -1 4202560 651 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19887] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19887/stat : 19887 (java) S 19879 19881 16141 0 -1 4202560 369 0 0 0 15 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19888] ppid=19879 vsize=13629304 CPUtime=0.17 cores=1,3,5,7 /proc/19881/task/19888/stat : 19888 (java) S 19879 19881 16141 0 -1 4202560 623 0 0 0 17 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19889] ppid=19879 vsize=13629304 CPUtime=0.18 cores=1,3,5,7 /proc/19881/task/19889/stat : 19889 (java) S 19879 19881 16141 0 -1 4202560 318 0 0 0 18 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19890] ppid=19879 vsize=13629304 CPUtime=0.15 cores=1,3,5,7 /proc/19881/task/19890/stat : 19890 (java) S 19879 19881 16141 0 -1 4202560 405 0 0 0 15 0 0 0 15 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19891] ppid=19879 vsize=13629304 CPUtime=0.16 cores=1,3,5,7 /proc/19881/task/19891/stat : 19891 (java) S 19879 19881 16141 0 -1 4202560 396 0 0 0 16 0 0 0 16 0 19 0 827213186 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19892] ppid=19879 vsize=13629304 CPUtime=5.68 cores=1,3,5,7 /proc/19881/task/19892/stat : 19892 (java) S 19879 19881 16141 0 -1 4202560 6161 0 0 0 566 2 0 0 15 0 19 0 827213187 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 0 0 16800975 18446604467459995840 0 0 -1 1 0 0 0 [pid=19881/tid=19893] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19893/stat : 19893 (java) S 19879 19881 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19894] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19894/stat : 19894 (java) S 19879 19881 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827213187 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19895] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19895/stat : 19895 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134537649 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19896] ppid=19879 vsize=13629304 CPUtime=0.59 cores=1,3,5,7 /proc/19881/task/19896/stat : 19896 (java) S 19879 19881 16141 0 -1 4202560 2446 0 0 0 59 0 0 0 15 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 5 0 0 0 [pid=19881/tid=19897] ppid=19879 vsize=13629304 CPUtime=0.54 cores=1,3,5,7 /proc/19881/task/19897/stat : 19897 (java) S 19879 19881 16141 0 -1 4202560 3821 0 0 0 54 0 0 0 15 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 [pid=19881/tid=19898] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19898/stat : 19898 (java) S 19879 19881 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134529945 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19899] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19899/stat : 19899 (java) S 19879 19881 16141 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827213189 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 3 0 0 0 [pid=19881/tid=19923] ppid=19879 vsize=13629304 CPUtime=0 cores=1,3,5,7 /proc/19881/task/19923/stat : 19923 (java) S 19879 19881 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827213236 13956407296 45150 33554432000 1073741824 1073778376 140736227124496 18446744073709551615 228134530560 0 4 0 16800975 18446604467459995840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13629304 Child status: 143 Real time (s): 1798.17 CPU time (s): 1800.24 CPU user time (s): 1800.14 CPU system time (s): 0.104984 CPU usage (%): 100.115 Max. virtual memory (cumulated for all children) (KiB): 13631040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.14 system time used= 0.104984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48940 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= 41353 involuntary context switches= 8130 runsolver used 7.78082 second user time and 18.6962 second system time The end
Begin job on node138 at 2011-06-04 04:55:52 IDJOB=3458483 IDBENCH=24985 IDSOLVER=1952 FILE ID=node138/3458483-1307156152 RUNJOBID= node138-1307156152-19868 PBS_JOBID= 13508778 Free space on /tmp= 73668 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_area_delay.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458483-1307156152/watcher-3458483-1307156152 -o /tmp/evaluation-result-3458483-1307156152/solver-3458483-1307156152 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458483-1307156152.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 580618cb84d1b6d12452a14c6ff54025 RANDOM SEED=1502063103 node138.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.854 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.854 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 : 5332.75 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.854 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.82 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.854 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.75 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.854 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.80 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.854 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.75 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.854 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.82 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.854 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28651676 kB Buffers: 310648 kB Cached: 1078196 kB SwapCached: 44568 kB Active: 2215812 kB Inactive: 1794400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28651676 kB SwapTotal: 67111528 kB SwapFree: 41830676 kB Dirty: 1972 kB Writeback: 44 kB AnonPages: 2588052 kB Mapped: 16112 kB Slab: 128056 kB PageTables: 92564 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 130636868 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= 73664 MiB End job on node138 at 2011-06-04 05:25:52