0.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.20	c version CUSTOM.v20240707
0.28/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.28/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.28/0.23	c java.vm.version	22.0.1+8-16
0.28/0.23	c java.vm.vendor	Oracle Corporation
0.28/0.23	c sun.arch.data.model	64
0.28/0.23	c java.version		22.0.1
0.28/0.23	c os.name		Linux
0.28/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.28/0.23	c os.arch		amd64
0.28/0.24	c Free memory 		2115194816
0.28/0.24	c Max memory 		16282288128
0.28/0.24	c Total memory 		2122317824
0.28/0.25	c Number of processors 	2
0.44/0.35	--- Begin Solver configuration ---
0.44/0.35	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.35	Learn all clauses as in MiniSAT
0.44/0.35	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	No reason simplification
0.44/0.35	Glucose 2.1 dynamic restart strategy
0.44/0.35	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.35	timeout=2147483s
0.44/0.35	DB Simplification allowed=false
0.44/0.35	Listener: none
0.44/0.35	--- End Solver configuration ---
0.44/0.35	c Pseudo Boolean Optimization by upper bound
0.44/0.35	c --- Begin Solver configuration ---
0.44/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.35	c Learn all clauses as in MiniSAT
0.44/0.35	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	c No reason simplification
0.44/0.35	c Glucose 2.1 dynamic restart strategy
0.44/0.35	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.35	c timeout=2147483s
0.44/0.35	c DB Simplification allowed=false
0.44/0.35	c Listener: none
0.44/0.35	c --- End Solver configuration ---
0.44/0.36	c solving HOME/instance-4432534-1721175300.opb
0.44/0.36	c reading problem ... 
0.44/0.36	c  objective function found
0.98/0.69	c ... done. Wall clock time 0.335s.
1.14/0.71	c declared #vars     8928
1.14/0.71	c #constraints  622
1.14/0.71	c constraints type 
1.14/0.71	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 278
1.14/0.71	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
1.14/0.71	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 278
1.14/0.71	c 622 constraints processed.
1.14/0.73	c objective function length is 32 literals
1.75/1.04	c SATISFIABLE
1.75/1.04	c OPTIMIZING...
1.75/1.04	c Got one! Elapsed wall clock time (in seconds):0.682
1.75/1.04	o 30
2.52/1.46	c Got one! Elapsed wall clock time (in seconds):1.098
2.52/1.46	o 29
2.72/1.55	c Got one! Elapsed wall clock time (in seconds):1.193
2.72/1.55	o 28
3.53/1.91	c cleaning 3187 clauses out of 6383 with flag 11829/6383
4.23/2.44	c cleaning 4589 clauses out of 9195 with flag 27743/12382
4.81/2.99	c cleaning 5796 clauses out of 11607 with flag 47900/19383
5.95/3.89	c cleaning 6892 clauses out of 13810 with flag 75201/27382
7.11/4.91	c cleaning 7948 clauses out of 15918 with flag 108553/36382
8.39/6.02	c cleaning 8974 clauses out of 17970 with flag 145547/46382
9.63/7.14	c cleaning 9989 clauses out of 19998 with flag 180730/57384
10.89/8.36	c cleaning 10986 clauses out of 22007 with flag 223855/69382
12.46/9.88	c cleaning 11992 clauses out of 24021 with flag 276533/82382
14.07/11.45	c cleaning 13003 clauses out of 26031 with flag 329450/96384
16.16/13.35	c cleaning 13998 clauses out of 28028 with flag 390620/111384
18.29/15.43	c cleaning 14999 clauses out of 30028 with flag 453714/127382
20.88/17.82	c cleaning 16002 clauses out of 32030 with flag 520816/144383
23.69/20.45	c cleaning 17001 clauses out of 34028 with flag 594358/162383
26.30/23.01	c cleaning 17997 clauses out of 36026 with flag 675340/181382
29.26/25.83	c cleaning 18992 clauses out of 38029 with flag 757859/201382
32.54/28.93	c cleaning 20008 clauses out of 40037 with flag 853282/222382
35.43/31.81	c cleaning 20998 clauses out of 42029 with flag 945715/244382
39.25/35.56	c cleaning 21997 clauses out of 44032 with flag 1048932/267383
40.65/36.93	c Got one! Elapsed wall clock time (in seconds):36.578
40.65/36.93	o 27
40.65/36.96	c Got one! Elapsed wall clock time (in seconds):36.603
40.65/36.96	o 26
41.36/37.43	c cleaning 18907 clauses out of 37836 with flag 14352/283184
41.66/37.76	c cleaning 12453 clauses out of 24929 with flag 32275/289184
41.97/38.10	c cleaning 9726 clauses out of 19476 with flag 53191/296184
42.45/38.51	c cleaning 8861 clauses out of 17750 with flag 78812/304184
42.85/38.95	c cleaning 8933 clauses out of 17889 with flag 106003/313184
43.45/39.55	c cleaning 9465 clauses out of 18956 with flag 142614/323184
44.15/40.28	c cleaning 10242 clauses out of 20495 with flag 179309/334188
45.06/41.12	c cleaning 11108 clauses out of 22249 with flag 218676/346184
46.20/42.24	c cleaning 12055 clauses out of 24141 with flag 262631/359184
47.50/43.54	c cleaning 13031 clauses out of 26086 with flag 313512/373184
48.80/44.85	c cleaning 14016 clauses out of 28055 with flag 368308/388184
50.01/46.09	c cleaning 15008 clauses out of 30040 with flag 427430/404185
51.67/47.67	c cleaning 15999 clauses out of 32031 with flag 493547/421184
53.47/49.45	c cleaning 17008 clauses out of 34034 with flag 556765/439186
55.26/51.21	c cleaning 18003 clauses out of 36024 with flag 610972/458184
57.48/53.39	c cleaning 18994 clauses out of 38022 with flag 679450/478185
59.88/55.76	c cleaning 20008 clauses out of 40029 with flag 756816/499186
62.07/57.97	c cleaning 20998 clauses out of 42019 with flag 837377/521184
64.32/60.11	c cleaning 22003 clauses out of 44023 with flag 917376/544186
66.51/62.25	c cleaning 23000 clauses out of 46020 with flag 1002620/568186
69.17/64.78	c cleaning 23999 clauses out of 48019 with flag 1095141/593185
71.96/67.53	c cleaning 24997 clauses out of 50019 with flag 1182824/619184
74.95/70.56	c cleaning 25996 clauses out of 52024 with flag 1284616/646186
79.00/74.44	c cleaning 26999 clauses out of 54026 with flag 1392852/674184
82.95/78.22	c cleaning 28000 clauses out of 56029 with flag 1520005/703186
86.76/82.08	c cleaning 29002 clauses out of 58028 with flag 1626626/733185
90.89/86.04	c cleaning 29999 clauses out of 60026 with flag 1738300/764185
95.57/90.73	c cleaning 30998 clauses out of 62027 with flag 1862093/796185
101.95/96.56	c cleaning 32000 clauses out of 64029 with flag 1986077/829185
107.64/102.22	c cleaning 32999 clauses out of 66028 with flag 2104406/863184
113.81/108.36	c cleaning 34004 clauses out of 68029 with flag 2232596/898184
119.87/114.21	c cleaning 35003 clauses out of 70025 with flag 2373690/934184
125.67/120.07	c cleaning 35993 clauses out of 72022 with flag 2521451/971184
132.57/126.84	c cleaning 37000 clauses out of 74030 with flag 2661096/1009185
138.79/133.01	c cleaning 38002 clauses out of 76029 with flag 2820019/1048184
145.04/139.27	c cleaning 39001 clauses out of 78027 with flag 2970882/1088184
152.05/146.17	c cleaning 40002 clauses out of 80026 with flag 3110658/1129184
159.82/153.98	c cleaning 41004 clauses out of 82025 with flag 3271114/1171185
169.39/163.41	c cleaning 41994 clauses out of 84025 with flag 3431925/1214189
179.94/173.88	c cleaning 42997 clauses out of 86026 with flag 3590674/1258184
190.13/184.01	c cleaning 43999 clauses out of 88030 with flag 3756401/1303185
200.31/194.18	c cleaning 44999 clauses out of 90030 with flag 3930694/1349184
210.33/204.11	c cleaning 45993 clauses out of 92031 with flag 4123092/1396184
219.60/213.17	c cleaning 47005 clauses out of 94039 with flag 4299526/1444185
228.31/221.70	c cleaning 47999 clauses out of 96033 with flag 4495938/1493184
238.78/232.25	c cleaning 48986 clauses out of 98035 with flag 4682410/1543185
249.01/242.45	c cleaning 50008 clauses out of 100049 with flag 4887784/1594185
260.13/253.33	c cleaning 50999 clauses out of 102040 with flag 5080111/1646184
274.42/267.51	c cleaning 52008 clauses out of 104042 with flag 5262570/1699185
288.94/281.92	c cleaning 53003 clauses out of 106034 with flag 5449013/1753185
301.64/294.11	c cleaning 53997 clauses out of 108031 with flag 5655916/1808185
316.85/309.29	c cleaning 54998 clauses out of 110033 with flag 5857429/1864184
330.33/322.73	c cleaning 56001 clauses out of 112035 with flag 6054258/1921184
342.43/334.89	c cleaning 56996 clauses out of 114034 with flag 6275574/1979184
353.84/346.14	c cleaning 57999 clauses out of 116038 with flag 6492068/2038184
366.07/358.26	c cleaning 59009 clauses out of 118039 with flag 6705725/2098184
378.34/370.56	c cleaning 60003 clauses out of 120030 with flag 6939557/2159184
391.71/383.88	c cleaning 60999 clauses out of 122027 with flag 7159495/2221184
404.30/396.39	c cleaning 62002 clauses out of 124028 with flag 7384770/2284184
418.14/410.08	c cleaning 62992 clauses out of 126026 with flag 7662788/2348184
435.38/427.19	c cleaning 63997 clauses out of 128034 with flag 7933713/2413184
452.03/443.62	c cleaning 65001 clauses out of 130037 with flag 8244333/2479184
472.48/463.98	c cleaning 66004 clauses out of 132037 with flag 8596645/2546185
489.97/481.35	c cleaning 66998 clauses out of 134032 with flag 8949754/2614184
506.99/498.39	c cleaning 68005 clauses out of 136035 with flag 9286643/2683185
523.35/514.52	c cleaning 69002 clauses out of 138030 with flag 9630815/2753185
541.30/532.09	c cleaning 69993 clauses out of 140027 with flag 9986488/2824184
557.45/547.97	c cleaning 71009 clauses out of 142035 with flag 10389101/2896185
573.80/564.17	c cleaning 72002 clauses out of 144026 with flag 10759370/2969185
589.54/579.69	c cleaning 72998 clauses out of 146025 with flag 11133010/3043186
606.28/596.22	c cleaning 73994 clauses out of 148025 with flag 11491369/3118184
622.79/612.41	c cleaning 74998 clauses out of 150031 with flag 11872764/3194184
641.69/631.28	c cleaning 76001 clauses out of 152035 with flag 12228356/3271186
659.56/648.88	c cleaning 77005 clauses out of 154033 with flag 12583559/3349185
678.28/667.41	c cleaning 78000 clauses out of 156027 with flag 12922899/3428184
698.04/687.18	c cleaning 78999 clauses out of 158030 with flag 13270228/3508187
720.56/709.35	c cleaning 80007 clauses out of 160028 with flag 13651976/3589184
742.51/731.16	c cleaning 80992 clauses out of 162022 with flag 14070938/3671185
762.23/750.68	c cleaning 82001 clauses out of 164029 with flag 14477003/3754184
781.40/769.55	c cleaning 82998 clauses out of 166030 with flag 14854386/3838186
802.24/790.27	c cleaning 84002 clauses out of 168030 with flag 15214748/3923184
824.94/812.63	c cleaning 84996 clauses out of 170028 with flag 15629443/4009184
846.01/833.25	c cleaning 85994 clauses out of 172032 with flag 16050883/4096184
868.87/855.84	c cleaning 87005 clauses out of 174040 with flag 16488107/4184186
892.26/879.03	c cleaning 88005 clauses out of 176033 with flag 16933102/4273184
912.85/899.52	c cleaning 88997 clauses out of 178029 with flag 17326667/4363185
935.48/921.96	c cleaning 90001 clauses out of 180031 with flag 17747782/4454184
955.86/942.13	c cleaning 91000 clauses out of 182030 with flag 18199210/4546184
975.86/962.03	c cleaning 91996 clauses out of 184030 with flag 18626158/4639184
1001.00/986.99	c cleaning 92997 clauses out of 186034 with flag 19036191/4733184
1023.99/1009.86	c cleaning 94002 clauses out of 188039 with flag 19460734/4828186
1050.92/1036.77	c cleaning 95002 clauses out of 190036 with flag 19891987/4924185
1078.07/1063.57	c cleaning 96001 clauses out of 192033 with flag 20355245/5021184
1109.93/1095.36	c cleaning 96999 clauses out of 194032 with flag 20891804/5119184
1133.95/1119.10	c cleaning 97998 clauses out of 196033 with flag 21339148/5218184
1158.56/1143.39	c cleaning 98995 clauses out of 198036 with flag 21809546/5318185
1186.13/1170.75	c cleaning 100002 clauses out of 200041 with flag 22292037/5419185
1212.25/1196.63	c cleaning 101013 clauses out of 202038 with flag 22724938/5521184
1242.26/1226.58	c cleaning 102001 clauses out of 204025 with flag 23058881/5624184
1276.11/1260.35	c cleaning 103000 clauses out of 206026 with flag 23421756/5728186
1309.19/1293.12	c cleaning 103994 clauses out of 208025 with flag 23789625/5833185
1345.96/1329.89	c cleaning 105000 clauses out of 210030 with flag 24192174/5939184
1382.02/1365.63	c cleaning 105995 clauses out of 212030 with flag 24606533/6046184
1420.18/1402.97	c cleaning 106998 clauses out of 214036 with flag 25007144/6154185
1458.99/1441.61	c cleaning 108002 clauses out of 216039 with flag 25429273/6263186
1501.23/1483.71	c cleaning 109004 clauses out of 218035 with flag 25857488/6373184
1538.79/1521.29	c cleaning 110001 clauses out of 220032 with flag 26249939/6484185
1573.29/1555.44	c cleaning 110997 clauses out of 222031 with flag 26679315/6596185
1615.76/1597.78	c cleaning 111999 clauses out of 224033 with flag 27102973/6709184
1649.40/1631.21	c cleaning 112999 clauses out of 226035 with flag 27561947/6823185
1683.91/1665.69	c cleaning 113997 clauses out of 228035 with flag 27989193/6938184
1720.78/1702.09	c cleaning 114999 clauses out of 230039 with flag 28411877/7054185
1763.43/1744.58	c cleaning 115996 clauses out of 232039 with flag 28859044/7171184
1799.33/1780.35	c cleaning 117007 clauses out of 234044 with flag 29335381/7289185
1841.93/1822.83	c cleaning 117997 clauses out of 236037 with flag 29884380/7408185
1884.56/1865.20	c cleaning 119006 clauses out of 238041 with flag 30337521/7528186
1926.34/1906.84	c cleaning 120001 clauses out of 240033 with flag 30831623/7649184
1968.97/1949.36	c cleaning 121001 clauses out of 242032 with flag 31311858/7771184
2027.20/2007.36	c cleaning 122001 clauses out of 244031 with flag 31855506/7894184
2088.54/2068.61	c cleaning 123005 clauses out of 246030 with flag 32341820/8018184
2144.57/2124.32	c cleaning 123994 clauses out of 248025 with flag 32816213/8143184
2206.53/2186.26	c cleaning 125003 clauses out of 250031 with flag 33309275/8269184
2265.88/2245.37	c cleaning 125990 clauses out of 252028 with flag 33881043/8396184
2321.17/2300.20	c cleaning 127006 clauses out of 254038 with flag 34387672/8524184
2383.27/2362.24	c cleaning 128000 clauses out of 256034 with flag 34864577/8653186
2439.22/2417.70	c cleaning 129002 clauses out of 258032 with flag 35393235/8783184
2509.20/2487.34	c cleaning 129992 clauses out of 260030 with flag 35903961/8914184
2566.13/2544.07	c cleaning 130999 clauses out of 262038 with flag 36473127/9046184
2621.54/2599.50	c cleaning 132007 clauses out of 264040 with flag 36960711/9179185
2675.24/2653.40	c cleaning 132993 clauses out of 266032 with flag 37496848/9313184
2723.89/2701.73	c cleaning 134003 clauses out of 268039 with flag 38070559/9448184
2776.45/2754.19	c cleaning 135004 clauses out of 270038 with flag 38599294/9584186
2848.56/2826.28	c cleaning 135995 clauses out of 272033 with flag 39127225/9721185
2911.96/2889.35	c cleaning 137002 clauses out of 274037 with flag 39661598/9859184
2968.53/2945.76	c cleaning 138006 clauses out of 276035 with flag 40148699/9998184
3033.75/3010.83	c cleaning 138994 clauses out of 278030 with flag 40620642/10138185
3095.57/3072.50	c cleaning 140003 clauses out of 280036 with flag 41137113/10279185
3151.21/3128.19	c cleaning 140998 clauses out of 282033 with flag 41642693/10421185
3204.19/3180.77	c cleaning 141997 clauses out of 284034 with flag 42205300/10564184
3253.57/3229.95	c cleaning 142998 clauses out of 286038 with flag 42745584/10708185
3309.29/3285.54	c cleaning 144007 clauses out of 288039 with flag 43309808/10853184
3364.45/3340.94	c cleaning 145006 clauses out of 290032 with flag 43827119/10999184
3412.88/3389.26	c cleaning 146000 clauses out of 292027 with flag 44366799/11146185
3461.33/3437.83	c cleaning 146998 clauses out of 294026 with flag 44874436/11294184
3518.21/3494.96	c cleaning 148001 clauses out of 296030 with flag 45419452/11443186
3576.10/3552.41	c cleaning 148999 clauses out of 298027 with flag 45942687/11593184
3600.05/3576.42	c starts		: 35
3600.05/3576.44	c conflicts		: 11678336
3600.05/3576.44	c decisions		: 12891107
3600.05/3576.44	c propagations		: 812347563
3600.05/3576.44	c inspects		: 28586288584
3600.05/3576.44	c shortcuts		: 0
3600.05/3576.44	c learnt literals	: 0
3600.05/3576.44	c learnt binary clauses	: 0
3600.05/3576.44	c learnt ternary clauses	: 0
3600.05/3576.44	c learnt constraints	: 11678336
3600.05/3576.44	c ignored constraints	: 0
3600.05/3576.44	c root simplifications	: 0
3600.05/3576.44	c removed literals (reason simplification)	: 0
3600.05/3576.44	c reason swapping (by a shorter reason)	: 0
3600.05/3576.44	c Calls to reduceDB	: 165
3600.05/3576.44	c Number of update (reduction) of LBD	: 1832951
3600.05/3576.44	c Imported unit clauses	: 0
3600.05/3576.44	c No decision after first conflict	: false
3600.05/3576.44	c number of reductions to clauses (during analyze)	: 0
3600.05/3576.44	c number of learned constraints concerned by reduction	: 0
3600.05/3576.44	c number of learning phase by resolution	: 0
3600.05/3576.44	c number of learning phase by cutting planes	: 0
3600.05/3576.44	c number of rounding to 1 operations	: 0
3600.05/3576.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3576.44	c number of reductions of the coefficients by power 2 	: 0
3600.05/3576.44	c number of right shift for reduction by power 2 	: 0
3600.05/3576.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3576.44	c number of ending skipping 	: 0
3600.05/3576.44	c number of internal skipping 	: 0
3600.05/3576.44	c number of derivation steps 	: 0
3600.05/3576.44	c number of skipped derivation steps 	: 0
3600.05/3576.44	c number of remaining unassigned 	: 0
3600.05/3576.44	c number of remaining assigned 	: 0
3600.05/3576.44	c number of falsified literals weakened from reason	: 0
3600.05/3576.44	c number of falsified literals weakened from conflict	: 0
3600.05/3576.44	c time for arithmetic operations	: 0
3600.05/3576.44	c minimum degree of deleted constraints	: null
3600.05/3576.44	c maximum degree of deleted constraints	: null
3600.05/3576.45	c number of deleted constraints	: 0
3600.05/3576.45	c speed (assignments/second)	: 227185.15890703574
3600.05/3576.45	c non guided choices	: 110589
3600.25/3576.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 234180
3600.25/3576.58	s SATISFIABLE
3600.25/3576.59	c Found 5 solution(s)
3600.25/3576.59	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 -x14 x15 x16 -x17 x18 x19 x20 x21 x22 -x23 x24 x25 x26 -x27 x28 -x29 x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 x3942 -x3943 x3944 -x3945 -x3946 -x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 x3983 -x3984 -x3985 -x3986 -x3987 x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 x4121 -x4122 -x4123 -x4124 -x4125 x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 x4341 x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 x4777 -x4778 -x4779 x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5023 x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 x5637 -x5638 -x5639 x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 x5725 x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 x5872 -x5873 -x5874 x5875 -x5876 -x5877 -x5878 -x5879 -x5880 x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 x6439 x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 x6823 -x6824 -x6825 -x6826 x6827 -x6828 -x6829 -x6830 -x6831 -x6832 x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 x6851 -x6852 x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 x6949 -x6950 -x6951 -x6952 -x6953 x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 x7161 -x7162 x7163 -x7164 -x7165 -x7166 -x7167 -x7168 x7169 -x7170 -x7171 -x7172 -x7173 -x7174 x7175 -x7176 -x7177 -x7178 -x7179 x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 x7218 x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 x7226 -x7227 -x7228 -x7229 x7230 x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 x7542 -x7543 -x7544 -x7545 -x7546 x7547 -x7548 -x7549 -x7550 -x7551 -x7552 x7553 -x7554 -x7555 -x7556 -x7557 -x7558 x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 x7704 -x7705 -x7706 x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 x8101 -x8102 -x8103 x8104 -x8105 x8106 -x8107 -x8108 -x8109 -x8110 x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 x8118 -x8119 -x8120 x8121 x8122 -x8123 -x8124 x8125 x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 x8159 -x8160 -x8161 -x8162 x8163 x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 x8175 x8176 -x8177 -x8178 x8179 -x8180 -x8181 -x8182 -x8183 -x8184 x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 x8208 -x8209 -x8210 x8211 x8212 -x8213 x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 x8237 -x8238 -x8239 -x8240 -x8241 x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 x8315 x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 x8328 x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 x8356 -x8357 x8358 -x8359 -x8360 -x8361 -x8362 -x8363 x8364 -x8365 x8366 x8367 x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 
3600.44/3576.64	c objective function=26
3600.44/3576.64	c Total wall clock time (in seconds): 3576.28

OK	26

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (60448 MiB free)
  memory of node 1: 64510 MiB (61607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432534-1721175300/watcher-4432534-1721175300 -o /tmp/evaluation-result-4432534-1721175300/solver-4432534-1721175300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721175312-874321 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432534-1721175300.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=874380, runsolver pid=874374

[startup+0.100142 s]*
/proc/loadavg: 1.09 2.26 3.30 11/312 874452
/proc/meminfo: memFree=124848700/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=18975048 memory=56152 CPUtime=0.12 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 6782 0 0 0 8 4 0 0 20 0 18 0 169686134 19430449152 14038 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4743762 14038 5394 1 0 550724 0
[pid=874380/tid=874387] ppid=874374 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 5724 0 0 0 4 3 0 0 20 0 18 0 169686135 19430449152 14038 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 14038 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169686142 19430449152 14038 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56152 KiB

[startup+0.216172 s]*
/proc/loadavg: 1.09 2.26 3.30 17/312 874452
/proc/meminfo: memFree=124827120/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=18975048 memory=58952 CPUtime=0.28 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 7311 0 0 0 23 5 0 0 20 0 18 0 169686134 19430449152 14738 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4743762 14738 5618 1 0 551172 0
[pid=874380/tid=874387] ppid=874374 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 6083 0 0 0 14 4 0 0 20 0 18 0 169686135 19430449152 14767 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 14767 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169686142 19430449152 14767 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58952 KiB

[startup+0.318366 s]*
/proc/loadavg: 1.09 2.26 3.30 14/312 874452
/proc/meminfo: memFree=124794492/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=18975048 memory=65348 CPUtime=0.44 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 7711 0 0 0 38 6 0 0 20 0 18 0 169686134 19430449152 16337 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4743762 16337 5723 1 0 551480 0
[pid=874380/tid=874387] ppid=874374 vsize=18975048 memory=-9103295919907250876 CPUtime=0.26 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 6236 0 0 0 22 4 0 0 20 0 18 0 169686135 19430449152 16337 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 16337 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169686142 19430449152 16337 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65348 KiB

[startup+0.701137 s]
/proc/loadavg: 1.09 2.26 3.30 13/312 874452
/proc/meminfo: memFree=124668544/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=18975048 memory=116104 CPUtime=1.14 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 9660 0 0 0 106 8 0 0 20 0 18 0 169686134 19430449152 29026 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4743762 29026 5798 1 0 552778 0
[pid=874380/tid=874387] ppid=874374 vsize=18975048 memory=5616 CPUtime=0.56 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 6387 0 0 0 50 6 0 0 20 0 18 0 169686135 19430449152 29026 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=18975048 memory=11884 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 29026 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169686142 19430449152 29026 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116104 KiB

[startup+1.50113 s]
/proc/loadavg: 1.09 2.26 3.30 12/317 874457
/proc/meminfo: memFree=124495312/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19041612 memory=139344 CPUtime=2.72 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 15839 0 0 0 262 10 0 0 20 0 19 0 169686134 19498610688 34836 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4760403 34836 5868 1 0 554958 0
[pid=874380/tid=874387] ppid=874374 vsize=19041612 memory=11884 CPUtime=1.31 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 7174 0 0 0 125 6 0 0 20 0 19 0 169686135 19498610688 34836 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169686141 19498610688 34836 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169686142 19498610688 34836 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169686208 19498610688 34836 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139344 KiB

[startup+3.12115 s]
/proc/loadavg: 1.56 2.34 3.32 7/320 874460
/proc/meminfo: memFree=124167700/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=195592 CPUtime=5.2 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 17827 0 0 0 508 12 0 0 20 0 20 0 169686134 19566772224 48898 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 48898 5868 1 0 555299 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=0 CPUtime=2.89 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 8085 0 0 0 282 7 0 0 20 0 20 0 169686135 19566772224 48898 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 48898 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 48898 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 48898 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195592 KiB

[startup+6.30039 s]
/proc/loadavg: 1.56 2.34 3.32 6/320 874462
/proc/meminfo: memFree=123615096/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=361844 CPUtime=8.82 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 18758 0 0 0 866 16 0 0 20 0 20 0 169686134 19566772224 90461 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 90461 5868 1 0 555299 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=0 CPUtime=5.61 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 8098 0 0 0 554 7 0 0 20 0 20 0 169686135 19566772224 90461 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 90461 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 90461 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=42360 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 90461 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 8.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 361844 KiB

[startup+12.7004 s]
/proc/loadavg: 1.76 2.37 3.32 9/320 874462
/proc/meminfo: memFree=122655440/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=850140 CPUtime=15.56 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 22444 0 0 0 1530 26 0 0 20 0 20 0 169686134 19566772224 212535 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 212535 5875 1 0 1073331 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=626256 CPUtime=11.59 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 9097 0 0 0 1149 10 0 0 20 0 20 0 169686135 19566772224 212535 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=562736 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 212535 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 212535 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 212535 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 15.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 850140 KiB

[startup+25.5005 s]
/proc/loadavg: 2.33 2.47 3.34 7/320 874465
/proc/meminfo: memFree=120434760/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=1310896 CPUtime=28.96 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 27961 0 0 0 2860 36 0 0 20 0 20 0 169686134 19566772224 327724 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 327724 5891 1 0 1194479 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=11596 CPUtime=23.82 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 10059 0 0 0 2370 12 0 0 20 0 20 0 169686135 19566772224 327724 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=520456 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 327724 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=1100644 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 327724 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=1100644 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 327724 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 28.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1310896 KiB

[startup+51.1133 s]
/proc/loadavg: 2.98 2.61 3.37 6/317 874470
/proc/meminfo: memFree=116823756/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=1980976 CPUtime=55.18 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 31291 0 0 0 5466 52 0 0 20 0 20 0 169686134 19566772224 495244 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 495244 5891 1 0 1194490 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=1980976 CPUtime=48.65 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 11532 0 0 0 4851 14 0 0 20 0 20 0 169686135 19566772224 495244 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=1980976 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 495244 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 495244 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0

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

[startup+3222.3 s]
/proc/loadavg: 3.22 3.26 3.59 6/292 876261
/proc/meminfo: memFree=94391812/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=7317196 CPUtime=3245.99 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 193259 0 0 0 324275 324 0 0 20 0 20 0 169686134 19566772224 1829299 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 1829299 5891 1 0 2264486 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=16216 CPUtime=3181.82 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 55105 0 0 0 318143 39 0 0 20 0 20 0 169686135 19566772224 1829299 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=7317196 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 1829299 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=7317196 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 1438 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 1829299 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=7317196 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 1829299 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 3245.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7317196 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.22 3.55 6/292 876272
/proc/meminfo: memFree=94389220/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=7319244 CPUtime=3306.09 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 193950 0 0 0 330283 326 0 0 20 0 20 0 169686134 19566772224 1829811 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 1829811 5891 1 0 2264486 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=11596 CPUtime=3241.37 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 55668 0 0 0 324098 39 0 0 20 0 20 0 169686135 19566772224 1829811 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=7319244 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 1829811 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 1446 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 1829811 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 1829811 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 3306.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7319244 KiB

[startup+3342.3 s]
/proc/loadavg: 3.22 3.23 3.53 5/294 876286
/proc/meminfo: memFree=94384372/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=7323352 CPUtime=3366 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 194530 0 0 0 336271 329 0 0 20 0 20 0 169686134 19566772224 1830838 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 1830838 5891 1 0 2264486 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=7323352 CPUtime=3300.54 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 56098 0 0 0 330015 39 0 0 20 0 20 0 169686135 19566772224 1830838 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=7319244 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 1830838 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=7319244 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 1446 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 1830838 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=11596 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 1830838 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 3366 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7323352 KiB

[startup+3402.3 s]
/proc/loadavg: 3.19 3.21 3.51 5/294 876296
/proc/meminfo: memFree=94382052/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=7325400 CPUtime=3425.87 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 195074 0 0 0 342256 331 0 0 20 0 20 0 169686134 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 1831350 5891 1 0 2264486 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=7325400 CPUtime=3359.64 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 56457 0 0 0 335925 39 0 0 20 0 20 0 169686135 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=7319244 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=7325400 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 1446 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=7325400 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 3425.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7325400 KiB

[startup+3462.3 s]
/proc/loadavg: 2.96 3.16 3.47 4/268 876341
/proc/meminfo: memFree=108610624/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=7325400 CPUtime=3485.78 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 195603 0 0 0 348244 334 0 0 20 0 20 0 169686134 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 1831350 5891 1 0 2264486 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=7319244 CPUtime=3418.69 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 56763 0 0 0 341830 39 0 0 20 0 20 0 169686135 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=7325400 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=7325400 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 1446 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=7325400 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 3485.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7325400 KiB

[startup+3522.3 s]
/proc/loadavg: 2.42 2.96 3.38 4/268 876351
/proc/meminfo: memFree=108610552/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=7325400 CPUtime=3545.68 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 198313 0 0 0 354230 338 0 0 20 0 20 0 169686134 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 1831350 5891 1 0 2264486 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=11596 CPUtime=3478.27 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 57658 0 0 0 347788 39 0 0 20 0 20 0 169686135 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=5636 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=-8887404612770177724 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 1533 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=26108 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 1831350 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 3545.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7325400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3576.4 s]
/proc/loadavg: 1.94 2.75 3.28 2/242 876394
/proc/meminfo: memFree=117522364/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19108176 memory=7458700 CPUtime=3600.05 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 199046 0 0 0 359662 343 0 0 20 0 20 0 169686134 19566772224 1864675 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4777044 1864675 5891 1 0 2264486 0
[pid=874380/tid=874387] ppid=874374 vsize=19108176 memory=11884 CPUtime=3531.83 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 57990 0 0 0 353144 39 0 0 20 0 20 0 169686135 19566772224 1864675 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19108176 memory=7458700 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 1864675 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19108176 memory=5636 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 1541 0 0 0 0 0 0 0 20 0 20 0 169686142 19566772224 1864675 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874455] ppid=874374 vsize=19108176 memory=26108 CPUtime=0 cores=0,2
/proc/874380/task/874455/stat : 874455 (Timer-0) S 874374 874380 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686208 19566772224 1864675 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7458700 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.08 s, system=3.48742 s

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

[startup+3576.6 s]
/proc/loadavg: 1.94 2.75 3.28 2/242 876394
/proc/meminfo: memFree=117522364/131655788 swapFree=131071996/131071996
[pid=874380] ppid=874374 vsize=19307868 memory=7459468 CPUtime=3600.44 cores=0,2
/proc/874380/stat : 874380 (java) S 874374 874380 871785 0 -1 1077936128 201801 0 0 0 359700 344 0 0 20 0 21 0 169686134 19771256832 1864867 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
/proc/874380/statm: 4826967 1864867 5890 1 0 2265401 0
[pid=874380/tid=874387] ppid=874374 vsize=19307868 memory=33224 CPUtime=3531.99 cores=0,2
/proc/874380/task/874387/stat : 874387 (java) R 874374 874380 871785 0 -1 4194368 58082 0 0 0 353160 39 0 0 20 0 21 0 169686135 19771256832 1864867 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874434] ppid=874374 vsize=19307868 memory=32692 CPUtime=0 cores=0,2
/proc/874380/task/874434/stat : 874434 (Finalizer) S 874374 874380 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169686141 19771256832 1864867 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
[pid=874380/tid=874450] ppid=874374 vsize=19307868 memory=8316 CPUtime=0 cores=0,2
/proc/874380/task/874450/stat : 874450 (Common-Cleaner) S 874374 874380 871785 0 -1 1077936192 1541 0 0 0 0 0 0 0 20 0 21 0 169686142 19771256832 1864867 134679101440 94276084957184 94276084960880 140727788512416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276084968696 94276084969488 94276097863680 140727788520455 140727788520545 140727788520545 140727788527560 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 7459468 KiB

Child status: 143

Real time (s): 3576.68
CPU time (s): 3600.57
CPU user time (s): 3597.08
CPU system time (s): 3.48742
CPU usage (%): 100.668
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 7459468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.08
system time used= 3.48741
maximum resident set size= 7460604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112293
involuntary context switches= 28208


# summary of solver processes directly reported to runsolver:
#   pid: 874380
#   total CPU time (s): 3600.57
#   total CPU user time (s): 3597.08
#   total CPU system time (s): 3.48742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7025 second user time and 36.2332 second system time

The end

Begin job on nodeC003 at 2024-07-17 02:15:12
IDJOB=4432534
IDBENCH=158623
IDSOLVER=3058
FILE ID=nodeC003/4432534-1721175300
RUNJOBID= nodeC003-1721175312-874321
SLURM_JOB_ID= 7505806
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432534-1721175300/watcher-4432534-1721175300 -o /tmp/evaluation-result-4432534-1721175300/solver-4432534-1721175300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721175312-874321 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432534-1721175300.opb

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

MD5SUM BENCH= 77f517750a725db7576a06de15f60331
RANDOM SEED=1164166739

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.227
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3474.029
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.222
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.225
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.223
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.221
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.224
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.228
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124989680 kB
MemAvailable:   129861416 kB
Buffers:          444624 kB
Cached:          5208488 kB
SwapCached:            0 kB
Active:           772032 kB
Inactive:        5232108 kB
Active(anon):       1364 kB
Inactive(anon):   387036 kB
Active(file):     770668 kB
Inactive(file):  4845072 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5132 kB
Writeback:             0 kB
AnonPages:        350708 kB
Mapped:           104624 kB
Shmem:             37704 kB
KReclaimable:     192728 kB
Slab:             303368 kB
SReclaimable:     192728 kB
SUnreclaim:       110640 kB
KernelStack:        3664 kB
PageTables:         9720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     741704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-17 03:14:49