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 Resolution PB16 | SAT (TO) | 13269674 | 1800.88 | 1781.45 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran4x64.opb |
| MD5SUM | adabd7fea668d3a11dc3f3df10fc7224 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11342833 |
| Best CPU time to get the best result obtained on this benchmark | 1800.9 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 11148294 |
| Optimality of the best value was proved | NO |
| Number of variables | 7936 |
| Total number of constraints | 324 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 324 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 1920 |
| Number of terms in the objective function | 7936 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1503282307720 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1503282307720 |
| Number of bits of the biggest sum of numbers | 41 |
| 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.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 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.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4103240-1466234804.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.54/0.37 c ... done. Wall clock time 0.256s. 0.54/0.37 c declared #vars 7936 0.54/0.37 c #constraints 392 0.54/0.37 c constraints type 0.54/0.37 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 392 0.54/0.37 c 392 constraints processed. 0.54/0.37 c objective function length is 7936 literals 3.15/2.34 c cleaning 2501 clauses out of 5001 with flag 10327/5001 5.05/4.00 c cleaning 4250 clauses out of 8499 with flag 22334/11000 7.57/6.50 c cleaning 5625 clauses out of 11250 with flag 36399/18001 9.12/8.06 c cleaning 6811 clauses out of 13624 with flag 52709/26000 10.04/8.94 c cleaning 7902 clauses out of 15815 with flag 70768/35002 11.43/10.34 c cleaning 8950 clauses out of 17913 with flag 90776/45002 13.14/12.06 c cleaning 9974 clauses out of 19963 with flag 112825/56002 15.16/14.02 c cleaning 10983 clauses out of 21987 with flag 136826/68000 17.36/16.25 c cleaning 11997 clauses out of 24007 with flag 162893/81003 20.05/18.91 c cleaning 12998 clauses out of 26007 with flag 190887/95000 22.86/21.76 c cleaning 13997 clauses out of 28009 with flag 220887/110000 26.27/25.15 c cleaning 14999 clauses out of 30012 with flag 252890/126000 28.67/27.51 c cleaning 15991 clauses out of 32013 with flag 287036/143000 30.76/29.68 c cleaning 17001 clauses out of 34022 with flag 323547/161000 33.26/32.14 c cleaning 18003 clauses out of 36023 with flag 361746/180002 35.96/34.85 c cleaning 19000 clauses out of 38018 with flag 401798/200000 39.06/37.94 c cleaning 20003 clauses out of 40018 with flag 443825/221000 42.56/41.42 c cleaning 21000 clauses out of 42015 with flag 487840/243000 46.66/45.52 c cleaning 22001 clauses out of 44016 with flag 533872/266001 51.09/49.98 c cleaning 22999 clauses out of 46014 with flag 581900/290000 56.59/55.42 c cleaning 23999 clauses out of 48015 with flag 631932/315000 62.29/61.14 c cleaning 25002 clauses out of 50017 with flag 683972/341001 68.59/67.49 c cleaning 25999 clauses out of 52014 with flag 738003/368000 75.69/74.58 c cleaning 27002 clauses out of 54017 with flag 794247/396002 83.39/82.26 c cleaning 27999 clauses out of 56014 with flag 852432/425001 92.39/91.20 c cleaning 29002 clauses out of 58017 with flag 912479/455003 102.69/101.59 c cleaning 29996 clauses out of 60012 with flag 974517/486000 113.99/112.80 c cleaning 31000 clauses out of 62017 with flag 1038664/518001 125.12/123.96 c cleaning 31997 clauses out of 64016 with flag 1104772/551000 137.32/136.13 c cleaning 33004 clauses out of 66020 with flag 1172828/585001 150.41/149.25 c cleaning 33999 clauses out of 68015 with flag 1242902/620000 165.71/164.53 c cleaning 35002 clauses out of 70016 with flag 1315009/656000 180.43/179.20 c cleaning 36000 clauses out of 72014 with flag 1389187/693000 201.33/200.13 c cleaning 36997 clauses out of 74014 with flag 1465278/731000 226.23/225.07 c cleaning 37998 clauses out of 76017 with flag 1543784/770000 253.38/252.15 c cleaning 39002 clauses out of 78019 with flag 1624042/810000 282.69/281.41 c cleaning 40001 clauses out of 80018 with flag 1706212/851001 316.59/315.33 c cleaning 41003 clauses out of 82017 with flag 1790287/893001 354.79/353.51 c cleaning 41998 clauses out of 84013 with flag 1876384/936000 393.60/392.38 c cleaning 42998 clauses out of 86015 with flag 1964466/980000 429.22/427.91 c cleaning 43998 clauses out of 88018 with flag 2055087/1025001 469.01/467.64 c cleaning 45002 clauses out of 90019 with flag 2147152/1071000 511.42/510.00 c cleaning 46001 clauses out of 92017 with flag 2241265/1118000 553.03/551.69 c cleaning 47003 clauses out of 94017 with flag 2337595/1166001 573.23/571.85 c SATISFIABLE 573.23/571.85 c OPTIMIZING... 573.23/571.85 c Got one! Elapsed wall clock time (in seconds):571.732 573.23/571.85 o 33995562 573.41/571.98 c Got one! Elapsed wall clock time (in seconds):571.862 573.41/571.98 o 13269751 573.88/572.34 c Got one! Elapsed wall clock time (in seconds):572.23 573.88/572.34 o 13269674 575.61/573.95 c cleaning 41287 clauses out of 82586 with flag 12094/1201573 577.01/575.37 c cleaning 23645 clauses out of 47298 with flag 35300/1207572 578.59/576.83 c cleaning 15324 clauses out of 30654 with flag 65251/1214573 580.19/578.45 c cleaning 11654 clauses out of 23329 with flag 94865/1222572 582.49/580.71 c cleaning 10335 clauses out of 20676 with flag 132642/1231573 584.73/583.00 c cleaning 10168 clauses out of 20341 with flag 180038/1241573 587.33/585.53 c cleaning 10584 clauses out of 21174 with flag 224841/1252574 590.07/588.29 c cleaning 11293 clauses out of 22589 with flag 262266/1264573 593.23/591.39 c cleaning 12146 clauses out of 24296 with flag 300871/1277573 596.44/594.59 c cleaning 13075 clauses out of 26149 with flag 341883/1291572 600.05/598.10 c cleaning 14036 clauses out of 28074 with flag 384658/1306572 603.96/602.01 c cleaning 15020 clauses out of 30039 with flag 431186/1322573 607.76/605.87 c cleaning 16008 clauses out of 32018 with flag 479757/1339572 611.87/609.96 c cleaning 17005 clauses out of 34010 with flag 528724/1357572 616.29/614.34 c cleaning 18000 clauses out of 36007 with flag 579024/1376574 620.91/618.91 c cleaning 18999 clauses out of 38006 with flag 632928/1396573 626.14/624.11 c cleaning 19992 clauses out of 40007 with flag 689916/1417573 631.69/629.66 c cleaning 21003 clauses out of 42014 with flag 750575/1439572 637.15/635.08 c cleaning 21998 clauses out of 44011 with flag 813572/1462572 643.17/641.04 c cleaning 23005 clauses out of 46014 with flag 876594/1486573 649.60/647.48 c cleaning 24003 clauses out of 48009 with flag 943775/1511573 656.35/654.10 c cleaning 24995 clauses out of 50005 with flag 1010459/1537572 663.81/661.59 c cleaning 25998 clauses out of 52010 with flag 1083602/1564572 670.84/668.53 c cleaning 26999 clauses out of 54014 with flag 1157993/1592574 678.67/676.34 c cleaning 27997 clauses out of 56013 with flag 1236923/1621572 686.66/684.21 c cleaning 29001 clauses out of 58016 with flag 1319073/1651572 694.46/691.97 c cleaning 30008 clauses out of 60016 with flag 1401875/1682573 703.23/700.67 c cleaning 30995 clauses out of 62007 with flag 1489201/1714572 712.13/709.46 c cleaning 32001 clauses out of 64012 with flag 1575333/1747572 720.66/717.88 c cleaning 33004 clauses out of 66011 with flag 1662763/1781572 730.26/727.35 c cleaning 33998 clauses out of 68007 with flag 1751930/1816572 739.65/736.61 c cleaning 35001 clauses out of 70009 with flag 1848130/1852572 749.79/746.61 c cleaning 36003 clauses out of 72008 with flag 1944106/1889572 759.68/756.41 c cleaning 37002 clauses out of 74006 with flag 2043402/1927573 770.10/766.79 c cleaning 37996 clauses out of 76003 with flag 2147455/1966572 781.28/777.78 c cleaning 39001 clauses out of 78008 with flag 2266652/2006573 792.92/789.26 c cleaning 40000 clauses out of 80006 with flag 2389177/2047572 805.25/801.30 c cleaning 41001 clauses out of 82006 with flag 2511734/2089572 817.66/813.51 c cleaning 42003 clauses out of 84005 with flag 2633014/2132572 830.80/826.45 c cleaning 42998 clauses out of 86002 with flag 2761602/2176572 843.07/838.57 c cleaning 43999 clauses out of 88004 with flag 2887362/2221572 855.82/851.16 c cleaning 45000 clauses out of 90006 with flag 3016651/2267573 868.57/863.75 c cleaning 45996 clauses out of 92005 with flag 3195370/2314572 880.11/875.13 c cleaning 47000 clauses out of 94009 with flag 3378833/2362572 891.93/886.82 c cleaning 48000 clauses out of 96009 with flag 3578682/2411572 903.13/897.82 c cleaning 49004 clauses out of 98009 with flag 3750100/2461572 915.61/910.11 c cleaning 49998 clauses out of 100006 with flag 3937065/2512573 928.49/922.87 c cleaning 51002 clauses out of 102007 with flag 4120239/2564572 942.10/936.21 c cleaning 52001 clauses out of 104005 with flag 4253714/2617572 956.41/950.40 c cleaning 53001 clauses out of 106005 with flag 4391322/2671573 971.31/965.01 c cleaning 53997 clauses out of 108003 with flag 4533653/2726572 986.56/979.93 c cleaning 55000 clauses out of 110006 with flag 4677494/2782572 1001.48/994.60 c cleaning 56003 clauses out of 112007 with flag 4820784/2839573 1017.43/1010.49 c cleaning 56994 clauses out of 114004 with flag 4965715/2897573 1034.90/1027.74 c cleaning 57997 clauses out of 116009 with flag 5119632/2956572 1052.18/1044.77 c cleaning 59004 clauses out of 118012 with flag 5281805/3016572 1071.67/1064.07 c cleaning 60003 clauses out of 120009 with flag 5444616/3077573 1089.04/1081.12 c cleaning 60992 clauses out of 122005 with flag 5607190/3139572 1107.08/1099.00 c cleaning 62007 clauses out of 124014 with flag 5770527/3202573 1126.64/1118.16 c cleaning 62995 clauses out of 126006 with flag 5938813/3266572 1145.95/1137.14 c cleaning 64000 clauses out of 128012 with flag 6109156/3331573 1166.22/1157.15 c cleaning 64995 clauses out of 130011 with flag 6273450/3397572 1184.92/1175.57 c cleaning 66002 clauses out of 132018 with flag 6450290/3464574 1203.58/1193.99 c cleaning 67003 clauses out of 134014 with flag 6631890/3532572 1222.55/1212.75 c cleaning 68001 clauses out of 136011 with flag 6806257/3601572 1241.46/1231.44 c cleaning 69002 clauses out of 138011 with flag 6983155/3671573 1260.89/1250.53 c cleaning 69997 clauses out of 140008 with flag 7160257/3742572 1280.71/1270.20 c cleaning 70993 clauses out of 142011 with flag 7336398/3814572 1300.57/1289.69 c cleaning 72002 clauses out of 144018 with flag 7512315/3887572 1322.97/1311.70 c cleaning 73006 clauses out of 146017 with flag 7702102/3961573 1344.24/1332.65 c cleaning 73999 clauses out of 148011 with flag 7891438/4036573 1365.63/1353.74 c cleaning 75004 clauses out of 150011 with flag 8077916/4112572 1385.46/1373.32 c cleaning 75997 clauses out of 152007 with flag 8271018/4189572 1406.50/1394.19 c cleaning 77003 clauses out of 154011 with flag 8463160/4267573 1426.24/1413.53 c cleaning 78003 clauses out of 156007 with flag 8694489/4346572 1446.54/1433.54 c cleaning 78992 clauses out of 158004 with flag 8958050/4426572 1468.57/1455.19 c cleaning 80006 clauses out of 160013 with flag 9217736/4507573 1494.62/1480.87 c cleaning 80993 clauses out of 162006 with flag 9451525/4589572 1518.49/1504.30 c cleaning 82000 clauses out of 164014 with flag 9658800/4672573 1543.18/1528.69 c cleaning 83005 clauses out of 166015 with flag 9884257/4756574 1570.86/1555.86 c cleaning 84004 clauses out of 168008 with flag 10098412/4841572 1597.51/1582.00 c cleaning 84998 clauses out of 170006 with flag 10312015/4927574 1624.10/1608.23 c cleaning 86002 clauses out of 172007 with flag 10525113/5014573 1653.21/1636.87 c cleaning 86996 clauses out of 174005 with flag 10732882/5102573 1680.36/1663.60 c cleaning 87999 clauses out of 176008 with flag 10953004/5191572 1708.15/1690.92 c cleaning 88994 clauses out of 178009 with flag 11183798/5281572 1734.73/1717.02 c cleaning 89996 clauses out of 180015 with flag 11409614/5372572 1764.26/1746.14 c cleaning 91003 clauses out of 182019 with flag 11643744/5464572 1793.42/1774.82 c cleaning 91999 clauses out of 184016 with flag 11875486/5557572 1800.09/1781.40 c starts : 40783 1800.09/1781.40 c conflicts : 5581570 1800.09/1781.40 c decisions : 11080964 1800.09/1781.40 c propagations : 1014306632 1800.09/1781.40 c inspects : 20312605375 1800.09/1781.40 c shortcuts : 0 1800.09/1781.40 c learnt literals : 0 1800.09/1781.40 c learnt binary clauses : 0 1800.09/1781.40 c learnt ternary clauses : 0 1800.09/1781.40 c learnt constraints : 5581570 1800.09/1781.40 c ignored constraints : 0 1800.09/1781.40 c root simplifications : 0 1800.09/1781.40 c removed literals (reason simplification) : 0 1800.09/1781.40 c reason swapping (by a shorter reason) : 0 1800.09/1781.40 c Calls to reduceDB : 133 1800.09/1781.40 c Number of update (reduction) of LBD : 566210 1800.09/1781.40 c Imported unit clauses : 0 1800.09/1781.40 c number of reductions to clauses (during analyze) : 0 1800.09/1781.40 c number of learned constraints concerned by reduction : 0 1800.09/1781.40 c number of learning phase by resolution : 0 1800.09/1781.40 c number of learning phase by cutting planes : 0 1800.09/1781.40 c speed (assignments/second) : 569520.0307694899 1800.09/1781.40 c non guided choices 9110 1800.09/1781.43 c learnt constraints type 1800.09/1781.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 116015 1800.09/1781.43 s SATISFIABLE 1800.09/1781.43 c Found 3 solution(s) 1800.09/1781.44 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 1800.09/1781.45 c objective function=13269674 1800.09/1781.45 c Total wall clock time (in seconds): 1781.333
OK 13269674
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-4103240-1466234804/watcher-4103240-1466234804 -o /tmp/evaluation-result-4103240-1466234804/solver-4103240-1466234804 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15565 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103240-1466234804.opb pid=20498 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.17 2.19 3/194 20501 /proc/meminfo: memFree=30089416/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/20501/stat : 20501 (java) R 20498 20501 15548 0 -1 4202496 705 0 0 0 0 0 0 0 20 0 1 0 25526891 23793664 354 33554432000 1073741824 1073778376 140736462074240 140736462063304 229346687553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 5809 366 281 9 0 128 0 [startup+0.100163 s] /proc/loadavg: 2.13 2.17 2.19 3/194 20501 /proc/meminfo: memFree=30089416/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 4432 0 1 0 8 1 0 0 20 0 18 0 25526891 9787879424 6052 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2389619 6052 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200255 s] /proc/loadavg: 2.13 2.17 2.19 3/194 20501 /proc/meminfo: memFree=30089416/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 5077 0 1 0 28 1 0 0 20 0 18 0 25526891 9787879424 7033 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2389619 7033 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300249 s] /proc/loadavg: 2.13 2.17 2.19 3/194 20501 /proc/meminfo: memFree=30089416/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9558476 CPUtime=0.54 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 9225 0 1 0 52 2 0 0 20 0 18 0 25526891 9787879424 11995 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2389619 11995 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558476 [startup+0.700284 s] /proc/loadavg: 2.13 2.17 2.19 3/194 20501 /proc/meminfo: memFree=30089416/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9625040 CPUtime=1.5 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 10714 0 1 0 147 3 0 0 20 0 19 0 25526891 9856040960 16160 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2406260 16160 2264 9 0 2396937 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9625040 [startup+1.50072 s] /proc/loadavg: 2.13 2.17 2.19 3/213 20520 /proc/meminfo: memFree=30024864/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9625040 CPUtime=2.34 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 10727 0 1 0 231 3 0 0 20 0 19 0 25526891 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2406260 19749 2268 9 0 2396937 0 [pid=20501/tid=20503] ppid=20498 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/20501/task/20503/stat : 20503 (java) R 20498 20501 15548 0 -1 4202560 2472 0 1 0 144 2 0 0 20 0 19 0 25526892 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843336229592 139843208781278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20504] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20504/stat : 20504 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843179755944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20505] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20505/stat : 20505 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843178703400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20506] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20506/stat : 20506 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843177650344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20507] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20507/stat : 20507 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843176597800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20508] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20508/stat : 20508 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843175545768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20509] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20509/stat : 20509 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843174493224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20510] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20510/stat : 20510 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843173440168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20511] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20511/stat : 20511 (java) S 20498 20501 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843172387624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20512] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20512/stat : 20512 (java) S 20498 20501 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843160189288 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20513] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20513/stat : 20513 (java) S 20498 20501 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843159135608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20514] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20514/stat : 20514 (java) S 20498 20501 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843158082440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20515] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20515/stat : 20515 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843157031184 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20516] ppid=20498 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/20501/task/20516/stat : 20516 (java) S 20498 20501 15548 0 -1 4202560 2970 0 0 0 38 0 0 0 20 0 19 0 25526897 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843155979064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20517] ppid=20498 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/20501/task/20517/stat : 20517 (java) S 20498 20501 15548 0 -1 4202560 4008 0 0 0 46 0 0 0 20 0 19 0 25526897 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843154926520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20518] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20518/stat : 20518 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843153873656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20519] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20519/stat : 20519 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843152821320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20520] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20520/stat : 20520 (java) S 20498 20501 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25526933 9856040960 19749 33554432000 1073741824 1073778376 140736462074240 139843151766568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 9625040 [startup+3.10077 s] /proc/loadavg: 2.12 2.16 2.19 3/213 20520 /proc/meminfo: memFree=30007984/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9625040 CPUtime=4.13 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 12662 0 1 0 409 4 0 0 20 0 19 0 25526891 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2406260 26346 2272 9 0 2396937 0 [pid=20501/tid=20503] ppid=20498 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/20501/task/20503/stat : 20503 (java) R 20498 20501 15548 0 -1 4202560 2484 0 1 0 304 2 0 0 20 0 19 0 25526892 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843336220368 139843208872896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20504] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20504/stat : 20504 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843179755944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20505] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20505/stat : 20505 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843178703400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20506] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20506/stat : 20506 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843177650344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20507] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20507/stat : 20507 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843176597800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20508] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20508/stat : 20508 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843175545768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20509] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20509/stat : 20509 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843174493224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20510] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20510/stat : 20510 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843173440168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20511] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20511/stat : 20511 (java) S 20498 20501 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843172387624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20512] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20512/stat : 20512 (java) S 20498 20501 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843160189288 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20513] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20513/stat : 20513 (java) S 20498 20501 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843159135608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20514] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20514/stat : 20514 (java) S 20498 20501 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843158082440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20515] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20515/stat : 20515 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843157031184 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20516] ppid=20498 vsize=9625040 CPUtime=0.39 cores=1,3,5,7 /proc/20501/task/20516/stat : 20516 (java) S 20498 20501 15548 0 -1 4202560 2971 0 0 0 39 0 0 0 20 0 19 0 25526897 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843155979064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20517] ppid=20498 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/20501/task/20517/stat : 20517 (java) S 20498 20501 15548 0 -1 4202560 5930 0 0 0 63 0 0 0 20 0 19 0 25526897 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843154926520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20518] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20518/stat : 20518 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843153873656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20519] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20519/stat : 20519 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843152821320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20520] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20520/stat : 20520 (java) S 20498 20501 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25526933 9856040960 26346 33554432000 1073741824 1073778376 140736462074240 139843151766568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.13 Current children cumulated vsize (KiB) 9625040 [startup+6.30075 s] /proc/loadavg: 2.12 2.16 2.19 3/213 20520 /proc/meminfo: memFree=29961632/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9625040 CPUtime=7.37 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 12687 0 1 0 732 5 0 0 20 0 19 0 25526891 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2406260 36665 2273 9 0 2396937 0 [pid=20501/tid=20503] ppid=20498 vsize=9625040 CPUtime=6.26 cores=1,3,5,7 /proc/20501/task/20503/stat : 20503 (java) R 20498 20501 15548 0 -1 4202560 2508 0 1 0 623 3 0 0 20 0 19 0 25526892 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843336229200 139843208798623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20504] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20504/stat : 20504 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843179755944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20505] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20505/stat : 20505 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843178703400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20506] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20506/stat : 20506 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843177650344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20507] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20507/stat : 20507 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843176597800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20508] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20508/stat : 20508 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843175545768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20509] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20509/stat : 20509 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843174493224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20510] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20510/stat : 20510 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843173440168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20511] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20511/stat : 20511 (java) S 20498 20501 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25526893 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843172387624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20512] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20512/stat : 20512 (java) S 20498 20501 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843160189288 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20513] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20513/stat : 20513 (java) S 20498 20501 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843159135608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20514] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20514/stat : 20514 (java) S 20498 20501 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843158082440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20515] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20515/stat : 20515 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843157031184 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20516] ppid=20498 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/20501/task/20516/stat : 20516 (java) S 20498 20501 15548 0 -1 4202560 2971 0 0 0 40 0 0 0 20 0 19 0 25526897 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843155979064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20517] ppid=20498 vsize=9625040 CPUtime=0.66 cores=1,3,5,7 /proc/20501/task/20517/stat : 20517 (java) S 20498 20501 15548 0 -1 4202560 5930 0 0 0 66 0 0 0 20 0 19 0 25526897 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843154926520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20518] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20518/stat : 20518 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843153873656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20519] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20519/stat : 20519 (java) S 20498 20501 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843152821320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20520] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20520/stat : 20520 (java) S 20498 20501 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25526933 9856040960 36665 33554432000 1073741824 1073778376 140736462074240 139843151766568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.37 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=20501/tid=20513] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20513/stat : 20513 (java) S 20498 20501 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 59638 33554432000 1073741824 1073778376 140736462074240 139843159135608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20514] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20514/stat : 20514 (java) S 20498 20501 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 59638 33554432000 1073741824 1073778376 140736462074240 139843158082440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20515] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20515/stat : 20515 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 59638 33554432000 1073741824 1073778376 140736462074240 139843157031184 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20516] ppid=20498 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/20501/task/20516/stat : 20516 (java) S 20498 20501 15548 0 -1 4202560 2972 0 0 0 52 0 0 0 20 0 19 0 25526897 9856040960 59638 33554432000 1073741824 1073778376 140736462074240 139843155979064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20517] ppid=20498 vsize=9625040 CPUtime=0.89 cores=1,3,5,7 /proc/20501/task/20517/stat : 20517 (java) S 20498 20501 15548 0 -1 4202560 5937 0 0 0 88 1 0 0 20 0 19 0 25526897 9856040960 59638 33554432000 1073741824 1073778376 140736462074240 139843154926520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20518] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20518/stat : 20518 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 59638 33554432000 1073741824 1073778376 140736462074240 139843153873656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20519] ppid=20498 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/20501/task/20519/stat : 20519 (java) S 20498 20501 15548 0 -1 4202560 94 0 0 0 21 21 0 0 20 0 19 0 25526897 9856040960 59638 33554432000 1073741824 1073778376 140736462074240 139843152821320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20520] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20520/stat : 20520 (java) S 20498 20501 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25526933 9856040960 59638 33554432000 1073741824 1073778376 140736462074240 139843151766568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1618.15 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.22 2.24 2.19 3/213 20627 /proc/meminfo: memFree=29755348/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9625040 CPUtime=1679.13 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 32812 0 1 0 167808 105 0 0 20 0 19 0 25526891 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2406260 60244 2295 9 0 2396937 0 [pid=20501/tid=20503] ppid=20498 vsize=9625040 CPUtime=1653.64 cores=1,3,5,7 /proc/20501/task/20503/stat : 20503 (java) R 20498 20501 15548 0 -1 4202560 7408 0 1 0 165329 35 0 0 20 0 19 0 25526892 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843336228160 139843208913419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20504] ppid=20498 vsize=9625040 CPUtime=2.98 cores=1,3,5,7 /proc/20501/task/20504/stat : 20504 (java) S 20498 20501 15548 0 -1 4202560 2423 0 0 0 289 9 0 0 20 0 19 0 25526893 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843179755944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20505] ppid=20498 vsize=9625040 CPUtime=2.86 cores=1,3,5,7 /proc/20501/task/20505/stat : 20505 (java) S 20498 20501 15548 0 -1 4202560 1703 0 0 0 279 7 0 0 20 0 19 0 25526893 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843178703400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20506] ppid=20498 vsize=9625040 CPUtime=2.85 cores=1,3,5,7 /proc/20501/task/20506/stat : 20506 (java) S 20498 20501 15548 0 -1 4202560 1894 0 0 0 276 9 0 0 20 0 19 0 25526893 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843177650344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20507] ppid=20498 vsize=9625040 CPUtime=2.77 cores=1,3,5,7 /proc/20501/task/20507/stat : 20507 (java) S 20498 20501 15548 0 -1 4202560 1695 0 0 0 268 9 0 0 20 0 19 0 25526893 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843176597800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20508] ppid=20498 vsize=9625040 CPUtime=2.83 cores=1,3,5,7 /proc/20501/task/20508/stat : 20508 (java) S 20498 20501 15548 0 -1 4202560 1631 0 0 0 274 9 0 0 20 0 19 0 25526893 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843175545768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20509] ppid=20498 vsize=9625040 CPUtime=2.76 cores=1,3,5,7 /proc/20501/task/20509/stat : 20509 (java) S 20498 20501 15548 0 -1 4202560 2173 0 0 0 268 8 0 0 20 0 19 0 25526893 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843174493224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20510] ppid=20498 vsize=9625040 CPUtime=2.94 cores=1,3,5,7 /proc/20501/task/20510/stat : 20510 (java) S 20498 20501 15548 0 -1 4202560 1530 0 0 0 286 8 0 0 20 0 19 0 25526893 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843173440168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20511] ppid=20498 vsize=9625040 CPUtime=2.89 cores=1,3,5,7 /proc/20501/task/20511/stat : 20511 (java) S 20498 20501 15548 0 -1 4202560 1812 0 0 0 281 8 0 0 20 0 19 0 25526893 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843172387624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20512] ppid=20498 vsize=9625040 CPUtime=1.11 cores=1,3,5,7 /proc/20501/task/20512/stat : 20512 (java) S 20498 20501 15548 0 -1 4202560 274 0 0 0 100 11 0 0 20 0 19 0 25526894 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843160189288 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20513] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20513/stat : 20513 (java) S 20498 20501 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843159135608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20514] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20514/stat : 20514 (java) S 20498 20501 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843158082440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20515] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20515/stat : 20515 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843157031184 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20516] ppid=20498 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/20501/task/20516/stat : 20516 (java) S 20498 20501 15548 0 -1 4202560 2972 0 0 0 52 0 0 0 20 0 19 0 25526897 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843155979064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20517] ppid=20498 vsize=9625040 CPUtime=0.89 cores=1,3,5,7 /proc/20501/task/20517/stat : 20517 (java) S 20498 20501 15548 0 -1 4202560 5937 0 0 0 88 1 0 0 20 0 19 0 25526897 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843154926520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20518] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20518/stat : 20518 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843153873656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20519] ppid=20498 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/20501/task/20519/stat : 20519 (java) S 20498 20501 15548 0 -1 4202560 96 0 0 0 21 22 0 0 20 0 19 0 25526897 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843152821320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20520] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20520/stat : 20520 (java) S 20498 20501 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25526933 9856040960 60244 33554432000 1073741824 1073778376 140736462074240 139843151766568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1679.13 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.26 2.24 2.19 3/213 20628 /proc/meminfo: memFree=29715584/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9625040 CPUtime=1740.14 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 35369 0 1 0 173904 110 0 0 20 0 19 0 25526891 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2406260 59782 2295 9 0 2396937 0 [pid=20501/tid=20503] ppid=20498 vsize=9625040 CPUtime=1713.05 cores=1,3,5,7 /proc/20501/task/20503/stat : 20503 (java) R 20498 20501 15548 0 -1 4202560 7807 0 1 0 171269 36 0 0 20 0 19 0 25526892 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843336228328 139843208735503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20504] ppid=20498 vsize=9625040 CPUtime=3.17 cores=1,3,5,7 /proc/20501/task/20504/stat : 20504 (java) S 20498 20501 15548 0 -1 4202560 2735 0 0 0 307 10 0 0 20 0 19 0 25526893 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843179755944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20505] ppid=20498 vsize=9625040 CPUtime=3.09 cores=1,3,5,7 /proc/20501/task/20505/stat : 20505 (java) S 20498 20501 15548 0 -1 4202560 1956 0 0 0 301 8 0 0 20 0 19 0 25526893 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843178703400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20506] ppid=20498 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/20501/task/20506/stat : 20506 (java) S 20498 20501 15548 0 -1 4202560 2257 0 0 0 296 9 0 0 20 0 19 0 25526893 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843177650344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20507] ppid=20498 vsize=9625040 CPUtime=2.96 cores=1,3,5,7 /proc/20501/task/20507/stat : 20507 (java) S 20498 20501 15548 0 -1 4202560 2187 0 0 0 287 9 0 0 20 0 19 0 25526893 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843176597800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20508] ppid=20498 vsize=9625040 CPUtime=3.02 cores=1,3,5,7 /proc/20501/task/20508/stat : 20508 (java) S 20498 20501 15548 0 -1 4202560 1819 0 0 0 293 9 0 0 20 0 19 0 25526893 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843175545768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20509] ppid=20498 vsize=9625040 CPUtime=2.95 cores=1,3,5,7 /proc/20501/task/20509/stat : 20509 (java) S 20498 20501 15548 0 -1 4202560 2330 0 0 0 286 9 0 0 20 0 19 0 25526893 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843174493224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20510] ppid=20498 vsize=9625040 CPUtime=3.12 cores=1,3,5,7 /proc/20501/task/20510/stat : 20510 (java) S 20498 20501 15548 0 -1 4202560 1752 0 0 0 304 8 0 0 20 0 19 0 25526893 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843173440168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20511] ppid=20498 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/20501/task/20511/stat : 20511 (java) S 20498 20501 15548 0 -1 4202560 1959 0 0 0 297 8 0 0 20 0 19 0 25526893 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843172387624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20512] ppid=20498 vsize=9625040 CPUtime=1.22 cores=1,3,5,7 /proc/20501/task/20512/stat : 20512 (java) S 20498 20501 15548 0 -1 4202560 294 0 0 0 110 12 0 0 20 0 19 0 25526894 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843160189288 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20513] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20513/stat : 20513 (java) S 20498 20501 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843159135608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20514] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20514/stat : 20514 (java) S 20498 20501 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843158082440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20515] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20515/stat : 20515 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843157031184 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20516] ppid=20498 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/20501/task/20516/stat : 20516 (java) S 20498 20501 15548 0 -1 4202560 2972 0 0 0 52 0 0 0 20 0 19 0 25526897 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843155979064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20517] ppid=20498 vsize=9625040 CPUtime=0.89 cores=1,3,5,7 /proc/20501/task/20517/stat : 20517 (java) S 20498 20501 15548 0 -1 4202560 5937 0 0 0 88 1 0 0 20 0 19 0 25526897 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843154926520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20518] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20518/stat : 20518 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843153873656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20519] ppid=20498 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/20501/task/20519/stat : 20519 (java) S 20498 20501 15548 0 -1 4202560 100 0 0 0 22 23 0 0 20 0 19 0 25526897 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843152821320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20520] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20520/stat : 20520 (java) S 20498 20501 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25526933 9856040960 59782 33554432000 1073741824 1073778376 140736462074240 139843151766568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1740.14 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.4 s] /proc/loadavg: 2.41 2.28 2.21 3/213 20629 /proc/meminfo: memFree=29876152/32872528 swapFree=1370848/1518016 [pid=20501] ppid=20498 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7 /proc/20501/stat : 20501 (java) S 20498 20501 15548 0 -1 4202496 37205 0 1 0 179897 112 0 0 20 0 19 0 25526891 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 140736462065376 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/20501/statm: 2406260 58222 2295 9 0 2396937 0 [pid=20501/tid=20503] ppid=20498 vsize=9625040 CPUtime=1771.65 cores=1,3,5,7 /proc/20501/task/20503/stat : 20503 (java) R 20498 20501 15548 0 -1 4202560 8089 0 1 0 177129 36 0 0 20 0 19 0 25526892 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843336228328 139843208781068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20504] ppid=20498 vsize=9625040 CPUtime=3.32 cores=1,3,5,7 /proc/20501/task/20504/stat : 20504 (java) S 20498 20501 15548 0 -1 4202560 2906 0 0 0 322 10 0 0 20 0 19 0 25526893 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843179755944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20505] ppid=20498 vsize=9625040 CPUtime=3.23 cores=1,3,5,7 /proc/20501/task/20505/stat : 20505 (java) S 20498 20501 15548 0 -1 4202560 2163 0 0 0 315 8 0 0 20 0 19 0 25526893 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843178703400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20506] ppid=20498 vsize=9625040 CPUtime=3.19 cores=1,3,5,7 /proc/20501/task/20506/stat : 20506 (java) S 20498 20501 15548 0 -1 4202560 2529 0 0 0 310 9 0 0 20 0 19 0 25526893 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843177650344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20507] ppid=20498 vsize=9625040 CPUtime=3.14 cores=1,3,5,7 /proc/20501/task/20507/stat : 20507 (java) S 20498 20501 15548 0 -1 4202560 2552 0 0 0 305 9 0 0 20 0 19 0 25526893 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843176597800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20508] ppid=20498 vsize=9625040 CPUtime=3.16 cores=1,3,5,7 /proc/20501/task/20508/stat : 20508 (java) S 20498 20501 15548 0 -1 4202560 1898 0 0 0 307 9 0 0 20 0 19 0 25526893 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843175545768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20501/tid=20509] ppid=20498 vsize=9625040 CPUtime=3.1 cores=1,3,5,7 /proc/20501/task/20509/stat : 20509 (java) S 20498 20501 15548 0 -1 4202560 2464 0 0 0 301 9 0 0 20 0 19 0 25526893 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843174493224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20510] ppid=20498 vsize=9625040 CPUtime=3.3 cores=1,3,5,7 /proc/20501/task/20510/stat : 20510 (java) S 20498 20501 15548 0 -1 4202560 1908 0 0 0 321 9 0 0 20 0 19 0 25526893 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843173440168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20511] ppid=20498 vsize=9625040 CPUtime=3.21 cores=1,3,5,7 /proc/20501/task/20511/stat : 20511 (java) S 20498 20501 15548 0 -1 4202560 2099 0 0 0 313 8 0 0 20 0 19 0 25526893 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843172387624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20512] ppid=20498 vsize=9625040 CPUtime=1.32 cores=1,3,5,7 /proc/20501/task/20512/stat : 20512 (java) S 20498 20501 15548 0 -1 4202560 320 0 0 0 120 12 0 0 20 0 19 0 25526894 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843160189288 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20513] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20513/stat : 20513 (java) S 20498 20501 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843159135608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20514] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20514/stat : 20514 (java) S 20498 20501 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25526894 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843158082440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20515] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20515/stat : 20515 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843157031184 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20516] ppid=20498 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/20501/task/20516/stat : 20516 (java) S 20498 20501 15548 0 -1 4202560 2972 0 0 0 52 0 0 0 20 0 19 0 25526897 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843155979064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20501/tid=20517] ppid=20498 vsize=9625040 CPUtime=0.89 cores=1,3,5,7 /proc/20501/task/20517/stat : 20517 (java) S 20498 20501 15548 0 -1 4202560 5937 0 0 0 88 1 0 0 20 0 19 0 25526897 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843154926520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20518] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20518/stat : 20518 (java) S 20498 20501 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25526897 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843153873656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20501/tid=20519] ppid=20498 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/20501/task/20519/stat : 20519 (java) S 20498 20501 15548 0 -1 4202560 104 0 0 0 23 23 0 0 20 0 19 0 25526897 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843152821320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20501/tid=20520] ppid=20498 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/20501/task/20520/stat : 20520 (java) S 20498 20501 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25526933 9856040960 58222 33554432000 1073741824 1073778376 140736462074240 139843151766568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 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 20501 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1781.45 CPU time (s): 1800.88 CPU user time (s): 1799.31 CPU system time (s): 1.57376 CPU usage (%): 101.091 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 1.57376 maximum resident set size= 424684 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37243 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 66361 involuntary context switches= 77667 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.4723 second user time and 12.2741 second system time The end
Begin job on node129 at 2016-06-18 09:26:44 IDJOB=4103240 IDBENCH=2306 IDSOLVER=2546 FILE ID=node129/4103240-1466234804 RUNJOBID= node129-1466206067-15565 PBS_JOBID= 19918148 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103240-1466234804/watcher-4103240-1466234804 -o /tmp/evaluation-result-4103240-1466234804/solver-4103240-1466234804 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15565 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103240-1466234804.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= adabd7fea668d3a11dc3f3df10fc7224 RANDOM SEED=125097153 node129.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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.28 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.143 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.143 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.143 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.143 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.143 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.54 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.143 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.55 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.143 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30089308 kB Buffers: 115116 kB Cached: 131076 kB SwapCached: 1940 kB Active: 344532 kB Inactive: 185664 kB Active(anon): 285304 kB Inactive(anon): 1076 kB Active(file): 59228 kB Inactive(file): 184588 kB Unevictable: 1518016 kB Mlocked: 1370848 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 1284 kB Writeback: 0 kB AnonPages: 1802932 kB Mapped: 15384 kB Shmem: 0 kB Slab: 600420 kB SReclaimable: 44148 kB SUnreclaim: 556272 kB KernelStack: 1592 kB PageTables: 7688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1957088 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 401408 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= 71736 MiB End job on node129 at 2016-06-18 09:56:26