Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 19 | 1801.13 | 928.258 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb |
| MD5SUM | b21d0afca1befeb5506928b558ab5220 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 0.662899 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | YES |
| Number of variables | 6672 |
| Total number of constraints | 14168 |
| Number of constraints which are clauses | 14168 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 3302 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 3302 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3302 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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.2.0.v20100531 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 1349517296 0.00/0.09 c Max memory 1356595200 0.00/0.09 c Total memory 1356595200 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c Stops conflict analysis at the first Unique Implication Point 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c Stops conflict analysis at the first Unique Implication Point 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 0.08/0.12 c solving HOME/instance-3736232-1338751156.opb 0.08/0.12 c reading problem ... 0.80/0.47 c ... done. Wall clock time 0.352s. 0.80/0.47 c #vars 6672 0.80/0.47 c #constraints 14168 0.80/0.47 c constraints type 0.80/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 0.80/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 0.80/0.47 c constraints type 0.80/0.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 0.80/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 1.53/0.66 c And the winner is CuttingPlanes 1.90/1.48 c SATISFIABLE 1.95/1.50 c OPTIMIZING... 1.95/1.50 c Got one! Elapsed wall clock time (in seconds):1.368 1.95/1.50 o 28 1.95/1.54 c And the winner is Resolution 2.45/2.51 c Got one! Elapsed wall clock time (in seconds):2.398 2.45/2.51 o 27 2.45/2.58 c And the winner is Resolution 2.79/3.53 c Got one! Elapsed wall clock time (in seconds):3.417 2.79/3.53 o 26 2.79/3.56 c And the winner is Resolution 3.05/4.55 c Got one! Elapsed wall clock time (in seconds):4.432 3.05/4.55 o 25 3.05/4.58 c And the winner is Resolution 3.74/5.56 c Got one! Elapsed wall clock time (in seconds):5.446 3.74/5.56 o 24 3.86/5.62 c And the winner is Resolution 4.55/6.57 c Got one! Elapsed wall clock time (in seconds):6.458 4.55/6.57 o 23 5.03/6.89 c And the winner is Resolution 5.34/7.59 c Got one! Elapsed wall clock time (in seconds):7.469 5.34/7.59 o 22 6.57/8.22 c And the winner is Resolution 6.68/8.60 c Got one! Elapsed wall clock time (in seconds):8.48 6.68/8.60 o 21 8.30/9.41 c cleaning 2495 clauses out of 5001 with flag 5001/5001 13.46/11.93 c cleaning 4243 clauses out of 8505 with flag 11000/11000 19.92/15.12 c cleaning 5592 clauses out of 11262 with flag 18000/18000 26.49/18.45 c cleaning 6830 clauses out of 13670 with flag 26000/26000 33.77/22.04 c And the winner is Resolution 34.24/22.61 c Got one! Elapsed wall clock time (in seconds):22.493 34.24/22.61 o 20 34.42/22.74 c cleaning 7916 clauses out of 15840 with flag 35000/35000 42.81/26.98 c cleaning 8951 clauses out of 17924 with flag 45000/45000 54.42/32.74 c cleaning 9972 clauses out of 19973 with flag 56000/56000 66.26/38.63 c cleaning 10993 clauses out of 22001 with flag 68000/68000 77.80/44.45 c cleaning 11998 clauses out of 24018 with flag 81010/81010 89.73/50.40 c cleaning 12999 clauses out of 26010 with flag 95000/95000 102.16/56.61 c cleaning 14001 clauses out of 28011 with flag 110000/110000 114.36/62.74 c cleaning 14500 clauses out of 29012 with flag 125002/125002 127.68/69.49 c cleaning 14747 clauses out of 29510 with flag 140000/140000 136.82/74.05 c cleaning 14860 clauses out of 29763 with flag 155000/155000 155.05/83.13 c cleaning 14948 clauses out of 29903 with flag 170000/170000 168.04/89.64 c cleaning 14977 clauses out of 29957 with flag 185002/185002 180.14/95.74 c cleaning 14980 clauses out of 29979 with flag 200001/200001 194.09/102.74 c cleaning 14992 clauses out of 29998 with flag 215000/215000 205.80/108.65 c cleaning 14991 clauses out of 30006 with flag 230000/230000 217.33/114.42 c cleaning 14993 clauses out of 30015 with flag 245000/245000 229.76/120.75 c cleaning 15006 clauses out of 30022 with flag 260000/260000 243.08/127.43 c cleaning 15001 clauses out of 30016 with flag 275000/275000 254.39/133.13 c And the winner is Resolution 276.51/155.63 c Got one! Elapsed wall clock time (in seconds):155.514 276.51/155.63 o 19 278.67/156.76 c cleaning 15007 clauses out of 30016 with flag 290001/290001 287.78/161.34 c cleaning 14996 clauses out of 30008 with flag 305000/305000 300.89/167.93 c cleaning 14997 clauses out of 30012 with flag 320000/320000 313.21/174.14 c cleaning 14999 clauses out of 30015 with flag 335000/335000 325.15/180.18 c cleaning 14993 clauses out of 30016 with flag 350000/350000 339.51/187.38 c cleaning 15002 clauses out of 30024 with flag 365001/365001 352.93/194.18 c cleaning 15000 clauses out of 30024 with flag 380003/380003 367.29/201.39 c cleaning 14996 clauses out of 30021 with flag 395000/395000 381.61/208.57 c cleaning 15002 clauses out of 30025 with flag 410000/410000 397.95/216.72 c cleaning 14952 clauses out of 30023 with flag 425000/425000 411.36/223.55 c cleaning 15020 clauses out of 30071 with flag 440000/440000 425.89/230.88 c cleaning 14975 clauses out of 30051 with flag 455000/455000 444.02/239.91 c cleaning 15028 clauses out of 30076 with flag 470000/470000 458.00/246.99 c cleaning 15015 clauses out of 30048 with flag 485000/485000 469.55/252.88 c cleaning 15009 clauses out of 30034 with flag 500001/500001 480.67/258.44 c cleaning 14999 clauses out of 30024 with flag 515000/515000 494.35/265.36 c cleaning 14999 clauses out of 30025 with flag 530000/530000 512.70/274.55 c cleaning 15001 clauses out of 30026 with flag 545000/545000 532.94/284.72 c cleaning 14964 clauses out of 30026 with flag 560001/560001 550.06/293.35 c cleaning 15026 clauses out of 30061 with flag 575000/575000 568.36/302.54 c cleaning 15014 clauses out of 30035 with flag 590000/590000 582.62/309.73 c cleaning 15005 clauses out of 30022 with flag 605001/605001 597.04/317.05 c cleaning 15000 clauses out of 30016 with flag 620000/620000 613.32/325.24 c cleaning 14983 clauses out of 30016 with flag 635000/635000 628.56/332.91 c cleaning 15010 clauses out of 30034 with flag 650001/650001 638.44/337.93 c cleaning 15002 clauses out of 30024 with flag 665001/665001 650.61/344.18 c cleaning 15010 clauses out of 30021 with flag 680000/680000 667.54/352.67 c cleaning 14991 clauses out of 30011 with flag 695000/695000 683.63/360.76 c cleaning 14991 clauses out of 30020 with flag 710000/710000 697.25/367.62 c cleaning 15000 clauses out of 30029 with flag 725000/725000 707.54/372.93 c cleaning 15003 clauses out of 30029 with flag 740000/740000 718.13/378.34 c cleaning 15004 clauses out of 30027 with flag 755001/755001 729.79/384.29 c cleaning 14997 clauses out of 30023 with flag 770001/770001 741.59/390.20 c cleaning 15002 clauses out of 30026 with flag 785001/785001 753.04/396.19 c cleaning 14955 clauses out of 30023 with flag 800000/800000 767.47/403.44 c cleaning 15004 clauses out of 30068 with flag 815000/815000 781.90/410.80 c cleaning 15011 clauses out of 30064 with flag 830000/830000 798.82/419.25 c cleaning 15014 clauses out of 30053 with flag 845000/845000 814.74/427.35 c cleaning 15000 clauses out of 30039 with flag 860000/860000 831.61/435.84 c cleaning 14968 clauses out of 30039 with flag 875000/875000 845.84/443.06 c cleaning 15028 clauses out of 30071 with flag 890000/890000 859.86/450.18 c cleaning 15018 clauses out of 30045 with flag 905002/905002 874.20/457.42 c cleaning 15006 clauses out of 30025 with flag 920000/920000 888.43/464.61 c cleaning 15001 clauses out of 30019 with flag 935000/935000 901.08/471.02 c cleaning 15002 clauses out of 30018 with flag 950000/950000 912.13/476.64 c cleaning 14991 clauses out of 30016 with flag 965000/965000 925.46/483.42 c cleaning 15004 clauses out of 30025 with flag 980000/980000 941.95/491.77 c cleaning 15004 clauses out of 30022 with flag 995001/995001 958.43/500.05 c cleaning 14976 clauses out of 30017 with flag 1010000/1010000 971.32/506.57 c cleaning 15014 clauses out of 30042 with flag 1025001/1025001 983.78/512.90 c cleaning 15010 clauses out of 30027 with flag 1040000/1040000 996.26/519.27 c cleaning 15004 clauses out of 30018 with flag 1055001/1055001 1009.70/526.06 c cleaning 14971 clauses out of 30014 with flag 1070001/1070001 1024.82/533.66 c cleaning 15014 clauses out of 30042 with flag 1085000/1085000 1036.30/539.53 c cleaning 15008 clauses out of 30028 with flag 1100000/1100000 1047.74/545.39 c cleaning 15002 clauses out of 30020 with flag 1115000/1115000 1059.94/551.54 c cleaning 15003 clauses out of 30019 with flag 1130001/1130001 1073.60/558.41 c cleaning 14996 clauses out of 30016 with flag 1145001/1145001 1086.82/565.27 c cleaning 15001 clauses out of 30019 with flag 1160000/1160000 1099.66/571.71 c cleaning 15003 clauses out of 30020 with flag 1175002/1175002 1115.74/579.81 c cleaning 14970 clauses out of 30015 with flag 1190000/1190000 1131.21/587.67 c cleaning 15008 clauses out of 30046 with flag 1205001/1205001 1146.10/595.20 c cleaning 15006 clauses out of 30037 with flag 1220000/1220000 1161.34/603.00 c cleaning 14996 clauses out of 30031 with flag 1235000/1235000 1176.58/610.68 c cleaning 14991 clauses out of 30035 with flag 1250000/1250000 1192.01/618.44 c cleaning 14958 clauses out of 30044 with flag 1265000/1265000 1207.28/626.23 c cleaning 15032 clauses out of 30087 with flag 1280001/1280001 1224.74/635.02 c cleaning 15014 clauses out of 30055 with flag 1295001/1295001 1242.78/644.19 c cleaning 14996 clauses out of 30040 with flag 1310000/1310000 1259.28/652.46 c cleaning 14970 clauses out of 30044 with flag 1325000/1325000 1273.56/659.77 c cleaning 15033 clauses out of 30074 with flag 1340000/1340000 1285.16/665.60 c cleaning 15002 clauses out of 30041 with flag 1355000/1355000 1298.03/672.11 c cleaning 15009 clauses out of 30040 with flag 1370001/1370001 1311.42/678.96 c cleaning 15010 clauses out of 30030 with flag 1385000/1385000 1329.73/688.21 c cleaning 15005 clauses out of 30020 with flag 1400000/1400000 1347.04/696.95 c cleaning 14998 clauses out of 30015 with flag 1415000/1415000 1359.44/703.22 c cleaning 15004 clauses out of 30018 with flag 1430001/1430001 1371.83/709.53 c cleaning 14991 clauses out of 30013 with flag 1445000/1445000 1383.59/715.63 c cleaning 14991 clauses out of 30022 with flag 1460000/1460000 1399.44/723.66 c cleaning 14985 clauses out of 30031 with flag 1475000/1475000 1415.31/731.62 c cleaning 14972 clauses out of 30046 with flag 1490000/1490000 1431.70/739.93 c cleaning 14986 clauses out of 30074 with flag 1505000/1505000 1448.32/748.41 c cleaning 15029 clauses out of 30088 with flag 1520000/1520000 1459.88/754.31 c cleaning 15025 clauses out of 30063 with flag 1535004/1535004 1472.11/760.50 c cleaning 15007 clauses out of 30034 with flag 1550000/1550000 1484.29/766.79 c cleaning 15004 clauses out of 30027 with flag 1565000/1565000 1497.42/773.55 c cleaning 15002 clauses out of 30023 with flag 1580000/1580000 1511.24/780.50 c cleaning 15002 clauses out of 30023 with flag 1595002/1595002 1523.78/786.97 c cleaning 15000 clauses out of 30020 with flag 1610001/1610001 1536.59/793.50 c cleaning 14969 clauses out of 30019 with flag 1625000/1625000 1553.02/801.82 c cleaning 14995 clauses out of 30050 with flag 1640000/1640000 1569.92/810.39 c cleaning 15006 clauses out of 30055 with flag 1655000/1655000 1586.99/818.99 c cleaning 14999 clauses out of 30052 with flag 1670003/1670003 1603.24/827.19 c cleaning 15014 clauses out of 30050 with flag 1685000/1685000 1619.10/835.25 c cleaning 15002 clauses out of 30036 with flag 1700000/1700000 1633.89/842.79 c cleaning 15009 clauses out of 30034 with flag 1715000/1715000 1651.16/851.46 c cleaning 14997 clauses out of 30025 with flag 1730000/1730000 1665.75/858.84 c cleaning 14995 clauses out of 30028 with flag 1745000/1745000 1682.15/867.29 c cleaning 14999 clauses out of 30033 with flag 1760000/1760000 1695.93/874.23 c cleaning 15004 clauses out of 30034 with flag 1775000/1775000 1704.85/878.86 c cleaning 15009 clauses out of 30031 with flag 1790001/1790001 1714.55/883.86 c cleaning 15001 clauses out of 30021 with flag 1805000/1805000 1724.24/888.94 c cleaning 15004 clauses out of 30020 with flag 1820000/1820000 1733.98/893.93 c cleaning 14997 clauses out of 30016 with flag 1835000/1835000 1743.71/898.91 c cleaning 15004 clauses out of 30019 with flag 1850000/1850000 1753.44/903.94 c cleaning 14998 clauses out of 30015 with flag 1865000/1865000 1763.53/909.20 c cleaning 15000 clauses out of 30017 with flag 1880000/1880000 1773.85/914.56 c cleaning 14993 clauses out of 30017 with flag 1895000/1895000 1784.17/919.88 c cleaning 15003 clauses out of 30025 with flag 1910001/1910001 1793.90/924.86 c cleaning 15003 clauses out of 30021 with flag 1925000/1925000 1800.21/928.21 c starts : 219 1800.21/928.21 c conflicts : 1933575 1800.21/928.21 c decisions : 18501101 1800.21/928.21 c propagations : 3876307939 1800.21/928.21 c inspects : 3987744467 1800.21/928.21 c learnt literals : 0 1800.21/928.21 c learnt binary clauses : 0 1800.21/928.21 c learnt ternary clauses : 0 1800.21/928.21 c learnt clauses : 1933575 1800.21/928.21 c ignored clauses : 0 1800.21/928.21 c root simplifications : 0 1800.21/928.21 c removed literals (reason simplification) : 6193822 1800.21/928.21 c reason swapping (by a shorter reason) : 0 1800.21/928.21 c Calls to reduceDB : 132 1800.21/928.21 c number of reductions to clauses (during analyze) : 0 1800.21/928.21 c number of learned constraints concerned by reduction : 0 1800.21/928.21 c number of learning phase by resolution : 0 1800.21/928.21 c number of learning phase by cutting planes : 0 1800.21/928.21 c speed (assignments/second) : 5017376.785744334 1800.21/928.21 c non guided choices 52348 1800.21/928.22 c learnt constraints type 1800.21/928.22 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 23619 1800.21/928.22 c constraints type 1800.21/928.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 1800.21/928.22 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.21/928.22 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 1800.21/928.22 c constraints type 1800.21/928.22 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 1800.21/928.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 1800.21/928.22 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.21/928.22 s SATISFIABLE 1800.21/928.23 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 x4028 x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 x4052 x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 x6659 -x6660 -x6661 x6662 -x6663 -x6664 x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 x6672 1800.21/928.24 c objective function=19 1800.21/928.24 c Total wall clock time (in seconds): 928.121
OK 19
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736232-1338751156/watcher-3736232-1338751156 -o /tmp/evaluation-result-3736232-1338751156/solver-3736232-1338751156 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736232-1338751156.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.20 3.66 3.65 2/196 18300 /proc/meminfo: memFree=26793900/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/18300/stat : 18300 (java6) D 18298 18300 17435 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341241651 2560000 46 33554432000 1073741824 1073778376 140734728222496 140734728219624 266426477863 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 625 46 37 9 0 29 0 [startup+0.021087 s] /proc/loadavg: 3.20 3.66 3.65 2/196 18300 /proc/meminfo: memFree=26793900/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=101528 CPUtime=0 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 1372 0 0 0 0 0 0 0 20 0 2 0 341241651 103964672 1054 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 25382 1054 807 9 0 16774 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 101528 [startup+0.100241 s] /proc/loadavg: 3.20 3.66 3.65 2/196 18300 /proc/meminfo: memFree=26793900/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2699928 CPUtime=0.08 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 4663 0 1 0 7 1 0 0 20 0 18 0 341241651 2764726272 6353 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 674982 6353 2079 9 0 665676 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2699928 [startup+0.300159 s] /proc/loadavg: 3.20 3.66 3.65 2/196 18300 /proc/meminfo: memFree=26793900/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2699928 CPUtime=0.5 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 6531 0 1 0 49 1 0 0 20 0 18 0 341241651 2764726272 9460 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 674982 9460 2218 9 0 665676 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 2699928 [startup+0.700174 s] /proc/loadavg: 3.20 3.66 3.65 2/196 18300 /proc/meminfo: memFree=26793900/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2966184 CPUtime=1.88 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 14677 0 1 0 182 6 0 0 20 0 20 0 341241651 3037372416 24308 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 741546 24308 2260 9 0 732240 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 2966184 [startup+1.50057 s] /proc/loadavg: 3.02 3.61 3.63 2/216 18322 /proc/meminfo: memFree=26705800/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2966184 CPUtime=1.95 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 14679 0 1 0 189 6 0 0 20 0 20 0 341241651 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 741546 24821 2261 9 0 732240 0 [pid=18300/tid=18302] ppid=18298 vsize=2966184 CPUtime=0.46 cores=0,2,4,6 /proc/18300/task/18302/stat : 18302 (java) R 18298 18300 17435 0 -1 4202560 2815 0 1 0 44 2 0 0 20 0 20 0 341241652 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533335569560 140533338854278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18303/stat : 18303 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533319850536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18304] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18304/stat : 18304 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533318797736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18305] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18305/stat : 18305 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533317744936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18306] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18306/stat : 18306 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533316692136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18307] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18307/stat : 18307 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533315640360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18308] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18308/stat : 18308 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533314587560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18309] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18309/stat : 18309 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533313534760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18310] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18310/stat : 18310 (java) S 18298 18300 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533312481960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18311] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18311/stat : 18311 (java) S 18298 18300 17435 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 341241655 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533300070888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18312] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18312/stat : 18312 (java) S 18298 18300 17435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341241655 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533299016952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18313] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18313/stat : 18313 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341241655 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533297964040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18314] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18314/stat : 18314 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241658 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533296912528 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18315] ppid=18298 vsize=2966184 CPUtime=0.52 cores=0,2,4,6 /proc/18300/task/18315/stat : 18315 (java) R 18298 18300 17435 0 -1 4202560 5029 0 0 0 52 0 0 0 20 0 20 0 341241658 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533295860664 140533338474908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18316] ppid=18298 vsize=2966184 CPUtime=0.53 cores=0,2,4,6 /proc/18300/task/18316/stat : 18316 (java) R 18298 18300 17435 0 -1 4202560 5536 0 0 0 53 0 0 0 20 0 20 0 341241658 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533294807864 140533338156382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18317] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18317/stat : 18317 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241658 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533293755256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18318] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18318/stat : 18318 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241658 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533292702664 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18321] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18321/stat : 18321 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341241710 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533289542568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18322] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18322/stat : 18322 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341241710 3037372416 24821 33554432000 1073741824 1073778376 140733945131136 140533288489768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.95 Current children cumulated vsize (KiB) 2966184 [startup+3.10068 s] /proc/loadavg: 3.02 3.61 3.63 2/216 18324 /proc/meminfo: memFree=26692132/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2966184 CPUtime=2.79 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 14881 0 1 0 269 10 0 0 20 0 20 0 341241651 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 741546 30488 2262 9 0 732240 0 [pid=18300/tid=18302] ppid=18298 vsize=2966184 CPUtime=0.48 cores=0,2,4,6 /proc/18300/task/18302/stat : 18302 (java) S 18298 18300 17435 0 -1 4202560 2815 0 1 0 46 2 0 0 20 0 20 0 341241652 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533335569560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18303/stat : 18303 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533319850536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18304] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18304/stat : 18304 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533318797736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18305] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18305/stat : 18305 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533317744936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18306] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18306/stat : 18306 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533316692136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18307] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18307/stat : 18307 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533315640360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18308] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18308/stat : 18308 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533314587560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18309] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18309/stat : 18309 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533313534760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18310] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18310/stat : 18310 (java) S 18298 18300 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533312481960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18311] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18311/stat : 18311 (java) S 18298 18300 17435 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341241655 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533300070888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18312] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18312/stat : 18312 (java) S 18298 18300 17435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341241655 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533299016952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18313] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18313/stat : 18313 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341241655 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533297964040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18314] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18314/stat : 18314 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241658 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533296912528 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18315] ppid=18298 vsize=2966184 CPUtime=0.68 cores=0,2,4,6 /proc/18300/task/18315/stat : 18315 (java) S 18298 18300 17435 0 -1 4202560 5051 0 0 0 67 1 0 0 20 0 20 0 341241658 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533295860664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18316] ppid=18298 vsize=2966184 CPUtime=0.71 cores=0,2,4,6 /proc/18300/task/18316/stat : 18316 (java) S 18298 18300 17435 0 -1 4202560 5694 0 0 0 71 0 0 0 20 0 20 0 341241658 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533294807864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18317] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18317/stat : 18317 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241658 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533293755256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18318] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18318/stat : 18318 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241658 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533292702664 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18321] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18321/stat : 18321 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341241710 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533289542568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18322] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18322/stat : 18322 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341241710 3037372416 30488 33554432000 1073741824 1073778376 140733945131136 140533288489768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.79 Current children cumulated vsize (KiB) 2966184 [startup+6.3007 s] /proc/loadavg: 3.02 3.61 3.63 3/217 18332 /proc/meminfo: memFree=26650336/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2966184 CPUtime=4.55 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 19179 0 1 0 434 21 0 0 20 0 20 0 341241651 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 741546 100109 2276 9 0 732240 0 [pid=18300/tid=18302] ppid=18298 vsize=2966184 CPUtime=0.52 cores=0,2,4,6 /proc/18300/task/18302/stat : 18302 (java) S 18298 18300 17435 0 -1 4202560 2819 0 1 0 50 2 0 0 20 0 20 0 341241652 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533335569560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18303/stat : 18303 (java) S 18298 18300 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533319850536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18304] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18304/stat : 18304 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533318797736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18305] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18305/stat : 18305 (java) S 18298 18300 17435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533317744936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18306] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18306/stat : 18306 (java) S 18298 18300 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533316692136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18307] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18307/stat : 18307 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533315640360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18308] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18308/stat : 18308 (java) S 18298 18300 17435 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533314587560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18309] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18309/stat : 18309 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533313534760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18310] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18310/stat : 18310 (java) S 18298 18300 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341241654 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533312481960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18311] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18311/stat : 18311 (java) S 18298 18300 17435 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 341241655 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533300070888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18312] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18312/stat : 18312 (java) S 18298 18300 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341241655 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533299016952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18313] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18313/stat : 18313 (java) S 18298 18300 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341241655 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533297964040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18314] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18314/stat : 18314 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241658 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533296912528 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18315] ppid=18298 vsize=2966184 CPUtime=0.86 cores=0,2,4,6 /proc/18300/task/18315/stat : 18315 (java) S 18298 18300 17435 0 -1 4202560 5214 0 0 0 85 1 0 0 20 0 20 0 341241658 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533295860664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18316] ppid=18298 vsize=2966184 CPUtime=1.18 cores=0,2,4,6 /proc/18300/task/18316/stat : 18316 (java) S 18298 18300 17435 0 -1 4202560 9617 0 0 0 116 2 0 0 20 0 20 0 341241658 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533294807864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18317] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18317/stat : 18317 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241658 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533293755256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18318] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18318/stat : 18318 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341241658 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533292702664 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18321] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18321/stat : 18321 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341241710 3037372416 100109 33554432000 1073741824 1073778376 140733945131136 140533289542568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 ################ # More data... # ################ [pid=18300/tid=18322] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18322/stat : 18322 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341241710 3037372416 194682 33554432000 1073741824 1073778376 140733945131136 140533288489768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18347] ppid=18298 vsize=2966184 CPUtime=575.72 cores=0,2,4,6 /proc/18300/task/18347/stat : 18347 (java) R 18298 18300 17435 0 -1 4202560 503 0 0 0 57561 11 0 0 20 0 22 0 341257214 3037372416 194682 33554432000 1073741824 1073778376 140733945131136 140533290593216 140533159175984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18348] ppid=18298 vsize=2966184 CPUtime=575.8 cores=0,2,4,6 /proc/18300/task/18348/stat : 18348 (java) R 18298 18300 17435 0 -1 4202560 363 0 0 0 57569 11 0 0 20 0 22 0 341257214 3037372416 194682 33554432000 1073741824 1073778376 140733945131136 140533291646208 140533159248979 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1475.42 Current children cumulated vsize (KiB) 2966184 [startup+822.301 s] /proc/loadavg: 4.00 3.95 3.81 5/219 18353 /proc/meminfo: memFree=25800452/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2966184 CPUtime=1593.54 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 22402 0 1 0 159186 168 0 0 20 0 22 0 341241651 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 741546 197341 2289 9 0 732240 0 [pid=18300/tid=18302] ppid=18298 vsize=2966184 CPUtime=0.6 cores=0,2,4,6 /proc/18300/task/18302/stat : 18302 (java) S 18298 18300 17435 0 -1 4202560 2847 0 1 0 57 3 0 0 20 0 22 0 341241652 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533335569560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=2966184 CPUtime=3.96 cores=0,2,4,6 /proc/18300/task/18303/stat : 18303 (java) S 18298 18300 17435 0 -1 4202560 222 0 0 0 389 7 0 0 20 0 22 0 341241654 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533319850536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18304] ppid=18298 vsize=2966184 CPUtime=3.83 cores=0,2,4,6 /proc/18300/task/18304/stat : 18304 (java) S 18298 18300 17435 0 -1 4202560 145 0 0 0 377 6 0 0 20 0 22 0 341241654 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533318797736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18305] ppid=18298 vsize=2966184 CPUtime=3.92 cores=0,2,4,6 /proc/18300/task/18305/stat : 18305 (java) S 18298 18300 17435 0 -1 4202560 163 0 0 0 385 7 0 0 20 0 22 0 341241654 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533317744936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18306] ppid=18298 vsize=2966184 CPUtime=3.96 cores=0,2,4,6 /proc/18300/task/18306/stat : 18306 (java) S 18298 18300 17435 0 -1 4202560 199 0 0 0 388 8 0 0 20 0 22 0 341241654 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533316692136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18307] ppid=18298 vsize=2966184 CPUtime=3.93 cores=0,2,4,6 /proc/18300/task/18307/stat : 18307 (java) S 18298 18300 17435 0 -1 4202560 146 0 0 0 385 8 0 0 20 0 22 0 341241654 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533315640360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18308] ppid=18298 vsize=2966184 CPUtime=3.95 cores=0,2,4,6 /proc/18300/task/18308/stat : 18308 (java) S 18298 18300 17435 0 -1 4202560 176 0 0 0 387 8 0 0 20 0 22 0 341241654 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533314587560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18309] ppid=18298 vsize=2966184 CPUtime=3.9 cores=0,2,4,6 /proc/18300/task/18309/stat : 18309 (java) S 18298 18300 17435 0 -1 4202560 157 0 0 0 383 7 0 0 20 0 22 0 341241654 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533313534760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18310] ppid=18298 vsize=2966184 CPUtime=3.76 cores=0,2,4,6 /proc/18300/task/18310/stat : 18310 (java) S 18298 18300 17435 0 -1 4202560 174 0 0 0 369 7 0 0 20 0 22 0 341241654 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533312481960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18311] ppid=18298 vsize=2966184 CPUtime=28.22 cores=0,2,4,6 /proc/18300/task/18311/stat : 18311 (java) S 18298 18300 17435 0 -1 4202560 566 0 0 0 2760 62 0 0 20 0 22 0 341241655 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533300070888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18312] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18312/stat : 18312 (java) S 18298 18300 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341241655 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533299016952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18313] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18313/stat : 18313 (java) S 18298 18300 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341241655 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533297964040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18314] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18314/stat : 18314 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341241658 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533296912528 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18315] ppid=18298 vsize=2966184 CPUtime=1.11 cores=0,2,4,6 /proc/18300/task/18315/stat : 18315 (java) S 18298 18300 17435 0 -1 4202560 5218 0 0 0 110 1 0 0 20 0 22 0 341241658 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533295860664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18316] ppid=18298 vsize=2966184 CPUtime=1.65 cores=0,2,4,6 /proc/18300/task/18316/stat : 18316 (java) S 18298 18300 17435 0 -1 4202560 9633 0 0 0 163 2 0 0 20 0 22 0 341241658 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533294807864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18317] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18317/stat : 18317 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341241658 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533293755256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18318] ppid=18298 vsize=2966184 CPUtime=0.25 cores=0,2,4,6 /proc/18300/task/18318/stat : 18318 (java) S 18298 18300 17435 0 -1 4202560 44 0 0 0 12 13 0 0 20 0 22 0 341241658 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533292702664 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18321] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18321/stat : 18321 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341241710 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533289542568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18322] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18322/stat : 18322 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341241710 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533288489768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18347] ppid=18298 vsize=2966184 CPUtime=631.71 cores=0,2,4,6 /proc/18300/task/18347/stat : 18347 (java) R 18298 18300 17435 0 -1 4202560 557 0 0 0 63159 12 0 0 20 0 22 0 341257214 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533290594080 140533159558507 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18348] ppid=18298 vsize=2966184 CPUtime=631.79 cores=0,2,4,6 /proc/18300/task/18348/stat : 18348 (java) R 18298 18300 17435 0 -1 4202560 397 0 0 0 63166 13 0 0 20 0 22 0 341257214 3037372416 197341 33554432000 1073741824 1073778376 140733945131136 140533291645392 140533159552362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1593.54 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 3.92 3.94 3.82 4/215 18411 /proc/meminfo: memFree=26426224/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2966184 CPUtime=1711.53 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 22649 0 1 0 170974 179 0 0 20 0 22 0 341241651 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 741546 201056 2289 9 0 732240 0 [pid=18300/tid=18302] ppid=18298 vsize=2966184 CPUtime=0.6 cores=0,2,4,6 /proc/18300/task/18302/stat : 18302 (java) S 18298 18300 17435 0 -1 4202560 2850 0 1 0 57 3 0 0 20 0 22 0 341241652 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533335569560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=2966184 CPUtime=4.3 cores=0,2,4,6 /proc/18300/task/18303/stat : 18303 (java) S 18298 18300 17435 0 -1 4202560 232 0 0 0 422 8 0 0 20 0 22 0 341241654 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533319850536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18304] ppid=18298 vsize=2966184 CPUtime=4.21 cores=0,2,4,6 /proc/18300/task/18304/stat : 18304 (java) S 18298 18300 17435 0 -1 4202560 159 0 0 0 415 6 0 0 20 0 22 0 341241654 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533318797736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18305] ppid=18298 vsize=2966184 CPUtime=4.33 cores=0,2,4,6 /proc/18300/task/18305/stat : 18305 (java) S 18298 18300 17435 0 -1 4202560 178 0 0 0 426 7 0 0 20 0 22 0 341241654 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533317744936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18306] ppid=18298 vsize=2966184 CPUtime=4.39 cores=0,2,4,6 /proc/18300/task/18306/stat : 18306 (java) S 18298 18300 17435 0 -1 4202560 211 0 0 0 431 8 0 0 20 0 22 0 341241654 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533316692136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18307] ppid=18298 vsize=2966184 CPUtime=4.29 cores=0,2,4,6 /proc/18300/task/18307/stat : 18307 (java) S 18298 18300 17435 0 -1 4202560 164 0 0 0 421 8 0 0 20 0 22 0 341241654 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533315640360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18308] ppid=18298 vsize=2966184 CPUtime=4.4 cores=0,2,4,6 /proc/18300/task/18308/stat : 18308 (java) S 18298 18300 17435 0 -1 4202560 220 0 0 0 431 9 0 0 20 0 22 0 341241654 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533314587560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18309] ppid=18298 vsize=2966184 CPUtime=4.3 cores=0,2,4,6 /proc/18300/task/18309/stat : 18309 (java) S 18298 18300 17435 0 -1 4202560 173 0 0 0 423 7 0 0 20 0 22 0 341241654 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533313534760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18310] ppid=18298 vsize=2966184 CPUtime=4.22 cores=0,2,4,6 /proc/18300/task/18310/stat : 18310 (java) S 18298 18300 17435 0 -1 4202560 193 0 0 0 414 8 0 0 20 0 22 0 341241654 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533312481960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18311] ppid=18298 vsize=2966184 CPUtime=31.45 cores=0,2,4,6 /proc/18300/task/18311/stat : 18311 (java) S 18298 18300 17435 0 -1 4202560 570 0 0 0 3078 67 0 0 20 0 22 0 341241655 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533300070888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18312] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18312/stat : 18312 (java) S 18298 18300 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341241655 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533299016952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18313] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18313/stat : 18313 (java) S 18298 18300 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341241655 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533297964040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18314] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18314/stat : 18314 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341241658 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533296912528 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18315] ppid=18298 vsize=2966184 CPUtime=1.11 cores=0,2,4,6 /proc/18300/task/18315/stat : 18315 (java) S 18298 18300 17435 0 -1 4202560 5218 0 0 0 110 1 0 0 20 0 22 0 341241658 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533295860664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18316] ppid=18298 vsize=2966184 CPUtime=1.65 cores=0,2,4,6 /proc/18300/task/18316/stat : 18316 (java) S 18298 18300 17435 0 -1 4202560 9633 0 0 0 163 2 0 0 20 0 22 0 341241658 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533294807864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18317] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18317/stat : 18317 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341241658 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533293755256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18318] ppid=18298 vsize=2966184 CPUtime=0.27 cores=0,2,4,6 /proc/18300/task/18318/stat : 18318 (java) S 18298 18300 17435 0 -1 4202560 48 0 0 0 13 14 0 0 20 0 22 0 341241658 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533292702664 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18321] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18321/stat : 18321 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341241710 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533289542568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18322] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18322/stat : 18322 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341241710 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533288489768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18347] ppid=18298 vsize=2966184 CPUtime=687.49 cores=0,2,4,6 /proc/18300/task/18347/stat : 18347 (java) R 18298 18300 17435 0 -1 4202560 612 0 0 0 68735 14 0 0 20 0 22 0 341257214 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533290594000 140533159669748 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18348] ppid=18298 vsize=2966184 CPUtime=687.58 cores=0,2,4,6 /proc/18300/task/18348/stat : 18348 (java) R 18298 18300 17435 0 -1 4202560 430 0 0 0 68744 14 0 0 20 0 22 0 341257214 3037372416 201056 33554432000 1073741824 1073778376 140733945131136 140533291645280 140533159552301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1711.53 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+928.201 s] /proc/loadavg: 3.92 3.93 3.82 5/219 18427 /proc/meminfo: memFree=25871788/32873648 swapFree=6860/6860 [pid=18300] ppid=18298 vsize=2966184 CPUtime=1800.21 cores=0,2,4,6 /proc/18300/stat : 18300 (java) S 18298 18300 17435 0 -1 4202496 22784 0 1 0 179836 185 0 0 20 0 22 0 341241651 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140733945122272 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18300/statm: 741546 201122 2289 9 0 732240 0 [pid=18300/tid=18302] ppid=18298 vsize=2966184 CPUtime=0.6 cores=0,2,4,6 /proc/18300/task/18302/stat : 18302 (java) S 18298 18300 17435 0 -1 4202560 2853 0 1 0 57 3 0 0 20 0 22 0 341241652 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533335569560 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=2966184 CPUtime=4.56 cores=0,2,4,6 /proc/18300/task/18303/stat : 18303 (java) S 18298 18300 17435 0 -1 4202560 239 0 0 0 448 8 0 0 20 0 22 0 341241654 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533319850536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18304] ppid=18298 vsize=2966184 CPUtime=4.46 cores=0,2,4,6 /proc/18300/task/18304/stat : 18304 (java) S 18298 18300 17435 0 -1 4202560 166 0 0 0 439 7 0 0 20 0 22 0 341241654 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533318797736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18305] ppid=18298 vsize=2966184 CPUtime=4.61 cores=0,2,4,6 /proc/18300/task/18305/stat : 18305 (java) S 18298 18300 17435 0 -1 4202560 184 0 0 0 453 8 0 0 20 0 22 0 341241654 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533317744936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18306] ppid=18298 vsize=2966184 CPUtime=4.62 cores=0,2,4,6 /proc/18300/task/18306/stat : 18306 (java) S 18298 18300 17435 0 -1 4202560 217 0 0 0 453 9 0 0 20 0 22 0 341241654 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533316692136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18307] ppid=18298 vsize=2966184 CPUtime=4.54 cores=0,2,4,6 /proc/18300/task/18307/stat : 18307 (java) S 18298 18300 17435 0 -1 4202560 175 0 0 0 446 8 0 0 20 0 22 0 341241654 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533315640360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18308] ppid=18298 vsize=2966184 CPUtime=4.64 cores=0,2,4,6 /proc/18300/task/18308/stat : 18308 (java) S 18298 18300 17435 0 -1 4202560 236 0 0 0 455 9 0 0 20 0 22 0 341241654 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533314587560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18309] ppid=18298 vsize=2966184 CPUtime=4.53 cores=0,2,4,6 /proc/18300/task/18309/stat : 18309 (java) S 18298 18300 17435 0 -1 4202560 177 0 0 0 446 7 0 0 20 0 22 0 341241654 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533313534760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18310] ppid=18298 vsize=2966184 CPUtime=4.53 cores=0,2,4,6 /proc/18300/task/18310/stat : 18310 (java) S 18298 18300 17435 0 -1 4202560 202 0 0 0 445 8 0 0 20 0 22 0 341241654 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533312481960 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18311] ppid=18298 vsize=2966184 CPUtime=35.35 cores=0,2,4,6 /proc/18300/task/18311/stat : 18311 (java) S 18298 18300 17435 0 -1 4202560 572 0 0 0 3465 70 0 0 20 0 22 0 341241655 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533300070888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18312] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18312/stat : 18312 (java) S 18298 18300 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341241655 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533299016952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18313] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18313/stat : 18313 (java) S 18298 18300 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341241655 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533297964040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18314] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18314/stat : 18314 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341241658 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533296912528 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18300/tid=18315] ppid=18298 vsize=2966184 CPUtime=1.11 cores=0,2,4,6 /proc/18300/task/18315/stat : 18315 (java) S 18298 18300 17435 0 -1 4202560 5218 0 0 0 110 1 0 0 20 0 22 0 341241658 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533295860664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18316] ppid=18298 vsize=2966184 CPUtime=1.65 cores=0,2,4,6 /proc/18300/task/18316/stat : 18316 (java) S 18298 18300 17435 0 -1 4202560 9633 0 0 0 163 2 0 0 20 0 22 0 341241658 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533294807864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18317] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18317/stat : 18317 (java) S 18298 18300 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341241658 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533293755256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18300/tid=18318] ppid=18298 vsize=2966184 CPUtime=0.29 cores=0,2,4,6 /proc/18300/task/18318/stat : 18318 (java) S 18298 18300 17435 0 -1 4202560 50 0 0 0 14 15 0 0 20 0 22 0 341241658 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533292702664 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18321] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18321/stat : 18321 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341241710 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533289542568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18300/tid=18322] ppid=18298 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/18300/task/18322/stat : 18322 (java) S 18298 18300 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341241710 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533288489768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18347] ppid=18298 vsize=2966184 CPUtime=728.9 cores=0,2,4,6 /proc/18300/task/18347/stat : 18347 (java) R 18298 18300 17435 0 -1 4202560 646 0 0 0 72875 15 0 0 20 0 22 0 341257214 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533290593336 140533159508395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18300/tid=18348] ppid=18298 vsize=2966184 CPUtime=728.95 cores=0,2,4,6 /proc/18300/task/18348/stat : 18348 (java) R 18298 18300 17435 0 -1 4202560 458 0 0 0 72880 15 0 0 20 0 22 0 341257214 3037372416 201122 33554432000 1073741824 1073778376 140733945131136 140533291646328 140533159252711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 928.258 CPU time (s): 1801.13 CPU user time (s): 1798.86 CPU system time (s): 2.27265 CPU usage (%): 194.034 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.86 system time used= 2.27265 maximum resident set size= 804604 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22815 page faults= 1 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 59758 involuntary context switches= 95224 runsolver used 3.06253 second user time and 8.60369 second system time The end
Begin job on node116 at 2012-06-03 21:19:16 IDJOB=3736232 IDBENCH=25035 IDSOLVER=2324 FILE ID=node116/3736232-1338751156 RUNJOBID= node116-1338748331-17451 PBS_JOBID= 14636786 Free space on /tmp= 71032 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736232-1338751156/watcher-3736232-1338751156 -o /tmp/evaluation-result-3736232-1338751156/solver-3736232-1338751156 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736232-1338751156.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b21d0afca1befeb5506928b558ab5220 RANDOM SEED=718547507 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26794428 kB Buffers: 555848 kB Cached: 4106728 kB SwapCached: 3028 kB Active: 2727756 kB Inactive: 2437608 kB Active(anon): 492700 kB Inactive(anon): 8500 kB Active(file): 2235056 kB Inactive(file): 2429108 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67103480 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 583172 kB Mapped: 20140 kB Shmem: 68 kB Slab: 775376 kB SReclaimable: 219468 kB SUnreclaim: 555908 kB KernelStack: 1784 kB PageTables: 4980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1571328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 538624 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71036 MiB End job on node116 at 2012-06-03 21:34:46