Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 25 | 1800.13 | 900.37 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb |
| MD5SUM | 03e4654091c3b4f8fc0f424cad1d26d5 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4119817-1467271895.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.14/0.54 c ... done. Wall clock time 0.418s. 1.14/0.54 c declared #vars 8928 1.14/0.54 c #constraints 622 1.14/0.54 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.14/0.54 c constraints type 1.14/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 278 1.14/0.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 278 1.14/0.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66 1.14/0.54 c 622 constraints processed. 1.14/0.54 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.14/0.54 c constraints type 1.14/0.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 278 1.14/0.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 278 1.14/0.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 66 1.14/0.54 c 622 constraints processed. 1.14/0.54 c objective function length is 32 literals 3.06/1.00 c And the winner is solver0 3.06/1.05 c SATISFIABLE 3.06/1.05 c OPTIMIZING... 3.06/1.05 c Got one! Elapsed wall clock time (in seconds):0.927 3.06/1.05 o 32 3.34/1.10 c And the winner is solver0 3.42/1.55 c Got one! Elapsed wall clock time (in seconds):1.431 3.42/1.55 o 31 3.42/1.58 c And the winner is solver0 3.57/2.05 c Got one! Elapsed wall clock time (in seconds):1.932 3.57/2.05 o 30 3.69/2.11 c And the winner is solver0 3.81/2.55 c Got one! Elapsed wall clock time (in seconds):2.433 3.81/2.55 o 29 3.90/2.64 c And the winner is solver0 4.01/3.05 c Got one! Elapsed wall clock time (in seconds):2.934 4.01/3.05 o 28 4.78/3.44 c cleaning 3705 clauses out of 7422 with flag 11160/7422 5.59/3.72 c And the winner is solver0 5.68/4.05 c Got one! Elapsed wall clock time (in seconds):3.935 5.68/4.05 o 27 5.77/4.10 c And the winner is solver0 5.87/4.55 c Got one! Elapsed wall clock time (in seconds):4.436 5.87/4.55 o 26 6.35/4.80 c cleaning 4636 clauses out of 9279 with flag 8091/12984 7.35/5.31 c cleaning 5314 clauses out of 10642 with flag 22664/18983 8.78/6.08 c cleaning 6160 clauses out of 12328 with flag 41537/25983 10.79/6.97 c cleaning 7075 clauses out of 14168 with flag 61604/33983 12.98/8.01 c cleaning 8042 clauses out of 16097 with flag 83345/42987 15.61/9.36 c cleaning 9020 clauses out of 18051 with flag 110117/52983 18.88/10.94 c cleaning 10007 clauses out of 20031 with flag 141781/63983 22.49/12.73 c cleaning 11001 clauses out of 22026 with flag 176440/75985 26.96/14.96 c cleaning 12005 clauses out of 24024 with flag 215853/88984 31.81/17.32 c cleaning 13003 clauses out of 26018 with flag 251657/102983 37.09/19.97 c cleaning 14001 clauses out of 28015 with flag 290082/117983 43.18/22.94 c cleaning 14999 clauses out of 30014 with flag 330601/133983 49.62/26.17 c cleaning 15999 clauses out of 32015 with flag 375939/150983 57.64/29.96 c cleaning 17001 clauses out of 34017 with flag 424898/168984 66.03/34.04 c cleaning 18003 clauses out of 36017 with flag 474177/187985 75.04/38.59 c cleaning 18995 clauses out of 38012 with flag 529052/207983 85.28/43.56 c cleaning 20001 clauses out of 40019 with flag 593148/228985 95.67/48.71 c cleaning 20993 clauses out of 42018 with flag 658110/250985 107.30/54.51 c cleaning 21996 clauses out of 44025 with flag 723762/273985 118.76/60.15 c cleaning 23004 clauses out of 46031 with flag 793145/297987 132.77/67.14 c cleaning 23996 clauses out of 48024 with flag 857514/322984 147.83/74.89 c cleaning 24996 clauses out of 50028 with flag 940330/348984 161.81/81.83 c cleaning 26000 clauses out of 52031 with flag 1015317/375983 177.34/89.54 c cleaning 27003 clauses out of 54032 with flag 1093223/403984 193.53/97.63 c cleaning 27997 clauses out of 56029 with flag 1173463/432984 210.34/105.95 c cleaning 28998 clauses out of 58031 with flag 1251809/462983 226.75/114.10 c cleaning 30001 clauses out of 60033 with flag 1339669/493983 243.95/122.70 c cleaning 31000 clauses out of 62032 with flag 1428558/525983 263.36/132.47 c cleaning 31999 clauses out of 64032 with flag 1523207/558983 284.15/142.87 c cleaning 33000 clauses out of 66036 with flag 1620820/592986 308.21/154.73 c cleaning 34005 clauses out of 68035 with flag 1719012/627985 333.89/167.90 c cleaning 34997 clauses out of 70028 with flag 1824804/663983 358.39/180.15 c cleaning 35998 clauses out of 72031 with flag 1937538/700983 384.19/193.04 c cleaning 36999 clauses out of 74034 with flag 2050029/738984 409.62/205.77 c cleaning 37994 clauses out of 76035 with flag 2160364/777984 437.21/219.55 c cleaning 39008 clauses out of 78040 with flag 2275303/817983 464.62/233.26 c And the winner is solver0 464.82/233.60 c Got one! Elapsed wall clock time (in seconds):233.477 464.82/233.60 o 25 466.66/234.46 c cleaning 41917 clauses out of 83860 with flag 24799/862811 468.25/235.21 c cleaning 23961 clauses out of 47943 with flag 70062/868811 470.05/236.12 c cleaning 15473 clauses out of 30981 with flag 118239/875810 471.45/236.83 c cleaning 11731 clauses out of 23509 with flag 140628/883811 473.26/237.71 c cleaning 10368 clauses out of 20780 with flag 167254/892813 475.05/238.68 c cleaning 10181 clauses out of 20411 with flag 200852/902812 477.66/239.98 c cleaning 10590 clauses out of 21229 with flag 240732/913811 480.65/241.45 c cleaning 11291 clauses out of 22638 with flag 288305/925810 483.84/243.09 c cleaning 12147 clauses out of 24349 with flag 342006/938812 488.56/245.26 c cleaning 13080 clauses out of 26203 with flag 397162/952813 492.36/247.11 c cleaning 14056 clauses out of 28121 with flag 447031/967811 496.36/249.16 c cleaning 15016 clauses out of 30065 with flag 503460/983811 501.15/251.56 c cleaning 16014 clauses out of 32050 with flag 561422/1000812 507.15/254.51 c cleaning 17007 clauses out of 34038 with flag 622951/1018814 514.37/257.97 c cleaning 18004 clauses out of 36027 with flag 689945/1037810 521.57/261.55 c cleaning 19001 clauses out of 38023 with flag 760777/1057810 529.78/265.62 c cleaning 19995 clauses out of 40022 with flag 849098/1078810 539.18/270.32 c cleaning 21002 clauses out of 42027 with flag 928182/1100810 549.37/275.43 c cleaning 21996 clauses out of 44025 with flag 1007927/1123810 560.97/281.25 c cleaning 23006 clauses out of 46029 with flag 1103234/1147810 573.37/287.42 c cleaning 24001 clauses out of 48023 with flag 1209865/1172810 586.57/294.04 c cleaning 25001 clauses out of 50023 with flag 1321387/1198811 602.18/301.64 c cleaning 25994 clauses out of 52021 with flag 1449474/1225810 616.98/309.02 c cleaning 27007 clauses out of 54029 with flag 1574923/1253812 631.18/316.13 c cleaning 28001 clauses out of 56021 with flag 1675370/1282811 646.78/323.98 c cleaning 28999 clauses out of 58022 with flag 1782200/1312813 664.97/333.01 c cleaning 29998 clauses out of 60020 with flag 1895986/1343810 686.11/344.21 c cleaning 30997 clauses out of 62025 with flag 2008448/1375813 707.31/354.87 c cleaning 32001 clauses out of 64026 with flag 2137013/1408811 729.70/366.08 c cleaning 33000 clauses out of 66025 with flag 2270081/1442811 754.80/378.53 c cleaning 34004 clauses out of 68026 with flag 2409975/1477812 778.79/390.56 c cleaning 34998 clauses out of 70022 with flag 2546483/1513812 804.57/403.44 c cleaning 35992 clauses out of 72024 with flag 2693141/1550812 831.75/416.99 c cleaning 37000 clauses out of 74032 with flag 2853629/1588812 862.54/432.39 c cleaning 38000 clauses out of 76030 with flag 3020640/1627810 894.12/448.17 c cleaning 39003 clauses out of 78030 with flag 3196621/1667810 928.89/465.49 c cleaning 40001 clauses out of 80029 with flag 3375422/1708812 962.87/482.42 c cleaning 41004 clauses out of 82027 with flag 3574737/1750811 997.60/499.73 c cleaning 41993 clauses out of 84022 with flag 3773379/1793810 1035.01/518.45 c cleaning 43010 clauses out of 86031 with flag 3978241/1837812 1074.02/537.95 c cleaning 43999 clauses out of 88020 with flag 4166485/1882811 1118.94/560.30 c cleaning 44993 clauses out of 90020 with flag 4354620/1928810 1163.33/582.59 c cleaning 46000 clauses out of 92029 with flag 4542195/1975812 1209.07/605.35 c cleaning 46998 clauses out of 94027 with flag 4770331/2023810 1252.86/627.23 c cleaning 48008 clauses out of 96029 with flag 4976515/2072810 1301.39/651.47 c cleaning 48993 clauses out of 98022 with flag 5167299/2122811 1351.39/676.40 c cleaning 50000 clauses out of 100028 with flag 5367651/2173810 1401.33/701.35 c cleaning 51004 clauses out of 102031 with flag 5583510/2225813 1451.83/726.56 c cleaning 51992 clauses out of 104024 with flag 5815105/2278810 1512.81/756.94 c cleaning 53001 clauses out of 106032 with flag 6061405/2332810 1536.19/768.69 c cleaning 53999 clauses out of 108031 with flag 6277785/2387810 1549.79/775.50 c cleaning 55007 clauses out of 110032 with flag 6493983/2443810 1575.58/788.38 c cleaning 55999 clauses out of 112025 with flag 6663521/2500810 1609.58/805.29 c cleaning 56998 clauses out of 114026 with flag 6818977/2558810 1642.57/821.80 c cleaning 58001 clauses out of 116029 with flag 7005837/2617811 1672.75/836.83 c cleaning 58999 clauses out of 118028 with flag 7209374/2677811 1712.15/856.49 c cleaning 60001 clauses out of 120030 with flag 7434001/2738812 1747.75/874.20 c cleaning 61003 clauses out of 122028 with flag 7646565/2800811 1792.94/896.79 c cleaning 62001 clauses out of 124028 with flag 7860820/2863814 1800.13/900.30 c >>>>>>>>>> Solver number 0 (8 answers) <<<<<<<<<<<<<<<<<< 1800.13/900.30 c starts : 88 1800.13/900.30 c conflicts : 2880316 1800.13/900.30 c decisions : 3442933 1800.13/900.30 c propagations : 99368711 1800.13/900.30 c inspects : 15400981543 1800.13/900.30 c shortcuts : 0 1800.13/900.30 c learnt literals : 0 1800.13/900.30 c learnt binary clauses : 0 1800.13/900.30 c learnt ternary clauses : 0 1800.13/900.30 c learnt constraints : 2880316 1800.13/900.30 c ignored constraints : 0 1800.13/900.30 c root simplifications : 0 1800.13/900.30 c removed literals (reason simplification) : 1145883 1800.13/900.30 c reason swapping (by a shorter reason) : 0 1800.13/900.30 c Calls to reduceDB : 96 1800.13/900.30 c Number of update (reduction) of LBD : 554104 1800.13/900.30 c Imported unit clauses : 0 1800.13/900.30 c number of reductions to clauses (during analyze) : 0 1800.13/900.30 c number of learned constraints concerned by reduction : 0 1800.13/900.30 c number of learning phase by resolution : 0 1800.13/900.30 c number of learning phase by cutting planes : 0 1800.13/900.30 c speed (assignments/second) : 110440.35676576827 1800.13/900.30 c non guided choices 187453 1800.13/900.33 c learnt constraints type 1800.13/900.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 78529 1800.13/900.33 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.13/900.33 c starts : 18 1800.13/900.33 c conflicts : 1357 1800.13/900.33 c decisions : 297319 1800.13/900.33 c propagations : 600338 1800.13/900.33 c inspects : 39421047 1800.13/900.33 c shortcuts : 0 1800.13/900.33 c learnt literals : 0 1800.13/900.33 c learnt binary clauses : 2 1800.13/900.33 c learnt ternary clauses : 0 1800.13/900.33 c learnt constraints : 1350 1800.13/900.33 c ignored constraints : 0 1800.13/900.33 c root simplifications : 0 1800.13/900.33 c removed literals (reason simplification) : 0 1800.13/900.33 c reason swapping (by a shorter reason) : 0 1800.13/900.33 c Calls to reduceDB : 0 1800.13/900.33 c Number of update (reduction) of LBD : 0 1800.13/900.33 c Imported unit clauses : 0 1800.13/900.33 c number of reductions to clauses (during analyze) : 0 1800.13/900.33 c number of learned constraints concerned by reduction : 0 1800.13/900.33 c number of learning phase by resolution : 0 1800.13/900.33 c number of learning phase by cutting planes : 0 1800.13/900.33 c speed (assignments/second) : 900.4174084678575 1800.13/900.33 c non guided choices 47731 1800.13/900.33 c learnt constraints type 1800.13/900.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.13/900.33 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1 1800.13/900.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1348 1800.13/900.33 s SATISFIABLE 1800.13/900.33 c Found 8 solution(s) 1800.13/900.34 v x1 -x2 x3 x4 x5 x6 -x7 x8 x9 -x10 x11 x12 x13 -x14 x15 x16 -x17 -x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 x1380 x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 -x3944 x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 x4027 x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 x4072 -x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 x4157 -x4158 -x4159 -x4160 -x4161 x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 x4188 x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 x5558 -x5559 -x5560 x5561 -x5562 -x5563 -x5564 x5565 -x5566 -x5567 -x5568 -x5569 x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 x5868 -x5869 x5870 -x5871 -x5872 x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 x6044 -x6045 -x6046 x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 x6185 -x6186 -x6187 -x6188 -x6189 x6190 -x6191 -x6192 x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 x6503 -x6504 -x6505 -x6506 -x6507 -x6508 x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 -x6552 -x6553 x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 x6561 x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 x6771 x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 x6896 -x6897 -x6898 -x6899 -x6900 -x6901 x6902 -x6903 x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 x7095 -x7096 -x7097 x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 x7310 x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 x7454 x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 x7873 -x7874 x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 x7887 -x7888 x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 x7896 x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 x7985 -x7986 x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 x8065 -x8066 -x8067 -x8068 x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 x8090 -x8091 -x8092 -x8093 -x8094 x8095 -x8096 -x8097 -x8098 -x8099 x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 x8116 -x8117 -x8118 x8119 x8120 -x8121 x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 x8205 x8206 -x8207 -x8208 -x8209 -x8210 x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 x8224 -x8225 x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 x8235 x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 x8260 x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 x8296 x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 x8334 -x8335 -x8336 -x8337 -x8338 x8339 x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 x8381 -x8382 -x8383 -x8384 -x8385 -x8386 x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 x8545 -x8546 -x8547 x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 1800.13/900.35 c objective function=25 1800.13/900.35 c Total wall clock time (in seconds): 900.233
OK 25
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-4119817-1467271895/watcher-4119817-1467271895 -o /tmp/evaluation-result-4119817-1467271895/solver-4119817-1467271895 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467270992-10266 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119817-1467271895.opb pid=10412 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.16 4.08 3.38 4/197 10415 /proc/meminfo: memFree=23557712/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=8 CPUtime=0 cores=1,3,5,7 /proc/10415/stat : 10415 (java) R 10412 10415 9951 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 8156828 8192 1 33554432000 0 0 0 140733527411608 213192961463 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/10415/statm: 578 2 0 0 0 22 0 [startup+0.10006 s] /proc/loadavg: 4.16 4.08 3.38 4/197 10415 /proc/meminfo: memFree=23557712/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/10415/stat : 10415 (java) S 10412 10415 9951 0 -1 4202496 4390 0 1 0 8 1 0 0 20 0 18 0 8156828 9787879424 6028 33554432000 1073741824 1073778376 140733253413296 140733253404432 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10415/statm: 2389619 6028 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200266 s] /proc/loadavg: 4.16 4.08 3.38 4/197 10415 /proc/meminfo: memFree=23557712/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/10415/stat : 10415 (java) S 10412 10415 9951 0 -1 4202496 4830 0 1 0 24 1 0 0 20 0 18 0 8156828 9787879424 7388 33554432000 1073741824 1073778376 140733253413296 140733253404432 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10415/statm: 2389619 7388 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300221 s] /proc/loadavg: 4.16 4.08 3.38 4/197 10415 /proc/meminfo: memFree=23557712/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=9558476 CPUtime=0.54 cores=1,3,5,7 /proc/10415/stat : 10415 (java) S 10412 10415 9951 0 -1 4202496 15180 0 1 0 51 3 0 0 20 0 18 0 8156828 9787879424 15787 33554432000 1073741824 1073778376 140733253413296 140733253404432 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10415/statm: 2389619 15791 2223 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558476 [startup+0.700199 s] /proc/loadavg: 4.16 4.08 3.38 4/197 10415 /proc/meminfo: memFree=23557712/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/10415/stat : 10415 (java) S 10412 10415 9951 0 -1 4202496 19010 0 1 0 184 6 0 0 20 0 22 0 8156828 10060525568 34989 33554432000 1073741824 1073778376 140733253413296 140733253404432 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10415/statm: 2456183 34989 2265 9 0 2446860 0 Current children cumulated CPU time (s) 1.9 Current children cumulated vsize (KiB) 9824732 [startup+1.50076 s] /proc/loadavg: 4.16 4.08 3.38 6/196 10456 /proc/meminfo: memFree=26730648/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=9824732 CPUtime=3.42 cores=1,3,5,7 /proc/10415/stat : 10415 (java) S 10412 10415 9951 0 -1 4202496 20428 0 1 0 332 10 0 0 20 0 19 0 8156828 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140733253404432 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10415/statm: 2456183 38601 2273 9 0 2446860 0 [pid=10415/tid=10417] ppid=10412 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/10415/task/10417/stat : 10417 (java) S 10412 10415 9951 0 -1 4202560 2460 0 1 0 48 3 0 0 20 0 19 0 8156829 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266732180344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10418] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10418/stat : 10418 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156830 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266721241256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10419] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10419/stat : 10419 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156830 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266574657832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10420] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10420/stat : 10420 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156830 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266573605288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10421] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10421/stat : 10421 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156830 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266572552744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10422] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10422/stat : 10422 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156830 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266571500200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10423] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10423/stat : 10423 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156830 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266570447656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10424] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10424/stat : 10424 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156830 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266569395112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10425] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10425/stat : 10425 (java) S 10412 10415 9951 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8156830 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266568342568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10426] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10426/stat : 10426 (java) S 10412 10415 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8156831 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266556143720 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10427] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10427/stat : 10427 (java) S 10412 10415 9951 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8156832 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266555090040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10428] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10428/stat : 10428 (java) S 10412 10415 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8156832 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266554037384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10429] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10429/stat : 10429 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156834 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266552986128 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10430] ppid=10412 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/10415/task/10430/stat : 10430 (java) S 10412 10415 9951 0 -1 4202560 6672 0 0 0 91 1 0 0 20 0 19 0 8156834 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266551933496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10431] ppid=10412 vsize=9824732 CPUtime=0.91 cores=1,3,5,7 /proc/10415/task/10431/stat : 10431 (java) S 10412 10415 9951 0 -1 4202560 9948 0 0 0 89 2 0 0 20 0 19 0 8156834 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266550880952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10432] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10432/stat : 10432 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156834 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266549828600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10433] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10433/stat : 10433 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8156834 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266548776264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10453] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10453/stat : 10453 (java) S 10412 10415 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8156884 10060525568 38601 33554432000 1073741824 1073778376 140733253413296 140266544563368 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.42 Current children cumulated vsize (KiB) 9824732 [startup+3.10077 s] /proc/loadavg: 4.16 4.08 3.38 2/192 10488 /proc/meminfo: memFree=26726276/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=9824732 CPUtime=4.1 cores=1,3,5,7 /proc/10415/stat : 10415 (java) S 10412 10415 9951 0 -1 4202496 20471 0 1 0 394 16 0 0 20 0 22 0 8156828 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140733253404432 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10415/statm: 2456183 45777 2273 9 0 2446860 0 [pid=10415/tid=10417] ppid=10412 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/10415/task/10417/stat : 10417 (java) S 10412 10415 9951 0 -1 4202560 2462 0 1 0 49 3 0 0 20 0 22 0 8156829 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266732180344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10418] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10418/stat : 10418 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266721241256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10419] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10419/stat : 10419 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266574657832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10420] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10420/stat : 10420 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266573605288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10421] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10421/stat : 10421 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266572552744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10422] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10422/stat : 10422 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266571500200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10423] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10423/stat : 10423 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266570447656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10424] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10424/stat : 10424 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266569395112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10425] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10425/stat : 10425 (java) S 10412 10415 9951 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266568342568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10426] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10426/stat : 10426 (java) S 10412 10415 9951 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8156831 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266556143720 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10427] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10427/stat : 10427 (java) S 10412 10415 9951 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266555090040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10428] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10428/stat : 10428 (java) S 10412 10415 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266554037384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10429] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10429/stat : 10429 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266552986128 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10430] ppid=10412 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/10415/task/10430/stat : 10430 (java) S 10412 10415 9951 0 -1 4202560 6672 0 0 0 96 1 0 0 20 0 22 0 8156834 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266551933496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10431] ppid=10412 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/10415/task/10431/stat : 10431 (java) R 10412 10415 9951 0 -1 4202560 9948 0 0 0 101 2 0 0 20 0 22 0 8156834 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266550880792 140266738329486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10432] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10432/stat : 10432 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266549828600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10433] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10433/stat : 10433 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266548776264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10453] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10453/stat : 10453 (java) S 10412 10415 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8156884 10060525568 45777 33554432000 1073741824 1073778376 140733253413296 140266544563368 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.1 Current children cumulated vsize (KiB) 9824732 [startup+6.301 s] /proc/loadavg: 4.23 4.10 3.39 5/219 10527 /proc/meminfo: memFree=26501932/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=9824732 CPUtime=9.45 cores=1,3,5,7 /proc/10415/stat : 10415 (java) S 10412 10415 9951 0 -1 4202496 23243 0 1 0 919 26 0 0 20 0 22 0 8156828 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140733253404432 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10415/statm: 2456183 58873 2292 9 0 2446860 0 [pid=10415/tid=10417] ppid=10412 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/10415/task/10417/stat : 10417 (java) S 10412 10415 9951 0 -1 4202560 2462 0 1 0 49 3 0 0 20 0 22 0 8156829 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266732180344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10418] ppid=10412 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/10415/task/10418/stat : 10418 (java) S 10412 10415 9951 0 -1 4202560 22 0 0 0 1 1 0 0 20 0 22 0 8156830 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266721241256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10419] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10419/stat : 10419 (java) S 10412 10415 9951 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266574657832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10420] ppid=10412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/10415/task/10420/stat : 10420 (java) S 10412 10415 9951 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 8156830 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266573605288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10421] ppid=10412 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/10415/task/10421/stat : 10421 (java) S 10412 10415 9951 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 8156830 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266572552744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10422] ppid=10412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/10415/task/10422/stat : 10422 (java) S 10412 10415 9951 0 -1 4202560 153 0 0 0 1 0 0 0 20 0 22 0 8156830 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266571500200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10423] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10423/stat : 10423 (java) S 10412 10415 9951 0 -1 4202560 113 0 0 0 0 0 0 0 20 0 22 0 8156830 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266570447656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10424] ppid=10412 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/10415/task/10424/stat : 10424 (java) S 10412 10415 9951 0 -1 4202560 137 0 0 0 3 0 0 0 20 0 22 0 8156830 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266569395112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10425] ppid=10412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/10415/task/10425/stat : 10425 (java) S 10412 10415 9951 0 -1 4202560 124 0 0 0 1 0 0 0 20 0 22 0 8156830 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266568342568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10426] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10426/stat : 10426 (java) S 10412 10415 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8156831 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266556143720 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10427] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10427/stat : 10427 (java) S 10412 10415 9951 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266555090040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10428] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10428/stat : 10428 (java) S 10412 10415 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266554037384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10429] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10429/stat : 10429 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266552986128 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10430] ppid=10412 vsize=9824732 CPUtime=1.09 cores=1,3,5,7 /proc/10415/task/10430/stat : 10430 (java) S 10412 10415 9951 0 -1 4202560 8804 0 0 0 107 2 0 0 20 0 22 0 8156834 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266551933496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10431] ppid=10412 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/10415/task/10431/stat : 10431 (java) S 10412 10415 9951 0 -1 4202560 9978 0 0 0 124 2 0 0 20 0 22 0 8156834 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266550880952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10432] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10432/stat : 10432 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266549828600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10433] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10433/stat : 10433 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266548776264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10453] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10453/stat : 10453 (java) S 10412 10415 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8156884 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266544563368 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10525] ppid=10412 vsize=9824732 CPUtime=1.68 cores=1,3,5,7 /proc/10415/task/10525/stat : 10525 (java) R 10412 10415 9951 0 -1 4202560 5 0 0 0 168 0 0 0 20 0 22 0 8157284 10060525568 58873 33554432000 1073741824 1073778376 140733253413296 140266547721288 140266603299435 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10526] ppid=10412 vsize=9824732 CPUtime=1.69 cores=1,3,5,7 ################ # More data... # ################ [pid=10415/tid=10425] ppid=10412 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/10415/task/10425/stat : 10425 (java) S 10412 10415 9951 0 -1 4202560 707 0 0 0 113 27 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266568342568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10426] ppid=10412 vsize=9824732 CPUtime=3.08 cores=1,3,5,7 /proc/10415/task/10426/stat : 10426 (java) S 10412 10415 9951 0 -1 4202560 2234 0 0 0 304 4 0 0 20 0 22 0 8156831 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266556143720 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10427] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10427/stat : 10427 (java) S 10412 10415 9951 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266555090040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10428] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10428/stat : 10428 (java) S 10412 10415 9951 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266554037384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10429] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10429/stat : 10429 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266552986128 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10430] ppid=10412 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/10415/task/10430/stat : 10430 (java) S 10412 10415 9951 0 -1 4202560 8804 0 0 0 110 2 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266551933496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10431] ppid=10412 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/10415/task/10431/stat : 10431 (java) S 10412 10415 9951 0 -1 4202560 9988 0 0 0 188 2 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266550880952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10432] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10432/stat : 10432 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266549828600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10433] ppid=10412 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/10415/task/10433/stat : 10433 (java) S 10412 10415 9951 0 -1 4202560 51 0 0 0 9 17 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266548776264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10453] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10453/stat : 10453 (java) S 10412 10415 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8156884 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266544563368 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10534] ppid=10412 vsize=9824732 CPUtime=643.54 cores=1,3,5,7 /proc/10415/task/10534/stat : 10534 (java) R 10412 10415 9951 0 -1 4202560 15 0 0 0 64344 10 0 0 20 0 22 0 8180188 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266545613296 140266603106874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10535] ppid=10412 vsize=9824732 CPUtime=643.59 cores=1,3,5,7 /proc/10415/task/10535/stat : 10535 (java) R 10412 10415 9951 0 -1 4202560 628 0 0 0 64346 13 0 0 20 0 22 0 8180188 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266547719008 140266603269575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10536] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10536/stat : 10536 (java) S 10412 10415 9951 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8180188 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266546668712 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1763.29 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.301 s] /proc/loadavg: 4.24 4.23 3.91 5/219 10623 /proc/meminfo: memFree=21623816/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=9824732 CPUtime=1799.27 cores=1,3,5,7 /proc/10415/stat : 10415 (java) S 10412 10415 9951 0 -1 4202496 33042 0 1 0 179623 304 0 0 20 0 22 0 8156828 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140733253404432 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10415/statm: 2456183 886416 2301 9 0 2446860 0 [pid=10415/tid=10417] ppid=10412 vsize=9824732 CPUtime=0.56 cores=1,3,5,7 /proc/10415/task/10417/stat : 10417 (java) S 10412 10415 9951 0 -1 4202560 2469 0 1 0 52 4 0 0 20 0 22 0 8156829 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266732180344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10418] ppid=10412 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/10415/task/10418/stat : 10418 (java) S 10412 10415 9951 0 -1 4202560 817 0 0 0 127 28 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266721241256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10419] ppid=10412 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/10415/task/10419/stat : 10419 (java) S 10412 10415 9951 0 -1 4202560 712 0 0 0 120 28 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266574657832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10420] ppid=10412 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/10415/task/10420/stat : 10420 (java) S 10412 10415 9951 0 -1 4202560 680 0 0 0 111 24 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266573605288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10421] ppid=10412 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/10415/task/10421/stat : 10421 (java) S 10412 10415 9951 0 -1 4202560 734 0 0 0 118 27 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266572552744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10422] ppid=10412 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/10415/task/10422/stat : 10422 (java) S 10412 10415 9951 0 -1 4202560 988 0 0 0 138 35 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266571500200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10423] ppid=10412 vsize=9824732 CPUtime=1.89 cores=1,3,5,7 /proc/10415/task/10423/stat : 10423 (java) S 10412 10415 9951 0 -1 4202560 1015 0 0 0 151 38 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266570447656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10424] ppid=10412 vsize=9824732 CPUtime=1.62 cores=1,3,5,7 /proc/10415/task/10424/stat : 10424 (java) S 10412 10415 9951 0 -1 4202560 1111 0 0 0 126 36 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266569395112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10425] ppid=10412 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/10415/task/10425/stat : 10425 (java) S 10412 10415 9951 0 -1 4202560 707 0 0 0 113 27 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266568342568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10426] ppid=10412 vsize=9824732 CPUtime=3.08 cores=1,3,5,7 /proc/10415/task/10426/stat : 10426 (java) S 10412 10415 9951 0 -1 4202560 2234 0 0 0 304 4 0 0 20 0 22 0 8156831 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266556143720 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10427] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10427/stat : 10427 (java) S 10412 10415 9951 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266555090040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10428] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10428/stat : 10428 (java) S 10412 10415 9951 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266554037384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10429] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10429/stat : 10429 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266552986128 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10430] ppid=10412 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/10415/task/10430/stat : 10430 (java) S 10412 10415 9951 0 -1 4202560 8804 0 0 0 110 2 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266551933496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10431] ppid=10412 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/10415/task/10431/stat : 10431 (java) S 10412 10415 9951 0 -1 4202560 9988 0 0 0 188 2 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266550880952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10432] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10432/stat : 10432 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266549828600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10433] ppid=10412 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/10415/task/10433/stat : 10433 (java) S 10412 10415 9951 0 -1 4202560 53 0 0 0 9 17 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266548776264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10453] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10453/stat : 10453 (java) S 10412 10415 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8156884 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266544563368 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10534] ppid=10412 vsize=9824732 CPUtime=661.48 cores=1,3,5,7 /proc/10415/task/10534/stat : 10534 (java) R 10412 10415 9951 0 -1 4202560 15 0 0 0 66137 11 0 0 20 0 22 0 8180188 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266545606416 140266603454550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10535] ppid=10412 vsize=9824732 CPUtime=661.54 cores=1,3,5,7 /proc/10415/task/10535/stat : 10535 (java) R 10412 10415 9951 0 -1 4202560 628 0 0 0 66140 14 0 0 20 0 22 0 8180188 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266547719008 140266603290637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10536] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10536/stat : 10536 (java) S 10412 10415 9951 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8180188 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266546668712 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10415 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+900.301 s] /proc/loadavg: 4.24 4.23 3.91 5/219 10623 /proc/meminfo: memFree=21623816/32872528 swapFree=11740/941760 [pid=10415] ppid=10412 vsize=9824732 CPUtime=1799.27 cores=1,3,5,7 /proc/10415/stat : 10415 (java) S 10412 10415 9951 0 -1 4202496 33042 0 1 0 179623 304 0 0 20 0 22 0 8156828 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140733253404432 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10415/statm: 2456183 886416 2301 9 0 2446860 0 [pid=10415/tid=10417] ppid=10412 vsize=9824732 CPUtime=0.56 cores=1,3,5,7 /proc/10415/task/10417/stat : 10417 (java) S 10412 10415 9951 0 -1 4202560 2469 0 1 0 52 4 0 0 20 0 22 0 8156829 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266732180344 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10418] ppid=10412 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/10415/task/10418/stat : 10418 (java) S 10412 10415 9951 0 -1 4202560 817 0 0 0 127 28 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266721241256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10419] ppid=10412 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/10415/task/10419/stat : 10419 (java) S 10412 10415 9951 0 -1 4202560 712 0 0 0 120 28 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266574657832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10420] ppid=10412 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/10415/task/10420/stat : 10420 (java) S 10412 10415 9951 0 -1 4202560 680 0 0 0 111 24 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266573605288 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10421] ppid=10412 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/10415/task/10421/stat : 10421 (java) S 10412 10415 9951 0 -1 4202560 734 0 0 0 118 27 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266572552744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10422] ppid=10412 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/10415/task/10422/stat : 10422 (java) S 10412 10415 9951 0 -1 4202560 988 0 0 0 138 35 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266571500200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10423] ppid=10412 vsize=9824732 CPUtime=1.89 cores=1,3,5,7 /proc/10415/task/10423/stat : 10423 (java) S 10412 10415 9951 0 -1 4202560 1015 0 0 0 151 38 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266570447656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10424] ppid=10412 vsize=9824732 CPUtime=1.62 cores=1,3,5,7 /proc/10415/task/10424/stat : 10424 (java) S 10412 10415 9951 0 -1 4202560 1111 0 0 0 126 36 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266569395112 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10425] ppid=10412 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/10415/task/10425/stat : 10425 (java) S 10412 10415 9951 0 -1 4202560 707 0 0 0 113 27 0 0 20 0 22 0 8156830 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266568342568 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10415/tid=10426] ppid=10412 vsize=9824732 CPUtime=3.08 cores=1,3,5,7 /proc/10415/task/10426/stat : 10426 (java) S 10412 10415 9951 0 -1 4202560 2234 0 0 0 304 4 0 0 20 0 22 0 8156831 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266556143720 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10427] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10427/stat : 10427 (java) S 10412 10415 9951 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266555090040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10428] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10428/stat : 10428 (java) S 10412 10415 9951 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 8156832 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266554037384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10429] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10429/stat : 10429 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266552986128 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10430] ppid=10412 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/10415/task/10430/stat : 10430 (java) S 10412 10415 9951 0 -1 4202560 8804 0 0 0 110 2 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266551933496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10415/tid=10431] ppid=10412 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/10415/task/10431/stat : 10431 (java) S 10412 10415 9951 0 -1 4202560 9988 0 0 0 188 2 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266550880952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10432] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10432/stat : 10432 (java) S 10412 10415 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266549828600 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10433] ppid=10412 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/10415/task/10433/stat : 10433 (java) S 10412 10415 9951 0 -1 4202560 53 0 0 0 9 17 0 0 20 0 22 0 8156834 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266548776264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10453] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10453/stat : 10453 (java) S 10412 10415 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8156884 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266544563368 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10534] ppid=10412 vsize=9824732 CPUtime=661.48 cores=1,3,5,7 /proc/10415/task/10534/stat : 10534 (java) R 10412 10415 9951 0 -1 4202560 15 0 0 0 66137 11 0 0 20 0 22 0 8180188 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266545606416 140266603454550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10415/tid=10535] ppid=10412 vsize=9824732 CPUtime=661.54 cores=1,3,5,7 /proc/10415/task/10535/stat : 10535 (java) R 10412 10415 9951 0 -1 4202560 628 0 0 0 66140 14 0 0 20 0 22 0 8180188 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266547719008 140266603290637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10415/tid=10536] ppid=10412 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10415/task/10536/stat : 10536 (java) S 10412 10415 9951 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8180188 10060525568 886416 33554432000 1073741824 1073778376 140733253413296 140266546668712 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10415 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=899437 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=452475 # CPU time returned by wait4() is 1796.35 # while last known CPU time is 1799.27 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.859985 # lost CPU user time (s): 0.929993 # lost CPU system time (s): -0.0700001 Real time (s): 900.37 CPU time (s): 1800.13 CPU user time (s): 1797.16 CPU system time (s): 2.97 CPU usage (%): 199.932 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.9 system time used= 3.45247 maximum resident set size= 3545776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33081 page faults= 1 swaps= 0 block input operations= 0 block output operations= 896 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22288 involuntary context switches= 20253 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.51101 second user time and 6.79797 second system time The end
Begin job on node113 at 2016-06-30 09:31:35 IDJOB=4119817 IDBENCH=111809 IDSOLVER=2543 FILE ID=node113/4119817-1467271895 RUNJOBID= node113-1467270992-10266 PBS_JOBID= 20004491 Free space on /tmp= 71728 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119817-1467271895/watcher-4119817-1467271895 -o /tmp/evaluation-result-4119817-1467271895/solver-4119817-1467271895 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467270992-10266 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119817-1467271895.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 03e4654091c3b4f8fc0f424cad1d26d5 RANDOM SEED=489893366 node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 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 : 5325.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 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 : 2666.947 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 23558612 kB Buffers: 105632 kB Cached: 4168128 kB SwapCached: 0 kB Active: 6152044 kB Inactive: 1455476 kB Active(anon): 3330564 kB Inactive(anon): 5808 kB Active(file): 2821480 kB Inactive(file): 1449668 kB Unevictable: 941760 kB Mlocked: 11740 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1248 kB Writeback: 0 kB AnonPages: 4350816 kB Mapped: 21528 kB Shmem: 204 kB Slab: 628004 kB SReclaimable: 72284 kB SUnreclaim: 555720 kB KernelStack: 1808 kB PageTables: 12360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4955728 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3893248 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= 71732 MiB End job on node113 at 2016-06-30 09:46:35