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