Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | OPT | 1425.06 | 739.512 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_9_mh_ic.opb |
| MD5SUM | e68c386be3005ac1db93713ad853c109 |
| 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 | 3056260 |
| Best CPU time to get the best result obtained on this benchmark | 130.34 |
| 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 | 144703125 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 7285050849 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 144703125 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 7285050849 |
| 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.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.08 c version 2.2.0.v20100531 0.01/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.08 c java.vm.version 19.1-b02 0.01/0.08 c java.vm.vendor Sun Microsystems Inc. 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 1349517296 0.01/0.08 c Max memory 1356595200 0.01/0.08 c Total memory 1356595200 0.01/0.08 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 0.09/0.11 c solving HOME/instance-3744088-1338802295.opb 0.09/0.11 c reading problem ... 1.08/0.58 c ... done. Wall clock time 0.467s. 1.08/0.58 c #vars 9765 1.08/0.58 c #constraints 21983 1.08/0.58 c constraints type 1.08/0.58 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.08/0.58 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.08/0.58 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.08/0.58 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.08/0.58 c constraints type 1.08/0.58 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.08/0.58 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.08/0.58 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.08/0.58 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 2.92/1.02 c And the winner is Resolution 3.10/1.61 c SATISFIABLE 3.10/1.61 c OPTIMIZING... 3.10/1.61 c Got one! Elapsed wall clock time (in seconds):1.495 3.10/1.61 o 3580247 11.09/5.36 c cleaning 2499 clauses out of 5001 with flag 5004/5004 19.29/9.31 c cleaning 4249 clauses out of 8497 with flag 11000/11000 28.33/13.82 c cleaning 5620 clauses out of 11250 with flag 18002/18002 36.34/17.81 c cleaning 6810 clauses out of 13627 with flag 26000/26000 45.55/22.49 c cleaning 7905 clauses out of 15817 with flag 35000/35000 56.16/27.70 c cleaning 8950 clauses out of 17913 with flag 45001/45001 66.79/33.02 c cleaning 9972 clauses out of 19963 with flag 56001/56001 67.50/33.43 c And the winner is Resolution 68.35/34.65 c Got one! Elapsed wall clock time (in seconds):34.536 68.35/34.65 o 3578690 79.13/40.01 c cleaning 10994 clauses out of 21991 with flag 68001/68001 91.74/46.32 c cleaning 11996 clauses out of 23997 with flag 81001/81001 99.48/50.28 c And the winner is CuttingPlanes 99.59/50.68 c Got one! Elapsed wall clock time (in seconds):50.565 99.59/50.68 o 3490206 101.52/51.69 c And the winner is Resolution 104.20/54.70 c Got one! Elapsed wall clock time (in seconds):54.591 104.20/54.70 o 3489068 104.20/54.73 c And the winner is Resolution 104.32/55.73 c Got one! Elapsed wall clock time (in seconds):55.614 104.32/55.73 o 3476086 104.32/55.75 c And the winner is Resolution 104.43/56.75 c Got one! Elapsed wall clock time (in seconds):56.637 104.43/56.75 o 3403902 104.43/56.78 c And the winner is Resolution 104.53/57.77 c Got one! Elapsed wall clock time (in seconds):57.66 104.53/57.77 o 3363161 104.59/57.83 c And the winner is Resolution 104.71/58.80 c Got one! Elapsed wall clock time (in seconds):58.683 104.71/58.80 o 3350912 104.92/58.91 c And the winner is Resolution 105.09/59.82 c Got one! Elapsed wall clock time (in seconds):59.706 105.09/59.82 o 3333852 105.26/59.95 c And the winner is Resolution 108.69/63.84 c Got one! Elapsed wall clock time (in seconds):63.729 108.69/63.84 o 3323325 108.81/63.91 c And the winner is Resolution 108.92/64.86 c Got one! Elapsed wall clock time (in seconds):64.752 108.92/64.86 o 3311510 109.01/64.94 c And the winner is Resolution 109.16/65.89 c Got one! Elapsed wall clock time (in seconds):65.774 109.16/65.89 o 3265758 109.20/65.94 c And the winner is Resolution 109.33/66.91 c Got one! Elapsed wall clock time (in seconds):66.797 109.33/66.91 o 3253509 109.33/66.99 c And the winner is Resolution 109.57/67.93 c Got one! Elapsed wall clock time (in seconds):67.82 109.57/67.93 o 3217910 109.71/68.09 c And the winner is Resolution 109.92/68.96 c Got one! Elapsed wall clock time (in seconds):68.843 109.92/68.96 o 3205661 111.42/69.79 c cleaning 12994 clauses out of 26000 with flag 95001/95001 125.03/76.56 c cleaning 13998 clauses out of 28005 with flag 110000/110000 143.21/85.67 c cleaning 14996 clauses out of 30007 with flag 126000/126000 162.59/95.30 c cleaning 15997 clauses out of 32012 with flag 143001/143001 178.17/103.19 c cleaning 17000 clauses out of 34015 with flag 161001/161001 196.40/112.27 c cleaning 18000 clauses out of 36012 with flag 180000/180000 217.61/122.85 c cleaning 19001 clauses out of 38013 with flag 200001/200001 236.37/132.21 c cleaning 19995 clauses out of 40013 with flag 221002/221002 258.87/143.46 c cleaning 20996 clauses out of 42016 with flag 243000/243000 282.11/155.00 c cleaning 21493 clauses out of 43020 with flag 265000/265000 304.50/166.22 c cleaning 21755 clauses out of 43527 with flag 287000/287000 326.48/177.25 c cleaning 21881 clauses out of 43773 with flag 309001/309001 333.42/180.70 c And the winner is Resolution 334.71/183.17 c Got one! Elapsed wall clock time (in seconds):183.061 334.71/183.17 o 3185300 335.17/183.43 c And the winner is Resolution 336.10/185.20 c Got one! Elapsed wall clock time (in seconds):185.085 336.10/185.20 o 3153074 336.89/185.61 c And the winner is Resolution 339.55/188.22 c Got one! Elapsed wall clock time (in seconds):188.11 339.55/188.22 o 3145245 339.55/188.27 c And the winner is Resolution 339.86/189.25 c Got one! Elapsed wall clock time (in seconds):189.135 339.86/189.25 o 3122761 339.86/189.29 c And the winner is Resolution 340.16/190.27 c Got one! Elapsed wall clock time (in seconds):190.159 340.16/190.27 o 3110512 340.41/190.41 c And the winner is Resolution 340.58/191.30 c Got one! Elapsed wall clock time (in seconds):191.184 340.58/191.30 o 3090993 340.60/191.35 c And the winner is Resolution 340.93/192.32 c Got one! Elapsed wall clock time (in seconds):192.209 340.93/192.32 o 3078530 340.93/192.35 c And the winner is Resolution 341.21/193.35 c Got one! Elapsed wall clock time (in seconds):193.233 341.21/193.35 o 3068509 341.30/193.43 c And the winner is Resolution 341.50/194.37 c Got one! Elapsed wall clock time (in seconds):194.258 341.50/194.37 o 3056260 354.69/200.96 c cleaning 21943 clauses out of 43892 with flag 331001/331001 378.37/212.75 c cleaning 21967 clauses out of 43950 with flag 353002/353002 399.79/223.42 c cleaning 21987 clauses out of 43981 with flag 375000/375000 421.55/234.36 c cleaning 21990 clauses out of 43994 with flag 397000/397000 443.39/245.29 c cleaning 21992 clauses out of 44004 with flag 419000/419000 466.03/256.50 c cleaning 22002 clauses out of 44012 with flag 441000/441000 485.79/266.43 c cleaning 21999 clauses out of 44010 with flag 463000/463000 508.55/277.82 c cleaning 22003 clauses out of 44011 with flag 485000/485000 532.54/289.81 c cleaning 22000 clauses out of 44009 with flag 507001/507001 557.54/302.35 c cleaning 21998 clauses out of 44008 with flag 529000/529000 580.96/314.06 c cleaning 21989 clauses out of 44010 with flag 551000/551000 603.02/325.10 c cleaning 22002 clauses out of 44021 with flag 573000/573000 627.37/337.34 c cleaning 22001 clauses out of 44021 with flag 595002/595002 649.31/348.39 c cleaning 22004 clauses out of 44018 with flag 617000/617000 671.30/359.36 c cleaning 21995 clauses out of 44015 with flag 639001/639001 695.39/371.48 c cleaning 22004 clauses out of 44021 with flag 661002/661002 722.09/384.71 c cleaning 22002 clauses out of 44015 with flag 683000/683000 746.48/396.91 c cleaning 22005 clauses out of 44020 with flag 705007/705007 770.11/408.76 c cleaning 22001 clauses out of 44010 with flag 727002/727002 792.98/420.26 c cleaning 21997 clauses out of 44007 with flag 749000/749000 816.26/431.90 c cleaning 21996 clauses out of 44011 with flag 771001/771001 838.85/443.27 c cleaning 21984 clauses out of 44014 with flag 793000/793000 860.27/453.98 c cleaning 21987 clauses out of 44031 with flag 815001/815001 882.15/464.93 c cleaning 22011 clauses out of 44043 with flag 837000/837000 904.47/476.16 c cleaning 21997 clauses out of 44032 with flag 859000/859000 925.02/486.43 c cleaning 22004 clauses out of 44036 with flag 881001/881001 949.44/498.63 c cleaning 22003 clauses out of 44032 with flag 903001/903001 970.27/509.14 c cleaning 22008 clauses out of 44028 with flag 925000/925000 990.60/519.39 c cleaning 22006 clauses out of 44021 with flag 947001/947001 1010.11/529.14 c cleaning 22002 clauses out of 44015 with flag 969001/969001 1031.19/539.75 c cleaning 21999 clauses out of 44016 with flag 991004/991004 1055.01/551.75 c cleaning 21997 clauses out of 44014 with flag 1013001/1013001 1078.61/563.51 c cleaning 22003 clauses out of 44017 with flag 1035001/1035001 1099.51/574.02 c cleaning 22004 clauses out of 44018 with flag 1057005/1057005 1121.45/585.02 c cleaning 21999 clauses out of 44010 with flag 1079001/1079001 1144.82/596.80 c cleaning 22000 clauses out of 44012 with flag 1101002/1101002 1168.82/608.88 c cleaning 21999 clauses out of 44011 with flag 1123001/1123001 1189.55/619.22 c cleaning 21994 clauses out of 44011 with flag 1145000/1145000 1209.61/629.32 c cleaning 21996 clauses out of 44017 with flag 1167000/1167000 1233.82/641.59 c cleaning 21998 clauses out of 44022 with flag 1189001/1189001 1255.11/652.28 c cleaning 22007 clauses out of 44025 with flag 1211002/1211002 1277.02/663.21 c cleaning 22002 clauses out of 44016 with flag 1233000/1233000 1298.12/673.83 c cleaning 21998 clauses out of 44014 with flag 1255000/1255000 1321.52/685.62 c cleaning 22004 clauses out of 44016 with flag 1277000/1277000 1344.42/697.15 c cleaning 21999 clauses out of 44016 with flag 1299004/1299004 1370.21/710.09 c cleaning 22004 clauses out of 44014 with flag 1321001/1321001 1394.35/722.16 c cleaning 21994 clauses out of 44013 with flag 1343005/1343005 1417.45/733.84 c cleaning 22006 clauses out of 44015 with flag 1365002/1365002 1420.76/735.66 c And the winner is Resolution 1422.08/739.48 c starts : 213 1422.08/739.48 c conflicts : 1367616 1422.08/739.48 c decisions : 3004221 1422.08/739.48 c propagations : 414274450 1422.08/739.49 c inspects : 1742635732 1422.08/739.49 c learnt literals : 19 1422.08/739.49 c learnt binary clauses : 168 1422.08/739.49 c learnt ternary clauses : 971 1422.08/739.49 c learnt clauses : 1367596 1422.08/739.49 c ignored clauses : 0 1422.08/739.49 c root simplifications : 0 1422.08/739.49 c removed literals (reason simplification) : 12552604 1422.08/739.49 c reason swapping (by a shorter reason) : 0 1422.08/739.49 c Calls to reduceDB : 69 1422.08/739.49 c number of reductions to clauses (during analyze) : 0 1422.08/739.49 c number of learned constraints concerned by reduction : 0 1422.08/739.49 c number of learning phase by resolution : 0 1422.08/739.49 c number of learning phase by cutting planes : 0 1422.08/739.49 c speed (assignments/second) : 759991.5795884822 1422.08/739.49 c non guided choices 4535 1422.08/739.49 c learnt constraints type 1422.08/739.49 c constraints type 1422.08/739.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1422.08/739.49 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1422.08/739.49 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1422.08/739.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1422.08/739.49 c constraints type 1422.08/739.49 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1422.08/739.49 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1422.08/739.49 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1422.08/739.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1422.08/739.49 s OPTIMUM FOUND 1422.08/739.49 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 1422.19/739.50 c objective function=3056260 1422.19/739.50 c Total wall clock time (in seconds): 739.388
OK 3056260
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3744088-1338802295/watcher-3744088-1338802295 -o /tmp/evaluation-result-3744088-1338802295/solver-3744088-1338802295 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744088-1338802295.opb 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: 3.72 4.03 3.93 5/197 12119 /proc/meminfo: memFree=25502628/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/12119/stat : 12119 (java6) D 12117 12119 9217 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 346354999 9515008 182 33554432000 1073741824 1073778376 140737205835488 140737205826520 239873113781 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/12119/statm: 2323 182 140 9 0 71 0 [startup+0.0286371 s] /proc/loadavg: 3.72 4.03 3.93 5/197 12119 /proc/meminfo: memFree=25502628/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2158136 CPUtime=0.01 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 2952 0 1 0 0 1 0 0 20 0 10 0 346354999 2209931264 3651 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 539534 3659 1093 9 0 530235 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2158136 [startup+0.100343 s] /proc/loadavg: 3.72 4.03 3.93 5/197 12119 /proc/meminfo: memFree=25502628/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2699928 CPUtime=0.09 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 4711 0 1 0 8 1 0 0 20 0 18 0 346354999 2764726272 6405 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 674982 6405 2100 9 0 665676 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2699928 [startup+0.300203 s] /proc/loadavg: 3.72 4.03 3.93 5/197 12119 /proc/meminfo: memFree=25502628/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2699928 CPUtime=0.53 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 6220 0 1 0 51 2 0 0 20 0 18 0 346354999 2764726272 10159 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 674982 10159 2228 9 0 665676 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 2699928 [startup+0.700201 s] /proc/loadavg: 3.72 4.03 3.93 5/197 12119 /proc/meminfo: memFree=25502628/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2835112 CPUtime=1.7 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 13917 0 1 0 165 5 0 0 20 0 22 0 346354999 2903154688 32263 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 708778 32263 2257 9 0 699472 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 2835112 [startup+1.50068 s] /proc/loadavg: 3.72 4.03 3.93 7/219 12141 /proc/meminfo: memFree=25351236/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2966184 CPUtime=3.08 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 16456 0 1 0 301 7 0 0 20 0 20 0 346354999 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 741546 41500 2261 9 0 732240 0 [pid=12119/tid=12121] ppid=12117 vsize=2966184 CPUtime=0.55 cores=1,3,5,7 /proc/12119/task/12121/stat : 12121 (java) S 12117 12119 9217 0 -1 4202560 2829 0 1 0 52 3 0 0 20 0 20 0 346355000 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265953195160 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12122] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12122/stat : 12122 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355001 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265937475752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12123] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12123/stat : 12123 (java) S 12117 12119 9217 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 346355001 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265936423208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12124] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12124/stat : 12124 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355001 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265935370664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12125] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12125/stat : 12125 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355001 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265934318120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12126] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12126/stat : 12126 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355001 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265933265576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12127] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12127/stat : 12127 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355001 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265932213032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12128] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12128/stat : 12128 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355001 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265931160488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12129] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12129/stat : 12129 (java) S 12117 12119 9217 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346355001 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265930107944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12130] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12130/stat : 12130 (java) S 12117 12119 9217 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 346355002 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265917696104 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12131] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12131/stat : 12131 (java) S 12117 12119 9217 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346355003 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265916642424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12132] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12132/stat : 12132 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346355003 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265915589768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12133] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12133/stat : 12133 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355005 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265796921872 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12134] ppid=12117 vsize=2966184 CPUtime=0.79 cores=1,3,5,7 /proc/12119/task/12134/stat : 12134 (java) S 12117 12119 9217 0 -1 4202560 5009 0 0 0 78 1 0 0 20 0 20 0 346355005 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265795869240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12135] ppid=12117 vsize=2966184 CPUtime=0.83 cores=1,3,5,7 /proc/12119/task/12135/stat : 12135 (java) S 12117 12119 9217 0 -1 4202560 7299 0 0 0 82 1 0 0 20 0 20 0 346355005 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265794816696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12136] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12136/stat : 12136 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355005 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265793764344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12137] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12137/stat : 12137 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355005 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265792712008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12140] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12140/stat : 12140 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346355068 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265789551656 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12141] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12141/stat : 12141 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346355069 3037372416 41500 33554432000 1073741824 1073778376 140734799495424 140265788499112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 2966184 [startup+3.10095 s] /proc/loadavg: 3.72 4.03 3.93 5/219 12143 /proc/meminfo: memFree=25106160/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2966184 CPUtime=6.4 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 17525 0 1 0 624 16 0 0 20 0 22 0 346354999 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 741546 105026 2275 9 0 732240 0 [pid=12119/tid=12121] ppid=12117 vsize=2966184 CPUtime=0.59 cores=1,3,5,7 /proc/12119/task/12121/stat : 12121 (java) S 12117 12119 9217 0 -1 4202560 2830 0 1 0 56 3 0 0 20 0 22 0 346355000 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265953195160 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12122] ppid=12117 vsize=2966184 CPUtime=0.03 cores=1,3,5,7 /proc/12119/task/12122/stat : 12122 (java) S 12117 12119 9217 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 22 0 346355001 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265937475752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12123] ppid=12117 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12119/task/12123/stat : 12123 (java) S 12117 12119 9217 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 346355001 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265936423208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12124] ppid=12117 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12119/task/12124/stat : 12124 (java) S 12117 12119 9217 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 346355001 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265935370664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12125] ppid=12117 vsize=2966184 CPUtime=0.03 cores=1,3,5,7 /proc/12119/task/12125/stat : 12125 (java) S 12117 12119 9217 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 346355001 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265934318120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12126] ppid=12117 vsize=2966184 CPUtime=0.02 cores=1,3,5,7 /proc/12119/task/12126/stat : 12126 (java) S 12117 12119 9217 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 346355001 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265933265576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12127] ppid=12117 vsize=2966184 CPUtime=0.02 cores=1,3,5,7 /proc/12119/task/12127/stat : 12127 (java) S 12117 12119 9217 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 346355001 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265932213032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12128] ppid=12117 vsize=2966184 CPUtime=0.02 cores=1,3,5,7 /proc/12119/task/12128/stat : 12128 (java) S 12117 12119 9217 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 346355001 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265931160488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12129] ppid=12117 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12119/task/12129/stat : 12129 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 346355001 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265930107944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12130] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12130/stat : 12130 (java) S 12117 12119 9217 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346355002 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265917696104 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12131] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12131/stat : 12131 (java) S 12117 12119 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346355003 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265916642424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12132] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12132/stat : 12132 (java) S 12117 12119 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346355003 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265915589768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12133] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12133/stat : 12133 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346355005 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265796921872 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12134] ppid=12117 vsize=2966184 CPUtime=0.93 cores=1,3,5,7 /proc/12119/task/12134/stat : 12134 (java) S 12117 12119 9217 0 -1 4202560 5872 0 0 0 92 1 0 0 20 0 22 0 346355005 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265795869240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12135] ppid=12117 vsize=2966184 CPUtime=0.9 cores=1,3,5,7 /proc/12119/task/12135/stat : 12135 (java) S 12117 12119 9217 0 -1 4202560 7299 0 0 0 89 1 0 0 20 0 22 0 346355005 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265794816696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12136] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12136/stat : 12136 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346355005 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265793764344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12137] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12137/stat : 12137 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346355005 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265792712008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12140] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12140/stat : 12140 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346355068 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265789551656 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12141] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12141/stat : 12141 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346355069 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265788499112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12142] ppid=12117 vsize=2966184 CPUtime=1.38 cores=1,3,5,7 /proc/12119/task/12142/stat : 12142 (java) R 12117 12119 9217 0 -1 4202560 32 0 0 0 137 1 0 0 20 0 22 0 346355161 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265790602056 140265797817168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12143] ppid=12117 vsize=2966184 CPUtime=1.38 cores=1,3,5,7 /proc/12119/task/12143/stat : 12143 (java) R 12117 12119 9217 0 -1 4202560 89 0 0 0 135 3 0 0 20 0 22 0 346355161 3037372416 105026 33554432000 1073741824 1073778376 140734799495424 140265791655040 140265797948140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.4 Current children cumulated vsize (KiB) 2966184 [startup+6.30083 s] /proc/loadavg: 3.74 4.03 3.93 4/219 12143 /proc/meminfo: memFree=24998368/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2966184 CPUtime=13.09 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 18906 0 1 0 1285 24 0 0 20 0 22 0 346354999 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 741546 128318 2288 9 0 732240 0 [pid=12119/tid=12121] ppid=12117 vsize=2966184 CPUtime=0.59 cores=1,3,5,7 /proc/12119/task/12121/stat : 12121 (java) S 12117 12119 9217 0 -1 4202560 2830 0 1 0 56 3 0 0 20 0 22 0 346355000 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265953195160 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12122] ppid=12117 vsize=2966184 CPUtime=0.1 cores=1,3,5,7 /proc/12119/task/12122/stat : 12122 (java) S 12117 12119 9217 0 -1 4202560 37 0 0 0 8 2 0 0 20 0 22 0 346355001 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265937475752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12123] ppid=12117 vsize=2966184 CPUtime=0.04 cores=1,3,5,7 /proc/12119/task/12123/stat : 12123 (java) S 12117 12119 9217 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 346355001 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265936423208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12124] ppid=12117 vsize=2966184 CPUtime=0.07 cores=1,3,5,7 /proc/12119/task/12124/stat : 12124 (java) S 12117 12119 9217 0 -1 4202560 25 0 0 0 5 2 0 0 20 0 22 0 346355001 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265935370664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12125] ppid=12117 vsize=2966184 CPUtime=0.1 cores=1,3,5,7 /proc/12119/task/12125/stat : 12125 (java) S 12117 12119 9217 0 -1 4202560 36 0 0 0 8 2 0 0 20 0 22 0 346355001 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265934318120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12126] ppid=12117 vsize=2966184 CPUtime=0.07 cores=1,3,5,7 /proc/12119/task/12126/stat : 12126 (java) S 12117 12119 9217 0 -1 4202560 18 0 0 0 5 2 0 0 20 0 22 0 346355001 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265933265576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12127] ppid=12117 vsize=2966184 CPUtime=0.05 cores=1,3,5,7 /proc/12119/task/12127/stat : 12127 (java) S 12117 12119 9217 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 22 0 346355001 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265932213032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12128] ppid=12117 vsize=2966184 CPUtime=0.06 cores=1,3,5,7 /proc/12119/task/12128/stat : 12128 (java) S 12117 12119 9217 0 -1 4202560 19 0 0 0 5 1 0 0 20 0 22 0 346355001 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265931160488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12129] ppid=12117 vsize=2966184 CPUtime=0.06 cores=1,3,5,7 /proc/12119/task/12129/stat : 12129 (java) S 12117 12119 9217 0 -1 4202560 18 0 0 0 5 1 0 0 20 0 22 0 346355001 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265930107944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12130] ppid=12117 vsize=2966184 CPUtime=0.05 cores=1,3,5,7 /proc/12119/task/12130/stat : 12130 (java) S 12117 12119 9217 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 22 0 346355002 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265917696104 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12131] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12131/stat : 12131 (java) S 12117 12119 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346355003 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265916642424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12132] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12132/stat : 12132 (java) S 12117 12119 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346355003 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265915589768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12133] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12133/stat : 12133 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346355005 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265796921872 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12134] ppid=12117 vsize=2966184 CPUtime=1.09 cores=1,3,5,7 /proc/12119/task/12134/stat : 12134 (java) S 12117 12119 9217 0 -1 4202560 7088 0 0 0 107 2 0 0 20 0 22 0 346355005 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265795869240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12135] ppid=12117 vsize=2966184 CPUtime=0.96 cores=1,3,5,7 /proc/12119/task/12135/stat : 12135 (java) S 12117 12119 9217 0 -1 4202560 7304 0 0 0 95 1 0 0 20 0 22 0 346355005 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265794816696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12136] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12136/stat : 12136 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346355005 3037372416 128318 33554432000 1073741824 1073778376 140734799495424 140265793764344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 ################ # More data... # ################ [pid=12119/tid=12133] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12133/stat : 12133 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265796921872 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12134] ppid=12117 vsize=2966184 CPUtime=1.37 cores=1,3,5,7 /proc/12119/task/12134/stat : 12134 (java) S 12117 12119 9217 0 -1 4202560 7091 0 0 0 135 2 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265795869240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12135] ppid=12117 vsize=2966184 CPUtime=1.22 cores=1,3,5,7 /proc/12119/task/12135/stat : 12135 (java) S 12117 12119 9217 0 -1 4202560 7309 0 0 0 120 2 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265794816696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12136] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12136/stat : 12136 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265793764344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12137] ppid=12117 vsize=2966184 CPUtime=0.36 cores=1,3,5,7 /proc/12119/task/12137/stat : 12137 (java) S 12117 12119 9217 0 -1 4202560 41 0 0 0 16 20 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265792712008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12140] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12140/stat : 12140 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346355068 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265789551656 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12141] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12141/stat : 12141 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346355069 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265788499112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12200] ppid=12117 vsize=2966184 CPUtime=517.71 cores=1,3,5,7 /proc/12119/task/12200/stat : 12200 (java) R 12117 12119 9217 0 -1 4202560 527 0 0 0 51761 10 0 0 20 0 21 0 346374437 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265791655072 140265797977875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.59 Current children cumulated vsize (KiB) 2966184 [startup+738.301 s] /proc/loadavg: 3.98 3.97 3.91 4/218 12261 /proc/meminfo: memFree=25560976/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2966184 CPUtime=1422.39 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 33058 0 1 0 142000 239 0 0 20 0 21 0 346354999 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 741546 185648 2289 9 0 732240 0 [pid=12119/tid=12121] ppid=12117 vsize=2966184 CPUtime=1.15 cores=1,3,5,7 /proc/12119/task/12121/stat : 12121 (java) S 12117 12119 9217 0 -1 4202560 2851 0 1 0 111 4 0 0 20 0 21 0 346355000 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265953195176 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12122] ppid=12117 vsize=2966184 CPUtime=5.01 cores=1,3,5,7 /proc/12119/task/12122/stat : 12122 (java) S 12117 12119 9217 0 -1 4202560 320 0 0 0 493 8 0 0 20 0 21 0 346355001 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265937475752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12123] ppid=12117 vsize=2966184 CPUtime=4.83 cores=1,3,5,7 /proc/12119/task/12123/stat : 12123 (java) S 12117 12119 9217 0 -1 4202560 312 0 0 0 476 7 0 0 20 0 21 0 346355001 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265936423208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12124] ppid=12117 vsize=2966184 CPUtime=5.03 cores=1,3,5,7 /proc/12119/task/12124/stat : 12124 (java) S 12117 12119 9217 0 -1 4202560 315 0 0 0 495 8 0 0 20 0 21 0 346355001 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265935370664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12125] ppid=12117 vsize=2966184 CPUtime=5.08 cores=1,3,5,7 /proc/12119/task/12125/stat : 12125 (java) S 12117 12119 9217 0 -1 4202560 329 0 0 0 498 10 0 0 20 0 21 0 346355001 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265934318120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12126] ppid=12117 vsize=2966184 CPUtime=4.87 cores=1,3,5,7 /proc/12119/task/12126/stat : 12126 (java) S 12117 12119 9217 0 -1 4202560 312 0 0 0 476 11 0 0 20 0 21 0 346355001 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265933265576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12127] ppid=12117 vsize=2966184 CPUtime=4.94 cores=1,3,5,7 /proc/12119/task/12127/stat : 12127 (java) S 12117 12119 9217 0 -1 4202560 307 0 0 0 485 9 0 0 20 0 21 0 346355001 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265932213032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12128] ppid=12117 vsize=2966184 CPUtime=4.9 cores=1,3,5,7 /proc/12119/task/12128/stat : 12128 (java) S 12117 12119 9217 0 -1 4202560 298 0 0 0 482 8 0 0 20 0 21 0 346355001 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265931160488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12129] ppid=12117 vsize=2966184 CPUtime=4.89 cores=1,3,5,7 /proc/12119/task/12129/stat : 12129 (java) S 12117 12119 9217 0 -1 4202560 311 0 0 0 479 10 0 0 20 0 21 0 346355001 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265930107944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12130] ppid=12117 vsize=2966184 CPUtime=16.68 cores=1,3,5,7 /proc/12119/task/12130/stat : 12130 (java) S 12117 12119 9217 0 -1 4202560 10330 0 0 0 1591 77 0 0 20 0 21 0 346355002 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265917696104 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12131] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12131/stat : 12131 (java) S 12117 12119 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 346355003 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265916642424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12132] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12132/stat : 12132 (java) S 12117 12119 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 346355003 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265915589768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12133] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12133/stat : 12133 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265796921872 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12134] ppid=12117 vsize=2966184 CPUtime=1.37 cores=1,3,5,7 /proc/12119/task/12134/stat : 12134 (java) S 12117 12119 9217 0 -1 4202560 7091 0 0 0 135 2 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265795869240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12135] ppid=12117 vsize=2966184 CPUtime=1.22 cores=1,3,5,7 /proc/12119/task/12135/stat : 12135 (java) S 12117 12119 9217 0 -1 4202560 7309 0 0 0 120 2 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265794816696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12136] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12136/stat : 12136 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265793764344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12137] ppid=12117 vsize=2966184 CPUtime=0.36 cores=1,3,5,7 /proc/12119/task/12137/stat : 12137 (java) S 12117 12119 9217 0 -1 4202560 41 0 0 0 16 20 0 0 20 0 21 0 346355005 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265792712008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12140] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12140/stat : 12140 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346355068 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265789551656 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12141] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12141/stat : 12141 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346355069 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265788499112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12200] ppid=12117 vsize=2966184 CPUtime=518.5 cores=1,3,5,7 /proc/12119/task/12200/stat : 12200 (java) R 12117 12119 9217 0 -1 4202560 527 0 0 0 51840 10 0 0 20 0 21 0 346374437 3037372416 185648 33554432000 1073741824 1073778376 140734799495424 140265791655072 140265797850443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.39 Current children cumulated vsize (KiB) 2966184 [startup+739.101 s] /proc/loadavg: 3.98 3.97 3.91 10/217 12261 /proc/meminfo: memFree=25561108/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2966184 CPUtime=1421.78 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 33059 0 1 0 141931 247 0 0 20 0 20 0 346354999 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 741546 185644 2289 9 0 732240 0 [pid=12119/tid=12121] ppid=12117 vsize=2966184 CPUtime=1.58 cores=1,3,5,7 /proc/12119/task/12121/stat : 12121 (java) R 12117 12119 9217 0 -1 4202560 2851 0 1 0 154 4 0 0 20 0 20 0 346355000 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265953194696 140265797195682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12122] ppid=12117 vsize=2966184 CPUtime=5.01 cores=1,3,5,7 /proc/12119/task/12122/stat : 12122 (java) S 12117 12119 9217 0 -1 4202560 320 0 0 0 493 8 0 0 20 0 20 0 346355001 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265937475752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12123] ppid=12117 vsize=2966184 CPUtime=4.83 cores=1,3,5,7 /proc/12119/task/12123/stat : 12123 (java) S 12117 12119 9217 0 -1 4202560 312 0 0 0 476 7 0 0 20 0 20 0 346355001 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265936423208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12124] ppid=12117 vsize=2966184 CPUtime=5.03 cores=1,3,5,7 /proc/12119/task/12124/stat : 12124 (java) S 12117 12119 9217 0 -1 4202560 315 0 0 0 495 8 0 0 20 0 20 0 346355001 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265935370664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12125] ppid=12117 vsize=2966184 CPUtime=5.08 cores=1,3,5,7 /proc/12119/task/12125/stat : 12125 (java) S 12117 12119 9217 0 -1 4202560 329 0 0 0 498 10 0 0 20 0 20 0 346355001 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265934318120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12126] ppid=12117 vsize=2966184 CPUtime=4.87 cores=1,3,5,7 /proc/12119/task/12126/stat : 12126 (java) S 12117 12119 9217 0 -1 4202560 312 0 0 0 476 11 0 0 20 0 20 0 346355001 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265933265576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12127] ppid=12117 vsize=2966184 CPUtime=4.94 cores=1,3,5,7 /proc/12119/task/12127/stat : 12127 (java) S 12117 12119 9217 0 -1 4202560 307 0 0 0 485 9 0 0 20 0 20 0 346355001 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265932213032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12128] ppid=12117 vsize=2966184 CPUtime=4.9 cores=1,3,5,7 /proc/12119/task/12128/stat : 12128 (java) S 12117 12119 9217 0 -1 4202560 298 0 0 0 482 8 0 0 20 0 20 0 346355001 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265931160488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12129] ppid=12117 vsize=2966184 CPUtime=4.89 cores=1,3,5,7 /proc/12119/task/12129/stat : 12129 (java) S 12117 12119 9217 0 -1 4202560 311 0 0 0 479 10 0 0 20 0 20 0 346355001 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265930107944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12130] ppid=12117 vsize=2966184 CPUtime=16.68 cores=1,3,5,7 /proc/12119/task/12130/stat : 12130 (java) S 12117 12119 9217 0 -1 4202560 10330 0 0 0 1591 77 0 0 20 0 20 0 346355002 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265917696104 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12131] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12131/stat : 12131 (java) S 12117 12119 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346355003 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265916642424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12132] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12132/stat : 12132 (java) S 12117 12119 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346355003 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265915589768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12133] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12133/stat : 12133 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355005 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265796921872 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12134] ppid=12117 vsize=2966184 CPUtime=1.38 cores=1,3,5,7 /proc/12119/task/12134/stat : 12134 (java) S 12117 12119 9217 0 -1 4202560 7091 0 0 0 136 2 0 0 20 0 20 0 346355005 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265795869240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12135] ppid=12117 vsize=2966184 CPUtime=1.22 cores=1,3,5,7 /proc/12119/task/12135/stat : 12135 (java) S 12117 12119 9217 0 -1 4202560 7310 0 0 0 120 2 0 0 20 0 20 0 346355005 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265794816696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12136] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12136/stat : 12136 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346355005 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265793764344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12137] ppid=12117 vsize=2966184 CPUtime=0.36 cores=1,3,5,7 /proc/12119/task/12137/stat : 12137 (java) S 12117 12119 9217 0 -1 4202560 41 0 0 0 16 20 0 0 20 0 20 0 346355005 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265792712008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12140] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12140/stat : 12140 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346355068 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265789551656 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12141] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12141/stat : 12141 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346355069 3037372416 185644 33554432000 1073741824 1073778376 140734799495424 140265788499112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 2966184 [startup+739.501 s] /proc/loadavg: 3.98 3.97 3.91 10/217 12261 /proc/meminfo: memFree=25561108/32873844 swapFree=7384/7384 [pid=12119] ppid=12117 vsize=2966184 CPUtime=1422.19 cores=1,3,5,7 /proc/12119/stat : 12119 (java) S 12117 12119 9217 0 -1 4202496 33062 0 1 0 141972 247 0 0 20 0 21 0 346354999 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140734799486560 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12119/statm: 741546 185646 2289 9 0 732240 0 [pid=12119/tid=12121] ppid=12117 vsize=2966184 CPUtime=1.96 cores=1,3,5,7 /proc/12119/task/12121/stat : 12121 (java) S 12117 12119 9217 0 -1 4202560 2852 0 1 0 192 4 0 0 20 0 21 0 346355000 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265953194712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12122] ppid=12117 vsize=2966184 CPUtime=5.01 cores=1,3,5,7 /proc/12119/task/12122/stat : 12122 (java) S 12117 12119 9217 0 -1 4202560 320 0 0 0 493 8 0 0 20 0 21 0 346355001 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265937475752 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12123] ppid=12117 vsize=2966184 CPUtime=4.83 cores=1,3,5,7 /proc/12119/task/12123/stat : 12123 (java) S 12117 12119 9217 0 -1 4202560 312 0 0 0 476 7 0 0 20 0 21 0 346355001 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265936423208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12124] ppid=12117 vsize=2966184 CPUtime=5.03 cores=1,3,5,7 /proc/12119/task/12124/stat : 12124 (java) S 12117 12119 9217 0 -1 4202560 315 0 0 0 495 8 0 0 20 0 21 0 346355001 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265935370664 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12125] ppid=12117 vsize=2966184 CPUtime=5.08 cores=1,3,5,7 /proc/12119/task/12125/stat : 12125 (java) S 12117 12119 9217 0 -1 4202560 329 0 0 0 498 10 0 0 20 0 21 0 346355001 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265934318120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12126] ppid=12117 vsize=2966184 CPUtime=4.87 cores=1,3,5,7 /proc/12119/task/12126/stat : 12126 (java) S 12117 12119 9217 0 -1 4202560 312 0 0 0 476 11 0 0 20 0 21 0 346355001 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265933265576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12127] ppid=12117 vsize=2966184 CPUtime=4.94 cores=1,3,5,7 /proc/12119/task/12127/stat : 12127 (java) S 12117 12119 9217 0 -1 4202560 307 0 0 0 485 9 0 0 20 0 21 0 346355001 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265932213032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12128] ppid=12117 vsize=2966184 CPUtime=4.9 cores=1,3,5,7 /proc/12119/task/12128/stat : 12128 (java) S 12117 12119 9217 0 -1 4202560 298 0 0 0 482 8 0 0 20 0 21 0 346355001 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265931160488 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12129] ppid=12117 vsize=2966184 CPUtime=4.89 cores=1,3,5,7 /proc/12119/task/12129/stat : 12129 (java) S 12117 12119 9217 0 -1 4202560 311 0 0 0 479 10 0 0 20 0 21 0 346355001 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265930107944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12130] ppid=12117 vsize=2966184 CPUtime=16.68 cores=1,3,5,7 /proc/12119/task/12130/stat : 12130 (java) S 12117 12119 9217 0 -1 4202560 10330 0 0 0 1591 77 0 0 20 0 21 0 346355002 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265917696104 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12131] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12131/stat : 12131 (java) S 12117 12119 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 346355003 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265916642424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12132] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12132/stat : 12132 (java) S 12117 12119 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 346355003 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265915589768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12119/tid=12133] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12133/stat : 12133 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346355005 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265796921872 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12119/tid=12134] ppid=12117 vsize=2966184 CPUtime=1.39 cores=1,3,5,7 /proc/12119/task/12134/stat : 12134 (java) R 12117 12119 9217 0 -1 4202560 7091 0 0 0 137 2 0 0 20 0 21 0 346355005 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265795869240 140265957312037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12135] ppid=12117 vsize=2966184 CPUtime=1.22 cores=1,3,5,7 /proc/12119/task/12135/stat : 12135 (java) R 12117 12119 9217 0 -1 4202560 7310 0 0 0 120 2 0 0 20 0 21 0 346355005 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265794816696 140265959654486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12136] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12136/stat : 12136 (java) S 12117 12119 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346355005 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265793764344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12137] ppid=12117 vsize=2966184 CPUtime=0.36 cores=1,3,5,7 /proc/12119/task/12137/stat : 12137 (java) S 12117 12119 9217 0 -1 4202560 41 0 0 0 16 20 0 0 20 0 21 0 346355005 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265792712008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12119/tid=12140] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12140/stat : 12140 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346355068 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265789551656 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12119/tid=12141] ppid=12117 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12119/task/12141/stat : 12141 (java) S 12117 12119 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346355069 3037372416 185646 33554432000 1073741824 1073778376 140734799495424 140265788499112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422.19 Current children cumulated vsize (KiB) 2966184 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): 2.42989 # lost CPU user time (s): 2.59994 # lost CPU system time (s): -0.17 Real time (s): 739.512 CPU time (s): 1425.06 CPU user time (s): 1422.56 CPU system time (s): 2.50359 CPU usage (%): 192.703 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1419.96 system time used= 2.67359 maximum resident set size= 743408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33068 page faults= 1 swaps= 0 block input operations= 0 block output operations= 768 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 56777 involuntary context switches= 96845 runsolver used 2.71259 second user time and 7.71583 second system time The end
Begin job on node136 at 2012-06-04 11:31:35 IDJOB=3744088 IDBENCH=92685 IDSOLVER=2324 FILE ID=node136/3744088-1338802295 RUNJOBID= node136-1338784910-9234 PBS_JOBID= 14636853 Free space on /tmp= 69780 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_9_mh_ic.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744088-1338802295/watcher-3744088-1338802295 -o /tmp/evaluation-result-3744088-1338802295/solver-3744088-1338802295 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744088-1338802295.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e68c386be3005ac1db93713ad853c109 RANDOM SEED=1448030593 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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 : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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 : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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 : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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 : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 25503008 kB Buffers: 1280856 kB Cached: 3702896 kB SwapCached: 20316 kB Active: 4261464 kB Inactive: 2201836 kB Active(anon): 1451420 kB Inactive(anon): 22308 kB Active(file): 2810044 kB Inactive(file): 2179528 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67083208 kB Dirty: 1220 kB Writeback: 0 kB AnonPages: 1458700 kB Mapped: 17848 kB Shmem: 0 kB Slab: 764200 kB SReclaimable: 205360 kB SUnreclaim: 558840 kB KernelStack: 1624 kB PageTables: 6808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1577868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1390592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 69812 MiB End job on node136 at 2012-06-04 11:43:55