Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 10090 | 1800.96 | 909.369 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay30.lin.opb |
| MD5SUM | 5d02912d53f2354b54cb86f356951fff |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 9772 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8640 |
| Total number of constraints | 24529 |
| Number of constraints which are clauses | 16324 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8204 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 8635 |
| Biggest coefficient in the objective function | 11400 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 95792 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11400 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 95792 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4118944-1467238185.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.93/0.88 c ... done. Wall clock time 0.762s. 1.93/0.88 c declared #vars 8640 1.93/0.88 c #constraints 24530 1.93/0.88 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.93/0.88 c constraints type 1.93/0.88 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16324 1.93/0.88 c org.sat4j.specs.Constr$1 => 1 1.93/0.88 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 1.93/0.88 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8204 1.93/0.88 c 24530 constraints processed. 1.93/0.88 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.93/0.88 c constraints type 1.93/0.88 c org.sat4j.specs.Constr$1 => 1 1.93/0.88 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16324 1.93/0.88 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8204 1.93/0.88 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 1.93/0.88 c 24530 constraints processed. 1.93/0.88 c objective function length is 8635 literals 2.59/1.05 c And the winner is solver0 2.81/1.39 c SATISFIABLE 2.81/1.39 c OPTIMIZING... 2.81/1.39 c Got one! Elapsed wall clock time (in seconds):1.277 2.81/1.40 o 10167 3.13/1.53 c And the winner is solver0 3.95/2.30 c Got one! Elapsed wall clock time (in seconds):2.179 3.95/2.30 o 10162 4.05/2.35 c And the winner is solver0 4.31/2.83 c Got one! Elapsed wall clock time (in seconds):2.709 4.31/2.83 o 10161 4.31/2.87 c And the winner is solver0 4.54/3.34 c Got one! Elapsed wall clock time (in seconds):3.226 4.54/3.34 o 10156 4.73/3.47 c And the winner is solver0 5.57/4.13 c Got one! Elapsed wall clock time (in seconds):4.016 5.57/4.13 o 10144 5.57/4.15 c And the winner is solver0 5.74/4.65 c Got one! Elapsed wall clock time (in seconds):4.527 5.74/4.65 o 10140 5.74/4.67 c And the winner is solver0 5.81/5.16 c Got one! Elapsed wall clock time (in seconds):5.038 5.81/5.16 o 10139 5.81/5.18 c And the winner is solver0 5.98/5.67 c Got one! Elapsed wall clock time (in seconds):5.549 5.98/5.67 o 10134 6.02/5.76 c And the winner is solver0 6.18/6.19 c Got one! Elapsed wall clock time (in seconds):6.061 6.18/6.19 o 10133 6.61/6.47 c And the winner is solver0 7.09/6.84 c Got one! Elapsed wall clock time (in seconds):6.722 7.09/6.84 o 10131 7.09/6.87 c And the winner is solver0 7.81/7.51 c Got one! Elapsed wall clock time (in seconds):7.384 7.81/7.51 o 10128 7.81/7.52 c And the winner is solver0 8.00/8.01 c Got one! Elapsed wall clock time (in seconds):7.895 8.00/8.01 o 10127 8.00/8.04 c And the winner is solver0 8.62/8.63 c Got one! Elapsed wall clock time (in seconds):8.507 8.62/8.63 o 10122 8.62/8.69 c And the winner is solver0 8.93/9.14 c Got one! Elapsed wall clock time (in seconds):9.018 8.93/9.14 o 10121 9.86/9.62 c And the winner is solver0 10.07/9.81 c Got one! Elapsed wall clock time (in seconds):9.688 10.07/9.81 o 10119 10.07/9.84 c And the winner is solver0 10.71/10.47 c Got one! Elapsed wall clock time (in seconds):10.355 10.71/10.47 o 10117 10.71/10.49 c And the winner is solver0 10.80/10.98 c Got one! Elapsed wall clock time (in seconds):10.866 10.80/10.98 o 10116 10.83/11.03 c And the winner is solver0 11.45/11.64 c Got one! Elapsed wall clock time (in seconds):11.527 11.45/11.64 o 10115 20.48/16.03 c cleaning 3052 clauses out of 6112 with flag 10185/6112 31.46/21.45 c cleaning 4529 clauses out of 9059 with flag 22258/12111 43.59/27.48 c cleaning 5765 clauses out of 11532 with flag 36690/19113 58.47/34.80 c cleaning 6878 clauses out of 13766 with flag 53195/27112 74.64/42.89 c cleaning 7937 clauses out of 15888 with flag 71837/36112 94.61/52.64 c And the winner is solver0 95.06/53.20 c Got one! Elapsed wall clock time (in seconds):53.082 95.06/53.20 o 10114 96.45/53.99 c And the winner is solver0 96.74/54.21 c Got one! Elapsed wall clock time (in seconds):54.095 96.74/54.21 o 10113 105.16/58.48 c And the winner is solver0 105.82/59.03 c Got one! Elapsed wall clock time (in seconds):58.908 105.82/59.03 o 10109 106.15/59.23 c And the winner is solver0 106.78/59.84 c Got one! Elapsed wall clock time (in seconds):59.722 106.78/59.84 o 10108 106.91/59.94 c And the winner is solver0 107.07/60.36 c Got one! Elapsed wall clock time (in seconds):60.235 107.07/60.36 o 10107 107.07/60.40 c And the winner is solver0 107.16/60.87 c Got one! Elapsed wall clock time (in seconds):60.749 107.16/60.87 o 10106 107.80/61.24 c And the winner is solver0 108.25/61.68 c Got one! Elapsed wall clock time (in seconds):61.563 108.25/61.68 o 10101 108.62/61.86 c And the winner is solver0 108.84/62.19 c Got one! Elapsed wall clock time (in seconds):62.077 108.84/62.19 o 10100 110.64/63.14 c cleaning 12310 clauses out of 24634 with flag 2055/52795 120.85/68.22 c cleaning 9156 clauses out of 18323 with flag 14226/58794 134.01/74.71 c cleaning 8081 clauses out of 16168 with flag 28481/65795 147.87/81.69 c cleaning 8035 clauses out of 16088 with flag 44779/73796 164.06/89.74 c cleaning 8518 clauses out of 17051 with flag 62912/82794 182.66/98.93 c cleaning 9255 clauses out of 18533 with flag 84174/92794 204.27/109.70 c cleaning 10126 clauses out of 20278 with flag 108572/103794 230.40/122.87 c cleaning 11065 clauses out of 22152 with flag 134733/115794 257.61/136.46 c cleaning 12035 clauses out of 24088 with flag 162781/128795 286.55/150.87 c cleaning 13015 clauses out of 26052 with flag 193487/142794 286.74/150.93 c And the winner is solver0 286.84/151.29 c Got one! Elapsed wall clock time (in seconds):151.169 286.84/151.29 o 10099 296.04/155.96 c cleaning 9038 clauses out of 18093 with flag 10792/147850 307.24/161.54 c cleaning 7514 clauses out of 15054 with flag 23428/153849 321.08/168.35 c cleaning 7261 clauses out of 14541 with flag 38534/160850 336.86/176.25 c cleaning 7632 clauses out of 15278 with flag 56807/168848 354.27/184.96 c cleaning 8315 clauses out of 16647 with flag 77293/177849 374.45/195.00 c cleaning 9156 clauses out of 18331 with flag 98711/187848 379.63/197.59 c And the winner is solver0 380.40/198.41 c Got one! Elapsed wall clock time (in seconds):198.292 380.40/198.41 o 10098 385.76/201.19 c cleaning 7359 clauses out of 14742 with flag 6495/193415 393.56/205.02 c And the winner is solver0 393.84/205.43 c Got one! Elapsed wall clock time (in seconds):205.308 393.84/205.43 o 10097 394.38/205.78 c And the winner is solver0 394.77/206.04 c Got one! Elapsed wall clock time (in seconds):205.923 394.77/206.04 o 10096 397.56/207.26 c And the winner is solver0 398.13/207.78 c Got one! Elapsed wall clock time (in seconds):207.664 398.13/207.78 o 10095 398.20/207.82 c And the winner is solver0 398.27/208.30 c Got one! Elapsed wall clock time (in seconds):208.179 398.27/208.30 o 10092 398.27/208.32 c And the winner is solver0 398.33/208.81 c Got one! Elapsed wall clock time (in seconds):208.695 398.33/208.81 o 10091 398.48/208.90 c And the winner is solver0 398.56/209.33 c Got one! Elapsed wall clock time (in seconds):209.21 398.56/209.33 o 10090 400.30/210.30 c cleaning 7034 clauses out of 14095 with flag 2200/200127 411.30/215.72 c cleaning 6517 clauses out of 13063 with flag 14838/206129 424.08/222.11 c cleaning 6762 clauses out of 13544 with flag 29277/213127 438.88/229.51 c cleaning 7383 clauses out of 14783 with flag 45723/221128 457.72/238.87 c cleaning 8188 clauses out of 16400 with flag 64478/230128 478.30/249.16 c cleaning 9094 clauses out of 18211 with flag 85904/240127 499.70/259.87 c cleaning 10049 clauses out of 20117 with flag 109600/251127 526.03/273.19 c cleaning 11023 clauses out of 22070 with flag 135569/263129 552.63/286.48 c cleaning 12012 clauses out of 24046 with flag 163689/276128 580.43/300.39 c cleaning 13008 clauses out of 26033 with flag 194883/290127 613.07/316.59 c cleaning 14005 clauses out of 28025 with flag 228500/305127 648.67/334.36 c cleaning 15000 clauses out of 30020 with flag 262892/321127 687.07/353.26 c cleaning 15996 clauses out of 32021 with flag 298767/338128 725.75/372.37 c cleaning 17005 clauses out of 34024 with flag 336959/356127 762.74/390.80 c cleaning 18002 clauses out of 36020 with flag 378643/375128 804.51/411.88 c cleaning 18998 clauses out of 38019 with flag 425860/395129 849.89/434.30 c cleaning 20002 clauses out of 40019 with flag 479146/416127 899.41/459.59 c cleaning 21005 clauses out of 42019 with flag 531092/438129 950.58/485.08 c cleaning 22001 clauses out of 44013 with flag 588768/461128 1001.30/510.30 c cleaning 22998 clauses out of 46012 with flag 647996/485128 1052.61/535.70 c cleaning 23997 clauses out of 48013 with flag 706227/510127 1106.76/562.12 c cleaning 25002 clauses out of 50016 with flag 764506/536127 1165.80/592.25 c cleaning 26003 clauses out of 52015 with flag 825424/563128 1226.00/622.16 c cleaning 26991 clauses out of 54011 with flag 887728/591127 1287.26/652.68 c cleaning 27998 clauses out of 56020 with flag 953912/620127 1350.16/683.75 c cleaning 28998 clauses out of 58022 with flag 1021164/650127 1413.80/715.25 c cleaning 30005 clauses out of 60025 with flag 1094020/681128 1485.68/752.09 c cleaning 31000 clauses out of 62020 with flag 1168873/713128 1557.75/787.80 c cleaning 32009 clauses out of 64022 with flag 1245323/746130 1630.44/824.90 c cleaning 32997 clauses out of 66012 with flag 1329165/780129 1702.96/860.83 c cleaning 33992 clauses out of 68014 with flag 1410059/815128 1779.20/898.66 c cleaning 34994 clauses out of 70021 with flag 1491681/851127 1800.59/909.29 c >>>>>>>>>> Solver number 0 (34 answers) <<<<<<<<<<<<<<<<<< 1800.59/909.29 c starts : 35 1800.59/909.29 c conflicts : 861607 1800.59/909.29 c decisions : 876871 1800.59/909.29 c propagations : 19700265 1800.59/909.29 c inspects : 1713011843 1800.59/909.29 c shortcuts : 0 1800.59/909.29 c learnt literals : 0 1800.59/909.29 c learnt binary clauses : 0 1800.59/909.29 c learnt ternary clauses : 171 1800.59/909.29 c learnt constraints : 861607 1800.59/909.29 c ignored constraints : 0 1800.59/909.29 c root simplifications : 0 1800.59/909.29 c removed literals (reason simplification) : 3912724 1800.59/909.29 c reason swapping (by a shorter reason) : 0 1800.59/909.29 c Calls to reduceDB : 54 1800.59/909.29 c Number of update (reduction) of LBD : 1185 1800.59/909.29 c Imported unit clauses : 0 1800.59/909.29 c number of reductions to clauses (during analyze) : 0 1800.59/909.29 c number of learned constraints concerned by reduction : 0 1800.59/909.29 c number of learning phase by resolution : 0 1800.59/909.29 c number of learning phase by cutting planes : 0 1800.59/909.29 c speed (assignments/second) : 21687.274804899716 1800.59/909.29 c non guided choices 0 1800.96/909.32 c learnt constraints type 1800.96/909.32 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 45507 1800.96/909.32 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.96/909.32 c starts : 40 1800.96/909.32 c conflicts : 990 1800.96/909.32 c decisions : 12166 1800.96/909.32 c propagations : 372683 1800.96/909.32 c inspects : 38211100 1800.96/909.32 c shortcuts : 0 1800.96/909.32 c learnt literals : 0 1800.96/909.32 c learnt binary clauses : 0 1800.96/909.32 c learnt ternary clauses : 1 1800.96/909.32 c learnt constraints : 968 1800.96/909.32 c ignored constraints : 0 1800.96/909.32 c root simplifications : 0 1800.96/909.32 c removed literals (reason simplification) : 0 1800.96/909.32 c reason swapping (by a shorter reason) : 0 1800.96/909.32 c Calls to reduceDB : 0 1800.96/909.32 c Number of update (reduction) of LBD : 0 1800.96/909.32 c Imported unit clauses : 0 1800.96/909.32 c number of reductions to clauses (during analyze) : 0 1800.96/909.32 c number of learned constraints concerned by reduction : 0 1800.96/909.32 c number of learning phase by resolution : 0 1800.96/909.32 c number of learning phase by cutting planes : 0 1800.96/909.32 c speed (assignments/second) : 532.4233008321726 1800.96/909.32 c non guided choices 0 1800.96/909.32 c learnt constraints type 1800.96/909.32 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2 1800.96/909.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 966 1800.96/909.32 s SATISFIABLE 1800.96/909.32 c Found 34 solution(s) 1800.96/909.33 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 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471 x7472 x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 x8010 x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 x8137 x8138 x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 x8300 -x8301 x8302 x8303 x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 x8335 x8336 -x8337 x8338 x8339 x8340 -x8341 -x8342 x8343 -x8344 x8345 x8346 x8347 -x8348 -x8349 x8350 x8351 x8352 x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 x8364 x8365 x8366 x8367 -x8368 -x8369 -x8370 -x8371 x8372 -x8373 x8374 x8375 -x8376 -x8377 -x8378 x8379 -x8380 -x8381 -x8382 -x8383 x8384 -x8385 x8386 x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 x8409 x8410 -x8411 x8412 x8413 x8414 x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 x8430 x8431 -x8432 x8433 x8434 x8435 x8436 -x8437 x8438 x8439 x8440 -x8441 x8442 x8443 x8444 x8445 -x8446 x8447 x8448 x8449 -x8450 -x8451 x8452 x8453 x8454 -x8455 -x8456 -x8457 -x8458 x8459 x8460 x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 x8479 -x8480 x8481 -x8482 -x8483 -x8484 -x8485 -x8486 x8487 -x8488 x8489 x8490 -x8491 x8492 x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 x8570 x8571 x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 x8582 x8583 x8584 -x8585 x8586 x8587 x8588 -x8589 x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 x8598 x8599 x8600 -x8601 -x8602 -x8603 -x8604 -x8605 x8606 x8607 x8608 x8609 x8610 x8611 x8612 -x8613 x8614 x8615 x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 x8623 x8624 x8625 x8626 x8627 x8628 x8629 -x8630 -x8631 x8632 -x8633 -x8634 -x8635 -x8636 -x8637 x8638 x8639 x8640 1800.96/909.34 c objective function=10090 1800.96/909.34 c Total wall clock time (in seconds): 909.225
OK 10090
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4118944-1467238185/watcher-4118944-1467238185 -o /tmp/evaluation-result-4118944-1467238185/solver-4118944-1467238185 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467233112-7067 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118944-1467238185.opb pid=9874 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.20 4.18 4.08 4/197 9877 /proc/meminfo: memFree=21512396/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/9877/stat : 9877 (java) D 9874 9877 4301 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 4785926 9515008 185 33554432000 1073741824 1073778376 140735096860304 140735096849368 219504799015 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2323 185 143 9 0 71 0 [startup+0.100061 s] /proc/loadavg: 4.20 4.18 4.08 4/197 9877 /proc/meminfo: memFree=21512396/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/9877/stat : 9877 (java) S 9874 9877 4301 0 -1 4202496 4461 0 1 0 8 1 0 0 20 0 18 0 4785926 9787879424 5582 33554432000 1073741824 1073778376 140735096860304 140735096851440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2389619 5582 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200216 s] /proc/loadavg: 4.20 4.18 4.08 4/197 9877 /proc/meminfo: memFree=21512396/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/9877/stat : 9877 (java) S 9874 9877 4301 0 -1 4202496 5079 0 1 0 27 1 0 0 20 0 18 0 4785926 9787879424 6527 33554432000 1073741824 1073778376 140735096860304 140735096851440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2389619 6527 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300224 s] /proc/loadavg: 4.20 4.18 4.08 4/197 9877 /proc/meminfo: memFree=21512396/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9558476 CPUtime=0.5 cores=0,2,4,6 /proc/9877/stat : 9877 (java) S 9874 9877 4301 0 -1 4202496 6197 0 1 0 48 2 0 0 20 0 18 0 4785926 9787879424 8468 33554432000 1073741824 1073778376 140735096860304 140735096851440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2389619 8468 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700172 s] /proc/loadavg: 4.20 4.18 4.08 4/197 9877 /proc/meminfo: memFree=21512396/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9558476 CPUtime=1.63 cores=0,2,4,6 /proc/9877/stat : 9877 (java) S 9874 9877 4301 0 -1 4202496 21386 0 1 0 158 5 0 0 20 0 18 0 4785926 9787879424 29036 33554432000 1073741824 1073778376 140735096860304 140735096851440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2389619 29036 2251 9 0 2380296 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9558476 [startup+1.50068 s] /proc/loadavg: 4.27 4.20 4.09 3/216 9899 /proc/meminfo: memFree=21367708/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9824732 CPUtime=3.13 cores=0,2,4,6 /proc/9877/stat : 9877 (java) S 9874 9877 4301 0 -1 4202496 22018 0 1 0 305 8 0 0 20 0 22 0 4785926 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140735096851440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2456183 41479 2264 9 0 2446860 0 [pid=9877/tid=9879] ppid=9874 vsize=9824732 CPUtime=0.91 cores=0,2,4,6 /proc/9877/task/9879/stat : 9879 (java) S 9874 9877 4301 0 -1 4202560 2563 0 1 0 88 3 0 0 20 0 22 0 4785927 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511529157496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9880] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9880/stat : 9880 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511467887016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9881] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9881/stat : 9881 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511466834472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9882] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9882/stat : 9882 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511371016360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9883] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9883/stat : 9883 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511369963816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9884] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9884/stat : 9884 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511368911784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9885] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9885/stat : 9885 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511367859240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9886] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9886/stat : 9886 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511366806184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9887] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9887/stat : 9887 (java) S 9874 9877 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511365753640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9888] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9888/stat : 9888 (java) S 9874 9877 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4785929 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511353342312 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9889] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9889/stat : 9889 (java) S 9874 9877 4301 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4785930 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511352288632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9890] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9890/stat : 9890 (java) S 9874 9877 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4785930 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511351235464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9891] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9891/stat : 9891 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785932 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511350184208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9892] ppid=9874 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/9877/task/9892/stat : 9892 (java) R 9874 9877 4301 0 -1 4202560 9353 0 0 0 86 2 0 0 20 0 22 0 4785932 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511349131928 140511535119539 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9893] ppid=9874 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/9877/task/9893/stat : 9893 (java) R 9874 9877 4301 0 -1 4202560 8762 0 0 0 86 2 0 0 20 0 22 0 4785932 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511348079544 140511535615488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9894] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9894/stat : 9894 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785932 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511347026680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9895] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9895/stat : 9895 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785932 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511345974344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9899] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9899/stat : 9899 (java) S 9874 9877 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4786018 10060525568 41479 33554432000 1073741824 1073778376 140735096860304 140511341761448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.13 Current children cumulated vsize (KiB) 9824732 [startup+3.10083 s] /proc/loadavg: 4.27 4.20 4.09 4/217 9902 /proc/meminfo: memFree=21354932/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9824732 CPUtime=4.54 cores=0,2,4,6 /proc/9877/stat : 9877 (java) S 9874 9877 4301 0 -1 4202496 22112 0 1 0 440 14 0 0 20 0 19 0 4785926 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140735096851440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2456183 49212 2272 9 0 2446860 0 [pid=9877/tid=9879] ppid=9874 vsize=9824732 CPUtime=0.96 cores=0,2,4,6 /proc/9877/task/9879/stat : 9879 (java) S 9874 9877 4301 0 -1 4202560 2569 0 1 0 93 3 0 0 20 0 19 0 4785927 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511529157496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9880] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9880/stat : 9880 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785928 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511467887016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9881] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9881/stat : 9881 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785928 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511466834472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9882] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9882/stat : 9882 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785928 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511371016360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9883] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9883/stat : 9883 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785928 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511369963816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9884] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9884/stat : 9884 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785928 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511368911784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9885] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9885/stat : 9885 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785928 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511367859240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9886] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9886/stat : 9886 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785928 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511366806184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9887] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9887/stat : 9887 (java) S 9874 9877 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4785928 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511365753640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9888] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9888/stat : 9888 (java) S 9874 9877 4301 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4785929 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511353342312 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9889] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9889/stat : 9889 (java) S 9874 9877 4301 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4785930 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511352288632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9890] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9890/stat : 9890 (java) S 9874 9877 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4785930 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511351235464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9891] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9891/stat : 9891 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785932 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511350184208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9892] ppid=9874 vsize=9824732 CPUtime=1.08 cores=0,2,4,6 /proc/9877/task/9892/stat : 9892 (java) S 9874 9877 4301 0 -1 4202560 9379 0 0 0 106 2 0 0 20 0 19 0 4785932 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511349132088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9893] ppid=9874 vsize=9824732 CPUtime=1.09 cores=0,2,4,6 /proc/9877/task/9893/stat : 9893 (java) S 9874 9877 4301 0 -1 4202560 8797 0 0 0 107 2 0 0 20 0 19 0 4785932 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511348079544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9894] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9894/stat : 9894 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785932 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511347026680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9895] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9895/stat : 9895 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4785932 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511345974344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9899] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9899/stat : 9899 (java) S 9874 9877 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4786018 10060525568 49212 33554432000 1073741824 1073778376 140735096860304 140511341761448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.54 Current children cumulated vsize (KiB) 9824732 [startup+6.30089 s] /proc/loadavg: 4.09 4.16 4.08 4/216 9920 /proc/meminfo: memFree=21309368/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9824732 CPUtime=6.4 cores=0,2,4,6 /proc/9877/stat : 9877 (java) S 9874 9877 4301 0 -1 4202496 22241 0 1 0 614 26 0 0 20 0 22 0 4785926 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140735096851440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2456183 52625 2285 9 0 2446860 0 [pid=9877/tid=9879] ppid=9874 vsize=9824732 CPUtime=1.03 cores=0,2,4,6 /proc/9877/task/9879/stat : 9879 (java) S 9874 9877 4301 0 -1 4202560 2572 0 1 0 100 3 0 0 20 0 22 0 4785927 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511529157496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9880] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9880/stat : 9880 (java) S 9874 9877 4301 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511467887016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9881] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9881/stat : 9881 (java) S 9874 9877 4301 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511466834472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9882] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9882/stat : 9882 (java) S 9874 9877 4301 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511371016360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9883] ppid=9874 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/9877/task/9883/stat : 9883 (java) S 9874 9877 4301 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 4785928 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511369963816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9884] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9884/stat : 9884 (java) S 9874 9877 4301 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511368911784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9885] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9885/stat : 9885 (java) S 9874 9877 4301 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511367859240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9886] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9886/stat : 9886 (java) S 9874 9877 4301 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511366806184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9887] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9887/stat : 9887 (java) S 9874 9877 4301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4785928 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511365753640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9888] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9888/stat : 9888 (java) S 9874 9877 4301 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 4785929 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511353342312 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9889] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9889/stat : 9889 (java) S 9874 9877 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4785930 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511352288632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9890] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9890/stat : 9890 (java) S 9874 9877 4301 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 4785930 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511351235464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9891] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9891/stat : 9891 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785932 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511350184208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9892] ppid=9874 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/9877/task/9892/stat : 9892 (java) S 9874 9877 4301 0 -1 4202560 9390 0 0 0 117 2 0 0 20 0 22 0 4785932 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511349132088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9893] ppid=9874 vsize=9824732 CPUtime=1.26 cores=0,2,4,6 /proc/9877/task/9893/stat : 9893 (java) S 9874 9877 4301 0 -1 4202560 8806 0 0 0 124 2 0 0 20 0 22 0 4785932 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511348079544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9894] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9894/stat : 9894 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785932 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511347026680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9895] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9895/stat : 9895 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785932 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511345974344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9899] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9899/stat : 9899 (java) S 9874 9877 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4786018 10060525568 52625 33554432000 1073741824 1073778376 140735096860304 140511341761448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.4 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=9877/tid=9882] ppid=9874 vsize=9824732 CPUtime=4.08 cores=0,2,4,6 /proc/9877/task/9882/stat : 9882 (java) S 9874 9877 4301 0 -1 4202560 1589 0 0 0 350 58 0 0 20 0 22 0 4785928 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511371016360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9883] ppid=9874 vsize=9824732 CPUtime=3.82 cores=0,2,4,6 /proc/9877/task/9883/stat : 9883 (java) S 9874 9877 4301 0 -1 4202560 3208 0 0 0 318 64 0 0 20 0 22 0 4785928 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511369963816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9884] ppid=9874 vsize=9824732 CPUtime=4.28 cores=0,2,4,6 /proc/9877/task/9884/stat : 9884 (java) S 9874 9877 4301 0 -1 4202560 2949 0 0 0 358 70 0 0 20 0 22 0 4785928 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511368911784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9885] ppid=9874 vsize=9824732 CPUtime=4.02 cores=0,2,4,6 /proc/9877/task/9885/stat : 9885 (java) S 9874 9877 4301 0 -1 4202560 1687 0 0 0 326 76 0 0 20 0 22 0 4785928 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511367859240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9886] ppid=9874 vsize=9824732 CPUtime=4.17 cores=0,2,4,6 /proc/9877/task/9886/stat : 9886 (java) S 9874 9877 4301 0 -1 4202560 2207 0 0 0 344 73 0 0 20 0 22 0 4785928 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511366806184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9887] ppid=9874 vsize=9824732 CPUtime=4.07 cores=0,2,4,6 /proc/9877/task/9887/stat : 9887 (java) S 9874 9877 4301 0 -1 4202560 1789 0 0 0 339 68 0 0 20 0 22 0 4785928 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511365753640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9888] ppid=9874 vsize=9824732 CPUtime=10.89 cores=0,2,4,6 /proc/9877/task/9888/stat : 9888 (java) S 9874 9877 4301 0 -1 4202560 4269 0 0 0 1082 7 0 0 20 0 22 0 4785929 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511353342312 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9889] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9889/stat : 9889 (java) S 9874 9877 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4785930 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511352288632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9890] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9890/stat : 9890 (java) S 9874 9877 4301 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 4785930 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511351235464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9891] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9891/stat : 9891 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785932 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511350184208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9892] ppid=9874 vsize=9824732 CPUtime=1.53 cores=0,2,4,6 /proc/9877/task/9892/stat : 9892 (java) S 9874 9877 4301 0 -1 4202560 9466 0 0 0 151 2 0 0 20 0 22 0 4785932 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511349132088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9893] ppid=9874 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/9877/task/9893/stat : 9893 (java) S 9874 9877 4301 0 -1 4202560 8841 0 0 0 182 2 0 0 20 0 22 0 4785932 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511348079544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9894] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9894/stat : 9894 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4785932 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511347026680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9895] ppid=9874 vsize=9824732 CPUtime=0.23 cores=0,2,4,6 /proc/9877/task/9895/stat : 9895 (java) S 9874 9877 4301 0 -1 4202560 53 0 0 0 11 12 0 0 20 0 22 0 4785932 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511345974344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9899] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9899/stat : 9899 (java) S 9874 9877 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4786018 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511341761448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=10013] ppid=9874 vsize=9824732 CPUtime=681.66 cores=0,2,4,6 /proc/9877/task/10013/stat : 10013 (java) R 9874 9877 4301 0 -1 4202560 14 0 0 0 68155 11 0 0 20 0 22 0 4806861 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511344910624 140511469414171 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=10014] ppid=9874 vsize=9824732 CPUtime=681.68 cores=0,2,4,6 /proc/9877/task/10014/stat : 10014 (java) R 9874 9877 4301 0 -1 4202560 24 0 0 0 68158 10 0 0 20 0 22 0 4806861 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511342811776 140511470084427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=10015] ppid=9874 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9877/task/10015/stat : 10015 (java) S 9874 9877 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4806861 10060525568 1251108 33554432000 1073741824 1073778376 140735096860304 140511343867048 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9877 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+909.205 s] /proc/loadavg: 4.08 4.20 4.13 6/219 10127 /proc/meminfo: memFree=17652704/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9891296 CPUtime=1800.31 cores=0,2,4,6 /proc/9877/stat : 9877 (java) S 9874 9877 4301 0 -1 4202496 46468 0 1 0 179395 636 0 0 20 0 23 0 4785926 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140735096851440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2472824 1251132 2302 9 0 2463501 0 [pid=9877/tid=9879] ppid=9874 vsize=9891296 CPUtime=1.39 cores=0,2,4,6 /proc/9877/task/9879/stat : 9879 (java) S 9874 9877 4301 0 -1 4202560 2596 0 1 0 135 4 0 0 20 0 23 0 4785927 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511529157496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9880] ppid=9874 vsize=9891296 CPUtime=4.17 cores=0,2,4,6 /proc/9877/task/9880/stat : 9880 (java) R 9874 9877 4301 0 -1 4202560 3609 0 0 0 356 61 0 0 20 0 23 0 4785928 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511467887192 140511531628275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9881] ppid=9874 vsize=9891296 CPUtime=3.6 cores=0,2,4,6 /proc/9877/task/9881/stat : 9881 (java) R 9874 9877 4301 0 -1 4202560 2346 0 0 0 295 65 0 0 20 0 23 0 4785928 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511466834352 140511531628275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9882] ppid=9874 vsize=9891296 CPUtime=4.17 cores=0,2,4,6 /proc/9877/task/9882/stat : 9882 (java) R 9874 9877 4301 0 -1 4202560 1589 0 0 0 359 58 0 0 20 0 23 0 4785928 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511371016360 140511531628275 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9883] ppid=9874 vsize=9891296 CPUtime=3.87 cores=0,2,4,6 /proc/9877/task/9883/stat : 9883 (java) R 9874 9877 4301 0 -1 4202560 3210 0 0 0 323 64 0 0 20 0 23 0 4785928 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511369963992 140511531715879 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9884] ppid=9874 vsize=9891296 CPUtime=4.32 cores=0,2,4,6 /proc/9877/task/9884/stat : 9884 (java) R 9874 9877 4301 0 -1 4202560 2949 0 0 0 362 70 0 0 20 0 23 0 4785928 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511368911960 140511531628275 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9885] ppid=9874 vsize=9891296 CPUtime=4.06 cores=0,2,4,6 /proc/9877/task/9885/stat : 9885 (java) R 9874 9877 4301 0 -1 4202560 1687 0 0 0 330 76 0 0 20 0 23 0 4785928 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511367859416 140511531628275 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9886] ppid=9874 vsize=9891296 CPUtime=4.19 cores=0,2,4,6 /proc/9877/task/9886/stat : 9886 (java) R 9874 9877 4301 0 -1 4202560 2207 0 0 0 346 73 0 0 20 0 23 0 4785928 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511366806360 140511531628275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9887] ppid=9874 vsize=9891296 CPUtime=4.09 cores=0,2,4,6 /proc/9877/task/9887/stat : 9887 (java) R 9874 9877 4301 0 -1 4202560 1789 0 0 0 341 68 0 0 20 0 23 0 4785928 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511365753816 140511531628275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9888] ppid=9874 vsize=9891296 CPUtime=10.89 cores=0,2,4,6 /proc/9877/task/9888/stat : 9888 (java) S 9874 9877 4301 0 -1 4202560 4270 0 0 0 1082 7 0 0 20 0 23 0 4785929 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511353341192 219517334588 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9889] ppid=9874 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9889/stat : 9889 (java) S 9874 9877 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 4785930 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511352288632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9890] ppid=9874 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9890/stat : 9890 (java) S 9874 9877 4301 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 23 0 4785930 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511351235464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9891] ppid=9874 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9891/stat : 9891 (java) S 9874 9877 4301 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 4785932 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511350184208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9892] ppid=9874 vsize=9891296 CPUtime=1.53 cores=0,2,4,6 /proc/9877/task/9892/stat : 9892 (java) S 9874 9877 4301 0 -1 4202560 9466 0 0 0 151 2 0 0 20 0 23 0 4785932 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511349132088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9893] ppid=9874 vsize=9891296 CPUtime=1.84 cores=0,2,4,6 /proc/9877/task/9893/stat : 9893 (java) S 9874 9877 4301 0 -1 4202560 8841 0 0 0 182 2 0 0 20 0 23 0 4785932 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511348079544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9894] ppid=9874 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9894/stat : 9894 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 4785932 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511347026680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9895] ppid=9874 vsize=9891296 CPUtime=0.23 cores=0,2,4,6 /proc/9877/task/9895/stat : 9895 (java) S 9874 9877 4301 0 -1 4202560 53 0 0 0 11 12 0 0 20 0 23 0 4785932 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511345974344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9899] ppid=9874 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9899/stat : 9899 (java) S 9874 9877 4301 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 4786018 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511341761448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=10013] ppid=9874 vsize=9891296 CPUtime=681.67 cores=0,2,4,6 /proc/9877/task/10013/stat : 10013 (java) S 9874 9877 4301 0 -1 4202560 14 0 0 0 68156 11 0 0 20 0 23 0 4806861 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511344917592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=10014] ppid=9874 vsize=9891296 CPUtime=681.69 cores=0,2,4,6 /proc/9877/task/10014/stat : 10014 (java) S 9874 9877 4301 0 -1 4202560 24 0 0 0 68159 10 0 0 20 0 23 0 4806861 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511342811464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=10015] ppid=9874 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/9877/task/10015/stat : 10015 (java) S 9874 9877 4301 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 23 0 4806861 10128687104 1251132 33554432000 1073741824 1073778376 140735096860304 140511343867048 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 9891296 [startup+909.301 s] /proc/loadavg: 4.08 4.20 4.13 6/219 10127 /proc/meminfo: memFree=17652704/32872528 swapFree=12440/1155036 [pid=9877] ppid=9874 vsize=9957860 CPUtime=1800.68 cores=0,2,4,6 /proc/9877/stat : 9877 (java) S 9874 9877 4301 0 -1 4202496 46489 0 1 0 179432 636 0 0 20 0 22 0 4785926 10196848640 1251148 33554432000 1073741824 1073778376 140735096860304 140735096851440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9877/statm: 2489465 1251145 2302 9 0 2480142 0 [pid=9877/tid=9879] ppid=9874 vsize=9957860 CPUtime=1.39 cores=0,2,4,6 /proc/9877/task/9879/stat : 9879 (java) S 9874 9877 4301 0 -1 4202560 2597 0 1 0 135 4 0 0 20 0 21 0 4785927 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511529157496 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9880] ppid=9874 vsize=9957860 CPUtime=4.2 cores=0,2,4,6 /proc/9877/task/9880/stat : 9880 (java) S 9874 9877 4301 0 -1 4202560 3609 0 0 0 359 61 0 0 20 0 21 0 4785928 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511467887016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9881] ppid=9874 vsize=9957860 CPUtime=3.62 cores=0,2,4,6 /proc/9877/task/9881/stat : 9881 (java) S 9874 9877 4301 0 -1 4202560 2346 0 0 0 297 65 0 0 20 0 21 0 4785928 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511466834472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9882] ppid=9874 vsize=9957860 CPUtime=4.26 cores=0,2,4,6 /proc/9877/task/9882/stat : 9882 (java) S 9874 9877 4301 0 -1 4202560 1592 0 0 0 368 58 0 0 20 0 21 0 4785928 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511371016360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9883] ppid=9874 vsize=9957860 CPUtime=3.92 cores=0,2,4,6 /proc/9877/task/9883/stat : 9883 (java) S 9874 9877 4301 0 -1 4202560 3210 0 0 0 328 64 0 0 20 0 21 0 4785928 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511369963816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9884] ppid=9874 vsize=9957860 CPUtime=4.41 cores=0,2,4,6 /proc/9877/task/9884/stat : 9884 (java) S 9874 9877 4301 0 -1 4202560 2954 0 0 0 371 70 0 0 20 0 21 0 4785928 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511368911784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9885] ppid=9874 vsize=9957860 CPUtime=4.11 cores=0,2,4,6 /proc/9877/task/9885/stat : 9885 (java) S 9874 9877 4301 0 -1 4202560 1687 0 0 0 335 76 0 0 20 0 21 0 4785928 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511367859240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9886] ppid=9874 vsize=9957860 CPUtime=4.22 cores=0,2,4,6 /proc/9877/task/9886/stat : 9886 (java) S 9874 9877 4301 0 -1 4202560 2207 0 0 0 349 73 0 0 20 0 21 0 4785928 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511366806184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9877/tid=9887] ppid=9874 vsize=9957860 CPUtime=4.11 cores=0,2,4,6 /proc/9877/task/9887/stat : 9887 (java) S 9874 9877 4301 0 -1 4202560 1789 0 0 0 343 68 0 0 20 0 21 0 4785928 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511365753640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9877/tid=9888] ppid=9874 vsize=9957860 CPUtime=10.89 cores=0,2,4,6 /proc/9877/task/9888/stat : 9888 (java) S 9874 9877 4301 0 -1 4202560 4270 0 0 0 1082 7 0 0 20 0 21 0 4785929 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511353342312 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9889] ppid=9874 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9889/stat : 9889 (java) S 9874 9877 4301 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 4785930 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511352288632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9890] ppid=9874 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9890/stat : 9890 (java) S 9874 9877 4301 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 21 0 4785930 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511351235464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9891] ppid=9874 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9891/stat : 9891 (java) S 9874 9877 4301 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 4785932 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511350184208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9877/tid=9892] ppid=9874 vsize=9957860 CPUtime=1.53 cores=0,2,4,6 /proc/9877/task/9892/stat : 9892 (java) S 9874 9877 4301 0 -1 4202560 9466 0 0 0 151 2 0 0 20 0 21 0 4785932 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511349132088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9893] ppid=9874 vsize=9957860 CPUtime=1.84 cores=0,2,4,6 /proc/9877/task/9893/stat : 9893 (java) S 9874 9877 4301 0 -1 4202560 8841 0 0 0 182 2 0 0 20 0 21 0 4785932 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511348079544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9894] ppid=9874 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/9877/task/9894/stat : 9894 (java) S 9874 9877 4301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4785932 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511347026680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=9895] ppid=9874 vsize=9957860 CPUtime=0.23 cores=0,2,4,6 /proc/9877/task/9895/stat : 9895 (java) S 9874 9877 4301 0 -1 4202560 53 0 0 0 11 12 0 0 20 0 21 0 4785932 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511345974344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9877/tid=10014] ppid=9874 vsize=9957860 CPUtime=681.69 cores=0,2,4,6 /proc/9877/task/10014/stat : 10014 (java) R 9874 9877 4301 0 -1 4202560 24 0 0 0 68159 10 0 0 20 0 21 0 4806861 10196848640 1251145 33554432000 1073741824 1073778376 140735096860304 140511342811464 140511470079894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (KiB) 9957860 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9877 and gives # childrusage.ru_utime.tv_sec=1790 # childrusage.ru_utime.tv_usec=808755 # childrusage.ru_stime.tv_sec=6 # childrusage.ru_stime.tv_usec=701981 # CPU time returned by wait4() is 1797.51 # while last known CPU time is 1800.68 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.280022 # lost CPU user time (s): 0.32003 # lost CPU system time (s): -0.04 Real time (s): 909.369 CPU time (s): 1800.96 CPU user time (s): 1794.64 CPU system time (s): 6.32 CPU usage (%): 198.045 Max. virtual memory (cumulated for all children) (KiB): 9957860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.81 system time used= 6.70198 maximum resident set size= 5061960 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46494 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24671 involuntary context switches= 23957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.51316 second user time and 7.36388 second system time The end
Begin job on node114 at 2016-06-30 00:09:45 IDJOB=4118944 IDBENCH=111550 IDSOLVER=2543 FILE ID=node114/4118944-1467238185 RUNJOBID= node114-1467233112-7067 PBS_JOBID= 19997585 Free space on /tmp= 71668 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118944-1467238185/watcher-4118944-1467238185 -o /tmp/evaluation-result-4118944-1467238185/solver-4118944-1467238185 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467233112-7067 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118944-1467238185.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5d02912d53f2354b54cb86f356951fff RANDOM SEED=860302588 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 21512940 kB Buffers: 102092 kB Cached: 5788820 kB SwapCached: 0 kB Active: 3647332 kB Inactive: 5789432 kB Active(anon): 3548032 kB Inactive(anon): 0 kB Active(file): 99300 kB Inactive(file): 5789432 kB Unevictable: 1155036 kB Mlocked: 12440 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1240 kB Writeback: 0 kB AnonPages: 4704300 kB Mapped: 22168 kB Shmem: 204 kB Slab: 625008 kB SReclaimable: 69168 kB SUnreclaim: 555840 kB KernelStack: 1624 kB PageTables: 12876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4949504 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4595712 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node114 at 2016-06-30 00:24:54