Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 29 | 1800.36 | 911.595 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb |
MD5SUM | 66cf2657d020eb0982c7cab0e5ad93c1 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 26 |
Best CPU time to get the best result obtained on this benchmark | 0.423934 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26 |
Optimality of the best value was proved | YES |
Number of variables | 7343 |
Total number of constraints | 22903 |
Number of constraints which are clauses | 22903 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 3560 |
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 | 3560 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 3560 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 9996466904 0.05/0.09 c Max memory 10048897024 0.05/0.09 c Total memory 10048897024 0.05/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3454103-1307193480.opb 0.10/0.12 c reading problem ... 1.04/0.53 c ... done. Wall clock time 0.414s. 1.04/0.53 c #vars 7343 1.04/0.53 c #constraints 22903 1.04/0.53 c constraints type 1.04/0.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3792 1.04/0.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18558 1.04/0.53 c constraints type 1.04/0.53 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18558 1.04/0.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3792 1.38/0.63 c And the winner is CuttingPlanes 1.55/1.05 c SATISFIABLE 1.55/1.05 c OPTIMIZING... 1.55/1.05 c Got one! Elapsed wall clock time (in seconds):0.939 1.55/1.05 o 40 1.78/1.19 c And the winner is Resolution 2.22/1.59 c Got one! Elapsed wall clock time (in seconds):1.478 2.22/1.59 o 30 7.29/3.94 c cleaning 2550 clauses out of 5107 with flag 5001/5107 11.80/6.16 c cleaning 4277 clauses out of 8557 with flag 11001/11107 16.59/8.58 c cleaning 5632 clauses out of 11279 with flag 18000/18106 22.79/11.68 c cleaning 6818 clauses out of 13647 with flag 26000/26106 28.79/14.61 c cleaning 7907 clauses out of 15830 with flag 35001/35107 35.55/18.07 c cleaning 8957 clauses out of 17923 with flag 45001/45107 43.91/22.29 c cleaning 9976 clauses out of 19966 with flag 56001/56107 53.32/26.98 c cleaning 10989 clauses out of 21989 with flag 68000/68106 63.30/31.98 c cleaning 11997 clauses out of 24001 with flag 81001/81107 74.84/37.71 c cleaning 12994 clauses out of 26003 with flag 95000/95106 85.83/43.27 c cleaning 14000 clauses out of 28009 with flag 110000/110106 97.18/48.96 c cleaning 15002 clauses out of 30012 with flag 126003/126109 109.13/54.94 c cleaning 16000 clauses out of 32008 with flag 143001/143107 121.82/61.30 c cleaning 16999 clauses out of 34007 with flag 161000/161106 135.13/68.02 c cleaning 17998 clauses out of 36008 with flag 180000/180106 149.83/75.47 c cleaning 18999 clauses out of 38010 with flag 200000/200106 165.67/83.50 c cleaning 20001 clauses out of 40011 with flag 221000/221106 181.57/91.42 c cleaning 20997 clauses out of 42010 with flag 243000/243106 199.87/100.66 c cleaning 22000 clauses out of 44013 with flag 266000/266106 215.97/108.80 c cleaning 22503 clauses out of 45013 with flag 289000/289106 232.38/117.09 c cleaning 22742 clauses out of 45510 with flag 312000/312106 249.86/125.87 c cleaning 22878 clauses out of 45769 with flag 335001/335107 266.35/134.11 c cleaning 22939 clauses out of 45890 with flag 358000/358106 281.83/141.99 c cleaning 22960 clauses out of 45951 with flag 381000/381106 298.77/150.57 c cleaning 22988 clauses out of 45991 with flag 404000/404106 314.83/158.61 c cleaning 22983 clauses out of 46003 with flag 427000/427106 315.68/159.11 c And the winner is CuttingPlanes 315.71/159.39 c Got one! Elapsed wall clock time (in seconds):159.278 315.71/159.39 o 29 318.55/160.86 c cleaning 14052 clauses out of 28121 with flag 4000/432207 323.39/163.36 c cleaning 10028 clauses out of 20069 with flag 10000/438207 328.59/166.05 c cleaning 8517 clauses out of 17041 with flag 17000/445207 334.61/169.11 c cleaning 8254 clauses out of 16525 with flag 25001/453208 341.69/172.73 c cleaning 8627 clauses out of 17270 with flag 34000/462207 349.50/176.79 c cleaning 9316 clauses out of 18644 with flag 44001/472208 358.25/181.24 c cleaning 10160 clauses out of 20327 with flag 55000/483207 367.69/186.10 c cleaning 11079 clauses out of 22167 with flag 67000/495207 377.96/191.25 c cleaning 12043 clauses out of 24089 with flag 80001/508208 389.03/196.90 c cleaning 13019 clauses out of 26045 with flag 94000/522207 400.15/202.58 c cleaning 14007 clauses out of 28027 with flag 109001/537208 412.58/208.83 c cleaning 15006 clauses out of 30020 with flag 125001/553208 425.43/215.35 c cleaning 15999 clauses out of 32013 with flag 142000/570207 440.87/223.20 c cleaning 17003 clauses out of 34015 with flag 160001/588208 457.21/231.47 c cleaning 18001 clauses out of 36012 with flag 179001/607208 473.46/239.68 c cleaning 18991 clauses out of 38010 with flag 199000/627207 489.16/247.54 c cleaning 19998 clauses out of 40019 with flag 220000/648207 505.35/255.76 c cleaning 21003 clauses out of 42022 with flag 242001/670208 522.08/264.26 c cleaning 22005 clauses out of 44019 with flag 265001/693208 537.31/271.93 c cleaning 22500 clauses out of 45013 with flag 288000/716207 554.16/280.45 c cleaning 22746 clauses out of 45513 with flag 311000/739207 572.35/289.67 c cleaning 22874 clauses out of 45768 with flag 334001/762208 589.27/298.20 c cleaning 22940 clauses out of 45893 with flag 357000/785207 607.09/307.22 c cleaning 22970 clauses out of 45953 with flag 380000/808207 624.31/315.90 c cleaning 22986 clauses out of 45983 with flag 403000/831207 645.56/326.62 c cleaning 22995 clauses out of 45999 with flag 426002/854209 665.86/336.90 c cleaning 22994 clauses out of 46002 with flag 449000/877207 683.88/346.03 c cleaning 22995 clauses out of 46009 with flag 472001/900208 702.70/355.58 c cleaning 22995 clauses out of 46013 with flag 495000/923207 721.11/364.85 c cleaning 23000 clauses out of 46018 with flag 518000/946207 740.42/374.61 c cleaning 23004 clauses out of 46019 with flag 541001/969208 759.03/384.06 c cleaning 22988 clauses out of 46014 with flag 564000/992207 777.25/393.25 c cleaning 23002 clauses out of 46027 with flag 587001/1015208 794.45/401.98 c cleaning 23008 clauses out of 46026 with flag 610002/1038209 811.95/410.83 c cleaning 23000 clauses out of 46016 with flag 633000/1061207 828.76/419.33 c cleaning 23001 clauses out of 46018 with flag 656002/1084209 845.97/428.06 c cleaning 23004 clauses out of 46017 with flag 679002/1107209 864.57/437.45 c cleaning 22992 clauses out of 46011 with flag 702000/1130207 883.10/446.86 c cleaning 23003 clauses out of 46021 with flag 725002/1153209 902.74/456.78 c cleaning 22999 clauses out of 46016 with flag 748000/1176207 924.33/467.61 c cleaning 22999 clauses out of 46017 with flag 771000/1199207 944.14/477.69 c cleaning 23005 clauses out of 46018 with flag 794000/1222207 966.01/488.77 c cleaning 22999 clauses out of 46014 with flag 817001/1245208 988.40/500.07 c cleaning 22995 clauses out of 46014 with flag 840000/1268207 1008.41/510.19 c cleaning 22999 clauses out of 46019 with flag 863000/1291207 1028.00/520.00 c cleaning 23009 clauses out of 46020 with flag 886000/1314207 1046.48/529.49 c cleaning 22997 clauses out of 46011 with flag 909000/1337207 1063.48/538.01 c cleaning 22998 clauses out of 46015 with flag 932001/1360208 1082.47/547.70 c cleaning 23001 clauses out of 46017 with flag 955001/1383208 1102.65/557.87 c cleaning 23000 clauses out of 46015 with flag 978000/1406207 1122.11/567.74 c cleaning 23002 clauses out of 46017 with flag 1001002/1429209 1141.10/577.31 c cleaning 22995 clauses out of 46013 with flag 1024000/1452207 1159.68/586.75 c cleaning 23001 clauses out of 46018 with flag 1047000/1475207 1178.48/596.24 c cleaning 22998 clauses out of 46017 with flag 1070000/1498207 1196.11/605.24 c cleaning 23005 clauses out of 46019 with flag 1093000/1521207 1214.90/614.80 c cleaning 22998 clauses out of 46016 with flag 1116002/1544209 1232.87/623.86 c cleaning 22993 clauses out of 46016 with flag 1139000/1567207 1251.06/633.04 c cleaning 22995 clauses out of 46023 with flag 1162000/1590207 1270.13/642.79 c cleaning 23004 clauses out of 46028 with flag 1185000/1613207 1293.71/654.63 c cleaning 23004 clauses out of 46024 with flag 1208000/1636207 1315.12/665.48 c cleaning 22993 clauses out of 46020 with flag 1231000/1659207 1336.90/676.46 c cleaning 23003 clauses out of 46027 with flag 1254000/1682207 1357.74/687.04 c cleaning 22996 clauses out of 46024 with flag 1277000/1705207 1378.72/697.69 c cleaning 23006 clauses out of 46029 with flag 1300001/1728208 1398.29/707.56 c cleaning 23006 clauses out of 46024 with flag 1323002/1751209 1415.68/716.34 c cleaning 23003 clauses out of 46017 with flag 1346001/1774208 1433.34/725.36 c cleaning 23000 clauses out of 46013 with flag 1369000/1797207 1450.31/733.95 c cleaning 22998 clauses out of 46014 with flag 1392001/1820208 1469.10/743.45 c cleaning 23002 clauses out of 46016 with flag 1415001/1843208 1485.67/751.83 c cleaning 22995 clauses out of 46013 with flag 1438000/1866207 1502.53/760.47 c cleaning 23006 clauses out of 46021 with flag 1461003/1889210 1520.51/769.57 c cleaning 22993 clauses out of 46013 with flag 1484001/1912208 1538.50/778.62 c cleaning 23002 clauses out of 46020 with flag 1507001/1935208 1555.48/787.23 c cleaning 23003 clauses out of 46020 with flag 1530003/1958210 1573.36/796.34 c cleaning 22994 clauses out of 46014 with flag 1553000/1981207 1591.30/805.45 c cleaning 23004 clauses out of 46021 with flag 1576001/2004208 1608.30/814.08 c cleaning 22988 clauses out of 46016 with flag 1599000/2027207 1625.84/822.91 c cleaning 23008 clauses out of 46029 with flag 1622001/2050208 1644.68/832.54 c cleaning 23002 clauses out of 46020 with flag 1645000/2073207 1663.64/842.13 c cleaning 22992 clauses out of 46018 with flag 1668000/2096207 1682.60/851.79 c cleaning 23002 clauses out of 46026 with flag 1691000/2119207 1702.96/862.02 c cleaning 23001 clauses out of 46026 with flag 1714002/2142209 1721.39/871.50 c cleaning 23004 clauses out of 46023 with flag 1737000/2165207 1741.15/881.43 c cleaning 23002 clauses out of 46020 with flag 1760001/2188208 1758.32/890.18 c cleaning 22998 clauses out of 46017 with flag 1783000/2211207 1775.68/898.94 c cleaning 22997 clauses out of 46020 with flag 1806001/2234208 1793.31/907.99 c cleaning 22999 clauses out of 46022 with flag 1829000/2257207 1800.11/911.42 c starts : 9 1800.11/911.42 c conflicts : 695 1800.11/911.42 c decisions : 88355 1800.11/911.42 c propagations : 859723 1800.11/911.42 c inspects : 3410057 1800.11/911.42 c shortcuts : 0 1800.11/911.42 c learnt literals : 0 1800.11/911.42 c learnt binary clauses : 0 1800.11/911.42 c learnt ternary clauses : 0 1800.11/911.42 c learnt constraints : 694 1800.11/911.42 c ignored constraints : 0 1800.11/911.42 c root simplifications : 0 1800.11/911.42 c removed literals (reason simplification) : 0 1800.11/911.42 c reason swapping (by a shorter reason) : 0 1800.11/911.42 c Calls to reduceDB : 0 1800.11/911.42 c number of reductions to clauses (during analyze) : 0 1800.11/911.42 c number of learned constraints concerned by reduction : 0 1800.11/911.42 c number of learning phase by resolution : 0 1800.11/911.42 c number of learning phase by cutting planes : 0 1800.11/911.42 c speed (assignments/second) : 1143.213704899983 1800.11/911.42 c non guided choices 0 1800.11/911.42 c learnt constraints type 1800.11/911.42 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 18 1800.11/911.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 27 1800.11/911.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 649 1800.11/911.42 c constraints type 1800.11/911.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3792 1800.11/911.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.11/911.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18558 1800.11/911.42 c constraints type 1800.11/911.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18558 1800.11/911.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3792 1800.11/911.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.11/911.42 s SATISFIABLE 1800.11/911.43 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 x220 x221 x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 x4909 x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 x6176 x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 x6228 x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 x6316 x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x6370 x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 x6660 x6661 x6662 x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 x6890 x6891 -x6892 -x6893 x6894 x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 x7082 x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 x7130 x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 x7246 x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276 x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 x7294 x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 x7308 x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 x7322 x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 x7332 x7333 x7334 x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 1800.11/911.44 c objective function=29 1800.11/911.44 c Total wall clock time (in seconds): 911.33
OK 29
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454103-1307193480/watcher-3454103-1307193480 -o /tmp/evaluation-result-3454103-1307193480/solver-3454103-1307193480 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454103-1307193480.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.79 3.53 3.57 3/440 29676 /proc/meminfo: memFree=29798408/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 4080 0 1 0 0 0 0 0 21 0 2 0 909578662 10694979584 3782 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2611079 3796 917 9 0 2602235 0 [pid=29676/tid=29677] ppid=29674 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) R 29674 29676 23545 0 -1 4202560 3686 0 1 0 0 0 0 0 22 0 2 0 909578663 10694979584 4502 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.068502 s] /proc/loadavg: 2.79 3.53 3.57 3/440 29676 /proc/meminfo: memFree=29798408/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10472952 CPUtime=0.05 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 11741 0 1 0 4 1 0 0 21 0 18 0 909578662 10724302848 11438 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2618238 11438 1740 9 0 2608972 0 [pid=29676/tid=29677] ppid=29674 vsize=10472952 CPUtime=0.05 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) R 29674 29676 23545 0 -1 4202560 10566 0 1 0 4 1 0 0 22 0 18 0 909578663 10724302848 11438 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 47062403870725 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10472952 [startup+0.104522 s] /proc/loadavg: 2.79 3.53 3.57 3/440 29676 /proc/meminfo: memFree=29798408/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10539936 CPUtime=0.1 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 13034 0 1 0 9 1 0 0 21 0 18 0 909578662 10792894464 12731 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2634984 12732 2092 9 0 2625718 0 [pid=29676/tid=29677] ppid=29674 vsize=10539936 CPUtime=0.08 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) R 29674 29676 23545 0 -1 4202560 11143 0 1 0 7 1 0 0 18 0 18 0 909578663 10792894464 12732 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539936 [startup+0.300441 s] /proc/loadavg: 2.79 3.53 3.57 3/440 29676 /proc/meminfo: memFree=29798408/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10542252 CPUtime=0.51 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 16692 0 1 0 49 2 0 0 21 0 18 0 909578662 10795266048 15853 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2635563 15854 2201 9 0 2626297 0 [pid=29676/tid=29677] ppid=29674 vsize=10542252 CPUtime=0.28 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) R 29674 29676 23545 0 -1 4202560 13299 0 1 0 27 1 0 0 18 0 18 0 909578663 10795266048 15855 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912505564604 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 10542252 [startup+0.7004 s] /proc/loadavg: 2.79 3.53 3.57 3/440 29676 /proc/meminfo: memFree=29798408/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10549236 CPUtime=1.55 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 34413 0 1 0 150 5 0 0 21 0 19 0 909578662 10802417664 30217 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2637309 30217 2233 9 0 2628043 0 [pid=29676/tid=29677] ppid=29674 vsize=10549236 CPUtime=0.51 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) S 29674 29676 23545 0 -1 4202560 25453 0 1 0 48 3 0 0 19 0 19 0 909578663 10802417664 30217 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 10549236 [startup+1.50124 s] /proc/loadavg: 2.79 3.53 3.57 1/480 29728 /proc/meminfo: memFree=29508620/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10549524 CPUtime=2.22 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 35946 0 1 0 217 5 0 0 21 0 19 0 909578662 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2637381 31090 2239 9 0 2628115 0 [pid=29676/tid=29677] ppid=29674 vsize=10549524 CPUtime=0.55 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) S 29674 29676 23545 0 -1 4202560 25814 0 1 0 51 4 0 0 17 0 19 0 909578663 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29685] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29685/stat : 29685 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 909578664 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29687] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29687/stat : 29687 (java) S 29674 29676 23545 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909578664 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29688] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29688/stat : 29688 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909578664 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29689] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29689/stat : 29689 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909578664 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29690] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29690/stat : 29690 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909578664 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29691] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29691/stat : 29691 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909578664 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29692] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29692/stat : 29692 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909578664 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29693] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29693/stat : 29693 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909578664 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29695] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29695/stat : 29695 (java) S 29674 29676 23545 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 909578665 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 0 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29697] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29697/stat : 29697 (java) S 29674 29676 23545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 909578666 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29698] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29698/stat : 29698 (java) S 29674 29676 23545 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909578666 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29710] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29710/stat : 29710 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909578668 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907314097 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29711] ppid=29674 vsize=10549524 CPUtime=0.56 cores=1,3,5,7 /proc/29676/task/29711/stat : 29711 (java) S 29674 29676 23545 0 -1 4202560 3408 0 0 0 56 0 0 0 16 0 19 0 909578668 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29712] ppid=29674 vsize=10549524 CPUtime=0.57 cores=1,3,5,7 /proc/29676/task/29712/stat : 29712 (java) S 29674 29676 23545 0 -1 4202560 4739 0 0 0 56 1 0 0 15 0 19 0 909578668 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29713] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29713/stat : 29713 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909578668 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29714] ppid=29674 vsize=10549524 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29714/stat : 29714 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909578668 10802712576 31090 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 10549524 [startup+3.10086 s] /proc/loadavg: 2.79 3.53 3.57 4/484 29741 /proc/meminfo: memFree=29484036/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10549992 CPUtime=5.59 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 40385 0 1 0 553 6 0 0 21 0 22 0 909578662 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2637498 35527 2243 9 0 2628232 0 [pid=29676/tid=29677] ppid=29674 vsize=10549992 CPUtime=0.58 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) S 29674 29676 23545 0 -1 4202560 26144 0 1 0 54 4 0 0 15 0 22 0 909578663 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29685] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29685/stat : 29685 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 909578664 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29687] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29687/stat : 29687 (java) S 29674 29676 23545 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909578664 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29688] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29688/stat : 29688 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909578664 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29689] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29689/stat : 29689 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909578664 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29690] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29690/stat : 29690 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909578664 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29691] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29691/stat : 29691 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909578664 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29692] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29692/stat : 29692 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909578664 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29693] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29693/stat : 29693 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909578664 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29695] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29695/stat : 29695 (java) S 29674 29676 23545 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 909578665 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 0 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29697] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29697/stat : 29697 (java) S 29674 29676 23545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 909578666 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29698] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29698/stat : 29698 (java) S 29674 29676 23545 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909578666 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29710] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29710/stat : 29710 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909578668 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907314097 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29711] ppid=29674 vsize=10549992 CPUtime=0.72 cores=1,3,5,7 /proc/29676/task/29711/stat : 29711 (java) S 29674 29676 23545 0 -1 4202560 3431 0 0 0 72 0 0 0 15 0 22 0 909578668 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29712] ppid=29674 vsize=10549992 CPUtime=0.76 cores=1,3,5,7 /proc/29676/task/29712/stat : 29712 (java) S 29674 29676 23545 0 -1 4202560 4876 0 0 0 75 1 0 0 15 0 22 0 909578668 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29713] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29713/stat : 29713 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909578668 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29714] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29714/stat : 29714 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909578668 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29731] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29731/stat : 29731 (java) S 29674 29676 23545 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909578770 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29735] ppid=29674 vsize=10549992 CPUtime=1.49 cores=1,3,5,7 /proc/29676/task/29735/stat : 29735 (java) R 29674 29676 23545 0 -1 4202560 292 0 0 0 149 0 0 0 20 0 22 0 909578823 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912505799635 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=29676/tid=29736] ppid=29674 vsize=10549992 CPUtime=1.47 cores=1,3,5,7 /proc/29676/task/29736/stat : 29736 (java) R 29674 29676 23545 0 -1 4202560 3656 0 0 0 147 0 0 0 21 0 22 0 909578823 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912506052861 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=29676/tid=29737] ppid=29674 vsize=10549992 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29737/stat : 29737 (java) S 29674 29676 23545 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909578823 10803191808 35527 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.59 Current children cumulated vsize (KiB) 10549992 [startup+6.30131 s] /proc/loadavg: 2.81 3.52 3.57 5/486 29748 /proc/meminfo: memFree=29392744/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10548540 CPUtime=12.16 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 55296 0 1 0 1208 8 0 0 21 0 22 0 909578662 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2637135 49898 2268 9 0 2627869 0 [pid=29676/tid=29677] ppid=29674 vsize=10548540 CPUtime=0.58 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) S 29674 29676 23545 0 -1 4202560 26144 0 1 0 54 4 0 0 15 0 22 0 909578663 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29685] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29685/stat : 29685 (java) S 29674 29676 23545 0 -1 4202560 625 0 0 0 0 0 0 0 18 0 22 0 909578664 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29687] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29687/stat : 29687 (java) S 29674 29676 23545 0 -1 4202560 414 0 0 0 0 0 0 0 15 0 22 0 909578664 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29688] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29688/stat : 29688 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909578664 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29689] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29689/stat : 29689 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909578664 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29690] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29690/stat : 29690 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 909578664 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29691] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29691/stat : 29691 (java) S 29674 29676 23545 0 -1 4202560 276 0 0 0 0 0 0 0 18 0 22 0 909578664 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29692] ppid=29674 vsize=10548540 CPUtime=0.01 cores=1,3,5,7 /proc/29676/task/29692/stat : 29692 (java) S 29674 29676 23545 0 -1 4202560 1014 0 0 0 1 0 0 0 18 0 22 0 909578664 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29693] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29693/stat : 29693 (java) S 29674 29676 23545 0 -1 4202560 816 0 0 0 0 0 0 0 18 0 22 0 909578664 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29695] ppid=29674 vsize=10548540 CPUtime=0.06 cores=1,3,5,7 /proc/29676/task/29695/stat : 29695 (java) S 29674 29676 23545 0 -1 4202560 2886 0 0 0 6 0 0 0 15 0 22 0 909578665 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 0 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29697] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29697/stat : 29697 (java) S 29674 29676 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909578666 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29698] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29698/stat : 29698 (java) S 29674 29676 23545 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909578666 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29710] ppid=29674 vsize=10548540 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29710/stat : 29710 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909578668 10801704960 49898 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907314097 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=22364120/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10549276 CPUtime=1624.64 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 930279 0 1 0 162359 105 0 0 21 0 22 0 909578662 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2637319 922963 2270 9 0 2628053 0 [pid=29676/tid=29677] ppid=29674 vsize=10549276 CPUtime=0.6 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) S 29674 29676 23545 0 -1 4202560 26168 0 1 0 56 4 0 0 15 0 22 0 909578663 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29685] ppid=29674 vsize=10549276 CPUtime=0.5 cores=1,3,5,7 /proc/29676/task/29685/stat : 29685 (java) S 29674 29676 23545 0 -1 4202560 7578 0 0 0 49 1 0 0 16 0 22 0 909578664 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29687] ppid=29674 vsize=10549276 CPUtime=0.46 cores=1,3,5,7 /proc/29676/task/29687/stat : 29687 (java) S 29674 29676 23545 0 -1 4202560 5968 0 0 0 46 0 0 0 16 0 22 0 909578664 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29688] ppid=29674 vsize=10549276 CPUtime=0.46 cores=1,3,5,7 /proc/29676/task/29688/stat : 29688 (java) S 29674 29676 23545 0 -1 4202560 7102 0 0 0 45 1 0 0 15 0 22 0 909578664 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29689] ppid=29674 vsize=10549276 CPUtime=0.47 cores=1,3,5,7 /proc/29676/task/29689/stat : 29689 (java) S 29674 29676 23545 0 -1 4202560 5218 0 0 0 46 1 0 0 15 0 22 0 909578664 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29690] ppid=29674 vsize=10549276 CPUtime=0.5 cores=1,3,5,7 /proc/29676/task/29690/stat : 29690 (java) S 29674 29676 23545 0 -1 4202560 3426 0 0 0 49 1 0 0 15 0 22 0 909578664 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29691] ppid=29674 vsize=10549276 CPUtime=0.42 cores=1,3,5,7 /proc/29676/task/29691/stat : 29691 (java) S 29674 29676 23545 0 -1 4202560 4966 0 0 0 41 1 0 0 16 0 22 0 909578664 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29692] ppid=29674 vsize=10549276 CPUtime=0.5 cores=1,3,5,7 /proc/29676/task/29692/stat : 29692 (java) S 29674 29676 23545 0 -1 4202560 5484 0 0 0 50 0 0 0 15 0 22 0 909578664 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29693] ppid=29674 vsize=10549276 CPUtime=0.42 cores=1,3,5,7 /proc/29676/task/29693/stat : 29693 (java) S 29674 29676 23545 0 -1 4202560 5999 0 0 0 41 1 0 0 15 0 22 0 909578664 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29695] ppid=29674 vsize=10549276 CPUtime=20.72 cores=1,3,5,7 /proc/29676/task/29695/stat : 29695 (java) S 29674 29676 23545 0 -1 4202560 21463 0 0 0 2066 6 0 0 15 0 22 0 909578665 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 0 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29697] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29697/stat : 29697 (java) S 29674 29676 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909578666 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29698] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29698/stat : 29698 (java) S 29674 29676 23545 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909578666 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29710] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29710/stat : 29710 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909578668 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907314097 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29711] ppid=29674 vsize=10549276 CPUtime=1.1 cores=1,3,5,7 /proc/29676/task/29711/stat : 29711 (java) S 29674 29676 23545 0 -1 4202560 3600 0 0 0 110 0 0 0 15 0 22 0 909578668 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29712] ppid=29674 vsize=10549276 CPUtime=1.06 cores=1,3,5,7 /proc/29676/task/29712/stat : 29712 (java) S 29674 29676 23545 0 -1 4202560 5482 0 0 0 105 1 0 0 15 0 22 0 909578668 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29713] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29713/stat : 29713 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909578668 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29714] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29714/stat : 29714 (java) S 29674 29676 23545 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909578668 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29737] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29737/stat : 29737 (java) S 29674 29676 23545 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909578823 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29757] ppid=29674 vsize=10549276 CPUtime=643.87 cores=1,3,5,7 /proc/29676/task/29757/stat : 29757 (java) R 29674 29676 23545 0 -1 4202560 125 0 0 0 64387 0 0 0 25 0 22 0 909594602 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912505903815 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=29676/tid=29758] ppid=29674 vsize=10549276 CPUtime=643.89 cores=1,3,5,7 /proc/29676/task/29758/stat : 29758 (java) R 29674 29676 23545 0 -1 4202560 55 0 0 0 64389 0 0 0 25 0 22 0 909594602 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912506298177 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=29676/tid=29759] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29759/stat : 29759 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909594602 10802458624 922963 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1624.64 Current children cumulated vsize (KiB) 10549276 [startup+882.302 s] /proc/loadavg: 3.84 3.91 3.79 5/486 29779 /proc/meminfo: memFree=22345568/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10549276 CPUtime=1742.71 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 931855 0 1 0 174166 105 0 0 21 0 22 0 909578662 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2637319 924472 2270 9 0 2628053 0 [pid=29676/tid=29677] ppid=29674 vsize=10549276 CPUtime=0.6 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) S 29674 29676 23545 0 -1 4202560 26171 0 1 0 56 4 0 0 15 0 22 0 909578663 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29685] ppid=29674 vsize=10549276 CPUtime=0.52 cores=1,3,5,7 /proc/29676/task/29685/stat : 29685 (java) S 29674 29676 23545 0 -1 4202560 7831 0 0 0 51 1 0 0 16 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29687] ppid=29674 vsize=10549276 CPUtime=0.48 cores=1,3,5,7 /proc/29676/task/29687/stat : 29687 (java) S 29674 29676 23545 0 -1 4202560 5968 0 0 0 48 0 0 0 16 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29688] ppid=29674 vsize=10549276 CPUtime=0.47 cores=1,3,5,7 /proc/29676/task/29688/stat : 29688 (java) S 29674 29676 23545 0 -1 4202560 7102 0 0 0 46 1 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29689] ppid=29674 vsize=10549276 CPUtime=0.5 cores=1,3,5,7 /proc/29676/task/29689/stat : 29689 (java) S 29674 29676 23545 0 -1 4202560 5233 0 0 0 49 1 0 0 16 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29690] ppid=29674 vsize=10549276 CPUtime=0.52 cores=1,3,5,7 /proc/29676/task/29690/stat : 29690 (java) S 29674 29676 23545 0 -1 4202560 3426 0 0 0 51 1 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29691] ppid=29674 vsize=10549276 CPUtime=0.43 cores=1,3,5,7 /proc/29676/task/29691/stat : 29691 (java) S 29674 29676 23545 0 -1 4202560 5543 0 0 0 42 1 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29692] ppid=29674 vsize=10549276 CPUtime=0.51 cores=1,3,5,7 /proc/29676/task/29692/stat : 29692 (java) S 29674 29676 23545 0 -1 4202560 5689 0 0 0 51 0 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29693] ppid=29674 vsize=10549276 CPUtime=0.44 cores=1,3,5,7 /proc/29676/task/29693/stat : 29693 (java) S 29674 29676 23545 0 -1 4202560 6502 0 0 0 43 1 0 0 16 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29695] ppid=29674 vsize=10549276 CPUtime=22.67 cores=1,3,5,7 /proc/29676/task/29695/stat : 29695 (java) S 29674 29676 23545 0 -1 4202560 21467 0 0 0 2261 6 0 0 16 0 22 0 909578665 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 0 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29697] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29697/stat : 29697 (java) S 29674 29676 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909578666 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29698] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29698/stat : 29698 (java) S 29674 29676 23545 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909578666 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29710] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29710/stat : 29710 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907314097 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29711] ppid=29674 vsize=10549276 CPUtime=1.1 cores=1,3,5,7 /proc/29676/task/29711/stat : 29711 (java) S 29674 29676 23545 0 -1 4202560 3600 0 0 0 110 0 0 0 15 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29712] ppid=29674 vsize=10549276 CPUtime=1.06 cores=1,3,5,7 /proc/29676/task/29712/stat : 29712 (java) S 29674 29676 23545 0 -1 4202560 5482 0 0 0 105 1 0 0 15 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29713] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29713/stat : 29713 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29714] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29714/stat : 29714 (java) S 29674 29676 23545 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29737] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29737/stat : 29737 (java) S 29674 29676 23545 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909578823 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29757] ppid=29674 vsize=10549276 CPUtime=701.85 cores=1,3,5,7 /proc/29676/task/29757/stat : 29757 (java) R 29674 29676 23545 0 -1 4202560 130 0 0 0 70185 0 0 0 25 0 22 0 909594602 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912506046299 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29676/tid=29758] ppid=29674 vsize=10549276 CPUtime=701.88 cores=1,3,5,7 /proc/29676/task/29758/stat : 29758 (java) R 29674 29676 23545 0 -1 4202560 62 0 0 0 70188 0 0 0 25 0 22 0 909594602 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912505973434 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=29676/tid=29759] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29759/stat : 29759 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909594602 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1742.71 Current children cumulated vsize (KiB) 10549276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+911.401 s] /proc/loadavg: 3.86 3.91 3.79 3/459 29800 /proc/meminfo: memFree=26102228/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=10549276 CPUtime=1800.11 cores=1,3,5,7 /proc/29676/stat : 29676 (java) S 29674 29676 23545 0 -1 4202496 931863 0 1 0 179906 105 0 0 21 0 22 0 909578662 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 2637319 924472 2270 9 0 2628053 0 [pid=29676/tid=29677] ppid=29674 vsize=10549276 CPUtime=0.6 cores=1,3,5,7 /proc/29676/task/29677/stat : 29677 (java) S 29674 29676 23545 0 -1 4202560 26171 0 1 0 56 4 0 0 15 0 22 0 909578663 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29685] ppid=29674 vsize=10549276 CPUtime=0.53 cores=1,3,5,7 /proc/29676/task/29685/stat : 29685 (java) S 29674 29676 23545 0 -1 4202560 7831 0 0 0 52 1 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29687] ppid=29674 vsize=10549276 CPUtime=0.5 cores=1,3,5,7 /proc/29676/task/29687/stat : 29687 (java) S 29674 29676 23545 0 -1 4202560 5968 0 0 0 50 0 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29688] ppid=29674 vsize=10549276 CPUtime=0.48 cores=1,3,5,7 /proc/29676/task/29688/stat : 29688 (java) S 29674 29676 23545 0 -1 4202560 7102 0 0 0 47 1 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29689] ppid=29674 vsize=10549276 CPUtime=0.51 cores=1,3,5,7 /proc/29676/task/29689/stat : 29689 (java) S 29674 29676 23545 0 -1 4202560 5233 0 0 0 50 1 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29690] ppid=29674 vsize=10549276 CPUtime=0.52 cores=1,3,5,7 /proc/29676/task/29690/stat : 29690 (java) S 29674 29676 23545 0 -1 4202560 3426 0 0 0 51 1 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 3 0 0 0 [pid=29676/tid=29691] ppid=29674 vsize=10549276 CPUtime=0.44 cores=1,3,5,7 /proc/29676/task/29691/stat : 29691 (java) S 29674 29676 23545 0 -1 4202560 5543 0 0 0 43 1 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29692] ppid=29674 vsize=10549276 CPUtime=0.52 cores=1,3,5,7 /proc/29676/task/29692/stat : 29692 (java) S 29674 29676 23545 0 -1 4202560 5689 0 0 0 52 0 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29693] ppid=29674 vsize=10549276 CPUtime=0.46 cores=1,3,5,7 /proc/29676/task/29693/stat : 29693 (java) S 29674 29676 23545 0 -1 4202560 6502 0 0 0 45 1 0 0 15 0 22 0 909578664 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 7 0 0 0 [pid=29676/tid=29695] ppid=29674 vsize=10549276 CPUtime=23.53 cores=1,3,5,7 /proc/29676/task/29695/stat : 29695 (java) S 29674 29676 23545 0 -1 4202560 21467 0 0 0 2347 6 0 0 15 0 22 0 909578665 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 0 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29697] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29697/stat : 29697 (java) S 29674 29676 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909578666 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29698] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29698/stat : 29698 (java) S 29674 29676 23545 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909578666 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29710] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29710/stat : 29710 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907314097 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29711] ppid=29674 vsize=10549276 CPUtime=1.1 cores=1,3,5,7 /proc/29676/task/29711/stat : 29711 (java) S 29674 29676 23545 0 -1 4202560 3600 0 0 0 110 0 0 0 15 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29712] ppid=29674 vsize=10549276 CPUtime=1.06 cores=1,3,5,7 /proc/29676/task/29712/stat : 29712 (java) S 29674 29676 23545 0 -1 4202560 5482 0 0 0 105 1 0 0 15 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29713] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29713/stat : 29713 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907306393 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 [pid=29676/tid=29714] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29714/stat : 29714 (java) S 29674 29676 23545 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909578668 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29737] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29737/stat : 29737 (java) S 29674 29676 23545 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909578823 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 5 0 0 0 [pid=29676/tid=29757] ppid=29674 vsize=10549276 CPUtime=730.08 cores=1,3,5,7 /proc/29676/task/29757/stat : 29757 (java) R 29674 29676 23545 0 -1 4202560 135 0 0 0 73008 0 0 0 25 0 22 0 909594602 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912505903811 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29676/tid=29758] ppid=29674 vsize=10549276 CPUtime=730.11 cores=1,3,5,7 /proc/29676/task/29758/stat : 29758 (java) R 29674 29676 23545 0 -1 4202560 63 0 0 0 73011 0 0 0 25 0 22 0 909594602 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 46912505973478 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=29676/tid=29759] ppid=29674 vsize=10549276 CPUtime=0 cores=1,3,5,7 /proc/29676/task/29759/stat : 29759 (java) S 29674 29676 23545 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909594602 10802458624 924472 33554432000 1073741824 1073778376 140736819844480 18446744073709551615 231907307008 0 4 0 16800975 18446604471152761920 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 10549276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+911.522 s] /proc/loadavg: 3.86 3.91 3.79 3/459 29800 /proc/meminfo: memFree=26102228/32950928 swapFree=52246700/67111528 [pid=29676] ppid=29674 vsize=0 CPUtime=1800.28 cores=1,3,5,7 /proc/29676/stat : 29676 (java) Z 29674 29676 23545 0 -1 4203548 931896 0 1 0 179915 113 0 0 17 0 2 0 909578662 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29676/statm: 0 0 0 0 0 0 0 [pid=29676/tid=29758] ppid=29674 vsize=0 CPUtime=730.21 cores=1,3,5,7 /proc/29676/task/29758/stat : 29758 (java) R 29674 29676 23545 0 -1 4203588 63 0 0 0 73014 7 0 0 25 0 2 0 909594602 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 911.595 CPU time (s): 1800.36 CPU user time (s): 1799.16 CPU system time (s): 1.20582 CPU usage (%): 197.496 Max. virtual memory (cumulated for all children) (KiB): 10549992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.16 system time used= 1.20582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 931896 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= 28290 involuntary context switches= 15829 runsolver used 3.98039 second user time and 9.42157 second system time The end
Begin job on node114 at 2011-06-04 15:18:00 IDJOB=3454103 IDBENCH=24989 IDSOLVER=1950 FILE ID=node114/3454103-1307193480 RUNJOBID= node114-1307193480-29661 PBS_JOBID= 13508824 Free space on /tmp= 73940 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454103-1307193480/watcher-3454103-1307193480 -o /tmp/evaluation-result-3454103-1307193480/solver-3454103-1307193480 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454103-1307193480.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 66cf2657d020eb0982c7cab0e5ad93c1 RANDOM SEED=1710554379 node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29798564 kB Buffers: 326956 kB Cached: 513588 kB SwapCached: 10712 kB Active: 2361824 kB Inactive: 518376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29798564 kB SwapTotal: 67111528 kB SwapFree: 52246700 kB Dirty: 2020 kB Writeback: 0 kB AnonPages: 2037308 kB Mapped: 20848 kB Slab: 142492 kB PageTables: 62036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 108161720 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73940 MiB End job on node114 at 2011-06-04 15:33:13