Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 22 | 1800.7 | 925.362 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
| MD5SUM | af0ded53094abde95c37378ccd6c7afa |
| 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 | 19 |
| Best CPU time to get the best result obtained on this benchmark | 618.033 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 8901 |
| Total number of constraints | 32298 |
| Number of constraints which are clauses | 32280 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 790 |
| Number of terms in the objective function | 790 |
| 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 | 790 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 820 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.11 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 9996466904 0.07/0.11 c Max memory 10048897024 0.07/0.11 c Total memory 10048897024 0.07/0.11 c Number of processors 8 0.07/0.14 c Pseudo Boolean Optimization 0.07/0.14 c ManyCore solver with 2 solvers running in parallel 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.14 c Expensive reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.14 c --- Begin Solver configuration --- 0.07/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.07/0.14 c Learn all clauses as in MiniSAT 0.07/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.14 c No reason simplification 0.07/0.14 c Armin Biere (Picosat) restarts strategy 0.07/0.14 c Glucose learned constraints deletion strategy 0.07/0.14 c timeout=2147483s 0.07/0.14 c DB Simplification allowed=false 0.07/0.14 c --- End Solver configuration --- 0.07/0.14 c solving HOME/instance-3736048-1338714833.opb 0.07/0.14 c reading problem ... 1.30/0.64 c ... done. Wall clock time 0.507s. 1.30/0.64 c #vars 8901 1.30/0.64 c #constraints 32298 1.30/0.64 c constraints type 1.30/0.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099 1.30/0.64 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.30/0.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193 1.30/0.64 c constraints type 1.30/0.64 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 1.30/0.64 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 1.30/0.64 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.52/0.72 c And the winner is Resolution 1.77/1.16 c SATISFIABLE 1.77/1.16 c OPTIMIZING... 1.77/1.16 c Got one! Elapsed wall clock time (in seconds):1.02 1.77/1.16 o 27 1.77/1.19 c And the winner is Resolution 1.93/1.67 c Got one! Elapsed wall clock time (in seconds):1.53 1.93/1.67 o 26 2.05/1.78 c And the winner is Resolution 2.47/2.18 c Got one! Elapsed wall clock time (in seconds):2.042 2.47/2.18 o 25 2.56/2.28 c And the winner is Resolution 3.33/2.68 c Got one! Elapsed wall clock time (in seconds):2.548 3.33/2.68 o 24 5.76/3.85 c cleaning 2778 clauses out of 5561 with flag 5000/5561 8.52/5.16 c cleaning 4383 clauses out of 8783 with flag 11000/11561 11.30/6.51 c cleaning 5689 clauses out of 11401 with flag 18001/18562 14.85/8.30 c cleaning 6847 clauses out of 13712 with flag 26001/26562 18.84/10.39 c cleaning 7923 clauses out of 15864 with flag 35000/35561 23.27/12.56 c cleaning 8946 clauses out of 17942 with flag 45001/45562 28.18/14.87 c cleaning 9975 clauses out of 19995 with flag 56000/56561 33.56/17.51 c cleaning 11001 clauses out of 22022 with flag 68002/68563 39.30/20.41 c cleaning 11984 clauses out of 24021 with flag 81002/81563 44.85/23.22 c cleaning 12994 clauses out of 26036 with flag 95001/95562 51.99/26.81 c cleaning 14000 clauses out of 28041 with flag 110000/110561 59.99/30.87 c cleaning 15006 clauses out of 30042 with flag 126001/126562 68.69/35.28 c cleaning 15994 clauses out of 32036 with flag 143001/143562 76.81/39.30 c cleaning 17003 clauses out of 34042 with flag 161001/161562 85.74/43.83 c cleaning 17993 clauses out of 36042 with flag 180004/180565 94.07/48.02 c cleaning 18991 clauses out of 38045 with flag 200000/200561 104.59/53.35 c cleaning 20008 clauses out of 40054 with flag 221000/221561 115.33/58.76 c cleaning 20991 clauses out of 42047 with flag 243001/243562 125.85/64.03 c cleaning 22010 clauses out of 44055 with flag 266000/266561 136.79/69.53 c cleaning 23000 clauses out of 46045 with flag 290000/290561 148.68/75.57 c cleaning 23992 clauses out of 48046 with flag 315001/315562 159.57/81.06 c cleaning 25006 clauses out of 50056 with flag 341003/341564 173.13/87.90 c cleaning 26004 clauses out of 52052 with flag 368005/368566 190.08/96.34 c cleaning 26992 clauses out of 54043 with flag 396000/396561 202.46/102.67 c cleaning 27999 clauses out of 56051 with flag 425000/425561 215.32/109.19 c cleaning 28993 clauses out of 58055 with flag 455003/455564 231.22/117.19 c cleaning 30002 clauses out of 60061 with flag 486002/486563 248.95/126.09 c cleaning 31011 clauses out of 62058 with flag 518001/518562 262.99/133.11 c cleaning 32008 clauses out of 64046 with flag 551000/551561 277.05/140.23 c cleaning 32505 clauses out of 65038 with flag 584000/584561 291.90/147.71 c cleaning 32725 clauses out of 65534 with flag 617001/617562 306.11/154.90 c cleaning 32871 clauses out of 65809 with flag 650001/650562 319.86/161.96 c cleaning 32943 clauses out of 65937 with flag 683000/683561 337.51/170.83 c cleaning 32969 clauses out of 65995 with flag 716001/716562 350.90/177.65 c cleaning 32985 clauses out of 66025 with flag 749000/749561 367.34/185.94 c cleaning 32995 clauses out of 66041 with flag 782001/782562 382.00/193.47 c And the winner is CuttingPlanes 382.22/193.94 c Got one! Elapsed wall clock time (in seconds):193.804 382.22/193.94 o 23 384.94/195.30 c cleaning 32541 clauses out of 65199 with flag 5000/814715 388.53/197.20 c cleaning 19242 clauses out of 38658 with flag 11000/820715 392.09/199.18 c cleaning 13151 clauses out of 26417 with flag 18001/827716 396.23/201.31 c cleaning 10614 clauses out of 21266 with flag 26001/835716 400.42/203.66 c cleaning 9804 clauses out of 19652 with flag 35001/844716 404.97/206.05 c cleaning 9908 clauses out of 19848 with flag 45001/854716 410.12/208.74 c cleaning 10450 clauses out of 20942 with flag 56003/865718 415.27/211.46 c cleaning 11227 clauses out of 22489 with flag 68000/877715 421.67/214.84 c cleaning 12113 clauses out of 24262 with flag 81000/890715 428.21/218.20 c cleaning 13058 clauses out of 26149 with flag 95000/904715 435.98/222.22 c cleaning 14034 clauses out of 28092 with flag 110001/919716 444.11/226.46 c cleaning 14994 clauses out of 30057 with flag 126000/935715 453.12/231.12 c cleaning 16002 clauses out of 32064 with flag 143001/952716 460.87/235.19 c cleaning 17007 clauses out of 34062 with flag 161001/970716 469.00/239.31 c cleaning 17993 clauses out of 36054 with flag 180000/989715 478.13/244.05 c cleaning 19005 clauses out of 38061 with flag 200000/1009715 488.90/249.67 c cleaning 20009 clauses out of 40058 with flag 221002/1030717 499.85/255.25 c cleaning 20994 clauses out of 42048 with flag 243001/1052716 510.59/260.75 c cleaning 22010 clauses out of 44053 with flag 266000/1075715 521.35/266.26 c cleaning 22993 clauses out of 46043 with flag 290000/1099715 533.91/272.76 c cleaning 23993 clauses out of 48053 with flag 315003/1124718 550.86/281.35 c cleaning 25016 clauses out of 50057 with flag 341000/1150715 563.98/288.10 c cleaning 26002 clauses out of 52041 with flag 368000/1177715 576.68/294.51 c cleaning 27003 clauses out of 54039 with flag 396000/1205715 591.00/301.91 c cleaning 27977 clauses out of 56037 with flag 425001/1234716 606.95/310.06 c cleaning 29003 clauses out of 58059 with flag 455000/1264715 620.65/317.04 c cleaning 30007 clauses out of 60056 with flag 486000/1295715 637.62/325.66 c cleaning 30999 clauses out of 62053 with flag 518004/1327719 656.48/335.37 c cleaning 32003 clauses out of 64054 with flag 551004/1360719 676.59/345.51 c cleaning 32461 clauses out of 65048 with flag 584001/1393716 691.87/353.30 c cleaning 32746 clauses out of 65586 with flag 617000/1426715 708.13/361.61 c cleaning 32874 clauses out of 65841 with flag 650001/1459716 723.17/369.49 c cleaning 32960 clauses out of 65966 with flag 683000/1492715 740.64/378.33 c And the winner is CuttingPlanes 740.76/378.42 c Got one! Elapsed wall clock time (in seconds):378.286 740.76/378.42 o 22 743.71/379.94 c cleaning 32553 clauses out of 65180 with flag 5002/1524889 747.15/381.88 c cleaning 19258 clauses out of 38629 with flag 11004/1530891 750.58/383.78 c cleaning 13142 clauses out of 26368 with flag 18001/1537888 755.18/386.35 c cleaning 10575 clauses out of 21230 with flag 26005/1545892 759.24/388.51 c cleaning 9789 clauses out of 19652 with flag 35002/1554889 763.48/390.88 c cleaning 9914 clauses out of 19862 with flag 45001/1564888 769.11/393.81 c cleaning 10449 clauses out of 20947 with flag 56000/1575887 775.69/397.46 c cleaning 11234 clauses out of 22499 with flag 68001/1587888 781.94/400.74 c cleaning 12108 clauses out of 24264 with flag 81000/1600887 789.17/404.50 c cleaning 13050 clauses out of 26156 with flag 95000/1614887 796.59/408.43 c cleaning 14030 clauses out of 28107 with flag 110001/1629888 804.38/412.68 c cleaning 15020 clauses out of 30079 with flag 126003/1645890 812.62/416.96 c cleaning 15997 clauses out of 32058 with flag 143002/1662889 823.22/422.50 c cleaning 17007 clauses out of 34060 with flag 161001/1680888 833.65/427.84 c cleaning 17996 clauses out of 36055 with flag 180003/1699890 844.60/433.65 c cleaning 19009 clauses out of 38056 with flag 200000/1719887 856.22/439.61 c cleaning 19999 clauses out of 40047 with flag 221000/1740887 867.04/445.24 c cleaning 21004 clauses out of 42048 with flag 243000/1762887 877.86/450.83 c cleaning 21985 clauses out of 44045 with flag 266001/1785888 892.81/458.66 c cleaning 23000 clauses out of 46060 with flag 290001/1809888 904.98/464.99 c cleaning 23996 clauses out of 48060 with flag 315001/1834888 924.56/474.96 c cleaning 25019 clauses out of 50069 with flag 341006/1860893 943.16/484.48 c cleaning 25990 clauses out of 52045 with flag 368001/1887888 961.49/494.00 c cleaning 26991 clauses out of 54057 with flag 396003/1915890 976.45/501.68 c cleaning 28018 clauses out of 56067 with flag 425004/1944891 991.40/509.39 c cleaning 29009 clauses out of 58045 with flag 455000/1974887 1008.95/518.35 c cleaning 29962 clauses out of 60037 with flag 486001/2005888 1027.91/528.12 c cleaning 30995 clauses out of 62075 with flag 518001/2037888 1046.33/537.50 c cleaning 32011 clauses out of 64079 with flag 551000/2070887 1068.12/548.62 c cleaning 32518 clauses out of 65070 with flag 584002/2103889 1086.98/558.20 c cleaning 32724 clauses out of 65551 with flag 617001/2136888 1105.81/568.02 c cleaning 32876 clauses out of 65827 with flag 650001/2169888 1124.21/577.43 c cleaning 32942 clauses out of 65951 with flag 683001/2202888 1148.40/589.77 c cleaning 32955 clauses out of 66008 with flag 716000/2235887 1165.98/598.70 c cleaning 33011 clauses out of 66054 with flag 749001/2268888 1186.01/609.18 c cleaning 32995 clauses out of 66043 with flag 782001/2301888 1209.38/621.09 c cleaning 33003 clauses out of 66047 with flag 815000/2334887 1236.73/634.94 c cleaning 32998 clauses out of 66044 with flag 848000/2367887 1266.51/650.06 c cleaning 33012 clauses out of 66054 with flag 881008/2400895 1286.91/660.60 c cleaning 32968 clauses out of 66035 with flag 914001/2433888 1305.48/670.10 c cleaning 32995 clauses out of 66066 with flag 947000/2466887 1325.81/680.55 c cleaning 33004 clauses out of 66072 with flag 980001/2499888 1344.16/689.90 c cleaning 33000 clauses out of 66068 with flag 1013001/2532888 1368.32/702.43 c cleaning 33006 clauses out of 66067 with flag 1046000/2565887 1390.86/713.92 c cleaning 33017 clauses out of 66063 with flag 1079002/2598889 1407.20/722.32 c cleaning 33006 clauses out of 66044 with flag 1112000/2631887 1424.29/731.13 c cleaning 33004 clauses out of 66038 with flag 1145000/2664887 1440.47/739.69 c cleaning 32987 clauses out of 66035 with flag 1178001/2697888 1462.17/750.72 c cleaning 33003 clauses out of 66048 with flag 1211001/2730888 1486.72/763.21 c cleaning 32996 clauses out of 66044 with flag 1244000/2763887 1510.25/775.21 c cleaning 33008 clauses out of 66048 with flag 1277000/2796887 1527.55/784.37 c cleaning 33003 clauses out of 66042 with flag 1310002/2829889 1544.47/793.10 c cleaning 33011 clauses out of 66037 with flag 1343000/2862887 1562.96/802.52 c cleaning 32986 clauses out of 66026 with flag 1376000/2895887 1582.42/812.55 c cleaning 32995 clauses out of 66040 with flag 1409000/2928887 1600.67/822.16 c cleaning 32996 clauses out of 66045 with flag 1442000/2961887 1616.11/830.19 c cleaning 32997 clauses out of 66051 with flag 1475002/2994889 1630.92/837.87 c cleaning 32981 clauses out of 66053 with flag 1508001/3027888 1645.12/845.24 c cleaning 33002 clauses out of 66072 with flag 1541001/3060888 1665.96/856.17 c cleaning 33003 clauses out of 66070 with flag 1574001/3093888 1688.40/867.64 c cleaning 33006 clauses out of 66066 with flag 1607000/3126887 1707.08/877.23 c cleaning 33001 clauses out of 66060 with flag 1640000/3159887 1727.36/887.64 c cleaning 32995 clauses out of 66059 with flag 1673000/3192887 1745.99/897.48 c cleaning 33000 clauses out of 66065 with flag 1706001/3225888 1765.26/907.40 c cleaning 32985 clauses out of 66067 with flag 1739003/3258890 1783.93/916.92 c cleaning 33001 clauses out of 66079 with flag 1772000/3291887 1800.13/925.31 c starts : 27 1800.13/925.31 c conflicts : 5256 1800.13/925.31 c decisions : 72894 1800.13/925.31 c propagations : 919205 1800.13/925.31 c inspects : 143658942 1800.13/925.31 c shortcuts : 0 1800.13/925.31 c learnt literals : 0 1800.13/925.31 c learnt binary clauses : 0 1800.13/925.31 c learnt ternary clauses : 0 1800.13/925.31 c learnt constraints : 5252 1800.13/925.31 c ignored constraints : 0 1800.13/925.31 c root simplifications : 0 1800.13/925.31 c removed literals (reason simplification) : 0 1800.13/925.31 c reason swapping (by a shorter reason) : 0 1800.13/925.31 c Calls to reduceDB : 0 1800.13/925.31 c number of reductions to clauses (during analyze) : 0 1800.13/925.31 c number of learned constraints concerned by reduction : 0 1800.13/925.31 c number of learning phase by resolution : 0 1800.13/925.31 c number of learning phase by cutting planes : 0 1800.13/925.31 c speed (assignments/second) : 1680.8012653482908 1800.13/925.31 c non guided choices 0 1800.13/925.31 c learnt constraints type 1800.13/925.31 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 57 1800.13/925.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 17 1800.13/925.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5178 1800.13/925.31 c constraints type 1800.13/925.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099 1800.13/925.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.13/925.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193 1800.13/925.31 c constraints type 1800.13/925.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 1800.13/925.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 1800.13/925.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.13/925.31 s SATISFIABLE 1800.13/925.33 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 1800.13/925.34 c objective function=22 1800.13/925.34 c Total wall clock time (in seconds): 925.202
OK 22
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736048-1338714833/watcher-3736048-1338714833 -o /tmp/evaluation-result-3736048-1338714833/solver-3736048-1338714833 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736048-1338714833.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: 3.93 3.91 3.56 4/197 1681 /proc/meminfo: memFree=29330344/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/1681/stat : 1681 (java) D 1679 1681 1279 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 337610301 9515008 182 33554432000 1073741824 1073778376 140735489355328 140735489346360 233411788469 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/1681/statm: 2323 182 140 9 0 71 0 [startup+0.0389581 s] /proc/loadavg: 3.93 3.91 3.56 4/197 1681 /proc/meminfo: memFree=29330344/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11042732 CPUtime=0.02 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 2859 0 1 0 1 1 0 0 20 0 10 0 337610301 11307757568 10205 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2760683 10209 983 9 0 2751792 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11042732 [startup+0.100278 s] /proc/loadavg: 3.93 3.91 3.56 4/197 1681 /proc/meminfo: memFree=29330344/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11586392 CPUtime=0.07 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 3961 0 1 0 6 1 0 0 20 0 18 0 337610301 11864465408 12835 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2896598 12835 1778 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300259 s] /proc/loadavg: 3.93 3.91 3.56 4/197 1681 /proc/meminfo: memFree=29330344/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11586392 CPUtime=0.46 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 5903 0 1 0 44 2 0 0 20 0 18 0 337610301 11864465408 15822 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2896598 15822 2222 9 0 2887285 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 11586392 [startup+0.700213 s] /proc/loadavg: 3.93 3.91 3.56 4/197 1681 /proc/meminfo: memFree=29330344/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11852648 CPUtime=1.52 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 14708 0 1 0 147 5 0 0 20 0 22 0 337610301 12137111552 40062 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2963162 40062 2257 9 0 2953849 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 11852648 [startup+1.5007 s] /proc/loadavg: 3.93 3.91 3.56 3/216 1705 /proc/meminfo: memFree=29178516/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11852648 CPUtime=1.93 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 15675 0 1 0 184 9 0 0 20 0 19 0 337610301 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2963162 41643 2263 9 0 2953849 0 [pid=1681/tid=1684] ppid=1679 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/1681/task/1684/stat : 1684 (java) S 1679 1681 1279 0 -1 4202560 2910 0 1 0 60 3 0 0 20 0 19 0 337610302 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140450237801624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1685] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1685/stat : 1685 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610304 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140450206210984 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1686] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1686/stat : 1686 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610305 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140450205158440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1687] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1687/stat : 1687 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610305 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140450204105384 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1688] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1688/stat : 1688 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610305 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140450203052840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1689] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1689/stat : 1689 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610305 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140450201999784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1690] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1690/stat : 1690 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610305 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140450200947240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1692] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1692/stat : 1692 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610305 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140450199894184 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1693] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1693/stat : 1693 (java) S 1679 1681 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337610305 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140450198841640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1694] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1694/stat : 1694 (java) S 1679 1681 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337610306 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140449583954792 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1695] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1695/stat : 1695 (java) S 1679 1681 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337610306 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140449582901112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1696] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1696/stat : 1696 (java) S 1679 1681 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337610306 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140449581847944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1697] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1697/stat : 1697 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610309 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140449580796688 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1698] ppid=1679 vsize=11852648 CPUtime=0.54 cores=1,3,5,7 /proc/1681/task/1698/stat : 1698 (java) S 1679 1681 1279 0 -1 4202560 6142 0 0 0 52 2 0 0 20 0 19 0 337610309 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140449579743544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1699] ppid=1679 vsize=11852648 CPUtime=0.51 cores=1,3,5,7 /proc/1681/task/1699/stat : 1699 (java) S 1679 1681 1279 0 -1 4202560 5318 0 0 0 51 0 0 0 20 0 19 0 337610309 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140449578691000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1700] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1700/stat : 1700 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610309 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140449577638136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1701] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1701/stat : 1701 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337610309 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140449576585800 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1704] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1704/stat : 1704 (java) S 1679 1681 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337610368 12137111552 41643 33554432000 1073741824 1073778376 140735427710224 140449573426472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.93 Current children cumulated vsize (KiB) 11852648 [startup+3.1007 s] /proc/loadavg: 3.78 3.88 3.55 3/216 1711 /proc/meminfo: memFree=29149076/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11852648 CPUtime=4.33 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 21772 0 1 0 414 19 0 0 20 0 22 0 337610301 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2963162 107793 2267 9 0 2953849 0 [pid=1681/tid=1684] ppid=1679 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/1681/task/1684/stat : 1684 (java) S 1679 1681 1279 0 -1 4202560 2910 0 1 0 62 3 0 0 20 0 22 0 337610302 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140450237801640 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1685] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1685/stat : 1685 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610304 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140450206210984 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1686] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1686/stat : 1686 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140450205158440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1687] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1687/stat : 1687 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140450204105384 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1688] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1688/stat : 1688 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140450203052840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1689] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1689/stat : 1689 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140450201999784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1690] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1690/stat : 1690 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140450200947240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1692] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1692/stat : 1692 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140450199894184 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1693] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1693/stat : 1693 (java) S 1679 1681 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140450198841640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1694] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1694/stat : 1694 (java) S 1679 1681 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140449583954792 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1695] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1695/stat : 1695 (java) S 1679 1681 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140449582901112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1696] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1696/stat : 1696 (java) S 1679 1681 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140449581847944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1697] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1697/stat : 1697 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140449580796688 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1698] ppid=1679 vsize=11852648 CPUtime=1.06 cores=1,3,5,7 /proc/1681/task/1698/stat : 1698 (java) S 1679 1681 1279 0 -1 4202560 6224 0 0 0 104 2 0 0 20 0 22 0 337610309 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140449579743544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1699] ppid=1679 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/1681/task/1699/stat : 1699 (java) R 1679 1681 1279 0 -1 4202560 11181 0 0 0 108 2 0 0 20 0 22 0 337610309 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140449578691000 140450239857552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1700] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1700/stat : 1700 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140449577638136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1701] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1701/stat : 1701 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140449576585800 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1704] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1704/stat : 1704 (java) S 1679 1681 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337610368 12137111552 107793 33554432000 1073741824 1073778376 140735427710224 140449573426472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.33 Current children cumulated vsize (KiB) 11852648 [startup+6.30094 s] /proc/loadavg: 3.78 3.88 3.55 5/219 1717 /proc/meminfo: memFree=28078916/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11852648 CPUtime=10.89 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 22264 0 1 0 1050 39 0 0 20 0 22 0 337610301 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2963162 314235 2291 9 0 2953849 0 [pid=1681/tid=1684] ppid=1679 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/1681/task/1684/stat : 1684 (java) S 1679 1681 1279 0 -1 4202560 2910 0 1 0 62 3 0 0 20 0 22 0 337610302 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140450237801640 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1685] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1685/stat : 1685 (java) S 1679 1681 1279 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337610304 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140450206210984 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1686] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1686/stat : 1686 (java) S 1679 1681 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140450205158440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1687] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1687/stat : 1687 (java) S 1679 1681 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140450204105384 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1688] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1688/stat : 1688 (java) S 1679 1681 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140450203052840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1689] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1689/stat : 1689 (java) S 1679 1681 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140450201999784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1690] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1690/stat : 1690 (java) S 1679 1681 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140450200947240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1692] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1692/stat : 1692 (java) S 1679 1681 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140450199894184 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1693] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1693/stat : 1693 (java) S 1679 1681 1279 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337610305 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140450198841640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1694] ppid=1679 vsize=11852648 CPUtime=0.08 cores=1,3,5,7 /proc/1681/task/1694/stat : 1694 (java) S 1679 1681 1279 0 -1 4202560 37 0 0 0 8 0 0 0 20 0 22 0 337610306 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449583954792 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1695] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1695/stat : 1695 (java) S 1679 1681 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449582901112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1696] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1696/stat : 1696 (java) S 1679 1681 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449581847944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1697] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1697/stat : 1697 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449580796688 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1698] ppid=1679 vsize=11852648 CPUtime=1.22 cores=1,3,5,7 /proc/1681/task/1698/stat : 1698 (java) S 1679 1681 1279 0 -1 4202560 6230 0 0 0 120 2 0 0 20 0 22 0 337610309 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449579743544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1699] ppid=1679 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/1681/task/1699/stat : 1699 (java) S 1679 1681 1279 0 -1 4202560 11183 0 0 0 115 2 0 0 20 0 22 0 337610309 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449578691000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1700] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1700/stat : 1700 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449577638136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1701] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1701/stat : 1701 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449576585800 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1704] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1704/stat : 1704 (java) S 1679 1681 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337610368 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449573426472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1715] ppid=1679 vsize=11852648 CPUtime=3.45 cores=1,3,5,7 /proc/1681/task/1715/stat : 1715 (java) R 1679 1681 1279 0 -1 4202560 9 0 0 0 345 0 0 0 20 0 22 0 337610570 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449575531160 140450078915326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1716] ppid=1679 vsize=11852648 CPUtime=3.46 cores=1,3,5,7 /proc/1681/task/1716/stat : 1716 (java) R 1679 1681 1279 0 -1 4202560 490 0 0 0 324 22 0 0 20 0 22 0 337610570 12137111552 314235 33554432000 1073741824 1073778376 140735427710224 140449574475648 140450078714413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 ################ # More data... # ################ [pid=1681/tid=1798] ppid=1679 vsize=11852648 CPUtime=409.59 cores=1,3,5,7 /proc/1681/task/1798/stat : 1798 (java) S 1679 1681 1279 0 -1 4202560 22 0 0 0 40953 6 0 0 20 0 22 0 337648144 12137111552 995739 33554432000 1073741824 1073778376 140735427710224 140449575531336 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1799] ppid=1679 vsize=11852648 CPUtime=409.52 cores=1,3,5,7 /proc/1681/task/1799/stat : 1799 (java) S 1679 1681 1279 0 -1 4202560 25 0 0 0 40946 6 0 0 20 0 22 0 337648144 12137111552 995739 33554432000 1073741824 1073778376 140735427710224 140449574476088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1800] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1800/stat : 1800 (java) S 1679 1681 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337648144 12137111552 995739 33554432000 1073741824 1073778376 140735427710224 140449573426344 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.04 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 4.29 4.01 3.79 5/219 1802 /proc/meminfo: memFree=23286388/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11852648 CPUtime=1716.66 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 27473 0 1 0 171479 187 0 0 20 0 22 0 337610301 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2963162 996904 2293 9 0 2953849 0 [pid=1681/tid=1684] ppid=1679 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/1681/task/1684/stat : 1684 (java) S 1679 1681 1279 0 -1 4202560 2993 0 1 0 67 5 0 0 20 0 22 0 337610302 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140450237801624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1685] ppid=1679 vsize=11852648 CPUtime=2.07 cores=1,3,5,7 /proc/1681/task/1685/stat : 1685 (java) S 1679 1681 1279 0 -1 4202560 227 0 0 0 203 4 0 0 20 0 22 0 337610304 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140450206210984 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1686] ppid=1679 vsize=11852648 CPUtime=2.27 cores=1,3,5,7 /proc/1681/task/1686/stat : 1686 (java) S 1679 1681 1279 0 -1 4202560 195 0 0 0 219 8 0 0 20 0 22 0 337610305 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140450205158440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1687] ppid=1679 vsize=11852648 CPUtime=2.06 cores=1,3,5,7 /proc/1681/task/1687/stat : 1687 (java) S 1679 1681 1279 0 -1 4202560 255 0 0 0 199 7 0 0 20 0 22 0 337610305 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140450204105384 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1688] ppid=1679 vsize=11852648 CPUtime=2.02 cores=1,3,5,7 /proc/1681/task/1688/stat : 1688 (java) S 1679 1681 1279 0 -1 4202560 288 0 0 0 197 5 0 0 20 0 22 0 337610305 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140450203052840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1689] ppid=1679 vsize=11852648 CPUtime=2.08 cores=1,3,5,7 /proc/1681/task/1689/stat : 1689 (java) S 1679 1681 1279 0 -1 4202560 234 0 0 0 200 8 0 0 20 0 22 0 337610305 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140450201999784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1690] ppid=1679 vsize=11852648 CPUtime=2.14 cores=1,3,5,7 /proc/1681/task/1690/stat : 1690 (java) S 1679 1681 1279 0 -1 4202560 257 0 0 0 205 9 0 0 20 0 22 0 337610305 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140450200947240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1692] ppid=1679 vsize=11852648 CPUtime=2.09 cores=1,3,5,7 /proc/1681/task/1692/stat : 1692 (java) S 1679 1681 1279 0 -1 4202560 268 0 0 0 201 8 0 0 20 0 22 0 337610305 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140450199894184 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1693] ppid=1679 vsize=11852648 CPUtime=2.03 cores=1,3,5,7 /proc/1681/task/1693/stat : 1693 (java) S 1679 1681 1279 0 -1 4202560 201 0 0 0 196 7 0 0 20 0 22 0 337610305 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140450198841640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1694] ppid=1679 vsize=11852648 CPUtime=53.66 cores=1,3,5,7 /proc/1681/task/1694/stat : 1694 (java) S 1679 1681 1279 0 -1 4202560 200 0 0 0 5352 14 0 0 20 0 22 0 337610306 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449583954792 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1695] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1695/stat : 1695 (java) S 1679 1681 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449582901112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1696] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1696/stat : 1696 (java) S 1679 1681 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449581847944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1697] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1697/stat : 1697 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449580796688 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1698] ppid=1679 vsize=11852648 CPUtime=1.79 cores=1,3,5,7 /proc/1681/task/1698/stat : 1698 (java) S 1679 1681 1279 0 -1 4202560 8075 0 0 0 176 3 0 0 20 0 22 0 337610309 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449579743544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1699] ppid=1679 vsize=11852648 CPUtime=1.48 cores=1,3,5,7 /proc/1681/task/1699/stat : 1699 (java) S 1679 1681 1279 0 -1 4202560 11210 0 0 0 146 2 0 0 20 0 22 0 337610309 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449578691000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1700] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1700/stat : 1700 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449577638136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1701] ppid=1679 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/1681/task/1701/stat : 1701 (java) S 1679 1681 1279 0 -1 4202560 51 0 0 0 24 20 0 0 20 0 22 0 337610309 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449576585800 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1717] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1717/stat : 1717 (java) S 1679 1681 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337610570 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449572373416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1798] ppid=1679 vsize=11852648 CPUtime=464.42 cores=1,3,5,7 /proc/1681/task/1798/stat : 1798 (java) R 1679 1681 1279 0 -1 4202560 24 0 0 0 46435 7 0 0 20 0 22 0 337648144 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449575531216 140450078845391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1799] ppid=1679 vsize=11852648 CPUtime=464.36 cores=1,3,5,7 /proc/1681/task/1799/stat : 1799 (java) R 1679 1681 1279 0 -1 4202560 27 0 0 0 46429 7 0 0 20 0 22 0 337648144 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449574475856 140450078879502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1800] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1800/stat : 1800 (java) S 1679 1681 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337648144 12137111552 996904 33554432000 1073741824 1073778376 140735427710224 140449573426344 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1716.66 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+925.301 s] /proc/loadavg: 4.06 3.99 3.79 5/219 1802 /proc/meminfo: memFree=23224452/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11852648 CPUtime=1800.13 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 27689 0 1 0 179819 194 0 0 20 0 22 0 337610301 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2963162 1012368 2293 9 0 2953849 0 [pid=1681/tid=1684] ppid=1679 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/1681/task/1684/stat : 1684 (java) S 1679 1681 1279 0 -1 4202560 2994 0 1 0 67 5 0 0 20 0 22 0 337610302 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450237801624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1685] ppid=1679 vsize=11852648 CPUtime=2.22 cores=1,3,5,7 /proc/1681/task/1685/stat : 1685 (java) S 1679 1681 1279 0 -1 4202560 271 0 0 0 218 4 0 0 20 0 22 0 337610304 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450206210984 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1686] ppid=1679 vsize=11852648 CPUtime=2.39 cores=1,3,5,7 /proc/1681/task/1686/stat : 1686 (java) S 1679 1681 1279 0 -1 4202560 217 0 0 0 230 9 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450205158440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1687] ppid=1679 vsize=11852648 CPUtime=2.22 cores=1,3,5,7 /proc/1681/task/1687/stat : 1687 (java) S 1679 1681 1279 0 -1 4202560 259 0 0 0 214 8 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450204105384 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1688] ppid=1679 vsize=11852648 CPUtime=2.24 cores=1,3,5,7 /proc/1681/task/1688/stat : 1688 (java) S 1679 1681 1279 0 -1 4202560 301 0 0 0 218 6 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450203052840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1689] ppid=1679 vsize=11852648 CPUtime=2.22 cores=1,3,5,7 /proc/1681/task/1689/stat : 1689 (java) S 1679 1681 1279 0 -1 4202560 262 0 0 0 213 9 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450201999784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1690] ppid=1679 vsize=11852648 CPUtime=2.3 cores=1,3,5,7 /proc/1681/task/1690/stat : 1690 (java) S 1679 1681 1279 0 -1 4202560 286 0 0 0 220 10 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450200947240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1692] ppid=1679 vsize=11852648 CPUtime=2.2 cores=1,3,5,7 /proc/1681/task/1692/stat : 1692 (java) S 1679 1681 1279 0 -1 4202560 273 0 0 0 212 8 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450199894184 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1693] ppid=1679 vsize=11852648 CPUtime=2.24 cores=1,3,5,7 /proc/1681/task/1693/stat : 1693 (java) S 1679 1681 1279 0 -1 4202560 260 0 0 0 216 8 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450198841640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1694] ppid=1679 vsize=11852648 CPUtime=56.79 cores=1,3,5,7 /proc/1681/task/1694/stat : 1694 (java) S 1679 1681 1279 0 -1 4202560 202 0 0 0 5664 15 0 0 20 0 22 0 337610306 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449583954792 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1695] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1695/stat : 1695 (java) S 1679 1681 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449582901112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1696] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1696/stat : 1696 (java) S 1679 1681 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449581847944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1697] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1697/stat : 1697 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449580796688 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1698] ppid=1679 vsize=11852648 CPUtime=1.79 cores=1,3,5,7 /proc/1681/task/1698/stat : 1698 (java) S 1679 1681 1279 0 -1 4202560 8075 0 0 0 176 3 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449579743544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1699] ppid=1679 vsize=11852648 CPUtime=1.48 cores=1,3,5,7 /proc/1681/task/1699/stat : 1699 (java) S 1679 1681 1279 0 -1 4202560 11210 0 0 0 146 2 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449578691000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1700] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1700/stat : 1700 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449577638136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1701] ppid=1679 vsize=11852648 CPUtime=0.47 cores=1,3,5,7 /proc/1681/task/1701/stat : 1701 (java) S 1679 1681 1279 0 -1 4202560 53 0 0 0 25 22 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449576585800 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1717] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1717/stat : 1717 (java) S 1679 1681 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337610570 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449572373416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1798] ppid=1679 vsize=11852648 CPUtime=503.97 cores=1,3,5,7 /proc/1681/task/1798/stat : 1798 (java) R 1679 1681 1279 0 -1 4202560 27 0 0 0 50390 7 0 0 20 0 22 0 337648144 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449575531216 140450078890521 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1799] ppid=1679 vsize=11852648 CPUtime=503.91 cores=1,3,5,7 /proc/1681/task/1799/stat : 1799 (java) R 1679 1681 1279 0 -1 4202560 31 0 0 0 50384 7 0 0 20 0 22 0 337648144 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449574476304 140450078732077 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1800] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1800/stat : 1800 (java) S 1679 1681 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337648144 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449573426344 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+925.301 s] /proc/loadavg: 4.06 3.99 3.79 5/219 1802 /proc/meminfo: memFree=23224452/32873844 swapFree=7116/7116 [pid=1681] ppid=1679 vsize=11852648 CPUtime=1800.13 cores=1,3,5,7 /proc/1681/stat : 1681 (java) S 1679 1681 1279 0 -1 4202496 27689 0 1 0 179819 194 0 0 20 0 22 0 337610301 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140735427701360 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1681/statm: 2963162 1012368 2293 9 0 2953849 0 [pid=1681/tid=1684] ppid=1679 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/1681/task/1684/stat : 1684 (java) S 1679 1681 1279 0 -1 4202560 2994 0 1 0 67 5 0 0 20 0 22 0 337610302 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450237801624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1685] ppid=1679 vsize=11852648 CPUtime=2.22 cores=1,3,5,7 /proc/1681/task/1685/stat : 1685 (java) S 1679 1681 1279 0 -1 4202560 271 0 0 0 218 4 0 0 20 0 22 0 337610304 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450206210984 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1686] ppid=1679 vsize=11852648 CPUtime=2.39 cores=1,3,5,7 /proc/1681/task/1686/stat : 1686 (java) S 1679 1681 1279 0 -1 4202560 217 0 0 0 230 9 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450205158440 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1687] ppid=1679 vsize=11852648 CPUtime=2.22 cores=1,3,5,7 /proc/1681/task/1687/stat : 1687 (java) S 1679 1681 1279 0 -1 4202560 259 0 0 0 214 8 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450204105384 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1688] ppid=1679 vsize=11852648 CPUtime=2.24 cores=1,3,5,7 /proc/1681/task/1688/stat : 1688 (java) S 1679 1681 1279 0 -1 4202560 301 0 0 0 218 6 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450203052840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1689] ppid=1679 vsize=11852648 CPUtime=2.22 cores=1,3,5,7 /proc/1681/task/1689/stat : 1689 (java) S 1679 1681 1279 0 -1 4202560 262 0 0 0 213 9 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450201999784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1690] ppid=1679 vsize=11852648 CPUtime=2.3 cores=1,3,5,7 /proc/1681/task/1690/stat : 1690 (java) S 1679 1681 1279 0 -1 4202560 286 0 0 0 220 10 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450200947240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1692] ppid=1679 vsize=11852648 CPUtime=2.2 cores=1,3,5,7 /proc/1681/task/1692/stat : 1692 (java) S 1679 1681 1279 0 -1 4202560 273 0 0 0 212 8 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450199894184 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1693] ppid=1679 vsize=11852648 CPUtime=2.24 cores=1,3,5,7 /proc/1681/task/1693/stat : 1693 (java) S 1679 1681 1279 0 -1 4202560 260 0 0 0 216 8 0 0 20 0 22 0 337610305 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140450198841640 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1694] ppid=1679 vsize=11852648 CPUtime=56.79 cores=1,3,5,7 /proc/1681/task/1694/stat : 1694 (java) S 1679 1681 1279 0 -1 4202560 202 0 0 0 5664 15 0 0 20 0 22 0 337610306 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449583954792 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1695] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1695/stat : 1695 (java) S 1679 1681 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449582901112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1696] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1696/stat : 1696 (java) S 1679 1681 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337610306 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449581847944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1697] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1697/stat : 1697 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449580796688 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1698] ppid=1679 vsize=11852648 CPUtime=1.79 cores=1,3,5,7 /proc/1681/task/1698/stat : 1698 (java) S 1679 1681 1279 0 -1 4202560 8075 0 0 0 176 3 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449579743544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1699] ppid=1679 vsize=11852648 CPUtime=1.48 cores=1,3,5,7 /proc/1681/task/1699/stat : 1699 (java) S 1679 1681 1279 0 -1 4202560 11210 0 0 0 146 2 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449578691000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1681/tid=1700] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1700/stat : 1700 (java) S 1679 1681 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449577638136 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1701] ppid=1679 vsize=11852648 CPUtime=0.47 cores=1,3,5,7 /proc/1681/task/1701/stat : 1701 (java) S 1679 1681 1279 0 -1 4202560 53 0 0 0 25 22 0 0 20 0 22 0 337610309 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449576585800 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1717] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1717/stat : 1717 (java) S 1679 1681 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337610570 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449572373416 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1681/tid=1798] ppid=1679 vsize=11852648 CPUtime=503.97 cores=1,3,5,7 /proc/1681/task/1798/stat : 1798 (java) R 1679 1681 1279 0 -1 4202560 27 0 0 0 50390 7 0 0 20 0 22 0 337648144 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449575531216 140450078890521 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1681/tid=1799] ppid=1679 vsize=11852648 CPUtime=503.91 cores=1,3,5,7 /proc/1681/task/1799/stat : 1799 (java) R 1679 1681 1279 0 -1 4202560 31 0 0 0 50384 7 0 0 20 0 22 0 337648144 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449574476304 140450078732077 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1681/tid=1800] ppid=1679 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1681/task/1800/stat : 1800 (java) S 1679 1681 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337648144 12137111552 1012368 33554432000 1073741824 1073778376 140735427710224 140449573426344 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 925.362 CPU time (s): 1800.7 CPU user time (s): 1798.4 CPU system time (s): 2.30365 CPU usage (%): 194.594 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.4 system time used= 2.30365 maximum resident set size= 4049596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27722 page faults= 1 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27408 involuntary context switches= 40678 runsolver used 3.66144 second user time and 9.2236 second system time The end
Begin job on node111 at 2012-06-03 11:13:53 IDJOB=3736048 IDBENCH=25018 IDSOLVER=2328 FILE ID=node111/3736048-1338714833 RUNJOBID= node111-1338712999-1296 PBS_JOBID= 14636722 Free space on /tmp= 67380 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736048-1338714833/watcher-3736048-1338714833 -o /tmp/evaluation-result-3736048-1338714833/solver-3736048-1338714833 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736048-1338714833.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED=1896389313 node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29330236 kB Buffers: 182312 kB Cached: 523460 kB SwapCached: 1404 kB Active: 2222948 kB Inactive: 530400 kB Active(anon): 2048692 kB Inactive(anon): 1276 kB Active(file): 174256 kB Inactive(file): 529124 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100152 kB Dirty: 952 kB Writeback: 0 kB AnonPages: 2053528 kB Mapped: 17136 kB Shmem: 0 kB Slab: 646144 kB SReclaimable: 88172 kB SUnreclaim: 557972 kB KernelStack: 1624 kB PageTables: 7912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10458432 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2009088 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 67392 MiB End job on node111 at 2012-06-03 11:29:21