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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4440312-1721772131.opb
0.14/0.13	c reading problem ... 
0.14/0.16	c using VERIPB proof format
0.14/0.16	c  objective function found
2.51/1.68	c ... done. Wall clock time 1.546s.
2.51/1.68	c declared #vars     10000
2.51/1.68	c #constraints  656900
2.51/1.68	c constraints type 
2.51/1.68	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.51/1.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.51/1.68	c 656900 constraints processed.
2.51/1.70	c objective function length is 10000 literals
3.46/2.19	c SATISFIABLE
3.46/2.19	c OPTIMIZING...
3.46/2.19	c Got one! Elapsed wall clock time (in seconds):2.047
3.46/2.19	o 945
8.17/4.57	c cleaning 2561 clauses out of 5121 with flag 17269/5121
9.82/5.99	c cleaning 4279 clauses out of 8557 with flag 34452/11118
11.54/7.64	c cleaning 5636 clauses out of 11278 with flag 54220/18118
13.61/9.66	c cleaning 6818 clauses out of 13643 with flag 78661/26119
15.61/11.68	c cleaning 7909 clauses out of 15826 with flag 104853/35120
18.02/14.02	c cleaning 8955 clauses out of 17915 with flag 134328/45118
20.52/16.59	c cleaning 9972 clauses out of 19960 with flag 167828/56118
23.41/19.41	c cleaning 10992 clauses out of 21988 with flag 202740/68118
26.40/22.50	c cleaning 11996 clauses out of 23997 with flag 243948/81119
30.00/26.06	c cleaning 12994 clauses out of 26000 with flag 285993/95118
33.99/30.01	c cleaning 14000 clauses out of 28006 with flag 331764/110118
37.87/33.97	c cleaning 14998 clauses out of 30006 with flag 380444/126118
40.49/36.67	c Got one! Elapsed wall clock time (in seconds):36.54
40.49/36.67	o 942
42.36/38.49	c cleaning 15636 clauses out of 31272 with flag 14219/142382
44.71/40.62	c cleaning 10818 clauses out of 21636 with flag 33967/148382
47.30/43.22	c cleaning 8906 clauses out of 17819 with flag 54677/155383
50.21/46.11	c cleaning 8454 clauses out of 16912 with flag 79224/163382
53.39/49.33	c cleaning 8716 clauses out of 17459 with flag 106045/172383
57.09/53.05	c cleaning 9362 clauses out of 18742 with flag 135806/182382
61.28/57.24	c cleaning 10177 clauses out of 20381 with flag 170736/193383
66.26/62.26	c cleaning 11091 clauses out of 22203 with flag 212770/205382
71.58/67.69	c cleaning 12040 clauses out of 24112 with flag 256918/218382
77.08/73.18	c cleaning 13029 clauses out of 26072 with flag 308348/232382
83.29/79.36	c cleaning 14010 clauses out of 28043 with flag 355885/247382
91.02/87.08	c cleaning 15009 clauses out of 30033 with flag 406235/263382
98.84/94.80	c cleaning 16010 clauses out of 32024 with flag 466183/280382
107.72/103.82	c cleaning 17004 clauses out of 34014 with flag 527776/298382
117.09/113.24	c cleaning 18001 clauses out of 36010 with flag 592293/317382
127.05/123.28	c cleaning 18998 clauses out of 38011 with flag 659026/337384
136.46/132.77	c cleaning 20003 clauses out of 40012 with flag 732897/358383
144.85/141.19	c cleaning 20993 clauses out of 42008 with flag 810248/380382
153.61/149.98	c cleaning 22002 clauses out of 44016 with flag 886472/403383
162.97/159.45	c cleaning 22999 clauses out of 46013 with flag 965584/427382
172.54/169.08	c cleaning 23995 clauses out of 48014 with flag 1051624/452382
182.01/178.58	c cleaning 25003 clauses out of 50019 with flag 1139632/478382
192.13/188.62	c cleaning 26006 clauses out of 52017 with flag 1225655/505383
202.30/198.91	c cleaning 26999 clauses out of 54010 with flag 1320151/533382
213.66/210.36	c cleaning 27984 clauses out of 56011 with flag 1426707/562382
224.85/221.68	c cleaning 29012 clauses out of 58027 with flag 1531777/592382
237.57/234.33	c cleaning 29995 clauses out of 60015 with flag 1652285/623382
250.13/246.91	c cleaning 31008 clauses out of 62021 with flag 1785867/655383
263.73/260.63	c cleaning 32000 clauses out of 64012 with flag 1898786/688382
277.89/274.88	c cleaning 33004 clauses out of 66012 with flag 2014885/722382
292.54/289.51	c cleaning 34003 clauses out of 68008 with flag 2130040/757382
307.10/304.18	c cleaning 34994 clauses out of 70005 with flag 2265431/793382
322.09/319.20	c cleaning 36006 clauses out of 72011 with flag 2396602/830382
336.81/333.99	c cleaning 36984 clauses out of 74005 with flag 2529670/868382
353.05/350.33	c cleaning 38010 clauses out of 76022 with flag 2667526/907383
369.69/367.10	c cleaning 39005 clauses out of 78012 with flag 2808349/947383
387.12/384.58	c cleaning 39997 clauses out of 80007 with flag 2959939/988383
404.86/402.39	c cleaning 41005 clauses out of 82009 with flag 3112648/1030382
421.75/419.32	c cleaning 42001 clauses out of 84005 with flag 3265343/1073383
439.58/437.23	c cleaning 42984 clauses out of 86004 with flag 3427978/1117383
457.59/455.44	c cleaning 43991 clauses out of 88019 with flag 3594190/1162382
476.65/474.54	c cleaning 45011 clauses out of 90031 with flag 3776489/1208385
494.88/492.85	c cleaning 45998 clauses out of 92017 with flag 3955965/1255382
514.15/512.36	c cleaning 47001 clauses out of 94019 with flag 4134990/1303382
533.57/531.91	c cleaning 47986 clauses out of 96020 with flag 4326706/1352384
552.40/550.87	c cleaning 48993 clauses out of 98032 with flag 4530612/1402382
572.92/571.43	c cleaning 50010 clauses out of 100039 with flag 4721577/1453382
593.16/593.24	c cleaning 50995 clauses out of 102029 with flag 4926103/1505382
612.88/612.92	c cleaning 51998 clauses out of 104034 with flag 5126920/1558382
632.42/632.64	c cleaning 53008 clauses out of 106036 with flag 5348219/1612382
655.57/656.19	c cleaning 54009 clauses out of 108029 with flag 5563102/1667383
678.59/679.27	c cleaning 55010 clauses out of 110020 with flag 5766704/1723383
704.03/704.91	c cleaning 55989 clauses out of 112009 with flag 5997144/1780382
728.69/729.84	c cleaning 57007 clauses out of 114020 with flag 6241516/1838382
755.52/756.83	c cleaning 57998 clauses out of 116017 with flag 6464412/1897386
782.10/783.60	c cleaning 59007 clauses out of 118015 with flag 6685522/1957382
809.46/811.20	c cleaning 60005 clauses out of 120009 with flag 6934421/2018383
837.42/839.44	c cleaning 60994 clauses out of 122003 with flag 7190209/2080382
865.69/867.96	c cleaning 62005 clauses out of 124009 with flag 7414580/2143382
893.95/896.55	c cleaning 62988 clauses out of 126004 with flag 7664084/2207382
920.81/923.43	c cleaning 64000 clauses out of 128016 with flag 7915490/2272382
948.95/951.93	c cleaning 64995 clauses out of 130017 with flag 8162581/2338383
978.08/981.52	c cleaning 66007 clauses out of 132022 with flag 8412258/2405383
1005.74/1009.54	c cleaning 67001 clauses out of 134014 with flag 8669878/2473382
1035.51/1039.60	c cleaning 68000 clauses out of 136013 with flag 8929521/2542382
1067.59/1072.09	c cleaning 69003 clauses out of 138013 with flag 9207384/2612382
1098.79/1103.44	c cleaning 70000 clauses out of 140010 with flag 9490886/2683382
1131.54/1136.31	c cleaning 70996 clauses out of 142012 with flag 9785952/2755384
1166.00/1171.23	c cleaning 71998 clauses out of 144014 with flag 10078211/2828382
1202.01/1207.50	c cleaning 73008 clauses out of 146017 with flag 10382404/2902383
1237.89/1243.67	c cleaning 73996 clauses out of 148008 with flag 10680330/2977382
1274.00/1280.20	c cleaning 74998 clauses out of 150012 with flag 11017489/3053382
1309.16/1315.79	c cleaning 75999 clauses out of 152016 with flag 11356597/3130384
1340.24/1347.10	c cleaning 76989 clauses out of 154015 with flag 11683580/3208382
1376.47/1383.76	c cleaning 78007 clauses out of 156026 with flag 12039148/3287382
1411.71/1419.66	c cleaning 79004 clauses out of 158020 with flag 12371652/3367383
1448.40/1456.72	c cleaning 80001 clauses out of 160016 with flag 12696801/3448383
1484.10/1492.83	c cleaning 81002 clauses out of 162014 with flag 13029266/3530382
1521.07/1530.08	c cleaning 81989 clauses out of 164012 with flag 13350983/3613382
1559.37/1568.32	c cleaning 83012 clauses out of 166025 with flag 13661036/3697384
1596.07/1605.39	c cleaning 84003 clauses out of 168011 with flag 13990268/3782382
1633.59/1643.10	c cleaning 84993 clauses out of 170008 with flag 14331698/3868382
1673.27/1682.77	c cleaning 85995 clauses out of 172015 with flag 14665678/3955382
1711.67/1721.24	c cleaning 87005 clauses out of 174020 with flag 15016033/4043382
1748.19/1758.44	c cleaning 87993 clauses out of 176015 with flag 15372384/4132382
1787.21/1797.52	c cleaning 89003 clauses out of 178024 with flag 15734793/4222384
1828.70/1839.34	c cleaning 89995 clauses out of 180019 with flag 16137049/4313382
1869.18/1880.09	c cleaning 91000 clauses out of 182025 with flag 16507353/4405383
1912.01/1923.60	c cleaning 92003 clauses out of 184025 with flag 16907420/4498383
1956.61/1968.92	c cleaning 93005 clauses out of 186021 with flag 17340068/4592382
1998.36/2011.18	c cleaning 94003 clauses out of 188016 with flag 17778338/4687382
2040.56/2053.46	c cleaning 94999 clauses out of 190014 with flag 18176162/4783383
2084.88/2098.49	c cleaning 96005 clauses out of 192015 with flag 18581634/4880383
2131.28/2144.50	c cleaning 96977 clauses out of 194009 with flag 18974029/4978382
2174.64/2188.38	c cleaning 98011 clauses out of 196032 with flag 19393116/5077382
2220.25/2233.27	c cleaning 99001 clauses out of 198021 with flag 19822009/5177382
2263.26/2276.52	c cleaning 99989 clauses out of 200020 with flag 20261474/5278382
2310.59/2323.97	c cleaning 101014 clauses out of 202031 with flag 20761418/5380382
2359.07/2372.77	c cleaning 102006 clauses out of 204018 with flag 21224118/5483383
2408.57/2422.03	c cleaning 102997 clauses out of 206011 with flag 21678346/5587382
2458.16/2471.60	c cleaning 104005 clauses out of 208015 with flag 22131614/5692383
2509.95/2523.34	c cleaning 105005 clauses out of 210009 with flag 22583775/5798382
2560.56/2574.65	c cleaning 105994 clauses out of 212004 with flag 23025782/5905382
2608.43/2622.98	c cleaning 106984 clauses out of 214010 with flag 23448062/6013382
2655.42/2669.27	c cleaning 107996 clauses out of 216029 with flag 23862184/6122385
2703.38/2717.35	c cleaning 108994 clauses out of 218031 with flag 24272901/6232383
2755.82/2770.12	c cleaning 110013 clauses out of 220037 with flag 24701473/6343383
2807.27/2821.67	c cleaning 110993 clauses out of 222023 with flag 25135216/6455382
2855.40/2870.25	c cleaning 112011 clauses out of 224030 with flag 25575028/6568382
2910.57/2925.57	c cleaning 112997 clauses out of 226019 with flag 26067050/6682382
2965.20/2980.35	c cleaning 113989 clauses out of 228022 with flag 26545129/6797382
3015.23/3030.61	c cleaning 115006 clauses out of 230035 with flag 27019438/6913384
3068.13/3084.11	c cleaning 116014 clauses out of 232028 with flag 27501245/7030383
3123.37/3140.30	c cleaning 116999 clauses out of 234013 with flag 27985280/7148382
3182.64/3199.63	c cleaning 118004 clauses out of 236015 with flag 28500314/7267383
3239.01/3256.70	c cleaning 118994 clauses out of 238011 with flag 28996187/7387383
3296.37/3313.64	c cleaning 120002 clauses out of 240016 with flag 29479567/7508382
3352.73/3370.06	c cleaning 120995 clauses out of 242015 with flag 29959519/7630383
3409.63/3426.29	c cleaning 122011 clauses out of 244021 with flag 30451888/7753384
3468.54/3484.23	c cleaning 123002 clauses out of 246009 with flag 31009401/7877383
3537.00/3551.65	c cleaning 123992 clauses out of 248006 with flag 31549072/8002382
3599.44/3614.49	c cleaning 124992 clauses out of 250015 with flag 32049054/8128383
3600.04/3615.02	c starts		: 17
3600.04/3615.02	c conflicts		: 8129818
3600.04/3615.02	c decisions		: 21201789
3600.04/3615.02	c propagations		: 1988932018
3600.04/3615.02	c inspects		: 3187397380
3600.04/3615.02	c shortcuts		: 0
3600.04/3615.02	c learnt literals	: 0
3600.04/3615.02	c learnt binary clauses	: 0
3600.04/3615.02	c learnt ternary clauses	: 0
3600.04/3615.02	c learnt constraints	: 8129818
3600.04/3615.02	c ignored constraints	: 0
3600.04/3615.02	c root simplifications	: 0
3600.04/3615.02	c removed literals (reason simplification)	: 885905580
3600.04/3615.02	c reason swapping (by a shorter reason)	: 0
3600.04/3615.02	c Calls to reduceDB	: 134
3600.04/3615.02	c Number of update (reduction) of LBD	: 2719744
3600.04/3615.02	c Imported unit clauses	: 0
3600.04/3615.02	c No decision after first conflict	: false
3600.04/3615.02	c number of reductions to clauses (during analyze)	: 0
3600.04/3615.02	c number of learned constraints concerned by reduction	: 0
3600.04/3615.02	c number of learning phase by resolution	: 0
3600.04/3615.02	c number of learning phase by cutting planes	: 0
3600.04/3615.02	c number of rounding to 1 operations	: 0
3600.04/3615.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3615.02	c number of reductions of the coefficients by power 2 	: 0
3600.04/3615.02	c number of right shift for reduction by power 2 	: 0
3600.04/3615.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3615.02	c number of ending skipping 	: 0
3600.04/3615.02	c number of internal skipping 	: 0
3600.04/3615.02	c number of derivation steps 	: 0
3600.04/3615.02	c number of skipped derivation steps 	: 0
3600.04/3615.02	c number of remaining unassigned 	: 0
3600.04/3615.02	c number of remaining assigned 	: 0
3600.04/3615.02	c number of falsified literals weakened from reason	: 0
3600.04/3615.02	c number of falsified literals weakened from conflict	: 0
3600.04/3615.02	c time for arithmetic operations	: 0
3600.04/3615.02	c minimum degree of deleted constraints	: null
3600.04/3615.02	c maximum degree of deleted constraints	: null
3600.04/3615.02	c number of deleted constraints	: 0
3600.04/3615.03	c speed (assignments/second)	: 550444.4715663157
3600.04/3615.03	c non guided choices	: 3
3600.04/3615.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 126458
3600.04/3615.09	s SATISFIABLE
3600.04/3615.09	c Found 2 solution(s)
3600.04/3615.09	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.04/3615.10	c objective function=942
3600.04/3615.10	c Total wall clock time (in seconds): 3614.968

OK	942

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.106703 s]*
/proc/loadavg: 4.32 4.33 4.35 6/337 125738
/proc/meminfo: memFree=33250944/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=18975048 memory=64852 CPUtime=0.14 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 7238 0 0 0 12 2 0 0 20 0 18 0 13743428 19430449152 16213 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4743762 16213 5602 1 0 549340 0
[pid=125719/tid=125721] ppid=125716 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 1077936192 5783 0 0 0 7 2 0 0 20 0 18 0 13743429 19430449152 16213 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13743431 19430449152 16213 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=18975048 memory=14692998043451069 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13743432 19430449152 16213 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64852 KiB

[startup+0.206361 s]*
/proc/loadavg: 4.32 4.33 4.35 6/337 125738
/proc/meminfo: memFree=33240300/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=18975048 memory=75012 CPUtime=0.28 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 7546 0 0 0 25 3 0 0 20 0 18 0 13743428 19430449152 18753 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4743762 18753 5814 1 0 549544 0
[pid=125719/tid=125721] ppid=125716 vsize=18975048 memory=4782652875487838339 CPUtime=0.15 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 5938 0 0 0 13 2 0 0 20 0 18 0 13743429 19430449152 18753 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=18975048 memory=835473 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13743431 19430449152 18753 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13743432 19430449152 18753 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75012 KiB

[startup+0.306361 s]*
/proc/loadavg: 4.32 4.33 4.35 7/337 125738
/proc/meminfo: memFree=33205848/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=18975048 memory=113552 CPUtime=0.47 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 9609 0 0 0 43 4 0 0 20 0 18 0 13743428 19430449152 28388 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4743762 28388 5830 1 0 550906 0
[pid=125719/tid=125721] ppid=125716 vsize=18975048 memory=-8744973872297452220 CPUtime=0.25 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 5966 0 0 0 22 3 0 0 20 0 18 0 13743429 19430449152 28388 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13743431 19430449152 28388 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13743432 19430449152 28388 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 113552 KiB

[startup+0.700695 s]
/proc/loadavg: 4.32 4.33 4.35 6/338 125739
/proc/meminfo: memFree=33135872/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19041612 memory=190236 CPUtime=1.2 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 15279 0 0 0 114 6 0 0 20 0 19 0 13743428 19498610688 47559 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4760403 47559 5830 1 0 553843 0
[pid=125719/tid=125721] ppid=125716 vsize=19041612 memory=5552 CPUtime=0.59 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 5993 0 0 0 55 4 0 0 20 0 19 0 13743429 19498610688 47559 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19041612 memory=12348 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13743431 19498610688 47559 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13743432 19498610688 47559 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 190236 KiB

[startup+1.50036 s]
/proc/loadavg: 4.32 4.33 4.35 8/338 125739
/proc/meminfo: memFree=33100336/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19041612 memory=430116 CPUtime=2.41 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 18349 0 0 0 229 12 0 0 20 0 19 0 13743428 19498610688 107529 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4760403 107529 5830 1 0 1079399 0
[pid=125719/tid=125721] ppid=125716 vsize=19041612 memory=12348 CPUtime=1.22 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) S 125716 125719 121366 0 -1 1077936192 6092 0 0 0 114 8 0 0 20 0 19 0 13743429 19498610688 107529 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13743431 19498610688 107529 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13743432 19498610688 107529 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 430116 KiB

[startup+3.10636 s]
/proc/loadavg: 4.32 4.33 4.35 7/339 125740
/proc/meminfo: memFree=32690740/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=598584 CPUtime=5.42 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 21121 0 0 0 525 17 0 0 20 0 20 0 13743428 19566772224 149646 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 149646 5876 1 0 1682762 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=198340509722 CPUtime=2.67 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 6328 0 0 0 256 11 0 0 20 0 20 0 13743429 19566772224 149646 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 149646 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 149646 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=439748 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 149646 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 598584 KiB

[startup+6.30023 s]
/proc/loadavg: 4.45 4.36 4.35 6/339 125740
/proc/meminfo: memFree=32341480/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=853704 CPUtime=10.23 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 21426 0 0 0 1000 23 0 0 20 0 20 0 13743428 19566772224 213426 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 213426 5876 1 0 1682823 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=0 CPUtime=5.77 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 6481 0 0 0 561 16 0 0 20 0 20 0 13743429 19566772224 213426 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 213426 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=457440 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 213426 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=853704 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 213426 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 10.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 853704 KiB

[startup+12.7002 s]
/proc/loadavg: 4.50 4.37 4.36 6/339 125742
/proc/meminfo: memFree=32013892/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=1096084 CPUtime=16.7 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 26468 0 0 0 1639 31 0 0 20 0 20 0 13743428 19566772224 274021 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 274021 5916 1 0 1682823 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=1040788 CPUtime=12.1 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 7427 0 0 0 1188 22 0 0 20 0 20 0 13743429 19566772224 274021 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 274021 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=7669457976958739283 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 274021 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 274021 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 16.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1096084 KiB

[startup+25.5003 s]
/proc/loadavg: 4.46 4.37 4.36 5/339 125743
/proc/meminfo: memFree=30935616/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=1907136 CPUtime=29.5 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 28824 0 0 0 2897 53 0 0 20 0 20 0 13743428 19566772224 476784 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 476784 5916 1 0 1682825 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=7669457976958739283 CPUtime=24.81 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 8832 0 0 0 2439 42 0 0 20 0 20 0 13743429 19566772224 476784 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 476784 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 476784 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=-8744973872297452220 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 476784 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 29.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1907136 KiB

[startup+51.1061 s]
/proc/loadavg: 4.45 4.37 4.36 6/339 125748
/proc/meminfo: memFree=29512084/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=2787904 CPUtime=55.19 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 39339 0 0 0 5440 79 0 0 20 0 20 0 13743428 19566772224 696976 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 696976 5916 1 0 1682832 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=2787880 CPUtime=50.16 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 11955 0 0 0 4949 67 0 0 20 0 20 0 13743429 19566772224 696976 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 696976 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 696976 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 696976 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0

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

[startup+3282.3 s]
/proc/loadavg: 4.23 4.27 4.22 5/335 128076
/proc/meminfo: memFree=75266920/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=6086996 CPUtime=3265.04 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 371231 0 0 0 325365 1139 0 0 20 0 20 0 13743428 19566772224 1521749 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 1521749 5916 1 0 1535859 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=6086996 CPUtime=3220.15 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 175100 0 0 0 321019 996 0 0 20 0 20 0 13743429 19566772224 1521749 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2493 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=6086996 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 1521749 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=6086996 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 4224 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 1521749 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 1521749 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 3265.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6086996 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.26 4.21 6/335 128086
/proc/meminfo: memFree=74588384/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=6087000 CPUtime=3324.91 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 377331 0 0 0 331332 1159 0 0 20 0 20 0 13743428 19566772224 1521750 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 1521750 5916 1 0 1535859 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=6086996 CPUtime=3279.01 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 178496 0 0 0 326887 1014 0 0 20 0 20 0 13743429 19566772224 1521750 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2530 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=6087000 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 1521750 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=6087000 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 4335 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 1521750 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=6087000 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 1521750 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 3324.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6087000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.24 4.21 5/337 128267
/proc/meminfo: memFree=73814752/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=6087004 CPUtime=3384.83 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 382004 0 0 0 337305 1178 0 0 20 0 20 0 13743428 19566772224 1521751 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 1521751 5916 1 0 1535859 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=6087000 CPUtime=3337.95 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 181681 0 0 0 332762 1033 0 0 20 0 20 0 13743429 19566772224 1521751 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2568 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=6087004 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 1521751 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=6087004 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 4335 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 1521751 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=6087004 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 1521751 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 3384.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6087004 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.24 4.21 5/336 128278
/proc/meminfo: memFree=73645244/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=5286776 CPUtime=3445.74 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 403853 0 0 0 343375 1199 0 0 20 0 20 0 13743428 19566772224 1321694 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 1321694 5916 1 0 1335418 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=6087000 CPUtime=3396.72 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 185196 0 0 0 338622 1050 0 0 20 0 20 0 13743429 19566772224 1321694 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2604 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=5286764 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 1321694 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=5286764 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 4381 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 1321694 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 1321694 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 3445.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5286776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.21 4.20 5/338 128292
/proc/meminfo: memFree=74094424/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=4004036 CPUtime=3506.6 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 424274 0 0 0 349441 1219 0 0 20 0 20 0 13743428 19566772224 1001009 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 1001009 5916 1 0 1014175 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=5286776 CPUtime=3455.62 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 188522 0 0 0 344495 1067 0 0 20 0 20 0 13743429 19566772224 1001009 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2639 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 1001009 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=4004016 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 4412 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 1001009 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=4004036 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 1001009 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 3506.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4004036 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.23 4.20 5/338 128316
/proc/meminfo: memFree=73283076/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=4007852 CPUtime=3567.38 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 443211 0 0 0 355501 1237 0 0 20 0 20 0 13743428 19566772224 1001963 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 1001963 5916 1 0 1014175 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=4005852 CPUtime=3514.49 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 193283 0 0 0 350367 1082 0 0 20 0 20 0 13743429 19566772224 1001963 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2673 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 1001963 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=4007852 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 4491 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 1001963 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 1001963 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 3567.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4007852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615 s]*
/proc/loadavg: 4.22 4.22 4.20 5/339 128323
/proc/meminfo: memFree=72822112/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19108176 memory=4007940 CPUtime=3600.04 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 445582 0 0 0 358756 1248 0 0 20 0 20 0 13743428 19566772224 1001985 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4777044 1001985 5916 1 0 1014175 0
[pid=125719/tid=125721] ppid=125716 vsize=19108176 memory=-8743287217165476540 CPUtime=3546.47 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 193889 0 0 0 353555 1092 0 0 20 0 20 0 13743429 19566772224 1001985 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2700 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19108176 memory=1471052470743171417 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13743431 19566772224 1001985 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19108176 memory=28036 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 4583 0 0 0 0 0 0 0 20 0 20 0 13743432 19566772224 1001985 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125740] ppid=125716 vsize=19108176 memory=3188 CPUtime=0 cores=0,2
/proc/125719/task/125740/stat : 125740 (Timer-0) S 125716 125719 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13743599 19566772224 1001985 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4007940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.76 s, system=12.5077 s

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

[startup+3615.12 s]
/proc/loadavg: 4.22 4.22 4.20 5/339 128323
/proc/meminfo: memFree=72822112/131524600 swapFree=131064012/131071996
[pid=125719] ppid=125716 vsize=19307868 memory=4008424 CPUtime=3600.24 cores=0,2
/proc/125719/stat : 125719 (java) S 125716 125719 121366 0 -1 1077936128 448049 0 0 0 358776 1248 0 0 20 0 17 0 13743428 19771256832 1002106 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
/proc/125719/statm: 4826967 1002106 5930 1 0 1015112 0
[pid=125719/tid=125721] ppid=125716 vsize=19307868 memory=11576 CPUtime=3546.56 cores=0,2
/proc/125719/task/125721/stat : 125721 (java) R 125716 125719 121366 0 -1 4194368 193963 0 0 0 353564 1092 0 0 20 0 17 0 13743429 19771256832 1002106 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2700 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125730] ppid=125716 vsize=19307868 memory=4007852 CPUtime=0 cores=0,2
/proc/125719/task/125730/stat : 125730 (Finalizer) S 125716 125719 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 17 0 13743431 19771256832 1002106 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
[pid=125719/tid=125737] ppid=125716 vsize=19307868 memory=4007852 CPUtime=0 cores=0,2
/proc/125719/task/125737/stat : 125737 (Common-Cleaner) S 125716 125719 121366 0 -1 1077936192 4583 0 0 0 0 0 0 0 20 0 17 0 13743432 19771256832 1002106 134679101440 94767050604544 94767050608240 140731303737632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94767050616056 94767050616848 94767053340672 140731303740331 140731303740513 140731303740513 140731303747528 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4008424 KiB

Child status: 143

Real time (s): 3615.19
CPU time (s): 3600.27
CPU user time (s): 3587.76
CPU system time (s): 12.5077
CPU usage (%): 99.5873
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6678848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.76
system time used= 12.5077
maximum resident set size= 6678852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22209808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113846
involuntary context switches= 32931


# summary of solver processes directly reported to runsolver:
#   pid: 125719
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3587.76
#   total CPU system time (s): 12.5077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.70407 second user time and 16.5501 second system time

The end

Begin job on nodeC035 at 2024-07-24 00:02:11
IDJOB=4440312
IDBENCH=147555
IDSOLVER=3079
FILE ID=nodeC035/4440312-1721772131
RUNJOBID= nodeC035-1721765643-121376
SLURM_JOB_ID= 7770671
Free space on /tmp= 890044 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440312-1721772131/watcher-4440312-1721772131 -o /tmp/evaluation-result-4440312-1721772131/solver-4440312-1721772131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721765643-121376 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440312-1721772131 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440312-1721772131.opb

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=2021713098

nodeC035.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.176
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.54
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		: 3668.059
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.93
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		: 3602.849
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.54
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		: 3627.452
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.93
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		: 3637.177
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.54
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		: 3684.154
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.93
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		: 3602.258
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.54
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		: 3601.686
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        33295296 kB
MemAvailable:   90800452 kB
Buffers:          182344 kB
Cached:         58037552 kB
SwapCached:          148 kB
Active:          1086336 kB
Inactive:       96265140 kB
Active(anon):       1916 kB
Inactive(anon): 39166624 kB
Active(file):    1084420 kB
Inactive(file): 57098516 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064012 kB
Dirty:            133476 kB
Writeback:        117548 kB
AnonPages:      39130596 kB
Mapped:           122640 kB
Shmem:             37144 kB
KReclaimable:     323736 kB
Slab:             440820 kB
SReclaimable:     323736 kB
SUnreclaim:       117084 kB
KernelStack:        5152 kB
PageTables:        86568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   39676904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:  38520832 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:      328404 kB
DirectMap2M:    34048000 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 889984 MiB
End job on nodeC035 at 2024-07-24 01:02:27