Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 28 | 1800.01 | 915.971 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb |
| MD5SUM | 1b0ac127de7b79f6251c1506cbcbe6c3 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 2.14067 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 8805 |
| Total number of constraints | 27496 |
| Number of constraints which are clauses | 27496 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 4284 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 4284 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 4284 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.11 c See www.sat4j.org for details. 0.06/0.11 c version 2.3.1.v20110525 0.06/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.11 c java.vm.version 19.1-b02 0.06/0.11 c java.vm.vendor Sun Microsystems Inc. 0.06/0.11 c sun.arch.data.model 64 0.06/0.11 c java.version 1.6.0_24 0.06/0.11 c os.name Linux 0.06/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.11 c os.arch amd64 0.06/0.11 c Free memory 9996466904 0.06/0.11 c Max memory 10048897024 0.06/0.11 c Total memory 10048897024 0.06/0.11 c Number of processors 8 0.06/0.13 c Pseudo Boolean Optimization 0.06/0.13 c ManyCore solver with 2 solvers running in parallel 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.13 c Expensive reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.13 c No reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c solving HOME/instance-3735762-1338696556.opb 0.06/0.13 c reading problem ... 0.96/0.57 c ... done. Wall clock time 0.43s. 0.96/0.57 c #vars 8805 0.96/0.57 c #constraints 27496 0.96/0.57 c constraints type 0.96/0.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4529 0.96/0.57 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22286 0.96/0.57 c constraints type 0.96/0.57 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22286 0.96/0.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4529 1.22/0.69 c And the winner is CuttingPlanes 1.69/1.09 c SATISFIABLE 1.69/1.09 c OPTIMIZING... 1.69/1.09 c Got one! Elapsed wall clock time (in seconds):0.958 1.69/1.09 o 37 2.09/1.25 c And the winner is Resolution 2.48/1.64 c Got one! Elapsed wall clock time (in seconds):1.507 2.48/1.64 o 34 2.72/1.73 c And the winner is Resolution 2.92/2.17 c Got one! Elapsed wall clock time (in seconds):2.037 2.92/2.17 o 33 3.28/2.35 c And the winner is Resolution 3.58/2.69 c Got one! Elapsed wall clock time (in seconds):2.56 3.58/2.69 o 32 3.62/2.78 c And the winner is Resolution 3.86/3.22 c Got one! Elapsed wall clock time (in seconds):3.081 3.86/3.22 o 31 6.06/4.20 c And the winner is Resolution 6.16/4.34 c Got one! Elapsed wall clock time (in seconds):4.202 6.16/4.34 o 30 9.12/5.82 c cleaning 3012 clauses out of 6031 with flag 3000/6031 14.23/8.38 c cleaning 4504 clauses out of 9019 with flag 9000/12031 20.40/11.44 c cleaning 5749 clauses out of 11515 with flag 16000/19031 27.83/15.15 c cleaning 6877 clauses out of 13766 with flag 24000/27031 35.41/18.92 c cleaning 7939 clauses out of 15890 with flag 33001/36032 36.77/19.67 c And the winner is Resolution 37.22/20.08 c Got one! Elapsed wall clock time (in seconds):19.947 37.22/20.08 o 29 39.88/21.43 c cleaning 6723 clauses out of 13457 with flag 4001/41538 44.67/23.82 c cleaning 6360 clauses out of 12734 with flag 10001/47538 50.50/26.73 c cleaning 6681 clauses out of 13373 with flag 17000/54537 57.23/30.18 c cleaning 7339 clauses out of 14692 with flag 25000/62537 64.59/33.89 c cleaning 8170 clauses out of 16353 with flag 34000/71537 72.15/37.66 c cleaning 9089 clauses out of 18183 with flag 44000/81537 81.10/42.15 c cleaning 10041 clauses out of 20094 with flag 55000/92537 91.04/47.20 c cleaning 11013 clauses out of 22053 with flag 67000/104537 101.19/52.25 c cleaning 12015 clauses out of 24040 with flag 80000/117537 113.94/58.68 c cleaning 13008 clauses out of 26025 with flag 94000/131537 125.50/64.49 c cleaning 14006 clauses out of 28018 with flag 109001/146538 138.07/70.71 c cleaning 15001 clauses out of 30014 with flag 125003/162540 151.43/77.40 c cleaning 15991 clauses out of 32010 with flag 142000/179537 164.58/84.05 c cleaning 17001 clauses out of 34019 with flag 160000/197537 179.53/91.56 c cleaning 17998 clauses out of 36018 with flag 179000/216537 195.64/99.60 c cleaning 19002 clauses out of 38020 with flag 199000/236537 212.37/108.00 c cleaning 19995 clauses out of 40018 with flag 220000/257537 230.30/117.07 c cleaning 21004 clauses out of 42023 with flag 242000/279537 249.02/126.48 c cleaning 22000 clauses out of 44019 with flag 265000/302537 268.87/136.40 c cleaning 23003 clauses out of 46021 with flag 289002/326539 286.93/145.52 c cleaning 24005 clauses out of 48016 with flag 314000/351537 307.79/156.02 c cleaning 24996 clauses out of 50011 with flag 340000/377537 327.86/166.14 c cleaning 26005 clauses out of 52015 with flag 367000/404537 350.43/177.51 c cleaning 26502 clauses out of 53011 with flag 394001/431538 372.29/188.52 c cleaning 26748 clauses out of 53508 with flag 421000/458537 394.74/199.88 c cleaning 26875 clauses out of 53760 with flag 448000/485537 416.56/210.82 c cleaning 26939 clauses out of 53885 with flag 475000/512537 441.66/223.53 c cleaning 26963 clauses out of 53947 with flag 502001/539538 468.68/237.11 c cleaning 26984 clauses out of 53983 with flag 529000/566537 495.09/250.44 c cleaning 26996 clauses out of 53999 with flag 556000/593537 518.10/262.04 c cleaning 26995 clauses out of 54003 with flag 583000/620537 540.38/273.31 c cleaning 26999 clauses out of 54008 with flag 610000/647537 561.96/284.28 c cleaning 26998 clauses out of 54015 with flag 637006/674543 582.73/294.78 c cleaning 26992 clauses out of 54012 with flag 664001/701538 605.69/306.36 c cleaning 27004 clauses out of 54019 with flag 691000/728537 630.04/318.78 c cleaning 26996 clauses out of 54015 with flag 718000/755537 655.02/331.35 c cleaning 26995 clauses out of 54020 with flag 745001/782538 678.00/342.96 c cleaning 27005 clauses out of 54024 with flag 772000/809537 701.94/355.07 c cleaning 27000 clauses out of 54019 with flag 799000/836537 724.12/366.38 c cleaning 27001 clauses out of 54019 with flag 826000/863537 746.43/377.69 c cleaning 27004 clauses out of 54018 with flag 853000/890537 769.93/389.59 c cleaning 26996 clauses out of 54014 with flag 880000/917537 794.28/401.88 c cleaning 26991 clauses out of 54018 with flag 907000/944537 819.24/414.58 c cleaning 27013 clauses out of 54030 with flag 934003/971540 841.36/425.77 c cleaning 27000 clauses out of 54014 with flag 961000/998537 862.87/436.67 c cleaning 26997 clauses out of 54015 with flag 988001/1025538 883.98/447.30 c cleaning 26989 clauses out of 54017 with flag 1015000/1052537 905.87/458.50 c cleaning 26990 clauses out of 54028 with flag 1042000/1079537 929.39/470.49 c cleaning 27013 clauses out of 54038 with flag 1069000/1106537 953.71/482.80 c cleaning 27004 clauses out of 54025 with flag 1096000/1133537 977.83/494.98 c cleaning 27005 clauses out of 54021 with flag 1123000/1160537 1001.21/506.83 c cleaning 26995 clauses out of 54017 with flag 1150001/1187538 1025.56/519.15 c cleaning 27003 clauses out of 54023 with flag 1177002/1214539 1050.68/531.85 c cleaning 26985 clauses out of 54018 with flag 1204000/1241537 1077.44/545.30 c cleaning 26992 clauses out of 54033 with flag 1231000/1268537 1101.82/557.74 c cleaning 27007 clauses out of 54042 with flag 1258001/1295538 1126.71/570.37 c cleaning 27004 clauses out of 54034 with flag 1285000/1322537 1150.35/582.33 c cleaning 27005 clauses out of 54031 with flag 1312001/1349538 1173.23/593.99 c cleaning 27009 clauses out of 54025 with flag 1339000/1376537 1198.53/606.87 c cleaning 27004 clauses out of 54020 with flag 1366004/1403541 1223.37/619.49 c cleaning 26983 clauses out of 54012 with flag 1393000/1430537 1248.64/632.21 c cleaning 27001 clauses out of 54029 with flag 1420000/1457537 1274.92/645.50 c cleaning 27005 clauses out of 54028 with flag 1447000/1484537 1299.97/658.39 c cleaning 26998 clauses out of 54025 with flag 1474002/1511539 1321.82/669.49 c cleaning 27004 clauses out of 54025 with flag 1501000/1538537 1342.84/680.16 c cleaning 27001 clauses out of 54024 with flag 1528003/1565540 1362.50/690.10 c cleaning 26998 clauses out of 54020 with flag 1555000/1592537 1386.75/702.56 c cleaning 26994 clauses out of 54022 with flag 1582000/1619537 1411.46/715.05 c cleaning 27004 clauses out of 54029 with flag 1609001/1646538 1437.10/728.07 c cleaning 27002 clauses out of 54024 with flag 1636000/1673537 1461.72/740.50 c cleaning 27001 clauses out of 54022 with flag 1663000/1700537 1477.92/748.94 c And the winner is Resolution 1476.66/749.38 c Got one! Elapsed wall clock time (in seconds):749.244 1476.66/749.38 o 28 1478.25/751.01 c cleaning 24615 clauses out of 49241 with flag 5000/1722757 1482.47/753.39 c cleaning 15303 clauses out of 30627 with flag 11001/1728758 1487.46/756.03 c cleaning 11157 clauses out of 22323 with flag 18000/1735757 1493.05/759.09 c cleaning 9573 clauses out of 19166 with flag 26000/1743757 1499.97/762.89 c cleaning 9281 clauses out of 18593 with flag 35000/1752757 1506.93/766.52 c cleaning 9651 clauses out of 19312 with flag 45000/1762757 1515.12/770.85 c cleaning 10323 clauses out of 20661 with flag 56000/1773757 1524.28/775.61 c cleaning 11159 clauses out of 22339 with flag 68001/1785758 1534.19/780.95 c cleaning 12072 clauses out of 24179 with flag 81000/1798757 1545.33/786.74 c cleaning 13038 clauses out of 26107 with flag 95000/1812757 1557.10/792.81 c cleaning 14022 clauses out of 28071 with flag 110002/1827759 1569.82/799.47 c cleaning 15013 clauses out of 30047 with flag 126000/1843757 1583.73/806.74 c cleaning 16002 clauses out of 32034 with flag 143000/1860757 1599.51/814.80 c cleaning 16996 clauses out of 34032 with flag 161000/1878757 1615.69/823.17 c cleaning 18010 clauses out of 36036 with flag 180000/1897757 1635.65/833.30 c cleaning 18999 clauses out of 38026 with flag 200000/1917757 1653.96/842.90 c cleaning 20006 clauses out of 40027 with flag 221000/1938757 1673.35/852.70 c cleaning 20997 clauses out of 42021 with flag 243000/1960757 1693.29/862.90 c cleaning 22007 clauses out of 44025 with flag 266001/1983758 1714.06/873.57 c cleaning 22999 clauses out of 46017 with flag 290000/2007757 1736.15/884.94 c cleaning 23998 clauses out of 48018 with flag 315000/2032757 1757.10/895.63 c cleaning 25003 clauses out of 50024 with flag 341004/2058761 1778.47/906.55 c cleaning 26001 clauses out of 52018 with flag 368001/2085758 1796.84/915.91 c starts : 230 1796.84/915.91 c conflicts : 2107961 1796.84/915.91 c decisions : 8581908 1796.84/915.91 c propagations : 3826590603 1796.84/915.91 c inspects : 4197243769 1796.84/915.91 c shortcuts : 0 1796.84/915.91 c learnt literals : 0 1796.84/915.91 c learnt binary clauses : 0 1796.84/915.91 c learnt ternary clauses : 2 1796.84/915.91 c learnt constraints : 2107961 1796.84/915.91 c ignored constraints : 0 1796.84/915.91 c root simplifications : 0 1796.84/915.91 c removed literals (reason simplification) : 2720920 1796.84/915.91 c reason swapping (by a shorter reason) : 0 1796.84/915.91 c Calls to reduceDB : 99 1796.84/915.91 c number of reductions to clauses (during analyze) : 0 1796.84/915.91 c number of learned constraints concerned by reduction : 0 1796.84/915.91 c number of learning phase by resolution : 0 1796.84/915.91 c number of learning phase by cutting planes : 0 1796.84/915.91 c speed (assignments/second) : 2.29793639917609E7 1796.84/915.91 c non guided choices 29311 1796.84/915.93 c learnt constraints type 1796.84/915.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 48281 1796.84/915.93 c constraints type 1796.84/915.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4529 1796.84/915.93 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1796.84/915.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22286 1796.84/915.93 c constraints type 1796.84/915.93 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 22286 1796.84/915.93 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4529 1796.84/915.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1796.84/915.93 s SATISFIABLE 1796.84/915.94 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 1796.84/915.95 c objective function=28 1796.84/915.95 c Total wall clock time (in seconds): 915.817
OK 28
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-3735762-1338696556/watcher-3735762-1338696556 -o /tmp/evaluation-result-3735762-1338696556/solver-3735762-1338696556 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735762-1338696556.opb running on 4 cores: 0,2,4,6 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.77 3.92 3.88 2/197 12006 /proc/meminfo: memFree=26886428/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/12006/stat : 12006 (java) R 12004 12006 5561 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 335779902 9515008 176 33554432000 1073741824 1073778376 140735069263184 140735069260312 209883841424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/12006/statm: 2323 176 133 9 0 71 0 [startup+0.0625511 s] /proc/loadavg: 3.77 3.92 3.88 2/197 12006 /proc/meminfo: memFree=26886428/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=11253516 CPUtime=0.03 cores=0,2,4,6 /proc/12006/stat : 12006 (java) S 12004 12006 5561 0 -1 4202496 3764 0 1 0 2 1 0 0 20 0 13 0 335779902 11523600384 12127 33554432000 1073741824 1073778376 140736152138224 140736152129360 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12006/statm: 2813379 12128 1692 9 0 2804080 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11253516 [startup+0.100251 s] /proc/loadavg: 3.77 3.92 3.88 2/197 12006 /proc/meminfo: memFree=26886428/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=11586392 CPUtime=0.06 cores=0,2,4,6 /proc/12006/stat : 12006 (java) S 12004 12006 5561 0 -1 4202496 3959 0 1 0 5 1 0 0 20 0 18 0 335779902 11864465408 12833 33554432000 1073741824 1073778376 140736152138224 140736152129360 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12006/statm: 2896598 12833 1778 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586392 [startup+0.300217 s] /proc/loadavg: 3.77 3.92 3.88 2/197 12006 /proc/meminfo: memFree=26886428/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=11586392 CPUtime=0.45 cores=0,2,4,6 /proc/12006/stat : 12006 (java) S 12004 12006 5561 0 -1 4202496 6110 0 1 0 42 3 0 0 20 0 18 0 335779902 11864465408 16325 33554432000 1073741824 1073778376 140736152138224 140736152129360 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12006/statm: 2896598 16325 2223 9 0 2887285 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 11586392 [startup+0.700169 s] /proc/loadavg: 3.77 3.92 3.88 2/197 12006 /proc/meminfo: memFree=26886428/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=11852648 CPUtime=1.61 cores=0,2,4,6 /proc/12006/stat : 12006 (java) S 12004 12006 5561 0 -1 4202496 12477 0 1 0 155 6 0 0 20 0 20 0 335779902 12137111552 34660 33554432000 1073741824 1073778376 140736152138224 140736152129360 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12006/statm: 2963162 34660 2259 9 0 2953849 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 11852648 [startup+1.50066 s] /proc/loadavg: 3.77 3.92 3.88 3/216 12028 /proc/meminfo: memFree=26755688/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=11852648 CPUtime=2.48 cores=0,2,4,6 /proc/12006/stat : 12006 (java) S 12004 12006 5561 0 -1 4202496 16103 0 1 0 238 10 0 0 20 0 19 0 335779902 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 140736152129360 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12006/statm: 2963162 37535 2262 9 0 2953849 0 [pid=12006/tid=12008] ppid=12004 vsize=11852648 CPUtime=0.58 cores=0,2,4,6 /proc/12006/task/12008/stat : 12008 (java) S 12004 12006 5561 0 -1 4202560 2898 0 1 0 55 3 0 0 20 0 19 0 335779904 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139862427190424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12009] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12009/stat : 12009 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139862395599144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12010] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12010/stat : 12010 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139862394546344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12011] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12011/stat : 12011 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139862393494056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12012] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12012/stat : 12012 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139862392441256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12013] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12013/stat : 12013 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139862391388968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12014] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12014/stat : 12014 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139862390336168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12015] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12015/stat : 12015 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139862257667112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12016] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12016/stat : 12016 (java) S 12004 12006 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139862256614312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12017] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12017/stat : 12017 (java) S 12004 12006 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335779908 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139861773637864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12018] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12018/stat : 12018 (java) S 12004 12006 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335779908 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139861772583928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12019] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12019/stat : 12019 (java) S 12004 12006 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335779908 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139861771531528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12020] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12020/stat : 12020 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779911 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139861770480016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12021] ppid=12004 vsize=11852648 CPUtime=0.6 cores=0,2,4,6 /proc/12006/task/12021/stat : 12021 (java) S 12004 12006 5561 0 -1 4202560 4465 0 0 0 60 0 0 0 20 0 19 0 335779911 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139861769427640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12022] ppid=12004 vsize=11852648 CPUtime=0.6 cores=0,2,4,6 /proc/12006/task/12022/stat : 12022 (java) S 12004 12006 5561 0 -1 4202560 7434 0 0 0 58 2 0 0 20 0 19 0 335779911 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139861768374840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12023] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12023/stat : 12023 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779911 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139861767322744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12024] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12024/stat : 12024 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779911 12137111552 37535 33554432000 1073741824 1073778376 140736152138224 139861766270152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.48 Current children cumulated vsize (KiB) 11852648 [startup+3.1007 s] /proc/loadavg: 3.77 3.92 3.88 2/216 12034 /proc/meminfo: memFree=26735400/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=11852648 CPUtime=3.86 cores=0,2,4,6 /proc/12006/stat : 12006 (java) S 12004 12006 5561 0 -1 4202496 16547 0 1 0 370 16 0 0 20 0 19 0 335779902 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 140736152129360 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12006/statm: 2963162 43700 2266 9 0 2953849 0 [pid=12006/tid=12008] ppid=12004 vsize=11852648 CPUtime=0.65 cores=0,2,4,6 /proc/12006/task/12008/stat : 12008 (java) S 12004 12006 5561 0 -1 4202560 2901 0 1 0 62 3 0 0 20 0 19 0 335779904 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139862427190424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12009] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12009/stat : 12009 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139862395599144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12010] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12010/stat : 12010 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139862394546344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12011] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12011/stat : 12011 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139862393494056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12012] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12012/stat : 12012 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139862392441256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12013] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12013/stat : 12013 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139862391388968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12014] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12014/stat : 12014 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139862390336168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12015] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12015/stat : 12015 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139862257667112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12016] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12016/stat : 12016 (java) S 12004 12006 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335779906 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139862256614312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12017] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12017/stat : 12017 (java) S 12004 12006 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335779908 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139861773637864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12018] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12018/stat : 12018 (java) S 12004 12006 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335779908 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139861772583928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12019] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12019/stat : 12019 (java) S 12004 12006 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335779908 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139861771531528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12020] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12020/stat : 12020 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779911 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139861770480016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12021] ppid=12004 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/12006/task/12021/stat : 12021 (java) S 12004 12006 5561 0 -1 4202560 4482 0 0 0 77 0 0 0 20 0 19 0 335779911 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139861769427640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12022] ppid=12004 vsize=11852648 CPUtime=0.74 cores=0,2,4,6 /proc/12006/task/12022/stat : 12022 (java) S 12004 12006 5561 0 -1 4202560 7829 0 0 0 72 2 0 0 20 0 19 0 335779911 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139861768374840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12023] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12023/stat : 12023 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779911 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139861767322744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12024] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12024/stat : 12024 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779911 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139861766270152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12031] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12031/stat : 12031 (java) S 12004 12006 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335780015 12137111552 43700 33554432000 1073741824 1073778376 140736152138224 139861762057896 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 11852648 [startup+6.30069 s] /proc/loadavg: 3.70 3.90 3.87 5/219 12046 /proc/meminfo: memFree=26314692/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=11852648 CPUtime=10.13 cores=0,2,4,6 /proc/12006/stat : 12006 (java) S 12004 12006 5561 0 -1 4202496 17442 0 1 0 986 27 0 0 20 0 22 0 335779902 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 140736152129360 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12006/statm: 2963162 158408 2291 9 0 2953849 0 [pid=12006/tid=12008] ppid=12004 vsize=11852648 CPUtime=0.7 cores=0,2,4,6 /proc/12006/task/12008/stat : 12008 (java) S 12004 12006 5561 0 -1 4202560 2902 0 1 0 66 4 0 0 20 0 22 0 335779904 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139862427190424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12009] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12009/stat : 12009 (java) S 12004 12006 5561 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779906 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139862395599144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12010] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12010/stat : 12010 (java) S 12004 12006 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779906 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139862394546344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12011] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12011/stat : 12011 (java) S 12004 12006 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779906 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139862393494056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12012] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12012/stat : 12012 (java) S 12004 12006 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335779906 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139862392441256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12013] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12013/stat : 12013 (java) S 12004 12006 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 335779906 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139862391388968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12014] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12014/stat : 12014 (java) S 12004 12006 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 335779906 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139862390336168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12015] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12015/stat : 12015 (java) S 12004 12006 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335779906 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139862257667112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12016] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12016/stat : 12016 (java) S 12004 12006 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335779906 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139862256614312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12017] ppid=12004 vsize=11852648 CPUtime=0.04 cores=0,2,4,6 /proc/12006/task/12017/stat : 12017 (java) S 12004 12006 5561 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 22 0 335779908 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861773637864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12018] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12018/stat : 12018 (java) S 12004 12006 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779908 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861772583928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12019] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12019/stat : 12019 (java) S 12004 12006 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335779908 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861771531528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12020] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12020/stat : 12020 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779911 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861770480016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12021] ppid=12004 vsize=11852648 CPUtime=0.99 cores=0,2,4,6 /proc/12006/task/12021/stat : 12021 (java) S 12004 12006 5561 0 -1 4202560 4487 0 0 0 97 2 0 0 20 0 22 0 335779911 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861769427640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12022] ppid=12004 vsize=11852648 CPUtime=0.81 cores=0,2,4,6 /proc/12006/task/12022/stat : 12022 (java) S 12004 12006 5561 0 -1 4202560 8380 0 0 0 79 2 0 0 20 0 22 0 335779911 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861768374840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12023] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12023/stat : 12023 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779911 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861767322744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12024] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12024/stat : 12024 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779911 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861766270152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12031] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12031/stat : 12031 (java) S 12004 12006 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335780015 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861762057896 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12044] ppid=12004 vsize=11852648 CPUtime=1.86 cores=0,2,4,6 /proc/12006/task/12044/stat : 12044 (java) R 12004 12006 5561 0 -1 4202560 7 0 0 0 186 0 0 0 20 0 22 0 335780337 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861763109288 139862272348827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12045] ppid=12004 vsize=11852648 CPUtime=1.87 cores=0,2,4,6 /proc/12006/task/12045/stat : 12045 (java) R 12004 12006 5561 0 -1 4202560 204 0 0 0 181 6 0 0 20 0 22 0 335780337 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861765213016 139862272611890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12046] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12046/stat : 12046 (java) S 12004 12006 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335780337 12137111552 158408 33554432000 1073741824 1073778376 140736152138224 139861764162856 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 ################ # More data... # ################ [pid=12006/tid=12012] ppid=12004 vsize=11852648 CPUtime=1.35 cores=0,2,4,6 /proc/12006/task/12012/stat : 12012 (java) S 12004 12006 5561 0 -1 4202560 107 0 0 0 130 5 0 0 20 0 22 0 335779906 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139862392441256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12013] ppid=12004 vsize=11852648 CPUtime=1.32 cores=0,2,4,6 /proc/12006/task/12013/stat : 12013 (java) S 12004 12006 5561 0 -1 4202560 125 0 0 0 126 6 0 0 20 0 22 0 335779906 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139862391388968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12014] ppid=12004 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/12006/task/12014/stat : 12014 (java) S 12004 12006 5561 0 -1 4202560 113 0 0 0 130 3 0 0 20 0 22 0 335779906 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139862390336168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12015] ppid=12004 vsize=11852648 CPUtime=1.28 cores=0,2,4,6 /proc/12006/task/12015/stat : 12015 (java) S 12004 12006 5561 0 -1 4202560 111 0 0 0 123 5 0 0 20 0 22 0 335779906 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139862257667112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12016] ppid=12004 vsize=11852648 CPUtime=1.27 cores=0,2,4,6 /proc/12006/task/12016/stat : 12016 (java) S 12004 12006 5561 0 -1 4202560 109 0 0 0 122 5 0 0 20 0 22 0 335779906 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139862256614312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12017] ppid=12004 vsize=11852648 CPUtime=31.46 cores=0,2,4,6 /proc/12006/task/12017/stat : 12017 (java) S 12004 12006 5561 0 -1 4202560 176 0 0 0 3134 12 0 0 20 0 22 0 335779908 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861773637864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12018] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12018/stat : 12018 (java) S 12004 12006 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779908 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861772583928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12019] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12019/stat : 12019 (java) S 12004 12006 5561 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779908 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861771531528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12020] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12020/stat : 12020 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779911 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861770480016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12021] ppid=12004 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/12006/task/12021/stat : 12021 (java) S 12004 12006 5561 0 -1 4202560 4492 0 0 0 121 2 0 0 20 0 22 0 335779911 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861769427640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12022] ppid=12004 vsize=11852648 CPUtime=1 cores=0,2,4,6 /proc/12006/task/12022/stat : 12022 (java) S 12004 12006 5561 0 -1 4202560 8869 0 0 0 98 2 0 0 20 0 22 0 335779911 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861768374840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12023] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12023/stat : 12023 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779911 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861767322744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12024] ppid=12004 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/12006/task/12024/stat : 12024 (java) S 12004 12006 5561 0 -1 4202560 51 0 0 0 11 14 0 0 20 0 22 0 335779911 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861766270152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12031] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12031/stat : 12031 (java) S 12004 12006 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335780015 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861762057896 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12059] ppid=12004 vsize=11852648 CPUtime=121.31 cores=0,2,4,6 /proc/12006/task/12059/stat : 12059 (java) R 12004 12006 5561 0 -1 4202560 8 0 0 0 12130 1 0 0 20 0 22 0 335854841 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861763108000 139862272349029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12060] ppid=12004 vsize=11852648 CPUtime=121.3 cores=0,2,4,6 /proc/12006/task/12060/stat : 12060 (java) R 12004 12006 5561 0 -1 4202560 11 0 0 0 12129 1 0 0 20 0 22 0 335854841 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861764159824 139862271897762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12061] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12061/stat : 12061 (java) S 12004 12006 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335854862 12137111552 953561 33554432000 1073741824 1073778376 140736152138224 139861765215272 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1730.93 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+915.901 s] /proc/loadavg: 2.47 3.37 3.66 3/192 12088 /proc/meminfo: memFree=24602972/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=11852648 CPUtime=1796.84 cores=0,2,4,6 /proc/12006/stat : 12006 (java) S 12004 12006 5561 0 -1 4202496 20600 0 1 0 179522 162 0 0 20 0 22 0 335779902 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 140736152129360 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12006/statm: 2963162 956121 2293 9 0 2953849 0 [pid=12006/tid=12008] ppid=12004 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/12006/task/12008/stat : 12008 (java) S 12004 12006 5561 0 -1 4202560 2953 0 1 0 72 5 0 0 20 0 22 0 335779904 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862427190424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12009] ppid=12004 vsize=11852648 CPUtime=1.29 cores=0,2,4,6 /proc/12006/task/12009/stat : 12009 (java) S 12004 12006 5561 0 -1 4202560 104 0 0 0 124 5 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862395599144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12010] ppid=12004 vsize=11852648 CPUtime=1.41 cores=0,2,4,6 /proc/12006/task/12010/stat : 12010 (java) S 12004 12006 5561 0 -1 4202560 114 0 0 0 137 4 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862394546344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12011] ppid=12004 vsize=11852648 CPUtime=1.37 cores=0,2,4,6 /proc/12006/task/12011/stat : 12011 (java) S 12004 12006 5561 0 -1 4202560 117 0 0 0 134 3 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862393494056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12012] ppid=12004 vsize=11852648 CPUtime=1.42 cores=0,2,4,6 /proc/12006/task/12012/stat : 12012 (java) S 12004 12006 5561 0 -1 4202560 110 0 0 0 137 5 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862392441256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12013] ppid=12004 vsize=11852648 CPUtime=1.36 cores=0,2,4,6 /proc/12006/task/12013/stat : 12013 (java) S 12004 12006 5561 0 -1 4202560 125 0 0 0 130 6 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862391388968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12014] ppid=12004 vsize=11852648 CPUtime=1.39 cores=0,2,4,6 /proc/12006/task/12014/stat : 12014 (java) S 12004 12006 5561 0 -1 4202560 114 0 0 0 135 4 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862390336168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12015] ppid=12004 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/12006/task/12015/stat : 12015 (java) S 12004 12006 5561 0 -1 4202560 112 0 0 0 128 5 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862257667112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12016] ppid=12004 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/12006/task/12016/stat : 12016 (java) S 12004 12006 5561 0 -1 4202560 110 0 0 0 128 5 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862256614312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12017] ppid=12004 vsize=11852648 CPUtime=32.94 cores=0,2,4,6 /proc/12006/task/12017/stat : 12017 (java) S 12004 12006 5561 0 -1 4202560 179 0 0 0 3282 12 0 0 20 0 22 0 335779908 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861773637864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12018] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12018/stat : 12018 (java) S 12004 12006 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779908 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861772583928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12019] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12019/stat : 12019 (java) S 12004 12006 5561 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779908 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861771531528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12020] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12020/stat : 12020 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861770480016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12021] ppid=12004 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/12006/task/12021/stat : 12021 (java) S 12004 12006 5561 0 -1 4202560 4492 0 0 0 121 2 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861769427640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12022] ppid=12004 vsize=11852648 CPUtime=1 cores=0,2,4,6 /proc/12006/task/12022/stat : 12022 (java) S 12004 12006 5561 0 -1 4202560 8869 0 0 0 98 2 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861768374840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12023] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12023/stat : 12023 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861767322744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12024] ppid=12004 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/12006/task/12024/stat : 12024 (java) S 12004 12006 5561 0 -1 4202560 53 0 0 0 12 15 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861766270152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12031] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12031/stat : 12031 (java) S 12004 12006 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335780015 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861762057896 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12059] ppid=12004 vsize=11852648 CPUtime=153.24 cores=0,2,4,6 /proc/12006/task/12059/stat : 12059 (java) R 12004 12006 5561 0 -1 4202560 12 0 0 0 15322 2 0 0 20 0 22 0 335854841 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861763107184 139862272325048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12060] ppid=12004 vsize=11852648 CPUtime=153.22 cores=0,2,4,6 /proc/12006/task/12060/stat : 12060 (java) R 12004 12006 5561 0 -1 4202560 13 0 0 0 15320 2 0 0 20 0 22 0 335854841 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861764160640 139862271897673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12061] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12061/stat : 12061 (java) S 12004 12006 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335854862 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861765215272 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1796.84 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+915.901 s] /proc/loadavg: 2.47 3.37 3.66 3/192 12088 /proc/meminfo: memFree=24602972/32873844 swapFree=7632/7632 [pid=12006] ppid=12004 vsize=11852648 CPUtime=1796.84 cores=0,2,4,6 /proc/12006/stat : 12006 (java) S 12004 12006 5561 0 -1 4202496 20600 0 1 0 179522 162 0 0 20 0 22 0 335779902 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 140736152129360 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12006/statm: 2963162 956121 2293 9 0 2953849 0 [pid=12006/tid=12008] ppid=12004 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/12006/task/12008/stat : 12008 (java) S 12004 12006 5561 0 -1 4202560 2953 0 1 0 72 5 0 0 20 0 22 0 335779904 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862427190424 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12009] ppid=12004 vsize=11852648 CPUtime=1.29 cores=0,2,4,6 /proc/12006/task/12009/stat : 12009 (java) S 12004 12006 5561 0 -1 4202560 104 0 0 0 124 5 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862395599144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12010] ppid=12004 vsize=11852648 CPUtime=1.41 cores=0,2,4,6 /proc/12006/task/12010/stat : 12010 (java) S 12004 12006 5561 0 -1 4202560 114 0 0 0 137 4 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862394546344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12011] ppid=12004 vsize=11852648 CPUtime=1.37 cores=0,2,4,6 /proc/12006/task/12011/stat : 12011 (java) S 12004 12006 5561 0 -1 4202560 117 0 0 0 134 3 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862393494056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12012] ppid=12004 vsize=11852648 CPUtime=1.42 cores=0,2,4,6 /proc/12006/task/12012/stat : 12012 (java) S 12004 12006 5561 0 -1 4202560 110 0 0 0 137 5 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862392441256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12013] ppid=12004 vsize=11852648 CPUtime=1.36 cores=0,2,4,6 /proc/12006/task/12013/stat : 12013 (java) S 12004 12006 5561 0 -1 4202560 125 0 0 0 130 6 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862391388968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12014] ppid=12004 vsize=11852648 CPUtime=1.39 cores=0,2,4,6 /proc/12006/task/12014/stat : 12014 (java) S 12004 12006 5561 0 -1 4202560 114 0 0 0 135 4 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862390336168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12015] ppid=12004 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/12006/task/12015/stat : 12015 (java) S 12004 12006 5561 0 -1 4202560 112 0 0 0 128 5 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862257667112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12016] ppid=12004 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/12006/task/12016/stat : 12016 (java) S 12004 12006 5561 0 -1 4202560 110 0 0 0 128 5 0 0 20 0 22 0 335779906 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139862256614312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12017] ppid=12004 vsize=11852648 CPUtime=32.94 cores=0,2,4,6 /proc/12006/task/12017/stat : 12017 (java) S 12004 12006 5561 0 -1 4202560 179 0 0 0 3282 12 0 0 20 0 22 0 335779908 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861773637864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12018] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12018/stat : 12018 (java) S 12004 12006 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779908 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861772583928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12019] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12019/stat : 12019 (java) S 12004 12006 5561 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779908 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861771531528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12020] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12020/stat : 12020 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861770480016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12021] ppid=12004 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/12006/task/12021/stat : 12021 (java) S 12004 12006 5561 0 -1 4202560 4492 0 0 0 121 2 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861769427640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12022] ppid=12004 vsize=11852648 CPUtime=1 cores=0,2,4,6 /proc/12006/task/12022/stat : 12022 (java) S 12004 12006 5561 0 -1 4202560 8869 0 0 0 98 2 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861768374840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12006/tid=12023] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12023/stat : 12023 (java) S 12004 12006 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861767322744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12024] ppid=12004 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/12006/task/12024/stat : 12024 (java) S 12004 12006 5561 0 -1 4202560 53 0 0 0 12 15 0 0 20 0 22 0 335779911 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861766270152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12031] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12031/stat : 12031 (java) S 12004 12006 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335780015 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861762057896 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12006/tid=12059] ppid=12004 vsize=11852648 CPUtime=153.24 cores=0,2,4,6 /proc/12006/task/12059/stat : 12059 (java) R 12004 12006 5561 0 -1 4202560 12 0 0 0 15322 2 0 0 20 0 22 0 335854841 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861763107184 139862272325048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12006/tid=12060] ppid=12004 vsize=11852648 CPUtime=153.22 cores=0,2,4,6 /proc/12006/task/12060/stat : 12060 (java) R 12004 12006 5561 0 -1 4202560 13 0 0 0 15320 2 0 0 20 0 22 0 335854841 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861764160640 139862271897673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12006/tid=12061] ppid=12004 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12006/task/12061/stat : 12061 (java) S 12004 12006 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335854862 12137111552 956121 33554432000 1073741824 1073778376 140736152138224 139861765215272 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1796.84 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 12006 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=498194 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=894711 # CPU time returned by wait4() is 1796.39 # while last known CPU time is 1796.84 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.17004 # lost CPU user time (s): 3.39001 # lost CPU system time (s): -0.22 Real time (s): 915.971 CPU time (s): 1800.01 CPU user time (s): 1798.61 CPU system time (s): 1.4 CPU usage (%): 196.514 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.5 system time used= 1.89471 maximum resident set size= 3824600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20630 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27835 involuntary context switches= 34210 runsolver used 3.2715 second user time and 8.18475 second system time The end
Begin job on node141 at 2012-06-03 06:09:16 IDJOB=3735762 IDBENCH=24992 IDSOLVER=2328 FILE ID=node141/3735762-1338696556 RUNJOBID= node141-1338678623-5580 PBS_JOBID= 14636672 Free space on /tmp= 70720 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735762-1338696556/watcher-3735762-1338696556 -o /tmp/evaluation-result-3735762-1338696556/solver-3735762-1338696556 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735762-1338696556.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3 RANDOM SEED=1547734432 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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 : 2666.744 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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: 26888764 kB Buffers: 402024 kB Cached: 3148860 kB SwapCached: 216 kB Active: 2758960 kB Inactive: 2334840 kB Active(anon): 1534200 kB Inactive(anon): 11288 kB Active(file): 1224760 kB Inactive(file): 2323552 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108640 kB Dirty: 1012 kB Writeback: 0 kB AnonPages: 1556560 kB Mapped: 19036 kB Shmem: 172 kB Slab: 739992 kB SReclaimable: 182112 kB SUnreclaim: 557880 kB KernelStack: 1616 kB PageTables: 7220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10462112 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1503232 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= 70720 MiB End job on node141 at 2012-06-03 06:24:34