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

OK	861

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100298 s]*
/proc/loadavg: 4.56 4.43 4.40 5/338 137293
/proc/meminfo: memFree=17981296/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=18975048 memory=64980 CPUtime=0.13 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 7204 0 0 0 11 2 0 0 20 0 18 0 13787120 19430449152 16245 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4743762 16245 5643 1 0 549328 0
[pid=137275/tid=137277] ppid=137272 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 5739 0 0 0 6 2 0 0 20 0 18 0 13787121 19430449152 16245 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13787123 19430449152 16245 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=18975048 memory=14973373507726935 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13787124 19430449152 16245 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64980 KiB

[startup+0.214388 s]*
/proc/loadavg: 4.56 4.43 4.40 7/338 137293
/proc/meminfo: memFree=17958876/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=18975048 memory=85740 CPUtime=0.35 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 8483 0 0 0 32 3 0 0 20 0 18 0 13787120 19430449152 21435 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4743762 21435 5808 1 0 550174 0
[pid=137275/tid=137277] ppid=137272 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 5919 0 0 0 17 2 0 0 20 0 18 0 13787121 19430449152 21435 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=18975048 memory=5742 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13787123 19430449152 21435 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13787124 19430449152 21435 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 85740 KiB

[startup+0.311591 s]*
/proc/loadavg: 4.56 4.43 4.40 6/338 137293
/proc/meminfo: memFree=17922996/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=18975048 memory=119736 CPUtime=0.54 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 9689 0 0 0 50 4 0 0 20 0 18 0 13787120 19430449152 29934 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4743762 29934 5808 1 0 550916 0
[pid=137275/tid=137277] ppid=137272 vsize=18975048 memory=-9031520887540327100 CPUtime=0.29 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 5936 0 0 0 26 3 0 0 20 0 18 0 13787121 19430449152 29934 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13787123 19430449152 29934 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13787124 19430449152 29934 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 119736 KiB

[startup+0.700389 s]
/proc/loadavg: 4.56 4.43 4.40 6/339 137294
/proc/meminfo: memFree=17862216/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19041612 memory=198360 CPUtime=1.27 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 17557 0 0 0 120 7 0 0 20 0 19 0 13787120 19498610688 49590 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4760403 49590 5808 1 0 556142 0
[pid=137275/tid=137277] ppid=137272 vsize=19041612 memory=5616 CPUtime=0.63 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) S 137272 137275 132609 0 -1 1077936192 5962 0 0 0 59 4 0 0 20 0 19 0 13787121 19498610688 49590 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19041612 memory=12404 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13787123 19498610688 49590 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13787124 19498610688 49590 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 198360 KiB

[startup+1.50039 s]
/proc/loadavg: 4.56 4.43 4.40 7/339 137294
/proc/meminfo: memFree=17775712/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19041612 memory=417888 CPUtime=2.44 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 19214 0 0 0 231 13 0 0 20 0 19 0 13787120 19498610688 104472 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4760403 104472 5824 1 0 1013730 0
[pid=137275/tid=137277] ppid=137272 vsize=19041612 memory=12404 CPUtime=1.29 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 6053 0 0 0 121 8 0 0 20 0 19 0 13787121 19498610688 104472 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13787123 19498610688 104472 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13787124 19498610688 104472 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 417888 KiB

[startup+3.10639 s]
/proc/loadavg: 4.59 4.44 4.40 6/340 137297
/proc/meminfo: memFree=17320208/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=688260 CPUtime=5.55 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 21344 0 0 0 535 20 0 0 20 0 20 0 13787120 19566772224 172065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 172065 5876 1 0 1629265 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=198340509722 CPUtime=2.78 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 6347 0 0 0 264 14 0 0 20 0 20 0 13787121 19566772224 172065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 172065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 172065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=433940 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 172065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 688260 KiB

[startup+6.3004 s]
/proc/loadavg: 4.59 4.44 4.40 5/340 137297
/proc/meminfo: memFree=17037420/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=876260 CPUtime=10.37 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 21815 0 0 0 1009 28 0 0 20 0 20 0 13787120 19566772224 219065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 219065 5876 1 0 1629323 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=0 CPUtime=5.8 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 6457 0 0 0 561 19 0 0 20 0 20 0 13787121 19566772224 219065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 219065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=507264 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 219065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=876260 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 219065 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 10.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 876260 KiB

[startup+12.7002 s]
/proc/loadavg: 4.50 4.42 4.40 5/340 137298
/proc/meminfo: memFree=16614740/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=1198508 CPUtime=16.87 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 28077 0 0 0 1651 36 0 0 20 0 20 0 13787120 19566772224 299627 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 299627 5908 1 0 1629323 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=1198508 CPUtime=12.15 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 7435 0 0 0 1190 25 0 0 20 0 20 0 13787121 19566772224 299627 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 299627 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=6083916047397249875 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 299627 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 299627 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 16.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1198508 KiB

[startup+25.5002 s]
/proc/loadavg: 4.50 4.42 4.40 5/340 137300
/proc/meminfo: memFree=15538140/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=2036240 CPUtime=29.64 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 30566 0 0 0 2905 59 0 0 20 0 20 0 13787120 19566772224 509060 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 509060 5908 1 0 1629328 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=6083916047397249875 CPUtime=24.87 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 8783 0 0 0 2439 48 0 0 20 0 20 0 13787121 19566772224 509060 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 509060 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=32060 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 509060 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=-9031520887540327100 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 509060 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 29.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2036240 KiB

[startup+51.1059 s]
/proc/loadavg: 4.62 4.46 4.41 5/340 137303
/proc/meminfo: memFree=13338488/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=3809896 CPUtime=55.22 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 40570 0 0 0 5419 103 0 0 20 0 20 0 13787120 19566772224 952474 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 952474 5908 1 0 1629328 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=2933352 CPUtime=50.29 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 12183 0 0 0 4938 91 0 0 20 0 20 0 13787121 19566772224 952474 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 952474 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 952474 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 952474 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0

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

/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 168350 0 0 0 321689 1097 0 0 20 0 20 0 13787121 19566772224 1558258 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3414 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 1558258 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=16076 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 1558258 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=30384 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 1558258 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 3251.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6233032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.25 4.20 5/336 139659
/proc/meminfo: memFree=72330384/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=6290404 CPUtime=3311.75 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 306493 0 0 0 329924 1251 0 0 20 0 20 0 13787120 19566772224 1572601 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 1572601 5908 1 0 1629342 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=6290384 CPUtime=3287.18 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 171336 0 0 0 327603 1115 0 0 20 0 20 0 13787121 19566772224 1572601 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3444 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 1572601 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=6290384 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 3891 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 1572601 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=-9031520887540327100 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 1572601 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 3311.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6290404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.22 4.19 5/334 139669
/proc/meminfo: memFree=71966628/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=6290412 CPUtime=3371.43 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 311506 0 0 0 335874 1269 0 0 20 0 20 0 13787120 19566772224 1572603 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 1572603 5908 1 0 1629342 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=6290384 CPUtime=3346.71 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 174685 0 0 0 333539 1132 0 0 20 0 20 0 13787121 19566772224 1572603 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3469 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=6290384 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 1572603 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=6290412 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 4034 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 1572603 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=6290412 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 1572603 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 3371.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6290412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/334 139679
/proc/meminfo: memFree=71603892/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=6325236 CPUtime=3431 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 317070 0 0 0 341811 1289 0 0 20 0 20 0 13787120 19566772224 1581309 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 1581309 5908 1 0 1629342 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=6290384 CPUtime=3405.79 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 177888 0 0 0 339429 1150 0 0 20 0 20 0 13787121 19566772224 1581309 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3490 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=6290384 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 1581309 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=6325236 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 4128 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 1581309 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=52180 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 1581309 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 3431 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6325236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/334 139689
/proc/meminfo: memFree=71266660/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=6325260 CPUtime=3490.59 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 321773 0 0 0 347751 1308 0 0 20 0 20 0 13787120 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 1581315 5908 1 0 1629342 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=6325236 CPUtime=3465.16 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 180893 0 0 0 345349 1167 0 0 20 0 20 0 13787121 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3512 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=6325236 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=16076 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 4230 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=6325260 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 3490.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6325260 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/336 139703
/proc/meminfo: memFree=70924624/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=6325260 CPUtime=3550.36 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 327047 0 0 0 353710 1326 0 0 20 0 20 0 13787120 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 1581315 5908 1 0 1629342 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=6325260 CPUtime=3524.56 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 184129 0 0 0 351272 1184 0 0 20 0 20 0 13787121 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3539 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=52180 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=6325260 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 4367 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 1581315 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 3550.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6325260 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3632.11 s]
/proc/loadavg: 4.08 4.15 4.17 5/336 139711
/proc/meminfo: memFree=70654084/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19108176 memory=6325264 CPUtime=3600.07 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 331972 0 0 0 358664 1343 0 0 20 0 20 0 13787120 19566772224 1581316 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4777044 1581316 5908 1 0 1629342 0
[pid=137275/tid=137277] ppid=137272 vsize=19108176 memory=6290420 CPUtime=3574.02 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 186910 0 0 0 356202 1200 0 0 20 0 20 0 13787121 19566772224 1581316 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3550 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13787123 19566772224 1581316 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19108176 memory=6325260 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 4508 0 0 0 0 0 0 0 20 0 20 0 13787124 19566772224 1581316 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137297] ppid=137272 vsize=19108176 memory=6325260 CPUtime=0 cores=1,3
/proc/137275/task/137297/stat : 137297 (Timer-0) S 137272 137275 132609 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13787285 19566772224 1581316 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6325264 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.92 s, system=13.4694 s

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

[startup+3632.21 s]
/proc/loadavg: 4.08 4.15 4.17 5/336 139711
/proc/meminfo: memFree=70654084/131524600 swapFree=131071996/131071996
[pid=137275] ppid=137272 vsize=19307868 memory=6326068 CPUtime=3600.25 cores=1,3
/proc/137275/stat : 137275 (java) S 137272 137275 132609 0 -1 1077936128 334991 0 0 0 358682 1343 0 0 20 0 21 0 13787120 19771256832 1581517 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
/proc/137275/statm: 4826967 1581517 5907 1 0 1630262 0
[pid=137275/tid=137277] ppid=137272 vsize=19307868 memory=-9031520887540327100 CPUtime=3574.12 cores=1,3
/proc/137275/task/137277/stat : 137277 (java) R 137272 137275 132609 0 -1 4194368 187031 0 0 0 356212 1200 0 0 20 0 21 0 13787121 19771256832 1581517 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3550 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137286] ppid=137272 vsize=19307868 memory=5597 CPUtime=0 cores=1,3
/proc/137275/task/137286/stat : 137286 (Finalizer) S 137272 137275 132609 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13787123 19771256832 1581517 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
[pid=137275/tid=137293] ppid=137272 vsize=19307868 memory=2580 CPUtime=0 cores=1,3
/proc/137275/task/137293/stat : 137293 (Common-Cleaner) S 137272 137275 132609 0 -1 1077936192 4508 0 0 0 0 0 0 0 20 0 21 0 13787124 19771256832 1581517 134679101440 94067770355712 94067770359408 140733893769600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94067770367224 94067770368016 94067791425536 140733893772203 140733893772385 140733893772385 140733893779400 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6326068 KiB

[startup+3632.3 s]*
/proc/loadavg: 4.16 4.17 4.17 5/318 139714
/proc/meminfo: memFree=76964756/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3632.35
CPU time (s): 3600.39
CPU user time (s): 3586.92
CPU system time (s): 13.4694
CPU usage (%): 99.12
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6326068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.92
system time used= 13.4695
maximum resident set size= 6326960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22972960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111269
involuntary context switches= 9523


# summary of solver processes directly reported to runsolver:
#   pid: 137275
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3586.92
#   total CPU system time (s): 13.4694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.28125 second user time and 17.9159 second system time

The end

Begin job on nodeC025 at 2024-07-24 00:09:41
IDJOB=4440307
IDBENCH=147565
IDSOLVER=3079
FILE ID=nodeC025/4440307-1721772581
RUNJOBID= nodeC025-1721765643-132621
SLURM_JOB_ID= 7770670
Free space on /tmp= 889988 MiB

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

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1127349967

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        18025104 kB
MemAvailable:   92701472 kB
Buffers:          195060 kB
Cached:         75152644 kB
SwapCached:            0 kB
Active:          1324436 kB
Inactive:       111186340 kB
Active(anon):       1528 kB
Inactive(anon): 37207568 kB
Active(file):    1322908 kB
Inactive(file): 73978772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            240244 kB
Writeback:            48 kB
AnonPages:      37163192 kB
Mapped:           128592 kB
Shmem:             45912 kB
KReclaimable:     429024 kB
Slab:             553524 kB
SReclaimable:     429024 kB
SUnreclaim:       124500 kB
KernelStack:        5136 kB
PageTables:        82928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   37650960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21024 kB
HardwareCorrupted:     0 kB
AnonHugePages:  36237312 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:      312020 kB
DirectMap2M:    26724352 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC025 at 2024-07-24 01:10:13