0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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 		2106806208
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.13/0.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	 - never skip resolution steps
0.13/0.15	 - Auto-division on coefficients is disabled
0.13/0.15	 - No postprocessing
0.13/0.15	 - Conflict is considered as is when resolving
0.13/0.15	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.13/0.15	 - Weaken first using unassigned literals
0.13/0.15	 - Bump strategy: ALWAYS_ONE
0.13/0.15	 - Bumper: ASSIGNED
0.13/0.15	--- Begin Solver configuration ---
0.13/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.13/0.15	Learn all clauses as in MiniSAT
0.13/0.15	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	No reason simplification
0.13/0.15	Armin Biere (Picosat) restarts strategy
0.13/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.13/0.15	timeout=2147483s
0.13/0.15	DB Simplification allowed=false
0.13/0.15	Listener: none
0.13/0.15	--- End Solver configuration ---
0.13/0.15	c Pseudo Boolean Optimization by upper bound
0.13/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	c  - never skip resolution steps
0.13/0.15	c  - Auto-division on coefficients is disabled
0.13/0.15	c  - No postprocessing
0.13/0.15	c  - Conflict is considered as is when resolving
0.13/0.15	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.13/0.15	c  - Weaken first using unassigned literals
0.13/0.15	c  - Bump strategy: ALWAYS_ONE
0.13/0.15	c  - Bumper: ASSIGNED
0.13/0.15	c --- Begin Solver configuration ---
0.13/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.13/0.15	c Learn all clauses as in MiniSAT
0.13/0.15	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	c No reason simplification
0.13/0.15	c Armin Biere (Picosat) restarts strategy
0.13/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.13/0.15	c timeout=2147483s
0.13/0.15	c DB Simplification allowed=false
0.13/0.15	c Listener: none
0.13/0.15	c --- End Solver configuration ---
0.13/0.15	c solving HOME/instance-4457545-1721865097.opb
0.13/0.15	c reading problem ... 
0.13/0.16	c  objective function found
0.32/0.27	c ... done. Wall clock time 0.114s.
0.32/0.27	c declared #vars     10000
0.32/0.27	c #constraints  1
0.32/0.27	c constraints type 
0.32/0.27	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1
0.32/0.27	c 1 constraints processed.
0.32/0.29	c objective function length is 10000 literals
0.51/0.39	c SATISFIABLE
0.51/0.39	c OPTIMIZING...
0.51/0.39	c Got one! Elapsed wall clock time (in seconds):0.233
0.51/0.39	o -535719
2.04/1.25	c Got one! Elapsed wall clock time (in seconds):1.101
2.04/1.25	o -535769
2.04/1.28	c Got one! Elapsed wall clock time (in seconds):1.131
2.04/1.28	o -536708
2.84/1.66	c Got one! Elapsed wall clock time (in seconds):1.509
2.84/1.66	o -536786
3.41/1.95	c Got one! Elapsed wall clock time (in seconds):1.8
3.41/1.95	o -536790
3.41/1.99	c Got one! Elapsed wall clock time (in seconds):1.826
3.41/1.99	o -537720
4.04/2.33	c Got one! Elapsed wall clock time (in seconds):2.18
4.04/2.33	o -537803
4.64/2.71	c Got one! Elapsed wall clock time (in seconds):2.557
4.64/2.71	o -537805
5.16/3.06	c Got one! Elapsed wall clock time (in seconds):2.908
5.16/3.06	o -537808
5.51/3.34	c Got one! Elapsed wall clock time (in seconds):3.191
5.51/3.34	o -537812
5.88/3.68	c Got one! Elapsed wall clock time (in seconds):3.523
5.88/3.68	o -537814
6.22/3.98	c Got one! Elapsed wall clock time (in seconds):3.822
6.22/3.98	o -537815
6.74/4.32	c Got one! Elapsed wall clock time (in seconds):4.165
6.74/4.32	o -537816
7.13/4.68	c Got one! Elapsed wall clock time (in seconds):4.522
7.13/4.68	o -537821
7.55/4.92	c Got one! Elapsed wall clock time (in seconds):4.762
7.55/4.92	o -538703
7.99/5.37	c Got one! Elapsed wall clock time (in seconds):5.216
7.99/5.37	o -538823
8.44/5.75	c Got one! Elapsed wall clock time (in seconds):5.599
8.44/5.75	o -538827
8.88/6.13	c Got one! Elapsed wall clock time (in seconds):5.98
8.88/6.14	o -538833
9.22/6.49	c Got one! Elapsed wall clock time (in seconds):6.339
9.22/6.49	o -538834
10.83/7.99	c Got one! Elapsed wall clock time (in seconds):7.842
10.83/7.99	o -538835
11.42/8.55	c Got one! Elapsed wall clock time (in seconds):8.401
11.42/8.55	o -539840
12.05/9.16	c Got one! Elapsed wall clock time (in seconds):9.002
12.05/9.16	o -539844
13.15/10.22	c Got one! Elapsed wall clock time (in seconds):10.071
13.15/10.22	o -539856
14.14/11.22	c Got one! Elapsed wall clock time (in seconds):11.065
14.14/11.22	o -539858
15.40/12.42	c Got one! Elapsed wall clock time (in seconds):12.265
15.40/12.42	o -539859
17.03/14.07	c Got one! Elapsed wall clock time (in seconds):13.914
17.03/14.07	o -539860
18.40/15.37	c Got one! Elapsed wall clock time (in seconds):15.222
18.40/15.37	o -539866
20.11/17.01	c Got one! Elapsed wall clock time (in seconds):16.86
20.11/17.01	o -539867
20.70/17.65	c Got one! Elapsed wall clock time (in seconds):17.493
20.70/17.65	o -540857
21.35/18.28	c Got one! Elapsed wall clock time (in seconds):18.125
21.35/18.28	o -540873
22.67/19.53	c Got one! Elapsed wall clock time (in seconds):19.376
22.67/19.53	o -540943
23.86/20.70	c Got one! Elapsed wall clock time (in seconds):20.55
23.86/20.70	o -541890
26.39/23.20	c Got one! Elapsed wall clock time (in seconds):23.049
26.39/23.20	o -541893
29.12/25.93	c Got one! Elapsed wall clock time (in seconds):25.78
29.12/25.93	o -541897
33.18/29.93	c Got one! Elapsed wall clock time (in seconds):29.772
33.18/29.93	o -542513
35.45/32.27	c Got one! Elapsed wall clock time (in seconds):32.121
35.45/32.27	o -542905
37.01/33.78	c Got one! Elapsed wall clock time (in seconds):33.623
37.01/33.78	o -542914
38.50/35.30	c Got one! Elapsed wall clock time (in seconds):35.144
38.50/35.30	o -542918
46.47/43.26	c Got one! Elapsed wall clock time (in seconds):43.11
46.47/43.26	o -542919
47.57/44.34	c Got one! Elapsed wall clock time (in seconds):44.182
47.57/44.34	o -543931
49.77/46.59	c Got one! Elapsed wall clock time (in seconds):46.438
49.77/46.59	o -543933
52.57/49.38	c Got one! Elapsed wall clock time (in seconds):49.23
52.57/49.38	o -543945
62.13/58.88	c Got one! Elapsed wall clock time (in seconds):58.73
62.13/58.88	o -543946
75.20/71.75	c Got one! Elapsed wall clock time (in seconds):71.597
75.20/71.75	o -543948
87.73/84.13	c Got one! Elapsed wall clock time (in seconds):83.978
87.73/84.13	o -543949
116.09/112.30	c Got one! Elapsed wall clock time (in seconds):112.149
116.09/112.30	o -543954
123.18/119.46	c Got one! Elapsed wall clock time (in seconds):119.311
123.18/119.46	o -543955
128.17/124.42	c Got one! Elapsed wall clock time (in seconds):124.269
128.17/124.42	o -544956
131.77/128.05	c Got one! Elapsed wall clock time (in seconds):127.9
131.77/128.05	o -544957
136.95/133.17	c Got one! Elapsed wall clock time (in seconds):133.014
136.95/133.17	o -545074
143.43/139.63	c Got one! Elapsed wall clock time (in seconds):139.479
143.43/139.63	o -545973
151.42/147.66	c Got one! Elapsed wall clock time (in seconds):147.503
151.42/147.66	o -545975
153.71/149.93	c Got one! Elapsed wall clock time (in seconds):149.78
153.71/149.93	o -545976
166.87/163.00	c Got one! Elapsed wall clock time (in seconds):162.849
166.87/163.00	o -546027
170.56/166.73	c Got one! Elapsed wall clock time (in seconds):166.579
170.56/166.73	o -547036
174.85/171.03	c Got one! Elapsed wall clock time (in seconds):170.873
174.85/171.03	o -547060
179.04/175.23	c Got one! Elapsed wall clock time (in seconds):175.077
179.04/175.23	o -547069
183.23/179.41	c Got one! Elapsed wall clock time (in seconds):179.258
183.23/179.41	o -548034
185.53/181.78	c Got one! Elapsed wall clock time (in seconds):181.629
185.53/181.78	o -549046
189.72/185.94	c Got one! Elapsed wall clock time (in seconds):185.789
189.72/185.94	o -549081
202.68/198.83	c Got one! Elapsed wall clock time (in seconds):198.673
202.68/198.83	o -550052
205.07/201.29	c Got one! Elapsed wall clock time (in seconds):201.14
205.07/201.29	o -550068
212.55/208.70	c Got one! Elapsed wall clock time (in seconds):208.547
212.55/208.70	o -550081
222.73/218.97	c Got one! Elapsed wall clock time (in seconds):218.819
222.73/218.97	o -551070
227.83/224.08	c Got one! Elapsed wall clock time (in seconds):223.925
227.83/224.08	o -551123
230.61/226.87	c Got one! Elapsed wall clock time (in seconds):226.716
230.61/226.87	o -552098
249.91/245.97	c Got one! Elapsed wall clock time (in seconds):245.818
249.91/245.97	o -552115
255.81/251.87	c Got one! Elapsed wall clock time (in seconds):251.718
255.81/251.87	o -552132
258.90/254.91	c Got one! Elapsed wall clock time (in seconds):254.755
258.90/254.91	o -552496
262.00/258.03	c Got one! Elapsed wall clock time (in seconds):257.875
262.00/258.03	o -553258
274.04/269.99	c Got one! Elapsed wall clock time (in seconds):269.839
274.04/269.99	o -554189
277.74/273.61	c Got one! Elapsed wall clock time (in seconds):273.459
277.74/273.61	o -554968
288.02/283.93	c Got one! Elapsed wall clock time (in seconds):283.774
288.02/283.93	o -555217
291.81/287.74	c Got one! Elapsed wall clock time (in seconds):287.587
291.81/287.74	o -555275
297.80/293.77	c Got one! Elapsed wall clock time (in seconds):293.618
297.80/293.77	o -555521
306.98/302.99	c Got one! Elapsed wall clock time (in seconds):302.838
306.98/302.99	o -556248
317.96/313.82	c Got one! Elapsed wall clock time (in seconds):313.664
317.96/313.82	o -557229
322.15/318.04	c Got one! Elapsed wall clock time (in seconds):317.886
322.15/318.04	o -557288
331.23/327.11	c Got one! Elapsed wall clock time (in seconds):326.954
331.23/327.11	o -557290
338.22/334.16	c Got one! Elapsed wall clock time (in seconds):334.011
338.22/334.16	o -557299
351.54/347.46	c Got one! Elapsed wall clock time (in seconds):347.304
351.54/347.46	o -557303
356.93/352.89	c Got one! Elapsed wall clock time (in seconds):352.74
356.93/352.89	o -557328
362.83/358.74	c Got one! Elapsed wall clock time (in seconds):358.589
362.83/358.74	o -557486
369.02/364.99	c Got one! Elapsed wall clock time (in seconds):364.841
369.02/364.99	o -558293
375.01/370.91	c Got one! Elapsed wall clock time (in seconds):370.762
375.01/370.92	o -558349
381.11/377.03	c Got one! Elapsed wall clock time (in seconds):376.879
381.11/377.03	o -564988
390.24/386.13	c Got one! Elapsed wall clock time (in seconds):385.974
390.24/386.13	o -575401
398.42/394.33	c Got one! Elapsed wall clock time (in seconds):394.173
398.42/394.33	o -576150
409.79/405.78	c Got one! Elapsed wall clock time (in seconds):405.624
409.79/405.78	o -580679
416.27/412.28	c Got one! Elapsed wall clock time (in seconds):412.123
416.27/412.28	o -581374
423.37/419.36	c Got one! Elapsed wall clock time (in seconds):419.205
423.37/419.36	o -582298
436.74/432.71	c Got one! Elapsed wall clock time (in seconds):432.557
436.74/432.71	o -608300
450.27/446.17	c Got one! Elapsed wall clock time (in seconds):446.015
450.27/446.17	o -722756
550.20/545.98	c Got one! Elapsed wall clock time (in seconds):545.827
550.20/545.98	o -1068638
925.78/922.02	c Got one! Elapsed wall clock time (in seconds):921.862
925.78/922.02	o -1266873
1193.69/1188.50	c Got one! Elapsed wall clock time (in seconds):1188.346
1193.69/1188.50	o -1267814
3600.08/3545.81	c starts		: 117
3600.08/3545.83	c conflicts		: 4512
3600.08/3545.83	c decisions		: 1055031
3600.08/3545.83	c propagations		: 2277356
3600.08/3545.83	c inspects		: 27876385
3600.08/3545.83	c shortcuts		: 0
3600.08/3545.83	c learnt literals	: 0
3600.08/3545.83	c learnt binary clauses	: 0
3600.08/3545.83	c learnt ternary clauses	: 0
3600.08/3545.83	c learnt constraints	: 4511
3600.08/3545.83	c ignored constraints	: 0
3600.08/3545.83	c root simplifications	: 0
3600.08/3545.83	c removed literals (reason simplification)	: 0
3600.08/3545.83	c reason swapping (by a shorter reason)	: 0
3600.08/3545.83	c Calls to reduceDB	: 0
3600.08/3545.83	c Number of update (reduction) of LBD	: 0
3600.08/3545.83	c Imported unit clauses	: 0
3600.08/3545.83	c No decision after first conflict	: false
3600.08/3545.83	c number of reductions to clauses (during analyze)	: 0
3600.08/3545.83	c number of learned constraints concerned by reduction	: 0
3600.08/3545.83	c number of learning phase by resolution	: 0
3600.08/3545.83	c number of learning phase by cutting planes	: 0
3600.08/3545.83	c number of rounding to 1 operations	: 13350
3600.08/3545.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3545.83	c number of reductions of the coefficients by power 2 	: 0
3600.08/3545.83	c number of right shift for reduction by power 2 	: 0
3600.08/3545.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3545.83	c number of ending skipping 	: 0
3600.08/3545.83	c number of internal skipping 	: 0
3600.08/3545.83	c number of derivation steps 	: 10527
3600.08/3545.83	c number of skipped derivation steps 	: 0
3600.08/3545.83	c number of remaining unassigned 	: 32739
3600.08/3545.83	c number of remaining assigned 	: 63183566
3600.08/3545.83	c number of falsified literals weakened from reason	: 0
3600.08/3545.83	c number of falsified literals weakened from conflict	: 0
3600.08/3545.83	c time for arithmetic operations	: 3918525372
3600.08/3545.83	c minimum degree of deleted constraints	: null
3600.08/3545.83	c maximum degree of deleted constraints	: null
3600.08/3545.83	c number of deleted constraints	: 0
3600.08/3545.83	c speed (assignments/second)	: 642.3218575853489
3600.08/3545.83	c non guided choices	: 0
3600.08/3545.86	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 2
3600.08/3545.86	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 4509
3600.08/3545.86	s SATISFIABLE
3600.08/3545.86	c Found 96 solution(s)
3600.08/3545.86	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.08/3545.88	c objective function=-1267814
3600.08/3545.88	c Total wall clock time (in seconds): 3545.731

OK	-1267814

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62396 MiB free)
  memory of node 1: 64473 MiB (63275 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457545-1721865097/watcher-4457545-1721865097 -o /tmp/evaluation-result-4457545-1721865097/solver-4457545-1721865097 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721865097-264550 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4457545-1721865097.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=264614, runsolver pid=264599

[startup+0.100212 s]*
/proc/loadavg: 0.07 0.10 0.09 10/329 264684
/proc/meminfo: memFree=128514524/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=18975048 memory=63044 CPUtime=0.13 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 7213 0 0 0 11 2 0 0 20 0 18 0 23032544 19430449152 15761 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4743762 15761 5649 1 0 549317 0
[pid=264614/tid=264619] ppid=264599 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 5758 0 0 0 7 1 0 0 20 0 18 0 23032544 19430449152 15761 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23032547 19430449152 15761 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=18975048 memory=14135545649324636 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23032547 19430449152 15761 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63044 KiB

[startup+0.206212 s]*
/proc/loadavg: 0.07 0.10 0.09 17/331 264686
/proc/meminfo: memFree=128472832/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=18975048 memory=76772 CPUtime=0.32 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 8082 0 0 0 30 2 0 0 20 0 18 0 23032544 19430449152 19193 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4743762 19193 5803 1 0 549915 0
[pid=264614/tid=264619] ppid=264599 vsize=18975048 memory=664970851429515395 CPUtime=0.18 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 6012 0 0 0 16 2 0 0 20 0 18 0 23032544 19430449152 19193 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=18975048 memory=1991471 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23032547 19430449152 19193 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=18975048 memory=15823295995971300 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23032547 19430449152 19193 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76772 KiB

[startup+0.307537 s]*
/proc/loadavg: 0.07 0.10 0.09 18/334 264689
/proc/meminfo: memFree=128388116/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=18975048 memory=91056 CPUtime=0.51 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 9535 0 0 0 48 3 0 0 20 0 18 0 23032544 19430449152 22764 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4743762 22764 5838 1 0 550861 0
[pid=264614/tid=264619] ppid=264599 vsize=18975048 memory=-8526551493621031612 CPUtime=0.25 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 1077936192 6133 0 0 0 23 2 0 0 20 0 18 0 23032544 19430449152 22764 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23032547 19430449152 22764 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23032547 19430449152 22764 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 91056 KiB

[startup+0.70071 s]
/proc/loadavg: 0.07 0.10 0.09 7/291 264701
/proc/meminfo: memFree=128445044/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19041612 memory=115880 CPUtime=1.27 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 10054 0 0 0 124 3 0 0 20 0 19 0 23032544 19498610688 28970 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4760403 28970 5841 1 0 551482 0
[pid=264614/tid=264619] ppid=264599 vsize=19041612 memory=5552 CPUtime=0.61 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 6184 0 0 0 59 2 0 0 20 0 19 0 23032544 19498610688 28970 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19041612 memory=12936 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23032547 19498610688 28970 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23032547 19498610688 28970 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23032575 19498610688 28970 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 115880 KiB

[startup+1.50071 s]
/proc/loadavg: 0.70 0.23 0.13 13/332 264819
/proc/meminfo: memFree=128320044/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=185956 CPUtime=2.64 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 20300 0 0 0 258 6 0 0 20 0 20 0 23032544 19566772224 46489 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 46489 5882 1 0 554778 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=12936 CPUtime=1.39 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 6661 0 0 0 136 3 0 0 20 0 20 0 23032544 19566772224 46489 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 46489 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 46489 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=58515557449785 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 46489 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185956 KiB

[startup+3.10671 s]
/proc/loadavg: 0.70 0.23 0.13 7/337 264824
/proc/meminfo: memFree=127572112/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=195408 CPUtime=5.27 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 22274 0 0 0 520 7 0 0 20 0 20 0 23032544 19566772224 48852 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 48852 5898 1 0 554808 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=0 CPUtime=2.9 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 7017 0 0 0 287 3 0 0 20 0 20 0 23032544 19566772224 48852 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 48852 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 48852 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 48852 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195408 KiB

[startup+6.30772 s]
/proc/loadavg: 0.97 0.29 0.15 6/337 264824
/proc/meminfo: memFree=126047232/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=589996 CPUtime=9.12 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 23041 0 0 0 897 15 0 0 20 0 20 0 23032544 19566772224 147499 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 147499 5898 1 0 661330 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=0 CPUtime=6 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 7265 0 0 0 590 10 0 0 20 0 20 0 23032544 19566772224 147499 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 147499 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 147499 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=2308 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 147499 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 9.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 589996 KiB

[startup+12.7003 s]
/proc/loadavg: 1.21 0.35 0.17 6/337 264826
/proc/meminfo: memFree=124254844/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=1505888 CPUtime=15.7 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 27762 0 0 0 1534 36 0 0 20 0 20 0 23032544 19566772224 376472 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 376472 5898 1 0 661332 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=1321268 CPUtime=12.34 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 9012 0 0 0 1205 29 0 0 20 0 20 0 23032544 19566772224 376472 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=1253656 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 376472 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=2284 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 376472 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 376472 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 15.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1505888 KiB

[startup+25.5007 s]
/proc/loadavg: 1.71 0.49 0.22 6/337 264827
/proc/meminfo: memFree=123352708/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=1729456 CPUtime=28.72 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 31339 0 0 0 2830 42 0 0 20 0 20 0 23032544 19566772224 432364 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 432364 5898 1 0 661337 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=1729344 CPUtime=24.81 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 10106 0 0 0 2450 31 0 0 20 0 20 0 23032544 19566772224 432364 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 432364 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=1704676 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 432364 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=734262563800939066 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 432364 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 28.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1729456 KiB

[startup+51.1063 s]
/proc/loadavg: 2.74 0.86 0.35 6/337 264832
/proc/meminfo: memFree=122087148/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=1822020 CPUtime=54.37 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 39059 0 0 0 5391 46 0 0 20 0 20 0 23032544 19566772224 455505 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 455505 5898 1 0 661338 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=1729344 CPUtime=50.04 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 13423 0 0 0 4973 31 0 0 20 0 20 0 23032544 19566772224 455505 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=1822020 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 455505 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0

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

[startup+3222.3 s]
/proc/loadavg: 4.30 4.26 4.17 6/334 266586
/proc/meminfo: memFree=111584528/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=4725552 CPUtime=3270.14 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 368180 0 0 0 326746 268 0 0 20 0 20 0 23032544 19566772224 1181388 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 1181388 5927 1 0 1192687 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=1832 CPUtime=3202.89 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 118347 0 0 0 320201 88 0 0 20 0 20 0 23032544 19566772224 1181388 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=4725552 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1181388 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=4725552 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 4236 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1181388 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 1181388 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 3270.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4725552 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.22 4.16 6/331 266596
/proc/meminfo: memFree=111581896/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=4725616 CPUtime=3330.08 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 371500 0 0 0 332738 270 0 0 20 0 20 0 23032544 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 1181404 5927 1 0 1192687 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=4725552 CPUtime=3262.64 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 120441 0 0 0 326175 89 0 0 20 0 20 0 23032544 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=4725552 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=2284 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 4371 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 3330.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4725616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.22 4.17 6/331 266606
/proc/meminfo: memFree=111371848/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=4725616 CPUtime=3389.98 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 373244 0 0 0 338727 271 0 0 20 0 20 0 23032544 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 1181404 5927 1 0 1192687 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=4725552 CPUtime=3322.5 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 122017 0 0 0 332161 89 0 0 20 0 20 0 23032544 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=4725616 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=4725616 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 4372 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=4725616 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 1181404 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 3389.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4725616 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.23 4.17 6/331 266617
/proc/meminfo: memFree=111045688/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=4976020 CPUtime=3453.18 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 384044 0 0 0 345037 281 0 0 20 0 20 0 23032544 19566772224 1244005 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 1244005 5927 1 0 1255379 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=4725616 CPUtime=3382.13 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 125738 0 0 0 338119 94 0 0 20 0 20 0 23032544 19566772224 1244005 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=4725616 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1244005 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 4410 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1244005 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=280806036018880 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 1244005 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4976020 KiB

[startup+3462.3 s]
/proc/loadavg: 4.38 4.26 4.19 6/331 266627
/proc/meminfo: memFree=111003524/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=4976068 CPUtime=3513.14 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 387385 0 0 0 351030 284 0 0 20 0 20 0 23032544 19566772224 1244017 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 1244017 5927 1 0 1255387 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=4725616 CPUtime=3441.91 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 127592 0 0 0 344097 94 0 0 20 0 20 0 23032544 19566772224 1244017 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=4725616 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1244017 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 4500 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1244017 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=4976020 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 1244017 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4976068 KiB

[startup+3522.3 s]
/proc/loadavg: 4.38 4.29 4.20 6/331 266774
/proc/meminfo: memFree=119352088/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=5076564 CPUtime=3576.52 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 396956 0 0 0 357361 291 0 0 20 0 20 0 23032544 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 1269141 5927 1 0 1280658 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=2284 CPUtime=3501.54 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 130377 0 0 0 350058 96 0 0 20 0 20 0 23032544 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=5076564 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 4586 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=5076564 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 3576.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5076564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3545.8 s]
/proc/loadavg: 4.27 4.27 4.20 6/334 266783
/proc/meminfo: memFree=117580340/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19108176 memory=5076564 CPUtime=3600.08 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 397630 0 0 0 359717 291 0 0 20 0 20 0 23032544 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4777044 1269141 5927 1 0 1280658 0
[pid=264614/tid=264619] ppid=264599 vsize=19108176 memory=12936 CPUtime=3524.86 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) R 264599 264614 264537 0 -1 4194368 130484 0 0 0 352390 96 0 0 20 0 20 0 23032544 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19108176 memory=5552 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19108176 memory=16120 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 4586 0 0 0 0 0 0 0 20 0 20 0 23032547 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264690] ppid=264599 vsize=19108176 memory=2284 CPUtime=0 cores=5,7
/proc/264614/task/264690/stat : 264690 (Timer-0) S 264599 264614 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032575 19566772224 1269141 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5076564 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.36 s, system=2.93555 s

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

[startup+3545.9 s]
/proc/loadavg: 4.27 4.27 4.20 6/334 266783
/proc/meminfo: memFree=117580340/131524600 swapFree=131056028/131071996
[pid=264614] ppid=264599 vsize=19307868 memory=5077120 CPUtime=3600.27 cores=5,7
/proc/264614/stat : 264614 (java) S 264599 264614 264537 0 -1 1077936128 399558 0 0 0 359735 292 0 0 20 0 15 0 23032544 19771256832 1269280 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
/proc/264614/statm: 4826967 1269280 5926 1 0 1281577 0
[pid=264614/tid=264619] ppid=264599 vsize=19307868 memory=13520 CPUtime=3524.96 cores=5,7
/proc/264614/task/264619/stat : 264619 (java) S 264599 264614 264537 0 -1 1077936192 130485 0 0 0 352400 96 0 0 20 0 15 0 23032544 19771256832 1269280 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264658] ppid=264599 vsize=19307868 memory=2284 CPUtime=0 cores=5,7
/proc/264614/task/264658/stat : 264658 (Finalizer) S 264599 264614 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 23032547 19771256832 1269280 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
[pid=264614/tid=264680] ppid=264599 vsize=19307868 memory=5076564 CPUtime=0 cores=5,7
/proc/264614/task/264680/stat : 264680 (Common-Cleaner) S 264599 264614 264537 0 -1 1077936192 4586 0 0 0 0 0 0 0 20 0 15 0 23032547 19771256832 1269280 134679101440 94464849715200 94464849718896 140724727388640 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94464849726712 94464849727504 94464858828800 140724727395312 140724727395425 140724727395425 140724727402440 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5077120 KiB

Child status: 143

Real time (s): 3545.92
CPU time (s): 3600.29
CPU user time (s): 3597.36
CPU system time (s): 2.93555
CPU usage (%): 101.533
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5077120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.36
system time used= 2.93555
maximum resident set size= 5078136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110686
involuntary context switches= 8120


# summary of solver processes directly reported to runsolver:
#   pid: 264614
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3597.36
#   total CPU system time (s): 2.93555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84983 second user time and 18.7921 second system time

The end

Begin job on nodeC015 at 2024-07-25 01:51:37
IDJOB=4457545
IDBENCH=176418
IDSOLVER=3046
FILE ID=nodeC015/4457545-1721865097
RUNJOBID= nodeC015-1721865097-264550
SLURM_JOB_ID= 8089155
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/normalized-knapPI_5_2000_10000_5_-952740.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457545-1721865097/watcher-4457545-1721865097 -o /tmp/evaluation-result-4457545-1721865097/solver-4457545-1721865097 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721865097-264550 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4457545-1721865097.opb

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

MD5SUM BENCH= e208dfd6470fdaec043d153d73efd29c
RANDOM SEED=612983233

nodeC015.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		: 3330.288
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.37
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		: 3486.415
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.17
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		: 3125.646
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.37
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		: 3630.110
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.17
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		: 3725.790
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.37
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		: 3734.202
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.17
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		: 3612.446
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.37
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		: 3715.959
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128688920 kB
MemAvailable:   129614700 kB
Buffers:          271732 kB
Cached:          1320128 kB
SwapCached:          312 kB
Active:          1118592 kB
Inactive:         794480 kB
Active(anon):       4372 kB
Inactive(anon):   369364 kB
Active(file):    1114220 kB
Inactive(file):   425116 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              3012 kB
Writeback:             0 kB
AnonPages:        320328 kB
Mapped:            93280 kB
Shmem:             52524 kB
KReclaimable:     447852 kB
Slab:             570728 kB
SReclaimable:     447852 kB
SUnreclaim:       122876 kB
KernelStack:        3932 kB
PageTables:         9640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     633764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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:      367316 kB
DirectMap2M:    43446272 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC015 at 2024-07-25 02:50:43