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) | 28 | 1800.03 | 899.084 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb |
| MD5SUM | f03240b9a734d8daafc38104f404b1a5 |
| 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 | 28 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 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@16fd0b7 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@4413ee 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@75786e64 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@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4119835-1467271946.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.14/0.52 c ... done. Wall clock time 0.401s. 1.14/0.52 c declared #vars 10272 1.14/0.52 c #constraints 706 1.14/0.53 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.14/0.53 c constraints type 1.14/0.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 320 1.14/0.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 320 1.14/0.53 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66 1.14/0.53 c 706 constraints processed. 1.14/0.53 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.14/0.53 c constraints type 1.14/0.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 320 1.14/0.53 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 320 1.14/0.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 66 1.14/0.53 c 706 constraints processed. 1.14/0.53 c objective function length is 32 literals 2.61/0.93 c And the winner is solver0 2.78/1.03 c SATISFIABLE 2.78/1.03 c OPTIMIZING... 2.78/1.03 c Got one! Elapsed wall clock time (in seconds):0.911 2.78/1.03 o 32 3.01/1.15 c And the winner is solver0 3.19/1.53 c Got one! Elapsed wall clock time (in seconds):1.413 3.19/1.53 o 31 3.89/1.85 c cleaning 2789 clauses out of 5596 with flag 9976/5596 5.47/2.59 c cleaning 4392 clauses out of 8805 with flag 41300/11594 7.64/3.53 c cleaning 5700 clauses out of 11416 with flag 75887/18597 10.42/4.81 c cleaning 6849 clauses out of 13715 with flag 121228/26596 12.83/6.09 c cleaning 7922 clauses out of 15866 with flag 163257/35596 15.52/7.33 c And the winner is solver0 15.63/7.54 c Got one! Elapsed wall clock time (in seconds):7.419 15.63/7.54 o 30 16.56/8.05 c cleaning 10589 clauses out of 21189 with flag 18762/48841 17.75/8.62 c cleaning 8291 clauses out of 16600 with flag 56465/54841 19.35/9.42 c cleaning 7643 clauses out of 15309 with flag 106392/61841 21.36/10.48 c cleaning 7817 clauses out of 15665 with flag 164261/69840 24.15/11.83 c cleaning 8409 clauses out of 16849 with flag 229441/78841 27.69/13.51 c cleaning 9202 clauses out of 18439 with flag 301217/88840 30.89/15.18 c cleaning 10101 clauses out of 20238 with flag 380173/99841 34.75/17.07 c cleaning 11051 clauses out of 22137 with flag 465042/111841 39.13/19.17 c cleaning 12029 clauses out of 24088 with flag 548881/124843 44.26/21.67 c cleaning 13011 clauses out of 26061 with flag 644355/138845 50.06/24.52 c cleaning 14012 clauses out of 28047 with flag 751162/153842 56.14/27.58 c cleaning 14992 clauses out of 30033 with flag 848029/169840 60.12/29.55 c cleaning 16005 clauses out of 32042 with flag 903699/186841 65.32/32.15 c cleaning 17011 clauses out of 34037 with flag 952407/204841 72.53/35.72 c cleaning 17996 clauses out of 36026 with flag 1010547/223841 81.92/40.32 c cleaning 18997 clauses out of 38030 with flag 1074913/243841 91.54/45.14 c cleaning 20005 clauses out of 40032 with flag 1138902/264840 96.29/47.46 c And the winner is solver0 96.35/47.61 c Got one! Elapsed wall clock time (in seconds):47.493 96.35/47.61 o 29 97.31/48.14 c cleaning 20354 clauses out of 40735 with flag 13960/285548 98.51/48.79 c cleaning 13172 clauses out of 26382 with flag 33972/291549 100.12/49.59 c cleaning 10085 clauses out of 20210 with flag 59108/298549 101.91/50.48 c cleaning 9043 clauses out of 18125 with flag 86888/306549 104.11/51.51 c cleaning 9028 clauses out of 18082 with flag 118609/315549 106.51/52.75 c cleaning 9511 clauses out of 19053 with flag 151002/325548 109.12/54.08 c cleaning 10257 clauses out of 20542 with flag 187123/336548 112.50/55.71 c cleaning 11127 clauses out of 22286 with flag 231512/348549 116.51/57.71 c cleaning 12063 clauses out of 24158 with flag 283013/361548 121.11/60.03 c cleaning 13030 clauses out of 26095 with flag 340849/375548 126.11/62.56 c cleaning 14019 clauses out of 28065 with flag 399171/390548 132.12/65.53 c cleaning 15009 clauses out of 30046 with flag 465111/406548 138.73/68.81 c cleaning 16005 clauses out of 32037 with flag 535212/423548 146.13/72.51 c cleaning 17002 clauses out of 34035 with flag 612460/441551 154.80/76.73 c cleaning 18004 clauses out of 36031 with flag 702126/460549 162.99/80.89 c cleaning 19000 clauses out of 38027 with flag 798841/480549 173.23/85.91 c cleaning 20001 clauses out of 40029 with flag 901380/501551 184.05/91.38 c cleaning 21000 clauses out of 42026 with flag 993637/523549 195.64/97.16 c cleaning 21994 clauses out of 44026 with flag 1088250/546549 208.84/103.75 c cleaning 23003 clauses out of 46033 with flag 1187624/570550 221.47/110.28 c cleaning 24000 clauses out of 48028 with flag 1299718/595548 235.67/117.37 c cleaning 24998 clauses out of 50028 with flag 1409310/621548 251.27/125.16 c cleaning 26001 clauses out of 52030 with flag 1520601/648548 268.87/133.94 c cleaning 27000 clauses out of 54030 with flag 1639485/676549 288.13/143.59 c cleaning 27993 clauses out of 56030 with flag 1765248/705549 309.15/153.92 c cleaning 29001 clauses out of 58036 with flag 1890276/735548 329.98/164.20 c cleaning 30001 clauses out of 60035 with flag 2023908/766548 353.74/175.95 c cleaning 30996 clauses out of 62034 with flag 2165957/798548 379.52/188.89 c cleaning 31996 clauses out of 64038 with flag 2321723/831548 387.32/192.73 c And the winner is solver0 387.82/193.41 c Got one! Elapsed wall clock time (in seconds):193.292 387.82/193.41 o 28 388.99/194.03 c cleaning 25261 clauses out of 50538 with flag 14081/850044 390.40/194.72 c cleaning 15627 clauses out of 31275 with flag 34474/856042 391.98/195.50 c cleaning 11310 clauses out of 22648 with flag 59212/863042 393.78/196.44 c cleaning 9662 clauses out of 19340 with flag 89198/871044 395.78/197.44 c cleaning 9327 clauses out of 18677 with flag 119498/880043 398.18/198.66 c cleaning 9667 clauses out of 19351 with flag 153543/890044 400.98/200.08 c cleaning 10328 clauses out of 20682 with flag 192349/901042 403.98/201.50 c cleaning 11171 clauses out of 22355 with flag 236897/913043 407.18/203.17 c cleaning 12080 clauses out of 24184 with flag 290897/926043 411.39/205.21 c cleaning 13040 clauses out of 26104 with flag 348871/940043 417.65/208.86 c cleaning 14022 clauses out of 28063 with flag 413801/955042 422.66/211.32 c cleaning 15009 clauses out of 30041 with flag 485133/971042 428.04/214.07 c cleaning 16009 clauses out of 32032 with flag 561944/988042 434.44/217.20 c cleaning 17003 clauses out of 34023 with flag 644744/1006042 441.83/220.95 c cleaning 17995 clauses out of 36020 with flag 741709/1025042 449.83/224.96 c cleaning 18995 clauses out of 38025 with flag 828497/1045042 458.63/229.32 c cleaning 20005 clauses out of 40031 with flag 925083/1066043 468.23/234.14 c cleaning 21001 clauses out of 42025 with flag 1018096/1088042 479.22/239.59 c cleaning 22002 clauses out of 44025 with flag 1132541/1111043 489.81/244.86 c cleaning 22996 clauses out of 46022 with flag 1254041/1135042 500.41/250.16 c cleaning 24002 clauses out of 48026 with flag 1373939/1160042 513.02/256.44 c cleaning 25003 clauses out of 50024 with flag 1499361/1186042 520.20/260.01 c cleaning 26001 clauses out of 52024 with flag 1573578/1213045 529.60/264.72 c cleaning 26999 clauses out of 54022 with flag 1636734/1241044 538.37/268.92 c cleaning 27998 clauses out of 56021 with flag 1705719/1270042 549.97/274.74 c cleaning 28998 clauses out of 58024 with flag 1770280/1300043 562.16/280.81 c cleaning 29998 clauses out of 60026 with flag 1838055/1331043 575.56/287.57 c cleaning 31001 clauses out of 62029 with flag 1908102/1363044 588.55/294.06 c cleaning 31998 clauses out of 64026 with flag 2006066/1396042 603.37/301.43 c cleaning 33000 clauses out of 66028 with flag 2130237/1430042 619.55/309.55 c cleaning 34002 clauses out of 68030 with flag 2241706/1465044 638.34/318.99 c cleaning 34999 clauses out of 70028 with flag 2346160/1501044 657.33/328.42 c cleaning 35998 clauses out of 72027 with flag 2457130/1538042 678.18/338.60 c cleaning 36995 clauses out of 74029 with flag 2576798/1576042 698.18/348.60 c cleaning 38002 clauses out of 76036 with flag 2694590/1615044 723.80/361.31 c cleaning 39006 clauses out of 78035 with flag 2845693/1655045 748.60/373.79 c cleaning 40001 clauses out of 80027 with flag 2983334/1696043 772.99/385.93 c cleaning 41000 clauses out of 82026 with flag 3119849/1738043 802.20/400.55 c cleaning 41999 clauses out of 84026 with flag 3266822/1781043 828.75/413.62 c cleaning 43004 clauses out of 86027 with flag 3407944/1825043 849.51/424.76 c cleaning 43993 clauses out of 88022 with flag 3536528/1870042 873.51/436.79 c cleaning 44999 clauses out of 90031 with flag 3672883/1916044 890.92/445.22 c cleaning 46005 clauses out of 92030 with flag 3817951/1963042 904.73/452.12 c cleaning 46999 clauses out of 94025 with flag 4062154/2011042 920.71/460.17 c cleaning 48004 clauses out of 96027 with flag 4243750/2060043 945.96/472.66 c cleaning 48997 clauses out of 98022 with flag 4419826/2110042 965.57/482.43 c cleaning 50006 clauses out of 100027 with flag 4569182/2161044 990.55/494.75 c cleaning 51002 clauses out of 102022 with flag 4686973/2213045 1019.95/509.48 c cleaning 51997 clauses out of 104017 with flag 4808403/2266042 1054.75/526.63 c cleaning 53000 clauses out of 106021 with flag 4933435/2320043 1092.15/545.15 c cleaning 53993 clauses out of 108020 with flag 5064437/2375042 1133.13/565.62 c cleaning 55006 clauses out of 110027 with flag 5191658/2431042 1179.09/588.50 c cleaning 56005 clauses out of 112021 with flag 5321726/2488042 1226.30/612.03 c cleaning 56996 clauses out of 114017 with flag 5450728/2546043 1282.75/639.83 c cleaning 58000 clauses out of 116022 with flag 5580156/2605044 1344.96/672.34 c cleaning 58994 clauses out of 118020 with flag 5713952/2665042 1403.48/701.40 c cleaning 60002 clauses out of 120027 with flag 5849717/2726043 1454.15/726.66 c cleaning 61003 clauses out of 122024 with flag 6084829/2788042 1509.60/754.28 c cleaning 61998 clauses out of 124023 with flag 6309859/2851044 1565.78/782.38 c cleaning 63003 clauses out of 126023 with flag 6524399/2915042 1621.42/810.09 c cleaning 63998 clauses out of 128020 with flag 6794950/2980042 1685.41/842.04 c cleaning 64988 clauses out of 130024 with flag 7103795/3046044 1750.28/874.32 c cleaning 66009 clauses out of 132034 with flag 7431386/3113042 1800.03/899.00 c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<< 1800.03/899.00 c starts : 98 1800.03/899.00 c conflicts : 3170177 1800.03/899.00 c decisions : 3814377 1800.03/899.00 c propagations : 191742916 1800.03/899.00 c inspects : 14217755882 1800.03/899.00 c shortcuts : 0 1800.03/899.00 c learnt literals : 0 1800.03/899.00 c learnt binary clauses : 0 1800.03/899.00 c learnt ternary clauses : 0 1800.03/899.00 c learnt constraints : 3170177 1800.03/899.00 c ignored constraints : 0 1800.03/899.00 c root simplifications : 0 1800.03/899.00 c removed literals (reason simplification) : 1295374 1800.03/899.00 c reason swapping (by a shorter reason) : 0 1800.03/899.00 c Calls to reduceDB : 114 1800.03/899.00 c Number of update (reduction) of LBD : 505502 1800.03/899.00 c Imported unit clauses : 0 1800.03/899.00 c number of reductions to clauses (during analyze) : 0 1800.03/899.00 c number of learned constraints concerned by reduction : 0 1800.03/899.00 c number of learning phase by resolution : 0 1800.03/899.00 c number of learning phase by cutting planes : 0 1800.03/899.00 c speed (assignments/second) : 213417.1332150545 1800.03/899.00 c non guided choices 213641 1800.03/899.03 c learnt constraints type 1800.03/899.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 123160 1800.03/899.03 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.03/899.03 c starts : 21 1800.03/899.03 c conflicts : 2238 1800.03/899.03 c decisions : 274530 1800.03/899.03 c propagations : 826891 1800.03/899.03 c inspects : 103858854 1800.03/899.03 c shortcuts : 0 1800.03/899.03 c learnt literals : 0 1800.03/899.03 c learnt binary clauses : 1 1800.03/899.03 c learnt ternary clauses : 0 1800.03/899.03 c learnt constraints : 2235 1800.03/899.03 c ignored constraints : 0 1800.03/899.03 c root simplifications : 0 1800.03/899.03 c removed literals (reason simplification) : 0 1800.03/899.03 c reason swapping (by a shorter reason) : 0 1800.03/899.03 c Calls to reduceDB : 0 1800.03/899.03 c Number of update (reduction) of LBD : 0 1800.03/899.03 c Imported unit clauses : 0 1800.03/899.03 c number of reductions to clauses (during analyze) : 0 1800.03/899.03 c number of learned constraints concerned by reduction : 0 1800.03/899.03 c number of learning phase by resolution : 0 1800.03/899.03 c number of learning phase by cutting planes : 0 1800.03/899.03 c speed (assignments/second) : 1171.8694419210422 1800.03/899.03 c non guided choices 37222 1800.03/899.03 c learnt constraints type 1800.03/899.03 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.03/899.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2233 1800.03/899.03 s SATISFIABLE 1800.03/899.03 c Found 5 solution(s) 1800.03/899.04 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 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 x8667 x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 x8692 x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 x8869 x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 x9314 -x9315 -x9316 -x9317 x9318 x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 x9338 x9339 -x9340 -x9341 -x9342 -x9343 -x9344 x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 x9377 x9378 -x9379 x9380 -x9381 -x9382 x9383 -x9384 x9385 x9386 -x9387 -x9388 -x9389 x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 x9437 x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 x10049 -x10050 -x10051 -x10052 x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 1800.03/899.05 c objective function=28 1800.03/899.05 c Total wall clock time (in seconds): 898.933
OK 28
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-4119835-1467271946/watcher-4119835-1467271946 -o /tmp/evaluation-result-4119835-1467271946/solver-4119835-1467271946 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467269312-12966 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119835-1467271946.opb pid=13477 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.16 4.23 3.82 5/199 13480 /proc/meminfo: memFree=24708388/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/13480/stat : 13480 (java) D 13477 13480 12810 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 8147329 9515008 182 33554432000 1073741824 1073778376 140734837069904 140734837060936 215124623029 0 0 4096 0 18446744072100724004 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2323 182 140 9 0 71 0 [startup+0.100058 s] /proc/loadavg: 4.16 4.23 3.82 5/199 13480 /proc/meminfo: memFree=24708388/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/13480/stat : 13480 (java) S 13477 13480 12810 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 8147329 9787879424 6037 33554432000 1073741824 1073778376 140733684774960 140733684766096 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2389619 6037 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200223 s] /proc/loadavg: 4.16 4.23 3.82 5/199 13480 /proc/meminfo: memFree=24708388/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/13480/stat : 13480 (java) S 13477 13480 12810 0 -1 4202496 4754 0 1 0 24 1 0 0 20 0 18 0 8147329 9787879424 6830 33554432000 1073741824 1073778376 140733684774960 140733684766096 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2389619 6830 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.30025 s] /proc/loadavg: 4.16 4.23 3.82 5/199 13480 /proc/meminfo: memFree=24708388/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9558476 CPUtime=0.54 cores=1,3,5,7 /proc/13480/stat : 13480 (java) S 13477 13480 12810 0 -1 4202496 11847 0 1 0 52 2 0 0 20 0 18 0 8147329 9787879424 13442 33554432000 1073741824 1073778376 140733684774960 140733684766096 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2389619 13442 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558476 [startup+0.700193 s] /proc/loadavg: 4.16 4.23 3.82 5/199 13480 /proc/meminfo: memFree=24708388/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9824732 CPUtime=1.88 cores=1,3,5,7 /proc/13480/stat : 13480 (java) S 13477 13480 12810 0 -1 4202496 13637 0 1 0 184 4 0 0 20 0 22 0 8147329 10060525568 36692 33554432000 1073741824 1073778376 140733684774960 140733684766096 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2456183 36692 2259 9 0 2446860 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 9824732 [startup+1.50077 s] /proc/loadavg: 4.16 4.23 3.82 6/221 13505 /proc/meminfo: memFree=24552964/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9824732 CPUtime=3.19 cores=1,3,5,7 /proc/13480/stat : 13480 (java) S 13477 13480 12810 0 -1 4202496 15608 0 1 0 311 8 0 0 20 0 19 0 8147329 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 140733684766096 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2456183 41837 2266 9 0 2446860 0 [pid=13480/tid=13482] ppid=13477 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/13480/task/13482/stat : 13482 (java) S 13477 13480 12810 0 -1 4202560 2472 0 1 0 47 3 0 0 20 0 19 0 8147330 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916906107768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13483] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13483/stat : 13483 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8147331 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916884208680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13484] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13484/stat : 13484 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8147331 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916883155880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13485] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13485/stat : 13485 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8147331 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916679834408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13486] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13486/stat : 13486 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8147331 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916678781608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13487] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13487/stat : 13487 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8147331 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916677728808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13488] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13488/stat : 13488 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8147331 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916676676008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13489] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13489/stat : 13489 (java) S 13477 13480 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8147331 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916675623208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13490] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13490/stat : 13490 (java) S 13477 13480 12810 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8147331 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916674570408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13491] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13491/stat : 13491 (java) S 13477 13480 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8147333 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916662373352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13492] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13492/stat : 13492 (java) S 13477 13480 12810 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8147333 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916661319416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13493] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13493/stat : 13493 (java) S 13477 13480 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8147333 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916660266504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13494] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13494/stat : 13494 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8147335 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916659214992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13495] ppid=13477 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/13480/task/13495/stat : 13495 (java) S 13477 13480 12810 0 -1 4202560 6562 0 0 0 78 1 0 0 20 0 19 0 8147335 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916658162104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13496] ppid=13477 vsize=9824732 CPUtime=0.81 cores=1,3,5,7 /proc/13480/task/13496/stat : 13496 (java) S 13477 13480 12810 0 -1 4202560 5230 0 0 0 81 0 0 0 20 0 19 0 8147335 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916657109304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13497] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13497/stat : 13497 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8147335 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916656056696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13498] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13498/stat : 13498 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8147335 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916655004104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13502] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13502/stat : 13502 (java) S 13477 13480 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8147384 10060525568 41837 33554432000 1073741824 1073778376 140733684774960 139916650792232 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 9824732 [startup+3.10094 s] /proc/loadavg: 4.16 4.23 3.82 6/221 13508 /proc/meminfo: memFree=24524904/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9824732 CPUtime=6.76 cores=1,3,5,7 /proc/13480/stat : 13480 (java) S 13477 13480 12810 0 -1 4202496 18233 0 1 0 667 9 0 0 20 0 22 0 8147329 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 140733684766096 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2456183 47568 2284 9 0 2446860 0 [pid=13480/tid=13482] ppid=13477 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/13480/task/13482/stat : 13482 (java) S 13477 13480 12810 0 -1 4202560 2472 0 1 0 47 3 0 0 20 0 22 0 8147330 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916906107768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13483] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13483/stat : 13483 (java) S 13477 13480 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916884208680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13484] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13484/stat : 13484 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916883155880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13485] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13485/stat : 13485 (java) S 13477 13480 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916679834408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13486] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13486/stat : 13486 (java) S 13477 13480 12810 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916678781608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13487] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13487/stat : 13487 (java) S 13477 13480 12810 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916677728808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13488] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13488/stat : 13488 (java) S 13477 13480 12810 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916676676008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13489] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13489/stat : 13489 (java) S 13477 13480 12810 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916675623208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13490] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13490/stat : 13490 (java) S 13477 13480 12810 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916674570408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13491] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13491/stat : 13491 (java) S 13477 13480 12810 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916662373352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13492] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13492/stat : 13492 (java) S 13477 13480 12810 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916661319416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13493] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13493/stat : 13493 (java) S 13477 13480 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916660266504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13494] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13494/stat : 13494 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916659214992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13495] ppid=13477 vsize=9824732 CPUtime=0.99 cores=1,3,5,7 /proc/13480/task/13495/stat : 13495 (java) S 13477 13480 12810 0 -1 4202560 6566 0 0 0 98 1 0 0 20 0 22 0 8147335 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916658162104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13496] ppid=13477 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/13480/task/13496/stat : 13496 (java) S 13477 13480 12810 0 -1 4202560 7727 0 0 0 104 0 0 0 20 0 22 0 8147335 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916657109304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13497] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13497/stat : 13497 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916656056696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13498] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13498/stat : 13498 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916655004104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13502] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13502/stat : 13502 (java) S 13477 13480 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8147384 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916650792232 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13506] ppid=13477 vsize=9824732 CPUtime=1.52 cores=1,3,5,7 /proc/13480/task/13506/stat : 13506 (java) R 13477 13480 12810 0 -1 4202560 6 0 0 0 152 0 0 0 20 0 22 0 8147483 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916653947400 139916764641866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13507] ppid=13477 vsize=9824732 CPUtime=1.51 cores=1,3,5,7 /proc/13480/task/13507/stat : 13507 (java) R 13477 13480 12810 0 -1 4202560 7 0 0 0 151 0 0 0 20 0 22 0 8147483 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916652897464 139916764663396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13508] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13508/stat : 13508 (java) S 13477 13480 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 8147483 10060525568 47568 33554432000 1073741824 1073778376 140733684774960 139916651845160 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.76 Current children cumulated vsize (KiB) 9824732 [startup+6.30088 s] /proc/loadavg: 4.22 4.24 3.82 6/221 13508 /proc/meminfo: memFree=24490400/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9824732 CPUtime=13.43 cores=1,3,5,7 /proc/13480/stat : 13480 (java) S 13477 13480 12810 0 -1 4202496 20539 0 1 0 1329 14 0 0 20 0 22 0 8147329 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 140733684766096 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2456183 56327 2284 9 0 2446860 0 [pid=13480/tid=13482] ppid=13477 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/13480/task/13482/stat : 13482 (java) S 13477 13480 12810 0 -1 4202560 2472 0 1 0 47 3 0 0 20 0 22 0 8147330 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916906107768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13483] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13483/stat : 13483 (java) S 13477 13480 12810 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916884208680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13484] ppid=13477 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/13480/task/13484/stat : 13484 (java) S 13477 13480 12810 0 -1 4202560 86 0 0 0 1 0 0 0 20 0 22 0 8147331 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916883155880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13485] ppid=13477 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/13480/task/13485/stat : 13485 (java) S 13477 13480 12810 0 -1 4202560 117 0 0 0 2 2 0 0 20 0 22 0 8147331 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916679834408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13486] ppid=13477 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/13480/task/13486/stat : 13486 (java) S 13477 13480 12810 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 8147331 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916678781608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13487] ppid=13477 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/13480/task/13487/stat : 13487 (java) S 13477 13480 12810 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 8147331 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916677728808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13488] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13488/stat : 13488 (java) S 13477 13480 12810 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 8147331 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916676676008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13489] ppid=13477 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/13480/task/13489/stat : 13489 (java) S 13477 13480 12810 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 22 0 8147331 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916675623208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13490] ppid=13477 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/13480/task/13490/stat : 13490 (java) S 13477 13480 12810 0 -1 4202560 92 0 0 0 2 1 0 0 20 0 22 0 8147331 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916674570408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13491] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13491/stat : 13491 (java) S 13477 13480 12810 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916662373352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13492] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13492/stat : 13492 (java) S 13477 13480 12810 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916661319416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13493] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13493/stat : 13493 (java) S 13477 13480 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916660266504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13494] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13494/stat : 13494 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916659214992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13495] ppid=13477 vsize=9824732 CPUtime=1.1 cores=1,3,5,7 /proc/13480/task/13495/stat : 13495 (java) S 13477 13480 12810 0 -1 4202560 6566 0 0 0 109 1 0 0 20 0 22 0 8147335 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916658162104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13496] ppid=13477 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/13480/task/13496/stat : 13496 (java) S 13477 13480 12810 0 -1 4202560 9633 0 0 0 115 0 0 0 20 0 22 0 8147335 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916657109304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13497] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13497/stat : 13497 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 56327 33554432000 1073741824 1073778376 140733684774960 139916656056696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13498] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=13480/tid=13490] ppid=13477 vsize=9824732 CPUtime=2.52 cores=1,3,5,7 /proc/13480/task/13490/stat : 13490 (java) S 13477 13480 12810 0 -1 4202560 803 0 0 0 220 32 0 0 20 0 22 0 8147331 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916674570408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13491] ppid=13477 vsize=9824732 CPUtime=7.11 cores=1,3,5,7 /proc/13480/task/13491/stat : 13491 (java) S 13477 13480 12810 0 -1 4202560 3143 0 0 0 707 4 0 0 20 0 22 0 8147333 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916662373352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13492] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13492/stat : 13492 (java) S 13477 13480 12810 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916661319416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13493] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13493/stat : 13493 (java) S 13477 13480 12810 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916660266504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13494] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13494/stat : 13494 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916659214992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13495] ppid=13477 vsize=9824732 CPUtime=1.49 cores=1,3,5,7 /proc/13480/task/13495/stat : 13495 (java) S 13477 13480 12810 0 -1 4202560 6579 0 0 0 148 1 0 0 20 0 22 0 8147335 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916658162104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13496] ppid=13477 vsize=9824732 CPUtime=1.31 cores=1,3,5,7 /proc/13480/task/13496/stat : 13496 (java) S 13477 13480 12810 0 -1 4202560 11432 0 0 0 130 1 0 0 20 0 22 0 8147335 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916657109304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13497] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13497/stat : 13497 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916656056696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13498] ppid=13477 vsize=9824732 CPUtime=0.24 cores=1,3,5,7 /proc/13480/task/13498/stat : 13498 (java) S 13477 13480 12810 0 -1 4202560 47 0 0 0 9 15 0 0 20 0 22 0 8147335 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916655004104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13502] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13502/stat : 13502 (java) S 13477 13480 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8147384 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916650792232 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13588] ppid=13477 vsize=9824732 CPUtime=616.79 cores=1,3,5,7 /proc/13480/task/13588/stat : 13588 (java) R 13477 13480 12810 0 -1 4202560 34 0 0 0 61669 10 0 0 20 0 22 0 8166671 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916651835936 139916764620064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13589] ppid=13477 vsize=9824732 CPUtime=616.86 cores=1,3,5,7 /proc/13480/task/13589/stat : 13589 (java) R 13477 13480 12810 0 -1 4202560 268 0 0 0 61669 17 0 0 20 0 22 0 8166671 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916652895872 139916764718533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13590] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13590/stat : 13590 (java) S 13477 13480 12810 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8166671 10060525568 1026879 33554432000 1073741824 1073778376 140733684774960 139916653950376 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1645.52 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.38 4.32 4.09 5/221 13607 /proc/meminfo: memFree=20429384/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9824732 CPUtime=1765.79 cores=1,3,5,7 /proc/13480/stat : 13480 (java) S 13477 13480 12810 0 -1 4202496 33413 0 1 0 176284 295 0 0 20 0 22 0 8147329 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 140733684766096 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2456183 1026957 2294 9 0 2446860 0 [pid=13480/tid=13482] ppid=13477 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/13480/task/13482/stat : 13482 (java) S 13477 13480 12810 0 -1 4202560 2487 0 1 0 50 4 0 0 20 0 22 0 8147330 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916906107768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13483] ppid=13477 vsize=9824732 CPUtime=2.57 cores=1,3,5,7 /proc/13480/task/13483/stat : 13483 (java) S 13477 13480 12810 0 -1 4202560 765 0 0 0 228 29 0 0 20 0 22 0 8147331 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916884208680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13484] ppid=13477 vsize=9824732 CPUtime=2.7 cores=1,3,5,7 /proc/13480/task/13484/stat : 13484 (java) S 13477 13480 12810 0 -1 4202560 951 0 0 0 238 32 0 0 20 0 22 0 8147331 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916883155880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13485] ppid=13477 vsize=9824732 CPUtime=2.12 cores=1,3,5,7 /proc/13480/task/13485/stat : 13485 (java) S 13477 13480 12810 0 -1 4202560 949 0 0 0 186 26 0 0 20 0 22 0 8147331 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916679834408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13486] ppid=13477 vsize=9824732 CPUtime=2.36 cores=1,3,5,7 /proc/13480/task/13486/stat : 13486 (java) S 13477 13480 12810 0 -1 4202560 745 0 0 0 207 29 0 0 20 0 22 0 8147331 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916678781608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13487] ppid=13477 vsize=9824732 CPUtime=2.5 cores=1,3,5,7 /proc/13480/task/13487/stat : 13487 (java) S 13477 13480 12810 0 -1 4202560 762 0 0 0 223 27 0 0 20 0 22 0 8147331 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916677728808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13488] ppid=13477 vsize=9824732 CPUtime=2.28 cores=1,3,5,7 /proc/13480/task/13488/stat : 13488 (java) S 13477 13480 12810 0 -1 4202560 685 0 0 0 201 27 0 0 20 0 22 0 8147331 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916676676008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13489] ppid=13477 vsize=9824732 CPUtime=2.62 cores=1,3,5,7 /proc/13480/task/13489/stat : 13489 (java) S 13477 13480 12810 0 -1 4202560 1305 0 0 0 228 34 0 0 20 0 22 0 8147331 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916675623208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13490] ppid=13477 vsize=9824732 CPUtime=2.57 cores=1,3,5,7 /proc/13480/task/13490/stat : 13490 (java) S 13477 13480 12810 0 -1 4202560 830 0 0 0 225 32 0 0 20 0 22 0 8147331 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916674570408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13491] ppid=13477 vsize=9824732 CPUtime=7.11 cores=1,3,5,7 /proc/13480/task/13491/stat : 13491 (java) S 13477 13480 12810 0 -1 4202560 3145 0 0 0 707 4 0 0 20 0 22 0 8147333 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916662373352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13492] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13492/stat : 13492 (java) S 13477 13480 12810 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916661319416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13493] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13493/stat : 13493 (java) S 13477 13480 12810 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916660266504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13494] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13494/stat : 13494 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916659214992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13495] ppid=13477 vsize=9824732 CPUtime=1.49 cores=1,3,5,7 /proc/13480/task/13495/stat : 13495 (java) S 13477 13480 12810 0 -1 4202560 6579 0 0 0 148 1 0 0 20 0 22 0 8147335 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916658162104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13496] ppid=13477 vsize=9824732 CPUtime=1.31 cores=1,3,5,7 /proc/13480/task/13496/stat : 13496 (java) S 13477 13480 12810 0 -1 4202560 11432 0 0 0 130 1 0 0 20 0 22 0 8147335 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916657109304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13497] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13497/stat : 13497 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916656056696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13498] ppid=13477 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/13480/task/13498/stat : 13498 (java) S 13477 13480 12810 0 -1 4202560 51 0 0 0 10 16 0 0 20 0 22 0 8147335 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916655004104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13502] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13502/stat : 13502 (java) S 13477 13480 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8147384 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916650792232 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13588] ppid=13477 vsize=9824732 CPUtime=676.48 cores=1,3,5,7 /proc/13480/task/13588/stat : 13588 (java) R 13477 13480 12810 0 -1 4202560 34 0 0 0 67636 12 0 0 20 0 22 0 8166671 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916651835936 139916764526848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13589] ppid=13477 vsize=9824732 CPUtime=676.56 cores=1,3,5,7 /proc/13480/task/13589/stat : 13589 (java) R 13477 13480 12810 0 -1 4202560 268 0 0 0 67637 19 0 0 20 0 22 0 8166671 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916652894848 139916764718667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13590] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13590/stat : 13590 (java) S 13477 13480 12810 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8166671 10060525568 1026957 33554432000 1073741824 1073778376 140733684774960 139916653950376 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1765.79 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.001 s] /proc/loadavg: 4.27 4.30 4.09 5/221 13607 /proc/meminfo: memFree=20429260/32872528 swapFree=1515120/1684772 [pid=13480] ppid=13477 vsize=9824732 CPUtime=1799.53 cores=1,3,5,7 /proc/13480/stat : 13480 (java) S 13477 13480 12810 0 -1 4202496 33549 0 1 0 179657 296 0 0 20 0 22 0 8147329 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 140733684766096 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13480/statm: 2456183 1027090 2294 9 0 2446860 0 [pid=13480/tid=13482] ppid=13477 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/13480/task/13482/stat : 13482 (java) S 13477 13480 12810 0 -1 4202560 2487 0 1 0 50 4 0 0 20 0 22 0 8147330 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916906107768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13483] ppid=13477 vsize=9824732 CPUtime=2.61 cores=1,3,5,7 /proc/13480/task/13483/stat : 13483 (java) S 13477 13480 12810 0 -1 4202560 784 0 0 0 232 29 0 0 20 0 22 0 8147331 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916884208680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13484] ppid=13477 vsize=9824732 CPUtime=2.88 cores=1,3,5,7 /proc/13480/task/13484/stat : 13484 (java) S 13477 13480 12810 0 -1 4202560 971 0 0 0 256 32 0 0 20 0 22 0 8147331 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916883155880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13485] ppid=13477 vsize=9824732 CPUtime=2.16 cores=1,3,5,7 /proc/13480/task/13485/stat : 13485 (java) S 13477 13480 12810 0 -1 4202560 975 0 0 0 190 26 0 0 20 0 22 0 8147331 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916679834408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13486] ppid=13477 vsize=9824732 CPUtime=2.4 cores=1,3,5,7 /proc/13480/task/13486/stat : 13486 (java) S 13477 13480 12810 0 -1 4202560 760 0 0 0 211 29 0 0 20 0 22 0 8147331 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916678781608 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13487] ppid=13477 vsize=9824732 CPUtime=2.68 cores=1,3,5,7 /proc/13480/task/13487/stat : 13487 (java) S 13477 13480 12810 0 -1 4202560 774 0 0 0 241 27 0 0 20 0 22 0 8147331 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916677728808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13488] ppid=13477 vsize=9824732 CPUtime=2.31 cores=1,3,5,7 /proc/13480/task/13488/stat : 13488 (java) S 13477 13480 12810 0 -1 4202560 701 0 0 0 204 27 0 0 20 0 22 0 8147331 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916676676008 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13489] ppid=13477 vsize=9824732 CPUtime=2.65 cores=1,3,5,7 /proc/13480/task/13489/stat : 13489 (java) S 13477 13480 12810 0 -1 4202560 1324 0 0 0 231 34 0 0 20 0 22 0 8147331 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916675623208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13490] ppid=13477 vsize=9824732 CPUtime=2.75 cores=1,3,5,7 /proc/13480/task/13490/stat : 13490 (java) S 13477 13480 12810 0 -1 4202560 836 0 0 0 243 32 0 0 20 0 22 0 8147331 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916674570408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13491] ppid=13477 vsize=9824732 CPUtime=7.11 cores=1,3,5,7 /proc/13480/task/13491/stat : 13491 (java) S 13477 13480 12810 0 -1 4202560 3147 0 0 0 707 4 0 0 20 0 22 0 8147333 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916662373352 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13492] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13492/stat : 13492 (java) S 13477 13480 12810 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916661319416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13493] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13493/stat : 13493 (java) S 13477 13480 12810 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 8147333 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916660266504 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13494] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13494/stat : 13494 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916659214992 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13495] ppid=13477 vsize=9824732 CPUtime=1.49 cores=1,3,5,7 /proc/13480/task/13495/stat : 13495 (java) S 13477 13480 12810 0 -1 4202560 6579 0 0 0 148 1 0 0 20 0 22 0 8147335 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916658162104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13496] ppid=13477 vsize=9824732 CPUtime=1.31 cores=1,3,5,7 /proc/13480/task/13496/stat : 13496 (java) S 13477 13480 12810 0 -1 4202560 11432 0 0 0 130 1 0 0 20 0 22 0 8147335 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916657109304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13497] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13497/stat : 13497 (java) S 13477 13480 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8147335 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916656056696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13480/tid=13498] ppid=13477 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/13480/task/13498/stat : 13498 (java) S 13477 13480 12810 0 -1 4202560 51 0 0 0 11 16 0 0 20 0 22 0 8147335 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916655004104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13480/tid=13502] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13502/stat : 13502 (java) S 13477 13480 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8147384 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916650792232 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13588] ppid=13477 vsize=9824732 CPUtime=692.95 cores=1,3,5,7 /proc/13480/task/13588/stat : 13588 (java) R 13477 13480 12810 0 -1 4202560 35 0 0 0 69283 12 0 0 20 0 22 0 8166671 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916651843568 139916764524420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13480/tid=13589] ppid=13477 vsize=9824732 CPUtime=693.03 cores=1,3,5,7 /proc/13480/task/13589/stat : 13589 (java) R 13477 13480 12810 0 -1 4202560 268 0 0 0 69284 19 0 0 20 0 22 0 8166671 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916652894848 139916764719137 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13480/tid=13590] ppid=13477 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13480/task/13590/stat : 13590 (java) S 13477 13480 12810 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8166671 10060525568 1027090 33554432000 1073741824 1073778376 140733684774960 139916653950376 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.53 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 13480 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13480 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=129402 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=352490 # CPU time returned by wait4() is 1796.48 # while last known CPU time is 1799.53 # # 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.499992 # lost CPU user time (s): 0.550011 # lost CPU system time (s): -0.05 Real time (s): 899.084 CPU time (s): 1800.03 CPU user time (s): 1797.12 CPU system time (s): 2.91 CPU usage (%): 200.207 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.13 system time used= 3.35249 maximum resident set size= 4117236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33597 page faults= 1 swaps= 0 block input operations= 0 block output operations= 864 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22267 involuntary context switches= 22833 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.04223 second user time and 8.30574 second system time The end
Begin job on node135 at 2016-06-30 09:32:26 IDJOB=4119835 IDBENCH=111811 IDSOLVER=2543 FILE ID=node135/4119835-1467271946 RUNJOBID= node135-1467269312-12966 PBS_JOBID= 20004497 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119835-1467271946/watcher-4119835-1467271946 -o /tmp/evaluation-result-4119835-1467271946/solver-4119835-1467271946 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467269312-12966 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119835-1467271946.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f03240b9a734d8daafc38104f404b1a5 RANDOM SEED=1299681031 node135.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.722 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.44 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.722 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.722 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.57 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.722 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.56 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.722 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.54 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.722 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.55 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.722 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.68 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.722 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: 24708760 kB Buffers: 193976 kB Cached: 1774724 kB SwapCached: 0 kB Active: 3980060 kB Inactive: 1741168 kB Active(anon): 3755532 kB Inactive(anon): 0 kB Active(file): 224528 kB Inactive(file): 1741168 kB Unevictable: 1684772 kB Mlocked: 1515120 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1144 kB Writeback: 0 kB AnonPages: 5441740 kB Mapped: 22236 kB Shmem: 216 kB Slab: 613004 kB SReclaimable: 56964 kB SUnreclaim: 556040 kB KernelStack: 1632 kB PageTables: 14992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5991004 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988112 kB HardwareCorrupted: 0 kB AnonHugePages: 3770368 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= 71700 MiB End job on node135 at 2016-06-30 09:47:25