0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4440311-1721769481.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  objective function found
2.55/1.67	c ... done. Wall clock time 1.539s.
2.55/1.67	c declared #vars     10000
2.55/1.67	c #constraints  656900
2.55/1.67	c constraints type 
2.55/1.67	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.55/1.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.55/1.67	c 656900 constraints processed.
2.55/1.68	c objective function length is 10000 literals
4.47/2.61	c SATISFIABLE
4.47/2.61	c OPTIMIZING...
4.47/2.61	c Got one! Elapsed wall clock time (in seconds):2.482
4.47/2.61	o 1442
5.07/2.91	c Got one! Elapsed wall clock time (in seconds):2.776
5.07/2.91	o 785
8.30/4.67	c cleaning 2621 clauses out of 5283 with flag 12805/5283
10.00/6.15	c cleaning 4323 clauses out of 8663 with flag 28714/11284
12.11/8.24	c cleaning 5660 clauses out of 11339 with flag 47569/18283
14.75/10.73	c cleaning 6829 clauses out of 13681 with flag 70284/26285
17.44/13.45	c cleaning 7911 clauses out of 15850 with flag 93799/35283
20.34/16.35	c cleaning 8956 clauses out of 17939 with flag 122431/45283
23.54/19.57	c cleaning 9982 clauses out of 19983 with flag 154596/56283
26.83/22.84	c cleaning 10996 clauses out of 22001 with flag 191516/68283
30.32/26.37	c cleaning 11990 clauses out of 24005 with flag 228586/81283
34.02/30.07	c cleaning 13001 clauses out of 26015 with flag 270092/95283
38.01/34.09	c cleaning 14004 clauses out of 28016 with flag 312015/110285
42.58/38.75	c cleaning 14998 clauses out of 30010 with flag 356778/126283
47.53/43.70	c cleaning 16001 clauses out of 32012 with flag 410913/143283
52.59/48.69	c cleaning 16990 clauses out of 34011 with flag 466748/161283
58.08/54.17	c cleaning 17998 clauses out of 36021 with flag 529650/180283
63.88/59.96	c cleaning 19007 clauses out of 38024 with flag 595309/200284
69.87/66.04	c cleaning 20007 clauses out of 40017 with flag 665987/221284
76.15/72.39	c cleaning 20993 clauses out of 42009 with flag 737101/243283
82.44/78.65	c cleaning 22000 clauses out of 44016 with flag 809260/266283
89.22/85.40	c cleaning 22996 clauses out of 46016 with flag 886420/290283
96.62/92.88	c cleaning 24001 clauses out of 48020 with flag 965909/315283
104.35/100.77	c cleaning 24997 clauses out of 50020 with flag 1045292/341284
112.32/108.73	c cleaning 26010 clauses out of 52022 with flag 1132465/368283
120.89/117.31	c cleaning 27003 clauses out of 54012 with flag 1228013/396283
129.79/126.29	c cleaning 28003 clauses out of 56009 with flag 1322737/425283
138.53/135.28	c cleaning 28982 clauses out of 58006 with flag 1427972/455283
147.01/143.73	c cleaning 30006 clauses out of 60024 with flag 1529841/486283
156.08/152.85	c cleaning 30996 clauses out of 62018 with flag 1641492/518283
165.94/162.83	c cleaning 31998 clauses out of 64022 with flag 1750888/551283
175.71/172.69	c cleaning 33010 clauses out of 66025 with flag 1865888/585284
186.57/183.55	c cleaning 33991 clauses out of 68016 with flag 1980809/620285
197.26/194.49	c cleaning 34997 clauses out of 70023 with flag 2098995/656283
208.33/205.56	c cleaning 35998 clauses out of 72026 with flag 2219098/693283
219.90/217.16	c cleaning 37002 clauses out of 74030 with flag 2349758/731285
231.31/228.69	c cleaning 38006 clauses out of 76026 with flag 2487891/770283
243.50/240.94	c cleaning 39004 clauses out of 78020 with flag 2630588/810283
255.40/253.01	c cleaning 39989 clauses out of 80016 with flag 2769893/851283
255.50/253.14	c Got one! Elapsed wall clock time (in seconds):253.014
255.50/253.14	o 783
257.57/255.11	c cleaning 22754 clauses out of 45507 with flag 15684/856763
259.84/257.42	c cleaning 14376 clauses out of 28755 with flag 35342/862765
262.33/259.99	c cleaning 10680 clauses out of 21377 with flag 59339/869763
265.34/262.94	c cleaning 9344 clauses out of 18698 with flag 87137/877764
269.29/266.90	c cleaning 9169 clauses out of 18353 with flag 122393/886763
273.25/270.97	c cleaning 9584 clauses out of 19184 with flag 159437/896763
277.51/275.25	c cleaning 10292 clauses out of 20600 with flag 194902/907763
282.17/279.92	c cleaning 11147 clauses out of 22308 with flag 234801/919763
287.15/285.10	c cleaning 12080 clauses out of 24165 with flag 276566/932767
292.70/290.62	c cleaning 13040 clauses out of 26084 with flag 320609/946766
298.79/296.79	c cleaning 14006 clauses out of 28041 with flag 371258/961763
304.67/302.64	c cleaning 15007 clauses out of 30035 with flag 420730/977763
311.00/309.00	c cleaning 16002 clauses out of 32029 with flag 478532/994764
317.89/315.97	c cleaning 17009 clauses out of 34026 with flag 543376/1012763
325.32/323.41	c cleaning 17992 clauses out of 36017 with flag 604920/1031763
333.13/331.38	c cleaning 19006 clauses out of 38026 with flag 677125/1051764
341.16/339.49	c cleaning 20005 clauses out of 40019 with flag 744373/1072763
350.36/348.76	c cleaning 21007 clauses out of 42014 with flag 820325/1094763
359.67/358.13	c cleaning 21997 clauses out of 44007 with flag 896393/1117763
369.66/368.20	c cleaning 22999 clauses out of 46010 with flag 983345/1141763
379.50/378.35	c cleaning 24007 clauses out of 48014 with flag 1072714/1166766
390.01/388.99	c cleaning 24999 clauses out of 50004 with flag 1160571/1192763
400.65/399.63	c cleaning 25987 clauses out of 52005 with flag 1258833/1219763
412.04/411.44	c cleaning 27009 clauses out of 54018 with flag 1353255/1247763
423.63/423.18	c cleaning 27998 clauses out of 56010 with flag 1455761/1276764
435.27/435.17	c cleaning 29005 clauses out of 58012 with flag 1560132/1306764
447.51/447.46	c cleaning 29994 clauses out of 60007 with flag 1666937/1337764
459.89/459.98	c cleaning 30999 clauses out of 62012 with flag 1778508/1369763
473.26/473.55	c cleaning 31977 clauses out of 64013 with flag 1900067/1402763
487.19/487.49	c cleaning 33010 clauses out of 66036 with flag 2034203/1436763
501.68/502.06	c cleaning 34004 clauses out of 68027 with flag 2157635/1471764
516.92/517.33	c cleaning 35004 clauses out of 70022 with flag 2288742/1507763
532.74/533.22	c cleaning 36003 clauses out of 72018 with flag 2426047/1544763
548.40/549.02	c cleaning 37002 clauses out of 74016 with flag 2563089/1582764
565.23/566.22	c cleaning 38003 clauses out of 76014 with flag 2698716/1621764
582.15/583.13	c cleaning 38988 clauses out of 78010 with flag 2839389/1661763
599.73/600.82	c cleaning 39999 clauses out of 80023 with flag 2996497/1702764
617.38/618.56	c cleaning 41002 clauses out of 82024 with flag 3161853/1744764
635.53/636.76	c cleaning 42006 clauses out of 84022 with flag 3327139/1787764
654.06/655.62	c cleaning 43009 clauses out of 86017 with flag 3490872/1831765
673.92/675.67	c cleaning 43993 clauses out of 88006 with flag 3660936/1876763
694.11/696.16	c cleaning 44995 clauses out of 90013 with flag 3844990/1922763
713.52/715.73	c cleaning 46003 clauses out of 92018 with flag 4010726/1969763
733.82/736.28	c cleaning 47006 clauses out of 94015 with flag 4180161/2017763
755.61/758.11	c cleaning 48006 clauses out of 96012 with flag 4355388/2066766
777.69/780.25	c cleaning 48999 clauses out of 98004 with flag 4529674/2116764
800.02/802.61	c cleaning 50002 clauses out of 100004 with flag 4705006/2167763
822.94/825.56	c cleaning 51001 clauses out of 102002 with flag 4896460/2219763
847.18/849.94	c cleaning 51992 clauses out of 104001 with flag 5081952/2272763
872.58/875.44	c cleaning 53005 clauses out of 106010 with flag 5270775/2326764
896.20/899.11	c cleaning 54000 clauses out of 108005 with flag 5469412/2381764
921.47/924.36	c cleaning 55000 clauses out of 110004 with flag 5680075/2437763
947.69/950.63	c cleaning 56002 clauses out of 112004 with flag 5886314/2494763
973.00/975.94	c cleaning 57001 clauses out of 114002 with flag 6083945/2552763
1000.30/1003.22	c cleaning 57997 clauses out of 116001 with flag 6291271/2611763
1027.74/1030.97	c cleaning 59002 clauses out of 118005 with flag 6520393/2671764
1054.09/1057.33	c cleaning 59983 clauses out of 120002 with flag 6743131/2732763
1080.90/1084.19	c cleaning 60996 clauses out of 122020 with flag 6968316/2794764
1111.29/1114.68	c cleaning 62012 clauses out of 124023 with flag 7210086/2857763
1139.18/1142.52	c cleaning 62996 clauses out of 126011 with flag 7445884/2921763
1167.58/1170.84	c cleaning 63991 clauses out of 128016 with flag 7681663/2986764
1197.24/1200.54	c cleaning 65000 clauses out of 130025 with flag 7924271/3052764
1228.85/1232.10	c cleaning 65994 clauses out of 132024 with flag 8183501/3119763
1261.23/1264.61	c cleaning 67011 clauses out of 134030 with flag 8440852/3187763
1292.59/1296.07	c cleaning 68010 clauses out of 136019 with flag 8720183/3256763
1324.55/1328.01	c cleaning 68999 clauses out of 138009 with flag 8997055/3326763
1358.82/1362.19	c cleaning 70005 clauses out of 140012 with flag 9281413/3397765
1393.53/1397.18	c cleaning 70997 clauses out of 142005 with flag 9548982/3469763
1426.87/1430.62	c cleaning 72004 clauses out of 144008 with flag 9809592/3542763
1461.05/1464.81	c cleaning 73003 clauses out of 146005 with flag 10104078/3616764
1496.63/1500.23	c cleaning 74001 clauses out of 148001 with flag 10407073/3691763
1533.68/1537.37	c cleaning 74995 clauses out of 150000 with flag 10718599/3767763
1569.12/1574.66	c cleaning 75995 clauses out of 152005 with flag 11015967/3844763
1604.63/1610.25	c cleaning 76992 clauses out of 154010 with flag 11322152/3922763
1642.69/1648.01	c cleaning 77997 clauses out of 156018 with flag 11636014/4001763
1681.79/1687.26	c cleaning 78995 clauses out of 158021 with flag 11951552/4081763
1722.39/1727.76	c cleaning 80003 clauses out of 160026 with flag 12250881/4162763
1761.92/1767.47	c cleaning 81005 clauses out of 162023 with flag 12566859/4244763
1801.66/1807.16	c cleaning 81999 clauses out of 164018 with flag 12897346/4327763
1840.31/1845.80	c cleaning 82980 clauses out of 166019 with flag 13223772/4411763
1883.73/1889.35	c cleaning 84015 clauses out of 168039 with flag 13580446/4496763
1927.06/1932.44	c cleaning 84998 clauses out of 170024 with flag 13941592/4582763
1967.66/1973.30	c cleaning 86004 clauses out of 172027 with flag 14274680/4669764
2008.99/2015.00	c cleaning 86985 clauses out of 174023 with flag 14610515/4757764
2052.96/2059.17	c cleaning 88020 clauses out of 176039 with flag 14961873/4846765
2097.80/2103.37	c cleaning 89004 clauses out of 178017 with flag 15313069/4936763
2142.88/2148.60	c cleaning 89994 clauses out of 180013 with flag 15699057/5027763
2188.00/2193.82	c cleaning 91002 clauses out of 182019 with flag 16092556/5119763
2243.99/2249.82	c cleaning 92004 clauses out of 184017 with flag 16501402/5212763
2291.48/2297.26	c cleaning 92993 clauses out of 186013 with flag 16884610/5306763
2343.90/2349.56	c cleaning 94004 clauses out of 188020 with flag 17288696/5401763
2394.95/2400.88	c cleaning 95007 clauses out of 190018 with flag 17670635/5497765
2442.81/2449.17	c cleaning 95987 clauses out of 192010 with flag 18051175/5594764
2488.31/2495.17	c cleaning 96991 clauses out of 194022 with flag 18443250/5692763
2533.91/2540.76	c cleaning 98002 clauses out of 196032 with flag 18827946/5791764
2582.41/2589.31	c cleaning 99000 clauses out of 198029 with flag 19224051/5891763
2633.75/2640.77	c cleaning 100009 clauses out of 200030 with flag 19623931/5992764
2687.90/2694.78	c cleaning 101003 clauses out of 202020 with flag 20066554/6094763
2736.53/2743.51	c cleaning 101983 clauses out of 204017 with flag 20493428/6197763
2784.19/2791.34	c cleaning 103013 clauses out of 206035 with flag 20936895/6301764
2838.09/2845.62	c cleaning 104000 clauses out of 208021 with flag 21413741/6406763
2891.33/2898.64	c cleaning 104999 clauses out of 210021 with flag 21862529/6512763
2943.97/2951.50	c cleaning 105988 clauses out of 212022 with flag 22342390/6619763
2999.53/3007.48	c cleaning 107011 clauses out of 214036 with flag 22796874/6727765
3054.38/3062.63	c cleaning 108009 clauses out of 216023 with flag 23213678/6836763
3108.56/3116.73	c cleaning 109003 clauses out of 218014 with flag 23659397/6946763
3163.91/3172.54	c cleaning 109987 clauses out of 220011 with flag 24137119/7057763
3218.06/3226.52	c cleaning 110990 clauses out of 222024 with flag 24597740/7169763
3282.86/3290.72	c cleaning 112005 clauses out of 224035 with flag 25128166/7282764
3339.84/3356.29	c cleaning 113014 clauses out of 226029 with flag 25613673/7396763
3393.62/3410.72	c cleaning 113999 clauses out of 228015 with flag 26077953/7511763
3453.25/3470.63	c cleaning 114991 clauses out of 230016 with flag 26553486/7627763
3512.99/3530.73	c cleaning 116006 clauses out of 232025 with flag 27014904/7744763
3569.21/3587.20	c cleaning 117008 clauses out of 234019 with flag 27452559/7862763
3600.05/3618.71	c starts		: 26
3600.05/3618.72	c conflicts		: 7927409
3600.05/3618.72	c decisions		: 21889106
3600.05/3618.72	c propagations		: 2062454906
3600.05/3618.72	c inspects		: 2891535292
3600.05/3618.72	c shortcuts		: 0
3600.05/3618.72	c learnt literals	: 0
3600.05/3618.72	c learnt binary clauses	: 0
3600.05/3618.72	c learnt ternary clauses	: 0
3600.05/3618.72	c learnt constraints	: 7927409
3600.05/3618.72	c ignored constraints	: 0
3600.05/3618.72	c root simplifications	: 0
3600.05/3618.72	c removed literals (reason simplification)	: 790014111
3600.05/3618.72	c reason swapping (by a shorter reason)	: 0
3600.05/3618.72	c Calls to reduceDB	: 151
3600.05/3618.72	c Number of update (reduction) of LBD	: 2913851
3600.05/3618.72	c Imported unit clauses	: 0
3600.05/3618.72	c No decision after first conflict	: false
3600.05/3618.72	c number of reductions to clauses (during analyze)	: 0
3600.05/3618.72	c number of learned constraints concerned by reduction	: 0
3600.05/3618.72	c number of learning phase by resolution	: 0
3600.05/3618.72	c number of learning phase by cutting planes	: 0
3600.05/3618.72	c number of rounding to 1 operations	: 0
3600.05/3618.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3618.72	c number of reductions of the coefficients by power 2 	: 0
3600.05/3618.72	c number of right shift for reduction by power 2 	: 0
3600.05/3618.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3618.72	c number of ending skipping 	: 0
3600.05/3618.72	c number of internal skipping 	: 0
3600.05/3618.72	c number of derivation steps 	: 0
3600.05/3618.72	c number of skipped derivation steps 	: 0
3600.05/3618.72	c number of remaining unassigned 	: 0
3600.05/3618.72	c number of remaining assigned 	: 0
3600.05/3618.72	c number of falsified literals weakened from reason	: 0
3600.05/3618.72	c number of falsified literals weakened from conflict	: 0
3600.05/3618.72	c time for arithmetic operations	: 0
3600.05/3618.72	c minimum degree of deleted constraints	: null
3600.05/3618.72	c maximum degree of deleted constraints	: null
3600.05/3618.72	c number of deleted constraints	: 0
3600.05/3618.72	c speed (assignments/second)	: 570208.7952586344
3600.05/3618.72	c non guided choices	: 1
3600.05/3618.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 181657
3600.05/3618.80	s SATISFIABLE
3600.05/3618.80	c Found 3 solution(s)
3600.05/3618.80	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 x9567 -x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 
3600.28/3618.82	c objective function=783
3600.28/3618.82	c Total wall clock time (in seconds): 3618.693

OK	783

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: 63968 MiB (47681 MiB free)
  memory of node 1: 64473 MiB (48908 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440311-1721769481/watcher-4440311-1721769481 -o /tmp/evaluation-result-4440311-1721769481/solver-4440311-1721769481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721765587-123127 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440311-1721769481 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440311-1721769481.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=125726, runsolver pid=125723

[startup+0.100968 s]*
/proc/loadavg: 4.15 4.25 4.25 5/330 125744
/proc/meminfo: memFree=98821944/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=18993908 memory=68152 CPUtime=0.13 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 7254 0 0 0 11 2 0 0 20 0 18 0 13476412 19449761792 17038 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4748477 17038 5911 1 0 549325 0
[pid=125726/tid=125728] ppid=125723 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 5814 0 0 0 6 2 0 0 20 0 18 0 13476412 19449761792 17038 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13476415 19449761792 17038 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=18993908 memory=14698495601564019 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13476415 19449761792 17038 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68152 KiB

[startup+0.205945 s]*
/proc/loadavg: 4.15 4.25 4.25 7/330 125744
/proc/meminfo: memFree=98805684/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=18993908 memory=82716 CPUtime=0.33 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 8379 0 0 0 30 3 0 0 20 0 18 0 13476412 19449761792 20679 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4748477 20679 6106 1 0 550080 0
[pid=125726/tid=125728] ppid=125723 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 6004 0 0 0 16 2 0 0 20 0 18 0 13476412 19449761792 20679 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=18994212 memory=809283 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13476415 19450073088 20679 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=18994212 memory=14417020624045798 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13476415 19450073088 20679 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 82716 KiB

[startup+0.305945 s]*
/proc/loadavg: 4.15 4.25 4.25 7/330 125744
/proc/meminfo: memFree=98769732/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=18993908 memory=115064 CPUtime=0.52 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 9720 0 0 0 48 4 0 0 20 0 18 0 13476412 19449761792 28766 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4748477 28766 6106 1 0 550949 0
[pid=125726/tid=125728] ppid=125723 vsize=18993908 memory=-8960865179434525372 CPUtime=0.27 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 6020 0 0 0 24 3 0 0 20 0 18 0 13476412 19449761792 28766 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13476415 19449761792 28766 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13476415 19449761792 28766 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 115064 KiB

[startup+0.701436 s]
/proc/loadavg: 4.15 4.25 4.25 7/331 125745
/proc/meminfo: memFree=98704992/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19060472 memory=197704 CPUtime=1.28 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 16217 0 0 0 122 6 0 0 20 0 19 0 13476412 19517923328 49426 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4765118 49426 6106 1 0 555239 0
[pid=125726/tid=125728] ppid=125723 vsize=19060472 memory=5684 CPUtime=0.62 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) S 125723 125726 123117 0 -1 1077936192 6050 0 0 0 58 4 0 0 20 0 19 0 13476412 19517923328 49426 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19060472 memory=13136 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13476415 19517923328 49426 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19060472 memory=4973 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13476415 19517923328 49426 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 197704 KiB

[startup+1.50027 s]
/proc/loadavg: 4.15 4.25 4.25 7/331 125745
/proc/meminfo: memFree=98634732/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19060472 memory=407080 CPUtime=2.42 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 17517 0 0 0 232 10 0 0 20 0 19 0 13476412 19517923328 101770 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4765118 101770 6106 1 0 979595 0
[pid=125726/tid=125728] ppid=125723 vsize=19060472 memory=4973 CPUtime=1.29 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 6138 0 0 0 122 7 0 0 20 0 19 0 13476412 19517923328 101770 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13476415 19517923328 101770 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19060472 memory=13136 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13476415 19517923328 101770 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 407080 KiB

[startup+3.10696 s]
/proc/loadavg: 4.30 4.28 4.26 6/332 125746
/proc/meminfo: memFree=97990944/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=774944 CPUtime=5.48 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 21480 0 0 0 528 20 0 0 20 0 20 0 13476412 19586084864 193736 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 193736 6153 1 0 1603863 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=13136 CPUtime=2.77 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 6465 0 0 0 263 14 0 0 20 0 20 0 13476412 19586084864 193736 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 193736 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=423020 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 193736 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=6657 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 193736 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 774944 KiB

[startup+6.30021 s]
/proc/loadavg: 4.30 4.28 4.26 5/332 125748
/proc/meminfo: memFree=97746884/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=881972 CPUtime=10.21 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 21749 0 0 0 997 24 0 0 20 0 20 0 13476412 19586084864 220493 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 220493 6153 1 0 1603928 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=0 CPUtime=5.82 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 6539 0 0 0 565 17 0 0 20 0 20 0 13476412 19586084864 220493 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 220493 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=13136 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 220493 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=415452 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 220493 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 10.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 881972 KiB

[startup+12.7003 s]
/proc/loadavg: 4.28 4.28 4.26 5/332 125748
/proc/meminfo: memFree=97133216/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=1383264 CPUtime=16.75 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 28181 0 0 0 1638 37 0 0 20 0 20 0 13476412 19586084864 345816 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 345816 6169 1 0 1603929 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=13136 CPUtime=12.16 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 7583 0 0 0 1188 28 0 0 20 0 20 0 13476412 19586084864 345816 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=415452 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 345816 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=1282660 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 345816 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=820000 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 345816 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 16.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1383264 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.26 4.25 2/332 125751
/proc/meminfo: memFree=96136208/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=1946548 CPUtime=29.53 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 30837 0 0 0 2899 54 0 0 20 0 20 0 13476412 19586084864 486637 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 486637 6185 1 0 1603933 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=1483680 CPUtime=24.87 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 8674 0 0 0 2443 44 0 0 20 0 20 0 13476412 19586084864 486637 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 486637 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=13136 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 486637 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=-8960865179434525372 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 486637 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 29.53 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1946548 KiB

[startup+51.1059 s]
/proc/loadavg: 4.21 4.26 4.25 5/332 125754
/proc/meminfo: memFree=93938324/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=3335156 CPUtime=55.09 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 38015 0 0 0 5417 92 0 0 20 0 20 0 13476412 19586084864 833789 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 833789 6185 1 0 1603933 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=0 CPUtime=50.28 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 11514 0 0 0 4946 82 0 0 20 0 20 0 13476412 19586084864 833789 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=1988 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 833789 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=2528244 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 833789 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=1950680 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 833789 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0

################
# More data... #
################

/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 181304 0 0 0 322405 1138 0 0 20 0 20 0 13476412 19586084864 2544239 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1242 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544239 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=2132 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 4021 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544239 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=26044 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 2544239 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 3274.55 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 10176956 KiB

[startup+3342.3 s]
/proc/loadavg: 4.53 4.31 4.23 5/338 128437
/proc/meminfo: memFree=90008712/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=10177008 CPUtime=3326.07 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 377943 0 0 0 331303 1304 0 0 20 0 20 0 13476412 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 2544252 6185 1 0 2559670 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=13136 CPUtime=3285.94 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 184353 0 0 0 327439 1155 0 0 20 0 20 0 13476412 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2090 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=-8960865179434525372 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=2216 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 4053 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 3326.07 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 10177008 KiB

[startup+3402.3 s]
/proc/loadavg: 4.66 4.39 4.26 5/336 128449
/proc/meminfo: memFree=88631348/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=10177008 CPUtime=3385.29 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 385292 0 0 0 337204 1325 0 0 20 0 20 0 13476412 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 2544252 6185 1 0 2559670 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=-8960865179434525372 CPUtime=3344.5 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 188461 0 0 0 333276 1174 0 0 20 0 20 0 13476412 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2146 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=10177008 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=108 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 4111 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=10177008 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 2544252 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 3385.29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 10177008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.62 4.44 4.29 5/336 128461
/proc/meminfo: memFree=87608728/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=10177028 CPUtime=3444.98 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 389211 0 0 0 343154 1344 0 0 20 0 20 0 13476412 19586084864 2544257 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 2544257 6185 1 0 2559670 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=-8960865179434525372 CPUtime=3403.11 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 191425 0 0 0 339118 1193 0 0 20 0 20 0 13476412 19586084864 2544257 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2203 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=10177008 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544257 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=42868 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 4168 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544257 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=10177028 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 2544257 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 3444.98 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 10177028 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.37 4.27 5/333 128472
/proc/meminfo: memFree=86706304/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=10177036 CPUtime=3504.62 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 395710 0 0 0 349096 1366 0 0 20 0 20 0 13476412 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 2544259 6185 1 0 2559670 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=10177028 CPUtime=3462.04 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 196253 0 0 0 344991 1213 0 0 20 0 20 0 13476412 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2254 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=10177036 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 4271 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 3504.62 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 10177036 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.33 4.26 5/333 128482
/proc/meminfo: memFree=85702520/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=10177036 CPUtime=3564.33 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 399724 0 0 0 355048 1385 0 0 20 0 20 0 13476412 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 2544259 6185 1 0 2559670 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=10177036 CPUtime=3521.05 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 198611 0 0 0 350874 1231 0 0 20 0 20 0 13476412 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2297 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=5528 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 4373 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=-8960865179434525372 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 2544259 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 3564.33 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 10177036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.7 s]
/proc/loadavg: 4.11 4.29 4.25 5/333 128489
/proc/meminfo: memFree=85184484/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19127036 memory=10177048 CPUtime=3600.05 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 404699 0 0 0 358609 1396 0 0 20 0 20 0 13476412 19586084864 2544262 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4781759 2544262 6185 1 0 2559670 0
[pid=125726/tid=125728] ppid=125723 vsize=19127036 memory=2132 CPUtime=3556.52 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 4194368 201268 0 0 0 354411 1241 0 0 20 0 20 0 13476412 19586084864 2544262 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2364 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544262 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19127036 memory=-8960865179434525372 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 4461 0 0 0 0 0 0 0 20 0 20 0 13476415 19586084864 2544262 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125746] ppid=125723 vsize=19127036 memory=13572 CPUtime=0 cores=0,2
/proc/125726/task/125746/stat : 125746 (Timer-0) S 125723 125726 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13476582 19586084864 2544262 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 10177048 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3618.91 s]
# the end of solver process 125726 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3586.35 s, system=14.0068 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3618.82 s]
/proc/loadavg: 4.11 4.29 4.25 5/333 128489
/proc/meminfo: memFree=85184484/131524600 swapFree=131071216/131071996
[pid=125726] ppid=125723 vsize=19326728 memory=10177684 CPUtime=3600.28 cores=0,2
/proc/125726/stat : 125726 (java) S 125723 125726 123117 0 -1 1077936128 408143 0 0 0 358632 1396 0 0 20 0 21 0 13476412 19790569472 2544421 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
/proc/125726/statm: 4831682 2544421 6184 1 0 2560599 0
[pid=125726/tid=125728] ppid=125723 vsize=19326728 memory=809054 CPUtime=3556.63 cores=0,2
/proc/125726/task/125728/stat : 125728 (java) R 125723 125726 123117 0 -1 1077936192 201362 0 0 0 354422 1241 0 0 20 0 21 0 13476412 19790569472 2544421 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2364 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125737] ppid=125723 vsize=19326728 memory=809801 CPUtime=0 cores=0,2
/proc/125726/task/125737/stat : 125737 (Finalizer) S 125723 125726 123117 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13476415 19790569472 2544421 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
[pid=125726/tid=125744] ppid=125723 vsize=19326728 memory=839418 CPUtime=0 cores=0,2
/proc/125726/task/125744/stat : 125744 (Common-Cleaner) S 125723 125726 123117 0 -1 1077936192 4461 0 0 0 0 0 0 0 20 0 21 0 13476415 19790569472 2544421 134679101440 94608911671296 94608911674992 140724714153952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94608911682808 94608911683600 94608939053056 140724714156975 140724714157157 140724714157157 140724714164168 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 10177684 KiB

[startup+3618.9 s]*
/proc/loadavg: 4.10 4.29 4.25 4/315 128492
/proc/meminfo: memFree=95343008/131524600 swapFree=131071216/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): 3618.91
CPU time (s): 3600.36
CPU user time (s): 3586.35
CPU system time (s): 14.0068
CPU usage (%): 99.4875
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 10177684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.35
system time used= 14.0068
maximum resident set size= 10178752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21695640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112519
involuntary context switches= 33108


# summary of solver processes directly reported to runsolver:
#   pid: 125726
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3586.35
#   total CPU system time (s): 14.0068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76817 second user time and 17.7407 second system time

The end

Begin job on nodeC018 at 2024-07-23 23:18:01
IDJOB=4440311
IDBENCH=147553
IDSOLVER=3079
FILE ID=nodeC018/4440311-1721769481
RUNJOBID= nodeC018-1721765587-123127
SLURM_JOB_ID= 7770660
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.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-4440311-1721769481/watcher-4440311-1721769481 -o /tmp/evaluation-result-4440311-1721769481/solver-4440311-1721769481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721765587-123127 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440311-1721769481 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440311-1721769481.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 0cfe35c6a899c796e17247c8eb2f096e
RANDOM SEED=32988386

nodeC018.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	: 0xb00002a
cpu MHz		: 3670.817
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.43
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	: 0xb00002a
cpu MHz		: 3685.344
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.33
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	: 0xb00002a
cpu MHz		: 3631.251
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.43
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	: 0xb00002a
cpu MHz		: 3600.062
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.33
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	: 0xb00002a
cpu MHz		: 3666.558
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.43
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	: 0xb00002a
cpu MHz		: 3685.358
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.33
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	: 0xb00002a
cpu MHz		: 3606.902
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.43
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	: 0xb00002a
cpu MHz		: 3599.868
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        98908244 kB
MemAvailable:   120815124 kB
Buffers:          185476 kB
Cached:         22456644 kB
SwapCached:          244 kB
Active:          1161160 kB
Inactive:       30682056 kB
Active(anon):       1536 kB
Inactive(anon):  9237188 kB
Active(file):    1159624 kB
Inactive(file): 21444868 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            137032 kB
Writeback:             4 kB
AnonPages:       9200904 kB
Mapped:           123524 kB
Shmem:             37588 kB
KReclaimable:     284420 kB
Slab:             398244 kB
SReclaimable:     284420 kB
SUnreclaim:       113824 kB
KernelStack:        4960 kB
PageTables:        28492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10803216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21088 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8919040 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:      318164 kB
DirectMap2M:    34058240 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC018 at 2024-07-24 00:18:20