Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 23 | 1801.07 | 941.647 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
| MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 1800.97 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 5499 |
| Total number of constraints | 19319 |
| Number of constraints which are clauses | 19312 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 613 |
| Number of terms in the objective function | 613 |
| 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 | 613 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 643 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.15 c version 2.2.0.v20100531 0.09/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.15 c java.vm.version 11.2-b01 0.09/0.15 c java.vm.vendor Sun Microsystems Inc. 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.18-164.el5 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1393557488 0.09/0.15 c Max memory 1395916800 0.09/0.15 c Total memory 1395916800 0.09/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c ManyCore solver with 2 solvers running in parallel 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@197a37c 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@535b58 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.21 c No reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 0.23/0.21 c solving HOME/instance-2662084-1276642091.opb 0.23/0.21 c reading problem ... 2.03/1.25 c ... done. Wall clock time 1.038s. 2.03/1.25 c #vars 5499 2.03/1.25 c #constraints 19319 2.03/1.25 c constraints type 2.03/1.25 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 2.03/1.25 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 2.03/1.25 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 2.03/1.25 c constraints type 2.03/1.25 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 2.03/1.25 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 2.03/1.25 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 2.37/1.47 c And the winner is CuttingPlanes 2.67/2.27 c SATISFIABLE 2.67/2.27 c OPTIMIZING... 2.67/2.27 c Got one! Elapsed wall clock time (in seconds):2.058 2.67/2.27 o 27 3.13/2.52 c And the winner is Resolution 3.19/3.29 c Got one! Elapsed wall clock time (in seconds):3.083 3.19/3.29 o 26 4.99/4.22 c And the winner is Resolution 5.07/4.31 c Got one! Elapsed wall clock time (in seconds):4.102 5.07/4.31 o 25 7.82/5.72 c cleaning 2493 clauses out of 5001 with flag 5001/5001 11.53/7.62 c cleaning 4246 clauses out of 8507 with flag 11000/11000 15.42/9.64 c cleaning 5623 clauses out of 11262 with flag 18001/18001 20.51/12.24 c cleaning 6810 clauses out of 13641 with flag 26003/26003 25.96/15.04 c cleaning 7888 clauses out of 15828 with flag 35000/35000 31.82/18.09 c cleaning 8957 clauses out of 17941 with flag 45001/45001 38.87/21.61 c cleaning 9976 clauses out of 19983 with flag 56000/56000 45.51/25.09 c cleaning 10989 clauses out of 22010 with flag 68003/68003 53.31/29.07 c cleaning 11995 clauses out of 24018 with flag 81000/81000 61.92/33.43 c cleaning 12998 clauses out of 26023 with flag 95000/95000 71.12/38.19 c cleaning 14002 clauses out of 28026 with flag 110001/110001 81.30/43.34 c cleaning 15000 clauses out of 30026 with flag 126003/126003 91.25/48.48 c cleaning 15996 clauses out of 32023 with flag 143000/143000 100.03/52.91 c cleaning 17002 clauses out of 34029 with flag 161002/161002 109.98/58.09 c cleaning 18001 clauses out of 36025 with flag 180000/180000 122.30/64.39 c And the winner is CuttingPlanes 122.49/64.66 c Got one! Elapsed wall clock time (in seconds):64.45 122.49/64.66 o 24 126.33/66.61 c cleaning 19001 clauses out of 38024 with flag 200000/200000 143.17/75.27 c cleaning 19492 clauses out of 39023 with flag 220000/220000 157.25/82.43 c cleaning 19757 clauses out of 39531 with flag 240000/240000 173.70/90.89 c cleaning 19872 clauses out of 39778 with flag 260004/260004 187.56/97.98 c cleaning 19934 clauses out of 39902 with flag 280000/280000 200.57/104.63 c cleaning 19959 clauses out of 39968 with flag 300000/300000 216.99/113.09 c cleaning 19989 clauses out of 40011 with flag 320002/320002 228.27/118.84 c cleaning 19992 clauses out of 40021 with flag 340001/340001 245.28/127.57 c cleaning 19990 clauses out of 40031 with flag 360003/360003 264.60/137.40 c cleaning 20004 clauses out of 40039 with flag 380001/380001 279.23/144.99 c cleaning 20005 clauses out of 40034 with flag 400000/400000 295.05/153.06 c cleaning 20004 clauses out of 40033 with flag 420004/420004 309.65/160.53 c cleaning 19995 clauses out of 40025 with flag 440000/440000 327.16/169.56 c cleaning 19998 clauses out of 40030 with flag 460000/460000 346.30/179.38 c cleaning 19994 clauses out of 40032 with flag 480000/480000 358.10/185.49 c cleaning 19998 clauses out of 40038 with flag 500000/500000 370.10/191.61 c cleaning 19996 clauses out of 40040 with flag 520000/520000 388.36/201.01 c cleaning 20015 clauses out of 40047 with flag 540003/540003 409.29/211.74 c cleaning 19989 clauses out of 40029 with flag 560000/560000 429.58/222.17 c cleaning 20007 clauses out of 40040 with flag 580000/580000 442.94/229.08 c cleaning 20000 clauses out of 40033 with flag 600000/600000 457.18/236.46 c cleaning 19995 clauses out of 40033 with flag 620000/620000 471.73/243.96 c cleaning 19999 clauses out of 40039 with flag 640001/640001 494.19/255.40 c cleaning 19997 clauses out of 40041 with flag 660002/660002 508.90/263.01 c cleaning 19992 clauses out of 40043 with flag 680001/680001 520.90/269.40 c cleaning 19987 clauses out of 40050 with flag 700000/700000 533.04/275.68 c cleaning 20020 clauses out of 40063 with flag 720000/720000 551.12/284.96 c cleaning 20010 clauses out of 40046 with flag 740003/740003 572.13/295.74 c cleaning 20011 clauses out of 40038 with flag 760005/760005 593.00/306.51 c cleaning 20000 clauses out of 40023 with flag 780001/780001 605.08/312.81 c cleaning 19984 clauses out of 40022 with flag 800000/800000 616.18/318.70 c cleaning 19997 clauses out of 40039 with flag 820001/820001 629.04/325.33 c cleaning 19999 clauses out of 40041 with flag 840000/840000 640.37/331.38 c cleaning 19998 clauses out of 40042 with flag 860000/860000 651.43/337.11 c cleaning 19997 clauses out of 40044 with flag 880000/880000 664.47/343.93 c cleaning 20000 clauses out of 40048 with flag 900001/900001 678.87/351.49 c cleaning 19998 clauses out of 40047 with flag 920000/920000 693.53/359.12 c cleaning 20002 clauses out of 40049 with flag 940000/940000 708.34/366.86 c cleaning 19997 clauses out of 40048 with flag 960001/960001 723.13/374.59 c cleaning 19998 clauses out of 40050 with flag 980000/980000 744.24/385.46 c cleaning 19985 clauses out of 40052 with flag 1000000/1000000 761.03/394.25 c cleaning 20010 clauses out of 40068 with flag 1020001/1020001 773.23/400.66 c cleaning 20004 clauses out of 40058 with flag 1040001/1040001 784.40/406.57 c cleaning 20003 clauses out of 40053 with flag 1060000/1060000 795.99/412.69 c cleaning 20007 clauses out of 40050 with flag 1080000/1080000 817.09/423.67 c cleaning 19995 clauses out of 40044 with flag 1100001/1100001 837.35/434.12 c cleaning 20001 clauses out of 40048 with flag 1120000/1120000 858.81/445.22 c cleaning 19994 clauses out of 40047 with flag 1140000/1140000 877.87/455.19 c cleaning 19991 clauses out of 40053 with flag 1160000/1160000 896.76/465.00 c cleaning 20011 clauses out of 40064 with flag 1180002/1180002 912.62/473.39 c cleaning 19995 clauses out of 40051 with flag 1200000/1200000 930.27/482.51 c cleaning 20005 clauses out of 40057 with flag 1220001/1220001 946.54/491.06 c cleaning 20002 clauses out of 40052 with flag 1240001/1240001 964.41/500.41 c cleaning 20001 clauses out of 40050 with flag 1260001/1260001 981.47/509.34 c cleaning 20001 clauses out of 40048 with flag 1280000/1280000 995.91/516.96 c cleaning 19999 clauses out of 40048 with flag 1300001/1300001 1010.76/524.77 c cleaning 19999 clauses out of 40048 with flag 1320000/1320000 1026.34/533.10 c cleaning 20011 clauses out of 40051 with flag 1340002/1340002 1041.57/541.02 c cleaning 20002 clauses out of 40040 with flag 1360002/1360002 1052.82/547.03 c cleaning 20000 clauses out of 40037 with flag 1380001/1380001 1063.48/552.76 c And the winner is CuttingPlanes 1063.59/552.81 c Got one! Elapsed wall clock time (in seconds):552.596 1063.59/552.81 o 23 1071.90/557.10 c cleaning 20007 clauses out of 40037 with flag 1400001/1400001 1101.35/572.31 c cleaning 20008 clauses out of 40030 with flag 1420001/1420001 1124.31/584.25 c cleaning 19992 clauses out of 40021 with flag 1440000/1440000 1138.10/591.55 c cleaning 19998 clauses out of 40032 with flag 1460003/1460003 1150.52/598.11 c cleaning 19993 clauses out of 40031 with flag 1480000/1480000 1164.28/605.56 c cleaning 19991 clauses out of 40039 with flag 1500001/1500001 1185.20/616.48 c cleaning 20010 clauses out of 40048 with flag 1520001/1520001 1208.91/628.77 c cleaning 19999 clauses out of 40037 with flag 1540000/1540000 1235.40/642.42 c cleaning 20005 clauses out of 40038 with flag 1560000/1560000 1260.23/655.41 c cleaning 20002 clauses out of 40034 with flag 1580001/1580001 1288.28/669.92 c cleaning 20005 clauses out of 40031 with flag 1600000/1600000 1305.80/679.12 c cleaning 20000 clauses out of 40026 with flag 1620000/1620000 1324.30/688.82 c cleaning 20004 clauses out of 40026 with flag 1640000/1640000 1342.58/698.56 c cleaning 20000 clauses out of 40022 with flag 1660000/1660000 1360.87/708.11 c cleaning 20001 clauses out of 40024 with flag 1680002/1680002 1379.34/717.85 c cleaning 20001 clauses out of 40023 with flag 1700002/1700002 1397.81/727.52 c cleaning 20001 clauses out of 40022 with flag 1720002/1720002 1416.04/737.25 c cleaning 20000 clauses out of 40019 with flag 1740000/1740000 1434.52/746.96 c cleaning 19987 clauses out of 40019 with flag 1760000/1760000 1456.52/758.42 c cleaning 20000 clauses out of 40033 with flag 1780001/1780001 1476.94/769.15 c cleaning 20004 clauses out of 40033 with flag 1800001/1800001 1496.33/779.43 c cleaning 20004 clauses out of 40032 with flag 1820004/1820004 1512.79/788.11 c cleaning 19991 clauses out of 40024 with flag 1840000/1840000 1530.82/797.69 c cleaning 19997 clauses out of 40036 with flag 1860003/1860003 1548.62/807.00 c cleaning 19993 clauses out of 40036 with flag 1880000/1880000 1566.18/816.40 c cleaning 20000 clauses out of 40043 with flag 1900000/1900000 1585.34/826.55 c cleaning 20013 clauses out of 40046 with flag 1920003/1920003 1605.91/837.36 c cleaning 20002 clauses out of 40030 with flag 1940000/1940000 1623.90/846.85 c cleaning 19985 clauses out of 40028 with flag 1960000/1960000 1642.56/856.81 c cleaning 20009 clauses out of 40043 with flag 1980000/1980000 1661.32/866.72 c cleaning 20000 clauses out of 40035 with flag 2000001/2000001 1678.31/875.71 c cleaning 19991 clauses out of 40036 with flag 2020002/2020002 1692.28/883.26 c cleaning 20003 clauses out of 40044 with flag 2040001/2040001 1704.99/890.22 c cleaning 19993 clauses out of 40041 with flag 2060001/2060001 1731.26/903.97 c cleaning 19986 clauses out of 40047 with flag 2080000/2080000 1752.75/915.27 c cleaning 20002 clauses out of 40061 with flag 2100000/2100000 1767.66/923.26 c cleaning 20018 clauses out of 40061 with flag 2120002/2120002 1783.50/931.87 c cleaning 20004 clauses out of 40042 with flag 2140001/2140001 1797.42/939.39 c cleaning 20001 clauses out of 40039 with flag 2160002/2160002 1800.62/941.41 c starts : 24 1800.62/941.41 c conflicts : 4608 1800.62/941.41 c decisions : 41819 1800.62/941.41 c propagations : 618015 1800.62/941.41 c inspects : 81600111 1800.62/941.41 c learnt literals : 0 1800.62/941.41 c learnt binary clauses : 0 1800.62/941.41 c learnt ternary clauses : 0 1800.62/941.41 c learnt clauses : 4607 1800.62/941.41 c ignored clauses : 0 1800.62/941.41 c root simplifications : 0 1800.62/941.41 c removed literals (reason simplification) : 0 1800.62/941.41 c reason swapping (by a shorter reason) : 0 1800.62/941.41 c Calls to reduceDB : 0 1800.62/941.41 c number of reductions to clauses (during analyze) : 0 1800.62/941.41 c number of learned constraints concerned by reduction : 0 1800.62/941.41 c number of learning phase by resolution : 0 1800.62/941.41 c number of learning phase by cutting planes : 0 1800.62/941.41 c speed (assignments/second) : 1590.399674722266 1800.62/941.41 c non guided choices 0 1800.62/941.41 c learnt constraints type 1800.62/941.41 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 50 1800.62/941.41 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 12 1800.62/941.41 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4545 1800.62/941.41 c constraints type 1800.62/941.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 1800.62/941.41 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.62/941.41 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1800.62/941.41 c constraints type 1800.62/941.41 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 1800.62/941.41 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 1800.62/941.41 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.62/941.41 s SATISFIABLE 1800.82/941.55 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 1800.82/941.57 c objective function=23 1800.82/941.57 c Total wall clock time (in seconds): 941.356
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662084-1276642091/watcher-2662084-1276642091 -o /tmp/evaluation-result-2662084-1276642091/solver-2662084-1276642091 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662084-1276642091.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.95 0.98 3/105 11868 /proc/meminfo: memFree=1785976/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=248 CPUtime=0 /proc/11868/stat : 11868 (java) R 11866 11868 11843 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 5502921 253952 29 1992294400 134512640 134550932 4291338064 18446744073709551615 4993502 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11868/statm: 62 29 21 10 0 23 0 [startup+0.0934031 s] /proc/loadavg: 0.78 0.95 0.98 3/105 11868 /proc/meminfo: memFree=1785976/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1523144 CPUtime=0.07 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 3876 0 1 0 5 2 0 0 18 0 8 0 5502921 1559699456 3317 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 380786 3317 1048 10 0 378096 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1523144 [startup+0.106141 s] /proc/loadavg: 0.78 0.95 0.98 3/105 11868 /proc/meminfo: memFree=1785976/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1525204 CPUtime=0.09 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 4006 0 1 0 7 2 0 0 18 0 12 0 5502921 1561808896 3445 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 381301 3445 1078 10 0 378604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1525204 [startup+0.32112 s] /proc/loadavg: 0.78 0.95 0.98 3/105 11868 /proc/meminfo: memFree=1785976/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1526424 CPUtime=0.4 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 5544 0 1 0 36 4 0 0 18 0 12 0 5502921 1563058176 4981 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 381606 4981 1362 10 0 378909 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 1526424 [startup+0.701203 s] /proc/loadavg: 0.78 0.95 0.98 3/105 11868 /proc/meminfo: memFree=1785976/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1529020 CPUtime=1.04 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 7761 0 1 0 100 4 0 0 18 0 12 0 5502921 1565716480 7086 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 382255 7087 1402 10 0 379558 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 1529020 [startup+1.5023 s] /proc/loadavg: 0.78 0.95 0.98 4/117 11880 /proc/meminfo: memFree=1739196/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1533388 CPUtime=2.57 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 17799 0 1 0 248 9 0 0 18 0 14 0 5502921 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 383347 16598 1420 10 0 380650 0 [pid=11868/tid=11870] ppid=11866 vsize=1533388 CPUtime=1.13 /proc/11868/task/11870/stat : 11870 (java) S 11866 11868 11843 0 -1 4202560 13410 0 1 0 107 6 0 0 25 0 14 0 5502923 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11871] ppid=11866 vsize=1533388 CPUtime=0 /proc/11868/task/11871/stat : 11871 (java) S 11866 11868 11843 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 14 0 5502924 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11872] ppid=11866 vsize=1533388 CPUtime=0 /proc/11868/task/11872/stat : 11872 (java) S 11866 11868 11843 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 14 0 5502924 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11873] ppid=11866 vsize=1533388 CPUtime=0 /proc/11868/task/11873/stat : 11873 (java) S 11866 11868 11843 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 14 0 5502926 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11874] ppid=11866 vsize=1533388 CPUtime=0 /proc/11868/task/11874/stat : 11874 (java) S 11866 11868 11843 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 14 0 5502926 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11875] ppid=11866 vsize=1533388 CPUtime=0 /proc/11868/task/11875/stat : 11875 (java) S 11866 11868 11843 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 14 0 5502926 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11876] ppid=11866 vsize=1533388 CPUtime=0 /proc/11868/task/11876/stat : 11876 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 5502931 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11877] ppid=11866 vsize=1533388 CPUtime=0.15 /proc/11868/task/11877/stat : 11877 (java) R 11866 11868 11843 0 -1 4202560 309 0 0 0 15 0 0 0 21 0 14 0 5502931 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 104161425 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11868/tid=11878] ppid=11866 vsize=1533388 CPUtime=0.98 /proc/11868/task/11878/stat : 11878 (java) R 11866 11868 11843 0 -1 4202560 2402 0 0 0 98 0 0 0 16 0 14 0 5502931 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 103371452 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11868/tid=11879] ppid=11866 vsize=1533388 CPUtime=0 /proc/11868/task/11879/stat : 11879 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 5502931 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11880] ppid=11866 vsize=1533388 CPUtime=0 /proc/11868/task/11880/stat : 11880 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 5502931 1570189312 16598 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.57 Current children cumulated vsize (KiB) 1533388 [startup+3.10144 s] /proc/loadavg: 0.78 0.95 0.98 1/119 11884 /proc/meminfo: memFree=1724300/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1533220 CPUtime=3.19 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 19070 0 1 0 309 10 0 0 18 0 14 0 5502921 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 383305 17546 1426 10 0 380608 0 [pid=11868/tid=11870] ppid=11866 vsize=1533220 CPUtime=1.14 /proc/11868/task/11870/stat : 11870 (java) S 11866 11868 11843 0 -1 4202560 13478 0 1 0 108 6 0 0 19 0 14 0 5502923 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11871] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11871/stat : 11871 (java) S 11866 11868 11843 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 14 0 5502924 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11872] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11872/stat : 11872 (java) S 11866 11868 11843 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 14 0 5502924 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11873] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11873/stat : 11873 (java) S 11866 11868 11843 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 14 0 5502926 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11874] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11874/stat : 11874 (java) S 11866 11868 11843 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 14 0 5502926 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11875] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11875/stat : 11875 (java) S 11866 11868 11843 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 14 0 5502926 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11876] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11876/stat : 11876 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 5502931 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11877] ppid=11866 vsize=1533220 CPUtime=0.35 /proc/11868/task/11877/stat : 11877 (java) S 11866 11868 11843 0 -1 4202560 653 0 0 0 35 0 0 0 15 0 14 0 5502931 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11878] ppid=11866 vsize=1533220 CPUtime=1.22 /proc/11868/task/11878/stat : 11878 (java) S 11866 11868 11843 0 -1 4202560 2467 0 0 0 121 1 0 0 15 0 14 0 5502931 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11879] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11879/stat : 11879 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 5502931 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11880] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11880/stat : 11880 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 5502931 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11883] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11883/stat : 11883 (java) S 11866 11868 11843 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 14 0 5503054 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11884] ppid=11866 vsize=1533220 CPUtime=0 /proc/11868/task/11884/stat : 11884 (java) S 11866 11868 11843 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 14 0 5503057 1570017280 17546 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 1533220 [startup+6.30217 s] /proc/loadavg: 0.96 0.98 0.99 3/121 11890 /proc/meminfo: memFree=1646660/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1533660 CPUtime=8.94 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 41996 0 1 0 874 20 0 0 18 0 16 0 5502921 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 383415 40170 1446 10 0 380718 0 [pid=11868/tid=11870] ppid=11866 vsize=1533660 CPUtime=1.17 /proc/11868/task/11870/stat : 11870 (java) S 11866 11868 11843 0 -1 4202560 13616 0 1 0 110 7 0 0 18 0 16 0 5502923 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11871] ppid=11866 vsize=1533660 CPUtime=0.04 /proc/11868/task/11871/stat : 11871 (java) S 11866 11868 11843 0 -1 4202560 1848 0 0 0 4 0 0 0 16 0 16 0 5502924 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11872] ppid=11866 vsize=1533660 CPUtime=0.04 /proc/11868/task/11872/stat : 11872 (java) S 11866 11868 11843 0 -1 4202560 1641 0 0 0 4 0 0 0 16 0 16 0 5502924 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11873] ppid=11866 vsize=1533660 CPUtime=0.05 /proc/11868/task/11873/stat : 11873 (java) S 11866 11868 11843 0 -1 4202560 1752 0 0 0 5 0 0 0 16 0 16 0 5502926 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11874] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11874/stat : 11874 (java) S 11866 11868 11843 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11875] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11875/stat : 11875 (java) S 11866 11868 11843 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11876] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11876/stat : 11876 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11877] ppid=11866 vsize=1533660 CPUtime=1.19 /proc/11868/task/11877/stat : 11877 (java) S 11866 11868 11843 0 -1 4202560 1043 0 0 0 119 0 0 0 15 0 16 0 5502931 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11878] ppid=11866 vsize=1533660 CPUtime=2.15 /proc/11868/task/11878/stat : 11878 (java) S 11866 11868 11843 0 -1 4202560 2530 0 0 0 214 1 0 0 15 0 16 0 5502931 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11879] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11879/stat : 11879 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11880] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11880/stat : 11880 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 5502931 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11883] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11883/stat : 11883 (java) S 11866 11868 11843 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 5503054 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11884] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11884/stat : 11884 (java) S 11866 11868 11843 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 5503057 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11889] ppid=11866 vsize=1533660 CPUtime=1.7 /proc/11868/task/11889/stat : 11889 (java) R 11866 11868 11843 0 -1 4202560 408 0 0 0 170 0 0 0 19 0 16 0 5503358 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4109391902 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11868/tid=11890] ppid=11866 vsize=1533660 CPUtime=1.43 /proc/11868/task/11890/stat : 11890 (java) R 11866 11868 11843 0 -1 4202560 12860 0 0 0 138 5 0 0 25 0 16 0 5503358 1570467840 40170 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.94 Current children cumulated vsize (KiB) 1533660 [startup+12.7014 s] /proc/loadavg: 1.04 1.00 1.00 3/121 11890 /proc/meminfo: memFree=1602144/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1533660 CPUtime=21.4 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 50215 0 1 0 2115 25 0 0 18 0 16 0 5502921 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 383415 47987 1446 10 0 380718 0 [pid=11868/tid=11870] ppid=11866 vsize=1533660 CPUtime=1.17 /proc/11868/task/11870/stat : 11870 (java) S 11866 11868 11843 0 -1 4202560 13616 0 1 0 110 7 0 0 18 0 16 0 5502923 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11871] ppid=11866 vsize=1533660 CPUtime=0.17 /proc/11868/task/11871/stat : 11871 (java) S 11866 11868 11843 0 -1 4202560 3720 0 0 0 16 1 0 0 15 0 16 0 5502924 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11872] ppid=11866 vsize=1533660 CPUtime=0.17 /proc/11868/task/11872/stat : 11872 (java) S 11866 11868 11843 0 -1 4202560 3392 0 0 0 16 1 0 0 16 0 16 0 5502924 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11873] ppid=11866 vsize=1533660 CPUtime=0.3 /proc/11868/task/11873/stat : 11873 (java) S 11866 11868 11843 0 -1 4202560 3058 0 0 0 29 1 0 0 16 0 16 0 5502926 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11874] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11874/stat : 11874 (java) S 11866 11868 11843 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11875] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11875/stat : 11875 (java) S 11866 11868 11843 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11876] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11876/stat : 11876 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11877] ppid=11866 vsize=1533660 CPUtime=1.35 /proc/11868/task/11877/stat : 11877 (java) S 11866 11868 11843 0 -1 4202560 1048 0 0 0 135 0 0 0 16 0 16 0 5502931 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11878] ppid=11866 vsize=1533660 CPUtime=2.4 /proc/11868/task/11878/stat : 11878 (java) S 11866 11868 11843 0 -1 4202560 2703 0 0 0 239 1 0 0 15 0 16 0 5502931 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11879] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11879/stat : 11879 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11880] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11880/stat : 11880 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 5502931 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11883] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11883/stat : 11883 (java) S 11866 11868 11843 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 5503054 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11884] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11884/stat : 11884 (java) S 11866 11868 11843 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 5503057 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11889] ppid=11866 vsize=1533660 CPUtime=7.56 /proc/11868/task/11889/stat : 11889 (java) R 11866 11868 11843 0 -1 4202560 436 0 0 0 756 0 0 0 25 0 16 0 5503358 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4109661008 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11868/tid=11890] ppid=11866 vsize=1533660 CPUtime=7.12 /proc/11868/task/11890/stat : 11890 (java) R 11866 11868 11843 0 -1 4202560 15944 0 0 0 705 7 0 0 25 0 16 0 5503358 1570467840 47987 1992294400 134512640 134550932 4291338064 18446744073709551615 4109683225 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 21.4 Current children cumulated vsize (KiB) 1533660 [startup+25.5027 s] ################ # More data... # ################ /proc/11868/statm: 383415 115507 1451 10 0 380718 0 [pid=11868/tid=11870] ppid=11866 vsize=1533660 CPUtime=1.18 /proc/11868/task/11870/stat : 11870 (java) S 11866 11868 11843 0 -1 4202560 13644 0 1 0 111 7 0 0 15 0 16 0 5502923 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11871] ppid=11866 vsize=1533660 CPUtime=19.28 /proc/11868/task/11871/stat : 11871 (java) S 11866 11868 11843 0 -1 4202560 41629 0 0 0 1893 35 0 0 15 0 16 0 5502924 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11872] ppid=11866 vsize=1533660 CPUtime=19.29 /proc/11868/task/11872/stat : 11872 (java) S 11866 11868 11843 0 -1 4202560 40237 0 0 0 1889 40 0 0 16 0 16 0 5502924 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11873] ppid=11866 vsize=1533660 CPUtime=50.02 /proc/11868/task/11873/stat : 11873 (java) S 11866 11868 11843 0 -1 4202560 3717 0 0 0 4990 12 0 0 15 0 16 0 5502926 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11874] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11874/stat : 11874 (java) S 11866 11868 11843 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11875] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11875/stat : 11875 (java) S 11866 11868 11843 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11876] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11876/stat : 11876 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11877] ppid=11866 vsize=1533660 CPUtime=1.42 /proc/11868/task/11877/stat : 11877 (java) S 11866 11868 11843 0 -1 4202560 1048 0 0 0 142 0 0 0 15 0 16 0 5502931 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11878] ppid=11866 vsize=1533660 CPUtime=2.72 /proc/11868/task/11878/stat : 11878 (java) S 11866 11868 11843 0 -1 4202560 2708 0 0 0 271 1 0 0 15 0 16 0 5502931 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11879] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11879/stat : 11879 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11880] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11880/stat : 11880 (java) S 11866 11868 11843 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 16 0 5502931 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11883] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11883/stat : 11883 (java) S 11866 11868 11843 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 5503054 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11884] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11884/stat : 11884 (java) S 11866 11868 11843 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 5503057 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11909] ppid=11866 vsize=1533660 CPUtime=238.76 /proc/11868/task/11909/stat : 11909 (java) R 11866 11868 11843 0 -1 4202560 137 0 0 0 23874 2 0 0 25 0 16 0 5558203 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4109391797 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11868/tid=11910] ppid=11866 vsize=1533660 CPUtime=239.18 /proc/11868/task/11910/stat : 11910 (java) R 11866 11868 11843 0 -1 4202560 125 0 0 0 23917 1 0 0 25 0 16 0 5558203 1570467840 115507 1992294400 134512640 134550932 4291338064 18446744073709551615 4109763405 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1577.02 Current children cumulated vsize (KiB) 1533660 [startup+882.31 s] /proc/loadavg: 2.09 2.00 1.62 3/121 11927 /proc/meminfo: memFree=1316572/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1533660 CPUtime=1690.5 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 129431 0 1 0 168918 132 0 0 18 0 16 0 5502921 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 383415 117962 1451 10 0 380718 0 [pid=11868/tid=11870] ppid=11866 vsize=1533660 CPUtime=1.18 /proc/11868/task/11870/stat : 11870 (java) S 11866 11868 11843 0 -1 4202560 13648 0 1 0 111 7 0 0 15 0 16 0 5502923 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11871] ppid=11866 vsize=1533660 CPUtime=21.08 /proc/11868/task/11871/stat : 11871 (java) S 11866 11868 11843 0 -1 4202560 43071 0 0 0 2070 38 0 0 16 0 16 0 5502924 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11872] ppid=11866 vsize=1533660 CPUtime=21.11 /proc/11868/task/11872/stat : 11872 (java) S 11866 11868 11843 0 -1 4202560 41473 0 0 0 2068 43 0 0 16 0 16 0 5502924 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11873] ppid=11866 vsize=1533660 CPUtime=55.57 /proc/11868/task/11873/stat : 11873 (java) S 11866 11868 11843 0 -1 4202560 3721 0 0 0 5544 13 0 0 15 0 16 0 5502926 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11874] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11874/stat : 11874 (java) S 11866 11868 11843 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11875] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11875/stat : 11875 (java) S 11866 11868 11843 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11876] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11876/stat : 11876 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11877] ppid=11866 vsize=1533660 CPUtime=1.42 /proc/11868/task/11877/stat : 11877 (java) S 11866 11868 11843 0 -1 4202560 1048 0 0 0 142 0 0 0 15 0 16 0 5502931 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11878] ppid=11866 vsize=1533660 CPUtime=2.72 /proc/11868/task/11878/stat : 11878 (java) S 11866 11868 11843 0 -1 4202560 2708 0 0 0 271 1 0 0 15 0 16 0 5502931 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11879] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11879/stat : 11879 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11880] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11880/stat : 11880 (java) S 11866 11868 11843 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 5502931 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11883] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11883/stat : 11883 (java) S 11866 11868 11843 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 5503054 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11884] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11884/stat : 11884 (java) S 11866 11868 11843 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 5503057 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11909] ppid=11866 vsize=1533660 CPUtime=290.78 /proc/11868/task/11909/stat : 11909 (java) R 11866 11868 11843 0 -1 4202560 169 0 0 0 29076 2 0 0 25 0 16 0 5558203 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4109360543 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11868/tid=11910] ppid=11866 vsize=1533660 CPUtime=291.48 /proc/11868/task/11910/stat : 11910 (java) R 11866 11868 11843 0 -1 4202560 147 0 0 0 29146 2 0 0 25 0 16 0 5558203 1570467840 117962 1992294400 134512640 134550932 4291338064 18446744073709551615 4109367791 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1690.5 Current children cumulated vsize (KiB) 1533660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+941.102 s] /proc/loadavg: 1.98 2.00 1.64 3/121 11929 /proc/meminfo: memFree=1313348/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1533660 CPUtime=1800.04 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 130341 0 1 0 179869 135 0 0 18 0 16 0 5502921 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 383415 118738 1451 10 0 380718 0 [pid=11868/tid=11870] ppid=11866 vsize=1533660 CPUtime=1.18 /proc/11868/task/11870/stat : 11870 (java) S 11866 11868 11843 0 -1 4202560 13653 0 1 0 111 7 0 0 15 0 16 0 5502923 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11871] ppid=11866 vsize=1533660 CPUtime=22.86 /proc/11868/task/11871/stat : 11871 (java) S 11866 11868 11843 0 -1 4202560 43460 0 0 0 2247 39 0 0 15 0 16 0 5502924 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11872] ppid=11866 vsize=1533660 CPUtime=22.88 /proc/11868/task/11872/stat : 11872 (java) S 11866 11868 11843 0 -1 4202560 41931 0 0 0 2245 43 0 0 16 0 16 0 5502924 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11873] ppid=11866 vsize=1533660 CPUtime=62.72 /proc/11868/task/11873/stat : 11873 (java) S 11866 11868 11843 0 -1 4202560 3723 0 0 0 6258 14 0 0 17 0 16 0 5502926 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11874] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11874/stat : 11874 (java) S 11866 11868 11843 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11875] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11875/stat : 11875 (java) S 11866 11868 11843 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5502926 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11876] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11876/stat : 11876 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11877] ppid=11866 vsize=1533660 CPUtime=1.42 /proc/11868/task/11877/stat : 11877 (java) S 11866 11868 11843 0 -1 4202560 1048 0 0 0 142 0 0 0 15 0 16 0 5502931 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11878] ppid=11866 vsize=1533660 CPUtime=2.72 /proc/11868/task/11878/stat : 11878 (java) S 11866 11868 11843 0 -1 4202560 2708 0 0 0 271 1 0 0 15 0 16 0 5502931 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11879] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11879/stat : 11879 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 5502931 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11880] ppid=11866 vsize=1533660 CPUtime=0.01 /proc/11868/task/11880/stat : 11880 (java) S 11866 11868 11843 0 -1 4202560 55 0 0 0 1 0 0 0 15 0 16 0 5502931 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11883] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11883/stat : 11883 (java) S 11866 11868 11843 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 5503054 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11884] ppid=11866 vsize=1533660 CPUtime=0 /proc/11868/task/11884/stat : 11884 (java) S 11866 11868 11843 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 5503057 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11909] ppid=11866 vsize=1533660 CPUtime=340.2 /proc/11868/task/11909/stat : 11909 (java) R 11866 11868 11843 0 -1 4202560 200 0 0 0 34018 2 0 0 18 0 16 0 5558203 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4109351650 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11868/tid=11910] ppid=11866 vsize=1533660 CPUtime=340.89 /proc/11868/task/11910/stat : 11910 (java) R 11866 11868 11843 0 -1 4202560 170 0 0 0 34087 2 0 0 18 0 16 0 5558203 1570467840 118738 1992294400 134512640 134550932 4291338064 18446744073709551615 4109763511 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1533660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+941.502 s] /proc/loadavg: 1.98 2.00 1.64 3/121 11929 /proc/meminfo: memFree=1313348/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=1534308 CPUtime=1800.82 /proc/11868/stat : 11868 (java) S 11866 11868 11843 0 -1 4202496 130359 0 1 0 179947 135 0 0 18 0 18 0 5502921 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 383577 118755 1451 10 0 380880 0 [pid=11868/tid=11870] ppid=11866 vsize=1534308 CPUtime=1.18 /proc/11868/task/11870/stat : 11870 (java) S 11866 11868 11843 0 -1 4202560 13653 0 1 0 111 7 0 0 15 0 18 0 5502923 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11871] ppid=11866 vsize=1534308 CPUtime=22.89 /proc/11868/task/11871/stat : 11871 (java) S 11866 11868 11843 0 -1 4202560 43460 0 0 0 2250 39 0 0 16 0 18 0 5502924 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11872] ppid=11866 vsize=1534308 CPUtime=22.91 /proc/11868/task/11872/stat : 11872 (java) S 11866 11868 11843 0 -1 4202560 41931 0 0 0 2248 43 0 0 15 0 18 0 5502924 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11873] ppid=11866 vsize=1534308 CPUtime=62.72 /proc/11868/task/11873/stat : 11873 (java) S 11866 11868 11843 0 -1 4202560 3723 0 0 0 6258 14 0 0 15 0 18 0 5502926 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 0 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11874] ppid=11866 vsize=1534308 CPUtime=0 /proc/11868/task/11874/stat : 11874 (java) S 11866 11868 11843 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 5502926 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11875] ppid=11866 vsize=1534308 CPUtime=0 /proc/11868/task/11875/stat : 11875 (java) S 11866 11868 11843 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 5502926 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11876] ppid=11866 vsize=1534308 CPUtime=0 /proc/11868/task/11876/stat : 11876 (java) S 11866 11868 11843 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 18 0 5502931 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11877] ppid=11866 vsize=1534308 CPUtime=1.42 /proc/11868/task/11877/stat : 11877 (java) S 11866 11868 11843 0 -1 4202560 1048 0 0 0 142 0 0 0 15 0 18 0 5502931 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11878] ppid=11866 vsize=1534308 CPUtime=2.72 /proc/11868/task/11878/stat : 11878 (java) S 11866 11868 11843 0 -1 4202560 2708 0 0 0 271 1 0 0 15 0 18 0 5502931 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11879] ppid=11866 vsize=1534308 CPUtime=0 /proc/11868/task/11879/stat : 11879 (java) S 11866 11868 11843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 5502931 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11880] ppid=11866 vsize=1534308 CPUtime=0.01 /proc/11868/task/11880/stat : 11880 (java) S 11866 11868 11843 0 -1 4202560 55 0 0 0 1 0 0 0 15 0 18 0 5502931 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 1 0 0 0 [pid=11868/tid=11883] ppid=11866 vsize=1534308 CPUtime=0 /proc/11868/task/11883/stat : 11883 (java) S 11866 11868 11843 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 5503054 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11884] ppid=11866 vsize=1534308 CPUtime=0 /proc/11868/task/11884/stat : 11884 (java) S 11866 11868 11843 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 18 0 5503057 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4294960144 0 4 0 16800975 18446604436834146240 0 0 -1 0 0 0 0 [pid=11868/tid=11909] ppid=11866 vsize=1534308 CPUtime=340.56 /proc/11868/task/11909/stat : 11909 (java) R 11866 11868 11843 0 -1 4202560 201 0 0 0 34054 2 0 0 19 0 18 0 5558203 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4109666285 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11868/tid=11910] ppid=11866 vsize=1534308 CPUtime=341.24 /proc/11868/task/11910/stat : 11910 (java) R 11866 11868 11843 0 -1 4202560 170 0 0 0 34122 2 0 0 19 0 18 0 5558203 1571131392 118755 1992294400 134512640 134550932 4291338064 18446744073709551615 4109683606 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.82 Current children cumulated vsize (KiB) 1534308 [startup+941.602 s] /proc/loadavg: 1.98 2.00 1.64 2/108 11932 /proc/meminfo: memFree=1335908/2059040 swapFree=4164948/4192956 [pid=11868] ppid=11866 vsize=0 CPUtime=1801.02 /proc/11868/stat : 11868 (java) Z 11866 11868 11843 0 -1 4203548 130362 0 1 0 179966 136 0 0 15 0 2 0 5502921 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11868/statm: 0 0 0 0 0 0 0 [pid=11868/tid=11910] ppid=11866 vsize=0 CPUtime=341.3 /proc/11868/task/11910/stat : 11910 (java) R 11866 11868 11843 0 -1 4203588 170 0 0 0 34127 3 0 0 19 0 2 0 5558203 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1801.02 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 941.647 CPU time (s): 1801.07 CPU user time (s): 1799.66 CPU system time (s): 1.40379 CPU usage (%): 191.268 Max. virtual memory (cumulated for all children) (KiB): 1534560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 1.40379 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 130362 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33267 involuntary context switches= 50847 runsolver used 6.78497 second user time and 7.8658 second system time The end
Begin job on node084 at 2010-06-16 00:48:11 IDJOB=2662084 IDBENCH=25021 IDSOLVER=1166 FILE ID=node084/2662084-1276642091 PBS_JOBID= 11172411 Free space on /tmp= 62512 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662084-1276642091/watcher-2662084-1276642091 -o /tmp/evaluation-result-2662084-1276642091/solver-2662084-1276642091 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662084-1276642091.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=2059253221 node084.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.229 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.229 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1786372 kB Buffers: 61972 kB Cached: 113408 kB SwapCached: 1440 kB Active: 88204 kB Inactive: 120192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1786372 kB SwapTotal: 4192956 kB SwapFree: 4164948 kB Dirty: 988 kB Writeback: 0 kB AnonPages: 31604 kB Mapped: 15032 kB Slab: 42584 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180396 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62512 MiB End job on node084 at 2010-06-16 01:03:54