Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 28 | 1800.22 | 1798.18 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir06_area_opers.opb |
MD5SUM | 4b72d81adefd0ef56251a04b2b714e8c |
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 | 23 |
Best CPU time to get the best result obtained on this benchmark | 6.19406 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | YES |
Number of variables | 11085 |
Total number of constraints | 23298 |
Number of constraints which are clauses | 23298 |
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 | 5533 |
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 | 5533 |
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 | 5533 |
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.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 12995394264 0.05/0.09 c Max memory 13063553024 0.05/0.09 c Total memory 13063553024 0.05/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458536-1307157435.opb 0.10/0.11 c reading problem ... 0.52/0.50 c ... done. Wall clock time 0.354s. 0.52/0.50 c #vars 11085 0.52/0.50 c #constraints 23298 0.52/0.50 c constraints type 0.52/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5560 0.52/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17735 0.73/0.60 c SATISFIABLE 0.73/0.60 c OPTIMIZING... 0.73/0.60 c Got one! Elapsed wall clock time (in seconds):0.489 0.73/0.60 o 40 1.50/0.71 c Got one! Elapsed wall clock time (in seconds):0.598 1.50/0.71 o 39 1.50/0.76 c Got one! Elapsed wall clock time (in seconds):0.646 1.50/0.76 o 38 1.70/0.83 c Got one! Elapsed wall clock time (in seconds):0.718 1.70/0.83 o 37 1.83/0.90 c Got one! Elapsed wall clock time (in seconds):0.792 1.83/0.90 o 36 1.83/0.97 c Got one! Elapsed wall clock time (in seconds):0.857 1.83/0.97 o 31 5.66/4.74 c cleaning 2638 clauses out of 5286 with flag 5000/5286 9.73/8.80 c cleaning 4322 clauses out of 8649 with flag 11001/11287 14.25/13.23 c cleaning 5659 clauses out of 11327 with flag 18001/18287 20.14/19.13 c cleaning 6823 clauses out of 13667 with flag 26000/26286 24.30/23.29 c Got one! Elapsed wall clock time (in seconds):23.178 24.30/23.29 o 30 27.49/26.49 c cleaning 9379 clauses out of 18784 with flag 5000/38226 32.59/31.51 c cleaning 7697 clauses out of 15405 with flag 11000/44226 36.30/35.28 c cleaning 7349 clauses out of 14708 with flag 18000/51226 41.99/40.99 c cleaning 7670 clauses out of 15359 with flag 26000/59226 47.99/46.95 c cleaning 8335 clauses out of 16690 with flag 35001/68227 54.11/53.06 c cleaning 9168 clauses out of 18354 with flag 45000/78226 61.31/60.22 c cleaning 10089 clauses out of 20187 with flag 56001/89227 68.61/67.55 c cleaning 11008 clauses out of 22097 with flag 68000/101226 79.02/77.93 c cleaning 12041 clauses out of 24090 with flag 81001/114227 89.72/88.61 c cleaning 13017 clauses out of 26048 with flag 95000/128226 101.62/100.59 c cleaning 14010 clauses out of 28031 with flag 110000/143226 112.82/111.76 c cleaning 15003 clauses out of 30021 with flag 126000/159226 126.33/125.26 c cleaning 16003 clauses out of 32019 with flag 143001/176227 138.94/137.89 c cleaning 17005 clauses out of 34015 with flag 161000/194226 153.06/151.99 c cleaning 17992 clauses out of 36010 with flag 180000/213226 162.05/160.96 c cleaning 19001 clauses out of 38018 with flag 200000/233226 172.36/171.23 c cleaning 19994 clauses out of 40017 with flag 221000/254226 187.77/186.68 c cleaning 21002 clauses out of 42023 with flag 243000/276226 205.17/204.01 c cleaning 22005 clauses out of 44022 with flag 266001/299227 223.78/222.70 c cleaning 22997 clauses out of 46016 with flag 290000/323226 233.79/232.69 c cleaning 23502 clauses out of 47019 with flag 314000/347226 257.19/256.08 c cleaning 23722 clauses out of 47517 with flag 338000/371226 277.43/276.25 c cleaning 23893 clauses out of 47796 with flag 362001/395227 295.11/293.92 c cleaning 23939 clauses out of 47902 with flag 386000/419226 310.82/309.65 c cleaning 23971 clauses out of 47963 with flag 410000/443226 324.03/322.84 c cleaning 23988 clauses out of 47995 with flag 434003/467229 340.53/339.37 c cleaning 23987 clauses out of 48005 with flag 458001/491227 362.44/361.29 c cleaning 23999 clauses out of 48021 with flag 482004/515230 377.35/376.10 c cleaning 24000 clauses out of 48018 with flag 506000/539226 390.05/388.87 c cleaning 24002 clauses out of 48018 with flag 530000/563226 401.78/400.59 c cleaning 23995 clauses out of 48016 with flag 554000/587226 418.36/417.10 c cleaning 24006 clauses out of 48022 with flag 578001/611227 435.47/434.29 c cleaning 23993 clauses out of 48015 with flag 602000/635226 448.87/447.69 c cleaning 24005 clauses out of 48023 with flag 626001/659227 460.28/459.08 c cleaning 23996 clauses out of 48017 with flag 650000/683226 476.98/475.70 c cleaning 24007 clauses out of 48021 with flag 674000/707226 490.80/489.61 c cleaning 24000 clauses out of 48015 with flag 698001/731227 503.10/501.84 c cleaning 23994 clauses out of 48014 with flag 722000/755226 514.60/513.38 c cleaning 24000 clauses out of 48020 with flag 746000/779226 527.31/526.03 c cleaning 23999 clauses out of 48021 with flag 770001/803227 540.61/539.32 c cleaning 24001 clauses out of 48021 with flag 794000/827226 556.12/554.88 c cleaning 24000 clauses out of 48021 with flag 818001/851227 571.13/569.82 c cleaning 23998 clauses out of 48020 with flag 842000/875226 586.83/585.55 c cleaning 23997 clauses out of 48022 with flag 866000/899226 603.45/602.16 c cleaning 24004 clauses out of 48025 with flag 890000/923226 618.85/617.59 c cleaning 24005 clauses out of 48022 with flag 914001/947227 630.46/629.11 c cleaning 24001 clauses out of 48016 with flag 938000/971226 646.26/644.96 c cleaning 24007 clauses out of 48015 with flag 962000/995226 660.47/659.17 c cleaning 23996 clauses out of 48008 with flag 986000/1019226 675.80/674.44 c cleaning 23995 clauses out of 48012 with flag 1010000/1043226 691.89/690.56 c cleaning 24001 clauses out of 48018 with flag 1034001/1067227 705.59/704.28 c cleaning 23994 clauses out of 48017 with flag 1058001/1091227 715.00/713.66 c cleaning 24001 clauses out of 48022 with flag 1082000/1115226 725.11/723.78 c cleaning 24003 clauses out of 48022 with flag 1106001/1139227 735.31/733.93 c cleaning 23999 clauses out of 48018 with flag 1130000/1163226 747.82/746.46 c cleaning 23999 clauses out of 48019 with flag 1154000/1187226 765.03/763.68 c cleaning 23999 clauses out of 48021 with flag 1178001/1211227 782.94/781.53 c cleaning 24002 clauses out of 48023 with flag 1202002/1235228 801.05/799.71 c cleaning 24000 clauses out of 48019 with flag 1226000/1259226 816.07/814.64 c cleaning 23997 clauses out of 48020 with flag 1250001/1283227 831.68/830.26 c cleaning 23997 clauses out of 48023 with flag 1274001/1307227 847.79/846.31 c cleaning 24010 clauses out of 48026 with flag 1298001/1331227 865.29/863.83 c cleaning 23991 clauses out of 48015 with flag 1322000/1355226 865.80/864.37 c Got one! Elapsed wall clock time (in seconds):864.257 865.80/864.37 o 29 867.80/866.31 c cleaning 14790 clauses out of 29590 with flag 5001/1360792 870.20/868.77 c cleaning 10391 clauses out of 20799 with flag 11000/1366791 877.31/875.81 c cleaning 8697 clauses out of 17408 with flag 18000/1373791 886.42/884.93 c cleaning 8345 clauses out of 16711 with flag 26000/1381791 893.02/891.57 c cleaning 8659 clauses out of 17366 with flag 35000/1390791 897.32/895.82 c cleaning 9346 clauses out of 18707 with flag 45000/1400791 901.63/900.16 c cleaning 10169 clauses out of 20361 with flag 56000/1411791 908.23/906.71 c cleaning 11085 clauses out of 22192 with flag 68000/1423791 917.23/915.78 c cleaning 12045 clauses out of 24109 with flag 81002/1436793 926.44/924.95 c cleaning 13020 clauses out of 26062 with flag 95000/1450791 936.14/934.68 c cleaning 14017 clauses out of 28042 with flag 110000/1465791 947.84/946.33 c cleaning 15007 clauses out of 30026 with flag 126001/1481792 961.25/959.70 c cleaning 16000 clauses out of 32018 with flag 143000/1498791 973.66/972.15 c cleaning 16990 clauses out of 34018 with flag 161000/1516791 982.77/981.28 c cleaning 18004 clauses out of 36028 with flag 180000/1535791 989.17/987.60 c cleaning 19007 clauses out of 38025 with flag 200001/1555792 996.09/994.59 c cleaning 19999 clauses out of 40018 with flag 221001/1576792 1003.48/1001.92 c cleaning 20999 clauses out of 42019 with flag 243001/1598792 1011.99/1010.41 c cleaning 22002 clauses out of 44019 with flag 266000/1621791 1028.19/1026.67 c cleaning 23003 clauses out of 46019 with flag 290002/1645793 1046.50/1044.97 c cleaning 23496 clauses out of 47014 with flag 314000/1669791 1064.00/1062.41 c cleaning 23742 clauses out of 47518 with flag 338000/1693791 1080.51/1078.92 c cleaning 23881 clauses out of 47776 with flag 362000/1717791 1098.61/1097.07 c cleaning 23940 clauses out of 47895 with flag 386000/1741791 1115.53/1113.93 c cleaning 23972 clauses out of 47956 with flag 410001/1765792 1131.13/1129.53 c cleaning 23984 clauses out of 47985 with flag 434002/1789793 1146.44/1144.86 c cleaning 23988 clauses out of 47999 with flag 458000/1813791 1163.05/1161.44 c cleaning 24001 clauses out of 48012 with flag 482001/1837792 1178.35/1176.71 c cleaning 23995 clauses out of 48010 with flag 506000/1861791 1193.08/1191.48 c cleaning 23992 clauses out of 48016 with flag 530001/1885792 1208.77/1207.17 c cleaning 24005 clauses out of 48024 with flag 554001/1909792 1224.77/1223.15 c cleaning 24002 clauses out of 48018 with flag 578000/1933791 1240.49/1238.85 c cleaning 24000 clauses out of 48016 with flag 602000/1957791 1257.10/1255.48 c cleaning 23989 clauses out of 48016 with flag 626000/1981791 1273.32/1271.67 c cleaning 24008 clauses out of 48027 with flag 650000/2005791 1290.31/1288.68 c cleaning 24008 clauses out of 48019 with flag 674000/2029791 1304.82/1303.11 c cleaning 23998 clauses out of 48011 with flag 698000/2053791 1321.52/1319.85 c cleaning 24002 clauses out of 48016 with flag 722003/2077794 1333.43/1331.74 c cleaning 24000 clauses out of 48012 with flag 746001/2101792 1346.84/1345.14 c cleaning 24000 clauses out of 48011 with flag 770000/2125791 1365.65/1363.94 c cleaning 23991 clauses out of 48012 with flag 794001/2149792 1379.36/1377.68 c cleaning 24007 clauses out of 48021 with flag 818001/2173792 1393.46/1391.71 c cleaning 23999 clauses out of 48014 with flag 842001/2197792 1408.07/1406.38 c cleaning 23992 clauses out of 48015 with flag 866001/2221792 1428.98/1427.29 c cleaning 24003 clauses out of 48023 with flag 890001/2245792 1447.71/1445.97 c cleaning 23987 clauses out of 48019 with flag 914000/2269791 1464.22/1462.43 c cleaning 24007 clauses out of 48032 with flag 938000/2293791 1480.34/1478.53 c cleaning 24002 clauses out of 48025 with flag 962000/2317791 1496.93/1495.18 c cleaning 24006 clauses out of 48023 with flag 986000/2341791 1513.84/1512.09 c cleaning 23997 clauses out of 48017 with flag 1010000/2365791 1531.15/1529.37 c cleaning 23992 clauses out of 48020 with flag 1034000/2389791 1547.05/1545.24 c cleaning 24007 clauses out of 48029 with flag 1058001/2413792 1565.08/1563.27 c cleaning 23999 clauses out of 48021 with flag 1082000/2437791 1565.36/1563.59 c Got one! Elapsed wall clock time (in seconds):1563.483 1565.36/1563.59 o 28 1567.36/1565.55 c cleaning 14704 clauses out of 29423 with flag 5004/2443192 1569.87/1568.00 c cleaning 10350 clauses out of 20716 with flag 11001/2449189 1572.79/1570.96 c cleaning 8676 clauses out of 17366 with flag 18001/2456189 1575.87/1574.03 c cleaning 8340 clauses out of 16690 with flag 26001/2464189 1579.28/1577.43 c cleaning 8664 clauses out of 17349 with flag 35000/2473188 1583.08/1581.27 c cleaning 9335 clauses out of 18685 with flag 45000/2483188 1587.78/1585.99 c cleaning 10168 clauses out of 20351 with flag 56001/2494189 1592.60/1590.74 c cleaning 11084 clauses out of 22183 with flag 68001/2506189 1598.28/1596.46 c cleaning 12041 clauses out of 24099 with flag 81001/2519189 1604.60/1602.74 c cleaning 13019 clauses out of 26058 with flag 95001/2533189 1611.39/1609.52 c cleaning 14009 clauses out of 28038 with flag 110000/2548188 1618.90/1617.06 c cleaning 15002 clauses out of 30029 with flag 126000/2564188 1625.80/1623.92 c cleaning 16008 clauses out of 32028 with flag 143001/2581189 1633.60/1631.74 c cleaning 17002 clauses out of 34021 with flag 161002/2599190 1641.90/1640.08 c cleaning 17998 clauses out of 36017 with flag 180000/2618188 1651.31/1649.40 c cleaning 18993 clauses out of 38019 with flag 200000/2638188 1661.31/1659.41 c cleaning 20002 clauses out of 40026 with flag 221000/2659188 1674.91/1673.11 c cleaning 21002 clauses out of 42026 with flag 243002/2681190 1690.43/1688.61 c cleaning 22005 clauses out of 44022 with flag 266000/2704188 1704.74/1702.85 c cleaning 22999 clauses out of 46017 with flag 290000/2728188 1718.73/1716.81 c cleaning 23503 clauses out of 47019 with flag 314001/2752189 1735.13/1733.27 c cleaning 23712 clauses out of 47515 with flag 338000/2776188 1750.96/1749.07 c cleaning 23889 clauses out of 47803 with flag 362000/2800188 1767.85/1765.96 c cleaning 23948 clauses out of 47914 with flag 386000/2824188 1782.98/1781.06 c cleaning 23974 clauses out of 47966 with flag 410000/2848188 1799.07/1797.11 c cleaning 23985 clauses out of 47992 with flag 434000/2872188 1800.08/1798.12 c starts : 240 1800.08/1798.12 c conflicts : 2873289 1800.08/1798.12 c decisions : 16786891 1800.08/1798.12 c propagations : 7782038779 1800.08/1798.12 c inspects : 8088884789 1800.08/1798.12 c shortcuts : 0 1800.08/1798.12 c learnt literals : 0 1800.08/1798.12 c learnt binary clauses : 0 1800.08/1798.12 c learnt ternary clauses : 0 1800.08/1798.12 c learnt constraints : 2873288 1800.08/1798.12 c ignored constraints : 0 1800.08/1798.12 c root simplifications : 0 1800.08/1798.12 c removed literals (reason simplification) : 6501853 1800.08/1798.12 c reason swapping (by a shorter reason) : 0 1800.08/1798.12 c Calls to reduceDB : 146 1800.08/1798.12 c number of reductions to clauses (during analyze) : 0 1800.08/1798.12 c number of learned constraints concerned by reduction : 0 1800.08/1798.12 c number of learning phase by resolution : 0 1800.08/1798.12 c number of learning phase by cutting planes : 0 1800.08/1798.12 c speed (assignments/second) : 3.3181845923923474E7 1800.08/1798.12 c non guided choices 241481 1800.08/1798.13 c learnt constraints type 1800.08/1798.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25111 1800.08/1798.13 c constraints type 1800.08/1798.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5560 1800.08/1798.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.08/1798.13 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17735 1800.08/1798.13 s SATISFIABLE 1800.08/1798.14 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 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 x10631 x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 x10946 x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 x11055 x11056 -x11057 -x11058 -x11059 -x11060 -x11061 x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 x11080 -x11081 -x11082 x11083 -x11084 x11085 1800.08/1798.16 c objective function=28 1800.08/1798.16 c Total wall clock time (in seconds): 1798.045
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-3458536-1307157435/watcher-3458536-1307157435 -o /tmp/evaluation-result-3458536-1307157435/solver-3458536-1307157435 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458536-1307157435.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.90 2.02 2.00 3/553 15456 /proc/meminfo: memFree=25046904/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13508980 CPUtime=0 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 3511 0 1 0 0 0 0 0 18 0 2 0 808159734 13833195520 3213 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3377245 3225 906 9 0 3368401 0 [pid=15456/tid=15458] ppid=15454 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 8101 0 1 0 0 0 0 0 19 0 2 0 808159735 13850947584 8917 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0631021 s] /proc/loadavg: 1.90 2.02 2.00 3/553 15456 /proc/meminfo: memFree=25046904/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13620460 CPUtime=0.05 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 14161 0 1 0 4 1 0 0 18 0 18 0 808159734 13947351040 13858 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3405115 13858 1733 9 0 3395856 0 [pid=15456/tid=15458] ppid=15454 vsize=13620460 CPUtime=0.05 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 12986 0 1 0 4 1 0 0 25 0 18 0 808159735 13947351040 13858 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 47206072019168 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13620460 [startup+0.10517 s] /proc/loadavg: 1.90 2.02 2.00 3/553 15456 /proc/meminfo: memFree=25046904/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13687428 CPUtime=0.1 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 15642 0 1 0 9 1 0 0 18 0 18 0 808159734 14015926272 15313 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3421857 15314 2092 9 0 3412591 0 [pid=15456/tid=15458] ppid=15454 vsize=13687428 CPUtime=0.09 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 13706 0 1 0 8 1 0 0 18 0 18 0 808159735 14015926272 15315 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 47206075665235 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) 13687428 [startup+0.31213 s] /proc/loadavg: 1.90 2.02 2.00 3/553 15456 /proc/meminfo: memFree=25046904/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13688244 CPUtime=0.52 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 19802 0 1 0 50 2 0 0 18 0 18 0 808159734 14016761856 18808 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3422061 18809 2201 9 0 3412795 0 [pid=15456/tid=15458] ppid=15454 vsize=13688244 CPUtime=0.29 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 16480 0 1 0 28 1 0 0 18 0 18 0 808159735 14016761856 18810 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 13688244 [startup+0.705057 s] /proc/loadavg: 1.90 2.02 2.00 3/553 15456 /proc/meminfo: memFree=25046904/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13692352 CPUtime=1.5 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 33296 0 1 0 146 4 0 0 18 0 19 0 808159734 14020968448 30513 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3423088 30513 2235 9 0 3413822 0 [pid=15456/tid=15458] ppid=15454 vsize=13692352 CPUtime=0.68 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 26398 0 1 0 65 3 0 0 19 0 19 0 808159735 14020968448 30513 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 46912505846524 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13692352 [startup+1.50087 s] /proc/loadavg: 1.90 2.02 2.00 3/572 15477 /proc/meminfo: memFree=24922700/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13692632 CPUtime=2.45 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 35325 0 1 0 240 5 0 0 18 0 19 0 808159734 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3423158 32542 2237 9 0 3413892 0 [pid=15456/tid=15458] ppid=15454 vsize=13692632 CPUtime=1.47 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 28367 0 1 0 144 3 0 0 20 0 19 0 808159735 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 46912505903620 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15456/tid=15461] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15461/stat : 15461 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 808159737 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15462] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15462/stat : 15462 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15463] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15463/stat : 15463 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15464] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15464/stat : 15464 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15465] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15465/stat : 15465 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15466] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15466/stat : 15466 (java) S 15454 15456 11903 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15467] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15467/stat : 15467 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15468] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15468/stat : 15468 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808159737 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15469] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15469/stat : 15469 (java) S 15454 15456 11903 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 808159738 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 0 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15470] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15470/stat : 15470 (java) S 15454 15456 11903 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 808159738 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15471] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15471/stat : 15471 (java) S 15454 15456 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808159738 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15472] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15472/stat : 15472 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051478961 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15473] ppid=15454 vsize=13692632 CPUtime=0.49 cores=1,3,5,7 /proc/15456/task/15473/stat : 15473 (java) S 15454 15456 11903 0 -1 4202560 2961 0 0 0 49 0 0 0 15 0 19 0 808159740 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15474] ppid=15454 vsize=13692632 CPUtime=0.46 cores=1,3,5,7 /proc/15456/task/15474/stat : 15474 (java) S 15454 15456 11903 0 -1 4202560 2836 0 0 0 46 0 0 0 15 0 19 0 808159740 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15475] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15475/stat : 15475 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15476] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15476/stat : 15476 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808159740 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15477] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15477/stat : 15477 (java) S 15454 15456 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159785 14021255168 32542 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.45 Current children cumulated vsize (KiB) 13692632 [startup+3.10058 s] /proc/loadavg: 1.90 2.02 2.00 3/572 15477 /proc/meminfo: memFree=24913124/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13692632 CPUtime=4.06 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 35538 0 1 0 401 5 0 0 18 0 19 0 808159734 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3423158 32754 2237 9 0 3413892 0 [pid=15456/tid=15458] ppid=15454 vsize=13692632 CPUtime=3.07 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 28579 0 1 0 304 3 0 0 25 0 19 0 808159735 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 47206075665235 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15456/tid=15461] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15461/stat : 15461 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 808159737 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15462] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15462/stat : 15462 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15463] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15463/stat : 15463 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15464] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15464/stat : 15464 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15465] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15465/stat : 15465 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15466] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15466/stat : 15466 (java) S 15454 15456 11903 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15467] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15467/stat : 15467 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808159737 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15468] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15468/stat : 15468 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808159737 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15469] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15469/stat : 15469 (java) S 15454 15456 11903 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 808159738 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 0 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15470] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15470/stat : 15470 (java) S 15454 15456 11903 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 808159738 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15471] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15471/stat : 15471 (java) S 15454 15456 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808159738 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15472] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15472/stat : 15472 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051478961 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15473] ppid=15454 vsize=13692632 CPUtime=0.5 cores=1,3,5,7 /proc/15456/task/15473/stat : 15473 (java) S 15454 15456 11903 0 -1 4202560 2961 0 0 0 50 0 0 0 15 0 19 0 808159740 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15474] ppid=15454 vsize=13692632 CPUtime=0.46 cores=1,3,5,7 /proc/15456/task/15474/stat : 15474 (java) S 15454 15456 11903 0 -1 4202560 2836 0 0 0 46 0 0 0 15 0 19 0 808159740 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15475] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15475/stat : 15475 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15476] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15476/stat : 15476 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808159740 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15477] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15477/stat : 15477 (java) S 15454 15456 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159785 14021255168 32754 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.06 Current children cumulated vsize (KiB) 13692632 [startup+6.30101 s] /proc/loadavg: 1.91 2.02 2.00 3/572 15477 /proc/meminfo: memFree=24897644/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13692632 CPUtime=7.3 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 38757 0 1 0 725 5 0 0 18 0 19 0 808159734 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3423158 35849 2263 9 0 3413892 0 [pid=15456/tid=15458] ppid=15454 vsize=13692632 CPUtime=6.23 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 28792 0 1 0 620 3 0 0 25 0 19 0 808159735 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 46912505903684 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15456/tid=15461] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15461/stat : 15461 (java) S 15454 15456 11903 0 -1 4202560 515 0 0 0 0 0 0 0 18 0 19 0 808159737 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 1 0 0 0 [pid=15456/tid=15462] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15462/stat : 15462 (java) S 15454 15456 11903 0 -1 4202560 412 0 0 0 0 0 0 0 18 0 19 0 808159737 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15463] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15463/stat : 15463 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 808159737 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15464] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15464/stat : 15464 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 808159737 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15465] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15465/stat : 15465 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808159737 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15466] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15466/stat : 15466 (java) S 15454 15456 11903 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 808159737 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15467] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15467/stat : 15467 (java) S 15454 15456 11903 0 -1 4202560 439 0 0 0 0 0 0 0 18 0 19 0 808159737 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 1 0 0 0 [pid=15456/tid=15468] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15468/stat : 15468 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 808159737 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15469] ppid=15454 vsize=13692632 CPUtime=0.02 cores=1,3,5,7 /proc/15456/task/15469/stat : 15469 (java) S 15454 15456 11903 0 -1 4202560 1631 0 0 0 2 0 0 0 15 0 19 0 808159738 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 0 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15470] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15470/stat : 15470 (java) S 15454 15456 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15471] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15471/stat : 15471 (java) S 15454 15456 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15472] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15472/stat : 15472 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051478961 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15473] ppid=15454 vsize=13692632 CPUtime=0.52 cores=1,3,5,7 /proc/15456/task/15473/stat : 15473 (java) S 15454 15456 11903 0 -1 4202560 2970 0 0 0 52 0 0 0 15 0 19 0 808159740 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15474] ppid=15454 vsize=13692632 CPUtime=0.47 cores=1,3,5,7 /proc/15456/task/15474/stat : 15474 (java) S 15454 15456 11903 0 -1 4202560 2842 0 0 0 47 0 0 0 15 0 19 0 808159740 14021255168 35849 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 ################ # More data... # ################ [pid=15456/tid=15466] ppid=15454 vsize=13692632 CPUtime=0.14 cores=1,3,5,7 /proc/15456/task/15466/stat : 15466 (java) S 15454 15456 11903 0 -1 4202560 729 0 0 0 14 0 0 0 16 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15467] ppid=15454 vsize=13692632 CPUtime=0.16 cores=1,3,5,7 /proc/15456/task/15467/stat : 15467 (java) S 15454 15456 11903 0 -1 4202560 3960 0 0 0 16 0 0 0 15 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15468] ppid=15454 vsize=13692632 CPUtime=0.13 cores=1,3,5,7 /proc/15456/task/15468/stat : 15468 (java) S 15454 15456 11903 0 -1 4202560 558 0 0 0 13 0 0 0 15 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15469] ppid=15454 vsize=13692632 CPUtime=4.92 cores=1,3,5,7 /proc/15456/task/15469/stat : 15469 (java) S 15454 15456 11903 0 -1 4202560 6694 0 0 0 490 2 0 0 15 0 19 0 808159738 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 0 0 16800975 18446604463176437888 0 0 -1 1 0 0 0 [pid=15456/tid=15470] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15470/stat : 15470 (java) S 15454 15456 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15471] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15471/stat : 15471 (java) S 15454 15456 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15472] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15472/stat : 15472 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051478961 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15473] ppid=15454 vsize=13692632 CPUtime=0.6 cores=1,3,5,7 /proc/15456/task/15473/stat : 15473 (java) S 15454 15456 11903 0 -1 4202560 2992 0 0 0 60 0 0 0 15 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15474] ppid=15454 vsize=13692632 CPUtime=0.49 cores=1,3,5,7 /proc/15456/task/15474/stat : 15474 (java) S 15454 15456 11903 0 -1 4202560 2846 0 0 0 49 0 0 0 15 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15475] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15475/stat : 15475 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15476] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15476/stat : 15476 (java) S 15454 15456 11903 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15477] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15477/stat : 15477 (java) S 15454 15456 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159785 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1664.21 Current children cumulated vsize (KiB) 13692632 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/572 15528 /proc/meminfo: memFree=24808700/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13692632 CPUtime=1724.23 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 56400 0 1 0 172413 10 0 0 18 0 19 0 808159734 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3423158 53152 2264 9 0 3413892 0 [pid=15456/tid=15458] ppid=15454 vsize=13692632 CPUtime=1716.76 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 28932 0 1 0 171672 4 0 0 25 0 19 0 808159735 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 46912505962331 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15456/tid=15461] ppid=15454 vsize=13692632 CPUtime=0.12 cores=1,3,5,7 /proc/15456/task/15461/stat : 15461 (java) S 15454 15456 11903 0 -1 4202560 3400 0 0 0 12 0 0 0 15 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15462] ppid=15454 vsize=13692632 CPUtime=0.16 cores=1,3,5,7 /proc/15456/task/15462/stat : 15462 (java) S 15454 15456 11903 0 -1 4202560 893 0 0 0 16 0 0 0 15 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15463] ppid=15454 vsize=13692632 CPUtime=0.15 cores=1,3,5,7 /proc/15456/task/15463/stat : 15463 (java) S 15454 15456 11903 0 -1 4202560 500 0 0 0 15 0 0 0 16 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15464] ppid=15454 vsize=13692632 CPUtime=0.16 cores=1,3,5,7 /proc/15456/task/15464/stat : 15464 (java) S 15454 15456 11903 0 -1 4202560 3226 0 0 0 16 0 0 0 15 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15465] ppid=15454 vsize=13692632 CPUtime=0.16 cores=1,3,5,7 /proc/15456/task/15465/stat : 15465 (java) S 15454 15456 11903 0 -1 4202560 418 0 0 0 16 0 0 0 15 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15466] ppid=15454 vsize=13692632 CPUtime=0.15 cores=1,3,5,7 /proc/15456/task/15466/stat : 15466 (java) S 15454 15456 11903 0 -1 4202560 729 0 0 0 15 0 0 0 15 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15467] ppid=15454 vsize=13692632 CPUtime=0.17 cores=1,3,5,7 /proc/15456/task/15467/stat : 15467 (java) S 15454 15456 11903 0 -1 4202560 3960 0 0 0 17 0 0 0 16 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15468] ppid=15454 vsize=13692632 CPUtime=0.14 cores=1,3,5,7 /proc/15456/task/15468/stat : 15468 (java) S 15454 15456 11903 0 -1 4202560 558 0 0 0 14 0 0 0 15 0 19 0 808159737 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15469] ppid=15454 vsize=13692632 CPUtime=5.08 cores=1,3,5,7 /proc/15456/task/15469/stat : 15469 (java) S 15454 15456 11903 0 -1 4202560 6696 0 0 0 506 2 0 0 15 0 19 0 808159738 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 0 0 16800975 18446604463176437888 0 0 -1 1 0 0 0 [pid=15456/tid=15470] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15470/stat : 15470 (java) S 15454 15456 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15471] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15471/stat : 15471 (java) S 15454 15456 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15472] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15472/stat : 15472 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051478961 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15473] ppid=15454 vsize=13692632 CPUtime=0.6 cores=1,3,5,7 /proc/15456/task/15473/stat : 15473 (java) S 15454 15456 11903 0 -1 4202560 2992 0 0 0 60 0 0 0 15 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15474] ppid=15454 vsize=13692632 CPUtime=0.49 cores=1,3,5,7 /proc/15456/task/15474/stat : 15474 (java) S 15454 15456 11903 0 -1 4202560 2846 0 0 0 49 0 0 0 15 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15475] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15475/stat : 15475 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15476] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15476/stat : 15476 (java) S 15454 15456 11903 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 808159740 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15477] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15477/stat : 15477 (java) S 15454 15456 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159785 14021255168 53152 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1724.23 Current children cumulated vsize (KiB) 13692632 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/572 15530 /proc/meminfo: memFree=24807696/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13692632 CPUtime=1784.27 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 56423 0 1 0 178416 11 0 0 18 0 19 0 808159734 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3423158 53165 2264 9 0 3413892 0 [pid=15456/tid=15458] ppid=15454 vsize=13692632 CPUtime=1776.59 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 28936 0 1 0 177655 4 0 0 25 0 19 0 808159735 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 46912505821807 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15456/tid=15461] ppid=15454 vsize=13692632 CPUtime=0.13 cores=1,3,5,7 /proc/15456/task/15461/stat : 15461 (java) S 15454 15456 11903 0 -1 4202560 3406 0 0 0 13 0 0 0 15 0 19 0 808159737 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15462] ppid=15454 vsize=13692632 CPUtime=0.16 cores=1,3,5,7 /proc/15456/task/15462/stat : 15462 (java) S 15454 15456 11903 0 -1 4202560 893 0 0 0 16 0 0 0 15 0 19 0 808159737 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15463] ppid=15454 vsize=13692632 CPUtime=0.15 cores=1,3,5,7 /proc/15456/task/15463/stat : 15463 (java) S 15454 15456 11903 0 -1 4202560 500 0 0 0 15 0 0 0 15 0 19 0 808159737 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15464] ppid=15454 vsize=13692632 CPUtime=0.17 cores=1,3,5,7 /proc/15456/task/15464/stat : 15464 (java) S 15454 15456 11903 0 -1 4202560 3227 0 0 0 17 0 0 0 15 0 19 0 808159737 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15465] ppid=15454 vsize=13692632 CPUtime=0.16 cores=1,3,5,7 /proc/15456/task/15465/stat : 15465 (java) S 15454 15456 11903 0 -1 4202560 424 0 0 0 16 0 0 0 15 0 19 0 808159737 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15466] ppid=15454 vsize=13692632 CPUtime=0.15 cores=1,3,5,7 /proc/15456/task/15466/stat : 15466 (java) S 15454 15456 11903 0 -1 4202560 729 0 0 0 15 0 0 0 15 0 19 0 808159737 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15467] ppid=15454 vsize=13692632 CPUtime=0.17 cores=1,3,5,7 /proc/15456/task/15467/stat : 15467 (java) S 15454 15456 11903 0 -1 4202560 3960 0 0 0 17 0 0 0 15 0 19 0 808159737 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15468] ppid=15454 vsize=13692632 CPUtime=0.14 cores=1,3,5,7 /proc/15456/task/15468/stat : 15468 (java) S 15454 15456 11903 0 -1 4202560 558 0 0 0 14 0 0 0 16 0 19 0 808159737 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15469] ppid=15454 vsize=13692632 CPUtime=5.25 cores=1,3,5,7 /proc/15456/task/15469/stat : 15469 (java) S 15454 15456 11903 0 -1 4202560 6700 0 0 0 522 3 0 0 15 0 19 0 808159738 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 0 0 16800975 18446604463176437888 0 0 -1 1 0 0 0 [pid=15456/tid=15470] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15470/stat : 15470 (java) S 15454 15456 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15471] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15471/stat : 15471 (java) S 15454 15456 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15472] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15472/stat : 15472 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051478961 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15473] ppid=15454 vsize=13692632 CPUtime=0.6 cores=1,3,5,7 /proc/15456/task/15473/stat : 15473 (java) S 15454 15456 11903 0 -1 4202560 2992 0 0 0 60 0 0 0 15 0 19 0 808159740 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15474] ppid=15454 vsize=13692632 CPUtime=0.49 cores=1,3,5,7 /proc/15456/task/15474/stat : 15474 (java) S 15454 15456 11903 0 -1 4202560 2846 0 0 0 49 0 0 0 15 0 19 0 808159740 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15475] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15475/stat : 15475 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15476] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15476/stat : 15476 (java) S 15454 15456 11903 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808159740 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15477] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15477/stat : 15477 (java) S 15454 15456 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159785 14021255168 53165 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1784.27 Current children cumulated vsize (KiB) 13692632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.1 s] /proc/loadavg: 2.05 2.04 2.00 2/552 15533 /proc/meminfo: memFree=24927608/32951124 swapFree=46970528/67111528 [pid=15456] ppid=15454 vsize=13692632 CPUtime=1800.08 cores=1,3,5,7 /proc/15456/stat : 15456 (java) S 15454 15456 11903 0 -1 4202496 56433 0 1 0 179997 11 0 0 18 0 19 0 808159734 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/15456/statm: 3423158 53170 2264 9 0 3413892 0 [pid=15456/tid=15458] ppid=15454 vsize=13692632 CPUtime=1792.37 cores=1,3,5,7 /proc/15456/task/15458/stat : 15458 (java) R 15454 15456 11903 0 -1 4202560 28937 0 1 0 179233 4 0 0 25 0 19 0 808159735 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 46912505923023 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15456/tid=15461] ppid=15454 vsize=13692632 CPUtime=0.13 cores=1,3,5,7 /proc/15456/task/15461/stat : 15461 (java) S 15454 15456 11903 0 -1 4202560 3406 0 0 0 13 0 0 0 16 0 19 0 808159737 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15462] ppid=15454 vsize=13692632 CPUtime=0.16 cores=1,3,5,7 /proc/15456/task/15462/stat : 15462 (java) S 15454 15456 11903 0 -1 4202560 893 0 0 0 16 0 0 0 15 0 19 0 808159737 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15463] ppid=15454 vsize=13692632 CPUtime=0.15 cores=1,3,5,7 /proc/15456/task/15463/stat : 15463 (java) S 15454 15456 11903 0 -1 4202560 500 0 0 0 15 0 0 0 15 0 19 0 808159737 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15464] ppid=15454 vsize=13692632 CPUtime=0.17 cores=1,3,5,7 /proc/15456/task/15464/stat : 15464 (java) S 15454 15456 11903 0 -1 4202560 3228 0 0 0 17 0 0 0 15 0 19 0 808159737 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15465] ppid=15454 vsize=13692632 CPUtime=0.16 cores=1,3,5,7 /proc/15456/task/15465/stat : 15465 (java) S 15454 15456 11903 0 -1 4202560 424 0 0 0 16 0 0 0 15 0 19 0 808159737 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15466] ppid=15454 vsize=13692632 CPUtime=0.15 cores=1,3,5,7 /proc/15456/task/15466/stat : 15466 (java) S 15454 15456 11903 0 -1 4202560 729 0 0 0 15 0 0 0 15 0 19 0 808159737 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15467] ppid=15454 vsize=13692632 CPUtime=0.17 cores=1,3,5,7 /proc/15456/task/15467/stat : 15467 (java) S 15454 15456 11903 0 -1 4202560 3960 0 0 0 17 0 0 0 15 0 19 0 808159737 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15468] ppid=15454 vsize=13692632 CPUtime=0.14 cores=1,3,5,7 /proc/15456/task/15468/stat : 15468 (java) S 15454 15456 11903 0 -1 4202560 558 0 0 0 14 0 0 0 15 0 19 0 808159737 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15469] ppid=15454 vsize=13692632 CPUtime=5.29 cores=1,3,5,7 /proc/15456/task/15469/stat : 15469 (java) S 15454 15456 11903 0 -1 4202560 6706 0 0 0 526 3 0 0 16 0 19 0 808159738 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 0 0 16800975 18446604463176437888 0 0 -1 1 0 0 0 [pid=15456/tid=15470] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15470/stat : 15470 (java) S 15454 15456 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15471] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15471/stat : 15471 (java) S 15454 15456 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808159738 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15472] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15472/stat : 15472 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051478961 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15473] ppid=15454 vsize=13692632 CPUtime=0.6 cores=1,3,5,7 /proc/15456/task/15473/stat : 15473 (java) S 15454 15456 11903 0 -1 4202560 2992 0 0 0 60 0 0 0 15 0 19 0 808159740 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 [pid=15456/tid=15474] ppid=15454 vsize=13692632 CPUtime=0.49 cores=1,3,5,7 /proc/15456/task/15474/stat : 15474 (java) S 15454 15456 11903 0 -1 4202560 2846 0 0 0 49 0 0 0 15 0 19 0 808159740 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15475] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15475/stat : 15475 (java) S 15454 15456 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159740 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471257 0 4 0 16800975 18446604463176437888 0 0 -1 7 0 0 0 [pid=15456/tid=15476] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15476/stat : 15476 (java) S 15454 15456 11903 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 808159740 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 5 0 0 0 [pid=15456/tid=15477] ppid=15454 vsize=13692632 CPUtime=0 cores=1,3,5,7 /proc/15456/task/15477/stat : 15477 (java) S 15454 15456 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159785 14021255168 53170 33554432000 1073741824 1073778376 140735172485120 18446744073709551615 212051471872 0 4 0 16800975 18446604463176437888 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 13692632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1798.18 CPU time (s): 1800.22 CPU user time (s): 1800.1 CPU system time (s): 0.120981 CPU usage (%): 100.113 Max. virtual memory (cumulated for all children) (KiB): 13693256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.1 system time used= 0.120981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56625 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= 40994 involuntary context switches= 6998 runsolver used 9.36358 second user time and 22.1356 second system time The end
Begin job on node146 at 2011-06-04 05:17:15 IDJOB=3458536 IDBENCH=25038 IDSOLVER=1952 FILE ID=node146/3458536-1307157435 RUNJOBID= node146-1307155631-15166 PBS_JOBID= 13508770 Free space on /tmp= 73784 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458536-1307157435/watcher-3458536-1307157435 -o /tmp/evaluation-result-3458536-1307157435/solver-3458536-1307157435 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458536-1307157435.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b72d81adefd0ef56251a04b2b714e8c RANDOM SEED=213298575 node146.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.830 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.66 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.830 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.86 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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: 25047060 kB Buffers: 146592 kB Cached: 286468 kB SwapCached: 60320 kB Active: 319816 kB Inactive: 7341352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25047060 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 2008 kB Writeback: 56 kB AnonPages: 7178984 kB Mapped: 24192 kB Slab: 75580 kB PageTables: 97848 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 174117584 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= 73784 MiB End job on node146 at 2011-06-04 05:47:15