Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 27 | 1800.45 | 916.783 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb |
MD5SUM | 0b594d74f3df9901bfa97fac996b1847 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 15.5586 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 7437 |
Total number of constraints | 23270 |
Number of constraints which are clauses | 23270 |
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 | 3612 |
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 | 3612 |
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 | 3612 |
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.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.08 c version 2.3.1.v20110525 0.06/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.08 c java.vm.version 19.1-b02 0.06/0.08 c java.vm.vendor Sun Microsystems Inc. 0.06/0.08 c sun.arch.data.model 64 0.06/0.08 c java.version 1.6.0_24 0.06/0.08 c os.name Linux 0.06/0.08 c os.version 2.6.18-164.el5 0.06/0.08 c os.arch amd64 0.06/0.08 c Free memory 9996466904 0.06/0.08 c Max memory 10048897024 0.06/0.08 c Total memory 10048897024 0.06/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3454098-1307193461.opb 0.11/0.11 c reading problem ... 1.01/0.51 c ... done. Wall clock time 0.406s. 1.01/0.51 c #vars 7437 1.01/0.51 c #constraints 23270 1.01/0.51 c constraints type 1.01/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3832 1.01/0.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18842 1.01/0.51 c constraints type 1.01/0.51 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18842 1.01/0.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3832 1.31/0.63 c And the winner is CuttingPlanes 1.51/1.07 c SATISFIABLE 1.51/1.07 c OPTIMIZING... 1.51/1.07 c Got one! Elapsed wall clock time (in seconds):0.961 1.51/1.07 o 39 1.70/1.12 c And the winner is Resolution 2.00/1.61 c Got one! Elapsed wall clock time (in seconds):1.499 2.00/1.61 o 38 2.00/1.63 c And the winner is Resolution 2.20/2.14 c Got one! Elapsed wall clock time (in seconds):2.031 2.20/2.14 o 37 2.20/2.20 c And the winner is Resolution 2.87/2.66 c Got one! Elapsed wall clock time (in seconds):2.551 2.87/2.66 o 33 3.03/2.71 c And the winner is Resolution 3.16/3.18 c Got one! Elapsed wall clock time (in seconds):3.068 3.16/3.18 o 30 5.40/4.27 c And the winner is Resolution 5.58/4.70 c Got one! Elapsed wall clock time (in seconds):4.588 5.58/4.70 o 29 8.27/6.04 c cleaning 2905 clauses out of 5819 with flag 3001/5819 13.18/8.40 c cleaning 4453 clauses out of 8913 with flag 9000/11818 19.16/11.43 c cleaning 5725 clauses out of 11460 with flag 16000/18818 25.74/14.77 c cleaning 6863 clauses out of 13736 with flag 24001/26819 32.94/18.38 c cleaning 7928 clauses out of 15872 with flag 33000/35818 40.90/22.36 c cleaning 8968 clauses out of 17946 with flag 43002/45820 49.93/26.89 c cleaning 9978 clauses out of 19976 with flag 54000/56818 60.28/32.04 c cleaning 10994 clauses out of 21998 with flag 66000/68818 71.06/37.47 c cleaning 11996 clauses out of 24006 with flag 79002/81820 82.17/43.03 c cleaning 13000 clauses out of 26009 with flag 93001/95819 94.11/49.10 c cleaning 13996 clauses out of 28009 with flag 108001/110819 102.25/53.19 c And the winner is Resolution 102.50/53.40 c Got one! Elapsed wall clock time (in seconds):53.29 102.50/53.40 o 28 105.33/54.80 c cleaning 14977 clauses out of 29966 with flag 5001/126772 110.65/57.50 c cleaning 10485 clauses out of 20988 with flag 11000/132771 115.59/60.00 c cleaning 8746 clauses out of 17504 with flag 18001/139772 122.13/63.35 c cleaning 8368 clauses out of 16757 with flag 26000/147771 129.72/67.14 c cleaning 8685 clauses out of 17389 with flag 35000/156771 137.78/71.25 c cleaning 9342 clauses out of 18704 with flag 45000/166771 146.32/75.55 c cleaning 10178 clauses out of 20363 with flag 56001/177772 155.27/80.01 c cleaning 11087 clauses out of 22186 with flag 68002/189773 165.81/85.31 c cleaning 12043 clauses out of 24097 with flag 81000/202771 175.92/90.40 c cleaning 13022 clauses out of 26054 with flag 95000/216771 187.05/96.05 c cleaning 14009 clauses out of 28033 with flag 110001/231772 200.19/102.65 c cleaning 15006 clauses out of 30023 with flag 126000/247771 214.73/109.99 c cleaning 16001 clauses out of 32017 with flag 143000/264771 229.00/117.12 c cleaning 17002 clauses out of 34017 with flag 161001/282772 243.75/124.54 c cleaning 17999 clauses out of 36015 with flag 180001/301772 260.91/133.17 c cleaning 18999 clauses out of 38015 with flag 200000/321771 277.16/141.39 c cleaning 20000 clauses out of 40017 with flag 221001/342772 294.21/149.93 c cleaning 20998 clauses out of 42017 with flag 243001/364772 312.51/159.13 c cleaning 22000 clauses out of 44019 with flag 266001/387772 330.41/168.19 c cleaning 22508 clauses out of 45019 with flag 289001/410772 347.50/176.73 c cleaning 22749 clauses out of 45510 with flag 312000/433771 366.11/186.18 c cleaning 22874 clauses out of 45761 with flag 335000/456771 386.39/196.35 c cleaning 22940 clauses out of 45889 with flag 358002/479773 406.07/206.23 c cleaning 22963 clauses out of 45947 with flag 381000/502771 426.34/216.45 c cleaning 22984 clauses out of 45984 with flag 404000/525771 445.13/225.94 c cleaning 22991 clauses out of 46000 with flag 427000/548771 464.04/235.42 c cleaning 22996 clauses out of 46009 with flag 450000/571771 482.26/244.66 c cleaning 22996 clauses out of 46013 with flag 473000/594771 501.71/254.47 c cleaning 23000 clauses out of 46020 with flag 496003/617774 521.06/264.24 c cleaning 22999 clauses out of 46017 with flag 519000/640771 540.12/273.86 c cleaning 23001 clauses out of 46018 with flag 542000/663771 559.34/283.51 c cleaning 23001 clauses out of 46017 with flag 565000/686771 579.17/293.51 c cleaning 23003 clauses out of 46018 with flag 588002/709773 596.72/302.51 c cleaning 23001 clauses out of 46013 with flag 611000/732771 614.37/311.35 c cleaning 23000 clauses out of 46013 with flag 634001/755772 631.15/319.86 c cleaning 22996 clauses out of 46012 with flag 657000/778771 650.59/329.63 c cleaning 23001 clauses out of 46016 with flag 680000/801771 670.11/339.58 c cleaning 23001 clauses out of 46016 with flag 703001/824772 690.57/349.88 c cleaning 22994 clauses out of 46014 with flag 726000/847771 711.54/360.43 c cleaning 22999 clauses out of 46020 with flag 749000/870771 731.13/370.36 c cleaning 23006 clauses out of 46022 with flag 772001/893772 748.03/378.92 c cleaning 23003 clauses out of 46016 with flag 795001/916772 765.82/387.95 c cleaning 23000 clauses out of 46014 with flag 818002/939773 783.61/396.97 c cleaning 22997 clauses out of 46016 with flag 841004/962775 801.60/406.03 c cleaning 22999 clauses out of 46015 with flag 864000/985771 819.47/415.10 c cleaning 22996 clauses out of 46016 with flag 887000/1008771 835.25/423.11 c And the winner is CuttingPlanes 835.27/423.47 c Got one! Elapsed wall clock time (in seconds):423.365 835.27/423.47 o 27 839.12/425.43 c cleaning 24503 clauses out of 49023 with flag 5000/1034774 843.93/427.92 c cleaning 15255 clauses out of 30520 with flag 11000/1040774 849.25/430.78 c cleaning 11129 clauses out of 22266 with flag 18001/1047775 856.09/434.36 c cleaning 9566 clauses out of 19138 with flag 26002/1055776 863.45/438.15 c cleaning 9279 clauses out of 18570 with flag 35000/1064774 871.23/442.22 c cleaning 9642 clauses out of 19291 with flag 45000/1074774 880.97/447.17 c cleaning 10320 clauses out of 20650 with flag 56001/1085775 891.21/452.43 c cleaning 11160 clauses out of 22329 with flag 68000/1097774 901.77/457.84 c cleaning 12077 clauses out of 24169 with flag 81000/1110774 912.16/463.15 c cleaning 13034 clauses out of 26092 with flag 95000/1124774 923.87/469.15 c cleaning 14023 clauses out of 28059 with flag 110001/1139775 936.29/475.52 c cleaning 15006 clauses out of 30035 with flag 126000/1155774 949.45/482.21 c cleaning 16011 clauses out of 32030 with flag 143001/1172775 965.20/490.24 c cleaning 17004 clauses out of 34019 with flag 161001/1190775 980.75/498.15 c cleaning 17998 clauses out of 36014 with flag 180000/1209774 996.95/506.48 c cleaning 19003 clauses out of 38016 with flag 200000/1229774 1015.10/515.62 c cleaning 19996 clauses out of 40013 with flag 221000/1250774 1032.85/524.72 c cleaning 21006 clauses out of 42019 with flag 243002/1272776 1051.37/534.00 c cleaning 21993 clauses out of 44011 with flag 266000/1295774 1070.76/543.95 c cleaning 22498 clauses out of 45018 with flag 289000/1318774 1091.31/554.38 c cleaning 22753 clauses out of 45521 with flag 312001/1341775 1110.84/564.28 c cleaning 22878 clauses out of 45767 with flag 335000/1364774 1130.58/574.26 c cleaning 22941 clauses out of 45891 with flag 358002/1387776 1148.90/583.67 c cleaning 22960 clauses out of 45948 with flag 381000/1410774 1167.25/592.92 c cleaning 22989 clauses out of 45989 with flag 404001/1433775 1186.75/602.88 c cleaning 22994 clauses out of 45999 with flag 427000/1456774 1205.82/612.53 c cleaning 22997 clauses out of 46005 with flag 450000/1479774 1225.17/622.41 c cleaning 22997 clauses out of 46009 with flag 473001/1502775 1242.92/631.49 c cleaning 22994 clauses out of 46011 with flag 496000/1525774 1260.38/640.38 c cleaning 23003 clauses out of 46018 with flag 519001/1548775 1279.08/649.85 c cleaning 23002 clauses out of 46015 with flag 542001/1571775 1297.81/659.43 c cleaning 22995 clauses out of 46013 with flag 565001/1594775 1316.90/669.19 c cleaning 23002 clauses out of 46017 with flag 588000/1617774 1335.17/678.48 c cleaning 23001 clauses out of 46016 with flag 611001/1640775 1352.86/687.42 c cleaning 22995 clauses out of 46014 with flag 634000/1663774 1370.16/696.34 c cleaning 22998 clauses out of 46019 with flag 657000/1686774 1388.38/705.60 c cleaning 23000 clauses out of 46022 with flag 680001/1709775 1405.86/714.58 c cleaning 23004 clauses out of 46022 with flag 703001/1732775 1424.51/724.09 c cleaning 22995 clauses out of 46018 with flag 726001/1755775 1446.18/735.15 c cleaning 23007 clauses out of 46024 with flag 749002/1778776 1468.01/746.23 c cleaning 23000 clauses out of 46016 with flag 772001/1801775 1487.25/756.09 c cleaning 23000 clauses out of 46016 with flag 795001/1824775 1505.47/765.32 c cleaning 22995 clauses out of 46016 with flag 818001/1847775 1523.52/774.69 c cleaning 23002 clauses out of 46022 with flag 841002/1870776 1542.37/784.22 c cleaning 22997 clauses out of 46019 with flag 864001/1893775 1559.96/793.28 c cleaning 23006 clauses out of 46021 with flag 887000/1916774 1577.79/802.32 c cleaning 23004 clauses out of 46016 with flag 910001/1939775 1594.98/811.29 c cleaning 23001 clauses out of 46011 with flag 933000/1962774 1612.78/820.35 c cleaning 22995 clauses out of 46010 with flag 956000/1985774 1630.98/829.61 c cleaning 23001 clauses out of 46016 with flag 979001/2008775 1647.98/838.39 c cleaning 23002 clauses out of 46015 with flag 1002001/2031775 1664.98/847.12 c cleaning 22994 clauses out of 46012 with flag 1025000/2054774 1684.57/857.18 c cleaning 23000 clauses out of 46020 with flag 1048002/2077776 1704.55/867.39 c cleaning 22994 clauses out of 46018 with flag 1071000/2100774 1722.76/876.69 c cleaning 22996 clauses out of 46024 with flag 1094000/2123774 1741.12/886.15 c cleaning 23005 clauses out of 46028 with flag 1117000/2146774 1758.30/894.90 c cleaning 23005 clauses out of 46023 with flag 1140000/2169774 1775.88/903.91 c cleaning 23003 clauses out of 46019 with flag 1163001/2192775 1793.69/913.08 c cleaning 23002 clauses out of 46015 with flag 1186000/2215774 1800.21/916.62 c starts : 17 1800.21/916.62 c conflicts : 1426 1800.21/916.62 c decisions : 134061 1800.21/916.62 c propagations : 625242 1800.21/916.62 c inspects : 6207910 1800.21/916.62 c shortcuts : 0 1800.21/916.62 c learnt literals : 0 1800.21/916.62 c learnt binary clauses : 0 1800.21/916.62 c learnt ternary clauses : 1 1800.21/916.62 c learnt constraints : 1424 1800.21/916.62 c ignored constraints : 0 1800.21/916.62 c root simplifications : 0 1800.21/916.62 c removed literals (reason simplification) : 0 1800.21/916.62 c reason swapping (by a shorter reason) : 0 1800.21/916.62 c Calls to reduceDB : 0 1800.21/916.62 c number of reductions to clauses (during analyze) : 0 1800.21/916.62 c number of learned constraints concerned by reduction : 0 1800.21/916.62 c number of learning phase by resolution : 0 1800.21/916.62 c number of learning phase by cutting planes : 0 1800.21/916.62 c speed (assignments/second) : 1267.8638780401748 1800.21/916.62 c non guided choices 0 1800.21/916.63 c learnt constraints type 1800.21/916.63 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 25 1800.21/916.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 47 1800.21/916.63 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1352 1800.21/916.63 c constraints type 1800.21/916.63 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3832 1800.21/916.63 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.21/916.63 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18842 1800.21/916.63 c constraints type 1800.21/916.63 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18842 1800.21/916.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3832 1800.21/916.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.21/916.63 s SATISFIABLE 1800.21/916.64 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 x7344 x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 x7378 x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 x7392 x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 x7402 x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 x7422 x7423 -x7424 -x7425 -x7426 -x7427 x7428 x7429 -x7430 -x7431 x7432 x7433 -x7434 -x7435 x7436 x7437 1800.21/916.64 c objective function=27 1800.21/916.64 c Total wall clock time (in seconds): 916.536
OK 27
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-3454098-1307193461/watcher-3454098-1307193461 -o /tmp/evaluation-result-3454098-1307193461/solver-3454098-1307193461 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454098-1307193461.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.56 3.69 3.39 3/593 3759 /proc/meminfo: memFree=29045968/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=10430980 CPUtime=0 cores=1,3,5,7 /proc/3759/stat : 3759 (java) S 3757 3759 32216 0 -1 4202496 3061 0 1 0 0 0 0 0 18 0 2 0 830944876 10681323520 2762 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 2607745 2775 906 9 0 2598901 0 [pid=3759/tid=3760] ppid=3757 vsize=10453028 CPUtime=0.01 cores=1,3,5,7 /proc/3759/task/3760/stat : 3760 (java) R 3757 3759 32216 0 -1 4202560 8823 0 1 0 0 1 0 0 20 0 10 0 830944877 10703900672 9648 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 46942079991848 0 4 0 16784584 0 0 0 -1 3 0 0 0 [pid=3759/tid=3761] ppid=3757 vsize=10453028 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3761/stat : 3761 (java) R 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 830944878 10703900672 9649 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0 [pid=3759/tid=3762] ppid=3757 vsize=10453028 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3762/stat : 3762 (java) R 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 830944879 10703900672 9650 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0 [pid=3759/tid=3763] ppid=3757 vsize=10453028 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3763/stat : 3763 (java) R 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 830944879 10703900672 9650 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0 [pid=3759/tid=3764] ppid=3757 vsize=10453028 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3764/stat : 3764 (java) R 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 830944879 10703900672 9651 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0 [pid=3759/tid=3765] ppid=3757 vsize=10453028 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3765/stat : 3765 (java) R 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 830944879 10703900672 9652 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0 [pid=3759/tid=3766] ppid=3757 vsize=10453028 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3766/stat : 3766 (java) R 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 830944879 10703900672 9653 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0 [pid=3759/tid=3767] ppid=3757 vsize=10453028 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3767/stat : 3767 (java) R 3757 3759 32216 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 10 0 830944879 10703900672 9653 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0 [pid=3759/tid=3768] ppid=3757 vsize=10453028 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3768/stat : 3768 (java) R 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 830944879 10703900672 9654 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284514997 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0780831 s] /proc/loadavg: 3.56 3.69 3.39 3/593 3759 /proc/meminfo: memFree=29045968/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=10473088 CPUtime=0.06 cores=1,3,5,7 /proc/3759/stat : 3759 (java) S 3757 3759 32216 0 -1 4202496 11997 0 1 0 5 1 0 0 18 0 18 0 830944876 10724442112 11693 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 2618272 11693 1755 9 0 2609006 0 [pid=3759/tid=3760] ppid=3757 vsize=10473088 CPUtime=0.06 cores=1,3,5,7 /proc/3759/task/3760/stat : 3760 (java) R 3757 3759 32216 0 -1 4202560 10822 0 1 0 5 1 0 0 25 0 18 0 830944877 10724442112 11693 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 46942084248629 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=3759/tid=3761] ppid=3757 vsize=10473088 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3761/stat : 3761 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 830944878 10724442112 11695 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3762] ppid=3757 vsize=10473088 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3762/stat : 3762 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10724442112 11695 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3763] ppid=3757 vsize=10473088 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3763/stat : 3763 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10724442112 11695 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3764] ppid=3757 vsize=10473088 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3764/stat : 3764 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10724442112 11695 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3765] ppid=3757 vsize=10473088 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3765/stat : 3765 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10724442112 11695 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3766] ppid=3757 vsize=10473088 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3766/stat : 3766 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10724442112 11696 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3767] ppid=3757 vsize=10473088 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3767/stat : 3767 (java) S 3757 3759 32216 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 830944879 10724442112 11697 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3768] ppid=3757 vsize=10473088 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3768/stat : 3768 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10724442112 11697 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10473088 [startup+0.101079 s] /proc/loadavg: 3.56 3.69 3.39 3/593 3759 /proc/meminfo: memFree=29045968/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=10540024 CPUtime=0.11 cores=1,3,5,7 /proc/3759/stat : 3759 (java) S 3757 3759 32216 0 -1 4202496 13061 0 1 0 9 2 0 0 18 0 18 0 830944876 10792984576 12757 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 2635006 12757 2093 9 0 2625740 0 [pid=3759/tid=3760] ppid=3757 vsize=10540024 CPUtime=0.08 cores=1,3,5,7 /proc/3759/task/3760/stat : 3760 (java) R 3757 3759 32216 0 -1 4202560 11204 0 1 0 7 1 0 0 25 0 18 0 830944877 10792984576 12757 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284515787 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=3759/tid=3761] ppid=3757 vsize=10540024 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3761/stat : 3761 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 830944878 10792984576 12758 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3762] ppid=3757 vsize=10540024 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3762/stat : 3762 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10792984576 12758 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3763] ppid=3757 vsize=10540024 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3763/stat : 3763 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10792984576 12758 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3764] ppid=3757 vsize=10540024 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3764/stat : 3764 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10792984576 12758 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3765] ppid=3757 vsize=10540024 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3765/stat : 3765 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10792984576 12758 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3766] ppid=3757 vsize=10540024 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3766/stat : 3766 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10792984576 12759 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3767] ppid=3757 vsize=10540024 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3767/stat : 3767 (java) S 3757 3759 32216 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 830944879 10792984576 12759 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3768] ppid=3757 vsize=10540024 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3768/stat : 3768 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10792984576 12759 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540024 [startup+0.301045 s] /proc/loadavg: 3.56 3.69 3.39 3/593 3759 /proc/meminfo: memFree=29045968/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=10542636 CPUtime=0.53 cores=1,3,5,7 /proc/3759/stat : 3759 (java) S 3757 3759 32216 0 -1 4202496 17264 0 1 0 50 3 0 0 18 0 18 0 830944876 10795659264 16256 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 2635659 16257 2201 9 0 2626393 0 [pid=3759/tid=3760] ppid=3757 vsize=10542636 CPUtime=0.28 cores=1,3,5,7 /proc/3759/task/3760/stat : 3760 (java) R 3757 3759 32216 0 -1 4202560 13568 0 1 0 26 2 0 0 25 0 18 0 830944877 10795659264 16257 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 46912505611449 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=3759/tid=3761] ppid=3757 vsize=10542636 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3761/stat : 3761 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 830944878 10795659264 16258 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3762] ppid=3757 vsize=10542636 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3762/stat : 3762 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10795659264 16258 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3763] ppid=3757 vsize=10542636 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3763/stat : 3763 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10795659264 16259 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3764] ppid=3757 vsize=10542636 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3764/stat : 3764 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10795659264 16259 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3765] ppid=3757 vsize=10542636 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3765/stat : 3765 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10795659264 16260 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3766] ppid=3757 vsize=10542636 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3766/stat : 3766 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10795659264 16260 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3767] ppid=3757 vsize=10542636 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3767/stat : 3767 (java) S 3757 3759 32216 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 830944879 10795659264 16261 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3768] ppid=3757 vsize=10542636 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3768/stat : 3768 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830944879 10795659264 16262 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10542636 [startup+0.701044 s] /proc/loadavg: 3.56 3.69 3.39 3/593 3759 /proc/meminfo: memFree=29045968/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=10551792 CPUtime=1.51 cores=1,3,5,7 /proc/3759/stat : 3759 (java) S 3757 3759 32216 0 -1 4202496 34689 0 1 0 146 5 0 0 18 0 19 0 830944876 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 2637948 30954 2234 9 0 2628682 0 [pid=3759/tid=3760] ppid=3757 vsize=10551792 CPUtime=0.5 cores=1,3,5,7 /proc/3759/task/3760/stat : 3760 (java) S 3757 3759 32216 0 -1 4202560 25670 0 1 0 47 3 0 0 25 0 19 0 830944877 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3761] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3761/stat : 3761 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830944878 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3762] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3762/stat : 3762 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3763] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3763/stat : 3763 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3764] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3764/stat : 3764 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3765] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3765/stat : 3765 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3766] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3766/stat : 3766 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3767] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3767/stat : 3767 (java) S 3757 3759 32216 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3768] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3768/stat : 3768 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 30954 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 10551792 [startup+1.5009 s] /proc/loadavg: 3.56 3.69 3.39 3/612 3781 /proc/meminfo: memFree=28929328/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=10551792 CPUtime=1.99 cores=1,3,5,7 /proc/3759/stat : 3759 (java) S 3757 3759 32216 0 -1 4202496 35985 0 1 0 194 5 0 0 18 0 19 0 830944876 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 2637948 31800 2238 9 0 2628682 0 [pid=3759/tid=3760] ppid=3757 vsize=10551792 CPUtime=0.54 cores=1,3,5,7 /proc/3759/task/3760/stat : 3760 (java) S 3757 3759 32216 0 -1 4202560 26037 0 1 0 51 3 0 0 21 0 19 0 830944877 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3761] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3761/stat : 3761 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 830944878 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3762] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3762/stat : 3762 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3763] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3763/stat : 3763 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3764] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3764/stat : 3764 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3765] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3765/stat : 3765 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3766] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3766/stat : 3766 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3767] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3767/stat : 3767 (java) S 3757 3759 32216 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3768] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3768/stat : 3768 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830944879 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3770] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3770/stat : 3770 (java) S 3757 3759 32216 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 830944880 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3771] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3771/stat : 3771 (java) S 3757 3759 32216 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 830944880 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3772] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3772/stat : 3772 (java) S 3757 3759 32216 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 830944880 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3773] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3773/stat : 3773 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830944882 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3774] ppid=3757 vsize=10551792 CPUtime=0.49 cores=1,3,5,7 /proc/3759/task/3774/stat : 3774 (java) S 3757 3759 32216 0 -1 4202560 4471 0 0 0 49 0 0 0 21 0 19 0 830944882 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3775] ppid=3757 vsize=10551792 CPUtime=0.52 cores=1,3,5,7 /proc/3759/task/3775/stat : 3775 (java) S 3757 3759 32216 0 -1 4202560 3501 0 0 0 52 0 0 0 21 0 19 0 830944882 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 [pid=3759/tid=3776] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3776/stat : 3776 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830944882 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3777] ppid=3757 vsize=10551792 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3777/stat : 3777 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830944882 10805035008 31800 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 10551792 [startup+3.10054 s] /proc/loadavg: 3.56 3.69 3.39 3/612 3787 /proc/meminfo: memFree=28922384/32950928 swapFree=43925852/67111528 ################ # More data... # ################ /proc/meminfo: memFree=24245684/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=10548728 CPUtime=1616.37 cores=1,3,5,7 /proc/3759/stat : 3759 (java) S 3757 3759 32216 0 -1 4202496 948141 0 1 0 161533 104 0 0 18 0 22 0 830944876 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 2637182 937726 2270 9 0 2627916 0 [pid=3759/tid=3760] ppid=3757 vsize=10548728 CPUtime=0.66 cores=1,3,5,7 /proc/3759/task/3760/stat : 3760 (java) S 3757 3759 32216 0 -1 4202560 28091 0 1 0 63 3 0 0 15 0 22 0 830944877 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3761] ppid=3757 vsize=10548728 CPUtime=0.67 cores=1,3,5,7 /proc/3759/task/3761/stat : 3761 (java) S 3757 3759 32216 0 -1 4202560 6262 0 0 0 66 1 0 0 16 0 22 0 830944878 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3762] ppid=3757 vsize=10548728 CPUtime=0.51 cores=1,3,5,7 /proc/3759/task/3762/stat : 3762 (java) S 3757 3759 32216 0 -1 4202560 4745 0 0 0 51 0 0 0 16 0 22 0 830944879 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3763] ppid=3757 vsize=10548728 CPUtime=0.57 cores=1,3,5,7 /proc/3759/task/3763/stat : 3763 (java) S 3757 3759 32216 0 -1 4202560 5307 0 0 0 57 0 0 0 15 0 22 0 830944879 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3764] ppid=3757 vsize=10548728 CPUtime=0.56 cores=1,3,5,7 /proc/3759/task/3764/stat : 3764 (java) S 3757 3759 32216 0 -1 4202560 5113 0 0 0 56 0 0 0 16 0 22 0 830944879 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3765] ppid=3757 vsize=10548728 CPUtime=0.62 cores=1,3,5,7 /proc/3759/task/3765/stat : 3765 (java) S 3757 3759 32216 0 -1 4202560 8979 0 0 0 61 1 0 0 15 0 22 0 830944879 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3766] ppid=3757 vsize=10548728 CPUtime=0.61 cores=1,3,5,7 /proc/3759/task/3766/stat : 3766 (java) S 3757 3759 32216 0 -1 4202560 7399 0 0 0 60 1 0 0 16 0 22 0 830944879 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3767] ppid=3757 vsize=10548728 CPUtime=0.62 cores=1,3,5,7 /proc/3759/task/3767/stat : 3767 (java) S 3757 3759 32216 0 -1 4202560 6867 0 0 0 62 0 0 0 15 0 22 0 830944879 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3768] ppid=3757 vsize=10548728 CPUtime=0.57 cores=1,3,5,7 /proc/3759/task/3768/stat : 3768 (java) S 3757 3759 32216 0 -1 4202560 3371 0 0 0 56 1 0 0 15 0 22 0 830944879 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3770] ppid=3757 vsize=10548728 CPUtime=25.6 cores=1,3,5,7 /proc/3759/task/3770/stat : 3770 (java) S 3757 3759 32216 0 -1 4202560 27122 0 0 0 2557 3 0 0 15 0 22 0 830944880 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 [pid=3759/tid=3771] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3771/stat : 3771 (java) S 3757 3759 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830944880 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3772] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3772/stat : 3772 (java) S 3757 3759 32216 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 830944880 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3773] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3773/stat : 3773 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830944882 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3774] ppid=3757 vsize=10548728 CPUtime=1.38 cores=1,3,5,7 /proc/3759/task/3774/stat : 3774 (java) S 3757 3759 32216 0 -1 4202560 11650 0 0 0 137 1 0 0 15 0 22 0 830944882 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3775] ppid=3757 vsize=10548728 CPUtime=1.15 cores=1,3,5,7 /proc/3759/task/3775/stat : 3775 (java) S 3757 3759 32216 0 -1 4202560 4128 0 0 0 115 0 0 0 15 0 22 0 830944882 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 [pid=3759/tid=3776] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3776/stat : 3776 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830944882 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3777] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3777/stat : 3777 (java) S 3757 3759 32216 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830944882 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3803] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3803/stat : 3803 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830950218 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3814] ppid=3757 vsize=10548728 CPUtime=380.31 cores=1,3,5,7 /proc/3759/task/3814/stat : 3814 (java) R 3757 3759 32216 0 -1 4202560 35 0 0 0 38031 0 0 0 25 0 22 0 830987225 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 46912505898780 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3759/tid=3815] ppid=3757 vsize=10548728 CPUtime=380.32 cores=1,3,5,7 /proc/3759/task/3815/stat : 3815 (java) R 3757 3759 32216 0 -1 4202560 20 0 0 0 38032 0 0 0 25 0 22 0 830987225 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 46912505882976 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3759/tid=3816] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3816/stat : 3816 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830987225 10801897472 937726 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1616.37 Current children cumulated vsize (KiB) 10548728 [startup+882.301 s] /proc/loadavg: 3.47 3.89 3.73 3/588 3851 /proc/meminfo: memFree=27957232/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=10548728 CPUtime=1733.5 cores=1,3,5,7 /proc/3759/stat : 3759 (java) S 3757 3759 32216 0 -1 4202496 952761 0 1 0 173246 104 0 0 18 0 22 0 830944876 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 2637182 942199 2270 9 0 2627916 0 [pid=3759/tid=3760] ppid=3757 vsize=10548728 CPUtime=0.66 cores=1,3,5,7 /proc/3759/task/3760/stat : 3760 (java) S 3757 3759 32216 0 -1 4202560 28091 0 1 0 63 3 0 0 15 0 22 0 830944877 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3761] ppid=3757 vsize=10548728 CPUtime=0.73 cores=1,3,5,7 /proc/3759/task/3761/stat : 3761 (java) S 3757 3759 32216 0 -1 4202560 6607 0 0 0 72 1 0 0 16 0 22 0 830944878 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3762] ppid=3757 vsize=10548728 CPUtime=0.54 cores=1,3,5,7 /proc/3759/task/3762/stat : 3762 (java) S 3757 3759 32216 0 -1 4202560 5104 0 0 0 54 0 0 0 16 0 22 0 830944879 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3763] ppid=3757 vsize=10548728 CPUtime=0.64 cores=1,3,5,7 /proc/3759/task/3763/stat : 3763 (java) S 3757 3759 32216 0 -1 4202560 5591 0 0 0 64 0 0 0 15 0 22 0 830944879 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3764] ppid=3757 vsize=10548728 CPUtime=0.63 cores=1,3,5,7 /proc/3759/task/3764/stat : 3764 (java) S 3757 3759 32216 0 -1 4202560 5595 0 0 0 63 0 0 0 16 0 22 0 830944879 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3765] ppid=3757 vsize=10548728 CPUtime=0.69 cores=1,3,5,7 /proc/3759/task/3765/stat : 3765 (java) S 3757 3759 32216 0 -1 4202560 9856 0 0 0 68 1 0 0 15 0 22 0 830944879 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3766] ppid=3757 vsize=10548728 CPUtime=0.66 cores=1,3,5,7 /proc/3759/task/3766/stat : 3766 (java) S 3757 3759 32216 0 -1 4202560 7724 0 0 0 65 1 0 0 15 0 22 0 830944879 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3767] ppid=3757 vsize=10548728 CPUtime=0.68 cores=1,3,5,7 /proc/3759/task/3767/stat : 3767 (java) S 3757 3759 32216 0 -1 4202560 7463 0 0 0 68 0 0 0 15 0 22 0 830944879 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3768] ppid=3757 vsize=10548728 CPUtime=0.61 cores=1,3,5,7 /proc/3759/task/3768/stat : 3768 (java) S 3757 3759 32216 0 -1 4202560 3719 0 0 0 60 1 0 0 15 0 22 0 830944879 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3770] ppid=3757 vsize=10548728 CPUtime=28.64 cores=1,3,5,7 /proc/3759/task/3770/stat : 3770 (java) S 3757 3759 32216 0 -1 4202560 28110 0 0 0 2861 3 0 0 15 0 22 0 830944880 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 [pid=3759/tid=3771] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3771/stat : 3771 (java) S 3757 3759 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830944880 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3772] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3772/stat : 3772 (java) S 3757 3759 32216 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 830944880 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3773] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3773/stat : 3773 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830944882 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3774] ppid=3757 vsize=10548728 CPUtime=1.38 cores=1,3,5,7 /proc/3759/task/3774/stat : 3774 (java) S 3757 3759 32216 0 -1 4202560 11650 0 0 0 137 1 0 0 15 0 22 0 830944882 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3775] ppid=3757 vsize=10548728 CPUtime=1.15 cores=1,3,5,7 /proc/3759/task/3775/stat : 3775 (java) S 3757 3759 32216 0 -1 4202560 4128 0 0 0 115 0 0 0 15 0 22 0 830944882 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 [pid=3759/tid=3776] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3776/stat : 3776 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830944882 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3777] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3777/stat : 3777 (java) S 3757 3759 32216 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830944882 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3803] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3803/stat : 3803 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830950218 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3814] ppid=3757 vsize=10548728 CPUtime=437.14 cores=1,3,5,7 /proc/3759/task/3814/stat : 3814 (java) R 3757 3759 32216 0 -1 4202560 46 0 0 0 43714 0 0 0 25 0 22 0 830987225 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 46912506036928 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3759/tid=3815] ppid=3757 vsize=10548728 CPUtime=437.15 cores=1,3,5,7 /proc/3759/task/3815/stat : 3815 (java) R 3757 3759 32216 0 -1 4202560 21 0 0 0 43715 0 0 0 25 0 22 0 830987225 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 46912506031374 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3759/tid=3816] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3816/stat : 3816 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830987225 10801897472 942199 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1733.5 Current children cumulated vsize (KiB) 10548728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+916.601 s] /proc/loadavg: 2.74 3.67 3.66 3/588 3852 /proc/meminfo: memFree=27951512/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=10548728 CPUtime=1800.21 cores=1,3,5,7 /proc/3759/stat : 3759 (java) S 3757 3759 32216 0 -1 4202496 954207 0 1 0 179916 105 0 0 18 0 22 0 830944876 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 2637182 943624 2270 9 0 2627916 0 [pid=3759/tid=3760] ppid=3757 vsize=10548728 CPUtime=0.66 cores=1,3,5,7 /proc/3759/task/3760/stat : 3760 (java) S 3757 3759 32216 0 -1 4202560 28091 0 1 0 63 3 0 0 15 0 22 0 830944877 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3761] ppid=3757 vsize=10548728 CPUtime=0.77 cores=1,3,5,7 /proc/3759/task/3761/stat : 3761 (java) S 3757 3759 32216 0 -1 4202560 7094 0 0 0 76 1 0 0 16 0 22 0 830944878 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3762] ppid=3757 vsize=10548728 CPUtime=0.59 cores=1,3,5,7 /proc/3759/task/3762/stat : 3762 (java) S 3757 3759 32216 0 -1 4202560 5290 0 0 0 59 0 0 0 16 0 22 0 830944879 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3763] ppid=3757 vsize=10548728 CPUtime=0.66 cores=1,3,5,7 /proc/3759/task/3763/stat : 3763 (java) S 3757 3759 32216 0 -1 4202560 5651 0 0 0 66 0 0 0 16 0 22 0 830944879 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3764] ppid=3757 vsize=10548728 CPUtime=0.69 cores=1,3,5,7 /proc/3759/task/3764/stat : 3764 (java) S 3757 3759 32216 0 -1 4202560 5670 0 0 0 69 0 0 0 15 0 22 0 830944879 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3765] ppid=3757 vsize=10548728 CPUtime=0.72 cores=1,3,5,7 /proc/3759/task/3765/stat : 3765 (java) S 3757 3759 32216 0 -1 4202560 9857 0 0 0 71 1 0 0 15 0 22 0 830944879 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3766] ppid=3757 vsize=10548728 CPUtime=0.67 cores=1,3,5,7 /proc/3759/task/3766/stat : 3766 (java) S 3757 3759 32216 0 -1 4202560 7743 0 0 0 66 1 0 0 15 0 22 0 830944879 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3767] ppid=3757 vsize=10548728 CPUtime=0.7 cores=1,3,5,7 /proc/3759/task/3767/stat : 3767 (java) S 3757 3759 32216 0 -1 4202560 7463 0 0 0 70 0 0 0 15 0 22 0 830944879 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3768] ppid=3757 vsize=10548728 CPUtime=0.64 cores=1,3,5,7 /proc/3759/task/3768/stat : 3768 (java) S 3757 3759 32216 0 -1 4202560 3865 0 0 0 63 1 0 0 16 0 22 0 830944879 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3770] ppid=3757 vsize=10548728 CPUtime=30.69 cores=1,3,5,7 /proc/3759/task/3770/stat : 3770 (java) S 3757 3759 32216 0 -1 4202560 28572 0 0 0 3065 4 0 0 15 0 22 0 830944880 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 [pid=3759/tid=3771] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3771/stat : 3771 (java) S 3757 3759 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830944880 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3772] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3772/stat : 3772 (java) S 3757 3759 32216 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 830944880 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3773] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3773/stat : 3773 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830944882 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3774] ppid=3757 vsize=10548728 CPUtime=1.38 cores=1,3,5,7 /proc/3759/task/3774/stat : 3774 (java) S 3757 3759 32216 0 -1 4202560 11650 0 0 0 137 1 0 0 15 0 22 0 830944882 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3775] ppid=3757 vsize=10548728 CPUtime=1.15 cores=1,3,5,7 /proc/3759/task/3775/stat : 3775 (java) S 3757 3759 32216 0 -1 4202560 4128 0 0 0 115 0 0 0 15 0 22 0 830944882 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 [pid=3759/tid=3776] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3776/stat : 3776 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830944882 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0 [pid=3759/tid=3777] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3777/stat : 3777 (java) S 3757 3759 32216 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830944882 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0 [pid=3759/tid=3803] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3803/stat : 3803 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830950218 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0 [pid=3759/tid=3814] ppid=3757 vsize=10548728 CPUtime=469.35 cores=1,3,5,7 /proc/3759/task/3814/stat : 3814 (java) R 3757 3759 32216 0 -1 4202560 54 0 0 0 46935 0 0 0 25 0 22 0 830987225 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 46912505934592 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3759/tid=3815] ppid=3757 vsize=10548728 CPUtime=469.35 cores=1,3,5,7 /proc/3759/task/3815/stat : 3815 (java) R 3757 3759 32216 0 -1 4202560 21 0 0 0 46935 0 0 0 25 0 22 0 830987225 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 46912506392366 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3759/tid=3816] ppid=3757 vsize=10548728 CPUtime=0 cores=1,3,5,7 /proc/3759/task/3816/stat : 3816 (java) S 3757 3759 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830987225 10801897472 943624 33554432000 1073741824 1073778376 140733530049632 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 10548728 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+916.728 s] /proc/loadavg: 2.74 3.67 3.66 3/588 3852 /proc/meminfo: memFree=27951512/32950928 swapFree=43925852/67111528 [pid=3759] ppid=3757 vsize=0 CPUtime=1800.39 cores=1,3,5,7 /proc/3759/stat : 3759 (java) Z 3757 3759 32216 0 -1 4203548 954238 0 1 0 179926 113 0 0 17 0 2 0 830944876 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3759/statm: 0 0 0 0 0 0 0 [pid=3759/tid=3814] ppid=3757 vsize=0 CPUtime=469.45 cores=1,3,5,7 /proc/3759/task/3814/stat : 3814 (java) R 3757 3759 32216 0 -1 4203588 54 0 0 0 46937 8 0 0 25 0 2 0 830987225 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 916.783 CPU time (s): 1800.45 CPU user time (s): 1799.27 CPU system time (s): 1.18682 CPU usage (%): 196.388 Max. virtual memory (cumulated for all children) (KiB): 10553100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.27 system time used= 1.18682 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 954238 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= 26977 involuntary context switches= 22638 runsolver used 5.14822 second user time and 12.6621 second system time The end
Begin job on node122 at 2011-06-04 15:17:41 IDJOB=3454098 IDBENCH=24984 IDSOLVER=1950 FILE ID=node122/3454098-1307193461 RUNJOBID= node122-1307192476-3460 PBS_JOBID= 13508834 Free space on /tmp= 73812 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_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-3454098-1307193461/watcher-3454098-1307193461 -o /tmp/evaluation-result-3454098-1307193461/solver-3454098-1307193461 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454098-1307193461.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b594d74f3df9901bfa97fac996b1847 RANDOM SEED=249813952 node122.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.820 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.64 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.820 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 : 5332.75 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.83 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.820 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.820 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29046124 kB Buffers: 331052 kB Cached: 556652 kB SwapCached: 16832 kB Active: 3047212 kB Inactive: 538144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29046124 kB SwapTotal: 67111528 kB SwapFree: 43925852 kB Dirty: 1232 kB Writeback: 0 kB AnonPages: 2695224 kB Mapped: 17484 kB Slab: 150536 kB PageTables: 98480 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 191083624 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= 73812 MiB End job on node122 at 2011-06-04 15:32:59