Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 26 | 1800.34 | 927.018 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 0.207968 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6148 |
Total number of constraints | 19000 |
Number of constraints which are clauses | 19000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 2987 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2987 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2987 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.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.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454105-1307193540.opb 0.10/0.11 c reading problem ... 1.07/0.50 c ... done. Wall clock time 0.39s. 1.07/0.50 c #vars 6148 1.07/0.50 c #constraints 19000 1.07/0.50 c constraints type 1.07/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 1.07/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 1.07/0.50 c constraints type 1.07/0.50 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15344 1.07/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3169 1.07/0.58 c And the winner is CuttingPlanes 1.43/1.02 c SATISFIABLE 1.43/1.02 c OPTIMIZING... 1.43/1.02 c Got one! Elapsed wall clock time (in seconds):0.91 1.43/1.02 o 37 1.43/1.08 c And the winner is Resolution 2.23/1.56 c Got one! Elapsed wall clock time (in seconds):1.443 2.23/1.56 o 36 2.51/1.67 c And the winner is Resolution 2.81/2.10 c Got one! Elapsed wall clock time (in seconds):1.992 2.81/2.10 o 29 3.66/2.49 c And the winner is Resolution 3.87/2.62 c Got one! Elapsed wall clock time (in seconds):2.513 3.87/2.62 o 28 8.17/4.70 c cleaning 2981 clauses out of 5965 with flag 5001/5965 10.94/6.10 c And the winner is Resolution 10.94/6.15 c Got one! Elapsed wall clock time (in seconds):6.038 10.94/6.15 o 27 12.35/6.82 c cleaning 4467 clauses out of 8935 with flag 2000/11916 17.77/9.51 c cleaning 5230 clauses out of 10468 with flag 8000/17916 22.54/12.00 c cleaning 6107 clauses out of 12238 with flag 15000/24916 28.55/14.91 c cleaning 7063 clauses out of 14132 with flag 23001/32917 34.50/17.95 c cleaning 8027 clauses out of 16069 with flag 32001/41917 40.86/21.14 c cleaning 9020 clauses out of 18041 with flag 42000/51916 48.08/24.76 c cleaning 9998 clauses out of 20021 with flag 53000/62916 56.63/29.09 c cleaning 11003 clauses out of 22023 with flag 65000/74916 60.39/30.90 c And the winner is Resolution 60.43/31.25 c Got one! Elapsed wall clock time (in seconds):31.144 60.43/31.25 o 26 60.92/31.54 c cleaning 8453 clauses out of 16918 with flag 1001/80814 64.66/33.46 c cleaning 7222 clauses out of 14464 with flag 7000/86813 69.22/35.71 c cleaning 7119 clauses out of 14243 with flag 14001/93814 73.75/38.01 c cleaning 7549 clauses out of 15123 with flag 22000/101813 81.13/41.74 c cleaning 8282 clauses out of 16575 with flag 31001/110814 88.47/45.43 c cleaning 9145 clauses out of 18293 with flag 41001/120814 95.81/49.11 c cleaning 10066 clauses out of 20147 with flag 52000/131813 104.93/53.70 c cleaning 11033 clauses out of 22081 with flag 64000/143813 113.06/57.82 c cleaning 12017 clauses out of 24048 with flag 77000/156813 125.20/63.92 c cleaning 13007 clauses out of 26032 with flag 91001/170814 136.54/69.62 c cleaning 14008 clauses out of 28025 with flag 106001/185814 147.06/74.92 c cleaning 14999 clauses out of 30017 with flag 122001/201814 159.79/81.31 c cleaning 16001 clauses out of 32018 with flag 139001/218814 171.71/87.33 c cleaning 16998 clauses out of 34016 with flag 157000/236813 187.28/95.12 c cleaning 17997 clauses out of 36018 with flag 176000/255813 202.14/102.61 c cleaning 18509 clauses out of 37022 with flag 195001/274814 216.85/110.03 c cleaning 18746 clauses out of 37512 with flag 214000/293813 231.49/117.42 c cleaning 18875 clauses out of 37766 with flag 233000/312813 244.96/124.26 c cleaning 18935 clauses out of 37891 with flag 252000/331813 258.91/131.38 c cleaning 18971 clauses out of 37956 with flag 271000/350813 274.96/139.48 c cleaning 18987 clauses out of 37986 with flag 290001/369814 289.20/146.69 c cleaning 18994 clauses out of 37999 with flag 309001/388814 302.42/153.38 c cleaning 18995 clauses out of 38004 with flag 328000/407813 315.56/160.03 c cleaning 18986 clauses out of 38009 with flag 347000/426813 329.59/167.17 c cleaning 19008 clauses out of 38025 with flag 366002/445815 342.19/173.52 c cleaning 18999 clauses out of 38015 with flag 385000/464813 355.20/180.10 c cleaning 18999 clauses out of 38016 with flag 404000/483813 369.72/187.58 c cleaning 19002 clauses out of 38018 with flag 423001/502814 383.75/194.69 c cleaning 19002 clauses out of 38017 with flag 442002/521815 396.96/201.33 c cleaning 18997 clauses out of 38014 with flag 461001/540814 410.50/208.21 c cleaning 18999 clauses out of 38016 with flag 480000/559813 424.56/215.40 c cleaning 18998 clauses out of 38018 with flag 499001/578814 438.15/222.31 c cleaning 19003 clauses out of 38019 with flag 518000/597813 450.53/228.64 c cleaning 19004 clauses out of 38017 with flag 537001/616814 462.31/234.62 c cleaning 18997 clauses out of 38012 with flag 556000/635813 474.96/241.17 c cleaning 18998 clauses out of 38015 with flag 575000/654813 486.73/247.12 c cleaning 19003 clauses out of 38019 with flag 594002/673815 498.91/253.37 c cleaning 18999 clauses out of 38014 with flag 613000/692813 512.07/260.00 c cleaning 18996 clauses out of 38015 with flag 632000/711813 524.33/266.32 c cleaning 19005 clauses out of 38019 with flag 651000/730813 535.89/272.26 c cleaning 19002 clauses out of 38015 with flag 670001/749814 547.25/278.08 c cleaning 18994 clauses out of 38013 with flag 689001/768814 558.78/283.96 c cleaning 19006 clauses out of 38019 with flag 708001/787814 572.79/291.16 c cleaning 18997 clauses out of 38012 with flag 727000/806813 587.32/298.50 c cleaning 19003 clauses out of 38017 with flag 746002/825815 600.65/305.39 c cleaning 18998 clauses out of 38013 with flag 765001/844814 614.38/312.38 c cleaning 18997 clauses out of 38014 with flag 784000/863813 628.54/319.60 c cleaning 18995 clauses out of 38017 with flag 803000/882813 641.65/326.32 c cleaning 19006 clauses out of 38024 with flag 822002/901815 654.76/333.08 c cleaning 19003 clauses out of 38017 with flag 841001/920814 667.27/339.43 c cleaning 18995 clauses out of 38014 with flag 860001/939814 679.65/345.89 c cleaning 19002 clauses out of 38018 with flag 879000/958813 692.54/352.46 c cleaning 19002 clauses out of 38016 with flag 898000/977813 706.64/359.70 c cleaning 19002 clauses out of 38015 with flag 917001/996814 721.31/367.13 c cleaning 19000 clauses out of 38012 with flag 936000/1015813 734.68/374.02 c cleaning 18998 clauses out of 38013 with flag 955001/1034814 747.73/380.75 c cleaning 18996 clauses out of 38014 with flag 974000/1053813 761.28/387.62 c cleaning 19006 clauses out of 38018 with flag 993000/1072813 774.15/394.27 c cleaning 19000 clauses out of 38012 with flag 1012000/1091813 786.85/400.82 c cleaning 18999 clauses out of 38012 with flag 1031000/1110813 800.12/407.61 c cleaning 18999 clauses out of 38016 with flag 1050003/1129816 813.18/414.38 c cleaning 18995 clauses out of 38014 with flag 1069000/1148813 827.04/421.45 c cleaning 19000 clauses out of 38019 with flag 1088000/1167813 841.32/428.90 c cleaning 19008 clauses out of 38019 with flag 1107000/1186813 854.97/435.84 c cleaning 19000 clauses out of 38011 with flag 1126000/1205813 868.83/442.97 c cleaning 18999 clauses out of 38012 with flag 1145001/1224814 883.07/450.28 c cleaning 18996 clauses out of 38013 with flag 1164001/1243814 899.13/458.58 c cleaning 18997 clauses out of 38016 with flag 1183000/1262813 914.38/466.33 c cleaning 18994 clauses out of 38019 with flag 1202000/1281813 928.80/473.75 c cleaning 19006 clauses out of 38026 with flag 1221001/1300814 942.83/480.94 c cleaning 19005 clauses out of 38020 with flag 1240001/1319814 956.28/487.93 c cleaning 18987 clauses out of 38014 with flag 1259000/1338813 969.10/494.56 c cleaning 19007 clauses out of 38027 with flag 1278000/1357813 982.32/501.36 c cleaning 19000 clauses out of 38020 with flag 1297000/1376813 994.75/507.78 c cleaning 19004 clauses out of 38021 with flag 1316001/1395814 1007.37/514.31 c cleaning 19002 clauses out of 38017 with flag 1335001/1414814 1021.38/521.55 c cleaning 19002 clauses out of 38016 with flag 1354002/1433815 1035.60/528.86 c cleaning 18991 clauses out of 38012 with flag 1373000/1452813 1048.42/535.47 c cleaning 19006 clauses out of 38022 with flag 1392001/1471814 1060.83/541.93 c cleaning 19002 clauses out of 38015 with flag 1411000/1490813 1073.03/548.26 c cleaning 18997 clauses out of 38013 with flag 1430000/1509813 1085.43/554.63 c cleaning 19004 clauses out of 38017 with flag 1449001/1528814 1098.23/561.22 c cleaning 18995 clauses out of 38012 with flag 1468000/1547813 1111.21/568.08 c cleaning 19000 clauses out of 38019 with flag 1487002/1566815 1124.41/574.83 c cleaning 19002 clauses out of 38018 with flag 1506001/1585814 1137.61/581.68 c cleaning 19001 clauses out of 38015 with flag 1525000/1604813 1150.81/588.46 c cleaning 19002 clauses out of 38014 with flag 1544000/1623813 1163.98/595.32 c cleaning 19000 clauses out of 38013 with flag 1563001/1642814 1176.40/601.78 c cleaning 18996 clauses out of 38012 with flag 1582000/1661813 1188.95/608.24 c cleaning 19002 clauses out of 38018 with flag 1601002/1680815 1202.31/615.16 c cleaning 18998 clauses out of 38014 with flag 1620000/1699813 1215.87/622.26 c cleaning 18998 clauses out of 38016 with flag 1639000/1718813 1229.26/629.19 c cleaning 19000 clauses out of 38022 with flag 1658004/1737817 1242.62/636.02 c cleaning 19003 clauses out of 38018 with flag 1677000/1756813 1256.19/643.06 c cleaning 19003 clauses out of 38015 with flag 1696000/1775813 1270.94/650.79 c cleaning 19000 clauses out of 38012 with flag 1715000/1794813 1286.11/658.53 c cleaning 19001 clauses out of 38013 with flag 1734001/1813814 1300.27/665.89 c cleaning 18996 clauses out of 38013 with flag 1753002/1832815 1314.66/673.23 c cleaning 18992 clauses out of 38016 with flag 1772001/1851814 1328.76/680.64 c cleaning 19006 clauses out of 38025 with flag 1791002/1870815 1342.51/687.80 c cleaning 18998 clauses out of 38019 with flag 1810002/1889815 1356.66/695.10 c cleaning 18999 clauses out of 38020 with flag 1829001/1908814 1370.60/702.27 c cleaning 19007 clauses out of 38023 with flag 1848003/1927816 1385.93/710.25 c cleaning 18994 clauses out of 38013 with flag 1867000/1946813 1400.86/717.90 c cleaning 18994 clauses out of 38019 with flag 1886000/1965813 1414.22/724.86 c cleaning 19004 clauses out of 38025 with flag 1905000/1984813 1426.96/731.44 c cleaning 19009 clauses out of 38021 with flag 1924000/2003813 1439.25/737.94 c cleaning 18999 clauses out of 38013 with flag 1943001/2022814 1452.18/744.63 c cleaning 18985 clauses out of 38013 with flag 1962000/2041813 1465.28/751.43 c cleaning 19002 clauses out of 38028 with flag 1981000/2060813 1478.99/758.57 c cleaning 19003 clauses out of 38026 with flag 2000000/2079813 1490.06/764.47 c cleaning 18998 clauses out of 38023 with flag 2019000/2098813 1501.16/770.25 c cleaning 19004 clauses out of 38025 with flag 2038000/2117813 1513.68/776.78 c cleaning 19003 clauses out of 38021 with flag 2057000/2136813 1528.22/784.24 c cleaning 18997 clauses out of 38018 with flag 2076000/2155813 1542.25/791.63 c cleaning 19001 clauses out of 38021 with flag 2095000/2174813 1556.15/798.86 c cleaning 19005 clauses out of 38021 with flag 2114001/2193814 1568.01/805.10 c cleaning 19004 clauses out of 38015 with flag 2133000/2212813 1580.46/811.53 c cleaning 18991 clauses out of 38011 with flag 2152000/2231813 1594.06/818.70 c cleaning 18997 clauses out of 38020 with flag 2171000/2250813 1607.30/825.63 c cleaning 19008 clauses out of 38024 with flag 2190001/2269814 1620.53/832.57 c cleaning 19003 clauses out of 38015 with flag 2209000/2288813 1634.98/840.07 c cleaning 18993 clauses out of 38012 with flag 2228000/2307813 1650.39/848.15 c cleaning 18999 clauses out of 38020 with flag 2247001/2326814 1665.40/855.90 c cleaning 18998 clauses out of 38021 with flag 2266001/2345814 1680.07/863.58 c cleaning 19007 clauses out of 38022 with flag 2285000/2364813 1694.70/871.18 c cleaning 18998 clauses out of 38015 with flag 2304000/2383813 1709.25/878.88 c cleaning 19000 clauses out of 38017 with flag 2323000/2402813 1724.08/886.54 c cleaning 18994 clauses out of 38017 with flag 2342000/2421813 1737.89/893.72 c cleaning 18998 clauses out of 38023 with flag 2361000/2440813 1749.92/900.03 c cleaning 19003 clauses out of 38026 with flag 2380001/2459814 1762.64/906.87 c cleaning 19002 clauses out of 38024 with flag 2399002/2478815 1774.87/913.24 c cleaning 18999 clauses out of 38020 with flag 2418000/2497813 1787.11/919.62 c cleaning 19003 clauses out of 38021 with flag 2437000/2516813 1798.89/925.83 c cleaning 18998 clauses out of 38019 with flag 2456001/2535814 1800.01/926.82 c starts : 236 1800.01/926.82 c conflicts : 2536069 1800.01/926.82 c decisions : 9434606 1800.01/926.82 c propagations : 3550778300 1800.01/926.82 c inspects : 3880330127 1800.01/926.82 c shortcuts : 0 1800.01/926.82 c learnt literals : 0 1800.01/926.82 c learnt binary clauses : 0 1800.01/926.82 c learnt ternary clauses : 1 1800.01/926.82 c learnt constraints : 2536069 1800.01/926.82 c ignored constraints : 0 1800.01/926.82 c root simplifications : 0 1800.01/926.82 c removed literals (reason simplification) : 3144806 1800.01/926.82 c reason swapping (by a shorter reason) : 0 1800.01/926.82 c Calls to reduceDB : 144 1800.01/926.82 c number of reductions to clauses (during analyze) : 0 1800.01/926.82 c number of learned constraints concerned by reduction : 0 1800.01/926.82 c number of learning phase by resolution : 0 1800.01/926.82 c number of learning phase by cutting planes : 0 1800.01/926.82 c speed (assignments/second) : 3964838.822779312 1800.01/926.82 c non guided choices 18392 1800.01/926.83 c learnt constraints type 1800.01/926.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19309 1800.01/926.83 c constraints type 1800.01/926.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 1800.01/926.83 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.01/926.83 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 1800.01/926.83 c constraints type 1800.01/926.83 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15344 1800.01/926.83 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3169 1800.01/926.83 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.01/926.83 s SATISFIABLE 1800.01/926.84 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 1800.01/926.85 c objective function=26 1800.01/926.85 c Total wall clock time (in seconds): 926.742
OK 26
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454105-1307193540/watcher-3454105-1307193540 -o /tmp/evaluation-result-3454105-1307193540/solver-3454105-1307193540 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454105-1307193540.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.04 3.86 3.69 3/498 2012 /proc/meminfo: memFree=20464116/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=24004 CPUtime=0 cores=0,2,4,6 /proc/2012/stat : 2012 (java) R 2010 2012 28116 0 -1 4202496 1114 0 0 0 0 0 0 0 25 0 1 0 811769378 24580096 851 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254261672945 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2012/statm: 6001 859 649 9 0 381 0 [pid=2012/tid=2013] ppid=2010 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) R 2010 2012 28116 0 -1 4202560 4676 0 1 0 0 0 0 0 25 0 2 0 811769379 10694979584 5491 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.099131 s] /proc/loadavg: 4.04 3.86 3.69 3/498 2012 /proc/meminfo: memFree=20464116/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10539872 CPUtime=0.1 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 13022 0 1 0 9 1 0 0 25 0 18 0 811769378 10792828928 12694 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2634968 12696 2092 9 0 2625702 0 [pid=2012/tid=2013] ppid=2010 vsize=10539872 CPUtime=0.07 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) R 2010 2012 28116 0 -1 4202560 11094 0 1 0 7 0 0 0 18 0 18 0 811769379 10792828928 12696 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254261276993 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539872 [startup+0.101117 s] /proc/loadavg: 4.04 3.86 3.69 3/498 2012 /proc/meminfo: memFree=20464116/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10539872 CPUtime=0.1 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 13045 0 1 0 9 1 0 0 25 0 18 0 811769378 10792828928 12717 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2634968 12719 2092 9 0 2625702 0 [pid=2012/tid=2013] ppid=2010 vsize=10539872 CPUtime=0.08 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) R 2010 2012 28116 0 -1 4202560 11117 0 1 0 8 0 0 0 18 0 18 0 811769379 10792828928 12719 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 46912496197392 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539872 [startup+0.304673 s] /proc/loadavg: 4.04 3.86 3.69 3/498 2012 /proc/meminfo: memFree=20464116/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10542952 CPUtime=0.54 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 18029 0 1 0 53 1 0 0 25 0 18 0 811769378 10795982848 16683 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2635738 16685 2201 9 0 2626472 0 [pid=2012/tid=2013] ppid=2010 vsize=10542952 CPUtime=0.29 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) R 2010 2012 28116 0 -1 4202560 13442 0 1 0 28 1 0 0 18 0 18 0 811769379 10795982848 16687 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 46912505577234 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 10542952 [startup+0.701062 s] /proc/loadavg: 4.04 3.86 3.69 3/498 2012 /proc/meminfo: memFree=20464116/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10552648 CPUtime=1.43 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 31075 0 1 0 139 4 0 0 25 0 19 0 811769378 10805911552 28960 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2638162 28960 2233 9 0 2628896 0 [pid=2012/tid=2013] ppid=2010 vsize=10552648 CPUtime=0.48 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) S 2010 2012 28116 0 -1 4202560 23033 0 1 0 45 3 0 0 19 0 19 0 811769379 10805911552 28960 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 10552648 [startup+1.50092 s] /proc/loadavg: 4.04 3.86 3.69 3/517 2034 /proc/meminfo: memFree=20356216/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10566592 CPUtime=2.23 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 37177 0 1 0 218 5 0 0 25 0 19 0 811769378 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2641648 33204 2236 9 0 2632382 0 [pid=2012/tid=2013] ppid=2010 vsize=10566592 CPUtime=0.51 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) S 2010 2012 28116 0 -1 4202560 23343 0 1 0 48 3 0 0 17 0 19 0 811769379 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2015] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2015/stat : 2015 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811769380 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2016] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2016/stat : 2016 (java) S 2010 2012 28116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811769380 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2017] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2017/stat : 2017 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811769380 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2018] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2018/stat : 2018 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811769380 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2019] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2019/stat : 2019 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811769380 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2020] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2020/stat : 2020 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811769380 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2021] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2021/stat : 2021 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811769380 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2022] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2022/stat : 2022 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811769380 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2023] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2023/stat : 2023 (java) S 2010 2012 28116 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 811769381 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 0 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2024] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2024/stat : 2024 (java) S 2010 2012 28116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811769382 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2025] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2025/stat : 2025 (java) S 2010 2012 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811769382 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2026] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2026/stat : 2026 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811769384 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273440177 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2027] ppid=2010 vsize=10566592 CPUtime=0.79 cores=0,2,4,6 /proc/2012/task/2027/stat : 2027 (java) S 2010 2012 28116 0 -1 4202560 8363 0 0 0 78 1 0 0 16 0 19 0 811769384 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2028] ppid=2010 vsize=10566592 CPUtime=0.53 cores=0,2,4,6 /proc/2012/task/2028/stat : 2028 (java) S 2010 2012 28116 0 -1 4202560 3488 0 0 0 53 0 0 0 15 0 19 0 811769384 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2029] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2029/stat : 2029 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811769384 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2030] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2030/stat : 2030 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811769384 10820190208 33204 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 10566592 [startup+3.1016 s] /proc/loadavg: 4.04 3.86 3.69 5/517 2040 /proc/meminfo: memFree=20334008/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10566592 CPUtime=4.91 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 42213 0 1 0 486 5 0 0 25 0 22 0 811769378 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2641648 38238 2243 9 0 2632382 0 [pid=2012/tid=2013] ppid=2010 vsize=10566592 CPUtime=0.56 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) S 2010 2012 28116 0 -1 4202560 24175 0 1 0 53 3 0 0 17 0 22 0 811769379 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2015] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2015/stat : 2015 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769380 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2016] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2016/stat : 2016 (java) S 2010 2012 28116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811769380 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2017] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2017/stat : 2017 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769380 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2018] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2018/stat : 2018 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769380 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2019] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2019/stat : 2019 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769380 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2020] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2020/stat : 2020 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769380 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2021] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2021/stat : 2021 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769380 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2022] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2022/stat : 2022 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769380 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2023] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2023/stat : 2023 (java) S 2010 2012 28116 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 811769381 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 0 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2024] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2024/stat : 2024 (java) S 2010 2012 28116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811769382 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2025] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2025/stat : 2025 (java) S 2010 2012 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811769382 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2026] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2026/stat : 2026 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273440177 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2027] ppid=2010 vsize=10566592 CPUtime=1.15 cores=0,2,4,6 /proc/2012/task/2027/stat : 2027 (java) R 2010 2012 28116 0 -1 4202560 8509 0 0 0 114 1 0 0 16 0 22 0 811769384 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 47184344434305 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=2012/tid=2028] ppid=2010 vsize=10566592 CPUtime=0.89 cores=0,2,4,6 /proc/2012/task/2028/stat : 2028 (java) S 2010 2012 28116 0 -1 4202560 3531 0 0 0 89 0 0 0 16 0 22 0 811769384 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2029] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2029/stat : 2029 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2030] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2030/stat : 2030 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811769384 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2037] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2037/stat : 2037 (java) S 2010 2012 28116 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811769484 10820190208 38238 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.91 Current children cumulated vsize (KiB) 10566592 [startup+6.301 s] /proc/loadavg: 3.87 3.83 3.68 5/520 2046 /proc/meminfo: memFree=19966908/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10566592 CPUtime=11.34 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 179986 0 1 0 1112 22 0 0 25 0 22 0 811769378 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2641648 175999 2268 9 0 2632382 0 [pid=2012/tid=2013] ppid=2010 vsize=10566592 CPUtime=0.57 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) S 2010 2012 28116 0 -1 4202560 24212 0 1 0 54 3 0 0 16 0 22 0 811769379 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2015] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2015/stat : 2015 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811769380 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2016] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2016/stat : 2016 (java) S 2010 2012 28116 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811769380 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2017] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2017/stat : 2017 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811769380 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2018] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2018/stat : 2018 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811769380 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2019] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2019/stat : 2019 (java) S 2010 2012 28116 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 22 0 811769380 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2020] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2020/stat : 2020 (java) S 2010 2012 28116 0 -1 4202560 625 0 0 0 0 0 0 0 18 0 22 0 811769380 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2021] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2021/stat : 2021 (java) S 2010 2012 28116 0 -1 4202560 609 0 0 0 0 0 0 0 18 0 22 0 811769380 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2022] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2022/stat : 2022 (java) S 2010 2012 28116 0 -1 4202560 832 0 0 0 0 0 0 0 18 0 22 0 811769380 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2023] ppid=2010 vsize=10566592 CPUtime=0.04 cores=0,2,4,6 /proc/2012/task/2023/stat : 2023 (java) S 2010 2012 28116 0 -1 4202560 3264 0 0 0 4 0 0 0 15 0 22 0 811769381 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 0 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2024] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2024/stat : 2024 (java) S 2010 2012 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811769382 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2025] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2025/stat : 2025 (java) S 2010 2012 28116 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811769382 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2026] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2026/stat : 2026 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273440177 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2027] ppid=2010 vsize=10566592 CPUtime=1.27 cores=0,2,4,6 /proc/2012/task/2027/stat : 2027 (java) S 2010 2012 28116 0 -1 4202560 8517 0 0 0 126 1 0 0 15 0 22 0 811769384 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2028] ppid=2010 vsize=10566592 CPUtime=0.93 cores=0,2,4,6 /proc/2012/task/2028/stat : 2028 (java) S 2010 2012 28116 0 -1 4202560 3536 0 0 0 93 0 0 0 15 0 22 0 811769384 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2029] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2029/stat : 2029 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 175999 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=13764580/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10566592 CPUtime=1600.7 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 965251 0 1 0 159961 109 0 0 25 0 22 0 811769378 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2641648 957659 2270 9 0 2632382 0 [pid=2012/tid=2013] ppid=2010 vsize=10566592 CPUtime=0.58 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) S 2010 2012 28116 0 -1 4202560 24245 0 1 0 55 3 0 0 15 0 22 0 811769379 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2015] ppid=2010 vsize=10566592 CPUtime=0.89 cores=0,2,4,6 /proc/2012/task/2015/stat : 2015 (java) S 2010 2012 28116 0 -1 4202560 6696 0 0 0 89 0 0 0 16 0 22 0 811769380 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2016] ppid=2010 vsize=10566592 CPUtime=0.8 cores=0,2,4,6 /proc/2012/task/2016/stat : 2016 (java) S 2010 2012 28116 0 -1 4202560 7926 0 0 0 79 1 0 0 15 0 22 0 811769380 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2017] ppid=2010 vsize=10566592 CPUtime=0.8 cores=0,2,4,6 /proc/2012/task/2017/stat : 2017 (java) S 2010 2012 28116 0 -1 4202560 7139 0 0 0 80 0 0 0 16 0 22 0 811769380 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2018] ppid=2010 vsize=10566592 CPUtime=0.85 cores=0,2,4,6 /proc/2012/task/2018/stat : 2018 (java) S 2010 2012 28116 0 -1 4202560 7903 0 0 0 84 1 0 0 15 0 22 0 811769380 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2019] ppid=2010 vsize=10566592 CPUtime=0.74 cores=0,2,4,6 /proc/2012/task/2019/stat : 2019 (java) S 2010 2012 28116 0 -1 4202560 9456 0 0 0 73 1 0 0 16 0 22 0 811769380 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2020] ppid=2010 vsize=10566592 CPUtime=0.8 cores=0,2,4,6 /proc/2012/task/2020/stat : 2020 (java) S 2010 2012 28116 0 -1 4202560 7446 0 0 0 79 1 0 0 15 0 22 0 811769380 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2021] ppid=2010 vsize=10566592 CPUtime=0.74 cores=0,2,4,6 /proc/2012/task/2021/stat : 2021 (java) S 2010 2012 28116 0 -1 4202560 6413 0 0 0 74 0 0 0 15 0 22 0 811769380 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2022] ppid=2010 vsize=10566592 CPUtime=0.8 cores=0,2,4,6 /proc/2012/task/2022/stat : 2022 (java) S 2010 2012 28116 0 -1 4202560 7411 0 0 0 79 1 0 0 16 0 22 0 811769380 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2023] ppid=2010 vsize=10566592 CPUtime=44.87 cores=0,2,4,6 /proc/2012/task/2023/stat : 2023 (java) S 2010 2012 28116 0 -1 4202560 33492 0 0 0 4481 6 0 0 15 0 22 0 811769381 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 0 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2024] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2024/stat : 2024 (java) S 2010 2012 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811769382 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2025] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2025/stat : 2025 (java) S 2010 2012 28116 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811769382 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2026] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2026/stat : 2026 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273440177 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2027] ppid=2010 vsize=10566592 CPUtime=1.37 cores=0,2,4,6 /proc/2012/task/2027/stat : 2027 (java) S 2010 2012 28116 0 -1 4202560 8517 0 0 0 136 1 0 0 15 0 22 0 811769384 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2028] ppid=2010 vsize=10566592 CPUtime=1.3 cores=0,2,4,6 /proc/2012/task/2028/stat : 2028 (java) S 2010 2012 28116 0 -1 4202560 4124 0 0 0 130 0 0 0 15 0 22 0 811769384 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2029] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2029/stat : 2029 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2030] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2030/stat : 2030 (java) S 2010 2012 28116 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 811769384 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2037] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2037/stat : 2037 (java) S 2010 2012 28116 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811769484 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2111] ppid=2010 vsize=10566592 CPUtime=744.57 cores=0,2,4,6 /proc/2012/task/2111/stat : 2111 (java) R 2010 2012 28116 0 -1 4202560 208 0 0 0 74456 1 0 0 25 0 22 0 811772504 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 46912506045632 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=2012/tid=2112] ppid=2010 vsize=10566592 CPUtime=744.57 cores=0,2,4,6 /proc/2012/task/2112/stat : 2112 (java) R 2010 2012 28116 0 -1 4202560 206155 0 0 0 74437 20 0 0 25 0 22 0 811772504 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 46912506412399 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=2012/tid=2113] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2113/stat : 2113 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811772505 10820190208 957659 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1600.7 Current children cumulated vsize (KiB) 10566592 [startup+882.301 s] /proc/loadavg: 3.87 3.91 3.82 5/520 2147 /proc/meminfo: memFree=13729684/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10566592 CPUtime=1715.66 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 970200 0 1 0 171456 110 0 0 25 0 22 0 811769378 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2641648 962535 2270 9 0 2632382 0 [pid=2012/tid=2013] ppid=2010 vsize=10566592 CPUtime=0.58 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) S 2010 2012 28116 0 -1 4202560 24245 0 1 0 55 3 0 0 15 0 22 0 811769379 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2015] ppid=2010 vsize=10566592 CPUtime=0.98 cores=0,2,4,6 /proc/2012/task/2015/stat : 2015 (java) S 2010 2012 28116 0 -1 4202560 6913 0 0 0 97 1 0 0 16 0 22 0 811769380 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2016] ppid=2010 vsize=10566592 CPUtime=0.86 cores=0,2,4,6 /proc/2012/task/2016/stat : 2016 (java) S 2010 2012 28116 0 -1 4202560 8199 0 0 0 85 1 0 0 16 0 22 0 811769380 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2017] ppid=2010 vsize=10566592 CPUtime=0.91 cores=0,2,4,6 /proc/2012/task/2017/stat : 2017 (java) S 2010 2012 28116 0 -1 4202560 7974 0 0 0 91 0 0 0 16 0 22 0 811769380 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2018] ppid=2010 vsize=10566592 CPUtime=0.91 cores=0,2,4,6 /proc/2012/task/2018/stat : 2018 (java) S 2010 2012 28116 0 -1 4202560 8208 0 0 0 90 1 0 0 16 0 22 0 811769380 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2019] ppid=2010 vsize=10566592 CPUtime=0.82 cores=0,2,4,6 /proc/2012/task/2019/stat : 2019 (java) S 2010 2012 28116 0 -1 4202560 9692 0 0 0 81 1 0 0 16 0 22 0 811769380 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2020] ppid=2010 vsize=10566592 CPUtime=0.88 cores=0,2,4,6 /proc/2012/task/2020/stat : 2020 (java) S 2010 2012 28116 0 -1 4202560 7657 0 0 0 87 1 0 0 16 0 22 0 811769380 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2021] ppid=2010 vsize=10566592 CPUtime=0.79 cores=0,2,4,6 /proc/2012/task/2021/stat : 2021 (java) S 2010 2012 28116 0 -1 4202560 6413 0 0 0 79 0 0 0 16 0 22 0 811769380 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2022] ppid=2010 vsize=10566592 CPUtime=0.87 cores=0,2,4,6 /proc/2012/task/2022/stat : 2022 (java) S 2010 2012 28116 0 -1 4202560 7962 0 0 0 86 1 0 0 16 0 22 0 811769380 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2023] ppid=2010 vsize=10566592 CPUtime=50.18 cores=0,2,4,6 /proc/2012/task/2023/stat : 2023 (java) S 2010 2012 28116 0 -1 4202560 35795 0 0 0 5012 6 0 0 15 0 22 0 811769381 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 0 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2024] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2024/stat : 2024 (java) S 2010 2012 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811769382 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2025] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2025/stat : 2025 (java) S 2010 2012 28116 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811769382 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2026] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2026/stat : 2026 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273440177 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2027] ppid=2010 vsize=10566592 CPUtime=1.37 cores=0,2,4,6 /proc/2012/task/2027/stat : 2027 (java) S 2010 2012 28116 0 -1 4202560 8517 0 0 0 136 1 0 0 15 0 22 0 811769384 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2028] ppid=2010 vsize=10566592 CPUtime=1.3 cores=0,2,4,6 /proc/2012/task/2028/stat : 2028 (java) S 2010 2012 28116 0 -1 4202560 4124 0 0 0 130 0 0 0 15 0 22 0 811769384 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2029] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2029/stat : 2029 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2030] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2030/stat : 2030 (java) S 2010 2012 28116 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811769384 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2037] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2037/stat : 2037 (java) S 2010 2012 28116 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811769484 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2111] ppid=2010 vsize=10566592 CPUtime=799.1 cores=0,2,4,6 /proc/2012/task/2111/stat : 2111 (java) R 2010 2012 28116 0 -1 4202560 219 0 0 0 79909 1 0 0 25 0 22 0 811772504 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 46912506052285 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=2012/tid=2112] ppid=2010 vsize=10566592 CPUtime=799.1 cores=0,2,4,6 /proc/2012/task/2112/stat : 2112 (java) R 2010 2012 28116 0 -1 4202560 206158 0 0 0 79890 20 0 0 25 0 22 0 811772504 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 46912505926032 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=2012/tid=2113] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2113/stat : 2113 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811772505 10820190208 962535 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1715.66 Current children cumulated vsize (KiB) 10566592 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+926.801 s] /proc/loadavg: 3.76 3.87 3.81 4/520 2148 /proc/meminfo: memFree=13705828/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=10566592 CPUtime=1800.01 cores=0,2,4,6 /proc/2012/stat : 2012 (java) S 2010 2012 28116 0 -1 4202496 972768 0 1 0 179891 110 0 0 25 0 22 0 811769378 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/2012/statm: 2641648 965026 2270 9 0 2632382 0 [pid=2012/tid=2013] ppid=2010 vsize=10566592 CPUtime=0.58 cores=0,2,4,6 /proc/2012/task/2013/stat : 2013 (java) S 2010 2012 28116 0 -1 4202560 24245 0 1 0 55 3 0 0 15 0 22 0 811769379 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2015] ppid=2010 vsize=10566592 CPUtime=1.03 cores=0,2,4,6 /proc/2012/task/2015/stat : 2015 (java) S 2010 2012 28116 0 -1 4202560 6944 0 0 0 102 1 0 0 15 0 22 0 811769380 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2016] ppid=2010 vsize=10566592 CPUtime=0.92 cores=0,2,4,6 /proc/2012/task/2016/stat : 2016 (java) S 2010 2012 28116 0 -1 4202560 8634 0 0 0 91 1 0 0 15 0 22 0 811769380 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2017] ppid=2010 vsize=10566592 CPUtime=1 cores=0,2,4,6 /proc/2012/task/2017/stat : 2017 (java) S 2010 2012 28116 0 -1 4202560 8325 0 0 0 100 0 0 0 16 0 22 0 811769380 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2018] ppid=2010 vsize=10566592 CPUtime=0.97 cores=0,2,4,6 /proc/2012/task/2018/stat : 2018 (java) S 2010 2012 28116 0 -1 4202560 8305 0 0 0 96 1 0 0 15 0 22 0 811769380 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2019] ppid=2010 vsize=10566592 CPUtime=0.9 cores=0,2,4,6 /proc/2012/task/2019/stat : 2019 (java) S 2010 2012 28116 0 -1 4202560 9996 0 0 0 89 1 0 0 15 0 22 0 811769380 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2020] ppid=2010 vsize=10566592 CPUtime=0.96 cores=0,2,4,6 /proc/2012/task/2020/stat : 2020 (java) S 2010 2012 28116 0 -1 4202560 7682 0 0 0 95 1 0 0 15 0 22 0 811769380 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2021] ppid=2010 vsize=10566592 CPUtime=0.85 cores=0,2,4,6 /proc/2012/task/2021/stat : 2021 (java) S 2010 2012 28116 0 -1 4202560 6686 0 0 0 85 0 0 0 15 0 22 0 811769380 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2022] ppid=2010 vsize=10566592 CPUtime=0.95 cores=0,2,4,6 /proc/2012/task/2022/stat : 2022 (java) S 2010 2012 28116 0 -1 4202560 8556 0 0 0 94 1 0 0 15 0 22 0 811769380 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 6 0 0 0 [pid=2012/tid=2023] ppid=2010 vsize=10566592 CPUtime=55.07 cores=0,2,4,6 /proc/2012/task/2023/stat : 2023 (java) S 2010 2012 28116 0 -1 4202560 36237 0 0 0 5501 6 0 0 16 0 22 0 811769381 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 0 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2024] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2024/stat : 2024 (java) S 2010 2012 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811769382 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2025] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2025/stat : 2025 (java) S 2010 2012 28116 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811769382 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2026] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2026/stat : 2026 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273440177 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2027] ppid=2010 vsize=10566592 CPUtime=1.37 cores=0,2,4,6 /proc/2012/task/2027/stat : 2027 (java) S 2010 2012 28116 0 -1 4202560 8517 0 0 0 136 1 0 0 15 0 22 0 811769384 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2028] ppid=2010 vsize=10566592 CPUtime=1.3 cores=0,2,4,6 /proc/2012/task/2028/stat : 2028 (java) S 2010 2012 28116 0 -1 4202560 4124 0 0 0 130 0 0 0 15 0 22 0 811769384 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2029] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2029/stat : 2029 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811769384 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273432473 0 4 0 16800975 18446604453762861248 0 0 -1 4 0 0 0 [pid=2012/tid=2030] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2030/stat : 2030 (java) S 2010 2012 28116 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811769384 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 2 0 0 0 [pid=2012/tid=2037] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2037/stat : 2037 (java) S 2010 2012 28116 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811769484 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 [pid=2012/tid=2111] ppid=2010 vsize=10566592 CPUtime=838.56 cores=0,2,4,6 /proc/2012/task/2111/stat : 2111 (java) R 2010 2012 28116 0 -1 4202560 232 0 0 0 83855 1 0 0 18 0 22 0 811772504 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 46912506052525 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=2012/tid=2112] ppid=2010 vsize=10566592 CPUtime=838.56 cores=0,2,4,6 /proc/2012/task/2112/stat : 2112 (java) R 2010 2012 28116 0 -1 4202560 206159 0 0 0 83836 20 0 0 18 0 22 0 811772504 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 46912505983139 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=2012/tid=2113] ppid=2010 vsize=10566592 CPUtime=0 cores=0,2,4,6 /proc/2012/task/2113/stat : 2113 (java) S 2010 2012 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811772505 10820190208 965026 33554432000 1073741824 1073778376 140733470121616 18446744073709551615 254273433088 0 4 0 16800975 18446604453762861248 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 10566592 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+927.001 s] /proc/loadavg: 3.76 3.87 3.81 4/520 2148 /proc/meminfo: memFree=13705828/32951124 swapFree=67057928/67111528 [pid=2012] ppid=2010 vsize=0 CPUtime=1800.31 cores=0,2,4,6 /proc/2012/stat : 2012 (java) Z 2010 2012 28116 0 -1 4203548 972798 0 1 0 179906 125 0 0 17 0 2 0 811769378 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 /proc/2012/statm: 0 0 0 0 0 0 0 [pid=2012/tid=2113] ppid=2010 vsize=0 CPUtime=0.14 cores=0,2,4,6 /proc/2012/task/2113/stat : 2113 (java) R 2010 2012 28116 0 -1 4203588 1 0 0 0 0 14 0 0 18 0 2 0 811772505 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 927.018 CPU time (s): 1800.34 CPU user time (s): 1799.07 CPU system time (s): 1.26981 CPU usage (%): 194.208 Max. virtual memory (cumulated for all children) (KiB): 10566592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.07 system time used= 1.26981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972798 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28817 involuntary context switches= 27694 runsolver used 4.83726 second user time and 10.2394 second system time The end
Begin job on node140 at 2011-06-04 15:19:01 IDJOB=3454105 IDBENCH=24991 IDSOLVER=1950 FILE ID=node140/3454105-1307193540 RUNJOBID= node140-1307192624-1892 PBS_JOBID= 13508839 Free space on /tmp= 73644 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454105-1307193540/watcher-3454105-1307193540 -o /tmp/evaluation-result-3454105-1307193540/solver-3454105-1307193540 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454105-1307193540.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED=541262907 node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 20464396 kB Buffers: 317756 kB Cached: 4003032 kB SwapCached: 6932 kB Active: 8334908 kB Inactive: 3814256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20464396 kB SwapTotal: 67111528 kB SwapFree: 67057928 kB Dirty: 864 kB Writeback: 0 kB AnonPages: 7826316 kB Mapped: 46200 kB Slab: 215568 kB PageTables: 54268 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 151774576 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73644 MiB End job on node140 at 2011-06-04 15:34:29