Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 22 | 1801.1 | 914.174 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
MD5SUM | af0ded53094abde95c37378ccd6c7afa |
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 | 19 |
Best CPU time to get the best result obtained on this benchmark | 618.033 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 8901 |
Total number of constraints | 32298 |
Number of constraints which are clauses | 32280 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 790 |
Number of terms in the objective function | 790 |
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 | 790 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 820 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.10 c See www.sat4j.org for details. 0.06/0.10 c version 2.2.0.v20100531 0.06/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.10 c java.vm.version 19.1-b02 0.06/0.10 c java.vm.vendor Sun Microsystems Inc. 0.06/0.10 c sun.arch.data.model 64 0.06/0.10 c java.version 1.6.0_24 0.06/0.10 c os.name Linux 0.06/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.10 c os.arch amd64 0.06/0.10 c Free memory 1349517296 0.06/0.10 c Max memory 1356595200 0.06/0.10 c Total memory 1356595200 0.06/0.10 c Number of processors 8 0.06/0.13 c Pseudo Boolean Optimization 0.06/0.13 c ManyCore solver with 2 solvers running in parallel 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c Stops conflict analysis at the first Unique Implication Point 0.06/0.13 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.13 c Expensive reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c Stops conflict analysis at the first Unique Implication Point 0.06/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.13 c No reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 0.06/0.13 c solving HOME/instance-3736045-1338750676.opb 0.06/0.13 c reading problem ... 1.33/0.66 c ... done. Wall clock time 0.527s. 1.33/0.66 c #vars 8901 1.33/0.66 c #constraints 32298 1.33/0.66 c constraints type 1.33/0.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099 1.33/0.66 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.33/0.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193 1.33/0.66 c constraints type 1.33/0.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 1.33/0.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 1.33/0.66 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.65/0.75 c And the winner is Resolution 1.99/1.67 c SATISFIABLE 1.99/1.67 c OPTIMIZING... 1.99/1.67 c Got one! Elapsed wall clock time (in seconds):1.539 1.99/1.67 o 27 2.06/1.72 c And the winner is Resolution 2.29/2.68 c Got one! Elapsed wall clock time (in seconds):2.548 2.29/2.68 o 26 2.35/2.74 c And the winner is Resolution 3.05/3.69 c Got one! Elapsed wall clock time (in seconds):3.555 3.05/3.69 o 25 5.87/4.84 c And the winner is Resolution 6.10/5.69 c Got one! Elapsed wall clock time (in seconds):5.561 6.10/5.69 o 24 6.10/5.74 c cleaning 2496 clauses out of 5002 with flag 5002/5002 9.70/7.45 c cleaning 4248 clauses out of 8505 with flag 11001/11001 13.27/9.23 c cleaning 5617 clauses out of 11256 with flag 18000/18000 16.68/10.97 c cleaning 6805 clauses out of 13639 with flag 26000/26000 20.45/12.84 c cleaning 7899 clauses out of 15834 with flag 35000/35000 25.00/15.14 c cleaning 8948 clauses out of 17935 with flag 45000/45000 29.41/17.33 c And the winner is Resolution 29.57/17.70 c Got one! Elapsed wall clock time (in seconds):17.568 29.57/17.70 o 22 30.17/18.05 c cleaning 9980 clauses out of 19987 with flag 56000/56000 36.15/21.05 c cleaning 10985 clauses out of 22008 with flag 68001/68001 43.12/24.50 c cleaning 12003 clauses out of 24023 with flag 81001/81001 49.93/27.99 c cleaning 12990 clauses out of 26020 with flag 95001/95001 57.35/31.62 c cleaning 13983 clauses out of 28029 with flag 110000/110000 65.98/35.97 c cleaning 15002 clauses out of 30046 with flag 126000/126000 73.68/39.82 c cleaning 15996 clauses out of 32044 with flag 143000/143000 82.73/44.30 c cleaning 17008 clauses out of 34050 with flag 161002/161002 92.91/49.43 c cleaning 18021 clauses out of 36042 with flag 180002/180002 103.26/54.70 c cleaning 19000 clauses out of 38020 with flag 200001/200001 116.79/61.44 c cleaning 19995 clauses out of 40019 with flag 221000/221000 130.36/68.21 c cleaning 20998 clauses out of 42024 with flag 243000/243000 143.39/74.80 c cleaning 21982 clauses out of 44027 with flag 266001/266001 156.36/81.23 c cleaning 22996 clauses out of 46046 with flag 290002/290002 172.31/89.26 c cleaning 24010 clauses out of 48051 with flag 315003/315003 191.94/99.05 c cleaning 25004 clauses out of 50039 with flag 341001/341001 206.76/106.48 c cleaning 26002 clauses out of 52038 with flag 368004/368004 220.95/113.54 c cleaning 26987 clauses out of 54033 with flag 396001/396001 237.36/121.83 c cleaning 27995 clauses out of 56045 with flag 425000/425000 253.15/129.72 c cleaning 29000 clauses out of 58050 with flag 455000/455000 268.26/137.40 c cleaning 29999 clauses out of 60053 with flag 486003/486003 290.91/148.67 c cleaning 31018 clauses out of 62060 with flag 518009/518009 307.29/156.95 c cleaning 31996 clauses out of 64034 with flag 551001/551001 323.62/165.15 c cleaning 32489 clauses out of 65037 with flag 584000/584000 343.36/175.01 c cleaning 32735 clauses out of 65548 with flag 617000/617000 363.19/184.95 c cleaning 32894 clauses out of 65813 with flag 650000/650000 379.73/193.37 c cleaning 32929 clauses out of 65920 with flag 683001/683001 400.48/203.78 c cleaning 32962 clauses out of 65990 with flag 716000/716000 416.98/212.00 c cleaning 32987 clauses out of 66029 with flag 749001/749001 440.15/223.63 c cleaning 32996 clauses out of 66044 with flag 782003/782003 470.53/238.96 c cleaning 33013 clauses out of 66047 with flag 815002/815002 501.08/254.23 c cleaning 32995 clauses out of 66034 with flag 848002/848002 531.45/269.47 c cleaning 33001 clauses out of 66037 with flag 881000/881000 548.53/278.07 c cleaning 32990 clauses out of 66036 with flag 914000/914000 566.71/287.38 c cleaning 32976 clauses out of 66046 with flag 947000/947000 590.59/299.39 c cleaning 32998 clauses out of 66070 with flag 980000/980000 613.01/310.59 c cleaning 32987 clauses out of 66072 with flag 1013000/1013000 632.98/320.52 c cleaning 33010 clauses out of 66086 with flag 1046001/1046001 652.35/330.43 c cleaning 33009 clauses out of 66076 with flag 1079001/1079001 674.91/341.73 c cleaning 32996 clauses out of 66068 with flag 1112002/1112002 699.87/354.24 c cleaning 33020 clauses out of 66071 with flag 1145001/1145001 721.61/365.15 c cleaning 33003 clauses out of 66052 with flag 1178002/1178002 742.96/376.02 c cleaning 33008 clauses out of 66049 with flag 1211002/1211002 765.81/387.57 c cleaning 32997 clauses out of 66040 with flag 1244001/1244001 788.83/399.13 c cleaning 33008 clauses out of 66043 with flag 1277001/1277001 809.66/409.69 c cleaning 33005 clauses out of 66034 with flag 1310000/1310000 829.04/419.50 c cleaning 32983 clauses out of 66034 with flag 1343005/1343005 848.41/429.36 c cleaning 32993 clauses out of 66048 with flag 1376002/1376002 870.18/440.30 c cleaning 33010 clauses out of 66054 with flag 1409001/1409001 893.65/452.11 c cleaning 32982 clauses out of 66044 with flag 1442001/1442001 917.53/464.41 c cleaning 32989 clauses out of 66061 with flag 1475000/1475000 941.73/476.78 c cleaning 32997 clauses out of 66072 with flag 1508000/1508000 965.98/489.00 c cleaning 33011 clauses out of 66075 with flag 1541000/1541000 987.75/500.10 c cleaning 33010 clauses out of 66065 with flag 1574001/1574001 1010.76/511.94 c cleaning 33002 clauses out of 66055 with flag 1607001/1607001 1032.85/523.10 c cleaning 32996 clauses out of 66053 with flag 1640001/1640001 1056.45/535.02 c cleaning 32991 clauses out of 66056 with flag 1673000/1673000 1078.36/546.15 c cleaning 32995 clauses out of 66065 with flag 1706000/1706000 1101.28/557.85 c cleaning 32985 clauses out of 66070 with flag 1739000/1739000 1121.34/568.02 c cleaning 32992 clauses out of 66086 with flag 1772001/1772001 1140.00/577.58 c cleaning 33011 clauses out of 66093 with flag 1805000/1805000 1162.85/589.10 c cleaning 33007 clauses out of 66082 with flag 1838000/1838000 1184.91/600.54 c cleaning 32997 clauses out of 66075 with flag 1871000/1871000 1204.28/610.46 c cleaning 33005 clauses out of 66079 with flag 1904001/1904001 1224.59/620.81 c cleaning 32994 clauses out of 66073 with flag 1937000/1937000 1245.73/631.65 c cleaning 33007 clauses out of 66080 with flag 1970001/1970001 1264.64/641.44 c cleaning 32999 clauses out of 66073 with flag 2003001/2003001 1285.66/652.16 c cleaning 33012 clauses out of 66073 with flag 2036000/2036000 1306.42/662.77 c cleaning 32957 clauses out of 66062 with flag 2069001/2069001 1326.22/672.80 c cleaning 33041 clauses out of 66105 with flag 2102001/2102001 1345.69/682.90 c cleaning 33009 clauses out of 66063 with flag 2135000/2135000 1364.52/692.51 c cleaning 32997 clauses out of 66054 with flag 2168000/2168000 1386.12/703.53 c cleaning 32990 clauses out of 66057 with flag 2201000/2201000 1405.56/713.48 c cleaning 32993 clauses out of 66068 with flag 2234001/2234001 1423.88/722.95 c cleaning 32997 clauses out of 66076 with flag 2267002/2267002 1440.91/731.63 c cleaning 32988 clauses out of 66077 with flag 2300000/2300000 1465.85/744.23 c cleaning 32997 clauses out of 66089 with flag 2333000/2333000 1492.58/757.80 c cleaning 32993 clauses out of 66092 with flag 2366000/2366000 1517.72/770.63 c cleaning 33014 clauses out of 66099 with flag 2399000/2399000 1541.72/782.79 c cleaning 32997 clauses out of 66086 with flag 2432001/2432001 1559.87/792.00 c cleaning 33018 clauses out of 66089 with flag 2465001/2465001 1580.02/802.13 c cleaning 33008 clauses out of 66070 with flag 2498000/2498000 1598.60/811.80 c cleaning 33002 clauses out of 66063 with flag 2531001/2531001 1615.83/820.55 c cleaning 33004 clauses out of 66061 with flag 2564001/2564001 1633.53/829.53 c cleaning 33004 clauses out of 66060 with flag 2597004/2597004 1650.09/838.01 c cleaning 33002 clauses out of 66053 with flag 2630001/2630001 1667.74/847.25 c cleaning 32996 clauses out of 66050 with flag 2663000/2663000 1695.52/861.26 c cleaning 32995 clauses out of 66054 with flag 2696000/2696000 1724.36/875.79 c cleaning 32991 clauses out of 66059 with flag 2729000/2729000 1753.18/890.23 c cleaning 32990 clauses out of 66068 with flag 2762000/2762000 1781.24/904.59 c cleaning 33008 clauses out of 66079 with flag 2795001/2795001 1800.16/914.12 c starts : 236 1800.16/914.12 c conflicts : 2817912 1800.16/914.12 c decisions : 11684769 1800.16/914.12 c propagations : 1411172425 1800.16/914.12 c inspects : 4548907418 1800.16/914.12 c learnt literals : 0 1800.16/914.12 c learnt binary clauses : 3 1800.16/914.12 c learnt ternary clauses : 1 1800.16/914.12 c learnt clauses : 2817911 1800.16/914.12 c ignored clauses : 0 1800.16/914.12 c root simplifications : 0 1800.16/914.12 c removed literals (reason simplification) : 165115750 1800.16/914.12 c reason swapping (by a shorter reason) : 0 1800.16/914.12 c Calls to reduceDB : 97 1800.16/914.12 c number of reductions to clauses (during analyze) : 0 1800.16/914.12 c number of learned constraints concerned by reduction : 0 1800.16/914.12 c number of learning phase by resolution : 0 1800.16/914.12 c number of learning phase by cutting planes : 0 1800.16/914.12 c speed (assignments/second) : 1574240.0841128272 1800.16/914.12 c non guided choices 27749 1800.16/914.14 c learnt constraints type 1800.16/914.14 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 56029 1800.16/914.14 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3 1800.16/914.14 c constraints type 1800.16/914.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099 1800.16/914.14 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.16/914.14 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193 1800.16/914.14 c constraints type 1800.16/914.14 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193 1800.16/914.14 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099 1800.16/914.14 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.16/914.14 s SATISFIABLE 1800.16/914.15 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 -x3171 x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 x4779 x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 x5571 x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 x5837 x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 x6044 x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 x6295 -x6296 -x6297 -x6298 x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 x6337 -x6338 -x6339 -x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 x6349 x6350 x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 x6496 -x6497 -x6498 -x6499 x6500 x6501 -x6502 x6503 -x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 x6559 x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 x7595 -x7596 x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 x8188 -x8189 x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 x8201 x8202 -x8203 x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 x8454 -x8455 -x8456 -x8457 -x8458 -x8459 x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 x8468 -x8469 x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 x8560 -x8561 x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 x8729 x8730 -x8731 -x8732 -x8733 x8734 x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 x8780 -x8781 -x8782 -x8783 -x8784 x8785 -x8786 -x8787 -x8788 -x8789 x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 x8894 x8895 -x8896 -x8897 -x8898 -x8899 -x8900 x8901 1800.16/914.16 c objective function=22 1800.16/914.16 c Total wall clock time (in seconds): 914.029
OK 22
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-3736045-1338750676/watcher-3736045-1338750676 -o /tmp/evaluation-result-3736045-1338750676/solver-3736045-1338750676 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736045-1338750676.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.80 3.81 3.82 4/197 12940 /proc/meminfo: memFree=25883516/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/12940/stat : 12940 (java6) D 12938 12940 9489 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341192438 2560000 46 33554432000 1073741824 1073778376 140735906444848 140735906441976 223642479911 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/12940/statm: 625 46 37 9 0 29 0 [startup+0.038904 s] /proc/loadavg: 3.80 3.81 3.82 4/197 12940 /proc/meminfo: memFree=25883516/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2158136 CPUtime=0.01 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 3130 0 1 0 1 0 0 0 20 0 10 0 341192438 2209931264 3829 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 539534 3839 1254 9 0 530235 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2158136 [startup+0.100268 s] /proc/loadavg: 3.80 3.81 3.82 4/197 12940 /proc/meminfo: memFree=25883516/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2699928 CPUtime=0.06 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 3897 0 1 0 6 0 0 0 20 0 18 0 341192438 2764726272 5616 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 674982 5616 1772 9 0 665676 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2699928 [startup+0.300255 s] /proc/loadavg: 3.80 3.81 3.82 4/197 12940 /proc/meminfo: memFree=25883516/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2699928 CPUtime=0.45 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 5748 0 1 0 43 2 0 0 20 0 18 0 341192438 2764726272 8583 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 674982 8583 2215 9 0 665676 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 2699928 [startup+0.700233 s] /proc/loadavg: 3.80 3.81 3.82 4/197 12940 /proc/meminfo: memFree=25883516/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2900648 CPUtime=1.65 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 17298 0 1 0 158 7 0 0 20 0 22 0 341192438 2970263552 35774 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 725162 35774 2247 9 0 715856 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 2900648 [startup+1.50068 s] /proc/loadavg: 3.80 3.81 3.82 3/217 12962 /proc/meminfo: memFree=25749064/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2966184 CPUtime=1.99 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 17368 0 1 0 191 8 0 0 20 0 20 0 341192438 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 741546 35822 2256 9 0 732240 0 [pid=12940/tid=12942] ppid=12938 vsize=2966184 CPUtime=0.62 cores=1,3,5,7 /proc/12940/task/12942/stat : 12942 (java) S 12938 12940 9489 0 -1 4202560 2832 0 1 0 59 3 0 0 20 0 20 0 341192440 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755945555096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12943] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12943/stat : 12943 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755929836072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12944] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12944/stat : 12944 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755928783272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12945] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12945/stat : 12945 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755927730472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12946] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12946/stat : 12946 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755926677672 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12947] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12947/stat : 12947 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755925625896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12948] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12948/stat : 12948 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755924573096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12949] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12949/stat : 12949 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755923520296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12950] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12950/stat : 12950 (java) S 12938 12940 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755922467496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12951] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12951/stat : 12951 (java) S 12938 12940 9489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 341192443 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755910056424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12952] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12952/stat : 12952 (java) S 12938 12940 9489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341192443 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755909002488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12953] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12953/stat : 12953 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341192443 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755907949576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12954] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12954/stat : 12954 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192446 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755906898064 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12955] ppid=12938 vsize=2966184 CPUtime=0.57 cores=1,3,5,7 /proc/12940/task/12955/stat : 12955 (java) S 12938 12940 9489 0 -1 4202560 6476 0 0 0 55 2 0 0 20 0 20 0 341192446 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755905846200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12956] ppid=12938 vsize=2966184 CPUtime=0.58 cores=1,3,5,7 /proc/12940/task/12956/stat : 12956 (java) S 12938 12940 9489 0 -1 4202560 6763 0 0 0 56 2 0 0 20 0 20 0 341192446 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755904793400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12957] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12957/stat : 12957 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192446 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755903740792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12958] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12958/stat : 12958 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192446 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755902688200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12961] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12961/stat : 12961 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341192507 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755899528104 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12962] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12962/stat : 12962 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341192507 3037372416 35822 33554432000 1073741824 1073778376 140735542072160 139755898475304 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 2966184 [startup+3.10084 s] /proc/loadavg: 3.80 3.81 3.82 3/217 12964 /proc/meminfo: memFree=25742176/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2966184 CPUtime=3.05 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 22436 0 1 0 292 13 0 0 20 0 20 0 341192438 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 741546 44134 2259 9 0 732240 0 [pid=12940/tid=12942] ppid=12938 vsize=2966184 CPUtime=0.64 cores=1,3,5,7 /proc/12940/task/12942/stat : 12942 (java) S 12938 12940 9489 0 -1 4202560 2832 0 1 0 61 3 0 0 20 0 20 0 341192440 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755945555096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12943] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12943/stat : 12943 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755929836072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12944] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12944/stat : 12944 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755928783272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12945] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12945/stat : 12945 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755927730472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12946] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12946/stat : 12946 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755926677672 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12947] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12947/stat : 12947 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755925625896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12948] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12948/stat : 12948 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755924573096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12949] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12949/stat : 12949 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755923520296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12950] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12950/stat : 12950 (java) S 12938 12940 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341192441 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755922467496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12951] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12951/stat : 12951 (java) S 12938 12940 9489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341192443 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755910056424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12952] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12952/stat : 12952 (java) S 12938 12940 9489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341192443 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755909002488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12953] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12953/stat : 12953 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341192443 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755907949576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12954] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12954/stat : 12954 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192446 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755906898064 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12955] ppid=12938 vsize=2966184 CPUtime=0.84 cores=1,3,5,7 /proc/12940/task/12955/stat : 12955 (java) S 12938 12940 9489 0 -1 4202560 6484 0 0 0 81 3 0 0 20 0 20 0 341192446 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755905846200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12956] ppid=12938 vsize=2966184 CPUtime=1.01 cores=1,3,5,7 /proc/12940/task/12956/stat : 12956 (java) S 12938 12940 9489 0 -1 4202560 11773 0 0 0 98 3 0 0 20 0 20 0 341192446 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755904793400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12957] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12957/stat : 12957 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192446 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755903740792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12958] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12958/stat : 12958 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341192446 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755902688200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12961] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12961/stat : 12961 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341192507 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755899528104 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12962] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12962/stat : 12962 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341192507 3037372416 44134 33554432000 1073741824 1073778376 140735542072160 139755898475304 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 2966184 [startup+6.30092 s] /proc/loadavg: 3.74 3.80 3.81 3/217 12968 /proc/meminfo: memFree=25480588/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2966184 CPUtime=7.42 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 22915 0 1 0 716 26 0 0 20 0 22 0 341192438 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 741546 109118 2287 9 0 732240 0 [pid=12940/tid=12942] ppid=12938 vsize=2966184 CPUtime=0.65 cores=1,3,5,7 /proc/12940/task/12942/stat : 12942 (java) S 12938 12940 9489 0 -1 4202560 2834 0 1 0 62 3 0 0 20 0 22 0 341192440 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755945555112 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12943] ppid=12938 vsize=2966184 CPUtime=0.03 cores=1,3,5,7 /proc/12940/task/12943/stat : 12943 (java) S 12938 12940 9489 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 341192441 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755929836072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12944] ppid=12938 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12940/task/12944/stat : 12944 (java) S 12938 12940 9489 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 341192441 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755928783272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12945] ppid=12938 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12940/task/12945/stat : 12945 (java) S 12938 12940 9489 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 341192441 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755927730472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12946] ppid=12938 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12940/task/12946/stat : 12946 (java) S 12938 12940 9489 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 341192441 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755926677672 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12947] ppid=12938 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12940/task/12947/stat : 12947 (java) S 12938 12940 9489 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 341192441 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755925625896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12948] ppid=12938 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12940/task/12948/stat : 12948 (java) S 12938 12940 9489 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 341192441 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755924573096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12949] ppid=12938 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12940/task/12949/stat : 12949 (java) S 12938 12940 9489 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 341192441 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755923520296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12950] ppid=12938 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/12940/task/12950/stat : 12950 (java) S 12938 12940 9489 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 341192441 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755922467496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12951] ppid=12938 vsize=2966184 CPUtime=0.05 cores=1,3,5,7 /proc/12940/task/12951/stat : 12951 (java) S 12938 12940 9489 0 -1 4202560 58 0 0 0 5 0 0 0 20 0 22 0 341192443 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755910056424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12952] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12952/stat : 12952 (java) S 12938 12940 9489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341192443 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755909002488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12953] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12953/stat : 12953 (java) S 12938 12940 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341192443 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755907949576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12954] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12954/stat : 12954 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341192446 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755906898064 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12955] ppid=12938 vsize=2966184 CPUtime=1.08 cores=1,3,5,7 /proc/12940/task/12955/stat : 12955 (java) S 12938 12940 9489 0 -1 4202560 6490 0 0 0 105 3 0 0 20 0 22 0 341192446 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755905846200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12956] ppid=12938 vsize=2966184 CPUtime=1.47 cores=1,3,5,7 /proc/12940/task/12956/stat : 12956 (java) S 12938 12940 9489 0 -1 4202560 11993 0 0 0 144 3 0 0 20 0 22 0 341192446 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755904793400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12957] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12957/stat : 12957 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341192446 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755903740792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12958] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12958/stat : 12958 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341192446 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755902688200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12961] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12961/stat : 12961 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341192507 3037372416 109118 33554432000 1073741824 1073778376 140735542072160 139755899528104 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ [pid=12940/tid=12962] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12962/stat : 12962 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341192507 3037372416 277337 33554432000 1073741824 1073778376 140735542072160 139755898475304 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12971] ppid=12938 vsize=2966184 CPUtime=752.51 cores=1,3,5,7 /proc/12940/task/12971/stat : 12971 (java) R 12938 12940 9489 0 -1 4202560 288 0 0 0 75236 15 0 0 20 0 22 0 341194209 3037372416 277337 33554432000 1073741824 1073778376 140735542072160 139755900580816 139755770730711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12972] ppid=12938 vsize=2966184 CPUtime=752.51 cores=1,3,5,7 /proc/12940/task/12972/stat : 12972 (java) R 12938 12940 9489 0 -1 4202560 329 0 0 0 75237 14 0 0 20 0 22 0 341194209 3037372416 277337 33554432000 1073741824 1073778376 140735542072160 139755901631312 139755770615880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1618.82 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 3.89 3.84 3.83 5/219 13061 /proc/meminfo: memFree=24857936/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2966184 CPUtime=1737.13 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 26030 0 1 0 173514 199 0 0 20 0 22 0 341192438 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 741546 282014 2289 9 0 732240 0 [pid=12940/tid=12942] ppid=12938 vsize=2966184 CPUtime=0.68 cores=1,3,5,7 /proc/12940/task/12942/stat : 12942 (java) S 12938 12940 9489 0 -1 4202560 2879 0 1 0 65 3 0 0 20 0 22 0 341192440 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755945555112 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12943] ppid=12938 vsize=2966184 CPUtime=6.36 cores=1,3,5,7 /proc/12940/task/12943/stat : 12943 (java) S 12938 12940 9489 0 -1 4202560 304 0 0 0 622 14 0 0 20 0 22 0 341192441 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755929836072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12944] ppid=12938 vsize=2966184 CPUtime=5.84 cores=1,3,5,7 /proc/12940/task/12944/stat : 12944 (java) S 12938 12940 9489 0 -1 4202560 274 0 0 0 573 11 0 0 20 0 22 0 341192441 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755928783272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12945] ppid=12938 vsize=2966184 CPUtime=6.28 cores=1,3,5,7 /proc/12940/task/12945/stat : 12945 (java) S 12938 12940 9489 0 -1 4202560 288 0 0 0 615 13 0 0 20 0 22 0 341192441 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755927730472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12946] ppid=12938 vsize=2966184 CPUtime=6.28 cores=1,3,5,7 /proc/12940/task/12946/stat : 12946 (java) S 12938 12940 9489 0 -1 4202560 275 0 0 0 615 13 0 0 20 0 22 0 341192441 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755926677672 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12947] ppid=12938 vsize=2966184 CPUtime=6.09 cores=1,3,5,7 /proc/12940/task/12947/stat : 12947 (java) S 12938 12940 9489 0 -1 4202560 283 0 0 0 596 13 0 0 20 0 22 0 341192441 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755925625896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12948] ppid=12938 vsize=2966184 CPUtime=6.54 cores=1,3,5,7 /proc/12940/task/12948/stat : 12948 (java) S 12938 12940 9489 0 -1 4202560 293 0 0 0 639 15 0 0 20 0 22 0 341192441 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755924573096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12949] ppid=12938 vsize=2966184 CPUtime=6.3 cores=1,3,5,7 /proc/12940/task/12949/stat : 12949 (java) S 12938 12940 9489 0 -1 4202560 301 0 0 0 618 12 0 0 20 0 22 0 341192441 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755923520296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12950] ppid=12938 vsize=2966184 CPUtime=6.33 cores=1,3,5,7 /proc/12940/task/12950/stat : 12950 (java) S 12938 12940 9489 0 -1 4202560 291 0 0 0 620 13 0 0 20 0 22 0 341192441 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755922467496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12951] ppid=12938 vsize=2966184 CPUtime=42.88 cores=1,3,5,7 /proc/12940/task/12951/stat : 12951 (java) S 12938 12940 9489 0 -1 4202560 126 0 0 0 4238 50 0 0 20 0 22 0 341192443 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755910056424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12952] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12952/stat : 12952 (java) S 12938 12940 9489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341192443 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755909002488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12953] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12953/stat : 12953 (java) S 12938 12940 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341192443 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755907949576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12954] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12954/stat : 12954 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341192446 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755906898064 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12955] ppid=12938 vsize=2966184 CPUtime=1.12 cores=1,3,5,7 /proc/12940/task/12955/stat : 12955 (java) S 12938 12940 9489 0 -1 4202560 6491 0 0 0 109 3 0 0 20 0 22 0 341192446 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755905846200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12956] ppid=12938 vsize=2966184 CPUtime=1.81 cores=1,3,5,7 /proc/12940/task/12956/stat : 12956 (java) S 12938 12940 9489 0 -1 4202560 12012 0 0 0 178 3 0 0 20 0 22 0 341192446 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755904793400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12957] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12957/stat : 12957 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341192446 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755903740792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12958] ppid=12938 vsize=2966184 CPUtime=0.48 cores=1,3,5,7 /proc/12940/task/12958/stat : 12958 (java) S 12938 12940 9489 0 -1 4202560 51 0 0 0 33 15 0 0 20 0 22 0 341192446 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755902688200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12961] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12961/stat : 12961 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341192507 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755899528104 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12962] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12962/stat : 12962 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341192507 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755898475304 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12971] ppid=12938 vsize=2966184 CPUtime=807.77 cores=1,3,5,7 /proc/12940/task/12971/stat : 12971 (java) R 12938 12940 9489 0 -1 4202560 307 0 0 0 80761 16 0 0 20 0 22 0 341194209 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755900579872 139755770577311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12972] ppid=12938 vsize=2966184 CPUtime=807.76 cores=1,3,5,7 /proc/12940/task/12972/stat : 12972 (java) R 12938 12940 9489 0 -1 4202560 350 0 0 0 80761 15 0 0 20 0 22 0 341194209 3037372416 282014 33554432000 1073741824 1073778376 140735542072160 139755901631464 139755770530349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1737.13 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+914.108 s] /proc/loadavg: 3.94 3.86 3.83 5/219 13062 /proc/meminfo: memFree=24821072/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2966184 CPUtime=1800.16 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 26104 0 1 0 179811 205 0 0 20 0 22 0 341192438 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 741546 284604 2289 9 0 732240 0 [pid=12940/tid=12942] ppid=12938 vsize=2966184 CPUtime=0.69 cores=1,3,5,7 /proc/12940/task/12942/stat : 12942 (java) S 12938 12940 9489 0 -1 4202560 2879 0 1 0 65 4 0 0 20 0 22 0 341192440 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755945555112 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12943] ppid=12938 vsize=2966184 CPUtime=6.69 cores=1,3,5,7 /proc/12940/task/12943/stat : 12943 (java) S 12938 12940 9489 0 -1 4202560 309 0 0 0 654 15 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755929836072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12944] ppid=12938 vsize=2966184 CPUtime=6.15 cores=1,3,5,7 /proc/12940/task/12944/stat : 12944 (java) S 12938 12940 9489 0 -1 4202560 281 0 0 0 604 11 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755928783272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12945] ppid=12938 vsize=2966184 CPUtime=6.55 cores=1,3,5,7 /proc/12940/task/12945/stat : 12945 (java) S 12938 12940 9489 0 -1 4202560 297 0 0 0 641 14 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755927730472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12946] ppid=12938 vsize=2966184 CPUtime=6.59 cores=1,3,5,7 /proc/12940/task/12946/stat : 12946 (java) S 12938 12940 9489 0 -1 4202560 275 0 0 0 646 13 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755926677672 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12947] ppid=12938 vsize=2966184 CPUtime=6.4 cores=1,3,5,7 /proc/12940/task/12947/stat : 12947 (java) S 12938 12940 9489 0 -1 4202560 285 0 0 0 626 14 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755925625896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12948] ppid=12938 vsize=2966184 CPUtime=6.8 cores=1,3,5,7 /proc/12940/task/12948/stat : 12948 (java) S 12938 12940 9489 0 -1 4202560 294 0 0 0 665 15 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755924573096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12949] ppid=12938 vsize=2966184 CPUtime=6.68 cores=1,3,5,7 /proc/12940/task/12949/stat : 12949 (java) S 12938 12940 9489 0 -1 4202560 315 0 0 0 656 12 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755923520296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12950] ppid=12938 vsize=2966184 CPUtime=6.63 cores=1,3,5,7 /proc/12940/task/12950/stat : 12950 (java) S 12938 12940 9489 0 -1 4202560 297 0 0 0 649 14 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755922467496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12951] ppid=12938 vsize=2966184 CPUtime=44.59 cores=1,3,5,7 /proc/12940/task/12951/stat : 12951 (java) S 12938 12940 9489 0 -1 4202560 128 0 0 0 4407 52 0 0 20 0 22 0 341192443 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755910056424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12952] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12952/stat : 12952 (java) S 12938 12940 9489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341192443 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755909002488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12953] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12953/stat : 12953 (java) S 12938 12940 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341192443 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755907949576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12954] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12954/stat : 12954 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755906898064 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12955] ppid=12938 vsize=2966184 CPUtime=1.12 cores=1,3,5,7 /proc/12940/task/12955/stat : 12955 (java) S 12938 12940 9489 0 -1 4202560 6491 0 0 0 109 3 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755905846200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12956] ppid=12938 vsize=2966184 CPUtime=1.81 cores=1,3,5,7 /proc/12940/task/12956/stat : 12956 (java) S 12938 12940 9489 0 -1 4202560 12012 0 0 0 178 3 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755904793400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12957] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12957/stat : 12957 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755903740792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12958] ppid=12938 vsize=2966184 CPUtime=0.5 cores=1,3,5,7 /proc/12940/task/12958/stat : 12958 (java) S 12938 12940 9489 0 -1 4202560 53 0 0 0 34 16 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755902688200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12961] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12961/stat : 12961 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341192507 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755899528104 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12962] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12962/stat : 12962 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341192507 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755898475304 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12971] ppid=12938 vsize=2966184 CPUtime=837.18 cores=1,3,5,7 /proc/12940/task/12971/stat : 12971 (java) R 12938 12940 9489 0 -1 4202560 321 0 0 0 83702 16 0 0 20 0 22 0 341194209 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755900579008 139755770420040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12972] ppid=12938 vsize=2966184 CPUtime=837.19 cores=1,3,5,7 /proc/12940/task/12972/stat : 12972 (java) R 12938 12940 9489 0 -1 4202560 362 0 0 0 83704 15 0 0 20 0 22 0 341194209 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755901632032 139755770677262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+914.108 s] /proc/loadavg: 3.94 3.86 3.83 5/219 13062 /proc/meminfo: memFree=24821072/32873844 swapFree=7628/7628 [pid=12940] ppid=12938 vsize=2966184 CPUtime=1800.16 cores=1,3,5,7 /proc/12940/stat : 12940 (java) S 12938 12940 9489 0 -1 4202496 26104 0 1 0 179811 205 0 0 20 0 22 0 341192438 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 140735542063296 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/12940/statm: 741546 284604 2289 9 0 732240 0 [pid=12940/tid=12942] ppid=12938 vsize=2966184 CPUtime=0.69 cores=1,3,5,7 /proc/12940/task/12942/stat : 12942 (java) S 12938 12940 9489 0 -1 4202560 2879 0 1 0 65 4 0 0 20 0 22 0 341192440 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755945555112 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12943] ppid=12938 vsize=2966184 CPUtime=6.69 cores=1,3,5,7 /proc/12940/task/12943/stat : 12943 (java) S 12938 12940 9489 0 -1 4202560 309 0 0 0 654 15 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755929836072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12944] ppid=12938 vsize=2966184 CPUtime=6.15 cores=1,3,5,7 /proc/12940/task/12944/stat : 12944 (java) S 12938 12940 9489 0 -1 4202560 281 0 0 0 604 11 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755928783272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12945] ppid=12938 vsize=2966184 CPUtime=6.55 cores=1,3,5,7 /proc/12940/task/12945/stat : 12945 (java) S 12938 12940 9489 0 -1 4202560 297 0 0 0 641 14 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755927730472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12946] ppid=12938 vsize=2966184 CPUtime=6.59 cores=1,3,5,7 /proc/12940/task/12946/stat : 12946 (java) S 12938 12940 9489 0 -1 4202560 275 0 0 0 646 13 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755926677672 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12947] ppid=12938 vsize=2966184 CPUtime=6.4 cores=1,3,5,7 /proc/12940/task/12947/stat : 12947 (java) S 12938 12940 9489 0 -1 4202560 285 0 0 0 626 14 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755925625896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12948] ppid=12938 vsize=2966184 CPUtime=6.8 cores=1,3,5,7 /proc/12940/task/12948/stat : 12948 (java) S 12938 12940 9489 0 -1 4202560 294 0 0 0 665 15 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755924573096 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12949] ppid=12938 vsize=2966184 CPUtime=6.68 cores=1,3,5,7 /proc/12940/task/12949/stat : 12949 (java) S 12938 12940 9489 0 -1 4202560 315 0 0 0 656 12 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755923520296 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12950] ppid=12938 vsize=2966184 CPUtime=6.63 cores=1,3,5,7 /proc/12940/task/12950/stat : 12950 (java) S 12938 12940 9489 0 -1 4202560 297 0 0 0 649 14 0 0 20 0 22 0 341192441 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755922467496 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12951] ppid=12938 vsize=2966184 CPUtime=44.59 cores=1,3,5,7 /proc/12940/task/12951/stat : 12951 (java) S 12938 12940 9489 0 -1 4202560 128 0 0 0 4407 52 0 0 20 0 22 0 341192443 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755910056424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12952] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12952/stat : 12952 (java) S 12938 12940 9489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341192443 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755909002488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12953] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12953/stat : 12953 (java) S 12938 12940 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341192443 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755907949576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12940/tid=12954] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12954/stat : 12954 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755906898064 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12955] ppid=12938 vsize=2966184 CPUtime=1.12 cores=1,3,5,7 /proc/12940/task/12955/stat : 12955 (java) S 12938 12940 9489 0 -1 4202560 6491 0 0 0 109 3 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755905846200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12956] ppid=12938 vsize=2966184 CPUtime=1.81 cores=1,3,5,7 /proc/12940/task/12956/stat : 12956 (java) S 12938 12940 9489 0 -1 4202560 12012 0 0 0 178 3 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755904793400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12957] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12957/stat : 12957 (java) S 12938 12940 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755903740792 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12958] ppid=12938 vsize=2966184 CPUtime=0.5 cores=1,3,5,7 /proc/12940/task/12958/stat : 12958 (java) S 12938 12940 9489 0 -1 4202560 53 0 0 0 34 16 0 0 20 0 22 0 341192446 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755902688200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12940/tid=12961] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12961/stat : 12961 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341192507 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755899528104 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12962] ppid=12938 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/12940/task/12962/stat : 12962 (java) S 12938 12940 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341192507 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755898475304 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12940/tid=12971] ppid=12938 vsize=2966184 CPUtime=837.18 cores=1,3,5,7 /proc/12940/task/12971/stat : 12971 (java) R 12938 12940 9489 0 -1 4202560 321 0 0 0 83702 16 0 0 20 0 22 0 341194209 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755900579008 139755770420040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12940/tid=12972] ppid=12938 vsize=2966184 CPUtime=837.19 cores=1,3,5,7 /proc/12940/task/12972/stat : 12972 (java) R 12938 12940 9489 0 -1 4202560 362 0 0 0 83704 15 0 0 20 0 22 0 341194209 3037372416 284604 33554432000 1073741824 1073778376 140735542072160 139755901632032 139755770677262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 2966184 Child status: 143 Real time (s): 914.174 CPU time (s): 1801.1 CPU user time (s): 1798.59 CPU system time (s): 2.51162 CPU usage (%): 197.02 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.59 system time used= 2.51162 maximum resident set size= 1138532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26136 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42581 involuntary context switches= 105158 runsolver used 4.5923 second user time and 8.49471 second system time The end
Begin job on node144 at 2012-06-03 21:11:16 IDJOB=3736045 IDBENCH=25018 IDSOLVER=2324 FILE ID=node144/3736045-1338750676 RUNJOBID= node144-1338739588-9506 PBS_JOBID= 14636773 Free space on /tmp= 70820 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736045-1338750676/watcher-3736045-1338750676 -o /tmp/evaluation-result-3736045-1338750676/solver-3736045-1338750676 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736045-1338750676.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED=991142907 node144.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.196 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.39 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.196 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.196 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.54 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.196 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.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 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.92 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.196 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 25883524 kB Buffers: 1718936 kB Cached: 3688948 kB SwapCached: 464 kB Active: 4207428 kB Inactive: 1896280 kB Active(anon): 676016 kB Inactive(anon): 11188 kB Active(file): 3531412 kB Inactive(file): 1885092 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108384 kB Dirty: 916 kB Writeback: 0 kB AnonPages: 696172 kB Mapped: 22484 kB Shmem: 172 kB Slab: 740400 kB SReclaimable: 182216 kB SUnreclaim: 558184 kB KernelStack: 1624 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1574520 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 634880 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= 70832 MiB End job on node144 at 2012-06-03 21:26:32