0.12/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.15	c See www.sat4j.org for details.
0.12/0.16	c version CUSTOM.v20240707
0.12/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.18	c java.vm.version	22.0.1+8-16
0.12/0.18	c java.vm.vendor	Oracle Corporation
0.12/0.18	c sun.arch.data.model	64
0.12/0.18	c java.version		22.0.1
0.12/0.18	c os.name		Linux
0.12/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.18	c os.arch		amd64
0.12/0.18	c Free memory 		2113181440
0.12/0.18	c Max memory 		16282288128
0.12/0.18	c Total memory 		2122317824
0.12/0.20	c Number of processors 	2
0.31/0.27	--- Begin Solver configuration ---
0.31/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.31/0.27	Learn all clauses as in MiniSAT
0.31/0.27	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.27	Expensive reason simplification
0.31/0.27	Glucose 2.1 dynamic restart strategy
0.31/0.27	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.31/0.27	timeout=2147483s
0.31/0.27	DB Simplification allowed=false
0.31/0.27	Listener: none
0.31/0.27	--- End Solver configuration ---
0.31/0.27	c Pseudo Boolean Optimization by upper bound
0.31/0.27	c --- Begin Solver configuration ---
0.31/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.31/0.27	c Learn all clauses as in MiniSAT
0.31/0.27	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.27	c Expensive reason simplification
0.31/0.27	c Glucose 2.1 dynamic restart strategy
0.31/0.27	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.31/0.27	c timeout=2147483s
0.31/0.27	c DB Simplification allowed=false
0.31/0.27	c Listener: none
0.31/0.27	c --- End Solver configuration ---
0.31/0.27	c solving HOME/instance-4440310-1721772531.opb
0.31/0.27	c reading problem ... 
0.31/0.28	c using VERIPB proof format
0.31/0.28	c  objective function found
3.84/2.36	c ... done. Wall clock time 2.089s.
3.84/2.36	c declared #vars     10000
3.84/2.36	c #constraints  656900
3.84/2.36	c constraints type 
3.84/2.36	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
3.84/2.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
3.84/2.36	c 656900 constraints processed.
3.84/2.38	c objective function length is 10000 literals
4.81/2.82	c SATISFIABLE
4.81/2.82	c OPTIMIZING...
4.81/2.82	c Got one! Elapsed wall clock time (in seconds):2.554
4.81/2.82	o 844
9.16/5.09	c cleaning 2556 clauses out of 5112 with flag 15016/5112
11.16/6.77	c cleaning 4265 clauses out of 8558 with flag 32938/11114
12.99/8.60	c cleaning 5645 clauses out of 11291 with flag 53275/18112
15.55/10.89	c cleaning 6824 clauses out of 13647 with flag 77658/26113
17.96/13.22	c cleaning 7899 clauses out of 15822 with flag 106148/35112
20.65/15.97	c cleaning 8951 clauses out of 17923 with flag 139045/45112
23.81/19.03	c cleaning 9982 clauses out of 19972 with flag 175506/56112
27.10/22.38	c cleaning 10989 clauses out of 21991 with flag 215508/68113
30.91/26.11	c cleaning 11986 clauses out of 24001 with flag 260506/81112
34.63/29.84	c cleaning 13008 clauses out of 26017 with flag 313199/95114
38.68/34.09	c cleaning 14001 clauses out of 28007 with flag 371336/110112
43.26/38.62	c cleaning 14999 clauses out of 30006 with flag 420919/126112
48.39/43.62	c cleaning 16001 clauses out of 32007 with flag 473254/143112
53.90/49.03	c cleaning 17000 clauses out of 34008 with flag 531871/161114
59.73/54.87	c cleaning 17998 clauses out of 36006 with flag 596543/180112
65.51/60.66	c cleaning 18998 clauses out of 38009 with flag 662517/200113
71.36/66.70	c cleaning 19992 clauses out of 40011 with flag 727736/221113
77.24/72.64	c cleaning 20999 clauses out of 42018 with flag 797730/243112
83.52/78.97	c cleaning 22000 clauses out of 44022 with flag 870289/266115
90.42/85.81	c cleaning 22996 clauses out of 46022 with flag 948656/290115
97.77/93.12	c cleaning 24004 clauses out of 48025 with flag 1034235/315114
104.97/100.56	c cleaning 25000 clauses out of 50019 with flag 1126661/341112
112.56/108.16	c cleaning 26004 clauses out of 52019 with flag 1220836/368112
120.63/116.24	c cleaning 27004 clauses out of 54015 with flag 1312814/396112
129.54/125.15	c cleaning 27996 clauses out of 56011 with flag 1414979/425112
138.34/134.12	c cleaning 29001 clauses out of 58015 with flag 1510328/455112
147.60/143.49	c cleaning 30005 clauses out of 60014 with flag 1615417/486112
156.98/152.84	c cleaning 30994 clauses out of 62009 with flag 1724569/518112
166.74/162.95	c cleaning 31986 clauses out of 64015 with flag 1834364/551112
176.61/172.86	c cleaning 33010 clauses out of 66029 with flag 1950149/585112
187.18/183.41	c cleaning 34003 clauses out of 68019 with flag 2074979/620112
198.67/197.48	c cleaning 35004 clauses out of 70016 with flag 2206518/656112
209.41/208.16	c cleaning 35997 clauses out of 72012 with flag 2334789/693112
220.28/219.07	c cleaning 37006 clauses out of 74016 with flag 2467857/731113
231.94/231.24	c cleaning 38001 clauses out of 76011 with flag 2602016/770114
244.27/243.54	c cleaning 38988 clauses out of 78008 with flag 2739748/810112
258.03/257.55	c cleaning 40002 clauses out of 80020 with flag 2881239/851112
270.31/269.83	c cleaning 40990 clauses out of 82018 with flag 3033277/893112
282.75/282.23	c cleaning 42001 clauses out of 84028 with flag 3182631/936112
295.29/294.91	c cleaning 42998 clauses out of 86028 with flag 3341164/980113
308.38/308.04	c cleaning 44003 clauses out of 88029 with flag 3498358/1025112
322.30/322.36	c cleaning 44997 clauses out of 90026 with flag 3660209/1071112
336.88/336.99	c cleaning 46003 clauses out of 92029 with flag 3823460/1118112
351.26/351.40	c cleaning 47004 clauses out of 94026 with flag 3994704/1166112
365.53/365.71	c cleaning 48002 clauses out of 96022 with flag 4166738/1215112
380.25/380.60	c cleaning 48995 clauses out of 98020 with flag 4342970/1265112
395.56/395.99	c cleaning 50005 clauses out of 100026 with flag 4527659/1316113
411.66/412.31	c cleaning 51007 clauses out of 102021 with flag 4713541/1368113
427.70/428.35	c cleaning 52001 clauses out of 104014 with flag 4907511/1421113
444.36/445.29	c cleaning 53007 clauses out of 106013 with flag 5107733/1475113
462.39/463.20	c cleaning 54001 clauses out of 108005 with flag 5317001/1530112
480.16/481.14	c cleaning 54996 clauses out of 110004 with flag 5522033/1586112
497.92/498.98	c cleaning 55985 clauses out of 112009 with flag 5725620/1643113
515.57/516.71	c cleaning 56986 clauses out of 114023 with flag 5931766/1701112
533.88/535.31	c cleaning 58005 clauses out of 116037 with flag 6147691/1760112
552.05/553.57	c cleaning 59001 clauses out of 118032 with flag 6372251/1820112
571.43/573.13	c cleaning 60014 clauses out of 120031 with flag 6593146/1881112
590.75/592.68	c cleaning 60999 clauses out of 122017 with flag 6838675/1943112
610.70/612.69	c cleaning 61997 clauses out of 124018 with flag 7073674/2006112
630.20/632.39	c cleaning 62999 clauses out of 126021 with flag 7319741/2070112
650.76/652.97	c cleaning 64004 clauses out of 128023 with flag 7561451/2135113
671.73/674.19	c cleaning 64998 clauses out of 130019 with flag 7819764/2201113
693.32/696.00	c cleaning 66011 clauses out of 132021 with flag 8085686/2268113
714.66/717.78	c cleaning 67004 clauses out of 134012 with flag 8357791/2336115
736.96/740.03	c cleaning 67993 clauses out of 136005 with flag 8632604/2405112
759.65/763.25	c cleaning 69000 clauses out of 138012 with flag 8896250/2475112
782.91/786.76	c cleaning 70000 clauses out of 140012 with flag 9167309/2546112
806.28/810.46	c cleaning 70992 clauses out of 142012 with flag 9438721/2618112
829.17/833.37	c cleaning 72001 clauses out of 144020 with flag 9702092/2691112
851.70/856.07	c cleaning 72992 clauses out of 146019 with flag 9970335/2765112
874.08/878.65	c cleaning 74002 clauses out of 148027 with flag 10250186/2840112
897.01/901.62	c cleaning 75000 clauses out of 150025 with flag 10541438/2916112
920.07/924.73	c cleaning 76001 clauses out of 152026 with flag 10825545/2993113
943.70/948.56	c cleaning 77004 clauses out of 154024 with flag 11105446/3071112
966.85/971.86	c cleaning 78001 clauses out of 156020 with flag 11404641/3150112
991.09/996.35	c cleaning 78998 clauses out of 158020 with flag 11709456/3230113
1014.80/1019.83	c cleaning 79997 clauses out of 160024 with flag 12000191/3311115
1038.36/1043.37	c cleaning 81009 clauses out of 162026 with flag 12297816/3393114
1062.21/1067.36	c cleaning 82006 clauses out of 164015 with flag 12593806/3476112
1086.50/1091.72	c cleaning 82996 clauses out of 166009 with flag 12896897/3560112
1111.59/1116.91	c cleaning 84001 clauses out of 168013 with flag 13217888/3645112
1136.27/1141.54	c cleaning 84997 clauses out of 170012 with flag 13531266/3731112
1162.46/1167.82	c cleaning 85993 clauses out of 172015 with flag 13838826/3818112
1189.43/1194.90	c cleaning 87012 clauses out of 174023 with flag 14163360/3906113
1215.97/1221.55	c cleaning 87998 clauses out of 176012 with flag 14528256/3995114
1243.68/1249.36	c cleaning 88998 clauses out of 178012 with flag 14876334/4085112
1272.64/1278.18	c cleaning 89995 clauses out of 180014 with flag 15227146/4176112
1300.28/1305.98	c cleaning 90998 clauses out of 182020 with flag 15579600/4268113
1329.48/1335.20	c cleaning 92004 clauses out of 184021 with flag 15940456/4361112
1359.22/1365.07	c cleaning 93005 clauses out of 186017 with flag 16316422/4455112
1389.11/1394.92	c cleaning 93998 clauses out of 188012 with flag 16684293/4550112
1419.00/1425.05	c cleaning 95000 clauses out of 190014 with flag 17046555/4646112
1449.76/1455.82	c cleaning 96000 clauses out of 192014 with flag 17407200/4743112
1481.64/1487.79	c cleaning 97000 clauses out of 194015 with flag 17777623/4841113
1513.67/1519.75	c cleaning 97997 clauses out of 196014 with flag 18149181/4940112
1546.82/1553.03	c cleaning 98997 clauses out of 198017 with flag 18535509/5040112
1578.22/1584.63	c cleaning 100003 clauses out of 200020 with flag 18938956/5141112
1610.00/1616.59	c cleaning 101005 clauses out of 202017 with flag 19347758/5243112
1643.02/1649.68	c cleaning 101994 clauses out of 204012 with flag 19763179/5346112
1676.48/1683.18	c cleaning 103007 clauses out of 206020 with flag 20170954/5450114
1710.39/1717.02	c cleaning 103990 clauses out of 208012 with flag 20585769/5555113
1743.05/1749.79	c cleaning 104996 clauses out of 210021 with flag 21009218/5661112
1779.88/1786.69	c cleaning 106009 clauses out of 212025 with flag 21429834/5768112
1814.71/1821.54	c cleaning 106995 clauses out of 214018 with flag 21862953/5876114
1851.34/1858.37	c cleaning 107999 clauses out of 216022 with flag 22290601/5985113
1887.35/1894.44	c cleaning 109009 clauses out of 218022 with flag 22728143/6095112
1925.09/1932.13	c cleaning 110004 clauses out of 220015 with flag 23169075/6206114
1962.26/1969.33	c cleaning 111001 clauses out of 222009 with flag 23622830/6318112
1999.80/2007.10	c cleaning 111994 clauses out of 224008 with flag 24083152/6431112
2034.47/2041.86	c cleaning 112993 clauses out of 226014 with flag 24522204/6545112
2071.72/2079.12	c cleaning 114003 clauses out of 228021 with flag 24966499/6660112
2107.52/2115.11	c cleaning 114997 clauses out of 230018 with flag 25436457/6776112
2143.96/2151.53	c cleaning 115994 clauses out of 232021 with flag 25906267/6893112
2182.61/2190.36	c cleaning 117012 clauses out of 234027 with flag 26358671/7011112
2221.65/2229.25	c cleaning 118002 clauses out of 236017 with flag 26838482/7130114
2259.62/2267.38	c cleaning 118997 clauses out of 238013 with flag 27326205/7250112
2299.28/2307.08	c cleaning 119998 clauses out of 240016 with flag 27820646/7371112
2340.08/2347.98	c cleaning 121003 clauses out of 242018 with flag 28331760/7493112
2380.74/2388.79	c cleaning 122001 clauses out of 244016 with flag 28811160/7616113
2422.64/2430.72	c cleaning 122997 clauses out of 246018 with flag 29318212/7740116
2464.59/2472.96	c cleaning 123984 clauses out of 248017 with flag 29834144/7865112
2505.38/2513.86	c cleaning 125008 clauses out of 250033 with flag 30362276/7991112
2544.56/2553.13	c cleaning 126004 clauses out of 252025 with flag 30880948/8118112
2584.74/2593.57	c cleaning 126989 clauses out of 254022 with flag 31395863/8246113
2625.66/2634.50	c cleaning 127994 clauses out of 256032 with flag 31918687/8375112
2667.96/2676.97	c cleaning 129006 clauses out of 258038 with flag 32433416/8505112
2711.28/2720.61	c cleaning 130008 clauses out of 260033 with flag 32996104/8636113
2755.34/2764.90	c cleaning 131001 clauses out of 262024 with flag 33550200/8768112
2798.34/2808.32	c cleaning 132004 clauses out of 264026 with flag 34098129/8901115
2840.01/2850.35	c cleaning 132996 clauses out of 266020 with flag 34639788/9035113
2884.09/2894.59	c cleaning 133997 clauses out of 268025 with flag 35199182/9170114
2927.77/2938.43	c cleaning 135006 clauses out of 270027 with flag 35779556/9306113
2975.12/2985.82	c cleaning 135998 clauses out of 272020 with flag 36411753/9443112
3021.08/3031.98	c cleaning 137001 clauses out of 274022 with flag 36991271/9581112
3067.73/3078.62	c cleaning 137995 clauses out of 276022 with flag 37593912/9720113
3116.69/3127.73	c cleaning 139001 clauses out of 278026 with flag 38199754/9860112
3163.99/3175.39	c cleaning 139992 clauses out of 280025 with flag 38769836/10001112
3212.35/3223.73	c cleaning 141014 clauses out of 282033 with flag 39358254/10143112
3258.66/3270.13	c cleaning 142005 clauses out of 284019 with flag 39961589/10286112
3305.56/3317.15	c cleaning 142993 clauses out of 286014 with flag 40560757/10430112
3354.29/3365.71	c cleaning 143996 clauses out of 288021 with flag 41161969/10575112
3401.78/3413.34	c cleaning 145008 clauses out of 290026 with flag 41784961/10721113
3450.71/3462.50	c cleaning 146001 clauses out of 292017 with flag 42416406/10868112
3496.12/3508.09	c cleaning 146998 clauses out of 294018 with flag 43074866/11016114
3542.80/3554.97	c cleaning 148006 clauses out of 296018 with flag 43730150/11165112
3590.53/3602.78	c cleaning 148999 clauses out of 298013 with flag 44363776/11315113
3600.03/3612.54	c starts		: 5
3600.03/3612.55	c conflicts		: 11345885
3600.03/3612.55	c decisions		: 26130736
3600.03/3612.55	c propagations		: 2208363933
3600.03/3612.55	c inspects		: 4412856871
3600.03/3612.55	c shortcuts		: 0
3600.03/3612.55	c learnt literals	: 0
3600.03/3612.56	c learnt binary clauses	: 0
3600.03/3612.56	c learnt ternary clauses	: 0
3600.03/3612.56	c learnt constraints	: 11345885
3600.03/3612.56	c ignored constraints	: 0
3600.03/3612.56	c root simplifications	: 0
3600.03/3612.56	c removed literals (reason simplification)	: 1685402241
3600.03/3612.56	c reason swapping (by a shorter reason)	: 0
3600.03/3612.56	c Calls to reduceDB	: 146
3600.03/3612.56	c Number of update (reduction) of LBD	: 3140547
3600.03/3612.56	c Imported unit clauses	: 0
3600.03/3612.56	c No decision after first conflict	: false
3600.03/3612.56	c number of reductions to clauses (during analyze)	: 0
3600.03/3612.56	c number of learned constraints concerned by reduction	: 0
3600.03/3612.56	c number of learning phase by resolution	: 0
3600.03/3612.56	c number of learning phase by cutting planes	: 0
3600.03/3612.56	c number of rounding to 1 operations	: 0
3600.03/3612.56	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3612.56	c number of reductions of the coefficients by power 2 	: 0
3600.03/3612.56	c number of right shift for reduction by power 2 	: 0
3600.03/3612.56	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3612.56	c number of ending skipping 	: 0
3600.03/3612.56	c number of internal skipping 	: 0
3600.03/3612.56	c number of derivation steps 	: 0
3600.03/3612.56	c number of skipped derivation steps 	: 0
3600.03/3612.56	c number of remaining unassigned 	: 0
3600.03/3612.56	c number of remaining assigned 	: 0
3600.03/3612.56	c number of falsified literals weakened from reason	: 0
3600.03/3612.56	c number of falsified literals weakened from conflict	: 0
3600.03/3612.56	c time for arithmetic operations	: 0
3600.03/3612.56	c minimum degree of deleted constraints	: null
3600.03/3612.56	c maximum degree of deleted constraints	: null
3600.03/3612.56	c number of deleted constraints	: 0
3600.03/3612.57	c speed (assignments/second)	: 611707.5414600393
3600.03/3612.57	c non guided choices	: 0
3600.42/3612.72	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 179786
3600.42/3612.72	s SATISFIABLE
3600.42/3612.72	c Found 1 solution(s)
3600.42/3612.73	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.42/3612.74	c objective function=844
3600.42/3612.74	c Total wall clock time (in seconds): 3612.471

OK	844

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: 64096 MiB (16478 MiB free)
  memory of node 1: 64473 MiB (59173 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=128054, runsolver pid=128051

[startup+0.101492 s]*
/proc/loadavg: 4.27 4.35 4.32 6/321 128072
/proc/meminfo: memFree=77430724/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=18993908 memory=58684 CPUtime=0.12 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 6379 0 0 0 9 3 0 0 20 0 18 0 13243035 19449761792 14671 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4748477 14671 5946 1 0 550792 0
[pid=128054/tid=128056] ppid=128051 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) S 128051 128054 122963 0 -1 1077936192 5343 0 0 0 6 2 0 0 20 0 18 0 13243036 19449761792 14671 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13243042 19449761792 14671 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=18993908 memory=3761975942948701834 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13243043 19449761792 14671 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 58684 KiB

[startup+0.212126 s]*
/proc/loadavg: 4.27 4.35 4.32 5/321 128072
/proc/meminfo: memFree=77420176/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=18993908 memory=68264 CPUtime=0.31 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 7170 0 0 0 28 3 0 0 20 0 18 0 13243035 19449761792 17066 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4748477 17066 5968 1 0 551478 0
[pid=128054/tid=128056] ppid=128051 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 5775 0 0 0 16 2 0 0 20 0 18 0 13243036 19449761792 17066 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=18993908 memory=1118598 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13243042 19449761792 17066 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=18993908 memory=3544395815948961836 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13243043 19449761792 17066 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68264 KiB

[startup+0.320568 s]*
/proc/loadavg: 4.27 4.35 4.32 6/321 128072
/proc/meminfo: memFree=77413756/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=18993908 memory=73100 CPUtime=0.5 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 7405 0 0 0 46 4 0 0 20 0 18 0 13243035 19449761792 18275 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4748477 18275 5985 1 0 551613 0
[pid=128054/tid=128056] ppid=128051 vsize=18993908 memory=-9104143626276741820 CPUtime=0.28 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 5898 0 0 0 25 3 0 0 20 0 18 0 13243036 19449761792 18275 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13243042 19449761792 18275 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13243043 19449761792 18275 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 73100 KiB

[startup+0.700294 s]
/proc/loadavg: 4.27 4.35 4.32 7/321 128072
/proc/meminfo: memFree=77391656/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=18993908 memory=128808 CPUtime=1.17 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 9674 0 0 0 112 5 0 0 20 0 18 0 13243035 19449761792 32202 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4748477 32202 6067 1 0 553061 0
[pid=128054/tid=128056] ppid=128051 vsize=18993908 memory=5672 CPUtime=0.62 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 5956 0 0 0 59 3 0 0 20 0 18 0 13243036 19449761792 32202 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=18993908 memory=12312 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13243042 19449761792 32202 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=18993908 memory=4945 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13243043 19449761792 32202 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 128808 KiB

[startup+1.50039 s]
/proc/loadavg: 4.27 4.35 4.32 6/322 128073
/proc/meminfo: memFree=77301596/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19060472 memory=199884 CPUtime=2.72 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 17381 0 0 0 264 8 0 0 20 0 19 0 13243035 19517923328 49971 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4765118 49971 6067 1 0 557633 0
[pid=128054/tid=128056] ppid=128051 vsize=19060472 memory=4945 CPUtime=1.32 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 5980 0 0 0 128 4 0 0 20 0 19 0 13243036 19517923328 49971 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13243042 19517923328 49971 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19060472 memory=12312 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13243043 19517923328 49971 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 199884 KiB

[startup+3.10637 s]
/proc/loadavg: 4.33 4.36 4.32 7/323 128074
/proc/meminfo: memFree=77011112/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=440280 CPUtime=5.4 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 19691 0 0 0 525 15 0 0 20 0 20 0 13243035 19586084864 110070 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 110070 6112 1 0 1010364 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=12312 CPUtime=2.74 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 6248 0 0 0 265 9 0 0 20 0 20 0 13243036 19586084864 110070 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 110070 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=6657 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 110070 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=4420 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 110070 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 440280 KiB

[startup+6.30037 s]
/proc/loadavg: 4.33 4.36 4.32 7/323 128076
/proc/meminfo: memFree=76488904/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=918088 CPUtime=10.75 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 21578 0 0 0 1050 25 0 0 20 0 20 0 13243035 19586084864 229522 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 229522 6144 1 0 1626640 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=0 CPUtime=5.78 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 6522 0 0 0 560 18 0 0 20 0 20 0 13243036 19586084864 229522 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 229522 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=12312 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 229522 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=6944656591801720226 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 229522 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 918088 KiB

[startup+12.7004 s]
/proc/loadavg: 4.36 4.36 4.32 5/323 128076
/proc/meminfo: memFree=76190392/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=1132196 CPUtime=17.46 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 27860 0 0 0 1713 33 0 0 20 0 20 0 13243035 19586084864 283049 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 283049 6144 1 0 1626642 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=12312 CPUtime=12.12 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 7567 0 0 0 1189 23 0 0 20 0 20 0 13243036 19586084864 283049 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=918176 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 283049 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=1130148 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 283049 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 283049 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 17.46 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1132196 KiB

[startup+25.5005 s]
/proc/loadavg: 4.30 4.35 4.32 5/323 128079
/proc/meminfo: memFree=75541164/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=1636244 CPUtime=30.29 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 29747 0 0 0 2979 50 0 0 20 0 20 0 13243035 19586084864 409061 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 409061 6160 1 0 1626643 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=1130148 CPUtime=24.85 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 9076 0 0 0 2446 39 0 0 20 0 20 0 13243036 19586084864 409061 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 409061 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=1525652 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 409061 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=1398676 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 409061 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 30.29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1636244 KiB

[startup+51.1137 s]
/proc/loadavg: 4.20 4.32 4.31 6/323 128082
/proc/meminfo: memFree=73801264/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=2932776 CPUtime=56.05 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 38714 0 0 0 5519 86 0 0 20 0 20 0 13243035 19586084864 733194 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 733194 6160 1 0 1626651 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=132 CPUtime=50.13 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 11648 0 0 0 4943 70 0 0 20 0 20 0 13243036 19586084864 733194 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=2025460 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 733194 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 733194 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=1756 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 733194 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 56.05 s

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

Current children cumulated memory: 6223144 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.25 4.24 5/320 130227
/proc/meminfo: memFree=71511780/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=6260008 CPUtime=3330.74 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 289375 0 0 0 331874 1200 0 0 20 0 20 0 13243035 19586084864 1565002 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 1565002 6160 1 0 1626661 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=4809248 CPUtime=3301.21 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 160013 0 0 0 329120 1001 0 0 20 0 20 0 13243036 19586084864 1565002 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4924 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=6223144 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 1565002 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=6260008 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 3872 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 1565002 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=5672 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 1565002 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 3330.74 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6260008 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.23 4.24 5/319 130239
/proc/meminfo: memFree=70839416/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=6327616 CPUtime=3390.8 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 294655 0 0 0 337861 1219 0 0 20 0 20 0 13243035 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 1581904 6160 1 0 1626661 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=4809248 CPUtime=3360.4 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 163469 0 0 0 335024 1016 0 0 20 0 20 0 13243036 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4938 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=11564 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=48100 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 3932 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=6327616 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 3390.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6327616 KiB

[startup+3462.3 s]
/proc/loadavg: 3.62 4.09 4.19 3/267 130318
/proc/meminfo: memFree=103030288/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=6327616 CPUtime=3450.51 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 299356 0 0 0 343813 1238 0 0 20 0 20 0 13243035 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 1581904 6160 1 0 1626661 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=4809248 CPUtime=3419.93 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 166672 0 0 0 340962 1031 0 0 20 0 20 0 13243036 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4959 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=48100 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=6327616 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 4031 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=6327616 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 1581904 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 3450.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6327616 KiB

[startup+3522.3 s]
/proc/loadavg: 3.42 3.94 4.13 3/267 130328
/proc/meminfo: memFree=102780572/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=6327628 CPUtime=3510.2 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 304523 0 0 0 349765 1255 0 0 20 0 20 0 13243035 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 1581907 6160 1 0 1626661 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=4809248 CPUtime=3479.18 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 169050 0 0 0 346872 1046 0 0 20 0 20 0 13243036 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4997 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=6327628 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=48100 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 4122 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=2304 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 3510.2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6327628 KiB

[startup+3582.3 s]
/proc/loadavg: 2.77 3.66 4.02 3/267 130338
/proc/meminfo: memFree=102535712/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=6327628 CPUtime=3570.16 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 309755 0 0 0 355739 1277 0 0 20 0 20 0 13243035 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 1581907 6160 1 0 1626661 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=4809248 CPUtime=3538.71 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 172136 0 0 0 352806 1065 0 0 20 0 20 0 13243036 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5008 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=6327628 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=11564 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 4213 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=1960 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 3570.16 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6327628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 2.47 3.50 3.95 3/267 130343
/proc/meminfo: memFree=102420544/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19127036 memory=6327628 CPUtime=3600.03 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 313770 0 0 0 358717 1286 0 0 20 0 20 0 13243035 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4781759 1581907 6160 1 0 1626661 0
[pid=128054/tid=128056] ppid=128051 vsize=19127036 memory=4809248 CPUtime=3568.43 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 174465 0 0 0 355771 1072 0 0 20 0 20 0 13243036 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5042 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19127036 memory=6327628 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13243042 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19127036 memory=6327628 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 4272 0 0 0 0 0 0 0 20 0 20 0 13243043 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128074] ppid=128051 vsize=19127036 memory=6327628 CPUtime=0 cores=5,7
/proc/128054/task/128074/stat : 128074 (Timer-0) S 128051 128054 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13243275 19586084864 1581907 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6327628 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.65 s, system=12.8948 s

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

[startup+3612.61 s]
/proc/loadavg: 2.47 3.50 3.95 3/267 130343
/proc/meminfo: memFree=102420544/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19326728 memory=6328456 CPUtime=3600.23 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 316321 0 0 0 358737 1286 0 0 20 0 21 0 13243035 19790569472 1582114 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4831682 1582114 6159 1 0 1627596 0
[pid=128054/tid=128056] ppid=128051 vsize=19326728 memory=48100 CPUtime=3568.53 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 174635 0 0 0 355781 1072 0 0 20 0 21 0 13243036 19790569472 1582114 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5042 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19326728 memory=12312 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13243042 19790569472 1582114 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19326728 memory=-9104143626276741820 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 4272 0 0 0 0 0 0 0 20 0 21 0 13243043 19790569472 1582114 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 6328456 KiB

[startup+3612.7 s]
/proc/loadavg: 2.47 3.50 3.95 3/267 130343
/proc/meminfo: memFree=102420544/131655788 swapFree=131069936/131071996
[pid=128054] ppid=128051 vsize=19326728 memory=6328456 CPUtime=3600.42 cores=5,7
/proc/128054/stat : 128054 (java) S 128051 128054 122963 0 -1 1077936128 316366 0 0 0 358756 1286 0 0 20 0 21 0 13243035 19790569472 1582114 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
/proc/128054/statm: 4831682 1582114 6159 1 0 1627596 0
[pid=128054/tid=128056] ppid=128051 vsize=19326728 memory=4809248 CPUtime=3568.62 cores=5,7
/proc/128054/task/128056/stat : 128056 (java) R 128051 128054 122963 0 -1 4194368 174635 0 0 0 355790 1072 0 0 20 0 21 0 13243036 19790569472 1582114 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5042 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128065] ppid=128051 vsize=19326728 memory=6327628 CPUtime=0 cores=5,7
/proc/128054/task/128065/stat : 128065 (Finalizer) S 128051 128054 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13243042 19790569472 1582114 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
[pid=128054/tid=128072] ppid=128051 vsize=19326728 memory=6327628 CPUtime=0 cores=5,7
/proc/128054/task/128072/stat : 128072 (Common-Cleaner) S 128051 128054 122963 0 -1 1077936192 4272 0 0 0 0 0 0 0 20 0 21 0 13243043 19790569472 1582114 134679101440 94747162968064 94747162971760 140724333465776 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94747162979576 94747162980368 94747196014592 140724333474735 140724333474917 140724333474917 140724333481928 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 6328456 KiB

Child status: 143

Real time (s): 3612.79
CPU time (s): 3600.55
CPU user time (s): 3587.65
CPU system time (s): 12.8948
CPU usage (%): 99.6611
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 6328456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.65
system time used= 12.8948
maximum resident set size= 6329612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21899728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110502
involuntary context switches= 10002


# summary of solver processes directly reported to runsolver:
#   pid: 128054
#   total CPU time (s): 3600.55
#   total CPU user time (s): 3587.65
#   total CPU system time (s): 12.8948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7056 second user time and 37.2364 second system time

The end

Begin job on nodeC011 at 2024-07-24 00:08:52
IDJOB=4440310
IDBENCH=147564
IDSOLVER=3079
FILE ID=nodeC011/4440310-1721772531
RUNJOBID= nodeC011-1721765591-122976
SLURM_JOB_ID= 7770664
Free space on /tmp= 723728 MiB

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

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=1712742928

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        77469240 kB
MemAvailable:   105635096 kB
Buffers:          179144 kB
Cached:         28799936 kB
SwapCached:          200 kB
Active:           913876 kB
Inactive:       52654592 kB
Active(anon):       1828 kB
Inactive(anon): 24633080 kB
Active(file):     912048 kB
Inactive(file): 28021512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131069936 kB
Dirty:            188124 kB
Writeback:            16 kB
AnonPages:      24585840 kB
Mapped:           115344 kB
Shmem:             45132 kB
KReclaimable:     144988 kB
Slab:             247436 kB
SReclaimable:     144988 kB
SUnreclaim:       102448 kB
KernelStack:        4880 kB
PageTables:        58236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   29774900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19104 kB
HardwareCorrupted:     0 kB
AnonHugePages:  24133632 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      262984 kB
DirectMap2M:    22710272 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC011 at 2024-07-24 01:09:05