Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo CP 2.1.1 | SAT (TO) | 2147483537 | 1800.21 | 1789.54 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1205862294 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.07/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.16 c See www.sat4j.org for details. 0.07/0.17 c version 2.1.1.v20090612 0.07/0.17 c sun.arch.data.model 32 0.07/0.17 c java.version 1.6.0_12 0.07/0.17 c os.name Linux 0.07/0.17 c os.version 2.6.9-22.EL.rootsmp 0.07/0.17 c os.arch i386 0.07/0.17 c Free memory 1342000320 0.07/0.17 c Max memory 1344274432 0.07/0.17 c Total memory 1344274432 0.07/0.17 c Number of processors 2 0.19/0.23 c Pseudo Boolean Optimization 0.19/0.23 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.19/0.23 c --- Begin Solver configuration --- 0.19/0.23 c Stops conflict analysis at the first Unique Implication Point 0.19/0.23 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1d520c4 0.19/0.23 c Learn all clauses as in MiniSAT 0.19/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.19/0.23 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.19/0.23 c No reason simplification 0.19/0.23 c MiniSAT restarts strategy 0.19/0.23 c Memory based learned constraints deletion strategy 0.19/0.23 c timeout=2147483s 0.19/0.23 c DB Simplification allowed=false 0.19/0.23 c --- End Solver configuration --- 0.19/0.23 c solving HOME/instance-1856448-1244911739.opb 0.19/0.23 c reading problem ... 2.23/1.82 c ... done. Wall clock time 1.583s. 2.23/1.82 c #vars 6651 2.23/1.82 c #constraints 721 2.23/1.82 c constraints type 2.23/1.82 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 2.23/1.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 2.23/1.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 3.40/2.67 c SATISFIABLE 3.40/2.67 c OPTIMIZING... 3.40/2.67 c Got one! Elapsed wall clock time (in seconds):2.434 3.40/2.67 o 2147483647 4.75/3.61 c Got one! Elapsed wall clock time (in seconds):3.38 4.75/3.61 o 2147483646 5.38/4.16 c Got one! Elapsed wall clock time (in seconds):3.927 5.38/4.16 o 2147483645 6.27/4.92 c Got one! Elapsed wall clock time (in seconds):4.686 6.27/4.92 o 2147483644 6.87/5.57 c Got one! Elapsed wall clock time (in seconds):5.334 6.87/5.57 o 2147483643 7.60/6.26 c Got one! Elapsed wall clock time (in seconds):6.026 7.60/6.26 o 2147483642 8.23/6.90 c Got one! Elapsed wall clock time (in seconds):6.665 8.23/6.90 o 2147483641 8.67/7.28 c Got one! Elapsed wall clock time (in seconds):7.045 8.67/7.28 o 2147483640 9.37/7.93 c Got one! Elapsed wall clock time (in seconds):7.699 9.37/7.93 o 2147483639 10.16/8.63 c Got one! Elapsed wall clock time (in seconds):8.397 10.16/8.63 o 2147483638 10.96/9.37 c Got one! Elapsed wall clock time (in seconds):9.138 10.96/9.37 o 2147483637 11.60/10.00 c Got one! Elapsed wall clock time (in seconds):9.77 11.60/10.00 o 2147483636 12.33/10.65 c Got one! Elapsed wall clock time (in seconds):10.422 12.33/10.65 o 2147483635 12.93/11.29 c Got one! Elapsed wall clock time (in seconds):11.06 12.93/11.29 o 2147483634 29.14/27.17 c Got one! Elapsed wall clock time (in seconds):26.943 29.14/27.17 o 2147483633 45.27/43.27 c Got one! Elapsed wall clock time (in seconds):43.035 45.27/43.27 o 2147483632 61.29/59.22 c Got one! Elapsed wall clock time (in seconds):58.992 61.29/59.22 o 2147483631 77.21/75.17 c Got one! Elapsed wall clock time (in seconds):74.943 77.21/75.17 o 2147483630 93.23/91.11 c Got one! Elapsed wall clock time (in seconds):90.876 93.23/91.11 o 2147483629 109.26/107.10 c Got one! Elapsed wall clock time (in seconds):106.872 109.26/107.10 o 2147483628 125.30/123.11 c Got one! Elapsed wall clock time (in seconds):122.881 125.30/123.11 o 2147483627 141.23/139.09 c Got one! Elapsed wall clock time (in seconds):138.857 141.23/139.09 o 2147483626 157.26/155.07 c Got one! Elapsed wall clock time (in seconds):154.837 157.26/155.07 o 2147483625 158.00/155.79 c Got one! Elapsed wall clock time (in seconds):155.555 158.00/155.79 o 2147483624 158.70/156.50 c Got one! Elapsed wall clock time (in seconds):156.264 158.70/156.50 o 2147483623 159.51/157.28 c Got one! Elapsed wall clock time (in seconds):157.044 159.51/157.28 o 2147483622 168.04/165.79 c Got one! Elapsed wall clock time (in seconds):165.555 168.04/165.79 o 2147483621 237.77/235.40 c Got one! Elapsed wall clock time (in seconds):235.166 237.77/235.40 o 2147483620 238.47/236.07 c Got one! Elapsed wall clock time (in seconds):235.837 238.47/236.07 o 2147483619 239.21/236.78 c Got one! Elapsed wall clock time (in seconds):236.543 239.21/236.78 o 2147483618 239.91/237.44 c Got one! Elapsed wall clock time (in seconds):237.203 239.91/237.44 o 2147483617 240.61/238.13 c Got one! Elapsed wall clock time (in seconds):237.897 240.61/238.13 o 2147483616 241.22/238.78 c Got one! Elapsed wall clock time (in seconds):238.546 241.22/238.78 o 2147483615 241.92/239.46 c Got one! Elapsed wall clock time (in seconds):239.23 241.92/239.46 o 2147483614 242.62/240.14 c Got one! Elapsed wall clock time (in seconds):239.91 242.62/240.14 o 2147483613 243.32/240.82 c Got one! Elapsed wall clock time (in seconds):240.59 243.32/240.82 o 2147483612 243.93/241.50 c Got one! Elapsed wall clock time (in seconds):241.264 243.93/241.50 o 2147483611 244.74/242.22 c Got one! Elapsed wall clock time (in seconds):241.983 244.74/242.22 o 2147483610 245.48/242.97 c Got one! Elapsed wall clock time (in seconds):242.734 245.48/242.97 o 2147483609 246.18/243.65 c Got one! Elapsed wall clock time (in seconds):243.421 246.18/243.65 o 2147483608 246.89/244.37 c Got one! Elapsed wall clock time (in seconds):244.136 246.89/244.37 o 2147483607 247.59/245.04 c Got one! Elapsed wall clock time (in seconds):244.811 247.59/245.04 o 2147483606 248.31/245.78 c Got one! Elapsed wall clock time (in seconds):245.548 248.31/245.78 o 2147483605 249.11/246.51 c Got one! Elapsed wall clock time (in seconds):246.279 249.11/246.51 o 2147483604 249.82/247.25 c Got one! Elapsed wall clock time (in seconds):247.014 249.82/247.25 o 2147483603 250.62/248.00 c Got one! Elapsed wall clock time (in seconds):247.77 250.62/248.00 o 2147483602 251.34/248.73 c Got one! Elapsed wall clock time (in seconds):248.496 251.34/248.73 o 2147483601 252.03/249.44 c Got one! Elapsed wall clock time (in seconds):249.212 252.03/249.44 o 2147483600 252.84/250.20 c Got one! Elapsed wall clock time (in seconds):249.967 252.84/250.20 o 2147483599 253.55/250.94 c Got one! Elapsed wall clock time (in seconds):250.704 253.55/250.94 o 2147483598 254.35/251.71 c Got one! Elapsed wall clock time (in seconds):251.479 254.35/251.71 o 2147483597 255.05/252.47 c Got one! Elapsed wall clock time (in seconds):252.233 255.05/252.47 o 2147483596 255.86/253.21 c Got one! Elapsed wall clock time (in seconds):252.974 255.86/253.21 o 2147483595 256.56/253.95 c Got one! Elapsed wall clock time (in seconds):253.717 256.56/253.95 o 2147483594 257.28/254.69 c Got one! Elapsed wall clock time (in seconds):254.462 257.28/254.69 o 2147483593 288.27/285.53 c Got one! Elapsed wall clock time (in seconds):285.302 288.27/285.53 o 2147483592 289.07/286.34 c Got one! Elapsed wall clock time (in seconds):286.106 289.07/286.34 o 2147483591 289.77/287.09 c Got one! Elapsed wall clock time (in seconds):286.856 289.77/287.09 o 2147483590 290.58/287.85 c Got one! Elapsed wall clock time (in seconds):287.622 290.58/287.85 o 2147483589 291.38/288.63 c Got one! Elapsed wall clock time (in seconds):288.402 291.38/288.63 o 2147483588 292.19/289.44 c Got one! Elapsed wall clock time (in seconds):289.212 292.19/289.44 o 2147483587 292.99/290.26 c Got one! Elapsed wall clock time (in seconds):290.032 292.99/290.26 o 2147483586 293.79/291.04 c Got one! Elapsed wall clock time (in seconds):290.809 293.79/291.04 o 2147483585 294.59/291.84 c Got one! Elapsed wall clock time (in seconds):291.606 294.59/291.84 o 2147483584 449.22/446.00 c Got one! Elapsed wall clock time (in seconds):445.766 449.22/446.00 o 2147483583 523.04/519.64 c Got one! Elapsed wall clock time (in seconds):519.408 523.04/519.64 o 2147483582 533.72/530.24 c Got one! Elapsed wall clock time (in seconds):530.012 533.72/530.26 o 2147483581 534.63/531.15 c Got one! Elapsed wall clock time (in seconds):530.916 534.63/531.15 o 2147483580 535.54/532.06 c Got one! Elapsed wall clock time (in seconds):531.827 535.54/532.06 o 2147483579 536.44/532.94 c Got one! Elapsed wall clock time (in seconds):532.704 536.44/532.94 o 2147483578 537.35/533.83 c Got one! Elapsed wall clock time (in seconds):533.597 537.35/533.83 o 2147483577 1315.17/1308.27 c Got one! Elapsed wall clock time (in seconds):1308.035 1315.17/1308.27 o 2147483576 1345.35/1338.22 c Got one! Elapsed wall clock time (in seconds):1337.987 1345.35/1338.22 o 2147483575 1375.55/1368.26 c Got one! Elapsed wall clock time (in seconds):1368.025 1375.55/1368.26 o 2147483574 1405.64/1398.11 c Got one! Elapsed wall clock time (in seconds):1397.882 1405.64/1398.11 o 2147483573 1434.74/1427.06 c Got one! Elapsed wall clock time (in seconds):1426.826 1434.74/1427.06 o 2147483572 1458.52/1450.65 c Got one! Elapsed wall clock time (in seconds):1450.42 1458.52/1450.65 o 2147483571 1459.52/1451.63 c Got one! Elapsed wall clock time (in seconds):1451.394 1459.52/1451.63 o 2147483570 1501.53/1493.39 c Got one! Elapsed wall clock time (in seconds):1493.156 1501.53/1493.39 o 2147483569 1502.53/1494.38 c Got one! Elapsed wall clock time (in seconds):1494.152 1502.53/1494.38 o 2147483568 1503.55/1495.31 c Got one! Elapsed wall clock time (in seconds):1495.082 1503.55/1495.31 o 2147483567 1536.29/1527.81 c Got one! Elapsed wall clock time (in seconds):1527.576 1536.29/1527.81 o 2147483566 1537.20/1528.77 c Got one! Elapsed wall clock time (in seconds):1528.538 1537.20/1528.77 o 2147483565 1538.20/1529.72 c Got one! Elapsed wall clock time (in seconds):1529.485 1538.20/1529.72 o 2147483564 1552.80/1544.26 c Got one! Elapsed wall clock time (in seconds):1544.025 1552.80/1544.26 o 2147483563 1553.81/1545.29 c Got one! Elapsed wall clock time (in seconds):1545.057 1553.81/1545.29 o 2147483562 1554.71/1546.17 c Got one! Elapsed wall clock time (in seconds):1545.935 1554.71/1546.17 o 2147483561 1555.62/1547.09 c Got one! Elapsed wall clock time (in seconds):1546.862 1555.62/1547.09 o 2147483560 1556.52/1547.98 c Got one! Elapsed wall clock time (in seconds):1547.752 1556.52/1547.98 o 2147483559 1690.82/1681.21 c Got one! Elapsed wall clock time (in seconds):1680.978 1690.82/1681.21 o 2147483558 1691.72/1682.16 c Got one! Elapsed wall clock time (in seconds):1681.931 1691.72/1682.16 o 2147483557 1692.74/1683.12 c Got one! Elapsed wall clock time (in seconds):1682.891 1692.74/1683.12 o 2147483556 1703.62/1693.93 c Got one! Elapsed wall clock time (in seconds):1693.701 1703.62/1693.93 o 2147483555 1704.53/1694.87 c Got one! Elapsed wall clock time (in seconds):1694.638 1704.53/1694.87 o 2147483554 1710.39/1700.67 c Got one! Elapsed wall clock time (in seconds):1700.437 1710.39/1700.67 o 2147483553 1711.39/1701.65 c Got one! Elapsed wall clock time (in seconds):1701.417 1711.39/1701.65 o 2147483552 1717.35/1707.56 c Got one! Elapsed wall clock time (in seconds):1707.333 1717.35/1707.56 o 2147483551 1723.31/1713.48 c Got one! Elapsed wall clock time (in seconds):1713.251 1723.31/1713.48 o 2147483550 1724.31/1714.44 c Got one! Elapsed wall clock time (in seconds):1714.203 1724.31/1714.44 o 2147483549 1735.63/1725.67 c Got one! Elapsed wall clock time (in seconds):1725.435 1735.63/1725.67 o 2147483548 1736.63/1726.68 c Got one! Elapsed wall clock time (in seconds):1726.452 1736.63/1726.68 o 2147483547 1737.63/1727.66 c Got one! Elapsed wall clock time (in seconds):1727.429 1737.63/1727.66 o 2147483546 1738.65/1728.64 c Got one! Elapsed wall clock time (in seconds):1728.409 1738.65/1728.64 o 2147483545 1739.65/1729.66 c Got one! Elapsed wall clock time (in seconds):1729.426 1739.65/1729.66 o 2147483544 1740.76/1730.71 c Got one! Elapsed wall clock time (in seconds):1730.474 1740.76/1730.71 o 2147483543 1741.78/1731.73 c Got one! Elapsed wall clock time (in seconds):1731.494 1741.78/1731.73 o 2147483542 1742.78/1732.76 c Got one! Elapsed wall clock time (in seconds):1732.53 1742.78/1732.76 o 2147483541 1743.80/1733.77 c Got one! Elapsed wall clock time (in seconds):1733.539 1743.80/1733.77 o 2147483540 1784.65/1774.23 c Got one! Elapsed wall clock time (in seconds):1773.996 1784.65/1774.23 o 2147483539 1785.76/1775.32 c Got one! Elapsed wall clock time (in seconds):1775.091 1785.76/1775.32 o 2147483538 1792.42/1781.98 c Got one! Elapsed wall clock time (in seconds):1781.751 1792.42/1781.98 o 2147483537 1800.00/1789.41 c starts : 112 1800.00/1789.41 c conflicts : 173 1800.00/1789.41 c decisions : 711530 1800.00/1789.41 c propagations : 1429511 1800.00/1789.41 c inspects : 44755282 1800.00/1789.41 c learnt literals : 0 1800.00/1789.41 c learnt binary clauses : 0 1800.00/1789.41 c learnt ternary clauses : 0 1800.00/1789.41 c learnt clauses : 172 1800.00/1789.41 c ignored clauses : 0 1800.00/1789.41 c root simplifications : 0 1800.00/1789.41 c removed literals (reason simplification) : 0 1800.00/1789.41 c reason swapping (by a shorter reason) : 0 1800.00/1789.41 c Calls to reduceDB : 0 1800.00/1789.41 c speed (assignments/second) : 192397.17362045762 1800.00/1789.41 c non guided choices 5887 1800.00/1789.41 c learnt constraints type 1800.00/1789.41 c org.sat4j.pb.constraints.pb.MaxWatchPb => 172 1800.00/1789.41 c constraints type 1800.00/1789.41 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1800.00/1789.41 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1800.00/1789.41 c org.sat4j.pb.constraints.pb.MaxWatchPb => 340 1800.00/1789.41 s SATISFIABLE 1800.00/1789.44 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 1800.00/1789.48 c objective function=2147483537 1800.00/1789.48 c Total wall clock time (in seconds): 1789.249
OK 2147483537
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856448-1244911739/watcher-1856448-1244911739 -o /tmp/evaluation-result-1856448-1244911739/solver-1856448-1244911739 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1856448-1244911739.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.05 1.01 2/64 10818 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1612 CPUtime=0 /proc/10818/stat : 10818 (java6) D 10816 10818 10514 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 158774484 1650688 147 1992294400 134512640 134550932 4294956160 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0 /proc/10818/statm: 403 147 111 9 0 45 0 [startup+0.103425 s] /proc/loadavg: 1.00 1.05 1.01 2/64 10818 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1470220 CPUtime=0.07 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 3452 0 1 0 5 2 0 0 18 0 7 0 158774484 1505505280 3198 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 367555 3199 1039 9 0 364906 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1470220 [startup+0.201443 s] /proc/loadavg: 1.00 1.05 1.01 2/64 10818 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1475344 CPUtime=0.19 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 4564 0 1 0 16 3 0 0 18 0 12 0 158774484 1510752256 4302 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 368836 4302 1331 9 0 366179 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1475344 [startup+0.301452 s] /proc/loadavg: 1.00 1.05 1.01 2/64 10818 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1475344 CPUtime=0.33 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 4947 0 1 0 30 3 0 0 18 0 12 0 158774484 1510752256 4684 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 368836 4684 1354 9 0 366179 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1475344 [startup+0.7015 s] /proc/loadavg: 1.00 1.05 1.01 2/64 10818 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1477392 CPUtime=1.01 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 7286 0 1 0 97 4 0 0 18 0 12 0 158774484 1512849408 6784 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369348 6784 1400 9 0 366691 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1477392 [startup+1.50259 s] /proc/loadavg: 1.00 1.05 1.01 2/76 10830 /proc/meminfo: memFree=1637592/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1477392 CPUtime=1.94 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 23659 0 1 0 181 13 0 0 18 0 12 0 158774484 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369348 22996 1401 9 0 366691 0 [pid=10818/tid=10820] ppid=10816 vsize=1477392 CPUtime=1.27 /proc/10818/task/10820/stat : 10820 (java) R 10816 10818 10514 0 -1 64 21469 0 1 0 116 11 0 0 25 0 12 0 158774485 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4109452728 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10821] ppid=10816 vsize=1477392 CPUtime=0 /proc/10818/task/10821/stat : 10821 (java) S 10816 10818 10514 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 158774489 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10822] ppid=10816 vsize=1477392 CPUtime=0 /proc/10818/task/10822/stat : 10822 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 158774489 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10823] ppid=10816 vsize=1477392 CPUtime=0 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 158774491 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1477392 CPUtime=0 /proc/10818/task/10824/stat : 10824 (java) S 10816 10818 10514 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 158774491 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10825] ppid=10816 vsize=1477392 CPUtime=0 /proc/10818/task/10825/stat : 10825 (java) S 10816 10818 10514 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 158774491 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10826] ppid=10816 vsize=1477392 CPUtime=0 /proc/10818/task/10826/stat : 10826 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 158774496 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10827] ppid=10816 vsize=1477392 CPUtime=0.29 /proc/10818/task/10827/stat : 10827 (java) S 10816 10818 10514 0 -1 64 564 0 0 0 29 0 0 0 16 0 12 0 158774496 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10828] ppid=10816 vsize=1477392 CPUtime=0.35 /proc/10818/task/10828/stat : 10828 (java) S 10816 10818 10514 0 -1 64 886 0 0 0 35 0 0 0 16 0 12 0 158774496 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10829] ppid=10816 vsize=1477392 CPUtime=0 /proc/10818/task/10829/stat : 10829 (java) S 10816 10818 10514 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158774496 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10830] ppid=10816 vsize=1477392 CPUtime=0 /proc/10818/task/10830/stat : 10830 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 158774496 1512849408 22996 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.94 Current children cumulated vsize (KiB) 1477392 [startup+3.10178 s] /proc/loadavg: 1.00 1.05 1.01 3/77 10831 /proc/meminfo: memFree=1562064/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1478740 CPUtime=4.14 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 37560 0 1 0 394 20 0 0 18 0 13 0 158774484 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369685 36062 1427 9 0 367028 0 [pid=10818/tid=10820] ppid=10816 vsize=1478740 CPUtime=2.53 /proc/10818/task/10820/stat : 10820 (java) R 10816 10818 10514 0 -1 64 30987 0 1 0 237 16 0 0 21 0 13 0 158774485 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10821] ppid=10816 vsize=1478740 CPUtime=0.05 /proc/10818/task/10821/stat : 10821 (java) S 10816 10818 10514 0 -1 64 1583 0 0 0 5 0 0 0 17 0 13 0 158774489 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10822] ppid=10816 vsize=1478740 CPUtime=0.04 /proc/10818/task/10822/stat : 10822 (java) S 10816 10818 10514 0 -1 64 1402 0 0 0 4 0 0 0 17 0 13 0 158774489 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10823] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 158774491 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10824/stat : 10824 (java) S 10816 10818 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158774491 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10825] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10825/stat : 10825 (java) S 10816 10818 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158774491 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10826] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10826/stat : 10826 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158774496 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10827] ppid=10816 vsize=1478740 CPUtime=0.7 /proc/10818/task/10827/stat : 10827 (java) R 10816 10818 10514 0 -1 64 1603 0 0 0 70 0 0 0 17 0 13 0 158774496 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 104146997 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10828] ppid=10816 vsize=1478740 CPUtime=0.76 /proc/10818/task/10828/stat : 10828 (java) R 10816 10818 10514 0 -1 64 1230 0 0 0 76 0 0 0 17 0 13 0 158774496 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 104163852 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10829] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10829/stat : 10829 (java) S 10816 10818 10514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158774496 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10830] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10830/stat : 10830 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158774496 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10831] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10831/stat : 10831 (java) S 10816 10818 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158774671 1514229760 36062 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.14 Current children cumulated vsize (KiB) 1478740 [startup+6.30215 s] /proc/loadavg: 1.00 1.04 1.01 2/77 10831 /proc/meminfo: memFree=1533456/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1478740 CPUtime=7.7 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 42051 0 1 0 748 22 0 0 18 0 13 0 158774484 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369685 40376 1429 9 0 367028 0 [pid=10818/tid=10820] ppid=10816 vsize=1478740 CPUtime=5.53 /proc/10818/task/10820/stat : 10820 (java) R 10816 10818 10514 0 -1 64 30993 0 1 0 537 16 0 0 18 0 13 0 158774485 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4109627974 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10821] ppid=10816 vsize=1478740 CPUtime=0.17 /proc/10818/task/10821/stat : 10821 (java) S 10816 10818 10514 0 -1 64 3912 0 0 0 16 1 0 0 17 0 13 0 158774489 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10822] ppid=10816 vsize=1478740 CPUtime=0.16 /proc/10818/task/10822/stat : 10822 (java) S 10816 10818 10514 0 -1 64 3517 0 0 0 15 1 0 0 17 0 13 0 158774489 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10823] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 158774491 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10824/stat : 10824 (java) S 10816 10818 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158774491 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10825] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10825/stat : 10825 (java) S 10816 10818 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158774491 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10826] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10826/stat : 10826 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158774496 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10827] ppid=10816 vsize=1478740 CPUtime=0.8 /proc/10818/task/10827/stat : 10827 (java) S 10816 10818 10514 0 -1 64 1612 0 0 0 80 0 0 0 17 0 13 0 158774496 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10828] ppid=10816 vsize=1478740 CPUtime=0.96 /proc/10818/task/10828/stat : 10828 (java) S 10816 10818 10514 0 -1 64 1248 0 0 0 96 0 0 0 17 0 13 0 158774496 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10829] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10829/stat : 10829 (java) S 10816 10818 10514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158774496 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10830] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10830/stat : 10830 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158774496 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10831] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10831/stat : 10831 (java) S 10816 10818 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158774671 1514229760 40376 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 1478740 [startup+12.7019 s] /proc/loadavg: 1.00 1.04 1.01 2/77 10831 /proc/meminfo: memFree=1505488/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1478740 CPUtime=14.54 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 49921 0 1 0 1428 26 0 0 18 0 13 0 158774484 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369685 47008 1429 9 0 367028 0 [pid=10818/tid=10820] ppid=10816 vsize=1478740 CPUtime=11.65 /proc/10818/task/10820/stat : 10820 (java) R 10816 10818 10514 0 -1 64 31006 0 1 0 1149 16 0 0 25 0 13 0 158774485 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4109500803 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10821] ppid=10816 vsize=1478740 CPUtime=0.38 /proc/10818/task/10821/stat : 10821 (java) S 10816 10818 10514 0 -1 64 8302 0 0 0 35 3 0 0 16 0 13 0 158774489 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10822] ppid=10816 vsize=1478740 CPUtime=0.38 /proc/10818/task/10822/stat : 10822 (java) S 10816 10818 10514 0 -1 64 6937 0 0 0 35 3 0 0 16 0 13 0 158774489 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10823] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 158774491 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10824/stat : 10824 (java) S 10816 10818 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158774491 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10825] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10825/stat : 10825 (java) S 10816 10818 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158774491 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10826] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10826/stat : 10826 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158774496 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10827] ppid=10816 vsize=1478740 CPUtime=1 /proc/10818/task/10827/stat : 10827 (java) S 10816 10818 10514 0 -1 64 1642 0 0 0 100 0 0 0 17 0 13 0 158774496 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10828] ppid=10816 vsize=1478740 CPUtime=1.05 /proc/10818/task/10828/stat : 10828 (java) S 10816 10818 10514 0 -1 64 1255 0 0 0 105 0 0 0 17 0 13 0 158774496 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10829] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10829/stat : 10829 (java) S 10816 10818 10514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158774496 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10830] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10830/stat : 10830 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158774496 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10831] ppid=10816 vsize=1478740 CPUtime=0 /proc/10818/task/10831/stat : 10831 (java) S 10816 10818 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158774671 1514229760 47008 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.54 Current children cumulated vsize (KiB) 1478740 [startup+25.5022 s] /proc/loadavg: 1.00 1.04 1.01 2/77 10831 /proc/meminfo: memFree=1504208/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1479764 CPUtime=27.54 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 52127 0 1 0 2727 27 0 0 18 0 13 0 158774484 1515278336 47317 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369941 47317 1429 9 0 367284 0 [pid=10818/tid=10820] ppid=10816 vsize=1479764 CPUtime=24.37 /proc/10818/task/10820/stat : 10820 (java) R 10816 10818 10514 0 -1 64 31089 0 1 0 2421 16 0 0 25 0 13 0 158774485 1515278336 47317 1992294400 134512640 134550932 4294956000 18446744073709551615 4109945359 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10821] ppid=10816 vsize=1479764 CPUtime=0.4 /proc/10818/task/10821/stat : 10821 (java) S 10816 10818 10514 0 -1 64 8318 0 0 0 37 3 0 0 16 0 13 0 158774489 1515278336 47317 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10822] ppid=10816 vsize=1479764 CPUtime=0.4 /proc/10818/task/10822/stat : 10822 (java) S 10816 10818 10514 0 -1 64 6953 0 0 0 37 3 0 0 16 0 13 0 158774489 1515278336 47317 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10823] ppid=10816 vsize=1479764 CPUtime=0.01 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 34 0 0 0 1 0 0 0 15 0 13 0 158774491 1515278336 47317 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1479764 CPUtime=0 ################ # More data... # ################ [pid=10818/tid=10823] ppid=10816 vsize=1479764 CPUtime=0.65 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 36 0 0 0 40 25 0 0 16 0 13 0 158774491 1515278336 68283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10824/stat : 10824 (java) S 10816 10818 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 68283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10825] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10825/stat : 10825 (java) S 10816 10818 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 68283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10826] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10826/stat : 10826 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158774496 1515278336 68283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10827] ppid=10816 vsize=1479764 CPUtime=1.08 /proc/10818/task/10827/stat : 10827 (java) S 10816 10818 10514 0 -1 64 2386 0 0 0 107 1 0 0 17 0 13 0 158774496 1515278336 68283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10828] ppid=10816 vsize=1479764 CPUtime=1.58 /proc/10818/task/10828/stat : 10828 (java) S 10816 10818 10514 0 -1 64 2930 0 0 0 157 1 0 0 17 0 13 0 158774496 1515278336 68283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10829] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10829/stat : 10829 (java) S 10816 10818 10514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158774496 1515278336 68283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10830] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10830/stat : 10830 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158774496 1515278336 68283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10831] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10831/stat : 10831 (java) S 10816 10818 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158774671 1515278336 68283 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1611.38 Current children cumulated vsize (KiB) 1479764 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 10839 /proc/meminfo: memFree=1418960/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1479764 CPUtime=1671.78 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 79014 0 1 0 167046 132 0 0 18 0 13 0 158774484 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369941 68402 1434 9 0 367284 0 [pid=10818/tid=10820] ppid=10816 vsize=1479764 CPUtime=1651.33 /proc/10818/task/10820/stat : 10820 (java) R 10816 10818 10514 0 -1 64 34544 0 1 0 165107 26 0 0 25 0 13 0 158774485 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4109500746 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10821] ppid=10816 vsize=1479764 CPUtime=8.56 /proc/10818/task/10821/stat : 10821 (java) S 10816 10818 10514 0 -1 64 20564 0 0 0 811 45 0 0 16 0 13 0 158774489 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10822] ppid=10816 vsize=1479764 CPUtime=8.49 /proc/10818/task/10822/stat : 10822 (java) S 10816 10818 10514 0 -1 64 17809 0 0 0 820 29 0 0 16 0 13 0 158774489 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10823] ppid=10816 vsize=1479764 CPUtime=0.67 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 36 0 0 0 41 26 0 0 15 0 13 0 158774491 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10824/stat : 10824 (java) S 10816 10818 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10825] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10825/stat : 10825 (java) S 10816 10818 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10826] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10826/stat : 10826 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158774496 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10827] ppid=10816 vsize=1479764 CPUtime=1.08 /proc/10818/task/10827/stat : 10827 (java) S 10816 10818 10514 0 -1 64 2386 0 0 0 107 1 0 0 17 0 13 0 158774496 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10828] ppid=10816 vsize=1479764 CPUtime=1.58 /proc/10818/task/10828/stat : 10828 (java) S 10816 10818 10514 0 -1 64 2930 0 0 0 157 1 0 0 17 0 13 0 158774496 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10829] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10829/stat : 10829 (java) S 10816 10818 10514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158774496 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10830] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10830/stat : 10830 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158774496 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10831] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10831/stat : 10831 (java) S 10816 10818 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158774671 1515278336 68402 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1671.78 Current children cumulated vsize (KiB) 1479764 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 10839 /proc/meminfo: memFree=1405200/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1479764 CPUtime=1732.3 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 83434 0 1 0 173093 137 0 0 18 0 13 0 158774484 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369941 71848 1434 9 0 367284 0 [pid=10818/tid=10820] ppid=10816 vsize=1479764 CPUtime=1710.7 /proc/10818/task/10820/stat : 10820 (java) R 10816 10818 10514 0 -1 64 34663 0 1 0 171043 27 0 0 25 0 13 0 158774485 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4109501123 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10821] ppid=10816 vsize=1479764 CPUtime=9.14 /proc/10818/task/10821/stat : 10821 (java) S 10816 10818 10514 0 -1 64 22721 0 0 0 867 47 0 0 16 0 13 0 158774489 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10822] ppid=10816 vsize=1479764 CPUtime=9.05 /proc/10818/task/10822/stat : 10822 (java) S 10816 10818 10514 0 -1 64 19953 0 0 0 873 32 0 0 16 0 13 0 158774489 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10823] ppid=10816 vsize=1479764 CPUtime=0.7 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 36 0 0 0 43 27 0 0 15 0 13 0 158774491 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10824/stat : 10824 (java) S 10816 10818 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10825] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10825/stat : 10825 (java) S 10816 10818 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10826] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10826/stat : 10826 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158774496 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10827] ppid=10816 vsize=1479764 CPUtime=1.08 /proc/10818/task/10827/stat : 10827 (java) S 10816 10818 10514 0 -1 64 2386 0 0 0 107 1 0 0 17 0 13 0 158774496 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10828] ppid=10816 vsize=1479764 CPUtime=1.58 /proc/10818/task/10828/stat : 10828 (java) S 10816 10818 10514 0 -1 64 2930 0 0 0 157 1 0 0 16 0 13 0 158774496 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10829] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10829/stat : 10829 (java) S 10816 10818 10514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158774496 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10830] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10830/stat : 10830 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158774496 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10831] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10831/stat : 10831 (java) S 10816 10818 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158774671 1515278336 71848 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1732.3 Current children cumulated vsize (KiB) 1479764 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 10839 /proc/meminfo: memFree=1396240/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1479764 CPUtime=1792.82 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 85990 0 1 0 179140 142 0 0 18 0 13 0 158774484 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369941 74047 1434 9 0 367284 0 [pid=10818/tid=10820] ppid=10816 vsize=1479764 CPUtime=1770.08 /proc/10818/task/10820/stat : 10820 (java) R 10816 10818 10514 0 -1 64 34777 0 1 0 176981 27 0 0 25 0 13 0 158774485 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4109628054 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10821] ppid=10816 vsize=1479764 CPUtime=9.69 /proc/10818/task/10821/stat : 10821 (java) S 10816 10818 10514 0 -1 64 23611 0 0 0 921 48 0 0 16 0 13 0 158774489 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10822] ppid=10816 vsize=1479764 CPUtime=9.62 /proc/10818/task/10822/stat : 10822 (java) S 10816 10818 10514 0 -1 64 21505 0 0 0 927 35 0 0 16 0 13 0 158774489 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10823] ppid=10816 vsize=1479764 CPUtime=0.72 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 36 0 0 0 45 27 0 0 16 0 13 0 158774491 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10824/stat : 10824 (java) S 10816 10818 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10825] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10825/stat : 10825 (java) S 10816 10818 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10826] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10826/stat : 10826 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158774496 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10827] ppid=10816 vsize=1479764 CPUtime=1.08 /proc/10818/task/10827/stat : 10827 (java) S 10816 10818 10514 0 -1 64 2386 0 0 0 107 1 0 0 17 0 13 0 158774496 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10828] ppid=10816 vsize=1479764 CPUtime=1.58 /proc/10818/task/10828/stat : 10828 (java) S 10816 10818 10514 0 -1 64 2930 0 0 0 157 1 0 0 16 0 13 0 158774496 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10829] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10829/stat : 10829 (java) S 10816 10818 10514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158774496 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10830] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10830/stat : 10830 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158774496 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10831] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10831/stat : 10831 (java) S 10816 10818 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158774671 1515278336 74047 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1792.82 Current children cumulated vsize (KiB) 1479764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1789.4 s] /proc/loadavg: 1.00 1.00 1.00 2/77 10839 /proc/meminfo: memFree=1395152/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=1479764 CPUtime=1800 /proc/10818/stat : 10818 (java) S 10816 10818 10514 0 -1 0 86290 0 1 0 179857 143 0 0 18 0 13 0 158774484 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 369941 74330 1434 9 0 367284 0 [pid=10818/tid=10820] ppid=10816 vsize=1479764 CPUtime=1777.09 /proc/10818/task/10820/stat : 10820 (java) R 10816 10818 10514 0 -1 64 34793 0 1 0 177682 27 0 0 25 0 13 0 158774485 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4109735594 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10821] ppid=10816 vsize=1479764 CPUtime=9.77 /proc/10818/task/10821/stat : 10821 (java) S 10816 10818 10514 0 -1 64 23712 0 0 0 928 49 0 0 16 0 13 0 158774489 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10822] ppid=10816 vsize=1479764 CPUtime=9.7 /proc/10818/task/10822/stat : 10822 (java) S 10816 10818 10514 0 -1 64 21688 0 0 0 935 35 0 0 16 0 13 0 158774489 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10823] ppid=10816 vsize=1479764 CPUtime=0.72 /proc/10818/task/10823/stat : 10823 (java) S 10816 10818 10514 0 -1 64 36 0 0 0 45 27 0 0 15 0 13 0 158774491 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10824] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10824/stat : 10824 (java) S 10816 10818 10514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10825] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10825/stat : 10825 (java) S 10816 10818 10514 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158774491 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10826] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10826/stat : 10826 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158774496 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10827] ppid=10816 vsize=1479764 CPUtime=1.08 /proc/10818/task/10827/stat : 10827 (java) S 10816 10818 10514 0 -1 64 2386 0 0 0 107 1 0 0 17 0 13 0 158774496 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10818/tid=10828] ppid=10816 vsize=1479764 CPUtime=1.58 /proc/10818/task/10828/stat : 10828 (java) S 10816 10818 10514 0 -1 64 2930 0 0 0 157 1 0 0 16 0 13 0 158774496 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10829] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10829/stat : 10829 (java) S 10816 10818 10514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158774496 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10830] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10830/stat : 10830 (java) S 10816 10818 10514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158774496 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10818/tid=10831] ppid=10816 vsize=1479764 CPUtime=0 /proc/10818/task/10831/stat : 10831 (java) S 10816 10818 10514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 158774671 1515278336 74330 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1479764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1789.51 s] /proc/loadavg: 1.00 1.00 1.00 2/77 10839 /proc/meminfo: memFree=1395152/2055920 swapFree=4192812/4192956 [pid=10818] ppid=10816 vsize=0 CPUtime=1800.18 /proc/10818/stat : 10818 (java) Z 10816 10818 10514 0 -1 1036 86314 0 1 0 179872 146 0 0 15 0 2 0 158774484 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10818/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1789.54 CPU time (s): 1800.21 CPU user time (s): 1798.73 CPU system time (s): 1.48277 CPU usage (%): 100.596 Max. virtual memory (cumulated for all children) (KiB): 1482268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.73 system time used= 1.48277 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86314 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 72854 involuntary context switches= 39461 runsolver used 1.87471 second user time and 5.06023 second system time The end
Begin job on node11 at 2009-06-13 18:48:59 IDJOB=1856448 IDBENCH=2527 IDSOLVER=681 FILE ID=node11/1856448-1244911739 PBS_JOBID= 9354503 Free space on /tmp= 66232 MiB SOLVER NAME= SAT4J Pseudo CP 2.1.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856448-1244911739/watcher-1856448-1244911739 -o /tmp/evaluation-result-1856448-1244911739/solver-1856448-1244911739 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1856448-1244911739.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED=988933460 node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1689376 kB Buffers: 47348 kB Cached: 242260 kB SwapCached: 140 kB Active: 35796 kB Inactive: 267384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1689376 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2308 kB Writeback: 0 kB Mapped: 23244 kB Slab: 49264 kB Committed_AS: 126320 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66232 MiB End job on node11 at 2009-06-13 19:18:50