0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.12/0.10	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4489882-1751344642.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  objective function found
2.37/1.59	c ... done. Wall clock time 1.447s.
2.37/1.59	c declared #vars     10000
2.37/1.59	c #constraints  656900
2.37/1.59	c constraints type 
2.37/1.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.37/1.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.37/1.59	c 656900 constraints processed.
2.50/1.60	c objective function length is 10000 literals
2.70/1.75	c SATISFIABLE
2.70/1.75	c OPTIMIZING...
2.70/1.75	c Got one! Elapsed wall clock time (in seconds):1.612
2.70/1.75	o 1333
2.90/1.89	c Got one! Elapsed wall clock time (in seconds):1.749
2.90/1.89	o 1133
3.30/2.00	c Got one! Elapsed wall clock time (in seconds):1.865
3.30/2.00	o 1110
3.51/2.18	c Got one! Elapsed wall clock time (in seconds):2.043
3.51/2.18	o 861
5.22/3.29	c cleaning 2629 clauses out of 5297 with flag 12745/5297
6.59/4.36	c cleaning 4333 clauses out of 8667 with flag 28753/11296
8.31/6.03	c cleaning 5661 clauses out of 11334 with flag 47551/18296
10.16/7.88	c cleaning 6835 clauses out of 13673 with flag 70495/26296
12.43/10.03	c cleaning 7920 clauses out of 15839 with flag 96955/35297
14.61/12.29	c cleaning 8954 clauses out of 17918 with flag 124565/45296
17.21/14.84	c cleaning 9982 clauses out of 19965 with flag 156844/56297
19.91/17.54	c cleaning 10986 clauses out of 21983 with flag 192030/68297
23.00/20.67	c cleaning 11998 clauses out of 23997 with flag 230990/81297
26.40/24.10	c cleaning 12998 clauses out of 25999 with flag 271755/95297
29.80/27.49	c cleaning 14001 clauses out of 28001 with flag 316516/110297
33.52/31.12	c cleaning 14988 clauses out of 29999 with flag 364041/126296
37.40/35.06	c cleaning 16004 clauses out of 32012 with flag 415226/143297
41.92/39.57	c cleaning 16990 clauses out of 34010 with flag 470188/161299
46.51/44.13	c cleaning 18002 clauses out of 36017 with flag 530122/180296
51.40/49.06	c cleaning 19002 clauses out of 38016 with flag 592138/200297
56.73/54.36	c cleaning 20004 clauses out of 40017 with flag 657682/221300
62.03/59.66	c cleaning 21006 clauses out of 42014 with flag 727063/243301
67.71/65.30	c cleaning 22001 clauses out of 44004 with flag 800316/266297
73.60/71.27	c cleaning 22993 clauses out of 46002 with flag 879466/290296
79.78/77.43	c cleaning 24000 clauses out of 48010 with flag 960272/315297
85.67/83.34	c cleaning 24995 clauses out of 50009 with flag 1043278/341296
91.86/89.59	c cleaning 25999 clauses out of 52015 with flag 1129362/368297
98.54/96.27	c cleaning 27006 clauses out of 54016 with flag 1229610/396297
105.52/103.20	c cleaning 27993 clauses out of 56009 with flag 1326797/425296
113.18/110.81	c cleaning 29003 clauses out of 58016 with flag 1433950/455296
121.07/118.75	c cleaning 29997 clauses out of 60013 with flag 1538966/486296
129.05/126.78	c cleaning 31001 clauses out of 62016 with flag 1638619/518296
137.35/135.05	c cleaning 31998 clauses out of 64015 with flag 1749928/551296
145.72/143.48	c cleaning 33006 clauses out of 66018 with flag 1868850/585297
154.40/152.18	c cleaning 33991 clauses out of 68011 with flag 1991087/620296
163.38/161.19	c cleaning 35005 clauses out of 70021 with flag 2114692/656297
173.12/170.81	c cleaning 36005 clauses out of 72016 with flag 2241784/693297
183.50/181.23	c cleaning 37003 clauses out of 74010 with flag 2375154/731296
193.68/191.48	c cleaning 38001 clauses out of 76007 with flag 2522337/770296
204.36/202.18	c cleaning 38994 clauses out of 78006 with flag 2665020/810296
216.03/213.83	c cleaning 40005 clauses out of 80012 with flag 2807313/851296
228.11/225.92	c cleaning 40999 clauses out of 82009 with flag 2953888/893298
239.55/237.31	c cleaning 41995 clauses out of 84008 with flag 3108217/936296
251.52/249.37	c cleaning 43005 clauses out of 86013 with flag 3261083/980296
263.01/260.83	c cleaning 43989 clauses out of 88008 with flag 3419195/1025296
275.48/273.37	c cleaning 44998 clauses out of 90020 with flag 3588538/1071297
287.66/285.58	c cleaning 46002 clauses out of 92021 with flag 3756771/1118296
300.34/298.29	c cleaning 47003 clauses out of 94021 with flag 3928716/1166298
313.57/311.41	c cleaning 48004 clauses out of 96016 with flag 4105863/1215296
327.34/325.24	c cleaning 49005 clauses out of 98012 with flag 4290899/1265296
340.72/338.66	c cleaning 49999 clauses out of 100008 with flag 4472466/1316297
354.60/352.54	c cleaning 50998 clauses out of 102008 with flag 4652944/1368296
369.26/367.16	c cleaning 51997 clauses out of 104010 with flag 4844655/1421296
384.32/382.21	c cleaning 53002 clauses out of 106014 with flag 5039352/1475297
398.59/396.57	c cleaning 53998 clauses out of 108011 with flag 5239802/1530296
414.55/412.57	c cleaning 55004 clauses out of 110014 with flag 5446894/1586297
430.42/428.46	c cleaning 55999 clauses out of 112010 with flag 5661520/1643297
445.67/443.62	c cleaning 57001 clauses out of 114010 with flag 5876843/1701296
461.14/459.18	c cleaning 57994 clauses out of 116011 with flag 6095305/1760298
477.20/475.28	c cleaning 59003 clauses out of 118016 with flag 6303329/1820297
493.87/492.00	c cleaning 59999 clauses out of 120012 with flag 6526958/1881296
511.02/509.04	c cleaning 61005 clauses out of 122013 with flag 6742502/1943296
527.68/525.73	c cleaning 61994 clauses out of 124008 with flag 6974590/2006296
545.04/543.15	c cleaning 62997 clauses out of 126014 with flag 7202718/2070296
561.71/559.82	c cleaning 64002 clauses out of 128018 with flag 7454387/2135297
579.63/577.76	c cleaning 65007 clauses out of 130015 with flag 7709781/2201296
597.60/595.75	c cleaning 65985 clauses out of 132008 with flag 7970840/2268296
616.16/614.33	c cleaning 66999 clauses out of 134023 with flag 8233347/2336296
635.69/633.85	c cleaning 68005 clauses out of 136024 with flag 8494742/2405296
655.85/654.07	c cleaning 69006 clauses out of 138020 with flag 8768488/2475297
674.21/672.47	c cleaning 69989 clauses out of 140013 with flag 9067402/2546296
692.68/690.97	c cleaning 71000 clauses out of 142024 with flag 9376386/2618296
711.62/709.85	c cleaning 72005 clauses out of 144024 with flag 9684818/2691296
732.97/731.25	c cleaning 73010 clauses out of 146022 with flag 9991740/2765299
753.84/752.15	c cleaning 74000 clauses out of 148011 with flag 10298885/2840298
776.70/775.06	c cleaning 74998 clauses out of 150009 with flag 10612239/2916296
798.56/796.86	c cleaning 76003 clauses out of 152011 with flag 10914029/2993296
820.11/818.41	c cleaning 76996 clauses out of 154011 with flag 11230492/3071299
842.97/841.30	c cleaning 77998 clauses out of 156013 with flag 11555348/3150297
867.02/865.47	c cleaning 79001 clauses out of 158015 with flag 11864253/3230297
891.08/889.55	c cleaning 80006 clauses out of 160014 with flag 12194964/3311297
914.91/913.38	c cleaning 80994 clauses out of 162007 with flag 12514887/3393296
939.75/938.21	c cleaning 81993 clauses out of 164013 with flag 12852849/3476296
965.21/963.73	c cleaning 83004 clauses out of 166020 with flag 13186901/3560296
990.06/988.64	c cleaning 84003 clauses out of 168017 with flag 13515955/3645297
1016.29/1014.82	c cleaning 84995 clauses out of 170013 with flag 13862666/3731296
1042.34/1040.91	c cleaning 86002 clauses out of 172018 with flag 14217781/3818296
1069.58/1068.21	c cleaning 87003 clauses out of 174016 with flag 14566274/3906296
1098.13/1096.86	c cleaning 87998 clauses out of 176013 with flag 14937259/3995296
1124.41/1123.06	c cleaning 89002 clauses out of 178015 with flag 15325128/4085296
1152.14/1150.85	c cleaning 90005 clauses out of 180013 with flag 15718004/4176296
1182.59/1181.38	c cleaning 91000 clauses out of 182008 with flag 16115147/4268296
1210.33/1209.16	c cleaning 91994 clauses out of 184009 with flag 16505112/4361297
1236.58/1235.49	c cleaning 93003 clauses out of 186015 with flag 16891058/4455297
1262.93/1261.83	c cleaning 94000 clauses out of 188011 with flag 17281369/4550296
1290.26/1289.12	c cleaning 94991 clauses out of 190011 with flag 17676997/4646296
1317.21/1316.11	c cleaning 95999 clauses out of 192020 with flag 18090980/4743296
1344.25/1343.24	c cleaning 97007 clauses out of 194023 with flag 18496294/4841298
1372.50/1371.59	c cleaning 97991 clauses out of 196014 with flag 18899207/4940296
1400.64/1399.70	c cleaning 99008 clauses out of 198024 with flag 19316349/5040297
1430.48/1429.63	c cleaning 99997 clauses out of 200016 with flag 19743587/5141297
1460.62/1459.81	c cleaning 100994 clauses out of 202018 with flag 20173034/5243296
1491.17/1490.43	c cleaning 102004 clauses out of 204024 with flag 20625251/5346296
1522.51/1521.88	c cleaning 102999 clauses out of 206021 with flag 21059913/5450297
1552.84/1552.05	c cleaning 104007 clauses out of 208021 with flag 21514073/5555296
1584.28/1583.59	c cleaning 104997 clauses out of 210014 with flag 21989241/5661296
1617.42/1616.73	c cleaning 106005 clauses out of 212019 with flag 22465250/5768298
1652.44/1651.83	c cleaning 107003 clauses out of 214012 with flag 22927906/5876296
1686.98/1686.44	c cleaning 107997 clauses out of 216009 with flag 23390102/5985296
1721.74/1721.11	c cleaning 108996 clauses out of 218013 with flag 23867486/6095297
1755.47/1754.94	c cleaning 109994 clauses out of 220018 with flag 24363196/6206298
1790.70/1790.22	c cleaning 111004 clauses out of 222024 with flag 24857623/6318298
1827.44/1827.03	c cleaning 112001 clauses out of 224018 with flag 25363141/6431296
1865.07/1864.76	c cleaning 113006 clauses out of 226017 with flag 25874723/6545296
1901.11/1900.79	c cleaning 113990 clauses out of 228011 with flag 26392873/6660296
1935.05/1934.71	c cleaning 115004 clauses out of 230022 with flag 26899770/6776297
1967.99/1967.79	c cleaning 115995 clauses out of 232019 with flag 27424905/6893298
2000.83/2000.60	c cleaning 116997 clauses out of 234022 with flag 27939382/7011296
2035.16/2035.07	c cleaning 117993 clauses out of 236025 with flag 28469309/7130296
2069.91/2069.74	c cleaning 119007 clauses out of 238035 with flag 29014087/7250299
2106.54/2106.43	c cleaning 120002 clauses out of 240026 with flag 29554816/7371297
2141.58/2141.52	c cleaning 120998 clauses out of 242023 with flag 30134949/7493296
2176.91/2176.90	c cleaning 122004 clauses out of 244025 with flag 30708475/7616296
2212.76/2212.75	c cleaning 123004 clauses out of 246022 with flag 31275608/7740297
2249.19/2249.20	c cleaning 124002 clauses out of 248018 with flag 31855509/7865297
2287.13/2287.24	c cleaning 125001 clauses out of 250017 with flag 32453026/7991298
2322.96/2323.18	c cleaning 125997 clauses out of 252014 with flag 33054506/8118296
2360.19/2360.42	c cleaning 126992 clauses out of 254017 with flag 33635560/8246296
2398.03/2397.51	c cleaning 128001 clauses out of 256027 with flag 34220894/8375298
2437.45/2437.04	c cleaning 129003 clauses out of 258024 with flag 34817402/8505296
2477.87/2477.54	c cleaning 129995 clauses out of 260021 with flag 35428777/8636296
2518.00/2517.79	c cleaning 131010 clauses out of 262028 with flag 36027162/8768298
2558.44/2558.11	c cleaning 132004 clauses out of 264017 with flag 36613558/8901297
2597.76/2597.53	c cleaning 132994 clauses out of 266013 with flag 37223317/9035297
2640.17/2640.08	c cleaning 134003 clauses out of 268018 with flag 37867434/9170296
2681.47/2681.46	c cleaning 135006 clauses out of 270016 with flag 38513362/9306297
2722.49/2722.47	c cleaning 135994 clauses out of 272009 with flag 39138432/9443296
2764.60/2764.69	c cleaning 136995 clauses out of 274015 with flag 39782026/9581296
2809.12/2809.27	c cleaning 138011 clauses out of 276021 with flag 40421288/9720297
2851.13/2851.33	c cleaning 138999 clauses out of 278009 with flag 41060444/9860296
2894.57/2894.71	c cleaning 140000 clauses out of 280010 with flag 41689183/10001296
2938.88/2939.11	c cleaning 141000 clauses out of 282010 with flag 42373313/10143296
2983.39/2983.72	c cleaning 142001 clauses out of 284010 with flag 43031835/10286296
3029.50/3029.95	c cleaning 142997 clauses out of 286009 with flag 43696899/10430296
3072.83/3073.22	c cleaning 143989 clauses out of 288012 with flag 44337680/10575296
3119.44/3119.96	c cleaning 145010 clauses out of 290023 with flag 45006429/10721296
3167.05/3167.64	c cleaning 145994 clauses out of 292013 with flag 45694375/10868296
3215.73/3216.39	c cleaning 147003 clauses out of 294019 with flag 46394258/11016296
3264.24/3264.98	c cleaning 147998 clauses out of 296017 with flag 47069833/11165297
3314.14/3315.00	c cleaning 149004 clauses out of 298018 with flag 47754062/11315296
3362.34/3363.28	c cleaning 150001 clauses out of 300014 with flag 48448824/11466296
3412.55/3413.51	c cleaning 151000 clauses out of 302013 with flag 49162686/11618296
3463.63/3464.62	c cleaning 152002 clauses out of 304014 with flag 49873024/11771297
3513.13/3514.26	c cleaning 153001 clauses out of 306012 with flag 50632168/11925297
3562.82/3564.09	c cleaning 153996 clauses out of 308010 with flag 51373046/12080296
3600.03/3601.31	c starts		: 11
3600.03/3601.32	c conflicts		: 12203406
3600.03/3601.32	c decisions		: 25564459
3600.03/3601.32	c propagations		: 1729114211
3600.03/3601.32	c inspects		: 5717179782
3600.03/3601.33	c shortcuts		: 0
3600.03/3601.33	c learnt literals	: 0
3600.03/3601.33	c learnt binary clauses	: 0
3600.03/3601.33	c learnt ternary clauses	: 0
3600.03/3601.33	c learnt constraints	: 12203406
3600.03/3601.33	c ignored constraints	: 0
3600.03/3601.33	c root simplifications	: 0
3600.03/3601.33	c removed literals (reason simplification)	: 2352426455
3600.03/3601.33	c reason swapping (by a shorter reason)	: 0
3600.03/3601.33	c Calls to reduceDB	: 151
3600.03/3601.33	c Number of update (reduction) of LBD	: 3127960
3600.03/3601.33	c Imported unit clauses	: 0
3600.03/3601.33	c No decision after first conflict	: false
3600.03/3601.33	c number of reductions to clauses (during analyze)	: 0
3600.03/3601.33	c number of learned constraints concerned by reduction	: 0
3600.03/3601.33	c number of learning phase by resolution	: 0
3600.03/3601.33	c number of learning phase by cutting planes	: 0
3600.03/3601.33	c number of rounding to 1 operations	: 0
3600.03/3601.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3601.33	c number of reductions of the coefficients by power 2 	: 0
3600.03/3601.33	c number of right shift for reduction by power 2 	: 0
3600.03/3601.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3601.33	c number of ending skipping 	: 0
3600.03/3601.33	c number of internal skipping 	: 0
3600.03/3601.33	c number of derivation steps 	: 0
3600.03/3601.33	c number of skipped derivation steps 	: 0
3600.03/3601.33	c number of remaining unassigned 	: 0
3600.03/3601.33	c number of remaining assigned 	: 0
3600.03/3601.33	c number of falsified literals weakened from reason	: 0
3600.03/3601.33	c number of falsified literals weakened from conflict	: 0
3600.03/3601.33	c time for arithmetic operations	: 0
3600.03/3601.34	c minimum degree of deleted constraints	: null
3600.03/3601.34	c maximum degree of deleted constraints	: null
3600.03/3601.34	c number of deleted constraints	: 0
3600.03/3601.34	c speed (assignments/second)	: 480345.7958490197
3600.03/3601.34	c non guided choices	: 0
3600.23/3601.40	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 277124
3600.23/3601.40	s SATISFIABLE
3600.23/3601.40	c Found 4 solution(s)
3600.23/3601.42	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.23/3601.44	c objective function=861
3600.23/3601.44	c Total wall clock time (in seconds): 3601.301

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: 63665 MiB (49113 MiB free)
  memory of node 1: 64507 MiB (49561 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489882-1751344642/watcher-4489882-1751344642 -o /tmp/evaluation-result-4489882-1751344642/solver-4489882-1751344642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751337595-49173 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489882-1751344642.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49976, runsolver pid=49973
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.11 4.14 4.15 6/337 49994
/proc/meminfo: memFree=101029176/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=18930384 memory=57268 CPUtime=0.12 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 6445 0 0 0 10 2 0 0 20 0 18 0 50142029 19384713216 14317 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4732596 14317 5336 1 0 547596 0
[pid=49976/tid=49978] ppid=49973 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 5035 0 0 0 6 1 0 0 20 0 18 0 50142031 19384713216 14317 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50142033 19384713216 14317 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=18930384 memory=60684515966010 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 50142034 19384713216 14317 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57268 KiB

[startup+0.205936 s]*
/proc/loadavg: 4.11 4.14 4.15 7/337 49994
/proc/meminfo: memFree=101021048/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=18930384 memory=71444 CPUtime=0.31 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 6832 0 0 0 28 3 0 0 20 0 18 0 50142029 19384713216 17861 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4732596 17861 5432 1 0 547921 0
[pid=49976/tid=49978] ppid=49973 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 5252 0 0 0 16 1 0 0 20 0 18 0 50142031 19384713216 17861 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=18930384 memory=16880 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50142033 19384713216 17861 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 50142034 19384713216 17861 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 71444 KiB

[startup+0.305842 s]*
/proc/loadavg: 4.11 4.14 4.15 7/337 49994
/proc/meminfo: memFree=100979648/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=18930384 memory=113524 CPUtime=0.5 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 8834 0 0 0 46 4 0 0 20 0 18 0 50142029 19384713216 28381 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4732596 28381 5432 1 0 549216 0
[pid=49976/tid=49978] ppid=49973 vsize=18930384 memory=-6000919494147531627 CPUtime=0.27 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 5270 0 0 0 25 2 0 0 20 0 18 0 50142031 19384713216 28381 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50142033 19384713216 28381 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 50142034 19384713216 28381 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113524 KiB

[startup+0.700235 s]
/proc/loadavg: 4.11 4.14 4.15 6/338 49995
/proc/meminfo: memFree=100922312/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=18996948 memory=181004 CPUtime=1.27 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 11922 0 0 0 121 6 0 0 20 0 19 0 50142029 19452874752 45251 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4749237 45251 5464 1 0 551355 0
[pid=49976/tid=49978] ppid=49973 vsize=18996948 memory=17792 CPUtime=0.62 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 5295 0 0 0 59 3 0 0 20 0 19 0 50142031 19452874752 45251 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50142033 19452874752 45251 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 50142034 19452874752 45251 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 181004 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.14 4.15 5/338 49995
/proc/meminfo: memFree=100818024/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=18996948 memory=385808 CPUtime=2.37 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 13028 0 0 0 226 11 0 0 20 0 19 0 50142029 19452874752 96452 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4749237 96452 5464 1 0 873148 0
[pid=49976/tid=49978] ppid=49973 vsize=18996948 memory=3328 CPUtime=1.29 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 5372 0 0 0 123 6 0 0 20 0 19 0 50142031 19452874752 96452 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50142033 19452874752 96452 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 50142034 19452874752 96452 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 385808 KiB

[startup+3.10573 s]
/proc/loadavg: 4.11 4.14 4.15 5/339 49996
/proc/meminfo: memFree=100558024/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=452608 CPUtime=5.07 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 14343 0 0 0 494 13 0 0 20 0 20 0 50142029 19521036288 113152 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 113152 5528 1 0 1515344 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=10752 CPUtime=2.83 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 5556 0 0 0 275 8 0 0 20 0 20 0 50142031 19521036288 113152 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 113152 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 113152 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 113152 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 5.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 452608 KiB

[startup+6.30021 s]
/proc/loadavg: 4.18 4.15 4.16 5/339 49996
/proc/meminfo: memFree=100517480/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=491800 CPUtime=8.6 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 14468 0 0 0 846 14 0 0 20 0 20 0 50142029 19521036288 122950 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 122950 5528 1 0 1515379 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=0 CPUtime=6.01 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 5629 0 0 0 593 8 0 0 20 0 20 0 50142031 19521036288 122950 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 122950 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=-6000919494147531627 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 122950 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 122950 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 491800 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.15 5/339 49996
/proc/meminfo: memFree=100492652/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=520728 CPUtime=15.11 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 18611 0 0 0 1496 15 0 0 20 0 20 0 50142029 19521036288 130182 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 130182 5560 1 0 1515379 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=0 CPUtime=12.4 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 6234 0 0 0 1231 9 0 0 20 0 20 0 50142031 19521036288 130182 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=514584 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 130182 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 130182 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 130182 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 15.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 520728 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.16 4.16 5/339 50131
/proc/meminfo: memFree=120811780/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=576024 CPUtime=27.89 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 20217 0 0 0 2773 16 0 0 20 0 20 0 50142029 19521036288 144006 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 144006 5560 1 0 1515379 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=17792 CPUtime=25.16 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 6887 0 0 0 2507 9 0 0 20 0 20 0 50142031 19521036288 144006 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=571928 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 144006 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 144006 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 144006 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 27.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 576024 KiB

[startup+51.1057 s]
/proc/loadavg: 4.29 4.18 4.16 4/320 50143
/proc/meminfo: memFree=126777280/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=748204 CPUtime=53.54 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 25405 0 0 0 5334 20 0 0 20 0 20 0 50142029 19521036288 187051 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 187051 5560 1 0 1515388 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=580120 CPUtime=50.65 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 8001 0 0 0 5054 11 0 0 20 0 20 0 50142031 19521036288 187051 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=676376 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 187051 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=666136 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 187051 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 187051 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0

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

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/339 50358
/proc/meminfo: memFree=117896452/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=4363816 CPUtime=3281.61 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 89814 0 0 0 328010 151 0 0 20 0 20 0 50142029 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 1090954 5592 1 0 1517162 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=14384 CPUtime=3271.9 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 39530 0 0 0 327164 26 0 0 20 0 20 0 50142031 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=4363816 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=4363816 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 1252 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 3281.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4363816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/340 50363
/proc/meminfo: memFree=117888484/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=4363816 CPUtime=3341.49 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 90546 0 0 0 333997 152 0 0 20 0 20 0 50142029 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 1090954 5592 1 0 1517162 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=4363816 CPUtime=3331.76 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 40178 0 0 0 333150 26 0 0 20 0 20 0 50142031 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=4363816 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 1328 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=214632400782962 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 3341.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4363816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/339 50365
/proc/meminfo: memFree=117888612/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=4363816 CPUtime=3401.37 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 91965 0 0 0 339984 153 0 0 20 0 20 0 50142029 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 1090954 5592 1 0 1517162 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=19712 CPUtime=3391.62 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 41519 0 0 0 339136 26 0 0 20 0 20 0 50142031 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=4363816 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 1328 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=4363816 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 1090954 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 3401.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4363816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/340 50372
/proc/meminfo: memFree=117884716/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=4367916 CPUtime=3461.34 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 93683 0 0 0 345980 154 0 0 20 0 20 0 50142029 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 1091979 5592 1 0 1517162 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=4363816 CPUtime=3451.4 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 42102 0 0 0 345114 26 0 0 20 0 20 0 50142031 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=4363816 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=4367916 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 1404 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=4367916 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 3461.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4367916 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/340 50374
/proc/meminfo: memFree=117880540/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=4367916 CPUtime=3521.21 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 94647 0 0 0 351967 154 0 0 20 0 20 0 50142029 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 1091979 5592 1 0 1517162 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=4367916 CPUtime=3511.26 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 42938 0 0 0 351100 26 0 0 20 0 20 0 50142031 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 1467 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=4367916 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 3521.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4367916 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/341 50377
/proc/meminfo: memFree=117880692/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=4367916 CPUtime=3581.07 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 95912 0 0 0 357952 155 0 0 20 0 20 0 50142029 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 1091979 5592 1 0 1517162 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=14384 CPUtime=3571.1 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 44077 0 0 0 357084 26 0 0 20 0 20 0 50142031 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=19712 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=4367916 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 1468 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=4367916 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 3581.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4367916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/341 50378
/proc/meminfo: memFree=117880492/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19063512 memory=4367916 CPUtime=3600.03 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 96456 0 0 0 359847 156 0 0 20 0 20 0 50142029 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4765878 1091979 5592 1 0 1517162 0
[pid=49976/tid=49978] ppid=49973 vsize=19063512 memory=164 CPUtime=3590.06 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 44470 0 0 0 358979 27 0 0 20 0 20 0 50142031 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50142033 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19063512 memory=-6000919494147531627 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 1543 0 0 0 0 0 0 0 20 0 20 0 50142034 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49996] ppid=49973 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/49976/task/49996/stat : 49996 (Timer-0) S 49973 49976 49161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50142190 19521036288 1091979 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4367916 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.75 s, system=1.58075 s

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

[startup+3601.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/341 50378
/proc/meminfo: memFree=117880492/131249996 swapFree=33010416/33010684
[pid=49976] ppid=49973 vsize=19263204 memory=4368812 CPUtime=3600.23 cores=1,3
/proc/49976/stat : 49976 (java) S 49973 49976 49161 0 -1 4194304 98966 0 0 0 359867 156 0 0 20 0 21 0 50142029 19725520896 1092203 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
/proc/49976/statm: 4815801 1092203 5592 1 0 1518116 0
[pid=49976/tid=49978] ppid=49973 vsize=19263204 memory=1920 CPUtime=3590.16 cores=1,3
/proc/49976/task/49978/stat : 49978 (java) R 49973 49976 49161 0 -1 4194368 44708 0 0 0 358989 27 0 0 20 0 21 0 50142031 19725520896 1092203 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49987] ppid=49973 vsize=19263204 memory=-6000919494147531627 CPUtime=0 cores=1,3
/proc/49976/task/49987/stat : 49987 (Finalizer) S 49973 49976 49161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50142033 19725520896 1092203 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
[pid=49976/tid=49994] ppid=49973 vsize=19263204 memory=245635481903 CPUtime=0 cores=1,3
/proc/49976/task/49994/stat : 49994 (Common-Cleaner) S 49973 49976 49161 0 -1 4194368 1543 0 0 0 0 0 0 0 20 0 21 0 50142034 19725520896 1092203 18446744073709551615 94864725520384 94864725524080 140724483031504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94864725531896 94864725532688 94864738480128 140724483037569 140724483037670 140724483037670 140724483043272 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4368812 KiB

Child status: 143

Real time (s): 3601.46
CPU time (s): 3600.33
CPU user time (s): 3598.75
CPU system time (s): 1.58075
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4368812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.75
system time used= 1.58075
maximum resident set size= 4369068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115686
involuntary context switches= 2681


# summary of solver processes directly reported to runsolver:
#   pid: 49976
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3598.75
#   total CPU system time (s): 1.58075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23853 second user time and 16.1483 second system time

The end

Begin job on nodeC022 at 2025-07-01 06:37:23
IDJOB=4489882
IDBENCH=147565
IDSOLVER=3363
FILE ID=nodeC022/4489882-1751344642
RUNJOBID= nodeC022-1751337595-49173
SLURM_JOB_ID= 9594391
Free space on /tmp= 433028 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489882-1751344642/watcher-4489882-1751344642 -o /tmp/evaluation-result-4489882-1751344642/solver-4489882-1751344642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751337595-49173 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4489882-1751344642.opb

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1660501672

nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.749
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.728
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.295
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.627
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.718
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.713
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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.833
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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.890
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        101042392 kB
MemAvailable:   100806824 kB
Buffers:            2128 kB
Cached:           567800 kB
SwapCached:           32 kB
Active:         29323844 kB
Inactive:         241988 kB
Active(anon):   29009736 kB
Inactive(anon):     4196 kB
Active(file):     314108 kB
Inactive(file):   237792 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17540 kB
Writeback:             0 kB
AnonPages:      28980080 kB
Mapped:           122580 kB
Shmem:             18028 kB
KReclaimable:     103140 kB
Slab:             191404 kB
SReclaimable:     103140 kB
SUnreclaim:        88264 kB
KernelStack:        5168 kB
PageTables:        60584 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   31950864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  28551168 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432896 MiB
End job on nodeC022 at 2025-07-01 07:37:24