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) | 37 | 1800.03 | 1777.25 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb |
| MD5SUM | 8c1b16c8c16304b0c31b222fe698dea9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 35 |
| Best CPU time to get the best result obtained on this benchmark | 4.98424 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 35 |
| Optimality of the best value was proved | NO |
| Number of variables | 7936 |
| Total number of constraints | 288 |
| 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 | 288 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 480 |
| Number of terms in the objective function | 7936 |
| Biggest coefficient in the objective function | 1807 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 530504 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 530504 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-4099909-1466208170.opb 0.08/0.11 c reading problem ... 0.08/0.12 c objective function found 0.50/0.39 c ... done. Wall clock time 0.273s. 0.50/0.39 c declared #vars 7936 0.50/0.39 c #constraints 320 0.50/0.39 c constraints type 0.50/0.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26 0.50/0.39 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 294 0.50/0.39 c 320 constraints processed. 0.50/0.39 c objective function length is 7936 literals 1.05/0.55 c SATISFIABLE 1.05/0.55 c OPTIMIZING... 1.05/0.55 c Got one! Elapsed wall clock time (in seconds):0.433 1.05/0.55 o 42 1.35/0.61 c Got one! Elapsed wall clock time (in seconds):0.492 1.35/0.61 o 37 2.45/1.32 c cleaning 2527 clauses out of 5077 with flag 23379/5077 3.21/2.09 c cleaning 4260 clauses out of 8550 with flag 57041/11077 4.21/3.00 c cleaning 5633 clauses out of 11290 with flag 97821/18077 5.22/4.04 c cleaning 6818 clauses out of 13657 with flag 147956/26077 6.33/5.11 c cleaning 7893 clauses out of 15839 with flag 201172/35077 7.57/6.39 c cleaning 8969 clauses out of 17946 with flag 269443/45077 9.08/7.86 c cleaning 9973 clauses out of 19977 with flag 341272/56077 10.77/9.50 c cleaning 10989 clauses out of 22004 with flag 428687/68077 12.38/11.16 c cleaning 11986 clauses out of 24015 with flag 508577/81077 14.07/12.89 c cleaning 12999 clauses out of 26029 with flag 601729/95077 16.22/14.92 c cleaning 13991 clauses out of 28030 with flag 708884/110077 18.52/17.23 c cleaning 15010 clauses out of 30040 with flag 859715/126078 20.92/19.65 c cleaning 15921 clauses out of 32029 with flag 988338/143077 23.43/22.19 c cleaning 17029 clauses out of 34110 with flag 1148555/161079 26.05/24.71 c cleaning 18018 clauses out of 36079 with flag 1301615/180077 28.75/27.50 c cleaning 19014 clauses out of 38063 with flag 1468181/200079 31.75/30.43 c cleaning 20003 clauses out of 40047 with flag 1633105/221077 34.97/33.70 c cleaning 20972 clauses out of 42044 with flag 1801701/243077 38.48/37.14 c cleaning 21988 clauses out of 44072 with flag 1997144/266077 42.18/40.86 c cleaning 22978 clauses out of 46084 with flag 2208211/290077 46.40/45.02 c cleaning 23943 clauses out of 48107 with flag 2425641/315078 50.60/49.25 c cleaning 24956 clauses out of 50163 with flag 2661207/341077 55.12/53.73 c cleaning 25970 clauses out of 52208 with flag 2902689/368078 59.63/58.28 c cleaning 27112 clauses out of 54237 with flag 3148161/396077 64.08/62.62 c cleaning 28015 clauses out of 56125 with flag 3371504/425077 68.28/66.89 c cleaning 28950 clauses out of 58111 with flag 3593932/455078 73.15/71.64 c cleaning 30026 clauses out of 60160 with flag 3860443/486077 78.14/76.69 c cleaning 31006 clauses out of 62134 with flag 4125195/518077 83.69/82.15 c cleaning 32045 clauses out of 64128 with flag 4418238/551077 89.75/88.18 c cleaning 32990 clauses out of 66083 with flag 4748396/585077 96.54/94.93 c cleaning 33867 clauses out of 68093 with flag 5083597/620077 102.88/101.27 c cleaning 35033 clauses out of 70226 with flag 5452114/656077 109.12/107.42 c cleaning 35884 clauses out of 72193 with flag 5787733/693077 115.85/114.11 c cleaning 37034 clauses out of 74309 with flag 6121007/731077 122.45/120.79 c cleaning 38063 clauses out of 76275 with flag 6479675/770077 129.19/127.48 c cleaning 39055 clauses out of 78212 with flag 6840914/810077 136.53/134.75 c cleaning 40007 clauses out of 80157 with flag 7238945/851077 143.41/141.52 c cleaning 41031 clauses out of 82150 with flag 7597114/893077 150.08/148.19 c cleaning 41987 clauses out of 84120 with flag 7946916/936078 157.46/155.43 c cleaning 43004 clauses out of 86132 with flag 8322963/980077 165.25/163.11 c cleaning 43847 clauses out of 88130 with flag 8726998/1025079 173.01/170.88 c cleaning 44981 clauses out of 90281 with flag 9154122/1071077 180.87/178.61 c cleaning 46125 clauses out of 92300 with flag 9568657/1118077 189.12/186.89 c cleaning 47017 clauses out of 94175 with flag 10003908/1166077 197.98/195.64 c cleaning 48044 clauses out of 96158 with flag 10444857/1215077 207.03/204.67 c cleaning 49035 clauses out of 98114 with flag 10850539/1265077 216.44/213.91 c cleaning 49967 clauses out of 100080 with flag 11346252/1316078 225.64/223.02 c cleaning 51019 clauses out of 102112 with flag 11763420/1368077 235.25/232.59 c cleaning 52039 clauses out of 104093 with flag 12222169/1421077 245.18/242.37 c cleaning 52976 clauses out of 106054 with flag 12677927/1475077 254.99/252.06 c cleaning 53966 clauses out of 108078 with flag 13165563/1530077 265.27/262.24 c cleaning 55045 clauses out of 110112 with flag 13665684/1586077 275.76/272.68 c cleaning 56023 clauses out of 112068 with flag 14162925/1643078 286.46/283.23 c cleaning 57013 clauses out of 114044 with flag 14662131/1701077 297.15/293.82 c cleaning 57925 clauses out of 116031 with flag 15205528/1760077 307.84/304.41 c cleaning 58991 clauses out of 118106 with flag 15762244/1820077 318.61/315.19 c cleaning 60051 clauses out of 120115 with flag 16307726/1881077 330.06/326.54 c cleaning 60922 clauses out of 122064 with flag 16857821/1943077 341.73/338.15 c cleaning 62059 clauses out of 124142 with flag 17454308/2006077 353.93/350.28 c cleaning 62999 clauses out of 126083 with flag 18084726/2070077 366.98/363.14 c cleaning 64008 clauses out of 128086 with flag 18777427/2135079 380.44/376.59 c cleaning 64773 clauses out of 130076 with flag 19471635/2201077 394.24/390.22 c cleaning 65991 clauses out of 132303 with flag 20161200/2268077 407.73/403.66 c cleaning 66954 clauses out of 134312 with flag 20817057/2336077 421.14/416.95 c cleaning 68020 clauses out of 136358 with flag 21503518/2405077 434.63/430.39 c cleaning 68947 clauses out of 138338 with flag 22213107/2475077 448.76/444.34 c cleaning 69951 clauses out of 140391 with flag 22901733/2546077 462.77/458.28 c cleaning 71131 clauses out of 142440 with flag 23563702/2618077 477.59/473.00 c cleaning 71821 clauses out of 144309 with flag 24307196/2691077 492.83/488.05 c cleaning 73056 clauses out of 146488 with flag 25052847/2765077 507.94/503.04 c cleaning 74217 clauses out of 148433 with flag 25719527/2840078 522.40/517.30 c cleaning 75019 clauses out of 150215 with flag 26395869/2916077 538.20/533.00 c cleaning 76064 clauses out of 152196 with flag 27112623/2993077 552.64/547.39 c cleaning 76946 clauses out of 154132 with flag 27779784/3071077 567.42/561.97 c cleaning 78048 clauses out of 156186 with flag 28524667/3150077 583.49/577.83 c cleaning 78928 clauses out of 158138 with flag 29258771/3230077 599.51/593.65 c cleaning 80023 clauses out of 160210 with flag 30084367/3311077 615.84/609.72 c cleaning 80856 clauses out of 162187 with flag 30964068/3393077 632.78/626.53 c cleaning 82025 clauses out of 164331 with flag 31812012/3476077 649.40/642.97 c cleaning 82814 clauses out of 166306 with flag 32705671/3560077 667.44/660.73 c cleaning 84171 clauses out of 168492 with flag 33524219/3645077 684.19/677.25 c cleaning 85076 clauses out of 170321 with flag 34298993/3731077 701.63/694.49 c cleaning 86047 clauses out of 172245 with flag 35172074/3818077 718.24/710.85 c cleaning 86995 clauses out of 174198 with flag 35987619/3906077 735.75/728.01 c cleaning 88082 clauses out of 176203 with flag 36837147/3995077 752.98/744.97 c cleaning 89035 clauses out of 178121 with flag 37711433/4085077 770.25/761.90 c cleaning 89992 clauses out of 180086 with flag 38570410/4176077 787.07/778.42 c cleaning 91028 clauses out of 182094 with flag 39463798/4268077 805.61/796.61 c cleaning 91979 clauses out of 184066 with flag 40411139/4361077 823.33/814.04 c cleaning 92988 clauses out of 186089 with flag 41336179/4455079 842.19/832.61 c cleaning 93911 clauses out of 188099 with flag 42355106/4550077 861.17/851.36 c cleaning 95051 clauses out of 190189 with flag 43396960/4646078 881.15/871.10 c cleaning 95962 clauses out of 192137 with flag 44436266/4743077 900.95/890.57 c cleaning 96957 clauses out of 194176 with flag 45329117/4841078 920.66/909.97 c cleaning 97837 clauses out of 196218 with flag 46327910/4940077 940.53/929.52 c cleaning 99019 clauses out of 198381 with flag 47321908/5040077 961.34/950.01 c cleaning 100092 clauses out of 200362 with flag 48291359/5141077 982.06/970.49 c cleaning 101028 clauses out of 202271 with flag 49276826/5243078 1002.24/990.24 c cleaning 102072 clauses out of 204242 with flag 50226762/5346077 1022.07/1009.73 c cleaning 103070 clauses out of 206170 with flag 51239821/5450077 1042.28/1029.68 c cleaning 104035 clauses out of 208101 with flag 52205073/5555078 1062.20/1049.22 c cleaning 104914 clauses out of 210065 with flag 53118035/5661077 1082.51/1069.23 c cleaning 106034 clauses out of 212153 with flag 54088956/5768079 1103.52/1089.98 c cleaning 107045 clauses out of 214117 with flag 54943833/5876077 1124.11/1110.26 c cleaning 107989 clauses out of 216072 with flag 55852375/5985077 1143.58/1129.55 c cleaning 109037 clauses out of 218083 with flag 56827203/6095077 1164.25/1149.93 c cleaning 110004 clauses out of 220046 with flag 57854780/6206077 1183.44/1168.89 c cleaning 110984 clauses out of 222042 with flag 58886280/6318077 1203.70/1188.86 c cleaning 112011 clauses out of 224058 with flag 59901833/6431077 1225.20/1210.09 c cleaning 112897 clauses out of 226048 with flag 61009449/6545078 1247.76/1232.32 c cleaning 114022 clauses out of 228150 with flag 62137413/6660077 1271.05/1255.30 c cleaning 114945 clauses out of 230128 with flag 63272298/6776077 1294.31/1278.38 c cleaning 116003 clauses out of 232183 with flag 64439609/6893077 1318.25/1301.99 c cleaning 117067 clauses out of 234180 with flag 65648790/7011077 1342.84/1326.21 c cleaning 118013 clauses out of 236113 with flag 66875273/7130077 1366.65/1349.74 c cleaning 118942 clauses out of 238100 with flag 68138929/7250077 1389.51/1372.28 c cleaning 119957 clauses out of 240158 with flag 69396468/7371077 1413.39/1395.72 c cleaning 121074 clauses out of 242202 with flag 70633995/7493078 1437.22/1419.29 c cleaning 122021 clauses out of 244127 with flag 71905435/7616077 1460.19/1441.82 c cleaning 122993 clauses out of 246106 with flag 73102941/7740077 1484.99/1466.20 c cleaning 123883 clauses out of 248113 with flag 74376086/7865077 1511.88/1492.83 c cleaning 124931 clauses out of 250230 with flag 75745221/7991077 1538.43/1519.11 c cleaning 126106 clauses out of 252299 with flag 77130395/8118077 1562.31/1542.76 c cleaning 127058 clauses out of 254193 with flag 78402231/8246077 1587.22/1567.37 c cleaning 128033 clauses out of 256135 with flag 79659064/8375077 1613.05/1592.87 c cleaning 128912 clauses out of 258102 with flag 80931898/8505077 1637.96/1617.32 c cleaning 130061 clauses out of 260190 with flag 82220118/8636077 1663.25/1642.23 c cleaning 131031 clauses out of 262129 with flag 83548008/8768077 1688.95/1667.50 c cleaning 132021 clauses out of 264098 with flag 84809608/8901077 1713.74/1691.92 c cleaning 132892 clauses out of 266077 with flag 86014887/9035077 1740.33/1718.30 c cleaning 134078 clauses out of 268185 with flag 87294439/9170077 1767.41/1745.06 c cleaning 135019 clauses out of 270107 with flag 88565578/9306077 1795.04/1772.33 c cleaning 136036 clauses out of 272088 with flag 89871265/9443077 1800.03/1777.20 c starts : 37725 1800.03/1777.20 c conflicts : 9468832 1800.03/1777.20 c decisions : 557990274 1800.03/1777.20 c propagations : 1052192934 1800.03/1777.20 c inspects : 4737523176 1800.03/1777.20 c shortcuts : 0 1800.03/1777.20 c learnt literals : 0 1800.03/1777.20 c learnt binary clauses : 0 1800.03/1777.20 c learnt ternary clauses : 0 1800.03/1777.20 c learnt constraints : 9468832 1800.03/1777.20 c ignored constraints : 0 1800.03/1777.20 c root simplifications : 0 1800.03/1777.20 c removed literals (reason simplification) : 0 1800.03/1777.20 c reason swapping (by a shorter reason) : 0 1800.03/1777.20 c Calls to reduceDB : 133 1800.03/1777.20 c Number of update (reduction) of LBD : 7970089 1800.03/1777.20 c Imported unit clauses : 0 1800.03/1777.20 c number of reductions to clauses (during analyze) : 0 1800.03/1777.20 c number of learned constraints concerned by reduction : 0 1800.03/1777.20 c number of learning phase by resolution : 0 1800.03/1777.20 c number of learning phase by cutting planes : 0 1800.03/1777.20 c speed (assignments/second) : 592193.2255836846 1800.03/1777.20 c non guided choices 0 1800.03/1777.23 c learnt constraints type 1800.03/1777.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 161807 1800.03/1777.23 s SATISFIABLE 1800.03/1777.23 c Found 2 solution(s) 1800.03/1777.24 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.03/1777.25 c objective function=37 1800.03/1777.25 c Total wall clock time (in seconds): 1777.133
OK 37
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-4099909-1466208170/watcher-4099909-1466208170 -o /tmp/evaluation-result-4099909-1466208170/solver-4099909-1466208170 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466206057-11790 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099909-1466208170.opb pid=14834 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.23 2.10 1.80 3/196 14837 /proc/meminfo: memFree=31734380/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/14837/stat : 14837 (java) D 14834 14837 11773 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 22862966 9515008 182 33554432000 1073741824 1073778376 140736180387536 140736180378568 206408859317 0 0 4096 0 18446744072100756772 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2323 182 140 9 0 71 0 [startup+0.100159 s] /proc/loadavg: 2.23 2.10 1.80 3/196 14837 /proc/meminfo: memFree=31734380/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 4399 0 1 0 7 1 0 0 20 0 18 0 22862966 9787879424 6020 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2389619 6020 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200336 s] /proc/loadavg: 2.23 2.10 1.80 3/196 14837 /proc/meminfo: memFree=31734380/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 5020 0 1 0 26 1 0 0 20 0 18 0 22862966 9787879424 6988 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2389619 6988 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300356 s] /proc/loadavg: 2.23 2.10 1.80 3/196 14837 /proc/meminfo: memFree=31734380/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 8509 0 1 0 48 2 0 0 20 0 18 0 22862966 9787879424 11220 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2389619 11220 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700314 s] /proc/loadavg: 2.23 2.10 1.80 3/196 14837 /proc/meminfo: memFree=31734380/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9625040 CPUtime=1.65 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 11319 0 1 0 162 3 0 0 20 0 19 0 22862966 9856040960 16600 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2406260 16600 2265 9 0 2396937 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 9625040 [startup+1.50084 s] /proc/loadavg: 2.21 2.10 1.80 3/215 14856 /proc/meminfo: memFree=31668728/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9625040 CPUtime=2.67 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 13994 0 1 0 263 4 0 0 20 0 19 0 22862966 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2406260 20192 2272 9 0 2396937 0 [pid=14837/tid=14839] ppid=14834 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/14837/task/14839/stat : 14839 (java) R 14834 14837 11773 0 -1 4202560 2426 0 1 0 144 2 0 0 20 0 19 0 22862967 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139852484141336 139852339909344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14840/stat : 14840 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139852328081832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14841] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14841/stat : 14841 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139852327029288 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14842] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14842/stat : 14842 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139852325976232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14843] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14843/stat : 14843 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139852324923688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14844] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14844/stat : 14844 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139852323871656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14845] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14845/stat : 14845 (java) S 14834 14837 11773 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851986889768 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14846] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14846/stat : 14846 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851985836712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14847] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14847/stat : 14847 (java) S 14834 14837 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851984784168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14848] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14848/stat : 14848 (java) S 14834 14837 11773 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22862969 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851972585832 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14849] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14849/stat : 14849 (java) S 14834 14837 11773 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851971532152 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14850] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14850/stat : 14850 (java) S 14834 14837 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851970478984 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14851] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14851/stat : 14851 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851969427728 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14852] ppid=14834 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/14837/task/14852/stat : 14852 (java) S 14834 14837 11773 0 -1 4202560 6518 0 0 0 63 1 0 0 20 0 19 0 22862972 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851968375608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14853] ppid=14834 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/14837/task/14853/stat : 14853 (java) S 14834 14837 11773 0 -1 4202560 3771 0 0 0 53 0 0 0 20 0 19 0 22862972 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851967323064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14854] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14854/stat : 14854 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851966270200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14855] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14855/stat : 14855 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851965217864 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14856] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14856/stat : 14856 (java) S 14834 14837 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22863009 9856040960 20192 33554432000 1073741824 1073778376 140733835479728 139851964064808 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 9625040 [startup+3.10081 s] /proc/loadavg: 2.21 2.10 1.80 3/215 14856 /proc/meminfo: memFree=31647752/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9625040 CPUtime=4.32 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 14011 0 1 0 428 4 0 0 20 0 19 0 22862966 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2406260 27872 2272 9 0 2396937 0 [pid=14837/tid=14839] ppid=14834 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/14837/task/14839/stat : 14839 (java) R 14834 14837 11773 0 -1 4202560 2443 0 1 0 303 2 0 0 20 0 19 0 22862967 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139852484139392 139852340131595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14840/stat : 14840 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139852328081832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14841] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14841/stat : 14841 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139852327029288 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14842] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14842/stat : 14842 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139852325976232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14843] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14843/stat : 14843 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139852324923688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14844] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14844/stat : 14844 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139852323871656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14845] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14845/stat : 14845 (java) S 14834 14837 11773 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851986889768 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14846] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14846/stat : 14846 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851985836712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14847] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14847/stat : 14847 (java) S 14834 14837 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851984784168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14848] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14848/stat : 14848 (java) S 14834 14837 11773 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22862969 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851972585832 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14849] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14849/stat : 14849 (java) S 14834 14837 11773 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851971532152 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14850] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14850/stat : 14850 (java) S 14834 14837 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851970478984 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14851] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14851/stat : 14851 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851969427728 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14852] ppid=14834 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/14837/task/14852/stat : 14852 (java) S 14834 14837 11773 0 -1 4202560 6518 0 0 0 65 2 0 0 20 0 19 0 22862972 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851968375608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14853] ppid=14834 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/14837/task/14853/stat : 14853 (java) S 14834 14837 11773 0 -1 4202560 3771 0 0 0 56 0 0 0 20 0 19 0 22862972 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851967323064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14854] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14854/stat : 14854 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851966270200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14855] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14855/stat : 14855 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851965217864 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14856] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14856/stat : 14856 (java) S 14834 14837 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22863009 9856040960 27872 33554432000 1073741824 1073778376 140733835479728 139851964064808 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.32 Current children cumulated vsize (KiB) 9625040 [startup+6.30088 s] /proc/loadavg: 2.21 2.10 1.80 3/215 14856 /proc/meminfo: memFree=31585908/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9625040 CPUtime=7.57 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 14089 0 1 0 750 7 0 0 20 0 19 0 22862966 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2406260 46807 2286 9 0 2396937 0 [pid=14837/tid=14839] ppid=14834 vsize=9625040 CPUtime=6.23 cores=1,3,5,7 /proc/14837/task/14839/stat : 14839 (java) R 14834 14837 11773 0 -1 4202560 2475 0 1 0 621 2 0 0 20 0 19 0 22862967 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139852484140344 139852340095835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14840/stat : 14840 (java) S 14834 14837 11773 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139852328081832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14841] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14841/stat : 14841 (java) S 14834 14837 11773 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139852327029288 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14842] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14842/stat : 14842 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139852325976232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14843] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14843/stat : 14843 (java) S 14834 14837 11773 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139852324923688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14844] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14844/stat : 14844 (java) S 14834 14837 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139852323871656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14845] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14845/stat : 14845 (java) S 14834 14837 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851986889768 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14846] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14846/stat : 14846 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851985836712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14847] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14847/stat : 14847 (java) S 14834 14837 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22862968 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851984784168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14848] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14848/stat : 14848 (java) S 14834 14837 11773 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22862969 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851972585832 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14849] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14849/stat : 14849 (java) S 14834 14837 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851971532152 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14850] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14850/stat : 14850 (java) S 14834 14837 11773 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851970478984 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14851] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14851/stat : 14851 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851969427728 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14852] ppid=14834 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/14837/task/14852/stat : 14852 (java) S 14834 14837 11773 0 -1 4202560 6518 0 0 0 65 2 0 0 20 0 19 0 22862972 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851968375608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14853] ppid=14834 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/14837/task/14853/stat : 14853 (java) S 14834 14837 11773 0 -1 4202560 3771 0 0 0 57 0 0 0 20 0 19 0 22862972 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851967323064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14854] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14854/stat : 14854 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851966270200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14855] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14855/stat : 14855 (java) S 14834 14837 11773 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851965217864 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14856] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14856/stat : 14856 (java) S 14834 14837 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22863009 9856040960 46807 33554432000 1073741824 1073778376 140733835479728 139851964064808 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.57 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=14837/tid=14856] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14856/stat : 14856 (java) S 14834 14837 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22863009 9856040960 83850 33554432000 1073741824 1073778376 140733835479728 139851964064808 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1622.67 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/216 14963 /proc/meminfo: memFree=31341140/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9625040 CPUtime=1683.63 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 32787 0 1 0 168233 130 0 0 20 0 19 0 22862966 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2406260 82174 2295 9 0 2396937 0 [pid=14837/tid=14839] ppid=14834 vsize=9625040 CPUtime=1645.39 cores=1,3,5,7 /proc/14837/task/14839/stat : 14839 (java) R 14834 14837 11773 0 -1 4202560 3087 0 1 0 164509 30 0 0 20 0 19 0 22862967 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139852484140336 139852340044313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=9625040 CPUtime=3.58 cores=1,3,5,7 /proc/14837/task/14840/stat : 14840 (java) S 14834 14837 11773 0 -1 4202560 2839 0 0 0 345 13 0 0 20 0 19 0 22862968 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139852328081832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14841] ppid=14834 vsize=9625040 CPUtime=3.42 cores=1,3,5,7 /proc/14837/task/14841/stat : 14841 (java) S 14834 14837 11773 0 -1 4202560 1996 0 0 0 332 10 0 0 20 0 19 0 22862968 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139852327029288 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14842] ppid=14834 vsize=9625040 CPUtime=3.49 cores=1,3,5,7 /proc/14837/task/14842/stat : 14842 (java) S 14834 14837 11773 0 -1 4202560 2880 0 0 0 338 11 0 0 20 0 19 0 22862968 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139852325976232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14843] ppid=14834 vsize=9625040 CPUtime=3.79 cores=1,3,5,7 /proc/14837/task/14843/stat : 14843 (java) S 14834 14837 11773 0 -1 4202560 2157 0 0 0 365 14 0 0 20 0 19 0 22862968 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139852324923688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14844] ppid=14834 vsize=9625040 CPUtime=3.51 cores=1,3,5,7 /proc/14837/task/14844/stat : 14844 (java) S 14834 14837 11773 0 -1 4202560 1696 0 0 0 339 12 0 0 20 0 19 0 22862968 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139852323871656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14845] ppid=14834 vsize=9625040 CPUtime=3.65 cores=1,3,5,7 /proc/14837/task/14845/stat : 14845 (java) S 14834 14837 11773 0 -1 4202560 1273 0 0 0 351 14 0 0 20 0 19 0 22862968 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851986889768 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14846] ppid=14834 vsize=9625040 CPUtime=3.64 cores=1,3,5,7 /proc/14837/task/14846/stat : 14846 (java) S 14834 14837 11773 0 -1 4202560 2554 0 0 0 352 12 0 0 20 0 19 0 22862968 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851985836712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14847] ppid=14834 vsize=9625040 CPUtime=3.53 cores=1,3,5,7 /proc/14837/task/14847/stat : 14847 (java) S 14834 14837 11773 0 -1 4202560 1975 0 0 0 341 12 0 0 20 0 19 0 22862968 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851984784168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14848] ppid=14834 vsize=9625040 CPUtime=3.96 cores=1,3,5,7 /proc/14837/task/14848/stat : 14848 (java) S 14834 14837 11773 0 -1 4202560 678 0 0 0 388 8 0 0 20 0 19 0 22862969 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851972585832 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14849] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14849/stat : 14849 (java) S 14834 14837 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851971532152 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14850] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14850/stat : 14850 (java) S 14834 14837 11773 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851970478984 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14851] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14851/stat : 14851 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851969427728 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14852] ppid=14834 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/14837/task/14852/stat : 14852 (java) S 14834 14837 11773 0 -1 4202560 6518 0 0 0 65 2 0 0 20 0 19 0 22862972 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851968375608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14853] ppid=14834 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/14837/task/14853/stat : 14853 (java) S 14834 14837 11773 0 -1 4202560 3775 0 0 0 60 0 0 0 20 0 19 0 22862972 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851967323064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14854] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14854/stat : 14854 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851966270200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14855] ppid=14834 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/14837/task/14855/stat : 14855 (java) S 14834 14837 11773 0 -1 4202560 94 0 0 0 16 21 0 0 20 0 19 0 22862972 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851965217864 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14856] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14856/stat : 14856 (java) S 14834 14837 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22863009 9856040960 82174 33554432000 1073741824 1073778376 140733835479728 139851964064808 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1683.63 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.94 3/215 14965 /proc/meminfo: memFree=31309512/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9625040 CPUtime=1744.47 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 33839 0 1 0 174310 137 0 0 20 0 19 0 22862966 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2406260 92032 2295 9 0 2396937 0 [pid=14837/tid=14839] ppid=14834 vsize=9625040 CPUtime=1704.66 cores=1,3,5,7 /proc/14837/task/14839/stat : 14839 (java) R 14834 14837 11773 0 -1 4202560 3106 0 1 0 170435 31 0 0 20 0 19 0 22862967 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139852484140480 139852340096006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=9625040 CPUtime=3.68 cores=1,3,5,7 /proc/14837/task/14840/stat : 14840 (java) S 14834 14837 11773 0 -1 4202560 2873 0 0 0 355 13 0 0 20 0 19 0 22862968 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139852328081832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14841] ppid=14834 vsize=9625040 CPUtime=3.56 cores=1,3,5,7 /proc/14837/task/14841/stat : 14841 (java) S 14834 14837 11773 0 -1 4202560 2194 0 0 0 345 11 0 0 20 0 19 0 22862968 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139852327029288 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14842] ppid=14834 vsize=9625040 CPUtime=3.65 cores=1,3,5,7 /proc/14837/task/14842/stat : 14842 (java) S 14834 14837 11773 0 -1 4202560 2932 0 0 0 353 12 0 0 20 0 19 0 22862968 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139852325976232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14843] ppid=14834 vsize=9625040 CPUtime=3.94 cores=1,3,5,7 /proc/14837/task/14843/stat : 14843 (java) S 14834 14837 11773 0 -1 4202560 2268 0 0 0 379 15 0 0 20 0 19 0 22862968 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139852324923688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14844] ppid=14834 vsize=9625040 CPUtime=3.68 cores=1,3,5,7 /proc/14837/task/14844/stat : 14844 (java) S 14834 14837 11773 0 -1 4202560 1804 0 0 0 355 13 0 0 20 0 19 0 22862968 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139852323871656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14845] ppid=14834 vsize=9625040 CPUtime=3.81 cores=1,3,5,7 /proc/14837/task/14845/stat : 14845 (java) S 14834 14837 11773 0 -1 4202560 1620 0 0 0 366 15 0 0 20 0 19 0 22862968 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851986889768 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14846] ppid=14834 vsize=9625040 CPUtime=3.78 cores=1,3,5,7 /proc/14837/task/14846/stat : 14846 (java) S 14834 14837 11773 0 -1 4202560 2632 0 0 0 365 13 0 0 20 0 19 0 22862968 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851985836712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14847] ppid=14834 vsize=9625040 CPUtime=3.67 cores=1,3,5,7 /proc/14837/task/14847/stat : 14847 (java) S 14834 14837 11773 0 -1 4202560 2009 0 0 0 355 12 0 0 20 0 19 0 22862968 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851984784168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14848] ppid=14834 vsize=9625040 CPUtime=4.2 cores=1,3,5,7 /proc/14837/task/14848/stat : 14848 (java) S 14834 14837 11773 0 -1 4202560 745 0 0 0 412 8 0 0 20 0 19 0 22862969 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851972585832 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14849] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14849/stat : 14849 (java) S 14834 14837 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851971532152 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14850] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14850/stat : 14850 (java) S 14834 14837 11773 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851970478984 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14851] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14851/stat : 14851 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851969427728 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14852] ppid=14834 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/14837/task/14852/stat : 14852 (java) S 14834 14837 11773 0 -1 4202560 6518 0 0 0 65 2 0 0 20 0 19 0 22862972 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851968375608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14853] ppid=14834 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/14837/task/14853/stat : 14853 (java) S 14834 14837 11773 0 -1 4202560 3775 0 0 0 60 0 0 0 20 0 19 0 22862972 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851967323064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14854] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14854/stat : 14854 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851966270200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14855] ppid=14834 vsize=9625040 CPUtime=0.39 cores=1,3,5,7 /proc/14837/task/14855/stat : 14855 (java) S 14834 14837 11773 0 -1 4202560 98 0 0 0 17 22 0 0 20 0 19 0 22862972 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851965217864 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14856] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14856/stat : 14856 (java) S 14834 14837 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22863009 9856040960 92032 33554432000 1073741824 1073778376 140733835479728 139851964064808 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1744.47 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777.2 s] /proc/loadavg: 1.95 1.98 1.93 3/215 14966 /proc/meminfo: memFree=31257184/32872528 swapFree=7780/7780 [pid=14837] ppid=14834 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7 /proc/14837/stat : 14837 (java) S 14834 14837 11773 0 -1 4202496 33908 0 1 0 179863 140 0 0 20 0 19 0 22862966 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 140733835470864 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/14837/statm: 2406260 90130 2295 9 0 2396937 0 [pid=14837/tid=14839] ppid=14834 vsize=9625040 CPUtime=1759.03 cores=1,3,5,7 /proc/14837/task/14839/stat : 14839 (java) R 14834 14837 11773 0 -1 4202560 3120 0 1 0 175871 32 0 0 20 0 19 0 22862967 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139852484140480 139852339870650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=9625040 CPUtime=3.79 cores=1,3,5,7 /proc/14837/task/14840/stat : 14840 (java) S 14834 14837 11773 0 -1 4202560 2898 0 0 0 366 13 0 0 20 0 19 0 22862968 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139852328081832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14841] ppid=14834 vsize=9625040 CPUtime=3.67 cores=1,3,5,7 /proc/14837/task/14841/stat : 14841 (java) S 14834 14837 11773 0 -1 4202560 2198 0 0 0 356 11 0 0 20 0 19 0 22862968 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139852327029288 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14842] ppid=14834 vsize=9625040 CPUtime=3.75 cores=1,3,5,7 /proc/14837/task/14842/stat : 14842 (java) S 14834 14837 11773 0 -1 4202560 2932 0 0 0 363 12 0 0 20 0 19 0 22862968 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139852325976232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14843] ppid=14834 vsize=9625040 CPUtime=4.08 cores=1,3,5,7 /proc/14837/task/14843/stat : 14843 (java) S 14834 14837 11773 0 -1 4202560 2270 0 0 0 393 15 0 0 20 0 19 0 22862968 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139852324923688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14844] ppid=14834 vsize=9625040 CPUtime=3.78 cores=1,3,5,7 /proc/14837/task/14844/stat : 14844 (java) S 14834 14837 11773 0 -1 4202560 1810 0 0 0 365 13 0 0 20 0 19 0 22862968 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139852323871656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14845] ppid=14834 vsize=9625040 CPUtime=3.94 cores=1,3,5,7 /proc/14837/task/14845/stat : 14845 (java) S 14834 14837 11773 0 -1 4202560 1626 0 0 0 378 16 0 0 20 0 19 0 22862968 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851986889768 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14846] ppid=14834 vsize=9625040 CPUtime=3.91 cores=1,3,5,7 /proc/14837/task/14846/stat : 14846 (java) S 14834 14837 11773 0 -1 4202560 2632 0 0 0 378 13 0 0 20 0 19 0 22862968 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851985836712 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14847] ppid=14834 vsize=9625040 CPUtime=3.76 cores=1,3,5,7 /proc/14837/task/14847/stat : 14847 (java) S 14834 14837 11773 0 -1 4202560 2012 0 0 0 363 13 0 0 20 0 19 0 22862968 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851984784168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14848] ppid=14834 vsize=9625040 CPUtime=4.31 cores=1,3,5,7 /proc/14837/task/14848/stat : 14848 (java) S 14834 14837 11773 0 -1 4202560 750 0 0 0 423 8 0 0 20 0 19 0 22862969 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851972585832 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14849] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14849/stat : 14849 (java) S 14834 14837 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851971532152 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14850] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14850/stat : 14850 (java) S 14834 14837 11773 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22862970 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851970478984 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14851] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14851/stat : 14851 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851969427728 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14852] ppid=14834 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/14837/task/14852/stat : 14852 (java) S 14834 14837 11773 0 -1 4202560 6518 0 0 0 65 2 0 0 20 0 19 0 22862972 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851968375608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14837/tid=14853] ppid=14834 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/14837/task/14853/stat : 14853 (java) S 14834 14837 11773 0 -1 4202560 3775 0 0 0 60 0 0 0 20 0 19 0 22862972 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851967323064 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14837/tid=14854] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14854/stat : 14854 (java) S 14834 14837 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22862972 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851966270200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14837/tid=14855] ppid=14834 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/14837/task/14855/stat : 14855 (java) S 14834 14837 11773 0 -1 4202560 102 0 0 0 17 23 0 0 20 0 19 0 22862972 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851965217864 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14837/tid=14856] ppid=14834 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/14837/task/14856/stat : 14856 (java) S 14834 14837 11773 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22863009 9856040960 90130 33554432000 1073741824 1073778376 140733835479728 139851964064808 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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 14837 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14837 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=219237 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=862716 # CPU time returned by wait4() is 1796.08 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1777.25 CPU time (s): 1800.03 CPU user time (s): 1798.63 CPU system time (s): 1.4 CPU usage (%): 101.281 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.22 system time used= 1.86272 maximum resident set size= 520712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33945 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57697 involuntary context switches= 70236 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.4511 second user time and 11.1453 second system time The end
Begin job on node133 at 2016-06-18 02:02:51 IDJOB=4099909 IDBENCH=1549 IDSOLVER=2546 FILE ID=node133/4099909-1466208170 RUNJOBID= node133-1466206057-11790 PBS_JOBID= 19918144 Free space on /tmp= 71712 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099909-1466208170/watcher-4099909-1466208170 -o /tmp/evaluation-result-4099909-1466208170/solver-4099909-1466208170 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466206057-11790 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099909-1466208170.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c1b16c8c16304b0c31b222fe698dea9 RANDOM SEED=488585090 node133.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 : 2667.256 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 : 5334.51 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 : 2667.256 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 : 2667.256 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.56 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 : 2667.256 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 : 2667.256 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 : 2667.256 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 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 : 2667.256 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31734652 kB Buffers: 39124 kB Cached: 72672 kB SwapCached: 876 kB Active: 361004 kB Inactive: 66720 kB Active(anon): 317228 kB Inactive(anon): 1316 kB Active(file): 43776 kB Inactive(file): 65404 kB Unevictable: 7780 kB Mlocked: 7780 kB SwapTotal: 67108856 kB SwapFree: 67099828 kB Dirty: 1232 kB Writeback: 0 kB AnonPages: 374620 kB Mapped: 15424 kB Shmem: 0 kB Slab: 571328 kB SReclaimable: 14888 kB SUnreclaim: 556440 kB KernelStack: 1776 kB PageTables: 4928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 469532 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 350208 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= 71712 MiB End job on node133 at 2016-06-18 02:32:28