Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | SAT (TO) | 26 | 3601.22 | 3588.67 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb |
| MD5SUM | 77f517750a725db7576a06de15f60331 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.54241 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8928 |
| Total number of constraints | 622 |
| Number of constraints which are clauses | 278 |
| Number of constraints which are cardinality constraints (but not clauses) | 278 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 279 |
| Number of terms in the objective function | 32 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 32 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 94359 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 244172 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.11/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.15 c See www.sat4j.org for details. 0.11/0.16 c version CUSTOM.v20240707 0.11/0.18 c java.runtime.name OpenJDK Runtime Environment 0.11/0.19 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.19 c java.vm.version 22.0.1+8-16 0.11/0.19 c java.vm.vendor Oracle Corporation 0.11/0.19 c sun.arch.data.model 64 0.11/0.19 c java.version 22.0.1 0.11/0.19 c os.name Linux 0.11/0.19 c os.version 4.18.0-301.1.el8.x86_64 0.11/0.19 c os.arch amd64 0.11/0.19 c Free memory 2113181440 0.11/0.19 c Max memory 16282288128 0.11/0.19 c Total memory 2122317824 0.11/0.19 c Number of processors 2 0.31/0.26 --- Begin Solver configuration --- 0.31/0.26 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.31/0.26 Learn all clauses as in MiniSAT 0.31/0.26 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.26 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.31/0.26 Expensive reason simplification 0.31/0.26 Glucose 2.1 dynamic restart strategy 0.31/0.26 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.31/0.26 timeout=2147483s 0.31/0.26 DB Simplification allowed=false 0.31/0.26 Listener: none 0.31/0.26 --- End Solver configuration --- 0.31/0.27 c Pseudo Boolean Optimization by upper bound 0.31/0.27 c --- Begin Solver configuration --- 0.31/0.27 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.31/0.27 c Learn all clauses as in MiniSAT 0.31/0.27 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.27 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.31/0.27 c Expensive reason simplification 0.31/0.27 c Glucose 2.1 dynamic restart strategy 0.31/0.27 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.31/0.27 c timeout=2147483s 0.31/0.27 c DB Simplification allowed=false 0.31/0.27 c Listener: none 0.31/0.27 c --- End Solver configuration --- 0.31/0.27 c solving HOME/instance-4440594-1721827516.opb 0.31/0.27 c reading problem ... 0.31/0.27 c using VERIPB proof format 0.31/0.28 c objective function found 0.82/0.59 c ... done. Wall clock time 0.299s. 0.82/0.59 c declared #vars 8928 0.82/0.59 c #constraints 622 0.82/0.59 c constraints type 0.82/0.59 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 278 0.82/0.59 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66 0.82/0.59 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 278 0.82/0.59 c 622 constraints processed. 0.82/0.61 c objective function length is 32 literals 2.10/1.27 c SATISFIABLE 2.10/1.27 c OPTIMIZING... 2.10/1.27 c Got one! Elapsed wall clock time (in seconds):0.994 2.10/1.27 o 31 2.52/1.50 c Got one! Elapsed wall clock time (in seconds):1.227 2.52/1.50 o 30 2.70/1.59 c Got one! Elapsed wall clock time (in seconds):1.324 2.70/1.59 o 29 2.90/1.69 c Got one! Elapsed wall clock time (in seconds):1.421 2.90/1.69 o 28 3.09/1.76 c Got one! Elapsed wall clock time (in seconds):1.492 3.09/1.76 o 27 4.45/2.45 c cleaning 3378 clauses out of 6769 with flag 14150/6769 6.38/3.64 c cleaning 4686 clauses out of 9388 with flag 45197/12766 7.50/4.54 c cleaning 5840 clauses out of 11703 with flag 91579/19767 9.08/5.91 c cleaning 6917 clauses out of 13864 with flag 155513/27768 10.98/7.68 c cleaning 7967 clauses out of 15946 with flag 236651/36767 11.22/7.86 c Got one! Elapsed wall clock time (in seconds):7.591 11.22/7.86 o 26 12.14/8.35 c cleaning 6746 clauses out of 13510 with flag 10152/42298 12.90/9.04 c cleaning 6375 clauses out of 12765 with flag 26599/48299 13.71/9.81 c cleaning 6676 clauses out of 13388 with flag 54698/55297 14.78/10.71 c cleaning 7336 clauses out of 14713 with flag 84463/63298 15.88/11.77 c cleaning 8172 clauses out of 16377 with flag 113702/72298 17.08/12.99 c cleaning 9094 clauses out of 18204 with flag 146741/82297 18.69/14.51 c cleaning 10045 clauses out of 20110 with flag 182929/93297 20.32/16.13 c cleaning 11016 clauses out of 22065 with flag 225434/105297 22.12/17.94 c cleaning 12013 clauses out of 24050 with flag 277367/118298 24.06/19.79 c cleaning 13006 clauses out of 26036 with flag 329110/132297 26.42/21.99 c cleaning 13997 clauses out of 28030 with flag 390149/147297 28.69/24.19 c cleaning 15001 clauses out of 30033 with flag 458044/163297 31.08/26.57 c cleaning 16000 clauses out of 32032 with flag 529139/180297 33.95/29.32 c cleaning 17010 clauses out of 34034 with flag 613337/198299 36.55/31.97 c cleaning 17999 clauses out of 36022 with flag 692748/217297 40.30/36.08 c cleaning 19000 clauses out of 38023 with flag 779407/237297 43.48/39.21 c cleaning 19995 clauses out of 40024 with flag 870228/258298 46.94/42.66 c cleaning 21005 clauses out of 42030 with flag 979249/280299 50.93/46.51 c cleaning 21999 clauses out of 44023 with flag 1077413/303297 55.01/50.52 c cleaning 23000 clauses out of 46024 with flag 1187225/327297 58.93/54.36 c cleaning 23998 clauses out of 48024 with flag 1286557/352297 63.20/58.59 c cleaning 25006 clauses out of 50028 with flag 1384568/378299 67.77/62.90 c cleaning 25997 clauses out of 52021 with flag 1483892/405298 73.38/69.20 c cleaning 27003 clauses out of 54023 with flag 1588870/433297 78.41/74.12 c cleaning 27998 clauses out of 56021 with flag 1692692/462298 83.71/79.34 c cleaning 29001 clauses out of 58022 with flag 1800223/492297 89.51/84.84 c cleaning 29990 clauses out of 60021 with flag 1916960/523297 94.96/90.16 c cleaning 30993 clauses out of 62031 with flag 2039796/555297 101.34/96.63 c cleaning 32001 clauses out of 64039 with flag 2162884/588298 107.48/102.75 c cleaning 33006 clauses out of 66037 with flag 2294985/622297 113.26/108.43 c cleaning 33998 clauses out of 68031 with flag 2443847/657297 119.94/114.81 c cleaning 35004 clauses out of 70035 with flag 2609929/693299 126.75/121.55 c cleaning 36002 clauses out of 72029 with flag 2780369/730297 135.19/130.03 c cleaning 36999 clauses out of 74028 with flag 2928633/768298 142.46/137.39 c cleaning 37995 clauses out of 76028 with flag 3085655/807297 150.26/145.12 c cleaning 39002 clauses out of 78034 with flag 3237732/847298 157.98/152.88 c cleaning 39998 clauses out of 80031 with flag 3399053/888297 168.23/162.71 c cleaning 41000 clauses out of 82034 with flag 3570046/930298 178.44/172.64 c cleaning 42006 clauses out of 84033 with flag 3749133/973297 188.36/182.42 c cleaning 43002 clauses out of 86027 with flag 3927194/1017297 198.90/192.83 c cleaning 43987 clauses out of 88025 with flag 4119965/1062297 208.67/202.40 c cleaning 45010 clauses out of 90039 with flag 4308729/1108298 219.25/212.94 c cleaning 46000 clauses out of 92029 with flag 4496369/1155298 231.31/225.39 c cleaning 47004 clauses out of 94028 with flag 4703575/1203297 246.50/240.11 c cleaning 48000 clauses out of 96027 with flag 4959704/1252300 260.26/253.81 c cleaning 49000 clauses out of 98026 with flag 5208857/1302299 272.82/265.90 c cleaning 49993 clauses out of 100024 with flag 5436167/1353297 286.27/278.36 c cleaning 51000 clauses out of 102033 with flag 5675880/1405299 300.22/292.02 c cleaning 52000 clauses out of 104032 with flag 5930282/1458298 313.43/305.08 c cleaning 52997 clauses out of 106031 with flag 6189794/1512297 327.28/318.67 c cleaning 53999 clauses out of 108034 with flag 6438962/1567297 340.86/331.75 c cleaning 55005 clauses out of 110036 with flag 6705287/1623298 355.95/346.87 c cleaning 55996 clauses out of 112030 with flag 6985321/1680297 372.63/363.28 c cleaning 57000 clauses out of 114034 with flag 7338865/1738297 389.54/380.72 c cleaning 58000 clauses out of 116036 with flag 7676914/1797299 410.02/400.78 c cleaning 59003 clauses out of 118034 with flag 8041463/1857297 427.53/419.32 c cleaning 59998 clauses out of 120032 with flag 8385551/1918298 445.76/437.24 c cleaning 60998 clauses out of 122033 with flag 8743175/1980297 461.57/452.89 c cleaning 62005 clauses out of 124035 with flag 9107839/2043297 478.35/469.18 c cleaning 62998 clauses out of 126030 with flag 9443968/2107297 495.59/486.61 c cleaning 64004 clauses out of 128034 with flag 9783993/2172299 515.05/505.79 c cleaning 65003 clauses out of 130028 with flag 10143112/2238297 535.20/525.58 c cleaning 65999 clauses out of 132025 with flag 10565898/2305297 554.58/544.62 c cleaning 67003 clauses out of 134029 with flag 10964824/2373300 577.88/567.02 c cleaning 67993 clauses out of 136025 with flag 11383282/2442299 597.54/586.25 c cleaning 69001 clauses out of 138031 with flag 11793147/2512298 614.91/603.56 c cleaning 70000 clauses out of 140029 with flag 12173919/2583297 635.89/624.05 c cleaning 70997 clauses out of 142029 with flag 12598398/2655297 658.44/646.99 c cleaning 72003 clauses out of 144033 with flag 13036201/2728298 677.86/666.10 c cleaning 72998 clauses out of 146031 with flag 13424372/2802299 697.90/685.80 c cleaning 74000 clauses out of 148033 with flag 13796026/2877299 720.82/709.40 c cleaning 75004 clauses out of 150033 with flag 14167267/2953299 742.18/731.09 c cleaning 76005 clauses out of 152027 with flag 14554438/3030297 766.04/754.44 c cleaning 76999 clauses out of 154023 with flag 14909488/3108298 790.87/778.85 c cleaning 78002 clauses out of 156025 with flag 15283752/3187299 817.50/804.93 c cleaning 78994 clauses out of 158021 with flag 15797665/3267297 844.15/831.03 c cleaning 79997 clauses out of 160028 with flag 16299543/3348298 872.34/860.03 c cleaning 80998 clauses out of 162031 with flag 16777484/3430298 899.10/886.41 c cleaning 82001 clauses out of 164033 with flag 17277711/3513298 925.44/912.49 c cleaning 82994 clauses out of 166031 with flag 17769541/3597297 951.02/937.00 c cleaning 84007 clauses out of 168037 with flag 18212916/3682297 983.30/969.35 c cleaning 84999 clauses out of 170030 with flag 18711999/3768297 1013.85/999.76 c cleaning 85996 clauses out of 172031 with flag 19228094/3855297 1044.60/1029.97 c cleaning 86995 clauses out of 174035 with flag 19760715/3943297 1077.08/1062.28 c cleaning 87999 clauses out of 176040 with flag 20310996/4032297 1105.33/1090.43 c cleaning 89004 clauses out of 178041 with flag 20801330/4122297 1134.59/1119.32 c cleaning 89994 clauses out of 180037 with flag 21306733/4213297 1168.74/1154.34 c cleaning 91006 clauses out of 182045 with flag 21847858/4305299 1199.19/1189.54 c cleaning 91996 clauses out of 184039 with flag 22388510/4398299 1233.68/1224.31 c cleaning 93004 clauses out of 186041 with flag 22925782/4492297 1267.83/1258.61 c cleaning 94002 clauses out of 188038 with flag 23462927/4587298 1309.17/1299.93 c cleaning 94995 clauses out of 190036 with flag 24048633/4683298 1346.62/1338.30 c cleaning 96010 clauses out of 192040 with flag 24652612/4780297 1381.81/1373.94 c cleaning 97006 clauses out of 194031 with flag 25282360/4878298 1418.50/1410.15 c cleaning 97991 clauses out of 196024 with flag 25904751/4977297 1459.53/1450.94 c cleaning 99004 clauses out of 198036 with flag 26489179/5077300 1505.37/1495.76 c cleaning 99999 clauses out of 200031 with flag 27107719/5178299 1550.54/1540.68 c cleaning 100999 clauses out of 202031 with flag 27717589/5280298 1590.86/1580.51 c cleaning 102001 clauses out of 204032 with flag 28308395/5383298 1628.86/1618.58 c cleaning 102993 clauses out of 206031 with flag 28881487/5487298 1670.43/1660.24 c cleaning 104009 clauses out of 208037 with flag 29511377/5592297 1713.22/1702.71 c cleaning 104998 clauses out of 210029 with flag 30120723/5698298 1755.46/1744.78 c cleaning 106004 clauses out of 212034 with flag 30748283/5805301 1800.47/1790.37 c cleaning 106993 clauses out of 214029 with flag 31397321/5913300 1845.29/1834.72 c cleaning 107998 clauses out of 216034 with flag 32048382/6022298 1886.53/1876.01 c cleaning 109002 clauses out of 218036 with flag 32717222/6132298 1933.27/1922.93 c cleaning 109998 clauses out of 220037 with flag 33354931/6243301 1974.39/1963.96 c cleaning 111008 clauses out of 222036 with flag 33934053/6355298 2021.05/2010.47 c cleaning 112000 clauses out of 224027 with flag 34574331/6468297 2071.29/2060.67 c cleaning 113000 clauses out of 226028 with flag 35155409/6582298 2118.52/2107.79 c cleaning 113988 clauses out of 228027 with flag 35759142/6697297 2164.92/2153.75 c cleaning 115008 clauses out of 230039 with flag 36340961/6813297 2212.60/2200.97 c cleaning 115995 clauses out of 232031 with flag 36958298/6930297 2263.53/2251.26 c cleaning 117004 clauses out of 234036 with flag 37593709/7048297 2313.34/2300.62 c cleaning 117994 clauses out of 236033 with flag 38266524/7167298 2366.94/2352.50 c cleaning 119009 clauses out of 238039 with flag 38932128/7287298 2421.08/2406.06 c cleaning 120003 clauses out of 240030 with flag 39571863/7408298 2472.43/2457.56 c cleaning 120999 clauses out of 242026 with flag 40225559/7530297 2526.54/2512.03 c cleaning 122002 clauses out of 244030 with flag 40894633/7653300 2579.90/2566.38 c cleaning 122996 clauses out of 246026 with flag 41626533/7777298 2639.35/2626.10 c cleaning 123992 clauses out of 248030 with flag 42340051/7902298 2693.50/2680.38 c cleaning 125003 clauses out of 250038 with flag 43028345/8028298 2744.65/2730.89 c cleaning 126006 clauses out of 252036 with flag 43692638/8155299 2797.75/2784.63 c cleaning 127004 clauses out of 254028 with flag 44260721/8283297 2849.18/2835.55 c cleaning 127993 clauses out of 256025 with flag 45011879/8412298 2900.96/2886.87 c cleaning 129004 clauses out of 258031 with flag 45693629/8542297 2954.30/2939.64 c cleaning 129999 clauses out of 260029 with flag 46407084/8673299 3010.65/2995.20 c cleaning 130993 clauses out of 262028 with flag 47159114/8805297 3071.97/3056.16 c cleaning 132007 clauses out of 264036 with flag 47939195/8938298 3131.50/3115.03 c cleaning 133001 clauses out of 266029 with flag 48725476/9072298 3186.88/3177.43 c cleaning 134003 clauses out of 268027 with flag 49523486/9207297 3240.80/3231.11 c cleaning 134991 clauses out of 270025 with flag 50308524/9343298 3305.10/3295.69 c cleaning 136004 clauses out of 272034 with flag 51127288/9480298 3371.75/3361.95 c cleaning 136998 clauses out of 274030 with flag 51928650/9618298 3436.94/3425.72 c cleaning 138004 clauses out of 276032 with flag 52714696/9757298 3501.21/3489.29 c cleaning 138996 clauses out of 278027 with flag 53513456/9897297 3570.01/3557.61 c cleaning 140003 clauses out of 280033 with flag 54372275/10038299 3600.01/3587.73 c starts : 38 3600.01/3587.77 c conflicts : 10118947 3600.01/3587.77 c decisions : 11098111 3600.01/3587.77 c propagations : 486609089 3600.01/3587.77 c inspects : 16676940260 3600.01/3587.77 c shortcuts : 0 3600.01/3587.77 c learnt literals : 0 3600.01/3587.77 c learnt binary clauses : 0 3600.01/3587.77 c learnt ternary clauses : 0 3600.01/3587.77 c learnt constraints : 10118947 3600.01/3587.77 c ignored constraints : 0 3600.01/3587.77 c root simplifications : 0 3600.01/3587.77 c removed literals (reason simplification) : 4995901 3600.01/3587.77 c reason swapping (by a shorter reason) : 0 3600.01/3587.77 c Calls to reduceDB : 142 3600.01/3587.77 c Number of update (reduction) of LBD : 1548838 3600.01/3587.77 c Imported unit clauses : 0 3600.01/3587.77 c No decision after first conflict : false 3600.01/3587.77 c number of reductions to clauses (during analyze) : 0 3600.01/3587.77 c number of learned constraints concerned by reduction : 0 3600.01/3587.77 c number of learning phase by resolution : 0 3600.01/3587.77 c number of learning phase by cutting planes : 0 3600.01/3587.77 c number of rounding to 1 operations : 0 3600.01/3587.77 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3587.77 c number of reductions of the coefficients by power 2 : 0 3600.01/3587.77 c number of right shift for reduction by power 2 : 0 3600.01/3587.77 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3587.77 c number of ending skipping : 0 3600.01/3587.77 c number of internal skipping : 0 3600.01/3587.77 c number of derivation steps : 0 3600.01/3587.77 c number of skipped derivation steps : 0 3600.01/3587.79 c number of remaining unassigned : 0 3600.01/3587.79 c number of remaining assigned : 0 3600.01/3587.79 c number of falsified literals weakened from reason : 0 3600.01/3587.79 c number of falsified literals weakened from conflict : 0 3600.01/3587.79 c time for arithmetic operations : 0 3600.01/3587.79 c minimum degree of deleted constraints : null 3600.01/3587.79 c maximum degree of deleted constraints : null 3600.01/3587.79 c number of deleted constraints : 0 3600.01/3587.79 c speed (assignments/second) : 135653.17176058138 3600.01/3587.79 c non guided choices : 127776 3600.40/3587.95 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 220678 3600.40/3587.95 s SATISFIABLE 3600.40/3587.95 c Found 6 solution(s) 3600.40/3587.96 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 3600.59/3588.01 c objective function=26 3600.59/3588.01 c Total wall clock time (in seconds): 3587.747
OK 26
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (37423 MiB free)
memory of node 1: 64473 MiB (14830 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440594-1721827516/watcher-4440594-1721827516 -o /tmp/evaluation-result-4440594-1721827516/solver-4440594-1721827516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721820325-166384 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440594-1721827516 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440594-1721827516.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=171320, runsolver pid=171317
[startup+0.100368 s]*
/proc/loadavg: 4.60 4.53 4.52 7/333 171338
/proc/meminfo: memFree=53469036/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=18993908 memory=58332 CPUtime=0.11 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 6379 0 0 0 8 3 0 0 20 0 18 0 18741040 19449761792 14583 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4748477 14583 5861 1 0 550786 0
[pid=171320/tid=171322] ppid=171317 vsize=18993908 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 5339 0 0 0 5 2 0 0 20 0 18 0 18741041 19449761792 14583 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=18993908 memory=237146210664 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18741047 19449761792 14583 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=18993908 memory=1862328 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18741047 19449761792 14583 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 58332 KiB
[startup+0.215287 s]*
/proc/loadavg: 4.60 4.53 4.52 5/333 171338
/proc/meminfo: memFree=53455940/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=18993908 memory=67680 CPUtime=0.31 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 7173 0 0 0 27 4 0 0 20 0 18 0 18741040 19449761792 16920 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4748477 16920 5883 1 0 551480 0
[pid=171320/tid=171322] ppid=171317 vsize=18993908 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) S 171317 171320 166372 0 -1 1077936192 5772 0 0 0 16 3 0 0 20 0 18 0 18741041 19449761792 16920 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=18993908 memory=1699107 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18741047 19449761792 16920 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=18993908 memory=1858192 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18741047 19449761792 16920 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67680 KiB
[startup+0.32056 s]*
/proc/loadavg: 4.60 4.53 4.52 8/333 171338
/proc/meminfo: memFree=53448704/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=18993908 memory=71480 CPUtime=0.49 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 7420 0 0 0 45 4 0 0 20 0 18 0 18741040 19449761792 17870 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4748477 17870 6043 1 0 551638 0
[pid=171320/tid=171322] ppid=171317 vsize=18993908 memory=-8672920693402018492 CPUtime=0.29 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 5925 0 0 0 26 3 0 0 20 0 18 0 18741041 19449761792 17870 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18741047 19449761792 17870 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18741047 19449761792 17870 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 71480 KiB
[startup+0.703964 s]
/proc/loadavg: 4.60 4.53 4.52 5/333 171338
/proc/meminfo: memFree=53400936/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=19060472 memory=122936 CPUtime=1.13 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 9465 0 0 0 106 7 0 0 20 0 19 0 18741040 19517923328 30734 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4765118 30734 6164 1 0 553248 0
[pid=171320/tid=171322] ppid=171317 vsize=19060472 memory=5724 CPUtime=0.57 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 1077936192 6088 0 0 0 52 5 0 0 20 0 19 0 18741041 19517923328 30734 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19060472 memory=12368 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18741047 19517923328 30734 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19060472 memory=5009 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18741047 19517923328 30734 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 122936 KiB
[startup+1.5074 s]
/proc/loadavg: 4.60 4.53 4.52 6/334 171339
/proc/meminfo: memFree=53340744/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=179840 CPUtime=2.7 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 14525 0 0 0 261 9 0 0 20 0 20 0 18741040 19586084864 44960 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 44960 6188 1 0 554577 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=5009 CPUtime=1.25 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 7300 0 0 0 119 6 0 0 20 0 20 0 18741041 19586084864 44960 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 44960 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=12368 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 44960 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 44960 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 179840 KiB
[startup+3.10602 s]
/proc/loadavg: 4.64 4.54 4.52 6/335 171342
/proc/meminfo: memFree=53010528/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=413092 CPUtime=5.72 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 21134 0 0 0 556 16 0 0 20 0 20 0 18741040 19586084864 103273 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 103273 6188 1 0 825685 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=12368 CPUtime=2.74 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 8320 0 0 0 263 11 0 0 20 0 20 0 18741041 19586084864 103273 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 103273 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=11616 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 103273 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 103273 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 413092 KiB
[startup+6.30044 s]
/proc/loadavg: 4.64 4.54 4.52 5/335 171342
/proc/meminfo: memFree=51969164/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=1440088 CPUtime=9.59 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 22432 0 0 0 921 38 0 0 20 0 20 0 18741040 19586084864 360022 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 360022 6219 1 0 1101426 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=0 CPUtime=5.72 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 8753 0 0 0 542 30 0 0 20 0 20 0 18741041 19586084864 360022 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=12368 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 360022 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=956500 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 360022 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=1690645 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 360022 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 9.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1440088 KiB
[startup+12.7004 s]
/proc/loadavg: 4.58 4.53 4.52 6/335 171342
/proc/meminfo: memFree=50894936/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=2384592 CPUtime=16.89 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 24459 0 0 0 1625 64 0 0 20 0 20 0 18741040 19586084864 596148 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 596148 6219 1 0 1246517 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=2384592 CPUtime=11.95 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 9450 0 0 0 1141 54 0 0 20 0 20 0 18741041 19586084864 596148 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=2065104 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 596148 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=2065104 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 596148 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 596148 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 16.89 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2384592 KiB
[startup+25.5005 s]
/proc/loadavg: 4.60 4.54 4.52 5/335 171345
/proc/meminfo: memFree=49403780/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=3122620 CPUtime=30.07 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 31477 0 0 0 2912 95 0 0 20 0 20 0 18741040 19586084864 780655 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 780655 6219 1 0 1246527 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=2065104 CPUtime=24.43 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 11528 0 0 0 2361 82 0 0 20 0 20 0 18741041 19586084864 780655 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=3114428 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 780655 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=12368 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 780655 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 780655 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 30.07 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3122620 KiB
[startup+51.1149 s]
/proc/loadavg: 4.47 4.51 4.51 5/340 171353
/proc/meminfo: memFree=48294692/131655788 swapFree=131062208/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=3247740 CPUtime=55.63 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 36153 0 0 0 5432 131 0 0 20 0 20 0 18741040 19586084864 811935 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 811935 6219 1 0 1246527 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=-8672920693402018492 CPUtime=48.93 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 14555 0 0 0 4779 114 0 0 20 0 20 0 18741041 19586084864 811935 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=3188348 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 811935 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=2390736 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 811935 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
################
# More data... #
################
Current children cumulated memory: 13899784 KiB
[startup+3342.3 s]
/proc/loadavg: 3.65 4.25 4.38 4/296 172947
/proc/meminfo: memFree=49947832/131655788 swapFree=131061172/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=13901000 CPUtime=3351.82 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 13352509 0 0 0 331739 3443 0 0 20 0 20 0 18741040 19586084864 3475250 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 3475250 6219 1 0 3490491 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=59632 CPUtime=3194.72 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 12226267 0 0 0 316361 3111 0 0 20 0 20 0 18741041 19586084864 3475250 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6038 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=11616 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 3475250 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=59760 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 2361 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 3475250 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=13900540 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 3475250 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 3351.82 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 13901000 KiB
[startup+3402.3 s]
/proc/loadavg: 3.29 4.03 4.29 4/296 172959
/proc/meminfo: memFree=49235456/131655788 swapFree=131061172/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=13902016 CPUtime=3412.07 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 13410996 0 0 0 337717 3490 0 0 20 0 20 0 18741040 19586084864 3475504 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 3475504 6219 1 0 3490491 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=59632 CPUtime=3252.6 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) D 171317 171320 166372 0 -1 4194368 12228211 0 0 0 322109 3151 0 0 20 0 20 0 18741041 19586084864 3475504 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6058 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=13900540 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 3475504 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=11616 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 2424 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 3475504 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=11616 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 3475504 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 3412.07 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 13902016 KiB
[startup+3462.3 s]
/proc/loadavg: 3.27 3.89 4.23 5/296 172969
/proc/meminfo: memFree=46188436/131655788 swapFree=131061172/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=16290920 CPUtime=3474.14 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 14087382 0 0 0 343762 3652 0 0 20 0 20 0 18741040 19586084864 4072730 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 4072730 6219 1 0 4087997 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=59632 CPUtime=3310.84 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 12818316 0 0 0 327783 3301 0 0 20 0 20 0 18741041 19586084864 4072730 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6123 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=13900540 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 4072730 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=11616 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 2425 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 4072730 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=12368 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 4072730 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 3474.14 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16290920 KiB
[startup+3522.3 s]
/proc/loadavg: 3.26 3.77 4.16 4/296 172980
/proc/meminfo: memFree=45548800/131655788 swapFree=131061172/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=16290932 CPUtime=3534.75 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 14089406 0 0 0 349784 3691 0 0 20 0 20 0 18741040 19586084864 4072733 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 4072733 6219 1 0 4087998 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=59632 CPUtime=3369.15 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 12819096 0 0 0 333577 3338 0 0 20 0 20 0 18741041 19586084864 4072733 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6146 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=16290920 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 4072733 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=5724 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 2425 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 4072733 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=16290932 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 4072733 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 3534.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16290932 KiB
[startup+3582.3 s]
/proc/loadavg: 3.19 3.66 4.10 4/294 172990
/proc/meminfo: memFree=44813740/131655788 swapFree=131061172/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=16290956 CPUtime=3595.01 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 14089628 0 0 0 355768 3733 0 0 20 0 20 0 18741040 19586084864 4072739 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 4072739 6219 1 0 4087998 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=59632 CPUtime=3427.29 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 12819285 0 0 0 339352 3377 0 0 20 0 20 0 18741041 19586084864 4072739 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6199 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=16290932 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 4072739 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=-8672920693402018492 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 2425 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 4072739 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=11616 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 4072739 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 3595.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16290956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3587.7 s]
/proc/loadavg: 3.17 3.65 4.09 4/294 172992
/proc/meminfo: memFree=44760980/131655788 swapFree=131061172/131071996
[pid=171320] ppid=171317 vsize=19127036 memory=16290976 CPUtime=3600.01 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 14185001 0 0 0 356257 3744 0 0 20 0 20 0 18741040 19586084864 4072744 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4781759 4072744 6219 1 0 4087998 0
[pid=171320/tid=171322] ppid=171317 vsize=19127036 memory=59632 CPUtime=3431.89 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 12874581 0 0 0 339805 3384 0 0 20 0 20 0 18741041 19586084864 4072744 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6257 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19127036 memory=16290932 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 4072744 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19127036 memory=16290956 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 2425 0 0 0 0 0 0 0 20 0 20 0 18741047 19586084864 4072744 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171339] ppid=171317 vsize=19127036 memory=-8672920693402018492 CPUtime=0 cores=4,6
/proc/171320/task/171339/stat : 171339 (Timer-0) S 171317 171320 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18741102 19586084864 4072744 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16290976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3588.67 s]
# the end of solver process 171320 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3563.19 s, system=38.033 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3588 s]*
/proc/loadavg: 3.40 3.69 4.10 6/295 172995
/proc/meminfo: memFree=44750000/131655788 swapFree=131061172/131071996
[pid=171320] ppid=171317 vsize=19326728 memory=16291700 CPUtime=3600.59 cores=4,6
/proc/171320/stat : 171320 (java) S 171317 171320 166372 0 -1 1077936128 14187020 0 0 0 356314 3745 0 0 20 0 21 0 18741040 19790569472 4072925 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
/proc/171320/statm: 4831682 4072925 6218 1 0 4088953 0
[pid=171320/tid=171322] ppid=171317 vsize=19326728 memory=-9032357641591759548 CPUtime=3432.18 cores=4,6
/proc/171320/task/171322/stat : 171322 (java) R 171317 171320 166372 0 -1 4194368 12874689 0 0 0 339834 3384 0 0 20 0 21 0 18741041 19790569472 4072925 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6257 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171331] ppid=171317 vsize=19326728 memory=-7592926751343403895 CPUtime=0 cores=4,6
/proc/171320/task/171331/stat : 171331 (Finalizer) S 171317 171320 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18741047 19790569472 4072925 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=171338] ppid=171317 vsize=19326728 memory=2216 CPUtime=0 cores=4,6
/proc/171320/task/171338/stat : 171338 (Common-Cleaner) S 171317 171320 166372 0 -1 1077936192 2425 0 0 0 0 0 0 0 20 0 21 0 18741047 19790569472 4072925 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
[pid=171320/tid=172994] ppid=171317 vsize=19326728 memory=1600 CPUtime=0.14 cores=4,6
/proc/171320/task/172994/stat : 172994 (Thread-0) R 171317 171320 166372 0 -1 1077936192 340 0 0 0 14 0 0 0 20 0 21 0 19099812 19790569472 4072925 134679101440 94101813370880 94101813374576 140730703552832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94101813382392 94101813383184 94101823369216 140730703557551 140730703557733 140730703557733 140730703564744 0
Current children cumulated CPU time: 3600.59 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 16291700 KiB
[startup+3588.4 s]
/proc/loadavg: 3.40 3.69 4.10 4/276 172995
/proc/meminfo: memFree=54810384/131655788 swapFree=131061172/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3588.6 s]
/proc/loadavg: 3.40 3.69 4.10 4/276 172995
/proc/meminfo: memFree=54810384/131655788 swapFree=131061172/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3588.67
CPU time (s): 3601.22
CPU user time (s): 3563.19
CPU system time (s): 38.033
CPU usage (%): 100.35
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 16291700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.19
system time used= 38.033
maximum resident set size= 16293068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14187108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41417208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127120
involuntary context switches= 10382
# summary of solver processes directly reported to runsolver:
# pid: 171320
# total CPU time (s): 3601.22
# total CPU user time (s): 3563.19
# total CPU system time (s): 38.033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7602 second user time and 38.5033 second system time
The end
Begin job on nodeC007 at 2024-07-24 15:25:16 IDJOB=4440594 IDBENCH=158623 IDSOLVER=3079 FILE ID=nodeC007/4440594-1721827516 RUNJOBID= nodeC007-1721820325-166384 SLURM_JOB_ID= 7891455 Free space on /tmp= 723760 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440594-1721827516/watcher-4440594-1721827516 -o /tmp/evaluation-result-4440594-1721827516/solver-4440594-1721827516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721820325-166384 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440594-1721827516 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440594-1721827516.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 77f517750a725db7576a06de15f60331 RANDOM SEED=390095140 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3664.677 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3660.313 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.215 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.279 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1570.446 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3664.136 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1228.359 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.230 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 53507736 kB MemAvailable: 98085616 kB Buffers: 259256 kB Cached: 44950888 kB SwapCached: 160 kB Active: 1721184 kB Inactive: 75454520 kB Active(anon): 1836 kB Inactive(anon): 32009192 kB Active(file): 1719348 kB Inactive(file): 43445328 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131062208 kB Dirty: 265048 kB Writeback: 0 kB AnonPages: 31961000 kB Mapped: 108844 kB Shmem: 45352 kB KReclaimable: 475112 kB Slab: 597244 kB SReclaimable: 475112 kB SUnreclaim: 122132 kB KernelStack: 5108 kB PageTables: 72756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 33971120 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14336 kB HardwareCorrupted: 0 kB AnonHugePages: 30914560 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 437064 kB DirectMap2M: 60284928 kB DirectMap1G: 75497472 kB Free space on /tmp at the end= 723748 MiB End job on nodeC007 at 2024-07-24 16:25:05