Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | OPT | 1666.04 | 855.624 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_2_mh.opb |
| MD5SUM | ebd57823bd571ff5d4e153dfd450b6f7 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5950590 |
| Best CPU time to get the best result obtained on this benchmark | 113.64 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6810 |
| Total number of constraints | 15202 |
| Number of constraints which are clauses | 11580 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 3795 |
| Biggest coefficient in the objective function | 74088000 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3666159515 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 74088000 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3666159515 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.2.0.v20100531 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 1349517296 0.00/0.08 c Max memory 1356595200 0.00/0.08 c Total memory 1356595200 0.00/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-3744154-1338804432.opb 0.09/0.11 c reading problem ... 1.09/0.52 c ... done. Wall clock time 0.405s. 1.09/0.52 c #vars 6810 1.09/0.52 c #constraints 15668 1.09/0.52 c constraints type 1.09/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1.09/0.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.09/0.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1.09/0.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1.09/0.52 c constraints type 1.09/0.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 1.09/0.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 1.09/0.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.09/0.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1.79/0.76 c And the winner is Resolution 2.16/1.53 c SATISFIABLE 2.16/1.53 c OPTIMIZING... 2.16/1.53 c Got one! Elapsed wall clock time (in seconds):1.424 2.16/1.54 o 6031626 2.38/1.62 c And the winner is Resolution 2.62/2.57 c Got one! Elapsed wall clock time (in seconds):2.455 2.62/2.57 o 6027614 2.75/2.60 c And the winner is Resolution 2.78/3.59 c Got one! Elapsed wall clock time (in seconds):3.478 2.78/3.59 o 5994087 10.00/6.94 c cleaning 2495 clauses out of 4992 with flag 5002/5002 14.98/9.33 c cleaning 4242 clauses out of 8494 with flag 11001/11001 20.76/12.21 c cleaning 5624 clauses out of 11252 with flag 18001/18001 27.08/15.39 c cleaning 6805 clauses out of 13627 with flag 26000/26000 34.73/19.18 c cleaning 7904 clauses out of 15821 with flag 35000/35000 42.38/22.99 c cleaning 8956 clauses out of 17918 with flag 45001/45001 50.15/26.88 c cleaning 9973 clauses out of 19961 with flag 56000/56000 59.35/31.45 c cleaning 10983 clauses out of 21989 with flag 68001/68001 69.14/36.30 c cleaning 11995 clauses out of 24008 with flag 81003/81003 79.48/41.52 c cleaning 13002 clauses out of 26011 with flag 95001/95001 91.65/47.60 c cleaning 13995 clauses out of 28009 with flag 110001/110001 92.40/48.10 c And the winner is CuttingPlanes 92.43/48.67 c Got one! Elapsed wall clock time (in seconds):48.562 92.43/48.67 o 5989695 104.54/54.77 c cleaning 15000 clauses out of 30013 with flag 126000/126000 116.88/60.99 c cleaning 15497 clauses out of 31013 with flag 142000/142000 129.04/67.04 c cleaning 15749 clauses out of 31516 with flag 158000/158000 142.99/74.06 c cleaning 15876 clauses out of 31769 with flag 174002/174002 155.00/80.04 c cleaning 15942 clauses out of 31891 with flag 190000/190000 167.00/86.05 c cleaning 15962 clauses out of 31949 with flag 206000/206000 180.00/92.55 c cleaning 15985 clauses out of 31990 with flag 222003/222003 191.53/98.38 c cleaning 15991 clauses out of 32002 with flag 238000/238000 195.64/100.42 c And the winner is Resolution 197.33/102.70 c Got one! Elapsed wall clock time (in seconds):102.592 197.33/102.70 o 5971357 203.95/106.07 c cleaning 16002 clauses out of 32014 with flag 254003/254003 215.05/111.61 c cleaning 15995 clauses out of 32011 with flag 270002/270002 227.65/117.91 c cleaning 15998 clauses out of 32014 with flag 286000/286000 236.62/122.47 c And the winner is Resolution 240.01/126.74 c Got one! Elapsed wall clock time (in seconds):126.625 240.01/126.74 o 5964753 241.95/127.76 c cleaning 15994 clauses out of 32016 with flag 302000/302000 253.51/133.51 c cleaning 16004 clauses out of 32022 with flag 318000/318000 266.96/140.35 c cleaning 15999 clauses out of 32020 with flag 334002/334002 280.38/147.07 c cleaning 16002 clauses out of 32020 with flag 350001/350001 293.33/153.56 c cleaning 16006 clauses out of 32018 with flag 366001/366001 305.31/159.50 c cleaning 15996 clauses out of 32013 with flag 382002/382002 317.40/165.67 c cleaning 16000 clauses out of 32015 with flag 398000/398000 329.66/171.83 c cleaning 16003 clauses out of 32014 with flag 414000/414000 340.95/177.52 c cleaning 15994 clauses out of 32012 with flag 430001/430001 351.89/183.09 c cleaning 16000 clauses out of 32020 with flag 446003/446003 364.20/189.23 c cleaning 15998 clauses out of 32017 with flag 462000/462000 375.69/195.06 c cleaning 15997 clauses out of 32020 with flag 478001/478001 387.29/200.81 c cleaning 15999 clauses out of 32022 with flag 494000/494000 399.04/206.78 c cleaning 15996 clauses out of 32023 with flag 510000/510000 410.72/212.65 c cleaning 16008 clauses out of 32028 with flag 526001/526001 423.53/219.09 c cleaning 16005 clauses out of 32019 with flag 542000/542000 435.25/224.90 c cleaning 16001 clauses out of 32014 with flag 558000/558000 446.36/230.55 c cleaning 15999 clauses out of 32013 with flag 574000/574000 458.26/236.54 c cleaning 16000 clauses out of 32015 with flag 590001/590001 470.95/242.94 c cleaning 15997 clauses out of 32015 with flag 606001/606001 482.65/248.80 c cleaning 16005 clauses out of 32019 with flag 622002/622002 494.17/254.67 c cleaning 16001 clauses out of 32014 with flag 638002/638002 505.60/260.42 c cleaning 15999 clauses out of 32012 with flag 654001/654001 518.14/266.73 c cleaning 15991 clauses out of 32012 with flag 670000/670000 520.20/267.83 c And the winner is Resolution 524.35/273.10 c Got one! Elapsed wall clock time (in seconds):272.989 524.35/273.10 o 5964085 531.43/276.64 c cleaning 15997 clauses out of 32022 with flag 686001/686001 540.74/281.38 c cleaning 16001 clauses out of 32024 with flag 702000/702000 546.94/284.58 c And the winner is Resolution 547.91/286.12 c Got one! Elapsed wall clock time (in seconds):286.007 547.91/286.12 o 5961789 551.48/287.96 c cleaning 16000 clauses out of 32023 with flag 718000/718000 560.18/292.34 c cleaning 15999 clauses out of 32023 with flag 734000/734000 569.08/296.84 c cleaning 16004 clauses out of 32026 with flag 750002/750002 582.95/303.80 c cleaning 16003 clauses out of 32022 with flag 766002/766002 595.93/310.45 c cleaning 16002 clauses out of 32019 with flag 782002/782002 608.86/316.94 c cleaning 15993 clauses out of 32016 with flag 798001/798001 621.72/323.49 c cleaning 15994 clauses out of 32022 with flag 814000/814000 633.99/329.68 c cleaning 16008 clauses out of 32029 with flag 830001/830001 646.83/336.19 c cleaning 15999 clauses out of 32024 with flag 846004/846004 659.89/342.75 c cleaning 16002 clauses out of 32023 with flag 862002/862002 673.01/349.34 c cleaning 15998 clauses out of 32019 with flag 878000/878000 685.88/355.88 c cleaning 16001 clauses out of 32021 with flag 894000/894000 699.32/362.63 c cleaning 16001 clauses out of 32020 with flag 910000/910000 711.59/368.82 c cleaning 16005 clauses out of 32019 with flag 926000/926000 722.68/374.48 c cleaning 16000 clauses out of 32013 with flag 942000/942000 735.37/380.81 c cleaning 16004 clauses out of 32016 with flag 958003/958003 747.77/387.12 c cleaning 15996 clauses out of 32010 with flag 974001/974001 759.26/392.98 c cleaning 15998 clauses out of 32013 with flag 990000/990000 771.39/399.05 c cleaning 16004 clauses out of 32015 with flag 1006000/1006000 776.06/401.50 c And the winner is Resolution 775.87/402.31 c Got one! Elapsed wall clock time (in seconds):402.196 775.87/402.31 o 5950590 780.74/404.73 c cleaning 16004 clauses out of 32013 with flag 1022002/1022002 789.32/409.13 c cleaning 15990 clauses out of 32007 with flag 1038000/1038000 797.98/413.51 c cleaning 15999 clauses out of 32019 with flag 1054002/1054002 809.49/419.37 c cleaning 16005 clauses out of 32021 with flag 1070003/1070003 822.46/425.81 c cleaning 15998 clauses out of 32015 with flag 1086002/1086002 834.42/431.97 c cleaning 15998 clauses out of 32015 with flag 1102000/1102000 846.71/438.13 c cleaning 16001 clauses out of 32016 with flag 1118000/1118000 858.42/444.09 c cleaning 15998 clauses out of 32014 with flag 1134000/1134000 870.15/449.97 c cleaning 16003 clauses out of 32017 with flag 1150001/1150001 881.70/455.87 c cleaning 15992 clauses out of 32014 with flag 1166001/1166001 893.52/461.87 c cleaning 15998 clauses out of 32021 with flag 1182000/1182000 904.98/467.63 c cleaning 16007 clauses out of 32023 with flag 1198000/1198000 917.06/473.75 c cleaning 15999 clauses out of 32016 with flag 1214001/1214001 930.02/480.40 c cleaning 15995 clauses out of 32016 with flag 1230000/1230000 942.50/486.70 c cleaning 16003 clauses out of 32021 with flag 1246000/1246000 955.81/493.37 c cleaning 15998 clauses out of 32018 with flag 1262000/1262000 968.34/499.67 c cleaning 16005 clauses out of 32022 with flag 1278002/1278002 980.96/506.09 c cleaning 15987 clauses out of 32015 with flag 1294000/1294000 993.46/512.33 c cleaning 16013 clauses out of 32028 with flag 1310000/1310000 1005.70/518.51 c cleaning 16004 clauses out of 32016 with flag 1326001/1326001 1018.03/524.71 c cleaning 15989 clauses out of 32011 with flag 1342000/1342000 1031.39/531.59 c cleaning 16000 clauses out of 32022 with flag 1358000/1358000 1044.48/538.18 c cleaning 16001 clauses out of 32024 with flag 1374002/1374002 1056.35/544.14 c cleaning 15997 clauses out of 32022 with flag 1390001/1390001 1069.25/550.63 c cleaning 16006 clauses out of 32025 with flag 1406001/1406001 1082.40/557.36 c cleaning 15996 clauses out of 32018 with flag 1422000/1422000 1094.05/563.30 c cleaning 16002 clauses out of 32022 with flag 1438000/1438000 1106.75/569.66 c cleaning 16003 clauses out of 32021 with flag 1454001/1454001 1117.84/575.30 c cleaning 16002 clauses out of 32016 with flag 1470000/1470000 1129.33/581.15 c cleaning 16001 clauses out of 32014 with flag 1486000/1486000 1140.78/586.97 c cleaning 15995 clauses out of 32014 with flag 1502001/1502001 1153.39/593.30 c cleaning 16001 clauses out of 32018 with flag 1518000/1518000 1165.21/599.38 c cleaning 16004 clauses out of 32019 with flag 1534002/1534002 1177.15/605.47 c cleaning 15993 clauses out of 32016 with flag 1550003/1550003 1189.39/611.64 c cleaning 15994 clauses out of 32022 with flag 1566002/1566002 1201.65/617.83 c cleaning 16008 clauses out of 32029 with flag 1582003/1582003 1213.68/623.95 c cleaning 16003 clauses out of 32018 with flag 1598000/1598000 1226.15/630.31 c cleaning 15995 clauses out of 32016 with flag 1614001/1614001 1238.72/636.73 c cleaning 15995 clauses out of 32020 with flag 1630000/1630000 1251.55/643.29 c cleaning 16003 clauses out of 32026 with flag 1646001/1646001 1263.77/649.49 c cleaning 15999 clauses out of 32022 with flag 1662000/1662000 1276.46/655.95 c cleaning 16003 clauses out of 32023 with flag 1678000/1678000 1288.26/661.98 c cleaning 16001 clauses out of 32021 with flag 1694001/1694001 1300.48/668.15 c cleaning 16001 clauses out of 32019 with flag 1710000/1710000 1312.77/674.39 c cleaning 16003 clauses out of 32019 with flag 1726001/1726001 1324.82/680.58 c cleaning 16000 clauses out of 32016 with flag 1742001/1742001 1336.25/686.37 c cleaning 16005 clauses out of 32015 with flag 1758000/1758000 1348.26/692.40 c cleaning 15997 clauses out of 32011 with flag 1774001/1774001 1360.14/698.48 c cleaning 16001 clauses out of 32013 with flag 1790000/1790000 1373.05/705.09 c cleaning 16001 clauses out of 32012 with flag 1806000/1806000 1385.74/711.43 c cleaning 15998 clauses out of 32011 with flag 1822000/1822000 1398.61/717.92 c cleaning 16002 clauses out of 32014 with flag 1838001/1838001 1412.29/724.87 c cleaning 15995 clauses out of 32012 with flag 1854001/1854001 1424.24/730.97 c cleaning 15999 clauses out of 32021 with flag 1870005/1870005 1436.90/737.37 c cleaning 16002 clauses out of 32017 with flag 1886000/1886000 1450.34/744.20 c cleaning 15993 clauses out of 32015 with flag 1902000/1902000 1463.40/750.71 c cleaning 15996 clauses out of 32022 with flag 1918000/1918000 1477.14/757.75 c cleaning 16005 clauses out of 32028 with flag 1934002/1934002 1490.40/764.49 c cleaning 16001 clauses out of 32021 with flag 1950000/1950000 1504.76/771.74 c cleaning 16004 clauses out of 32021 with flag 1966001/1966001 1517.81/778.38 c cleaning 15998 clauses out of 32017 with flag 1982001/1982001 1531.30/785.24 c cleaning 16000 clauses out of 32020 with flag 1998002/1998002 1544.91/792.11 c cleaning 16001 clauses out of 32019 with flag 2014001/2014001 1558.77/799.15 c cleaning 15999 clauses out of 32017 with flag 2030000/2030000 1570.99/805.37 c cleaning 15997 clauses out of 32018 with flag 2046000/2046000 1582.94/811.44 c cleaning 16001 clauses out of 32021 with flag 2062000/2062000 1594.72/817.43 c cleaning 16002 clauses out of 32022 with flag 2078002/2078002 1606.80/823.57 c cleaning 16000 clauses out of 32020 with flag 2094002/2094002 1619.01/829.77 c cleaning 16000 clauses out of 32019 with flag 2110001/2110001 1631.85/836.31 c cleaning 15999 clauses out of 32018 with flag 2126001/2126001 1644.51/842.71 c cleaning 15990 clauses out of 32019 with flag 2142001/2142001 1657.40/849.29 c cleaning 16001 clauses out of 32028 with flag 2158001/2158001 1659.95/850.69 c And the winner is Resolution 1662.90/855.59 c starts : 218 1662.90/855.59 c conflicts : 2160809 1662.90/855.59 c decisions : 4457247 1662.90/855.59 c propagations : 499745651 1662.90/855.59 c inspects : 2022854977 1662.90/855.59 c learnt literals : 23 1662.90/855.59 c learnt binary clauses : 613 1662.90/855.59 c learnt ternary clauses : 4949 1662.90/855.59 c learnt clauses : 2160785 1662.90/855.59 c ignored clauses : 0 1662.90/855.59 c root simplifications : 0 1662.90/855.59 c removed literals (reason simplification) : 14711596 1662.90/855.59 c reason swapping (by a shorter reason) : 0 1662.90/855.59 c Calls to reduceDB : 139 1662.90/855.59 c number of reductions to clauses (during analyze) : 0 1662.90/855.59 c number of learned constraints concerned by reduction : 0 1662.90/855.59 c number of learning phase by resolution : 0 1662.90/855.59 c number of learning phase by cutting planes : 0 1662.90/855.59 c speed (assignments/second) : 1102507.3872498516 1662.90/855.59 c non guided choices 1585 1662.90/855.59 c learnt constraints type 1662.90/855.59 c constraints type 1662.90/855.59 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1662.90/855.59 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1662.90/855.59 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1662.90/855.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1662.90/855.60 c constraints type 1662.90/855.60 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 1662.90/855.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 1662.90/855.60 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1662.90/855.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1662.90/855.60 s OPTIMUM FOUND 1663.00/855.61 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 1663.00/855.61 c objective function=5950590 1663.00/855.61 c Total wall clock time (in seconds): 855.502
OK 5950590
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-3744154-1338804432/watcher-3744154-1338804432 -o /tmp/evaluation-result-3744154-1338804432/solver-3744154-1338804432 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744154-1338804432.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.85 3.89 3.29 4/197 18762 /proc/meminfo: memFree=24676552/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/18762/stat : 18762 (java6) D 18760 18762 15509 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 346570463 9515008 176 33554432000 1073741824 1073778376 140733815120640 140733815103368 213866333072 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0 /proc/18762/statm: 2323 176 133 9 0 71 0 [startup+0.0308311 s] /proc/loadavg: 3.85 3.89 3.29 4/197 18762 /proc/meminfo: memFree=24676552/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2158136 CPUtime=0 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 3505 0 1 0 0 0 0 0 20 0 10 0 346570463 2209931264 3692 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 539534 3692 1537 9 0 530235 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2158136 [startup+0.100189 s] /proc/loadavg: 3.85 3.89 3.29 4/197 18762 /proc/meminfo: memFree=24676552/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2699928 CPUtime=0.09 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 4726 0 1 0 8 1 0 0 20 0 18 0 346570463 2764726272 6440 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 674982 6440 2109 9 0 665676 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2699928 [startup+0.30018 s] /proc/loadavg: 3.85 3.89 3.29 4/197 18762 /proc/meminfo: memFree=24676552/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2699928 CPUtime=0.54 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 6106 0 1 0 53 1 0 0 20 0 18 0 346570463 2764726272 10271 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 674982 10271 2228 9 0 665676 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 2699928 [startup+0.700189 s] /proc/loadavg: 3.85 3.89 3.29 4/197 18762 /proc/meminfo: memFree=24676552/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2966184 CPUtime=1.79 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 13936 0 1 0 175 4 0 0 20 0 22 0 346570463 3037372416 27406 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 741546 27406 2256 9 0 732240 0 Current children cumulated CPU time (s) 1.79 Current children cumulated vsize (KiB) 2966184 [startup+1.50072 s] /proc/loadavg: 3.85 3.89 3.29 3/217 18784 /proc/meminfo: memFree=24575996/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2966184 CPUtime=2.16 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 15048 0 1 0 210 6 0 0 20 0 20 0 346570463 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 741546 27298 2259 9 0 732240 0 [pid=18762/tid=18764] ppid=18760 vsize=2966184 CPUtime=0.48 cores=1,3,5,7 /proc/18762/task/18764/stat : 18764 (java) S 18760 18762 15509 0 -1 4202560 2858 0 1 0 46 2 0 0 20 0 20 0 346570464 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961572738200 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18765] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18765/stat : 18765 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961439435560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18766] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18766/stat : 18766 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961438382760 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18767] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18767/stat : 18767 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961437330472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18768] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18768/stat : 18768 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961436277672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18769] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18769/stat : 18769 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961435224360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18770] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18770/stat : 18770 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961434171560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18771] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18771/stat : 18771 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961433119272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18772] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18772/stat : 18772 (java) S 18760 18762 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961432066472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18773] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18773/stat : 18773 (java) S 18760 18762 15509 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961419655912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18774] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18774/stat : 18774 (java) S 18760 18762 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961418601976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18775] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18775/stat : 18775 (java) S 18760 18762 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961417549576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18776] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18776/stat : 18776 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961416498064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18777] ppid=18760 vsize=2966184 CPUtime=0.56 cores=1,3,5,7 /proc/18762/task/18777/stat : 18777 (java) S 18760 18762 15509 0 -1 4202560 6635 0 0 0 55 1 0 0 20 0 20 0 346570470 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961415444664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18778] ppid=18760 vsize=2966184 CPUtime=0.58 cores=1,3,5,7 /proc/18762/task/18778/stat : 18778 (java) S 18760 18762 15509 0 -1 4202560 4254 0 0 0 58 0 0 0 20 0 20 0 346570470 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961414391864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18779] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18779/stat : 18779 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961413339768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18780] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18780/stat : 18780 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961412287176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18783] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18783/stat : 18783 (java) S 18760 18762 15509 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346570525 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961409128104 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18784] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18784/stat : 18784 (java) S 18760 18762 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346570525 3037372416 27298 33554432000 1073741824 1073778376 140733621836464 139961408075304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.16 Current children cumulated vsize (KiB) 2966184 [startup+3.10072 s] /proc/loadavg: 3.85 3.89 3.29 3/217 18786 /proc/meminfo: memFree=24552600/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2966184 CPUtime=2.78 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 18303 0 1 0 268 10 0 0 20 0 20 0 346570463 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 741546 37037 2259 9 0 732240 0 [pid=18762/tid=18764] ppid=18760 vsize=2966184 CPUtime=0.54 cores=1,3,5,7 /proc/18762/task/18764/stat : 18764 (java) S 18760 18762 15509 0 -1 4202560 2862 0 1 0 52 2 0 0 20 0 20 0 346570464 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961572738200 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18765] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18765/stat : 18765 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961439435560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18766] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18766/stat : 18766 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961438382760 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18767] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18767/stat : 18767 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961437330472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18768] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18768/stat : 18768 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961436277672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18769] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18769/stat : 18769 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961435224360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18770] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18770/stat : 18770 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961434171560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18771] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18771/stat : 18771 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961433119272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18772] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18772/stat : 18772 (java) S 18760 18762 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346570465 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961432066472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18773] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18773/stat : 18773 (java) S 18760 18762 15509 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961419655912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18774] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18774/stat : 18774 (java) S 18760 18762 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961418601976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18775] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18775/stat : 18775 (java) S 18760 18762 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961417549576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18776] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18776/stat : 18776 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961416498064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18777] ppid=18760 vsize=2966184 CPUtime=0.7 cores=1,3,5,7 /proc/18762/task/18777/stat : 18777 (java) S 18760 18762 15509 0 -1 4202560 6635 0 0 0 68 2 0 0 20 0 20 0 346570470 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961415444664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18778] ppid=18760 vsize=2966184 CPUtime=0.78 cores=1,3,5,7 /proc/18762/task/18778/stat : 18778 (java) S 18760 18762 15509 0 -1 4202560 7478 0 0 0 77 1 0 0 20 0 20 0 346570470 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961414391864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18779] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18779/stat : 18779 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961413339768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18780] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18780/stat : 18780 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961412287176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18783] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18783/stat : 18783 (java) S 18760 18762 15509 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346570525 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961409128104 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18784] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18784/stat : 18784 (java) S 18760 18762 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346570525 3037372416 37037 33554432000 1073741824 1073778376 140733621836464 139961408075304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 2966184 [startup+6.3008 s] /proc/loadavg: 3.71 3.86 3.29 5/219 18790 /proc/meminfo: memFree=24268608/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2966184 CPUtime=8.76 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 19056 0 1 0 857 19 0 0 20 0 22 0 346570463 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 741546 107384 2274 9 0 732240 0 [pid=18762/tid=18764] ppid=18760 vsize=2966184 CPUtime=0.56 cores=1,3,5,7 /proc/18762/task/18764/stat : 18764 (java) S 18760 18762 15509 0 -1 4202560 2863 0 1 0 54 2 0 0 20 0 22 0 346570464 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961572738216 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18765] ppid=18760 vsize=2966184 CPUtime=0.03 cores=1,3,5,7 /proc/18762/task/18765/stat : 18765 (java) S 18760 18762 15509 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 346570465 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961439435560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18766] ppid=18760 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/18762/task/18766/stat : 18766 (java) S 18760 18762 15509 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 346570465 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961438382760 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18767] ppid=18760 vsize=2966184 CPUtime=0.02 cores=1,3,5,7 /proc/18762/task/18767/stat : 18767 (java) S 18760 18762 15509 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 346570465 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961437330472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18768] ppid=18760 vsize=2966184 CPUtime=0.05 cores=1,3,5,7 /proc/18762/task/18768/stat : 18768 (java) S 18760 18762 15509 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 22 0 346570465 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961436277672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18769] ppid=18760 vsize=2966184 CPUtime=0.01 cores=1,3,5,7 /proc/18762/task/18769/stat : 18769 (java) S 18760 18762 15509 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 346570465 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961435224360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18770] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18770/stat : 18770 (java) S 18760 18762 15509 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346570465 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961434171560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18771] ppid=18760 vsize=2966184 CPUtime=0.04 cores=1,3,5,7 /proc/18762/task/18771/stat : 18771 (java) S 18760 18762 15509 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 346570465 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961433119272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18772] ppid=18760 vsize=2966184 CPUtime=0.03 cores=1,3,5,7 /proc/18762/task/18772/stat : 18772 (java) S 18760 18762 15509 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 346570465 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961432066472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18773] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18773/stat : 18773 (java) S 18760 18762 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346570467 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961419655912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18774] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18774/stat : 18774 (java) S 18760 18762 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346570467 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961418601976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18775] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18775/stat : 18775 (java) S 18760 18762 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346570467 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961417549576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18776] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18776/stat : 18776 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346570470 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961416498064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18777] ppid=18760 vsize=2966184 CPUtime=0.96 cores=1,3,5,7 /proc/18762/task/18777/stat : 18777 (java) S 18760 18762 15509 0 -1 4202560 6635 0 0 0 94 2 0 0 20 0 22 0 346570470 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961415444664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18778] ppid=18760 vsize=2966184 CPUtime=0.99 cores=1,3,5,7 /proc/18762/task/18778/stat : 18778 (java) S 18760 18762 15509 0 -1 4202560 7989 0 0 0 98 1 0 0 20 0 22 0 346570470 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961414391864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18779] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18779/stat : 18779 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346570470 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961413339768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18780] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18780/stat : 18780 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346570470 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961412287176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18783] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18783/stat : 18783 (java) S 18760 18762 15509 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346570525 3037372416 107384 33554432000 1073741824 1073778376 140733621836464 139961409128104 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 ################ # More data... # ################ [pid=18762/tid=18775] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18775/stat : 18775 (java) S 18760 18762 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 346570467 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961417549576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18776] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18776/stat : 18776 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961416498064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18777] ppid=18760 vsize=2966184 CPUtime=1.12 cores=1,3,5,7 /proc/18762/task/18777/stat : 18777 (java) S 18760 18762 15509 0 -1 4202560 6638 0 0 0 110 2 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961415444664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18778] ppid=18760 vsize=2966184 CPUtime=1.61 cores=1,3,5,7 /proc/18762/task/18778/stat : 18778 (java) S 18760 18762 15509 0 -1 4202560 8435 0 0 0 159 2 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961414391864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18779] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18779/stat : 18779 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961413339768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18780] ppid=18760 vsize=2966184 CPUtime=0.34 cores=1,3,5,7 /proc/18762/task/18780/stat : 18780 (java) S 18760 18762 15509 0 -1 4202560 47 0 0 0 15 19 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961412287176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18783] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18783/stat : 18783 (java) S 18760 18762 15509 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 346570525 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961409128104 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18784] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18784/stat : 18784 (java) S 18760 18762 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346570525 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961408075304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18878] ppid=18760 vsize=2966184 CPUtime=424.2 cores=1,3,5,7 /proc/18762/task/18878/stat : 18878 (java) R 18760 18762 15509 0 -1 4202560 457 0 0 0 42412 8 0 0 20 0 21 0 346610695 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961410177904 139961512900702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1662.88 Current children cumulated vsize (KiB) 2966184 [startup+855.101 s] /proc/loadavg: 3.89 3.88 3.62 4/218 18883 /proc/meminfo: memFree=23830236/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2966184 CPUtime=1662.6 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 25217 0 1 0 166025 235 0 0 20 0 20 0 346570463 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 741546 209746 2288 9 0 732240 0 [pid=18762/tid=18764] ppid=18760 vsize=2966184 CPUtime=0.68 cores=1,3,5,7 /proc/18762/task/18764/stat : 18764 (java) S 18760 18762 15509 0 -1 4202560 2890 0 1 0 65 3 0 0 20 0 20 0 346570464 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961572738200 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18765] ppid=18760 vsize=2966184 CPUtime=4.5 cores=1,3,5,7 /proc/18762/task/18765/stat : 18765 (java) S 18760 18762 15509 0 -1 4202560 318 0 0 0 442 8 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961439435560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18766] ppid=18760 vsize=2966184 CPUtime=4.54 cores=1,3,5,7 /proc/18762/task/18766/stat : 18766 (java) S 18760 18762 15509 0 -1 4202560 319 0 0 0 444 10 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961438382760 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18767] ppid=18760 vsize=2966184 CPUtime=4.56 cores=1,3,5,7 /proc/18762/task/18767/stat : 18767 (java) S 18760 18762 15509 0 -1 4202560 317 0 0 0 447 9 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961437330472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18768] ppid=18760 vsize=2966184 CPUtime=4.76 cores=1,3,5,7 /proc/18762/task/18768/stat : 18768 (java) S 18760 18762 15509 0 -1 4202560 334 0 0 0 467 9 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961436277672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18769] ppid=18760 vsize=2966184 CPUtime=4.62 cores=1,3,5,7 /proc/18762/task/18769/stat : 18769 (java) S 18760 18762 15509 0 -1 4202560 327 0 0 0 454 8 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961435224360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18770] ppid=18760 vsize=2966184 CPUtime=4.53 cores=1,3,5,7 /proc/18762/task/18770/stat : 18770 (java) S 18760 18762 15509 0 -1 4202560 314 0 0 0 445 8 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961434171560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18771] ppid=18760 vsize=2966184 CPUtime=4.49 cores=1,3,5,7 /proc/18762/task/18771/stat : 18771 (java) S 18760 18762 15509 0 -1 4202560 333 0 0 0 440 9 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961433119272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18772] ppid=18760 vsize=2966184 CPUtime=4.7 cores=1,3,5,7 /proc/18762/task/18772/stat : 18772 (java) S 18760 18762 15509 0 -1 4202560 339 0 0 0 460 10 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961432066472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18773] ppid=18760 vsize=2966184 CPUtime=29 cores=1,3,5,7 /proc/18762/task/18773/stat : 18773 (java) S 18760 18762 15509 0 -1 4202560 1358 0 0 0 2807 93 0 0 20 0 20 0 346570467 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961419655912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18774] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18774/stat : 18774 (java) S 18760 18762 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961418601976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18775] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18775/stat : 18775 (java) S 18760 18762 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961417549576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18776] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18776/stat : 18776 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961416498064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18777] ppid=18760 vsize=2966184 CPUtime=1.12 cores=1,3,5,7 /proc/18762/task/18777/stat : 18777 (java) S 18760 18762 15509 0 -1 4202560 6638 0 0 0 110 2 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961415444664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18778] ppid=18760 vsize=2966184 CPUtime=1.61 cores=1,3,5,7 /proc/18762/task/18778/stat : 18778 (java) S 18760 18762 15509 0 -1 4202560 8435 0 0 0 159 2 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961414391864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18779] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18779/stat : 18779 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961413339768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18780] ppid=18760 vsize=2966184 CPUtime=0.34 cores=1,3,5,7 /proc/18762/task/18780/stat : 18780 (java) S 18760 18762 15509 0 -1 4202560 47 0 0 0 15 19 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961412287176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18783] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18783/stat : 18783 (java) S 18760 18762 15509 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346570525 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961409128104 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18784] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18784/stat : 18784 (java) S 18760 18762 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346570525 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961408075304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1662.6 Current children cumulated vsize (KiB) 2966184 [startup+855.501 s] /proc/loadavg: 3.89 3.88 3.62 4/218 18883 /proc/meminfo: memFree=23830236/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2966184 CPUtime=1662.9 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 25218 0 1 0 166055 235 0 0 20 0 20 0 346570463 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 741546 209746 2288 9 0 732240 0 [pid=18762/tid=18764] ppid=18760 vsize=2966184 CPUtime=0.98 cores=1,3,5,7 /proc/18762/task/18764/stat : 18764 (java) R 18760 18762 15509 0 -1 4202560 2890 0 1 0 94 4 0 0 20 0 20 0 346570464 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961572737816 139961513564401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18765] ppid=18760 vsize=2966184 CPUtime=4.5 cores=1,3,5,7 /proc/18762/task/18765/stat : 18765 (java) S 18760 18762 15509 0 -1 4202560 318 0 0 0 442 8 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961439435560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18766] ppid=18760 vsize=2966184 CPUtime=4.54 cores=1,3,5,7 /proc/18762/task/18766/stat : 18766 (java) S 18760 18762 15509 0 -1 4202560 319 0 0 0 444 10 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961438382760 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18767] ppid=18760 vsize=2966184 CPUtime=4.56 cores=1,3,5,7 /proc/18762/task/18767/stat : 18767 (java) S 18760 18762 15509 0 -1 4202560 317 0 0 0 447 9 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961437330472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18768] ppid=18760 vsize=2966184 CPUtime=4.76 cores=1,3,5,7 /proc/18762/task/18768/stat : 18768 (java) S 18760 18762 15509 0 -1 4202560 334 0 0 0 467 9 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961436277672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18769] ppid=18760 vsize=2966184 CPUtime=4.62 cores=1,3,5,7 /proc/18762/task/18769/stat : 18769 (java) S 18760 18762 15509 0 -1 4202560 327 0 0 0 454 8 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961435224360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18770] ppid=18760 vsize=2966184 CPUtime=4.53 cores=1,3,5,7 /proc/18762/task/18770/stat : 18770 (java) S 18760 18762 15509 0 -1 4202560 314 0 0 0 445 8 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961434171560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18771] ppid=18760 vsize=2966184 CPUtime=4.49 cores=1,3,5,7 /proc/18762/task/18771/stat : 18771 (java) S 18760 18762 15509 0 -1 4202560 333 0 0 0 440 9 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961433119272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18772] ppid=18760 vsize=2966184 CPUtime=4.7 cores=1,3,5,7 /proc/18762/task/18772/stat : 18772 (java) S 18760 18762 15509 0 -1 4202560 339 0 0 0 460 10 0 0 20 0 20 0 346570465 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961432066472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18773] ppid=18760 vsize=2966184 CPUtime=29 cores=1,3,5,7 /proc/18762/task/18773/stat : 18773 (java) S 18760 18762 15509 0 -1 4202560 1358 0 0 0 2807 93 0 0 20 0 20 0 346570467 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961419655912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18774] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18774/stat : 18774 (java) S 18760 18762 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961418601976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18775] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18775/stat : 18775 (java) S 18760 18762 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346570467 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961417549576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18776] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18776/stat : 18776 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961416498064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18777] ppid=18760 vsize=2966184 CPUtime=1.12 cores=1,3,5,7 /proc/18762/task/18777/stat : 18777 (java) S 18760 18762 15509 0 -1 4202560 6638 0 0 0 110 2 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961415444664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18778] ppid=18760 vsize=2966184 CPUtime=1.62 cores=1,3,5,7 /proc/18762/task/18778/stat : 18778 (java) S 18760 18762 15509 0 -1 4202560 8436 0 0 0 160 2 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961414391864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18779] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18779/stat : 18779 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961413339768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18780] ppid=18760 vsize=2966184 CPUtime=0.34 cores=1,3,5,7 /proc/18762/task/18780/stat : 18780 (java) S 18760 18762 15509 0 -1 4202560 47 0 0 0 15 19 0 0 20 0 20 0 346570470 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961412287176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18783] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18783/stat : 18783 (java) S 18760 18762 15509 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346570525 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961409128104 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18784] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18784/stat : 18784 (java) S 18760 18762 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346570525 3037372416 209746 33554432000 1073741824 1073778376 140733621836464 139961408075304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1662.9 Current children cumulated vsize (KiB) 2966184 [startup+855.601 s] /proc/loadavg: 3.89 3.88 3.62 4/218 18883 /proc/meminfo: memFree=23830236/32873648 swapFree=6852/6852 [pid=18762] ppid=18760 vsize=2966184 CPUtime=1663 cores=1,3,5,7 /proc/18762/stat : 18762 (java) S 18760 18762 15509 0 -1 4202496 25221 0 1 0 166065 235 0 0 20 0 21 0 346570463 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 140733621827600 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18762/statm: 741546 209749 2288 9 0 732240 0 [pid=18762/tid=18764] ppid=18760 vsize=2966184 CPUtime=1.08 cores=1,3,5,7 /proc/18762/task/18764/stat : 18764 (java) S 18760 18762 15509 0 -1 4202560 2890 0 1 0 104 4 0 0 20 0 21 0 346570464 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961572737752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18765] ppid=18760 vsize=2966184 CPUtime=4.5 cores=1,3,5,7 /proc/18762/task/18765/stat : 18765 (java) S 18760 18762 15509 0 -1 4202560 318 0 0 0 442 8 0 0 20 0 21 0 346570465 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961439435560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18766] ppid=18760 vsize=2966184 CPUtime=4.54 cores=1,3,5,7 /proc/18762/task/18766/stat : 18766 (java) S 18760 18762 15509 0 -1 4202560 319 0 0 0 444 10 0 0 20 0 21 0 346570465 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961438382760 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18767] ppid=18760 vsize=2966184 CPUtime=4.56 cores=1,3,5,7 /proc/18762/task/18767/stat : 18767 (java) S 18760 18762 15509 0 -1 4202560 317 0 0 0 447 9 0 0 20 0 21 0 346570465 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961437330472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18768] ppid=18760 vsize=2966184 CPUtime=4.76 cores=1,3,5,7 /proc/18762/task/18768/stat : 18768 (java) S 18760 18762 15509 0 -1 4202560 334 0 0 0 467 9 0 0 20 0 21 0 346570465 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961436277672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18769] ppid=18760 vsize=2966184 CPUtime=4.62 cores=1,3,5,7 /proc/18762/task/18769/stat : 18769 (java) S 18760 18762 15509 0 -1 4202560 327 0 0 0 454 8 0 0 20 0 21 0 346570465 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961435224360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18770] ppid=18760 vsize=2966184 CPUtime=4.53 cores=1,3,5,7 /proc/18762/task/18770/stat : 18770 (java) S 18760 18762 15509 0 -1 4202560 314 0 0 0 445 8 0 0 20 0 21 0 346570465 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961434171560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18762/tid=18771] ppid=18760 vsize=2966184 CPUtime=4.49 cores=1,3,5,7 /proc/18762/task/18771/stat : 18771 (java) S 18760 18762 15509 0 -1 4202560 333 0 0 0 440 9 0 0 20 0 21 0 346570465 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961433119272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18772] ppid=18760 vsize=2966184 CPUtime=4.7 cores=1,3,5,7 /proc/18762/task/18772/stat : 18772 (java) S 18760 18762 15509 0 -1 4202560 339 0 0 0 460 10 0 0 20 0 21 0 346570465 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961432066472 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18773] ppid=18760 vsize=2966184 CPUtime=29 cores=1,3,5,7 /proc/18762/task/18773/stat : 18773 (java) S 18760 18762 15509 0 -1 4202560 1358 0 0 0 2807 93 0 0 20 0 21 0 346570467 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961419655912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18774] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18774/stat : 18774 (java) S 18760 18762 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 346570467 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961418601976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18775] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18775/stat : 18775 (java) S 18760 18762 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 346570467 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961417549576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18776] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18776/stat : 18776 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961416498064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18777] ppid=18760 vsize=2966184 CPUtime=1.12 cores=1,3,5,7 /proc/18762/task/18777/stat : 18777 (java) S 18760 18762 15509 0 -1 4202560 6638 0 0 0 110 2 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961415444664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18778] ppid=18760 vsize=2966184 CPUtime=1.62 cores=1,3,5,7 /proc/18762/task/18778/stat : 18778 (java) S 18760 18762 15509 0 -1 4202560 8436 0 0 0 160 2 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961414391864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18779] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18779/stat : 18779 (java) S 18760 18762 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961413339768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18762/tid=18780] ppid=18760 vsize=2966184 CPUtime=0.34 cores=1,3,5,7 /proc/18762/task/18780/stat : 18780 (java) S 18760 18762 15509 0 -1 4202560 47 0 0 0 15 19 0 0 20 0 21 0 346570470 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961412287176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18762/tid=18783] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18783/stat : 18783 (java) S 18760 18762 15509 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 346570525 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961409128104 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18762/tid=18784] ppid=18760 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/18762/task/18784/stat : 18784 (java) S 18760 18762 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 346570525 3037372416 209749 33554432000 1073741824 1073778376 140733621836464 139961408075304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1663 Current children cumulated vsize (KiB) 2966184 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.52003 # lost CPU user time (s): 2.74998 # lost CPU system time (s): -0.23 Real time (s): 855.624 CPU time (s): 1666.04 CPU user time (s): 1663.74 CPU system time (s): 2.30062 CPU usage (%): 194.716 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1660.99 system time used= 2.53062 maximum resident set size= 839020 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25228 page faults= 1 swaps= 0 block input operations= 0 block output operations= 888 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 69994 involuntary context switches= 115307 runsolver used 3.44848 second user time and 9.02363 second system time The end
Begin job on node112 at 2012-06-04 12:07:12 IDJOB=3744154 IDBENCH=92697 IDSOLVER=2324 FILE ID=node112/3744154-1338804432 RUNJOBID= node112-1338803541-18607 PBS_JOBID= 14636841 Free space on /tmp= 71224 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744154-1338804432/watcher-3744154-1338804432 -o /tmp/evaluation-result-3744154-1338804432/solver-3744154-1338804432 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744154-1338804432.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ebd57823bd571ff5d4e153dfd450b6f7 RANDOM SEED=1320326876 node112.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.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 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.763 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.763 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.92 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.763 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.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 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.763 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: 24676816 kB Buffers: 560668 kB Cached: 6049816 kB SwapCached: 0 kB Active: 2535412 kB Inactive: 4788256 kB Active(anon): 702204 kB Inactive(anon): 10920 kB Active(file): 1833208 kB Inactive(file): 4777336 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 964 kB Writeback: 4 kB AnonPages: 719708 kB Mapped: 22596 kB Shmem: 200 kB Slab: 731980 kB SReclaimable: 175628 kB SUnreclaim: 556352 kB KernelStack: 1616 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1575476 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 679936 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= 71224 MiB End job on node112 at 2012-06-04 12:21:28