Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 2463293 | 1800.02 | 899.064 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_0_mh_ic.opb |
| MD5SUM | b32f126aecba6bfb006545c8818dc00d |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2252617 |
| Best CPU time to get the best result obtained on this benchmark | 603.74 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 68417929 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3962242471 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 68417929 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3962242471 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4080993-1465326002.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 1.33/0.68 c ... done. Wall clock time 0.564s. 1.33/0.68 c declared #vars 9765 1.56/0.70 c #constraints 21931 1.56/0.70 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.56/0.70 c constraints type 1.56/0.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.56/0.70 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.56/0.70 c org.sat4j.specs.Constr$1 => 4 1.56/0.70 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.56/0.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.56/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.56/0.70 c 21931 constraints processed. 1.56/0.70 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.56/0.70 c constraints type 1.56/0.70 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.56/0.70 c org.sat4j.specs.Constr$1 => 4 1.56/0.70 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.56/0.70 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.56/0.70 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.56/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.56/0.70 c 21931 constraints processed. 1.56/0.70 c objective function length is 4005 literals 2.34/0.95 c And the winner is solver0 2.80/1.19 c SATISFIABLE 2.80/1.19 c OPTIMIZING... 2.80/1.19 c Got one! Elapsed wall clock time (in seconds):1.076 2.80/1.20 o 2713129 5.49/2.21 c And the winner is solver1 5.49/2.22 c Got one! Elapsed wall clock time (in seconds):2.097 5.49/2.22 o 2596767 5.49/2.25 c And the winner is solver0 5.71/2.73 c Got one! Elapsed wall clock time (in seconds):2.616 5.71/2.73 o 2516420 8.40/4.03 c cleaning 2810 clauses out of 5620 with flag 15417/5629 13.38/6.41 c cleaning 4404 clauses out of 8811 with flag 54837/11630 18.61/9.04 c cleaning 5700 clauses out of 11407 with flag 96480/18630 24.25/11.81 c cleaning 6843 clauses out of 13707 with flag 147885/26630 30.75/15.06 c cleaning 7928 clauses out of 15863 with flag 199824/35630 38.03/18.68 c cleaning 8966 clauses out of 17934 with flag 268042/45629 45.83/22.54 c cleaning 9981 clauses out of 19968 with flag 349132/56629 54.82/27.10 c cleaning 10995 clauses out of 21989 with flag 443935/68631 64.38/31.72 c cleaning 11978 clauses out of 23990 with flag 543101/81630 73.98/36.55 c cleaning 13004 clauses out of 26012 with flag 636294/95630 84.59/41.87 c cleaning 13999 clauses out of 28008 with flag 745494/110630 96.70/47.86 c cleaning 14988 clauses out of 30008 with flag 853542/126629 108.50/53.70 c cleaning 16003 clauses out of 32020 with flag 968634/143629 121.87/60.31 c cleaning 16990 clauses out of 34018 with flag 1095901/161630 135.87/67.35 c cleaning 18006 clauses out of 36029 with flag 1232856/180631 150.08/74.49 c cleaning 18997 clauses out of 38022 with flag 1371993/200630 165.88/82.24 c cleaning 20009 clauses out of 40024 with flag 1531927/221629 181.89/90.29 c cleaning 21000 clauses out of 42015 with flag 1692968/243629 198.78/98.67 c cleaning 22002 clauses out of 44018 with flag 1845004/266632 216.58/107.59 c cleaning 23005 clauses out of 46013 with flag 2029214/290629 234.68/116.57 c cleaning 23989 clauses out of 48009 with flag 2204370/315630 253.89/126.12 c cleaning 25006 clauses out of 50018 with flag 2389713/341629 273.87/136.07 c cleaning 25986 clauses out of 52012 with flag 2606239/368629 294.73/146.44 c cleaning 27005 clauses out of 54027 with flag 2816003/396630 316.83/157.42 c cleaning 27999 clauses out of 56023 with flag 3022269/425631 340.31/169.18 c cleaning 29003 clauses out of 58022 with flag 3249104/455629 365.40/181.94 c cleaning 30005 clauses out of 60019 with flag 3470614/486629 389.91/194.19 c cleaning 30998 clauses out of 62017 with flag 3697715/518632 414.99/206.65 c cleaning 31997 clauses out of 64017 with flag 3928590/551630 441.48/219.83 c cleaning 32993 clauses out of 66019 with flag 4167233/585629 470.82/234.49 c cleaning 34003 clauses out of 68026 with flag 4441069/620629 498.91/248.40 c cleaning 34995 clauses out of 70022 with flag 4704996/656629 527.39/262.64 c cleaning 36009 clauses out of 72030 with flag 4994776/693632 556.50/277.18 c cleaning 36993 clauses out of 74018 with flag 5294190/731629 589.00/293.37 c cleaning 38002 clauses out of 76025 with flag 5587764/770629 621.88/309.72 c cleaning 39006 clauses out of 78023 with flag 5909306/810629 656.69/327.04 c cleaning 40001 clauses out of 80018 with flag 6264355/851630 693.06/345.64 c cleaning 40997 clauses out of 82016 with flag 6625387/893629 727.27/362.69 c cleaning 41996 clauses out of 84019 with flag 6945545/936629 765.18/381.54 c cleaning 43006 clauses out of 86024 with flag 7263037/980630 806.56/402.14 c cleaning 44003 clauses out of 88018 with flag 7566315/1025630 848.77/423.12 c cleaning 45002 clauses out of 90014 with flag 7910191/1071630 887.53/442.43 c cleaning 46002 clauses out of 92011 with flag 8310890/1118630 928.76/463.56 c cleaning 46998 clauses out of 94008 with flag 8672190/1166630 969.88/484.01 c cleaning 47991 clauses out of 96010 with flag 9043818/1215630 972.28/485.28 c And the winner is solver0 972.28/485.53 c Got one! Elapsed wall clock time (in seconds):485.413 972.28/485.53 o 2512120 974.49/486.60 c cleaning 26667 clauses out of 53363 with flag 17677/1220974 978.69/488.79 c cleaning 16332 clauses out of 32695 with flag 60027/1226973 983.69/491.25 c cleaning 11653 clauses out of 23364 with flag 112101/1233974 988.89/493.90 c cleaning 9825 clauses out of 19710 with flag 148319/1241973 995.14/496.92 c cleaning 9425 clauses out of 18886 with flag 187802/1250974 1002.14/500.42 c cleaning 9721 clauses out of 19460 with flag 230143/1260973 1009.99/504.30 c cleaning 10365 clauses out of 20739 with flag 289102/1271973 1018.18/508.50 c cleaning 11184 clauses out of 22374 with flag 358501/1283973 1027.38/513.10 c cleaning 12080 clauses out of 24190 with flag 436954/1296973 1038.03/518.39 c cleaning 13044 clauses out of 26111 with flag 512365/1310974 1049.11/523.84 c cleaning 14025 clauses out of 28066 with flag 585642/1325973 1061.31/529.96 c cleaning 15012 clauses out of 30042 with flag 673711/1341974 1073.40/535.97 c cleaning 16010 clauses out of 32029 with flag 751446/1358973 1086.00/542.25 c cleaning 17006 clauses out of 34021 with flag 830135/1376975 1100.48/549.46 c cleaning 17996 clauses out of 36014 with flag 937375/1395974 1115.10/556.74 c cleaning 19004 clauses out of 38017 with flag 1044946/1415973 1130.57/564.45 c cleaning 19999 clauses out of 40013 with flag 1151238/1436973 1147.15/572.72 c cleaning 21003 clauses out of 42014 with flag 1254361/1458973 1165.04/581.62 c cleaning 21997 clauses out of 44011 with flag 1378898/1481973 1183.74/590.98 c cleaning 22996 clauses out of 46014 with flag 1502037/1505973 1202.87/600.42 c cleaning 23998 clauses out of 48018 with flag 1627223/1530973 1222.77/610.31 c cleaning 24998 clauses out of 50021 with flag 1763972/1556974 1244.30/621.05 c cleaning 25997 clauses out of 52022 with flag 1916791/1583973 1266.22/631.91 c cleaning 27011 clauses out of 54026 with flag 2057867/1611974 1288.32/642.97 c cleaning 28001 clauses out of 56014 with flag 2200168/1640973 1312.83/655.14 c cleaning 29004 clauses out of 58013 with flag 2366848/1670973 1339.17/668.27 c cleaning 29991 clauses out of 60009 with flag 2541857/1701973 1365.27/681.30 c cleaning 31000 clauses out of 62020 with flag 2709780/1733975 1375.22/686.12 c And the winner is solver0 1375.22/686.61 c Got one! Elapsed wall clock time (in seconds):686.492 1375.22/686.61 o 2463293 1379.30/688.64 c cleaning 24450 clauses out of 48914 with flag 27830/1751869 1383.89/690.93 c cleaning 15219 clauses out of 30463 with flag 64684/1757868 1389.28/693.66 c cleaning 11095 clauses out of 22245 with flag 102690/1764869 1395.48/696.77 c cleaning 9557 clauses out of 19149 with flag 138879/1772868 1402.18/700.09 c cleaning 9275 clauses out of 18592 with flag 172971/1781868 1409.78/703.83 c cleaning 9641 clauses out of 19318 with flag 214530/1791869 1417.98/707.90 c cleaning 10322 clauses out of 20676 with flag 264907/1802868 1426.37/712.17 c cleaning 11178 clauses out of 22355 with flag 312625/1814869 1436.36/717.08 c cleaning 12083 clauses out of 24177 with flag 367744/1827869 1446.55/722.10 c cleaning 13038 clauses out of 26094 with flag 426463/1841869 1458.36/728.02 c cleaning 14011 clauses out of 28055 with flag 496934/1856868 1470.70/734.12 c cleaning 15010 clauses out of 30044 with flag 568029/1872868 1482.69/740.10 c cleaning 16012 clauses out of 32035 with flag 639928/1889869 1496.09/746.86 c cleaning 17006 clauses out of 34023 with flag 717933/1907869 1510.72/754.09 c cleaning 18008 clauses out of 36017 with flag 806185/1926869 1525.92/761.64 c cleaning 18999 clauses out of 38008 with flag 897060/1946868 1541.89/769.56 c cleaning 19999 clauses out of 40008 with flag 992634/1967868 1557.89/777.56 c cleaning 20991 clauses out of 42009 with flag 1080945/1989868 1574.71/785.86 c cleaning 22000 clauses out of 44020 with flag 1173281/2012870 1592.72/794.88 c cleaning 23005 clauses out of 46018 with flag 1273408/2036868 1612.51/804.61 c cleaning 24002 clauses out of 48013 with flag 1395958/2061868 1633.30/815.07 c cleaning 25002 clauses out of 50011 with flag 1501175/2087868 1658.55/828.65 c cleaning 26003 clauses out of 52009 with flag 1609416/2114868 1682.55/840.63 c cleaning 26985 clauses out of 54005 with flag 1730655/2142868 1706.32/852.32 c cleaning 28003 clauses out of 56020 with flag 1868229/2171868 1729.52/863.92 c cleaning 28996 clauses out of 58016 with flag 2008250/2201868 1754.68/876.45 c cleaning 30000 clauses out of 60020 with flag 2155625/2232868 1779.84/888.94 c cleaning 31000 clauses out of 62020 with flag 2303400/2264868 1800.02/899.00 c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<< 1800.02/899.00 c starts : 3715 1800.02/899.00 c conflicts : 2291216 1800.02/899.00 c decisions : 6526051 1800.02/899.00 c propagations : 845028416 1800.02/899.00 c inspects : 4546204682 1800.02/899.00 c shortcuts : 0 1800.02/899.00 c learnt literals : 21 1800.02/899.00 c learnt binary clauses : 161 1800.02/899.00 c learnt ternary clauses : 224 1800.02/899.00 c learnt constraints : 2291195 1800.02/899.00 c ignored constraints : 0 1800.02/899.00 c root simplifications : 0 1800.02/899.00 c removed literals (reason simplification) : 47567622 1800.02/899.00 c reason swapping (by a shorter reason) : 0 1800.02/899.00 c Calls to reduceDB : 101 1800.02/899.00 c Number of update (reduction) of LBD : 966907 1800.02/899.00 c Imported unit clauses : 0 1800.02/899.00 c number of reductions to clauses (during analyze) : 0 1800.02/899.00 c number of learned constraints concerned by reduction : 0 1800.02/899.00 c number of learning phase by resolution : 0 1800.02/899.00 c number of learning phase by cutting planes : 0 1800.02/899.00 c speed (assignments/second) : 942303.3311811626 1800.02/899.00 c non guided choices 915 1800.02/899.02 c learnt constraints type 1800.02/899.02 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 161 1800.02/899.02 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 57207 1800.02/899.02 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.02/899.02 c starts : 6 1800.02/899.02 c conflicts : 2039 1800.02/899.02 c decisions : 96339 1800.02/899.02 c propagations : 4916012 1800.02/899.02 c inspects : 56320415 1800.02/899.02 c shortcuts : 0 1800.02/899.02 c learnt literals : 0 1800.02/899.02 c learnt binary clauses : 4 1800.02/899.02 c learnt ternary clauses : 0 1800.02/899.02 c learnt constraints : 2035 1800.02/899.02 c ignored constraints : 0 1800.02/899.02 c root simplifications : 0 1800.02/899.02 c removed literals (reason simplification) : 0 1800.02/899.02 c reason swapping (by a shorter reason) : 0 1800.02/899.02 c Calls to reduceDB : 0 1800.02/899.02 c Number of update (reduction) of LBD : 0 1800.02/899.02 c Imported unit clauses : 0 1800.02/899.02 c number of reductions to clauses (during analyze) : 0 1800.02/899.02 c number of learned constraints concerned by reduction : 0 1800.02/899.02 c number of learning phase by resolution : 0 1800.02/899.02 c number of learning phase by cutting planes : 0 1800.02/899.02 c speed (assignments/second) : 23165.7886056265 1800.02/899.02 c non guided choices 195 1800.02/899.03 c learnt constraints type 1800.02/899.03 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 85 1800.02/899.03 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 63 1800.02/899.03 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 4 1800.02/899.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1883 1800.02/899.03 s SATISFIABLE 1800.02/899.03 c Found 5 solution(s) 1800.02/899.04 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 x6128 -x6129 -x6130 x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 x9523 -x9524 -x9525 x9526 -x9527 x9528 -x9529 -x9530 -x9531 -x9532 -x9533 x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 x9633 -x9634 -x9635 -x9636 x9637 -x9638 x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 x9661 -x9662 -x9663 -x9664 -x9665 -x9666 x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 x9721 -x9722 x9723 -x9724 -x9725 -x9726 -x9727 -x9728 x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 x9751 -x9752 -x9753 -x9754 -x9755 -x9756 x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1800.02/899.05 c objective function=2463293 1800.02/899.05 c Total wall clock time (in seconds): 898.93
OK 2463293
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4080993-1465326002/watcher-4080993-1465326002 -o /tmp/evaluation-result-4080993-1465326002/solver-4080993-1465326002 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465311047-18692 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080993-1465326002.opb pid=21680 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: 4.09 4.21 4.17 4/198 21683 /proc/meminfo: memFree=27472728/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/21683/stat : 21683 (java) D 21680 21683 18675 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 114534774 9515008 185 33554432000 1073741824 1073778376 140736053415856 140736053404920 219504799015 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 5149 186 143 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.09 4.21 4.17 4/198 21683 /proc/meminfo: memFree=27472728/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/21683/stat : 21683 (java) S 21680 21683 18675 0 -1 4202496 4417 0 1 0 7 1 0 0 20 0 18 0 114534774 9787879424 6040 33554432000 1073741824 1073778376 140736053415856 140736053406992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 2389619 6040 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.20034 s] /proc/loadavg: 4.09 4.21 4.17 4/198 21683 /proc/meminfo: memFree=27472728/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/21683/stat : 21683 (java) S 21680 21683 18675 0 -1 4202496 5072 0 1 0 27 2 0 0 20 0 18 0 114534774 9787879424 6967 33554432000 1073741824 1073778376 140736053415856 140736053406992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 2389619 6967 2222 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300381 s] /proc/loadavg: 4.09 4.21 4.17 4/198 21683 /proc/meminfo: memFree=27472728/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/21683/stat : 21683 (java) S 21680 21683 18675 0 -1 4202496 5882 0 1 0 48 2 0 0 20 0 18 0 114534774 9787879424 10883 33554432000 1073741824 1073778376 140736053415856 140736053406992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 2389619 10883 2241 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700205 s] /proc/loadavg: 4.09 4.21 4.17 4/198 21683 /proc/meminfo: memFree=27472728/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9691604 CPUtime=1.56 cores=1,3,5,7 /proc/21683/stat : 21683 (java) S 21680 21683 18675 0 -1 4202496 15774 0 1 0 151 5 0 0 20 0 20 0 114534774 9924202496 32077 33554432000 1073741824 1073778376 140736053415856 140736053406992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 2422901 32077 2256 9 0 2413578 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 9691604 [startup+1.5008 s] /proc/loadavg: 4.09 4.21 4.17 3/217 21705 /proc/meminfo: memFree=27337044/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9824732 CPUtime=3.87 cores=1,3,5,7 /proc/21683/stat : 21683 (java) S 21680 21683 18675 0 -1 4202496 19922 0 1 0 378 9 0 0 20 0 22 0 114534774 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140736053406992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 2456183 48148 2288 9 0 2446860 0 [pid=21683/tid=21685] ppid=21680 vsize=9824732 CPUtime=0.68 cores=1,3,5,7 /proc/21683/task/21685/stat : 21685 (java) S 21680 21683 18675 0 -1 4202560 2477 0 1 0 65 3 0 0 20 0 22 0 114534775 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489845949304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21686] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21686/stat : 21686 (java) S 21680 21683 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489807440552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21687] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21687/stat : 21687 (java) S 21680 21683 18675 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489806388008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21688] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21688/stat : 21688 (java) S 21680 21683 18675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489805335464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21689] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21689/stat : 21689 (java) S 21680 21683 18675 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489804282920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21690] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21690/stat : 21690 (java) S 21680 21683 18675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489803229352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21691] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21691/stat : 21691 (java) S 21680 21683 18675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489802176808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21692] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21692/stat : 21692 (java) S 21680 21683 18675 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489801124264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21693] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21693/stat : 21693 (java) S 21680 21683 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489800071720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21694] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21694/stat : 21694 (java) S 21680 21683 18675 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489669986920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21695] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21695/stat : 21695 (java) S 21680 21683 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489668933240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21696] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21696/stat : 21696 (java) S 21680 21683 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489667880584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21697] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21697/stat : 21697 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489666829328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21698] ppid=21680 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/21683/task/21698/stat : 21698 (java) S 21680 21683 18675 0 -1 4202560 7882 0 0 0 99 2 0 0 20 0 22 0 114534780 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489665775672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21699] ppid=21680 vsize=9824732 CPUtime=1.02 cores=1,3,5,7 /proc/21683/task/21699/stat : 21699 (java) S 21680 21683 18675 0 -1 4202560 8091 0 0 0 102 0 0 0 20 0 22 0 114534780 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489664723128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21700] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21700/stat : 21700 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489663670776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21701] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21701/stat : 21701 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489662618440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21704] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21704/stat : 21704 (java) S 21680 21683 18675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 114534845 10060525568 48148 33554432000 1073741824 1073778376 140736053415856 140489659459112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 9824732 [startup+3.10076 s] /proc/loadavg: 4.08 4.20 4.17 5/220 21708 /proc/meminfo: memFree=27287256/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9824732 CPUtime=6.45 cores=1,3,5,7 /proc/21683/stat : 21683 (java) S 21680 21683 18675 0 -1 4202496 20140 0 1 0 632 13 0 0 20 0 22 0 114534774 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140736053406992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 2456183 48182 2290 9 0 2446860 0 [pid=21683/tid=21685] ppid=21680 vsize=9824732 CPUtime=0.71 cores=1,3,5,7 /proc/21683/task/21685/stat : 21685 (java) S 21680 21683 18675 0 -1 4202560 2478 0 1 0 68 3 0 0 20 0 22 0 114534775 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489845949304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21686] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21686/stat : 21686 (java) S 21680 21683 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489807440552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21687] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21687/stat : 21687 (java) S 21680 21683 18675 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489806388008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21688] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21688/stat : 21688 (java) S 21680 21683 18675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489805335464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21689] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21689/stat : 21689 (java) S 21680 21683 18675 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489804282920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21690] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21690/stat : 21690 (java) S 21680 21683 18675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489803229352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21691] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21691/stat : 21691 (java) S 21680 21683 18675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489802176808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21692] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21692/stat : 21692 (java) S 21680 21683 18675 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489801124264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21693] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21693/stat : 21693 (java) S 21680 21683 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489800071720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21694] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21694/stat : 21694 (java) S 21680 21683 18675 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489669986920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21695] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21695/stat : 21695 (java) S 21680 21683 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489668933240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21696] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21696/stat : 21696 (java) S 21680 21683 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489667880584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21697] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21697/stat : 21697 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489666829328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21698] ppid=21680 vsize=9824732 CPUtime=1.16 cores=1,3,5,7 /proc/21683/task/21698/stat : 21698 (java) S 21680 21683 18675 0 -1 4202560 8048 0 0 0 114 2 0 0 20 0 22 0 114534780 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489665775672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21699] ppid=21680 vsize=9824732 CPUtime=1.25 cores=1,3,5,7 /proc/21683/task/21699/stat : 21699 (java) S 21680 21683 18675 0 -1 4202560 8124 0 0 0 125 0 0 0 20 0 22 0 114534780 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489664723128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21700] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21700/stat : 21700 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489663670776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21701] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21701/stat : 21701 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 48182 33554432000 1073741824 1073778376 140736053415856 140489662618440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.45 Current children cumulated vsize (KiB) 9824732 [startup+6.30097 s] /proc/loadavg: 4.08 4.20 4.17 5/220 21714 /proc/meminfo: memFree=27263688/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9824732 CPUtime=13.18 cores=1,3,5,7 /proc/21683/stat : 21683 (java) S 21680 21683 18675 0 -1 4202496 21089 0 1 0 1300 18 0 0 20 0 22 0 114534774 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140736053406992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 2456183 54002 2294 9 0 2446860 0 [pid=21683/tid=21685] ppid=21680 vsize=9824732 CPUtime=0.71 cores=1,3,5,7 /proc/21683/task/21685/stat : 21685 (java) S 21680 21683 18675 0 -1 4202560 2478 0 1 0 68 3 0 0 20 0 22 0 114534775 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489845949304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21686] ppid=21680 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/21683/task/21686/stat : 21686 (java) S 21680 21683 18675 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 114534776 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489807440552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21687] ppid=21680 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/21683/task/21687/stat : 21687 (java) S 21680 21683 18675 0 -1 4202560 106 0 0 0 1 2 0 0 20 0 22 0 114534776 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489806388008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21688] ppid=21680 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/21683/task/21688/stat : 21688 (java) S 21680 21683 18675 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 114534776 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489805335464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21689] ppid=21680 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/21683/task/21689/stat : 21689 (java) S 21680 21683 18675 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 114534776 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489804282920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21690] ppid=21680 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/21683/task/21690/stat : 21690 (java) S 21680 21683 18675 0 -1 4202560 101 0 0 0 1 0 0 0 20 0 22 0 114534776 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489803229352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21691] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21691/stat : 21691 (java) S 21680 21683 18675 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 114534776 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489802176808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21692] ppid=21680 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/21683/task/21692/stat : 21692 (java) S 21680 21683 18675 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 114534776 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489801124264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21693] ppid=21680 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/21683/task/21693/stat : 21693 (java) S 21680 21683 18675 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 22 0 114534776 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489800071720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21694] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21694/stat : 21694 (java) S 21680 21683 18675 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489669986920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21695] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21695/stat : 21695 (java) S 21680 21683 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489668933240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21696] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21696/stat : 21696 (java) S 21680 21683 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489667880584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21697] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21697/stat : 21697 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489666829328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21698] ppid=21680 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/21683/task/21698/stat : 21698 (java) S 21680 21683 18675 0 -1 4202560 8608 0 0 0 131 2 0 0 20 0 22 0 114534780 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489665775672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21699] ppid=21680 vsize=9824732 CPUtime=1.38 cores=1,3,5,7 /proc/21683/task/21699/stat : 21699 (java) S 21680 21683 18675 0 -1 4202560 8128 0 0 0 138 0 0 0 20 0 22 0 114534780 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489664723128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21700] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21700/stat : 21700 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489663670776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21701] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21701/stat : 21701 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489662618440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21711] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21711/stat : 21711 (java) S 21680 21683 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114534998 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489659458984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21712] ppid=21680 vsize=9824732 CPUtime=3.5 cores=1,3,5,7 /proc/21683/task/21712/stat : 21712 (java) R 21680 21683 18675 0 -1 4202560 8 0 0 0 350 0 0 0 20 0 22 0 114535048 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489661564312 140489673326549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21713] ppid=21680 vsize=9824732 CPUtime=3.47 cores=1,3,5,7 /proc/21683/task/21713/stat : 21713 (java) R 21680 21683 18675 0 -1 4202560 2 0 0 0 347 0 0 0 20 0 22 0 114535048 10060525568 54002 33554432000 1073741824 1073778376 140736053415856 140489660509008 140489673340797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21714] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=21683/tid=21693] ppid=21680 vsize=9824732 CPUtime=1.97 cores=1,3,5,7 /proc/21683/task/21693/stat : 21693 (java) S 21680 21683 18675 0 -1 4202560 800 0 0 0 170 27 0 0 20 0 22 0 114534776 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489800071720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21694] ppid=21680 vsize=9824732 CPUtime=2.95 cores=1,3,5,7 /proc/21683/task/21694/stat : 21694 (java) R 21680 21683 18675 0 -1 4202560 1646 0 0 0 286 9 0 0 20 0 22 0 114534777 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489669985640 140489852075278 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21695] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21695/stat : 21695 (java) S 21680 21683 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489668933240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21696] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21696/stat : 21696 (java) S 21680 21683 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489667880584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21697] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21697/stat : 21697 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489666829328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21698] ppid=21680 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/21683/task/21698/stat : 21698 (java) S 21680 21683 18675 0 -1 4202560 8610 0 0 0 135 2 0 0 20 0 22 0 114534780 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489665775672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21699] ppid=21680 vsize=9824732 CPUtime=1.65 cores=1,3,5,7 /proc/21683/task/21699/stat : 21699 (java) S 21680 21683 18675 0 -1 4202560 8139 0 0 0 165 0 0 0 20 0 22 0 114534780 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489664723128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21700] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21700/stat : 21700 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489663670776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21701] ppid=21680 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/21683/task/21701/stat : 21701 (java) S 21680 21683 18675 0 -1 4202560 48 0 0 0 8 14 0 0 20 0 22 0 114534780 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489662618440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21711] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21711/stat : 21711 (java) S 21680 21683 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114534998 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489659458984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21833] ppid=21680 vsize=9824732 CPUtime=134.39 cores=1,3,5,7 /proc/21683/task/21833/stat : 21833 (java) S 21680 21683 18675 0 -1 4202560 8 0 0 0 13437 2 0 0 20 0 22 0 114603436 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489661562344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21834] ppid=21680 vsize=9824732 CPUtime=134.35 cores=1,3,5,7 /proc/21683/task/21834/stat : 21834 (java) S 21680 21683 18675 0 -1 4202560 6 0 0 0 13433 2 0 0 20 0 22 0 114603436 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489660508920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21835] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21835/stat : 21835 (java) S 21680 21683 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 114603456 10060525568 545873 33554432000 1073741824 1073778376 140736053415856 140489658406440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1645.27 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.19 4.06 4.08 6/218 21839 /proc/meminfo: memFree=24876280/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9824732 CPUtime=1763.56 cores=1,3,5,7 /proc/21683/stat : 21683 (java) S 21680 21683 18675 0 -1 4202496 29914 0 1 0 176063 293 0 0 20 0 22 0 114534774 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140736053406992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 2456183 553284 2303 9 0 2446860 0 [pid=21683/tid=21685] ppid=21680 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/21683/task/21685/stat : 21685 (java) S 21680 21683 18675 0 -1 4202560 2481 0 1 0 73 3 0 0 20 0 22 0 114534775 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489845949304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21686] ppid=21680 vsize=9824732 CPUtime=2.19 cores=1,3,5,7 /proc/21683/task/21686/stat : 21686 (java) S 21680 21683 18675 0 -1 4202560 663 0 0 0 193 26 0 0 20 0 22 0 114534776 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489807440552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21687] ppid=21680 vsize=9824732 CPUtime=2.36 cores=1,3,5,7 /proc/21683/task/21687/stat : 21687 (java) S 21680 21683 18675 0 -1 4202560 837 0 0 0 202 34 0 0 20 0 22 0 114534776 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489806388008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21688] ppid=21680 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/21683/task/21688/stat : 21688 (java) S 21680 21683 18675 0 -1 4202560 728 0 0 0 191 29 0 0 20 0 22 0 114534776 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489805335464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21689] ppid=21680 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/21683/task/21689/stat : 21689 (java) S 21680 21683 18675 0 -1 4202560 809 0 0 0 196 27 0 0 20 0 22 0 114534776 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489804282920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21690] ppid=21680 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/21683/task/21690/stat : 21690 (java) S 21680 21683 18675 0 -1 4202560 850 0 0 0 192 31 0 0 20 0 22 0 114534776 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489803229352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21691] ppid=21680 vsize=9824732 CPUtime=2.17 cores=1,3,5,7 /proc/21683/task/21691/stat : 21691 (java) S 21680 21683 18675 0 -1 4202560 980 0 0 0 189 28 0 0 20 0 22 0 114534776 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489802176808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21692] ppid=21680 vsize=9824732 CPUtime=2.06 cores=1,3,5,7 /proc/21683/task/21692/stat : 21692 (java) S 21680 21683 18675 0 -1 4202560 725 0 0 0 181 25 0 0 20 0 22 0 114534776 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489801124264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21693] ppid=21680 vsize=9824732 CPUtime=2.1 cores=1,3,5,7 /proc/21683/task/21693/stat : 21693 (java) S 21680 21683 18675 0 -1 4202560 803 0 0 0 183 27 0 0 20 0 22 0 114534776 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489800071720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21694] ppid=21680 vsize=9824732 CPUtime=5.2 cores=1,3,5,7 /proc/21683/task/21694/stat : 21694 (java) S 21680 21683 18675 0 -1 4202560 2375 0 0 0 511 9 0 0 20 0 22 0 114534777 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489669986920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21695] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21695/stat : 21695 (java) S 21680 21683 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489668933240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21696] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21696/stat : 21696 (java) S 21680 21683 18675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489667880584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21697] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21697/stat : 21697 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489666829328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21698] ppid=21680 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/21683/task/21698/stat : 21698 (java) S 21680 21683 18675 0 -1 4202560 8610 0 0 0 135 2 0 0 20 0 22 0 114534780 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489665775672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21699] ppid=21680 vsize=9824732 CPUtime=1.65 cores=1,3,5,7 /proc/21683/task/21699/stat : 21699 (java) S 21680 21683 18675 0 -1 4202560 8139 0 0 0 165 0 0 0 20 0 22 0 114534780 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489664723128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21700] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21700/stat : 21700 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489663670776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21701] ppid=21680 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/21683/task/21701/stat : 21701 (java) S 21680 21683 18675 0 -1 4202560 50 0 0 0 8 15 0 0 20 0 22 0 114534780 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489662618440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21711] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21711/stat : 21711 (java) S 21680 21683 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114534998 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489659458984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21833] ppid=21680 vsize=9824732 CPUtime=191.71 cores=1,3,5,7 /proc/21683/task/21833/stat : 21833 (java) R 21680 21683 18675 0 -1 4202560 10 0 0 0 19169 2 0 0 20 0 22 0 114603436 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489661554832 140489673333360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21834] ppid=21680 vsize=9824732 CPUtime=191.67 cores=1,3,5,7 /proc/21683/task/21834/stat : 21834 (java) R 21680 21683 18675 0 -1 4202560 6 0 0 0 19165 2 0 0 20 0 22 0 114603436 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489660508800 140489673340818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21835] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21835/stat : 21835 (java) S 21680 21683 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 114603456 10060525568 553284 33554432000 1073741824 1073778376 140736053415856 140489658406440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1763.56 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.001 s] /proc/loadavg: 4.15 4.05 4.08 6/219 21841 /proc/meminfo: memFree=24875408/32872528 swapFree=12208/1156848 [pid=21683] ppid=21680 vsize=9824732 CPUtime=1797.09 cores=1,3,5,7 /proc/21683/stat : 21683 (java) S 21680 21683 18675 0 -1 4202496 30042 0 1 0 179416 293 0 0 20 0 22 0 114534774 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140736053406992 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21683/statm: 2456183 553409 2303 9 0 2446860 0 [pid=21683/tid=21685] ppid=21680 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/21683/task/21685/stat : 21685 (java) S 21680 21683 18675 0 -1 4202560 2481 0 1 0 73 3 0 0 20 0 22 0 114534775 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489845949304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21686] ppid=21680 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/21683/task/21686/stat : 21686 (java) S 21680 21683 18675 0 -1 4202560 663 0 0 0 198 26 0 0 20 0 22 0 114534776 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489807440552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21687] ppid=21680 vsize=9824732 CPUtime=2.39 cores=1,3,5,7 /proc/21683/task/21687/stat : 21687 (java) S 21680 21683 18675 0 -1 4202560 848 0 0 0 205 34 0 0 20 0 22 0 114534776 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489806388008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21688] ppid=21680 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/21683/task/21688/stat : 21688 (java) S 21680 21683 18675 0 -1 4202560 728 0 0 0 195 29 0 0 20 0 22 0 114534776 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489805335464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21689] ppid=21680 vsize=9824732 CPUtime=2.27 cores=1,3,5,7 /proc/21683/task/21689/stat : 21689 (java) S 21680 21683 18675 0 -1 4202560 809 0 0 0 200 27 0 0 20 0 22 0 114534776 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489804282920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21690] ppid=21680 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/21683/task/21690/stat : 21690 (java) S 21680 21683 18675 0 -1 4202560 914 0 0 0 199 31 0 0 20 0 22 0 114534776 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489803229352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21691] ppid=21680 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/21683/task/21691/stat : 21691 (java) S 21680 21683 18675 0 -1 4202560 980 0 0 0 192 28 0 0 20 0 22 0 114534776 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489802176808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21692] ppid=21680 vsize=9824732 CPUtime=2.13 cores=1,3,5,7 /proc/21683/task/21692/stat : 21692 (java) S 21680 21683 18675 0 -1 4202560 729 0 0 0 188 25 0 0 20 0 22 0 114534776 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489801124264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21693] ppid=21680 vsize=9824732 CPUtime=2.13 cores=1,3,5,7 /proc/21683/task/21693/stat : 21693 (java) S 21680 21683 18675 0 -1 4202560 803 0 0 0 186 27 0 0 20 0 22 0 114534776 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489800071720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21694] ppid=21680 vsize=9824732 CPUtime=5.2 cores=1,3,5,7 /proc/21683/task/21694/stat : 21694 (java) S 21680 21683 18675 0 -1 4202560 2421 0 0 0 511 9 0 0 20 0 22 0 114534777 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489669986920 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21695] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21695/stat : 21695 (java) S 21680 21683 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489668933240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21696] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21696/stat : 21696 (java) S 21680 21683 18675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 114534777 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489667880584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21697] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21697/stat : 21697 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489666829328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21698] ppid=21680 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/21683/task/21698/stat : 21698 (java) S 21680 21683 18675 0 -1 4202560 8610 0 0 0 135 2 0 0 20 0 22 0 114534780 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489665775672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=21683/tid=21699] ppid=21680 vsize=9824732 CPUtime=1.65 cores=1,3,5,7 /proc/21683/task/21699/stat : 21699 (java) S 21680 21683 18675 0 -1 4202560 8139 0 0 0 165 0 0 0 20 0 22 0 114534780 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489664723128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21700] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21700/stat : 21700 (java) S 21680 21683 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114534780 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489663670776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21701] ppid=21680 vsize=9824732 CPUtime=0.24 cores=1,3,5,7 /proc/21683/task/21701/stat : 21701 (java) S 21680 21683 18675 0 -1 4202560 52 0 0 0 8 16 0 0 20 0 22 0 114534780 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489662618440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21711] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21711/stat : 21711 (java) S 21680 21683 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114534998 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489659458984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=21683/tid=21833] ppid=21680 vsize=9824732 CPUtime=208.26 cores=1,3,5,7 /proc/21683/task/21833/stat : 21833 (java) R 21680 21683 18675 0 -1 4202560 11 0 0 0 20823 3 0 0 20 0 22 0 114603436 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489661554832 140489673094158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=21683/tid=21834] ppid=21680 vsize=9824732 CPUtime=208.23 cores=1,3,5,7 /proc/21683/task/21834/stat : 21834 (java) R 21680 21683 18675 0 -1 4202560 6 0 0 0 20820 3 0 0 20 0 22 0 114603436 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489660509168 140489672583876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=21683/tid=21835] ppid=21680 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/21683/task/21835/stat : 21835 (java) S 21680 21683 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 114603456 10060525568 553409 33554432000 1073741824 1073778376 140736053415856 140489658406440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.09 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 21683 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21683 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=248384 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=162519 # CPU time returned by wait4() is 1796.41 # while last known CPU time is 1797.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.92993 # lost CPU user time (s): 3.16003 # lost CPU system time (s): -0.23 Real time (s): 899.064 CPU time (s): 1800.02 CPU user time (s): 1797.32 CPU system time (s): 2.7 CPU usage (%): 200.211 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.25 system time used= 3.16252 maximum resident set size= 2213748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30080 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24149 involuntary context switches= 27253 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.9031 second user time and 7.37588 second system time The end
Begin job on node114 at 2016-06-07 21:00:02 IDJOB=4080993 IDBENCH=92671 IDSOLVER=2543 FILE ID=node114/4080993-1465326002 RUNJOBID= node114-1465311047-18692 PBS_JOBID= 19850116 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080993-1465326002/watcher-4080993-1465326002 -o /tmp/evaluation-result-4080993-1465326002/solver-4080993-1465326002 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465311047-18692 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080993-1465326002.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b32f126aecba6bfb006545c8818dc00d RANDOM SEED=1873732935 node114.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.852 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 : 5333.70 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.852 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 : 5332.55 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.852 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 : 5332.55 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.852 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 : 5332.55 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.852 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 : 5332.55 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.852 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 : 5332.55 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.852 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 : 5332.54 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.852 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27472992 kB Buffers: 180408 kB Cached: 534656 kB SwapCached: 1740 kB Active: 2954104 kB Inactive: 532940 kB Active(anon): 2773212 kB Inactive(anon): 1368 kB Active(file): 180892 kB Inactive(file): 531572 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096752 kB Dirty: 1628 kB Writeback: 0 kB AnonPages: 3940936 kB Mapped: 15376 kB Shmem: 0 kB Slab: 608356 kB SReclaimable: 52004 kB SUnreclaim: 556352 kB KernelStack: 1608 kB PageTables: 12020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4697408 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3854336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node114 at 2016-06-07 21:15:01