| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT | 1497.89 | 763.15 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K103.opb |
| MD5SUM | 34d84c84a6977bf98000135522032f88 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 170.657 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7004 |
| Total number of constraints | 7212 |
| Number of constraints which are clauses | 7109 |
| Number of constraints which are cardinality constraints (but not clauses) | 103 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 103 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 104 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.07 c See www.sat4j.org for details. 0.04/0.08 c version 2.2.0.v20100531 0.04/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.08 c java.vm.version 19.1-b02 0.04/0.08 c java.vm.vendor Sun Microsystems Inc. 0.04/0.08 c sun.arch.data.model 64 0.04/0.08 c java.version 1.6.0_24 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.08 c os.arch amd64 0.04/0.08 c Free memory 1349517296 0.04/0.08 c Max memory 1356595200 0.04/0.08 c Total memory 1356595200 0.04/0.08 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@431b9fb1 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 0.09/0.11 c solving HOME/instance-3742184-1338785427.opb 0.09/0.11 c reading problem ... 0.81/0.47 c ... done. Wall clock time 0.357s. 0.81/0.47 c #vars 7004 0.81/0.47 c #constraints 7212 0.81/0.47 c constraints type 0.81/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5781 0.81/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 103 0.81/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1326 0.81/0.47 c constraints type 0.81/0.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1326 0.81/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5781 0.81/0.47 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 103 5.15/2.05 c cleaning 2465 clauses out of 4994 with flag 5000/5000 8.78/3.76 c cleaning 4239 clauses out of 8524 with flag 11000/11000 13.45/6.06 c cleaning 5580 clauses out of 11282 with flag 18000/18000 19.71/9.15 c cleaning 6796 clauses out of 13698 with flag 26000/26000 26.34/12.42 c cleaning 7860 clauses out of 15899 with flag 35000/35000 32.59/15.50 c cleaning 8863 clauses out of 18033 with flag 45001/45001 38.99/18.76 c cleaning 9412 clauses out of 19167 with flag 55003/55003 46.56/22.55 c cleaning 9717 clauses out of 19752 with flag 65001/65001 53.09/25.90 c cleaning 9873 clauses out of 20033 with flag 75000/75000 59.89/29.23 c cleaning 9910 clauses out of 20159 with flag 85002/85002 66.45/32.59 c cleaning 9964 clauses out of 20233 with flag 95001/95001 72.22/35.47 c cleaning 9897 clauses out of 20264 with flag 105000/105000 80.36/39.58 c cleaning 9857 clauses out of 20365 with flag 115000/115000 96.75/47.75 c cleaning 9893 clauses out of 20508 with flag 125000/125000 109.51/54.14 c cleaning 10227 clauses out of 20616 with flag 135001/135001 115.50/57.14 c cleaning 10085 clauses out of 20391 with flag 145003/145003 125.18/62.01 c cleaning 10077 clauses out of 20300 with flag 155001/155001 131.12/65.06 c cleaning 9954 clauses out of 20223 with flag 165001/165001 138.47/68.71 c cleaning 9947 clauses out of 20269 with flag 175001/175001 146.42/72.70 c cleaning 9993 clauses out of 20321 with flag 185001/185001 170.78/84.92 c cleaning 9978 clauses out of 20327 with flag 195000/195000 179.12/89.19 c cleaning 9632 clauses out of 20346 with flag 205000/205000 186.65/92.95 c cleaning 9689 clauses out of 20714 with flag 215000/215000 196.40/97.88 c cleaning 9611 clauses out of 21025 with flag 225000/225000 203.24/101.36 c cleaning 9511 clauses out of 21416 with flag 235002/235002 211.57/105.59 c cleaning 9656 clauses out of 21905 with flag 245002/245002 218.07/108.82 c cleaning 9491 clauses out of 22249 with flag 255002/255002 227.35/113.51 c cleaning 9600 clauses out of 22759 with flag 265003/265003 238.40/119.19 c cleaning 9515 clauses out of 23156 with flag 275000/275000 260.40/130.18 c cleaning 9625 clauses out of 23642 with flag 285001/285001 268.91/134.43 c cleaning 9499 clauses out of 24012 with flag 295000/295000 274.84/137.42 c cleaning 9455 clauses out of 24516 with flag 305004/305004 282.63/141.47 c cleaning 9464 clauses out of 25057 with flag 315002/315002 291.69/146.09 c cleaning 9560 clauses out of 25592 with flag 325001/325001 303.37/151.95 c cleaning 9549 clauses out of 26031 with flag 335000/335000 311.07/155.85 c cleaning 9504 clauses out of 26481 with flag 345000/345000 330.33/165.53 c cleaning 9484 clauses out of 26978 with flag 355001/355001 341.62/171.28 c cleaning 9583 clauses out of 27495 with flag 365002/365002 366.37/183.63 c cleaning 9782 clauses out of 27911 with flag 375001/375001 389.18/195.03 c cleaning 9686 clauses out of 28128 with flag 385000/385000 399.13/200.16 c cleaning 9778 clauses out of 28442 with flag 395000/395000 410.98/206.18 c cleaning 9635 clauses out of 28664 with flag 405000/405000 424.89/213.15 c cleaning 10033 clauses out of 29030 with flag 415001/415001 437.76/219.70 c cleaning 9889 clauses out of 28996 with flag 425000/425000 438.61/220.28 c cleaning 0 clauses out of 5001 with flag 0/5001 446.89/224.32 c cleaning 9794 clauses out of 29108 with flag 435001/435001 455.91/228.93 c cleaning 9520 clauses out of 29317 with flag 445004/445004 462.34/232.20 c cleaning 9532 clauses out of 29793 with flag 455000/455000 472.86/237.64 c cleaning 9693 clauses out of 30265 with flag 465004/465004 484.29/243.49 c cleaning 9647 clauses out of 30568 with flag 475000/475000 491.89/247.38 c cleaning 9509 clauses out of 30922 with flag 485001/485001 500.72/251.82 c cleaning 9549 clauses out of 31411 with flag 495000/495000 507.37/255.34 c cleaning 9640 clauses out of 31864 with flag 505002/505002 518.99/261.25 c cleaning 9448 clauses out of 32222 with flag 515000/515000 527.61/265.64 c cleaning 9851 clauses out of 32775 with flag 525001/525001 534.79/269.33 c cleaning 9720 clauses out of 32923 with flag 535000/535000 542.05/273.19 c cleaning 9569 clauses out of 33204 with flag 545001/545001 549.05/276.73 c cleaning 9560 clauses out of 33635 with flag 555001/555001 557.06/280.83 c cleaning 9473 clauses out of 34074 with flag 565000/565000 563.65/284.28 c cleaning 9718 clauses out of 34601 with flag 575000/575000 571.70/288.49 c cleaning 9518 clauses out of 34886 with flag 585003/585003 581.29/293.30 c cleaning 9783 clauses out of 35365 with flag 595000/595000 589.69/297.66 c cleaning 9653 clauses out of 35581 with flag 605000/605000 599.34/302.57 c cleaning 9675 clauses out of 35929 with flag 615001/615001 609.58/307.82 c cleaning 9717 clauses out of 36253 with flag 625000/625000 621.60/313.91 c cleaning 9678 clauses out of 36536 with flag 635000/635000 633.01/319.78 c cleaning 9827 clauses out of 36858 with flag 645000/645000 643.23/324.97 c cleaning 9747 clauses out of 37031 with flag 655000/655000 655.32/331.19 c cleaning 9906 clauses out of 37287 with flag 665003/665003 661.71/334.43 c cleaning 9287 clauses out of 37378 with flag 675000/675000 672.89/340.17 c cleaning 9534 clauses out of 38096 with flag 685005/685005 679.68/343.67 c cleaning 9579 clauses out of 38557 with flag 695000/695000 685.87/346.95 c cleaning 9584 clauses out of 38980 with flag 705002/705002 693.22/350.71 c cleaning 9734 clauses out of 39393 with flag 715000/715000 700.23/354.31 c cleaning 9688 clauses out of 39659 with flag 725000/725000 707.60/358.19 c cleaning 9731 clauses out of 39971 with flag 735000/735000 715.57/362.30 c cleaning 9242 clauses out of 40240 with flag 745000/745000 730.36/369.84 c cleaning 9755 clauses out of 40998 with flag 755001/755001 743.73/376.69 c cleaning 9728 clauses out of 41242 with flag 765000/765000 756.50/383.17 c cleaning 9675 clauses out of 41519 with flag 775005/775005 762.88/386.59 c cleaning 9590 clauses out of 41839 with flag 785000/785000 769.64/390.03 c cleaning 9389 clauses out of 42250 with flag 795001/795001 775.98/393.39 c cleaning 9614 clauses out of 42859 with flag 805000/805000 786.14/398.59 c cleaning 9685 clauses out of 43246 with flag 815001/815001 793.91/402.68 c cleaning 9361 clauses out of 43561 with flag 825001/825001 802.84/407.24 c cleaning 9499 clauses out of 44202 with flag 835003/835003 810.21/411.03 c cleaning 9991 clauses out of 44701 with flag 845001/845001 822.22/417.18 c cleaning 9530 clauses out of 44709 with flag 855000/855000 837.43/424.95 c cleaning 9816 clauses out of 45179 with flag 865000/865000 851.65/432.14 c cleaning 9820 clauses out of 45363 with flag 875000/875000 871.88/442.36 c cleaning 9884 clauses out of 45544 with flag 885001/885001 881.86/447.45 c cleaning 9931 clauses out of 45663 with flag 895004/895004 894.46/453.99 c cleaning 10160 clauses out of 45731 with flag 905003/905003 911.11/462.33 c cleaning 9748 clauses out of 45568 with flag 915000/915000 925.92/469.80 c cleaning 9894 clauses out of 45820 with flag 925000/925000 943.10/478.50 c cleaning 9836 clauses out of 45928 with flag 935002/935002 956.76/485.57 c cleaning 9821 clauses out of 46091 with flag 945001/945001 975.61/495.04 c cleaning 9776 clauses out of 46269 with flag 955000/955000 989.57/502.19 c cleaning 9811 clauses out of 46494 with flag 965001/965001 996.65/505.87 c cleaning 9817 clauses out of 46684 with flag 975002/975002 1009.16/512.36 c cleaning 9417 clauses out of 46867 with flag 985002/985002 1019.09/517.41 c cleaning 9561 clauses out of 47448 with flag 995000/995000 1035.32/525.69 c cleaning 9978 clauses out of 47887 with flag 1005000/1005000 1042.86/529.50 c cleaning 9523 clauses out of 47910 with flag 1015001/1015001 1049.16/532.98 c cleaning 9460 clauses out of 48389 with flag 1025003/1025003 1056.31/536.60 c cleaning 9660 clauses out of 48927 with flag 1035001/1035001 1061.63/539.49 c cleaning 9615 clauses out of 49266 with flag 1045000/1045000 1067.95/542.78 c cleaning 9622 clauses out of 49651 with flag 1055000/1055000 1075.24/546.66 c cleaning 9775 clauses out of 50030 with flag 1065001/1065001 1084.78/551.50 c cleaning 9609 clauses out of 50258 with flag 1075004/1075004 1092.07/555.35 c cleaning 9524 clauses out of 50645 with flag 1085000/1085000 1100.54/559.76 c cleaning 9733 clauses out of 51121 with flag 1095001/1095001 1110.18/564.89 c cleaning 9536 clauses out of 51391 with flag 1105004/1105004 1120.89/570.35 c cleaning 9889 clauses out of 51850 with flag 1115000/1115000 1131.18/575.66 c cleaning 9672 clauses out of 51962 with flag 1125001/1125001 1149.98/585.10 c cleaning 9861 clauses out of 52290 with flag 1135001/1135001 1171.72/596.23 c cleaning 9685 clauses out of 52428 with flag 1145000/1145000 1187.47/604.20 c cleaning 9918 clauses out of 52745 with flag 1155002/1155002 1211.86/616.51 c cleaning 9834 clauses out of 52828 with flag 1165003/1165003 1255.79/638.56 c cleaning 9875 clauses out of 52992 with flag 1175001/1175001 1283.94/652.85 c cleaning 9946 clauses out of 53117 with flag 1185001/1185001 1312.62/667.29 c cleaning 9851 clauses out of 53172 with flag 1195002/1195002 1333.76/677.94 c cleaning 9927 clauses out of 53319 with flag 1205000/1205000 1351.11/686.80 c cleaning 9777 clauses out of 53395 with flag 1215003/1215003 1360.96/691.93 c cleaning 9815 clauses out of 53615 with flag 1225000/1225000 1393.80/708.46 c cleaning 10096 clauses out of 53804 with flag 1235004/1235004 1405.05/714.22 c cleaning 9747 clauses out of 53706 with flag 1245002/1245002 1423.02/723.38 c cleaning 9834 clauses out of 53958 with flag 1255001/1255001 1433.03/728.68 c cleaning 9761 clauses out of 54125 with flag 1265002/1265002 1448.58/736.53 c cleaning 9620 clauses out of 54364 with flag 1275002/1275002 1462.05/743.49 c cleaning 10008 clauses out of 54742 with flag 1285000/1285000 1473.34/749.29 c cleaning 9678 clauses out of 54735 with flag 1295001/1295001 1488.60/757.18 c cleaning 9873 clauses out of 55057 with flag 1305001/1305001 1495.65/760.87 c And the winner is Resolution 1497.54/763.10 c starts : 189 1497.54/763.10 c conflicts : 1309134 1497.54/763.10 c decisions : 15076671 1497.54/763.10 c propagations : 462996260 1497.54/763.10 c inspects : 1294683240 1497.54/763.10 c learnt literals : 82 1497.54/763.10 c learnt binary clauses : 37466 1497.54/763.10 c learnt ternary clauses : 51353 1497.54/763.10 c learnt clauses : 1309052 1497.54/763.10 c ignored clauses : 0 1497.54/763.10 c root simplifications : 0 1497.54/763.10 c removed literals (reason simplification) : 28482149 1497.54/763.10 c reason swapping (by a shorter reason) : 0 1497.54/763.10 c Calls to reduceDB : 132 1497.54/763.10 c number of reductions to clauses (during analyze) : 0 1497.54/763.10 c number of learned constraints concerned by reduction : 0 1497.54/763.10 c number of learning phase by resolution : 0 1497.54/763.10 c number of learning phase by cutting planes : 0 1497.54/763.10 c speed (assignments/second) : 607099.1310413736 1497.54/763.10 c non guided choices 7812 1497.54/763.12 c learnt constraints type 1497.54/763.12 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11851 1497.54/763.12 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 37466 1497.54/763.12 c constraints type 1497.54/763.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5781 1497.54/763.12 c org.sat4j.minisat.constraints.card.MinWatchCard => 103 1497.54/763.12 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1326 1497.54/763.12 c constraints type 1497.54/763.12 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1326 1497.54/763.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5781 1497.54/763.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 103 1497.54/763.12 s SATISFIABLE 1497.54/763.13 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 1497.54/763.14 c Total wall clock time (in seconds): 763.032
OK 0
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-3742184-1338785427/watcher-3742184-1338785427 -o /tmp/evaluation-result-3742184-1338785427/solver-3742184-1338785427 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742184-1338785427.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.65 3.84 3.81 4/198 18571 /proc/meminfo: memFree=28573136/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/18571/stat : 18571 (java6) D 18569 18571 17860 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 344668116 9515008 182 33554432000 1073741824 1073778376 140734350954672 140734350945704 214537420469 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/18571/statm: 2323 182 140 9 0 71 0 [startup+0.0675181 s] /proc/loadavg: 3.65 3.84 3.81 4/198 18571 /proc/meminfo: memFree=28573136/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2699928 CPUtime=0.04 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 3901 0 1 0 3 1 0 0 20 0 18 0 344668116 2764726272 5108 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 674982 5108 1757 9 0 665676 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2699928 [startup+0.100208 s] /proc/loadavg: 3.65 3.84 3.81 4/198 18571 /proc/meminfo: memFree=28573136/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2699928 CPUtime=0.09 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 4806 0 1 0 8 1 0 0 20 0 18 0 344668116 2764726272 5990 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 674982 5990 2109 9 0 665676 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2699928 [startup+0.300169 s] /proc/loadavg: 3.65 3.84 3.81 4/198 18571 /proc/meminfo: memFree=28573136/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2699928 CPUtime=0.57 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 7530 0 1 0 56 1 0 0 20 0 18 0 344668116 2764726272 10388 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 674982 10388 2221 9 0 665676 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 2699928 [startup+0.700178 s] /proc/loadavg: 3.65 3.84 3.81 4/198 18571 /proc/meminfo: memFree=28573136/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2966184 CPUtime=1.92 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 13232 0 1 0 189 3 0 0 20 0 22 0 344668116 3037372416 21333 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 741546 21333 2254 9 0 732240 0 Current children cumulated CPU time (s) 1.92 Current children cumulated vsize (KiB) 2966184 [startup+1.50073 s] /proc/loadavg: 3.65 3.84 3.81 7/220 18593 /proc/meminfo: memFree=28485712/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2966184 CPUtime=4.02 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 15831 0 1 0 396 6 0 0 20 0 22 0 344668116 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 741546 65977 2259 9 0 732240 0 [pid=18571/tid=18573] ppid=18569 vsize=2966184 CPUtime=0.43 cores=0,2,4,6 /proc/18571/task/18573/stat : 18573 (java) S 18569 18571 17860 0 -1 4202560 2868 0 1 0 42 1 0 0 20 0 22 0 344668117 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793468716184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18574] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18574/stat : 18574 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793402665640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18575] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18575/stat : 18575 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793333742376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18576] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18576/stat : 18576 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793332689832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18577] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18577/stat : 18577 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793331637288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18578] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18578/stat : 18578 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793330583720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18579] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18579/stat : 18579 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793329531176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18580] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18580/stat : 18580 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793328478632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18581] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18581/stat : 18581 (java) S 18569 18571 17860 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793327426088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18582] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18582/stat : 18582 (java) S 18569 18571 17860 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344668119 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793315228264 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18583] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18583/stat : 18583 (java) S 18569 18571 17860 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344668120 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793314174584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18584] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18584/stat : 18584 (java) S 18569 18571 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344668120 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793313121928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18585] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18585/stat : 18585 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668122 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793312070672 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18586] ppid=18569 vsize=2966184 CPUtime=0.71 cores=0,2,4,6 /proc/18571/task/18586/stat : 18586 (java) S 18569 18571 17860 0 -1 4202560 6808 0 0 0 71 0 0 0 20 0 22 0 344668122 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793311017016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18587] ppid=18569 vsize=2966184 CPUtime=0.78 cores=0,2,4,6 /proc/18571/task/18587/stat : 18587 (java) S 18569 18571 17860 0 -1 4202560 4765 0 0 0 78 0 0 0 20 0 22 0 344668122 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793309964472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18588] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18588/stat : 18588 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668122 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793308912120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18589] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18589/stat : 18589 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668122 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793307859784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18590] ppid=18569 vsize=2966184 CPUtime=1.01 cores=0,2,4,6 /proc/18571/task/18590/stat : 18590 (java) R 18569 18571 17860 0 -1 4202560 27 0 0 0 101 0 0 0 20 0 22 0 344668163 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793306776568 139793409176696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18591] ppid=18569 vsize=2966184 CPUtime=1.01 cores=0,2,4,6 /proc/18571/task/18591/stat : 18591 (java) R 18569 18571 17860 0 -1 4202560 159 0 0 0 99 2 0 0 20 0 22 0 344668163 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793305721592 139793409025448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18592] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18592/stat : 18592 (java) S 18569 18571 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344668165 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793304671784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18593] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18593/stat : 18593 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344668165 3037372416 65977 33554432000 1073741824 1073778376 140734059263792 139793303619240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.02 Current children cumulated vsize (KiB) 2966184 [startup+3.10082 s] /proc/loadavg: 3.65 3.84 3.81 5/220 18593 /proc/meminfo: memFree=28167652/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2966184 CPUtime=7.5 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 17584 0 1 0 741 9 0 0 20 0 22 0 344668116 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 741546 103427 2284 9 0 732240 0 [pid=18571/tid=18573] ppid=18569 vsize=2966184 CPUtime=0.43 cores=0,2,4,6 /proc/18571/task/18573/stat : 18573 (java) S 18569 18571 17860 0 -1 4202560 2868 0 1 0 42 1 0 0 20 0 22 0 344668117 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793468716184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18574] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18574/stat : 18574 (java) S 18569 18571 17860 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793402665640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18575] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18575/stat : 18575 (java) S 18569 18571 17860 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793333742376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18576] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18576/stat : 18576 (java) S 18569 18571 17860 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793332689832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18577] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18577/stat : 18577 (java) S 18569 18571 17860 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793331637288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18578] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18578/stat : 18578 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793330583720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18579] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18579/stat : 18579 (java) S 18569 18571 17860 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793329531176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18580] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18580/stat : 18580 (java) S 18569 18571 17860 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793328478632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18581] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18581/stat : 18581 (java) S 18569 18571 17860 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793327426088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18582] ppid=18569 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/18571/task/18582/stat : 18582 (java) S 18569 18571 17860 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 22 0 344668119 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793315228264 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18583] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18583/stat : 18583 (java) S 18569 18571 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344668120 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793314174584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18584] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18584/stat : 18584 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344668120 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793313121928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18585] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18585/stat : 18585 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668122 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793312070672 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18586] ppid=18569 vsize=2966184 CPUtime=0.84 cores=0,2,4,6 /proc/18571/task/18586/stat : 18586 (java) S 18569 18571 17860 0 -1 4202560 8393 0 0 0 82 2 0 0 20 0 22 0 344668122 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793311017016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18587] ppid=18569 vsize=2966184 CPUtime=0.92 cores=0,2,4,6 /proc/18571/task/18587/stat : 18587 (java) S 18569 18571 17860 0 -1 4202560 4787 0 0 0 92 0 0 0 20 0 22 0 344668122 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793309964472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18588] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18588/stat : 18588 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668122 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793308912120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18589] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18589/stat : 18589 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668122 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793307859784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18590] ppid=18569 vsize=2966184 CPUtime=2.55 cores=0,2,4,6 /proc/18571/task/18590/stat : 18590 (java) R 18569 18571 17860 0 -1 4202560 28 0 0 0 255 0 0 0 20 0 22 0 344668163 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793306776448 139793409210834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18591] ppid=18569 vsize=2966184 CPUtime=2.56 cores=0,2,4,6 /proc/18571/task/18591/stat : 18591 (java) R 18569 18571 17860 0 -1 4202560 220 0 0 0 251 5 0 0 20 0 22 0 344668163 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793305722648 139793409025633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18592] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18592/stat : 18592 (java) S 18569 18571 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344668165 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793304671784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18593] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18593/stat : 18593 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344668165 3037372416 103427 33554432000 1073741824 1073778376 140734059263792 139793303619240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.5 Current children cumulated vsize (KiB) 2966184 [startup+6.30081 s] /proc/loadavg: 3.68 3.84 3.81 5/220 18593 /proc/meminfo: memFree=28162996/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2966184 CPUtime=14.03 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 19152 0 1 0 1393 10 0 0 20 0 22 0 344668116 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 741546 105264 2284 9 0 732240 0 [pid=18571/tid=18573] ppid=18569 vsize=2966184 CPUtime=0.43 cores=0,2,4,6 /proc/18571/task/18573/stat : 18573 (java) S 18569 18571 17860 0 -1 4202560 2868 0 1 0 42 1 0 0 20 0 22 0 344668117 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793468716184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18574] ppid=18569 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/18571/task/18574/stat : 18574 (java) S 18569 18571 17860 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 344668118 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793402665640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18575] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18575/stat : 18575 (java) S 18569 18571 17860 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793333742376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18576] ppid=18569 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/18571/task/18576/stat : 18576 (java) S 18569 18571 17860 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 344668118 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793332689832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18577] ppid=18569 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/18571/task/18577/stat : 18577 (java) S 18569 18571 17860 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 344668118 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793331637288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18578] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18578/stat : 18578 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793330583720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18579] ppid=18569 vsize=2966184 CPUtime=0.02 cores=0,2,4,6 /proc/18571/task/18579/stat : 18579 (java) S 18569 18571 17860 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 344668118 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793329531176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18580] ppid=18569 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/18571/task/18580/stat : 18580 (java) S 18569 18571 17860 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 344668118 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793328478632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18581] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18581/stat : 18581 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344668118 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793327426088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18582] ppid=18569 vsize=2966184 CPUtime=0.09 cores=0,2,4,6 /proc/18571/task/18582/stat : 18582 (java) S 18569 18571 17860 0 -1 4202560 37 0 0 0 9 0 0 0 20 0 22 0 344668119 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793315228264 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18583] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18583/stat : 18583 (java) S 18569 18571 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344668120 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793314174584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18584] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18584/stat : 18584 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344668120 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793313121928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18585] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18585/stat : 18585 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668122 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793312070672 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18586] ppid=18569 vsize=2966184 CPUtime=0.99 cores=0,2,4,6 /proc/18571/task/18586/stat : 18586 (java) S 18569 18571 17860 0 -1 4202560 9937 0 0 0 97 2 0 0 20 0 22 0 344668122 3037372416 105264 33554432000 1073741824 1073778376 140734059263792 139793311017016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ /proc/18571/task/18581/stat : 18581 (java) S 18569 18571 17860 0 -1 4202560 167 0 0 0 277 6 0 0 20 0 22 0 344668118 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793327426088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18582] ppid=18569 vsize=2966184 CPUtime=34.56 cores=0,2,4,6 /proc/18571/task/18582/stat : 18582 (java) S 18569 18571 17860 0 -1 4202560 117 0 0 0 3437 19 0 0 20 0 22 0 344668119 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793315228264 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18583] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18583/stat : 18583 (java) S 18569 18571 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344668120 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793314174584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18584] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18584/stat : 18584 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344668120 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793313121928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18585] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18585/stat : 18585 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668122 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793312070672 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18586] ppid=18569 vsize=2966184 CPUtime=1.21 cores=0,2,4,6 /proc/18571/task/18586/stat : 18586 (java) S 18569 18571 17860 0 -1 4202560 13371 0 0 0 119 2 0 0 20 0 22 0 344668122 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793311017016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18587] ppid=18569 vsize=2966184 CPUtime=1.18 cores=0,2,4,6 /proc/18571/task/18587/stat : 18587 (java) S 18569 18571 17860 0 -1 4202560 4815 0 0 0 118 0 0 0 20 0 22 0 344668122 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793309964472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18588] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18588/stat : 18588 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344668122 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793308912120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18589] ppid=18569 vsize=2966184 CPUtime=0.23 cores=0,2,4,6 /proc/18571/task/18589/stat : 18589 (java) S 18569 18571 17860 0 -1 4202560 41 0 0 0 9 14 0 0 20 0 22 0 344668122 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793307859784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18590] ppid=18569 vsize=2966184 CPUtime=660.23 cores=0,2,4,6 /proc/18571/task/18590/stat : 18590 (java) R 18569 18571 17860 0 -1 4202560 313 0 0 0 66010 13 0 0 20 0 22 0 344668163 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793306775200 139793409265548 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18591] ppid=18569 vsize=2966184 CPUtime=660.27 cores=0,2,4,6 /proc/18571/task/18591/stat : 18591 (java) R 18569 18571 17860 0 -1 4202560 436 0 0 0 66009 18 0 0 20 0 22 0 344668163 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793305721296 139793409337847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18592] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18592/stat : 18592 (java) S 18569 18571 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344668165 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793304671784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18593] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18593/stat : 18593 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344668165 3037372416 215875 33554432000 1073741824 1073778376 140734059263792 139793303619240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1381.51 Current children cumulated vsize (KiB) 2966184 [startup+762.307 s] /proc/loadavg: 3.94 3.86 3.82 4/218 18683 /proc/meminfo: memFree=27790648/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2966184 CPUtime=1497.54 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 24790 0 1 0 149635 119 0 0 20 0 20 0 344668116 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 741546 215954 2286 9 0 732240 0 [pid=18571/tid=18573] ppid=18569 vsize=2966184 CPUtime=0.46 cores=0,2,4,6 /proc/18571/task/18573/stat : 18573 (java) S 18569 18571 17860 0 -1 4202560 2903 0 1 0 43 3 0 0 20 0 20 0 344668117 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793468716184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18574] ppid=18569 vsize=2966184 CPUtime=3.32 cores=0,2,4,6 /proc/18571/task/18574/stat : 18574 (java) S 18569 18571 17860 0 -1 4202560 207 0 0 0 324 8 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793402665640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18575] ppid=18569 vsize=2966184 CPUtime=3.22 cores=0,2,4,6 /proc/18571/task/18575/stat : 18575 (java) S 18569 18571 17860 0 -1 4202560 205 0 0 0 315 7 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793333742376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18576] ppid=18569 vsize=2966184 CPUtime=3.13 cores=0,2,4,6 /proc/18571/task/18576/stat : 18576 (java) S 18569 18571 17860 0 -1 4202560 184 0 0 0 307 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793332689832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18577] ppid=18569 vsize=2966184 CPUtime=3.19 cores=0,2,4,6 /proc/18571/task/18577/stat : 18577 (java) S 18569 18571 17860 0 -1 4202560 200 0 0 0 313 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793331637288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18578] ppid=18569 vsize=2966184 CPUtime=3.26 cores=0,2,4,6 /proc/18571/task/18578/stat : 18578 (java) S 18569 18571 17860 0 -1 4202560 218 0 0 0 318 8 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793330583720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18579] ppid=18569 vsize=2966184 CPUtime=3.17 cores=0,2,4,6 /proc/18571/task/18579/stat : 18579 (java) S 18569 18571 17860 0 -1 4202560 182 0 0 0 312 5 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793329531176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18580] ppid=18569 vsize=2966184 CPUtime=3.32 cores=0,2,4,6 /proc/18571/task/18580/stat : 18580 (java) S 18569 18571 17860 0 -1 4202560 195 0 0 0 326 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793328478632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18581] ppid=18569 vsize=2966184 CPUtime=3.12 cores=0,2,4,6 /proc/18571/task/18581/stat : 18581 (java) S 18569 18571 17860 0 -1 4202560 170 0 0 0 306 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793327426088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18582] ppid=18569 vsize=2966184 CPUtime=38.27 cores=0,2,4,6 /proc/18571/task/18582/stat : 18582 (java) S 18569 18571 17860 0 -1 4202560 120 0 0 0 3808 19 0 0 20 0 20 0 344668119 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793315228264 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18583] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18583/stat : 18583 (java) S 18569 18571 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344668120 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793314174584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18584] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18584/stat : 18584 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344668120 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793313121928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18585] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18585/stat : 18585 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793312070672 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18586] ppid=18569 vsize=2966184 CPUtime=1.21 cores=0,2,4,6 /proc/18571/task/18586/stat : 18586 (java) S 18569 18571 17860 0 -1 4202560 13371 0 0 0 119 2 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793311017016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18587] ppid=18569 vsize=2966184 CPUtime=1.18 cores=0,2,4,6 /proc/18571/task/18587/stat : 18587 (java) S 18569 18571 17860 0 -1 4202560 4815 0 0 0 118 0 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793309964472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18588] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18588/stat : 18588 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793308912120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18589] ppid=18569 vsize=2966184 CPUtime=0.25 cores=0,2,4,6 /proc/18571/task/18589/stat : 18589 (java) S 18569 18571 17860 0 -1 4202560 45 0 0 0 9 16 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793307859784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18592] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18592/stat : 18592 (java) S 18569 18571 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344668165 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793304671784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18593] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18593/stat : 18593 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344668165 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793303619240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1497.54 Current children cumulated vsize (KiB) 2966184 Solver just ended. Dumping a history of the last processes samples [startup+762.701 s] /proc/loadavg: 3.94 3.86 3.82 4/218 18683 /proc/meminfo: memFree=27790648/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2966184 CPUtime=1497.54 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 24790 0 1 0 149635 119 0 0 20 0 20 0 344668116 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 741546 215954 2286 9 0 732240 0 [pid=18571/tid=18573] ppid=18569 vsize=2966184 CPUtime=0.46 cores=0,2,4,6 /proc/18571/task/18573/stat : 18573 (java) S 18569 18571 17860 0 -1 4202560 2903 0 1 0 43 3 0 0 20 0 20 0 344668117 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793468716184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18574] ppid=18569 vsize=2966184 CPUtime=3.32 cores=0,2,4,6 /proc/18571/task/18574/stat : 18574 (java) S 18569 18571 17860 0 -1 4202560 207 0 0 0 324 8 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793402665640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18575] ppid=18569 vsize=2966184 CPUtime=3.22 cores=0,2,4,6 /proc/18571/task/18575/stat : 18575 (java) S 18569 18571 17860 0 -1 4202560 205 0 0 0 315 7 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793333742376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18576] ppid=18569 vsize=2966184 CPUtime=3.13 cores=0,2,4,6 /proc/18571/task/18576/stat : 18576 (java) S 18569 18571 17860 0 -1 4202560 184 0 0 0 307 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793332689832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18577] ppid=18569 vsize=2966184 CPUtime=3.19 cores=0,2,4,6 /proc/18571/task/18577/stat : 18577 (java) S 18569 18571 17860 0 -1 4202560 200 0 0 0 313 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793331637288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18578] ppid=18569 vsize=2966184 CPUtime=3.26 cores=0,2,4,6 /proc/18571/task/18578/stat : 18578 (java) S 18569 18571 17860 0 -1 4202560 218 0 0 0 318 8 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793330583720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18579] ppid=18569 vsize=2966184 CPUtime=3.17 cores=0,2,4,6 /proc/18571/task/18579/stat : 18579 (java) S 18569 18571 17860 0 -1 4202560 182 0 0 0 312 5 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793329531176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18580] ppid=18569 vsize=2966184 CPUtime=3.32 cores=0,2,4,6 /proc/18571/task/18580/stat : 18580 (java) S 18569 18571 17860 0 -1 4202560 195 0 0 0 326 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793328478632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18581] ppid=18569 vsize=2966184 CPUtime=3.12 cores=0,2,4,6 /proc/18571/task/18581/stat : 18581 (java) S 18569 18571 17860 0 -1 4202560 170 0 0 0 306 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793327426088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18582] ppid=18569 vsize=2966184 CPUtime=38.27 cores=0,2,4,6 /proc/18571/task/18582/stat : 18582 (java) S 18569 18571 17860 0 -1 4202560 120 0 0 0 3808 19 0 0 20 0 20 0 344668119 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793315228264 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18583] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18583/stat : 18583 (java) S 18569 18571 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344668120 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793314174584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18584] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18584/stat : 18584 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344668120 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793313121928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18585] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18585/stat : 18585 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793312070672 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18586] ppid=18569 vsize=2966184 CPUtime=1.21 cores=0,2,4,6 /proc/18571/task/18586/stat : 18586 (java) S 18569 18571 17860 0 -1 4202560 13371 0 0 0 119 2 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793311017016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18587] ppid=18569 vsize=2966184 CPUtime=1.18 cores=0,2,4,6 /proc/18571/task/18587/stat : 18587 (java) S 18569 18571 17860 0 -1 4202560 4815 0 0 0 118 0 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793309964472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18588] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18588/stat : 18588 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793308912120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18589] ppid=18569 vsize=2966184 CPUtime=0.25 cores=0,2,4,6 /proc/18571/task/18589/stat : 18589 (java) S 18569 18571 17860 0 -1 4202560 45 0 0 0 9 16 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793307859784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18592] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18592/stat : 18592 (java) S 18569 18571 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344668165 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793304671784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18593] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18593/stat : 18593 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344668165 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793303619240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1497.54 Current children cumulated vsize (KiB) 2966184 [startup+763.101 s] /proc/loadavg: 3.94 3.86 3.82 4/218 18683 /proc/meminfo: memFree=27790648/32873648 swapFree=7116/7116 [pid=18571] ppid=18569 vsize=2966184 CPUtime=1497.54 cores=0,2,4,6 /proc/18571/stat : 18571 (java) S 18569 18571 17860 0 -1 4202496 24790 0 1 0 149635 119 0 0 20 0 20 0 344668116 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 140734059254928 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18571/statm: 741546 215954 2286 9 0 732240 0 [pid=18571/tid=18573] ppid=18569 vsize=2966184 CPUtime=0.46 cores=0,2,4,6 /proc/18571/task/18573/stat : 18573 (java) S 18569 18571 17860 0 -1 4202560 2903 0 1 0 43 3 0 0 20 0 20 0 344668117 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793468716184 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18574] ppid=18569 vsize=2966184 CPUtime=3.32 cores=0,2,4,6 /proc/18571/task/18574/stat : 18574 (java) S 18569 18571 17860 0 -1 4202560 207 0 0 0 324 8 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793402665640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18575] ppid=18569 vsize=2966184 CPUtime=3.22 cores=0,2,4,6 /proc/18571/task/18575/stat : 18575 (java) S 18569 18571 17860 0 -1 4202560 205 0 0 0 315 7 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793333742376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18576] ppid=18569 vsize=2966184 CPUtime=3.13 cores=0,2,4,6 /proc/18571/task/18576/stat : 18576 (java) S 18569 18571 17860 0 -1 4202560 184 0 0 0 307 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793332689832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18577] ppid=18569 vsize=2966184 CPUtime=3.19 cores=0,2,4,6 /proc/18571/task/18577/stat : 18577 (java) S 18569 18571 17860 0 -1 4202560 200 0 0 0 313 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793331637288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18578] ppid=18569 vsize=2966184 CPUtime=3.26 cores=0,2,4,6 /proc/18571/task/18578/stat : 18578 (java) S 18569 18571 17860 0 -1 4202560 218 0 0 0 318 8 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793330583720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18579] ppid=18569 vsize=2966184 CPUtime=3.17 cores=0,2,4,6 /proc/18571/task/18579/stat : 18579 (java) S 18569 18571 17860 0 -1 4202560 182 0 0 0 312 5 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793329531176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18580] ppid=18569 vsize=2966184 CPUtime=3.32 cores=0,2,4,6 /proc/18571/task/18580/stat : 18580 (java) S 18569 18571 17860 0 -1 4202560 195 0 0 0 326 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793328478632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18581] ppid=18569 vsize=2966184 CPUtime=3.12 cores=0,2,4,6 /proc/18571/task/18581/stat : 18581 (java) S 18569 18571 17860 0 -1 4202560 170 0 0 0 306 6 0 0 20 0 20 0 344668118 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793327426088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18582] ppid=18569 vsize=2966184 CPUtime=38.27 cores=0,2,4,6 /proc/18571/task/18582/stat : 18582 (java) S 18569 18571 17860 0 -1 4202560 120 0 0 0 3808 19 0 0 20 0 20 0 344668119 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793315228264 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18583] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18583/stat : 18583 (java) S 18569 18571 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344668120 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793314174584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18584] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18584/stat : 18584 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344668120 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793313121928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18585] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18585/stat : 18585 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793312070672 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18586] ppid=18569 vsize=2966184 CPUtime=1.21 cores=0,2,4,6 /proc/18571/task/18586/stat : 18586 (java) S 18569 18571 17860 0 -1 4202560 13371 0 0 0 119 2 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793311017016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18571/tid=18587] ppid=18569 vsize=2966184 CPUtime=1.18 cores=0,2,4,6 /proc/18571/task/18587/stat : 18587 (java) S 18569 18571 17860 0 -1 4202560 4815 0 0 0 118 0 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793309964472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18571/tid=18588] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18588/stat : 18588 (java) S 18569 18571 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793308912120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18571/tid=18589] ppid=18569 vsize=2966184 CPUtime=0.25 cores=0,2,4,6 /proc/18571/task/18589/stat : 18589 (java) S 18569 18571 17860 0 -1 4202560 45 0 0 0 9 16 0 0 20 0 20 0 344668122 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793307859784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18592] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18592/stat : 18592 (java) S 18569 18571 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344668165 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793304671784 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18571/tid=18593] ppid=18569 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18571/task/18593/stat : 18593 (java) S 18569 18571 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344668165 3037372416 215954 33554432000 1073741824 1073778376 140734059263792 139793303619240 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1497.54 Current children cumulated vsize (KiB) 2966184 Child status: 10 Real time (s): 763.15 CPU time (s): 1497.89 CPU user time (s): 1496.49 CPU system time (s): 1.39279 CPU usage (%): 196.277 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1496.49 system time used= 1.39279 maximum resident set size= 863840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24796 page faults= 1 swaps= 0 block input operations= 0 block output operations= 840 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33142 involuntary context switches= 53763 runsolver used 3.2885 second user time and 7.09992 second system time The end
Begin job on node127 at 2012-06-04 06:50:27 IDJOB=3742184 IDBENCH=90138 IDSOLVER=2324 FILE ID=node127/3742184-1338785427 RUNJOBID= node127-1338781344-17876 PBS_JOBID= 14636831 Free space on /tmp= 70484 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K103.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742184-1338785427/watcher-3742184-1338785427 -o /tmp/evaluation-result-3742184-1338785427/solver-3742184-1338785427 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742184-1338785427.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 34d84c84a6977bf98000135522032f88 RANDOM SEED=1485220013 node127.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.348 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.69 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.348 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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 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.348 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: 32873648 kB MemFree: 28573664 kB Buffers: 427888 kB Cached: 2118348 kB SwapCached: 1428 kB Active: 1914292 kB Inactive: 1497624 kB Active(anon): 859404 kB Inactive(anon): 7952 kB Active(file): 1054888 kB Inactive(file): 1489672 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67104508 kB Dirty: 468 kB Writeback: 0 kB AnonPages: 874580 kB Mapped: 19012 kB Shmem: 92 kB Slab: 747120 kB SReclaimable: 191204 kB SUnreclaim: 555916 kB KernelStack: 1640 kB PageTables: 5980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1571704 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 827392 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70480 MiB End job on node127 at 2012-06-04 07:03:10