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 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- 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@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f 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 No 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-4432248-1721092348.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
2.33/1.59	c ... done. Wall clock time 1.455s.
2.33/1.59	c declared #vars     10000
2.33/1.59	c #constraints  656900
2.33/1.59	c constraints type 
2.33/1.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.33/1.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.33/1.59	c 656900 constraints processed.
2.33/1.59	c objective function length is 10000 literals
2.88/1.80	c SATISFIABLE
2.88/1.80	c OPTIMIZING...
2.88/1.81	c Got one! Elapsed wall clock time (in seconds):1.672
2.88/1.81	o 1118
3.50/2.13	c Got one! Elapsed wall clock time (in seconds):2.003
3.50/2.13	o 1111
3.50/2.19	c Got one! Elapsed wall clock time (in seconds):2.068
3.50/2.19	o 740
5.42/3.60	c cleaning 2825 clauses out of 5663 with flag 14264/5663
7.11/5.17	c cleaning 4415 clauses out of 8839 with flag 30952/11664
9.29/7.16	c cleaning 5703 clauses out of 11423 with flag 50677/18663
11.58/9.36	c cleaning 6851 clauses out of 13720 with flag 75316/26663
14.08/11.80	c cleaning 7927 clauses out of 15871 with flag 103109/35665
16.99/14.63	c cleaning 8954 clauses out of 17942 with flag 133434/45663
19.89/17.53	c cleaning 9985 clauses out of 19989 with flag 167483/56664
22.78/20.44	c cleaning 10988 clauses out of 22003 with flag 204557/68663
26.63/24.11	c cleaning 12003 clauses out of 24016 with flag 246685/81664
30.32/27.83	c cleaning 13003 clauses out of 26016 with flag 292289/95667
34.59/31.97	c cleaning 13997 clauses out of 28009 with flag 346341/110663
38.79/36.16	c cleaning 15003 clauses out of 30013 with flag 400371/126664
43.97/41.20	c cleaning 15986 clauses out of 32010 with flag 455709/143664
48.69/45.82	c cleaning 16996 clauses out of 34023 with flag 515257/161663
53.90/50.98	c cleaning 18000 clauses out of 36027 with flag 577629/180663
59.84/56.76	c cleaning 18994 clauses out of 38030 with flag 645906/200666
66.02/62.97	c cleaning 20010 clauses out of 40033 with flag 718244/221663
72.38/69.12	c cleaning 20998 clauses out of 42023 with flag 795183/243663
78.63/75.27	c cleaning 22000 clauses out of 44025 with flag 871682/266663
84.92/81.50	c cleaning 23005 clauses out of 46025 with flag 952436/290663
91.35/87.85	c cleaning 23993 clauses out of 48020 with flag 1043384/315663
99.10/95.42	c cleaning 25000 clauses out of 50029 with flag 1140150/341665
106.58/102.74	c cleaning 26005 clauses out of 52028 with flag 1241286/368664
114.73/110.71	c cleaning 27002 clauses out of 54022 with flag 1345926/396663
123.38/119.20	c cleaning 28003 clauses out of 56021 with flag 1449079/425664
132.64/128.34	c cleaning 28993 clauses out of 58017 with flag 1556029/455663
141.97/136.93	c cleaning 29998 clauses out of 60025 with flag 1672395/486664
150.55/145.48	c cleaning 31003 clauses out of 62027 with flag 1795566/518664
160.09/154.87	c cleaning 31995 clauses out of 64023 with flag 1924280/551663
169.91/164.51	c cleaning 33014 clauses out of 66031 with flag 2058817/585666
180.73/175.27	c cleaning 34001 clauses out of 68014 with flag 2197396/620663
191.67/186.07	c cleaning 35000 clauses out of 70013 with flag 2334620/656663
202.72/197.06	c cleaning 35993 clauses out of 72014 with flag 2470611/693664
213.86/208.17	c cleaning 36996 clauses out of 74020 with flag 2607188/731663
225.24/219.21	c cleaning 37992 clauses out of 76024 with flag 2748583/770663
236.50/230.45	c cleaning 39001 clauses out of 78035 with flag 2892613/810666
248.47/242.37	c cleaning 39992 clauses out of 80033 with flag 3043669/851665
261.33/254.41	c cleaning 41012 clauses out of 82039 with flag 3203338/893663
274.00/267.07	c cleaning 42001 clauses out of 84027 with flag 3371777/936663
287.26/280.28	c cleaning 42997 clauses out of 86026 with flag 3537047/980663
301.19/293.80	c cleaning 43996 clauses out of 88029 with flag 3704351/1025663
314.28/306.89	c cleaning 45001 clauses out of 90034 with flag 3880839/1071664
328.68/320.94	c cleaning 45990 clauses out of 92032 with flag 4053673/1118663
342.54/334.67	c cleaning 47005 clauses out of 94042 with flag 4230527/1166663
357.98/349.15	c cleaning 48000 clauses out of 96038 with flag 4426723/1215664
373.14/364.02	c cleaning 49006 clauses out of 98037 with flag 4622083/1265663
388.34/379.03	c cleaning 50004 clauses out of 100032 with flag 4813398/1316664
403.09/393.73	c cleaning 51004 clauses out of 102029 with flag 5019235/1368665
418.08/408.57	c cleaning 52001 clauses out of 104026 with flag 5222153/1421666
435.00/425.14	c cleaning 52995 clauses out of 106022 with flag 5424132/1475663
451.04/441.05	c cleaning 54004 clauses out of 108028 with flag 5635418/1530664
467.10/456.82	c cleaning 55004 clauses out of 110024 with flag 5844340/1586664
483.17/472.66	c cleaning 55992 clauses out of 112020 with flag 6055849/1643664
499.32/488.59	c cleaning 56988 clauses out of 114029 with flag 6269580/1701665
516.40/505.34	c cleaning 58004 clauses out of 116040 with flag 6490668/1760664
534.25/522.88	c cleaning 59002 clauses out of 118036 with flag 6724399/1820664
553.55/541.33	c cleaning 60006 clauses out of 120034 with flag 6966197/1881664
571.47/558.81	c cleaning 60996 clauses out of 122027 with flag 7195407/1943663
589.67/576.92	c cleaning 62007 clauses out of 124031 with flag 7442587/2006663
608.46/595.55	c cleaning 62991 clauses out of 126026 with flag 7686534/2070665
627.40/614.25	c cleaning 63994 clauses out of 128033 with flag 7935190/2135663
646.79/633.46	c cleaning 65000 clauses out of 130039 with flag 8190553/2201663
667.01/653.31	c cleaning 66007 clauses out of 132040 with flag 8457078/2268664
688.01/673.99	c cleaning 67008 clauses out of 134033 with flag 8719606/2336664
710.45/696.27	c cleaning 67996 clauses out of 136026 with flag 9000325/2405665
733.53/719.17	c cleaning 68992 clauses out of 138028 with flag 9289046/2475663
755.36/740.71	c cleaning 70003 clauses out of 140036 with flag 9565205/2546663
777.85/762.89	c cleaning 71005 clauses out of 142036 with flag 9854198/2618666
800.50/785.33	c cleaning 71999 clauses out of 144029 with flag 10142324/2691664
823.80/808.35	c cleaning 73000 clauses out of 146029 with flag 10451861/2765663
847.45/831.75	c cleaning 74003 clauses out of 148029 with flag 10774045/2840663
873.55/855.86	c cleaning 74995 clauses out of 150028 with flag 11094677/2916665
898.10/880.37	c cleaning 76002 clauses out of 152032 with flag 11413611/2993664
922.78/904.74	c cleaning 77002 clauses out of 154029 with flag 11751899/3071663
948.38/930.28	c cleaning 78003 clauses out of 156028 with flag 12077024/3150664
975.47/956.91	c cleaning 78997 clauses out of 158024 with flag 12405963/3230663
1002.25/983.21	c cleaning 79996 clauses out of 160027 with flag 12746014/3311663
1027.02/1007.93	c cleaning 80998 clauses out of 162031 with flag 13090872/3393663
1052.00/1032.65	c cleaning 82006 clauses out of 164034 with flag 13428229/3476664
1077.92/1058.52	c cleaning 83003 clauses out of 166029 with flag 13793300/3560665
1104.42/1084.88	c cleaning 84000 clauses out of 168024 with flag 14159561/3645663
1132.46/1112.69	c cleaning 84995 clauses out of 170025 with flag 14535155/3731664
1161.65/1141.48	c cleaning 86006 clauses out of 172030 with flag 14910437/3818664
1189.53/1168.87	c cleaning 86993 clauses out of 174023 with flag 15274953/3906663
1217.55/1196.84	c cleaning 87999 clauses out of 176031 with flag 15640911/3995664
1247.15/1226.14	c cleaning 88999 clauses out of 178032 with flag 16045209/4085664
1275.69/1254.44	c cleaning 89991 clauses out of 180032 with flag 16428694/4176663
1307.25/1284.79	c cleaning 91015 clauses out of 182041 with flag 16816165/4268663
1336.84/1314.25	c cleaning 91993 clauses out of 184026 with flag 17197794/4361663
1369.09/1346.14	c cleaning 93004 clauses out of 186033 with flag 17584456/4455663
1400.01/1376.77	c cleaning 94005 clauses out of 188029 with flag 17986782/4550663
1430.95/1407.08	c cleaning 95001 clauses out of 190024 with flag 18391900/4646663
1464.08/1439.87	c cleaning 95988 clauses out of 192023 with flag 18815236/4743663
1495.77/1470.95	c cleaning 97007 clauses out of 194037 with flag 19240427/4841665
1527.92/1502.90	c cleaning 98001 clauses out of 196028 with flag 19667741/4940663
1559.47/1534.07	c cleaning 98999 clauses out of 198028 with flag 20090651/5040664
1591.88/1566.21	c cleaning 99998 clauses out of 200028 with flag 20516557/5141663
1627.06/1601.20	c cleaning 101001 clauses out of 202030 with flag 20964611/5243663
1662.21/1636.05	c cleaning 101994 clauses out of 204029 with flag 21411416/5346663
1698.35/1671.61	c cleaning 103008 clauses out of 206038 with flag 21875267/5450666
1733.45/1706.43	c cleaning 104005 clauses out of 208027 with flag 22327290/5555663
1769.16/1741.65	c cleaning 105002 clauses out of 210022 with flag 22784074/5661663
1805.85/1777.55	c cleaning 105994 clauses out of 212021 with flag 23246056/5768664
1842.57/1812.72	c cleaning 107004 clauses out of 214027 with flag 23699242/5876664
1879.44/1848.97	c cleaning 108000 clauses out of 216023 with flag 24170299/5985664
1917.32/1886.47	c cleaning 109005 clauses out of 218023 with flag 24639842/6095664
1952.43/1921.35	c cleaning 109988 clauses out of 220018 with flag 25099752/6206664
1988.16/1956.44	c cleaning 111004 clauses out of 222030 with flag 25553738/6318664
2025.20/1993.15	c cleaning 111997 clauses out of 224025 with flag 26010090/6431663
2063.72/2030.97	c cleaning 112996 clauses out of 226029 with flag 26473459/6545664
2100.73/2067.66	c cleaning 113994 clauses out of 228032 with flag 26955441/6660663
2138.33/2104.69	c cleaning 115000 clauses out of 230040 with flag 27446827/6776665
2178.34/2143.86	c cleaning 115998 clauses out of 232038 with flag 27959849/6893663
2216.19/2181.66	c cleaning 116995 clauses out of 234041 with flag 28458289/7011664
2255.22/2220.04	c cleaning 118008 clauses out of 236045 with flag 28983784/7130663
2296.34/2260.64	c cleaning 118995 clauses out of 238037 with flag 29521558/7250663
2335.07/2299.15	c cleaning 120004 clauses out of 240043 with flag 30060711/7371664
2375.95/2339.44	c cleaning 120993 clauses out of 242038 with flag 30606577/7493663
2418.26/2379.66	c cleaning 122010 clauses out of 244046 with flag 31154136/7616664
2460.19/2421.30	c cleaning 123003 clauses out of 246035 with flag 31715729/7740663
2500.93/2461.66	c cleaning 124002 clauses out of 248032 with flag 32262708/7865663
2543.37/2503.61	c cleaning 125004 clauses out of 250030 with flag 32850679/7991663
2584.79/2544.79	c cleaning 125997 clauses out of 252026 with flag 33435718/8118663
2627.46/2587.15	c cleaning 127000 clauses out of 254031 with flag 33990872/8246665
2671.10/2630.19	c cleaning 127999 clauses out of 256029 with flag 34577385/8375663
2716.96/2675.59	c cleaning 129002 clauses out of 258031 with flag 35174476/8505664
2763.35/2721.69	c cleaning 130006 clauses out of 260028 with flag 35769242/8636663
2811.93/2769.90	c cleaning 130996 clauses out of 262022 with flag 36387686/8768663
2857.79/2815.43	c cleaning 132001 clauses out of 264026 with flag 36954151/8901663
2902.01/2859.13	c cleaning 133008 clauses out of 266025 with flag 37532772/9035663
2946.21/2902.61	c cleaning 133989 clauses out of 268018 with flag 38107648/9170664
2994.61/2947.51	c cleaning 134989 clauses out of 270028 with flag 38715906/9306663
3041.45/2993.66	c cleaning 135998 clauses out of 272040 with flag 39338545/9443664
3085.50/3037.48	c cleaning 137006 clauses out of 274041 with flag 39915493/9581663
3132.83/3084.27	c cleaning 138010 clauses out of 276035 with flag 40536019/9720663
3182.30/3133.08	c cleaning 138996 clauses out of 278025 with flag 41172031/9860663
3232.93/3183.01	c cleaning 139988 clauses out of 280029 with flag 41827594/10001663
3284.28/3233.48	c cleaning 141010 clauses out of 282043 with flag 42523880/10143665
3335.62/3284.30	c cleaning 142008 clauses out of 284031 with flag 43197489/10286663
3386.80/3334.96	c cleaning 142995 clauses out of 286023 with flag 43869102/10430663
3436.01/3383.62	c cleaning 143997 clauses out of 288028 with flag 44543616/10575663
3490.93/3435.73	c cleaning 145006 clauses out of 290032 with flag 45220041/10721664
3540.97/3485.30	c cleaning 145989 clauses out of 292026 with flag 45890886/10868664
3591.71/3534.93	c cleaning 146985 clauses out of 294036 with flag 46573387/11016663
3600.00/3543.22	c starts		: 9
3600.00/3543.22	c conflicts		: 11044478
3600.00/3543.22	c decisions		: 23398193
3600.00/3543.22	c propagations		: 1764121273
3600.00/3543.22	c inspects		: 5503109684
3600.00/3543.22	c shortcuts		: 0
3600.00/3543.22	c learnt literals	: 0
3600.00/3543.22	c learnt binary clauses	: 0
3600.00/3543.22	c learnt ternary clauses	: 0
3600.00/3543.22	c learnt constraints	: 11044478
3600.00/3543.22	c ignored constraints	: 0
3600.00/3543.22	c root simplifications	: 0
3600.00/3543.22	c removed literals (reason simplification)	: 0
3600.00/3543.22	c reason swapping (by a shorter reason)	: 0
3600.00/3543.22	c Calls to reduceDB	: 144
3600.00/3543.22	c Number of update (reduction) of LBD	: 2698614
3600.00/3543.22	c Imported unit clauses	: 0
3600.00/3543.24	c No decision after first conflict	: false
3600.00/3543.24	c number of reductions to clauses (during analyze)	: 0
3600.00/3543.24	c number of learned constraints concerned by reduction	: 0
3600.00/3543.24	c number of learning phase by resolution	: 0
3600.00/3543.24	c number of learning phase by cutting planes	: 0
3600.00/3543.24	c number of rounding to 1 operations	: 0
3600.00/3543.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3543.24	c number of reductions of the coefficients by power 2 	: 0
3600.00/3543.24	c number of right shift for reduction by power 2 	: 0
3600.00/3543.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3543.24	c number of ending skipping 	: 0
3600.00/3543.24	c number of internal skipping 	: 0
3600.00/3543.24	c number of derivation steps 	: 0
3600.00/3543.24	c number of skipped derivation steps 	: 0
3600.00/3543.24	c number of remaining unassigned 	: 0
3600.00/3543.24	c number of remaining assigned 	: 0
3600.00/3543.24	c number of falsified literals weakened from reason	: 0
3600.00/3543.24	c number of falsified literals weakened from conflict	: 0
3600.00/3543.24	c time for arithmetic operations	: 0
3600.00/3543.24	c minimum degree of deleted constraints	: null
3600.00/3543.24	c maximum degree of deleted constraints	: null
3600.00/3543.24	c number of deleted constraints	: 0
3600.00/3543.24	c speed (assignments/second)	: 498110.12757123914
3600.00/3543.24	c non guided choices	: 0
3600.19/3543.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 174866
3600.19/3543.32	s SATISFIABLE
3600.19/3543.32	c Found 3 solution(s)
3600.19/3543.32	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.19/3543.35	c objective function=740
3600.19/3543.35	c Total wall clock time (in seconds): 3543.22

OK	740

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: 63931 MiB (46998 MiB free)
  memory of node 1: 64510 MiB (38970 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432248-1721092348/watcher-4432248-1721092348 -o /tmp/evaluation-result-4432248-1721092348/solver-4432248-1721092348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826325 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432248-1721092348.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=829948, runsolver pid=829945
Current StackSize limit: 8192 KiB


[startup+0.100372 s]*
/proc/loadavg: 4.15 4.16 4.19 7/333 829966
/proc/meminfo: memFree=87990312/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=18975048 memory=63104 CPUtime=0.13 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 7191 0 0 0 11 2 0 0 20 0 18 0 161404548 19430449152 15776 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4743762 15776 5663 1 0 549324 0
[pid=829948/tid=829950] ppid=829945 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) S 829945 829948 826314 0 -1 1077936192 5730 0 0 0 7 1 0 0 20 0 18 0 161404548 19430449152 15776 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161404551 19430449152 15776 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161404551 19430449152 15776 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63104 KiB

[startup+0.205845 s]*
/proc/loadavg: 4.15 4.16 4.19 6/333 829966
/proc/meminfo: memFree=87974104/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=18975048 memory=79644 CPUtime=0.33 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 8561 0 0 0 30 3 0 0 20 0 18 0 161404548 19430449152 19911 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4743762 19911 5801 1 0 550295 0
[pid=829948/tid=829950] ppid=829945 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 5888 0 0 0 16 2 0 0 20 0 18 0 161404548 19430449152 19911 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=18975048 memory=17963 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161404551 19430449152 19977 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161404551 19430449152 19977 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79644 KiB

[startup+0.311056 s]*
/proc/loadavg: 4.15 4.16 4.19 7/333 829966
/proc/meminfo: memFree=87938008/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=18975048 memory=115692 CPUtime=0.52 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 9621 0 0 0 48 4 0 0 20 0 18 0 161404548 19430449152 28923 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4743762 28923 5801 1 0 550896 0
[pid=829948/tid=829950] ppid=829945 vsize=18975048 memory=-8816184825201664700 CPUtime=0.26 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 5907 0 0 0 24 2 0 0 20 0 18 0 161404548 19430449152 28923 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161404551 19430449152 28923 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161404551 19430449152 28923 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 115692 KiB

[startup+0.710057 s]
/proc/loadavg: 4.15 4.16 4.19 7/334 829967
/proc/meminfo: memFree=87879996/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19041612 memory=195724 CPUtime=1.29 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 16560 0 0 0 123 6 0 0 20 0 19 0 161404548 19498610688 48931 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4760403 48931 5801 1 0 555521 0
[pid=829948/tid=829950] ppid=829945 vsize=19041612 memory=5492 CPUtime=0.59 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 5933 0 0 0 56 3 0 0 20 0 19 0 161404548 19498610688 48931 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19041612 memory=12312 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161404551 19498610688 48931 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161404551 19498610688 48931 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 195724 KiB

[startup+1.50106 s]
/proc/loadavg: 4.15 4.16 4.19 5/334 829967
/proc/meminfo: memFree=87790736/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19041612 memory=440000 CPUtime=2.33 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 17840 0 0 0 222 11 0 0 20 0 19 0 161404548 19498610688 110000 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4760403 110000 5817 1 0 898088 0
[pid=829948/tid=829950] ppid=829945 vsize=19041612 memory=12312 CPUtime=1.27 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) S 829945 829948 826314 0 -1 1077936192 6028 0 0 0 120 7 0 0 20 0 19 0 161404548 19498610688 110000 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161404551 19498610688 110000 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161404551 19498610688 110000 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 440000 KiB

[startup+3.10574 s]
/proc/loadavg: 4.30 4.19 4.20 6/335 829968
/proc/meminfo: memFree=87540156/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=534380 CPUtime=4.9 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 19457 0 0 0 476 14 0 0 20 0 20 0 161404548 19566772224 133595 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 133595 5886 1 0 1535650 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=198340509722 CPUtime=2.74 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 6197 0 0 0 267 7 0 0 20 0 20 0 161404548 19566772224 133595 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 133595 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 133595 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=453632 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 133595 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 534380 KiB

[startup+6.30026 s]
/proc/loadavg: 4.30 4.19 4.20 5/335 829970
/proc/meminfo: memFree=87442824/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=617384 CPUtime=8.44 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 22475 0 0 0 827 17 0 0 20 0 20 0 161404548 19566772224 154346 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 154346 5886 1 0 1535721 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=0 CPUtime=5.92 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 6397 0 0 0 583 9 0 0 20 0 20 0 161404548 19566772224 154346 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=454584 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 154346 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=603048 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 154346 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=-8816184825201664700 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 154346 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 617384 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.19 4.20 5/335 829970
/proc/meminfo: memFree=87290880/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=775360 CPUtime=14.97 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 24142 0 0 0 1476 21 0 0 20 0 20 0 161404548 19566772224 193840 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 193840 5886 1 0 1535721 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=750784 CPUtime=12.3 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 7209 0 0 0 1217 13 0 0 20 0 20 0 161404548 19566772224 193840 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=722112 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 193840 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 193840 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 193840 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 14.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 775360 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.18 4.19 5/335 829973
/proc/meminfo: memFree=86471268/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=1140836 CPUtime=28.02 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 28931 0 0 0 2774 28 0 0 20 0 20 0 161404548 19566772224 285209 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 285209 5908 1 0 1535732 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=0 CPUtime=24.78 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 8187 0 0 0 2465 13 0 0 20 0 20 0 161404548 19566772224 285209 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=536428 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 285209 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=-8816184825201664700 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 285209 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=1140752 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 285209 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 28.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1140836 KiB

[startup+51.1058 s]
/proc/loadavg: 4.21 4.18 4.19 5/335 830044
/proc/meminfo: memFree=99767380/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=1716808 CPUtime=54.11 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 36318 0 0 0 5371 40 0 0 20 0 20 0 161404548 19566772224 429202 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 429202 5908 1 0 1535732 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=1716808 CPUtime=49.76 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 10192 0 0 0 4963 13 0 0 20 0 20 0 161404548 19566772224 429202 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 429202 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=25505 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 429202 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 429202 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0

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

[startup+3222.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/333 831949
/proc/meminfo: memFree=67369008/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=14783376 CPUtime=3272.75 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 307524 0 0 0 326886 389 0 0 20 0 20 0 161404548 19566772224 3695844 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 3695844 5923 1 0 4087555 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=5492 CPUtime=3149.18 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 74772 0 0 0 314855 63 0 0 20 0 20 0 161404548 19566772224 3695844 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=14783372 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3695844 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=14783376 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 1112 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3695844 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=-7666102548707304823 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 3695844 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 3272.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14783376 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/331 831960
/proc/meminfo: memFree=67364316/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=14783384 CPUtime=3333.74 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 309023 0 0 0 332983 391 0 0 20 0 20 0 161404548 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 3695846 5923 1 0 4087555 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=14783384 CPUtime=3207.05 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 75580 0 0 0 320642 63 0 0 20 0 20 0 161404548 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=14783384 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=14783384 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 1112 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14783384 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/330 831971
/proc/meminfo: memFree=67363732/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=14783384 CPUtime=3394.19 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 309638 0 0 0 339027 392 0 0 20 0 20 0 161404548 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 3695846 5923 1 0 4087555 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=14783384 CPUtime=3265.64 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 75632 0 0 0 326501 63 0 0 20 0 20 0 161404548 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=14783384 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=14783384 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 1112 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=-7666102548707304823 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 3394.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14783384 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/330 831981
/proc/meminfo: memFree=67363300/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=14783384 CPUtime=3454.85 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 310853 0 0 0 345091 394 0 0 20 0 20 0 161404548 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 3695846 5923 1 0 4087555 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=164 CPUtime=3323.95 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 75969 0 0 0 332331 64 0 0 20 0 20 0 161404548 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=14783384 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 1112 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=14783384 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 3695846 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 3454.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14783384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.27 4.21 6/330 831991
/proc/meminfo: memFree=67359704/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=14784424 CPUtime=3518.02 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 334675 0 0 0 351404 398 0 0 20 0 20 0 161404548 19566772224 3696106 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 3696106 5923 1 0 4087810 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=164 CPUtime=3382.05 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 81751 0 0 0 338141 64 0 0 20 0 20 0 161404548 19566772224 3696106 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=-7666102548707304823 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3696106 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=5104 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 1211 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3696106 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=14784416 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 3696106 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 3518.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14784424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.27 4.21 5/332 832006
/proc/meminfo: memFree=67352680/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=14784428 CPUtime=3578.6 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 335957 0 0 0 357461 399 0 0 20 0 20 0 161404548 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 3696107 5923 1 0 4087810 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=40972 CPUtime=3441.19 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 82319 0 0 0 344055 64 0 0 20 0 20 0 161404548 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=14784428 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 1211 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=14784428 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 3578.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14784428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3543.2 s]
/proc/loadavg: 4.26 4.26 4.21 5/332 832010
/proc/meminfo: memFree=67352400/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19108176 memory=14784428 CPUtime=3600 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 336668 0 0 0 359600 400 0 0 20 0 20 0 161404548 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4777044 3696107 5923 1 0 4087810 0
[pid=829948/tid=829950] ppid=829945 vsize=19108176 memory=14784428 CPUtime=3461.5 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 82603 0 0 0 346086 64 0 0 20 0 20 0 161404548 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19108176 memory=15976 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19108176 memory=14784428 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 1211 0 0 0 0 0 0 0 20 0 20 0 161404551 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829968] ppid=829945 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/829948/task/829968/stat : 829968 (Timer-0) S 829945 829948 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161404709 19566772224 3696107 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14784428 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.3 s, system=4.04751 s

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

[startup+3543.31 s]
/proc/loadavg: 4.26 4.26 4.21 5/332 832010
/proc/meminfo: memFree=67352400/131524600 swapFree=131071996/131071996
[pid=829948] ppid=829945 vsize=19307868 memory=14785120 CPUtime=3600.19 cores=4,6
/proc/829948/stat : 829948 (java) S 829945 829948 826314 0 -1 1077936128 338899 0 0 0 359619 400 0 0 20 0 21 0 161404548 19771256832 3696280 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
/proc/829948/statm: 4826967 3696280 5922 1 0 4088723 0
[pid=829948/tid=829950] ppid=829945 vsize=19307868 memory=14784428 CPUtime=3461.6 cores=4,6
/proc/829948/task/829950/stat : 829950 (java) R 829945 829948 826314 0 -1 4194368 82697 0 0 0 346096 64 0 0 20 0 21 0 161404548 19771256832 3696280 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829959] ppid=829945 vsize=19307868 memory=14784428 CPUtime=0 cores=4,6
/proc/829948/task/829959/stat : 829959 (Finalizer) S 829945 829948 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161404551 19771256832 3696280 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
[pid=829948/tid=829966] ppid=829945 vsize=19307868 memory=14784428 CPUtime=0 cores=4,6
/proc/829948/task/829966/stat : 829966 (Common-Cleaner) S 829945 829948 826314 0 -1 1077936192 1211 0 0 0 0 0 0 0 20 0 21 0 161404551 19771256832 3696280 134679101440 94759380332544 94759380336240 140736796365200 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94759380344056 94759380344848 94759398895616 140736796374023 140736796374113 140736796374113 140736796381128 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14785120 KiB

Child status: 143

Real time (s): 3543.4
CPU time (s): 3600.35
CPU user time (s): 3596.3
CPU system time (s): 4.04751
CPU usage (%): 101.607
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14785120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.3
system time used= 4.04751
maximum resident set size= 14786096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115399
involuntary context switches= 22394


# summary of solver processes directly reported to runsolver:
#   pid: 829948
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3596.3
#   total CPU system time (s): 4.04751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20606 second user time and 17.7145 second system time

The end

Begin job on nodeC033 at 2024-07-16 03:12:40
IDJOB=4432248
IDBENCH=147556
IDSOLVER=3058
FILE ID=nodeC033/4432248-1721092348
RUNJOBID= nodeC033-1721085950-826325
SLURM_JOB_ID= 7505580
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432248-1721092348/watcher-4432248-1721092348 -o /tmp/evaluation-result-4432248-1721092348/solver-4432248-1721092348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826325 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432248-1721092348.opb

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

MD5SUM BENCH= a599905096c946af5176c07959aa4b57
RANDOM SEED=1020647740

nodeC033.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		: 3600.218
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.50
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		: 3600.217
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	: 7006.25
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		: 3642.538
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.50
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		: 3687.856
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	: 7006.25
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		: 3644.935
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.50
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		: 3689.427
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	: 7006.25
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		: 3670.538
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.50
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.974
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        88032356 kB
MemAvailable:   90945028 kB
Buffers:          408588 kB
Cached:          3309936 kB
SwapCached:            0 kB
Active:           658548 kB
Inactive:       42097020 kB
Active(anon):       1576 kB
Inactive(anon): 39073176 kB
Active(file):     656972 kB
Inactive(file):  3023844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17728 kB
Writeback:            24 kB
AnonPages:      39036440 kB
Mapped:           124416 kB
Shmem:             37716 kB
KReclaimable:     143008 kB
Slab:             254760 kB
SReclaimable:     143008 kB
SUnreclaim:       111752 kB
KernelStack:        5060 kB
PageTables:        86272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   43956308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60896 kB
HardwareCorrupted:     0 kB
AnonHugePages:  38537216 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC033 at 2024-07-16 04:11:44