Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 19 | 1800.68 | 929.942 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb |
| MD5SUM | b21d0afca1befeb5506928b558ab5220 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 0.662899 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | YES |
| Number of variables | 6672 |
| Total number of constraints | 14168 |
| Number of constraints which are clauses | 14168 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 3302 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 3302 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3302 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3688504-1337878039.opb 0.09/0.12 c reading problem ... 1.09/0.51 c ... done. Wall clock time 0.395s. 1.09/0.51 c declared #vars 6672 1.09/0.51 c #constraints 14168 1.09/0.51 c constraints type 1.09/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 1.09/0.52 c org.sat4j.minisat.constraints.cnf.UnitClause => 2 1.09/0.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 1.09/0.52 c 14168 constraints processed. 1.09/0.52 c constraints type 1.09/0.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 1.09/0.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 1.09/0.52 c org.sat4j.pb.constraints.pb.UnitClausePB => 2 1.09/0.52 c 14168 constraints processed. 1.09/0.52 c objective function length is 3302 literals 1.47/0.69 c And the winner is solver1 2.16/1.02 c SATISFIABLE 2.16/1.02 c OPTIMIZING... 2.16/1.02 c Got one! Elapsed wall clock time (in seconds):0.902 2.16/1.02 o 28 2.45/1.11 c And the winner is solver0 2.71/1.54 c Got one! Elapsed wall clock time (in seconds):1.424 2.71/1.54 o 27 9.35/4.45 c cleaning 2501 clauses out of 5032 with flag 5000/5032 10.15/4.83 c And the winner is solver1 10.25/5.05 c Got one! Elapsed wall clock time (in seconds):4.934 10.25/5.05 o 26 15.66/7.70 c cleaning 4047 clauses out of 8093 with flag 5000/10594 18.23/9.07 c And the winner is solver1 18.38/9.56 c Got one! Elapsed wall clock time (in seconds):9.44 18.38/9.56 o 25 21.48/11.10 c cleaning 4745 clauses out of 9537 with flag 3000/16085 27.65/14.30 c cleaning 5394 clauses out of 10792 with flag 9000/22085 32.79/16.83 c And the winner is solver1 32.88/17.07 c Got one! Elapsed wall clock time (in seconds):16.946 32.88/17.07 o 24 37.94/19.61 c cleaning 7824 clauses out of 15648 with flag 5002/32335 43.65/22.57 c cleaning 6909 clauses out of 13822 with flag 11000/38333 50.56/26.01 c cleaning 6945 clauses out of 13913 with flag 18000/45333 53.49/27.51 c And the winner is solver1 53.49/27.62 c Got one! Elapsed wall clock time (in seconds):27.497 53.49/27.62 o 23 56.25/29.05 c cleaning 6456 clauses out of 12914 with flag 3000/51279 62.71/32.34 c cleaning 6229 clauses out of 12459 with flag 9001/57280 70.02/36.09 c cleaning 6571 clauses out of 13229 with flag 16000/64279 78.71/40.43 c cleaning 7303 clauses out of 14658 with flag 24000/72279 88.24/45.24 c cleaning 8175 clauses out of 16355 with flag 33000/81279 99.04/50.80 c cleaning 9087 clauses out of 18180 with flag 43000/91279 110.89/56.74 c cleaning 10041 clauses out of 20095 with flag 54002/102281 123.98/63.31 c cleaning 11008 clauses out of 22054 with flag 66002/114281 132.01/67.49 c And the winner is solver1 132.22/67.73 c Got one! Elapsed wall clock time (in seconds):67.609 132.22/67.73 o 22 137.36/70.40 c cleaning 11655 clauses out of 23309 with flag 5000/126544 144.39/74.09 c cleaning 8817 clauses out of 17654 with flag 11000/132544 151.55/77.71 c cleaning 7915 clauses out of 15838 with flag 18001/139545 159.69/81.98 c cleaning 7933 clauses out of 15922 with flag 26000/147544 169.02/86.72 c cleaning 8470 clauses out of 16989 with flag 35000/156544 170.20/87.51 c And the winner is solver1 170.23/87.66 c Got one! Elapsed wall clock time (in seconds):87.539 170.23/87.66 o 21 175.51/90.37 c cleaning 7105 clauses out of 14210 with flag 5001/162235 182.23/93.86 c cleaning 6515 clauses out of 13104 with flag 11000/168234 189.56/97.67 c cleaning 6715 clauses out of 13589 with flag 18000/175234 197.47/101.73 c cleaning 7439 clauses out of 14877 with flag 26003/183237 206.83/106.65 c cleaning 8201 clauses out of 16435 with flag 35000/192234 216.92/111.80 c cleaning 9083 clauses out of 18234 with flag 45000/202234 228.25/117.65 c cleaning 10070 clauses out of 20151 with flag 56000/213234 240.54/123.92 c cleaning 10948 clauses out of 22081 with flag 68000/225234 254.47/131.18 c cleaning 11989 clauses out of 24133 with flag 81000/238234 268.99/138.60 c cleaning 13061 clauses out of 26146 with flag 95002/252236 284.08/146.26 c cleaning 13978 clauses out of 28083 with flag 110000/267234 301.24/154.95 c cleaning 15039 clauses out of 30105 with flag 126000/283234 304.13/156.62 c And the winner is solver1 304.20/157.03 c Got one! Elapsed wall clock time (in seconds):156.913 304.20/157.03 o 20 307.31/158.70 c cleaning 10007 clauses out of 20105 with flag 3000/288273 314.38/162.33 c cleaning 8039 clauses out of 16098 with flag 9000/294273 322.42/166.50 c cleaning 7524 clauses out of 15060 with flag 16001/301274 331.06/171.03 c cleaning 7747 clauses out of 15535 with flag 24000/309273 341.47/176.58 c cleaning 8394 clauses out of 16788 with flag 33000/318273 352.49/182.25 c cleaning 9184 clauses out of 18394 with flag 43000/328273 365.15/188.70 c cleaning 10046 clauses out of 20210 with flag 54000/339273 378.56/195.61 c cleaning 11077 clauses out of 22164 with flag 66000/351273 393.10/203.26 c cleaning 11951 clauses out of 24087 with flag 79000/364273 408.50/211.13 c cleaning 13048 clauses out of 26136 with flag 93000/378273 426.31/220.21 c cleaning 14022 clauses out of 28089 with flag 108001/393274 443.70/229.13 c cleaning 15033 clauses out of 30066 with flag 124000/409273 461.83/238.54 c cleaning 16003 clauses out of 32034 with flag 141001/426274 481.80/248.78 c cleaning 17012 clauses out of 34030 with flag 159000/444273 503.98/260.04 c cleaning 17921 clauses out of 36018 with flag 178000/463273 526.21/271.31 c cleaning 19043 clauses out of 38098 with flag 198001/483274 550.10/283.70 c cleaning 19980 clauses out of 40054 with flag 219000/504273 574.28/295.90 c cleaning 21038 clauses out of 42075 with flag 241001/526274 599.72/308.87 c cleaning 21960 clauses out of 44036 with flag 264000/549273 629.40/324.34 c cleaning 23007 clauses out of 46076 with flag 288000/573273 658.04/338.84 c cleaning 24017 clauses out of 48069 with flag 313000/598273 682.52/351.37 c And the winner is solver1 682.74/351.55 c Got one! Elapsed wall clock time (in seconds):351.433 682.74/351.55 o 19 688.29/354.39 c cleaning 24880 clauses out of 49800 with flag 5000/624021 695.26/358.17 c cleaning 15460 clauses out of 30920 with flag 11000/630021 702.95/362.57 c cleaning 11230 clauses out of 22460 with flag 18000/637021 711.45/367.18 c cleaning 9566 clauses out of 19230 with flag 26000/645021 721.74/372.67 c cleaning 9328 clauses out of 18665 with flag 35001/654022 733.47/378.89 c cleaning 9585 clauses out of 19336 with flag 45000/664021 746.32/385.86 c cleaning 10325 clauses out of 20752 with flag 56001/675022 759.38/392.75 c cleaning 11173 clauses out of 22426 with flag 68000/687021 774.66/400.70 c cleaning 12118 clauses out of 24253 with flag 81000/700021 791.55/409.57 c cleaning 13040 clauses out of 26135 with flag 95000/714021 809.31/419.00 c cleaning 13937 clauses out of 28098 with flag 110003/729024 827.93/428.73 c cleaning 15060 clauses out of 30158 with flag 126000/745021 847.92/439.15 c cleaning 16019 clauses out of 32098 with flag 143000/762021 869.30/450.23 c cleaning 16968 clauses out of 34079 with flag 161000/780021 891.89/462.26 c cleaning 18030 clauses out of 36111 with flag 180000/799021 915.04/474.29 c cleaning 19010 clauses out of 38081 with flag 200000/819021 939.49/486.84 c cleaning 20014 clauses out of 40071 with flag 221000/840021 964.00/499.57 c cleaning 20942 clauses out of 42057 with flag 243000/862021 991.66/514.19 c cleaning 22041 clauses out of 44115 with flag 266000/885021 1017.12/527.37 c cleaning 23028 clauses out of 46075 with flag 290001/909022 1043.79/541.13 c cleaning 23989 clauses out of 48046 with flag 315000/934021 1070.49/554.94 c cleaning 24871 clauses out of 50057 with flag 341000/960021 1099.77/570.30 c cleaning 26093 clauses out of 52186 with flag 368000/987021 1130.46/586.18 c cleaning 27020 clauses out of 54093 with flag 396000/1015021 1162.73/602.72 c cleaning 27958 clauses out of 56073 with flag 425000/1044021 1197.88/620.72 c cleaning 29058 clauses out of 58115 with flag 455000/1074021 1234.41/639.71 c cleaning 30025 clauses out of 60059 with flag 486002/1105023 1272.13/659.03 c cleaning 30925 clauses out of 62032 with flag 518000/1137021 1309.58/678.24 c cleaning 32023 clauses out of 64107 with flag 551000/1170021 1345.79/696.87 c cleaning 33025 clauses out of 66084 with flag 585000/1204021 1384.82/717.14 c cleaning 34008 clauses out of 68060 with flag 620001/1239022 1427.30/738.80 c cleaning 34962 clauses out of 70051 with flag 656000/1275021 1468.77/760.01 c cleaning 36002 clauses out of 72089 with flag 693000/1312021 1509.25/780.79 c cleaning 36961 clauses out of 74087 with flag 731000/1350021 1556.70/805.28 c cleaning 38051 clauses out of 76126 with flag 770000/1389021 1603.77/829.23 c cleaning 38941 clauses out of 78075 with flag 810000/1429021 1650.77/853.26 c cleaning 39991 clauses out of 80134 with flag 851000/1470021 1698.36/877.47 c cleaning 40957 clauses out of 82143 with flag 893000/1512021 1749.49/903.83 c cleaning 41960 clauses out of 84186 with flag 936000/1555021 1800.17/929.91 c starts : 20 1800.17/929.91 c conflicts : 1557 1800.17/929.91 c decisions : 182537 1800.17/929.91 c propagations : 938642 1800.17/929.91 c inspects : 18792569 1800.17/929.91 c shortcuts : 0 1800.17/929.91 c learnt literals : 0 1800.17/929.91 c learnt binary clauses : 0 1800.17/929.91 c learnt ternary clauses : 0 1800.17/929.91 c learnt constraints : 1556 1800.17/929.91 c ignored constraints : 0 1800.17/929.91 c root simplifications : 0 1800.17/929.91 c removed literals (reason simplification) : 0 1800.17/929.91 c reason swapping (by a shorter reason) : 0 1800.17/929.91 c Calls to reduceDB : 0 1800.17/929.91 c number of reductions to clauses (during analyze) : 0 1800.17/929.91 c number of learned constraints concerned by reduction : 0 1800.17/929.91 c number of learning phase by resolution : 0 1800.17/929.91 c number of learning phase by cutting planes : 0 1800.17/929.91 c speed (assignments/second) : 1011.0776230721339 1800.17/929.91 c non guided choices 0 1800.17/929.91 c learnt constraints type 1800.17/929.91 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 3 1800.17/929.91 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 55 1800.17/929.91 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1498 1800.17/929.91 c constraints type 1800.17/929.91 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 1800.17/929.91 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.17/929.91 c org.sat4j.minisat.constraints.cnf.UnitClause => 2 1800.17/929.91 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 1800.17/929.91 c 14169 constraints processed. 1800.17/929.91 c constraints type 1800.17/929.91 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 1800.17/929.91 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 1800.17/929.91 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.17/929.91 c org.sat4j.pb.constraints.pb.UnitClausePB => 2 1800.17/929.91 c 14169 constraints processed. 1800.17/929.91 s SATISFIABLE 1800.17/929.92 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 x4036 x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 x6653 x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 x6663 -x6664 -x6665 x6666 x6667 x6668 -x6669 -x6670 x6671 x6672 1800.17/929.93 c objective function=19 1800.17/929.93 c Total wall clock time (in seconds): 929.811
OK 19
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688504-1337878039/watcher-3688504-1337878039 -o /tmp/evaluation-result-3688504-1337878039/solver-3688504-1337878039 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688504-1337878039.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.72 3.77 3.79 4/195 1602 /proc/meminfo: memFree=27875356/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/1602/stat : 1602 (java) R 1600 1602 32594 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 253929847 278528 33 33554432000 1073741824 1073778376 140734447585888 140734447583064 273439354151 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1602/statm: 68 33 25 9 0 25 0 [startup+0.01965 s] /proc/loadavg: 3.72 3.77 3.79 4/195 1602 /proc/meminfo: memFree=27875356/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=101560 CPUtime=0 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 1420 0 1 0 0 0 0 0 20 0 2 0 253929847 103997440 1102 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 25390 1102 852 9 0 16774 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 101560 [startup+0.100305 s] /proc/loadavg: 3.72 3.77 3.79 4/195 1602 /proc/meminfo: memFree=27875356/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 4319 0 1 0 8 1 0 0 20 0 18 0 253929847 9787813888 5513 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 2389603 5513 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300293 s] /proc/loadavg: 3.72 3.77 3.79 4/195 1602 /proc/meminfo: memFree=27875356/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=9558412 CPUtime=0.5 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 6177 0 1 0 48 2 0 0 20 0 18 0 253929847 9787813888 8440 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 2389603 8440 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558412 [startup+0.700194 s] /proc/loadavg: 3.72 3.77 3.79 4/195 1602 /proc/meminfo: memFree=27875356/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=9825268 CPUtime=1.87 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 22118 0 1 0 179 8 0 0 20 0 20 0 253929847 10061074432 28048 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 2456317 28048 2243 9 0 2447010 0 Current children cumulated CPU time (s) 1.87 Current children cumulated vsize (KiB) 9825268 [startup+1.50063 s] /proc/loadavg: 3.72 3.77 3.79 3/214 1625 /proc/meminfo: memFree=27778804/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=9824668 CPUtime=2.71 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 22216 0 1 0 260 11 0 0 20 0 19 0 253929847 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 2456167 27759 2257 9 0 2446860 0 [pid=1602/tid=1604] ppid=1600 vsize=9824668 CPUtime=0.5 cores=1,3,5,7 /proc/1602/task/1604/stat : 1604 (java) S 1600 1602 32594 0 -1 4202560 2504 0 1 0 48 2 0 0 20 0 19 0 253929848 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545556263928 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1605] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1605/stat : 1605 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929849 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545494993704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1606] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1606/stat : 1606 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929849 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545493940904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1607] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1607/stat : 1607 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929849 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545492888616 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1608] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1608/stat : 1608 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929849 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545491835816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1609] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1609/stat : 1609 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929849 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545395210536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1610] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1610/stat : 1610 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929849 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545394157736 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1611] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1611/stat : 1611 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929849 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545393105448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1612] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1612/stat : 1612 (java) S 1600 1602 32594 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253929850 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545392052648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1613] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1613/stat : 1613 (java) S 1600 1602 32594 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253929851 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545379855080 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1614] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1614/stat : 1614 (java) S 1600 1602 32594 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253929851 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545378801144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1615] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1615/stat : 1615 (java) S 1600 1602 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253929851 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545377748744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1616] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1616/stat : 1616 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929854 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545376697232 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1617] ppid=1600 vsize=9824668 CPUtime=0.76 cores=1,3,5,7 /proc/1602/task/1617/stat : 1617 (java) S 1600 1602 32594 0 -1 4202560 7594 0 0 0 74 2 0 0 20 0 19 0 253929854 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545375643832 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1618] ppid=1600 vsize=9824668 CPUtime=0.74 cores=1,3,5,7 /proc/1602/task/1618/stat : 1618 (java) S 1600 1602 32594 0 -1 4202560 10806 0 0 0 71 3 0 0 20 0 19 0 253929854 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545374591032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1619] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1619/stat : 1619 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929854 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545373538936 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1621] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1621/stat : 1621 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253929854 10060460032 27759 33554432000 1073741824 1073778376 140734070330272 140545372486344 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.71 Current children cumulated vsize (KiB) 9824668 [startup+3.10078 s] /proc/loadavg: 3.72 3.77 3.79 7/217 1631 /proc/meminfo: memFree=27751064/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=9824668 CPUtime=6.67 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 26577 0 1 0 654 13 0 0 20 0 22 0 253929847 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 2456167 36598 2262 9 0 2446860 0 [pid=1602/tid=1604] ppid=1600 vsize=9824668 CPUtime=0.52 cores=1,3,5,7 /proc/1602/task/1604/stat : 1604 (java) S 1600 1602 32594 0 -1 4202560 2505 0 1 0 50 2 0 0 20 0 22 0 253929848 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545556263928 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1605] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1605/stat : 1605 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545494993704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1606] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1606/stat : 1606 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545493940904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1607] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1607/stat : 1607 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545492888616 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1608] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1608/stat : 1608 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545491835816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1609] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1609/stat : 1609 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545395210536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1610] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1610/stat : 1610 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545394157736 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1611] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1611/stat : 1611 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545393105448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1612] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1612/stat : 1612 (java) S 1600 1602 32594 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253929850 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545392052648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1613] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1613/stat : 1613 (java) S 1600 1602 32594 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545379855080 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1614] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1614/stat : 1614 (java) S 1600 1602 32594 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545378801144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1615] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1615/stat : 1615 (java) S 1600 1602 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545377748744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1616] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1616/stat : 1616 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545376697232 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1617] ppid=1600 vsize=9824668 CPUtime=1.01 cores=1,3,5,7 /proc/1602/task/1617/stat : 1617 (java) S 1600 1602 32594 0 -1 4202560 7597 0 0 0 99 2 0 0 20 0 22 0 253929854 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545375643832 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1618] ppid=1600 vsize=9824668 CPUtime=1.37 cores=1,3,5,7 /proc/1602/task/1618/stat : 1618 (java) S 1600 1602 32594 0 -1 4202560 15116 0 0 0 133 4 0 0 20 0 22 0 253929854 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545374591032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1619] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1619/stat : 1619 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545373538936 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1621] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1621/stat : 1621 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545372486344 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1628] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1628/stat : 1628 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253929952 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545368274088 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1629] ppid=1600 vsize=9824668 CPUtime=1.51 cores=1,3,5,7 /proc/1602/task/1629/stat : 1629 (java) R 1600 1602 32594 0 -1 4202560 6 0 0 0 151 0 0 0 20 0 22 0 253930003 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545370376952 140545496897582 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1630] ppid=1600 vsize=9824668 CPUtime=1.53 cores=1,3,5,7 /proc/1602/task/1630/stat : 1630 (java) R 1600 1602 32594 0 -1 4202560 38 0 0 0 153 0 0 0 20 0 22 0 253930003 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545371431880 140545497238628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1631] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1631/stat : 1631 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253930003 10060460032 36598 33554432000 1073741824 1073778376 140734070330272 140545369326888 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.67 Current children cumulated vsize (KiB) 9824668 [startup+6.30087 s] /proc/loadavg: 3.74 3.77 3.79 5/217 1634 /proc/meminfo: memFree=27668400/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=9824668 CPUtime=12.76 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 26673 0 1 0 1260 16 0 0 20 0 22 0 253929847 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 2456167 47776 2286 9 0 2446860 0 [pid=1602/tid=1604] ppid=1600 vsize=9824668 CPUtime=0.52 cores=1,3,5,7 /proc/1602/task/1604/stat : 1604 (java) S 1600 1602 32594 0 -1 4202560 2505 0 1 0 50 2 0 0 20 0 22 0 253929848 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545556263928 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1605] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1605/stat : 1605 (java) S 1600 1602 32594 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545494993704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1606] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1606/stat : 1606 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545493940904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1607] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1607/stat : 1607 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545492888616 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1608] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1608/stat : 1608 (java) S 1600 1602 32594 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545491835816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1609] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1609/stat : 1609 (java) S 1600 1602 32594 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545395210536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1610] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1610/stat : 1610 (java) S 1600 1602 32594 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545394157736 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1611] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1611/stat : 1611 (java) S 1600 1602 32594 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253929849 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545393105448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1612] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1612/stat : 1612 (java) S 1600 1602 32594 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253929850 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545392052648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1613] ppid=1600 vsize=9824668 CPUtime=0.04 cores=1,3,5,7 /proc/1602/task/1613/stat : 1613 (java) S 1600 1602 32594 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 22 0 253929851 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545379855080 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1614] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1614/stat : 1614 (java) S 1600 1602 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545378801144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1615] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1615/stat : 1615 (java) S 1600 1602 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545377748744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1616] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1616/stat : 1616 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545376697232 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1617] ppid=1600 vsize=9824668 CPUtime=1.08 cores=1,3,5,7 /proc/1602/task/1617/stat : 1617 (java) S 1600 1602 32594 0 -1 4202560 7602 0 0 0 106 2 0 0 20 0 22 0 253929854 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545375643832 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1618] ppid=1600 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/1602/task/1618/stat : 1618 (java) S 1600 1602 32594 0 -1 4202560 15119 0 0 0 142 5 0 0 20 0 22 0 253929854 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545374591032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1619] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1619/stat : 1619 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545373538936 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1621] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1621/stat : 1621 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545372486344 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1631] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1631/stat : 1631 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253930003 10060460032 47776 33554432000 1073741824 1073778376 140734070330272 140545369326888 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 ################ # More data... # ################ [pid=1602/tid=1662] ppid=1600 vsize=9824668 CPUtime=431.81 cores=1,3,5,7 /proc/1602/task/1662/stat : 1662 (java) R 1600 1602 32594 0 -1 4202560 30 0 0 0 43175 6 0 0 20 0 22 0 253965003 10060460032 198515 33554432000 1073741824 1073778376 140734070330272 140545370376752 140545496898518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1663] ppid=1600 vsize=9824668 CPUtime=431.81 cores=1,3,5,7 /proc/1602/task/1663/stat : 1663 (java) R 1600 1602 32594 0 -1 4202560 31 0 0 0 43175 6 0 0 20 0 22 0 253965003 10060460032 198515 33554432000 1073741824 1073778376 140734070330272 140545371430384 140545497238512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1664] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1664/stat : 1664 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253965004 10060460032 198515 33554432000 1073741824 1073778376 140734070330272 140545368274216 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1589.97 Current children cumulated vsize (KiB) 9824668 [startup+882.301 s] /proc/loadavg: 3.87 3.86 3.82 4/218 1821 /proc/meminfo: memFree=27173684/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=9824668 CPUtime=1706.46 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 32132 0 1 0 170554 92 0 0 20 0 22 0 253929847 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 2456167 206663 2288 9 0 2446860 0 [pid=1602/tid=1604] ppid=1600 vsize=9824668 CPUtime=0.58 cores=1,3,5,7 /proc/1602/task/1604/stat : 1604 (java) S 1600 1602 32594 0 -1 4202560 2566 0 1 0 55 3 0 0 20 0 22 0 253929848 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545556263928 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1605] ppid=1600 vsize=9824668 CPUtime=1.47 cores=1,3,5,7 /proc/1602/task/1605/stat : 1605 (java) S 1600 1602 32594 0 -1 4202560 418 0 0 0 143 4 0 0 20 0 22 0 253929849 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545494993704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1606] ppid=1600 vsize=9824668 CPUtime=1.66 cores=1,3,5,7 /proc/1602/task/1606/stat : 1606 (java) S 1600 1602 32594 0 -1 4202560 679 0 0 0 161 5 0 0 20 0 22 0 253929849 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545493940904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1607] ppid=1600 vsize=9824668 CPUtime=1.56 cores=1,3,5,7 /proc/1602/task/1607/stat : 1607 (java) S 1600 1602 32594 0 -1 4202560 740 0 0 0 152 4 0 0 20 0 22 0 253929849 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545492888616 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1608] ppid=1600 vsize=9824668 CPUtime=1.46 cores=1,3,5,7 /proc/1602/task/1608/stat : 1608 (java) S 1600 1602 32594 0 -1 4202560 450 0 0 0 142 4 0 0 20 0 22 0 253929849 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545491835816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1609] ppid=1600 vsize=9824668 CPUtime=1.57 cores=1,3,5,7 /proc/1602/task/1609/stat : 1609 (java) S 1600 1602 32594 0 -1 4202560 652 0 0 0 151 6 0 0 20 0 22 0 253929849 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545395210536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1610] ppid=1600 vsize=9824668 CPUtime=1.38 cores=1,3,5,7 /proc/1602/task/1610/stat : 1610 (java) S 1600 1602 32594 0 -1 4202560 405 0 0 0 134 4 0 0 20 0 22 0 253929849 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545394157736 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1611] ppid=1600 vsize=9824668 CPUtime=1.45 cores=1,3,5,7 /proc/1602/task/1611/stat : 1611 (java) S 1600 1602 32594 0 -1 4202560 637 0 0 0 141 4 0 0 20 0 22 0 253929849 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545393105448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1612] ppid=1600 vsize=9824668 CPUtime=1.54 cores=1,3,5,7 /proc/1602/task/1612/stat : 1612 (java) S 1600 1602 32594 0 -1 4202560 624 0 0 0 150 4 0 0 20 0 22 0 253929850 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545392052648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1613] ppid=1600 vsize=9824668 CPUtime=60.29 cores=1,3,5,7 /proc/1602/task/1613/stat : 1613 (java) S 1600 1602 32594 0 -1 4202560 613 0 0 0 6012 17 0 0 20 0 22 0 253929851 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545379855080 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1614] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1614/stat : 1614 (java) S 1600 1602 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545378801144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1615] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1615/stat : 1615 (java) S 1600 1602 32594 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545377748744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1616] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1616/stat : 1616 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545376697232 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1617] ppid=1600 vsize=9824668 CPUtime=1.32 cores=1,3,5,7 /proc/1602/task/1617/stat : 1617 (java) S 1600 1602 32594 0 -1 4202560 7614 0 0 0 130 2 0 0 20 0 22 0 253929854 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545375643832 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1618] ppid=1600 vsize=9824668 CPUtime=1.64 cores=1,3,5,7 /proc/1602/task/1618/stat : 1618 (java) S 1600 1602 32594 0 -1 4202560 15125 0 0 0 159 5 0 0 20 0 22 0 253929854 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545374591032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1619] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1619/stat : 1619 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545373538936 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1621] ppid=1600 vsize=9824668 CPUtime=0.15 cores=1,3,5,7 /proc/1602/task/1621/stat : 1621 (java) S 1600 1602 32594 0 -1 4202560 51 0 0 0 7 8 0 0 20 0 22 0 253929854 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545372486344 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1631] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1631/stat : 1631 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253930003 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545369326888 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1662] ppid=1600 vsize=9824668 CPUtime=487.79 cores=1,3,5,7 /proc/1602/task/1662/stat : 1662 (java) R 1600 1602 32594 0 -1 4202560 36 0 0 0 48772 7 0 0 20 0 22 0 253965003 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545370378592 140545496899009 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1663] ppid=1600 vsize=9824668 CPUtime=487.79 cores=1,3,5,7 /proc/1602/task/1663/stat : 1663 (java) R 1600 1602 32594 0 -1 4202560 33 0 0 0 48772 7 0 0 20 0 22 0 253965003 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545371429472 140545497134342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1664] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1664/stat : 1664 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253965004 10060460032 206663 33554432000 1073741824 1073778376 140734070330272 140545368274216 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1706.46 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+929.901 s] /proc/loadavg: 3.84 3.85 3.82 5/217 1824 /proc/meminfo: memFree=27021708/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=9824668 CPUtime=1800.17 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 35540 0 1 0 179916 101 0 0 20 0 22 0 253929847 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 2456167 225404 2288 9 0 2446860 0 [pid=1602/tid=1604] ppid=1600 vsize=9824668 CPUtime=0.6 cores=1,3,5,7 /proc/1602/task/1604/stat : 1604 (java) S 1600 1602 32594 0 -1 4202560 2568 0 1 0 56 4 0 0 20 0 22 0 253929848 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545556263928 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1605] ppid=1600 vsize=9824668 CPUtime=1.69 cores=1,3,5,7 /proc/1602/task/1605/stat : 1605 (java) S 1600 1602 32594 0 -1 4202560 467 0 0 0 165 4 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545494993704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1606] ppid=1600 vsize=9824668 CPUtime=1.85 cores=1,3,5,7 /proc/1602/task/1606/stat : 1606 (java) S 1600 1602 32594 0 -1 4202560 948 0 0 0 179 6 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545493940904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1607] ppid=1600 vsize=9824668 CPUtime=1.85 cores=1,3,5,7 /proc/1602/task/1607/stat : 1607 (java) S 1600 1602 32594 0 -1 4202560 1103 0 0 0 179 6 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545492888616 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1608] ppid=1600 vsize=9824668 CPUtime=1.63 cores=1,3,5,7 /proc/1602/task/1608/stat : 1608 (java) S 1600 1602 32594 0 -1 4202560 683 0 0 0 158 5 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545491835816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1609] ppid=1600 vsize=9824668 CPUtime=1.71 cores=1,3,5,7 /proc/1602/task/1609/stat : 1609 (java) S 1600 1602 32594 0 -1 4202560 1270 0 0 0 164 7 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545395210536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1610] ppid=1600 vsize=9824668 CPUtime=1.54 cores=1,3,5,7 /proc/1602/task/1610/stat : 1610 (java) S 1600 1602 32594 0 -1 4202560 618 0 0 0 149 5 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545394157736 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1611] ppid=1600 vsize=9824668 CPUtime=1.64 cores=1,3,5,7 /proc/1602/task/1611/stat : 1611 (java) S 1600 1602 32594 0 -1 4202560 871 0 0 0 160 4 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545393105448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1612] ppid=1600 vsize=9824668 CPUtime=1.7 cores=1,3,5,7 /proc/1602/task/1612/stat : 1612 (java) S 1600 1602 32594 0 -1 4202560 1267 0 0 0 165 5 0 0 20 0 22 0 253929850 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545392052648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1613] ppid=1600 vsize=9824668 CPUtime=62.51 cores=1,3,5,7 /proc/1602/task/1613/stat : 1613 (java) S 1600 1602 32594 0 -1 4202560 1389 0 0 0 6233 18 0 0 20 0 22 0 253929851 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545379855080 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1614] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1614/stat : 1614 (java) S 1600 1602 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545378801144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1615] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1615/stat : 1615 (java) S 1600 1602 32594 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545377748744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1616] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1616/stat : 1616 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545376697232 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1617] ppid=1600 vsize=9824668 CPUtime=1.32 cores=1,3,5,7 /proc/1602/task/1617/stat : 1617 (java) S 1600 1602 32594 0 -1 4202560 7614 0 0 0 130 2 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545375643832 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1618] ppid=1600 vsize=9824668 CPUtime=1.64 cores=1,3,5,7 /proc/1602/task/1618/stat : 1618 (java) S 1600 1602 32594 0 -1 4202560 15125 0 0 0 159 5 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545374591032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1619] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1619/stat : 1619 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545373538936 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1621] ppid=1600 vsize=9824668 CPUtime=0.17 cores=1,3,5,7 /proc/1602/task/1621/stat : 1621 (java) S 1600 1602 32594 0 -1 4202560 53 0 0 0 8 9 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545372486344 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1631] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1631/stat : 1631 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253930003 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545369326888 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1662] ppid=1600 vsize=9824668 CPUtime=532.78 cores=1,3,5,7 /proc/1602/task/1662/stat : 1662 (java) R 1600 1602 32594 0 -1 4202560 37 0 0 0 53270 8 0 0 20 0 22 0 253965003 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545370376800 140545496784830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1663] ppid=1600 vsize=9824668 CPUtime=532.78 cores=1,3,5,7 /proc/1602/task/1663/stat : 1663 (java) R 1600 1602 32594 0 -1 4202560 38 0 0 0 53270 8 0 0 20 0 22 0 253965003 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545371430624 140545496918414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1664] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1664/stat : 1664 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253965004 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545368274216 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+929.901 s] /proc/loadavg: 3.84 3.85 3.82 5/217 1824 /proc/meminfo: memFree=27021708/32873852 swapFree=6848/6848 [pid=1602] ppid=1600 vsize=9824668 CPUtime=1800.17 cores=1,3,5,7 /proc/1602/stat : 1602 (java) S 1600 1602 32594 0 -1 4202496 35540 0 1 0 179916 101 0 0 20 0 22 0 253929847 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140734070321408 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1602/statm: 2456167 225404 2288 9 0 2446860 0 [pid=1602/tid=1604] ppid=1600 vsize=9824668 CPUtime=0.6 cores=1,3,5,7 /proc/1602/task/1604/stat : 1604 (java) S 1600 1602 32594 0 -1 4202560 2568 0 1 0 56 4 0 0 20 0 22 0 253929848 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545556263928 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1605] ppid=1600 vsize=9824668 CPUtime=1.69 cores=1,3,5,7 /proc/1602/task/1605/stat : 1605 (java) S 1600 1602 32594 0 -1 4202560 467 0 0 0 165 4 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545494993704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1606] ppid=1600 vsize=9824668 CPUtime=1.85 cores=1,3,5,7 /proc/1602/task/1606/stat : 1606 (java) S 1600 1602 32594 0 -1 4202560 948 0 0 0 179 6 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545493940904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1607] ppid=1600 vsize=9824668 CPUtime=1.85 cores=1,3,5,7 /proc/1602/task/1607/stat : 1607 (java) S 1600 1602 32594 0 -1 4202560 1103 0 0 0 179 6 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545492888616 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1608] ppid=1600 vsize=9824668 CPUtime=1.63 cores=1,3,5,7 /proc/1602/task/1608/stat : 1608 (java) S 1600 1602 32594 0 -1 4202560 683 0 0 0 158 5 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545491835816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1609] ppid=1600 vsize=9824668 CPUtime=1.71 cores=1,3,5,7 /proc/1602/task/1609/stat : 1609 (java) S 1600 1602 32594 0 -1 4202560 1270 0 0 0 164 7 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545395210536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1610] ppid=1600 vsize=9824668 CPUtime=1.54 cores=1,3,5,7 /proc/1602/task/1610/stat : 1610 (java) S 1600 1602 32594 0 -1 4202560 618 0 0 0 149 5 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545394157736 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1611] ppid=1600 vsize=9824668 CPUtime=1.64 cores=1,3,5,7 /proc/1602/task/1611/stat : 1611 (java) S 1600 1602 32594 0 -1 4202560 871 0 0 0 160 4 0 0 20 0 22 0 253929849 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545393105448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1612] ppid=1600 vsize=9824668 CPUtime=1.7 cores=1,3,5,7 /proc/1602/task/1612/stat : 1612 (java) S 1600 1602 32594 0 -1 4202560 1267 0 0 0 165 5 0 0 20 0 22 0 253929850 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545392052648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1613] ppid=1600 vsize=9824668 CPUtime=62.51 cores=1,3,5,7 /proc/1602/task/1613/stat : 1613 (java) S 1600 1602 32594 0 -1 4202560 1389 0 0 0 6233 18 0 0 20 0 22 0 253929851 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545379855080 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1614] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1614/stat : 1614 (java) S 1600 1602 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545378801144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1615] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1615/stat : 1615 (java) S 1600 1602 32594 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253929851 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545377748744 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1616] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1616/stat : 1616 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545376697232 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1617] ppid=1600 vsize=9824668 CPUtime=1.32 cores=1,3,5,7 /proc/1602/task/1617/stat : 1617 (java) S 1600 1602 32594 0 -1 4202560 7614 0 0 0 130 2 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545375643832 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1602/tid=1618] ppid=1600 vsize=9824668 CPUtime=1.64 cores=1,3,5,7 /proc/1602/task/1618/stat : 1618 (java) S 1600 1602 32594 0 -1 4202560 15125 0 0 0 159 5 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545374591032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1619] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1619/stat : 1619 (java) S 1600 1602 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545373538936 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1621] ppid=1600 vsize=9824668 CPUtime=0.17 cores=1,3,5,7 /proc/1602/task/1621/stat : 1621 (java) S 1600 1602 32594 0 -1 4202560 53 0 0 0 8 9 0 0 20 0 22 0 253929854 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545372486344 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1602/tid=1631] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1631/stat : 1631 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253930003 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545369326888 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1662] ppid=1600 vsize=9824668 CPUtime=532.78 cores=1,3,5,7 /proc/1602/task/1662/stat : 1662 (java) R 1600 1602 32594 0 -1 4202560 37 0 0 0 53270 8 0 0 20 0 22 0 253965003 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545370376800 140545496784830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1602/tid=1663] ppid=1600 vsize=9824668 CPUtime=532.78 cores=1,3,5,7 /proc/1602/task/1663/stat : 1663 (java) R 1600 1602 32594 0 -1 4202560 38 0 0 0 53270 8 0 0 20 0 22 0 253965003 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545371430624 140545496918414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1602/tid=1664] ppid=1600 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/1602/task/1664/stat : 1664 (java) S 1600 1602 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253965004 10060460032 225404 33554432000 1073741824 1073778376 140734070330272 140545368274216 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 9824668 Child status: 143 Real time (s): 929.942 CPU time (s): 1800.68 CPU user time (s): 1799.31 CPU system time (s): 1.37279 CPU usage (%): 193.634 Max. virtual memory (cumulated for all children) (KiB): 9825268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 1.37279 maximum resident set size= 901732 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35571 page faults= 1 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27585 involuntary context switches= 38911 runsolver used 3.36149 second user time and 8.46471 second system time The end
Begin job on node128 at 2012-05-24 18:47:19 IDJOB=3688504 IDBENCH=25035 IDSOLVER=2268 FILE ID=node128/3688504-1337878039 RUNJOBID= node128-1337871881-32612 PBS_JOBID= 14620076 Free space on /tmp= 71568 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688504-1337878039/watcher-3688504-1337878039 -o /tmp/evaluation-result-3688504-1337878039/solver-3688504-1337878039 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688504-1337878039.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b21d0afca1befeb5506928b558ab5220 RANDOM SEED=647637232 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 27874984 kB Buffers: 242236 kB Cached: 2920704 kB SwapCached: 0 kB Active: 1517344 kB Inactive: 2688508 kB Active(anon): 1045328 kB Inactive(anon): 0 kB Active(file): 472016 kB Inactive(file): 2688508 kB Unevictable: 6848 kB Mlocked: 6848 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 1024548 kB Mapped: 22616 kB Shmem: 204 kB Slab: 634220 kB SReclaimable: 76876 kB SUnreclaim: 557344 kB KernelStack: 1800 kB PageTables: 6288 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 1566204 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 956416 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71572 MiB End job on node128 at 2012-05-24 19:02:51