0.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.17	c version CUSTOM.v20240707
0.12/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.19	c java.vm.version	22.0.1+8-16
0.12/0.19	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.21	c Free memory 		2113181440
0.12/0.21	c Max memory 		16282288128
0.12/0.21	c Total memory 		2122317824
0.12/0.22	c Number of processors 	2
0.29/0.32	--- Begin Solver configuration ---
0.29/0.32	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.29/0.32	Learn all clauses as in MiniSAT
0.29/0.32	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.32	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.32	Expensive reason simplification
0.29/0.32	Glucose 2.1 dynamic restart strategy
0.29/0.32	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.29/0.32	timeout=2147483s
0.29/0.32	DB Simplification allowed=false
0.29/0.32	Listener: none
0.29/0.32	--- End Solver configuration ---
0.44/0.33	c Pseudo Boolean Optimization by upper bound
0.44/0.33	c --- Begin Solver configuration ---
0.44/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.33	c Learn all clauses as in MiniSAT
0.44/0.33	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	c Expensive reason simplification
0.44/0.33	c Glucose 2.1 dynamic restart strategy
0.44/0.33	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.33	c timeout=2147483s
0.44/0.33	c DB Simplification allowed=false
0.44/0.33	c Listener: none
0.44/0.33	c --- End Solver configuration ---
0.44/0.33	c solving HOME/instance-4440304-1721772365.opb
0.44/0.33	c reading problem ... 
0.44/0.35	c using VERIPB proof format
0.44/0.35	c  objective function found
3.71/2.33	c ... done. Wall clock time 2.0s.
3.71/2.33	c declared #vars     10000
3.71/2.33	c #constraints  656900
3.71/2.33	c constraints type 
3.71/2.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
3.71/2.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
3.71/2.33	c 656900 constraints processed.
3.71/2.34	c objective function length is 10000 literals
6.20/3.62	c SATISFIABLE
6.20/3.62	c OPTIMIZING...
6.20/3.62	c Got one! Elapsed wall clock time (in seconds):3.278
6.20/3.62	o 1569
6.98/4.07	c Got one! Elapsed wall clock time (in seconds):3.741
6.98/4.07	o 1366
7.37/4.22	c Got one! Elapsed wall clock time (in seconds):3.888
7.37/4.22	o 1116
10.29/5.90	c cleaning 2830 clauses out of 5713 with flag 14448/5713
12.07/7.31	c cleaning 4403 clauses out of 8883 with flag 31766/11713
14.12/9.04	c cleaning 5708 clauses out of 11480 with flag 53159/18713
16.69/11.51	c cleaning 6875 clauses out of 13772 with flag 76770/26713
19.71/14.54	c cleaning 7942 clauses out of 15897 with flag 107129/35713
23.00/17.82	c cleaning 8972 clauses out of 17955 with flag 137939/45713
26.40/21.24	c cleaning 9989 clauses out of 19983 with flag 176469/56713
30.01/24.88	c cleaning 10992 clauses out of 21994 with flag 216545/68713
34.00/28.89	c cleaning 11994 clauses out of 24002 with flag 259390/81713
38.51/33.39	c cleaning 13003 clauses out of 26008 with flag 306870/95713
43.52/38.46	c cleaning 14001 clauses out of 28005 with flag 363166/110713
48.63/43.59	c cleaning 15000 clauses out of 30005 with flag 415595/126714
54.36/49.17	c cleaning 16003 clauses out of 32005 with flag 471354/143714
60.16/54.88	c cleaning 16991 clauses out of 34004 with flag 530764/161716
66.04/60.78	c cleaning 18004 clauses out of 36011 with flag 598831/180714
72.06/66.87	c cleaning 19000 clauses out of 38006 with flag 665208/200713
78.55/73.36	c cleaning 19991 clauses out of 40006 with flag 734398/221713
85.54/80.34	c cleaning 20994 clauses out of 42015 with flag 807241/243713
92.98/87.74	c cleaning 21993 clauses out of 44021 with flag 890628/266713
100.47/95.26	c cleaning 23005 clauses out of 46028 with flag 970119/290713
108.59/103.49	c cleaning 24007 clauses out of 48023 with flag 1059960/315713
116.67/111.59	c cleaning 25003 clauses out of 50018 with flag 1152288/341715
124.86/119.79	c cleaning 25993 clauses out of 52014 with flag 1246937/368714
133.98/128.90	c cleaning 27007 clauses out of 54021 with flag 1347933/396714
143.50/138.43	c cleaning 27999 clauses out of 56013 with flag 1456601/425713
153.28/148.27	c cleaning 29004 clauses out of 58014 with flag 1561646/455713
163.17/158.17	c cleaning 30001 clauses out of 60013 with flag 1678835/486716
174.17/169.27	c cleaning 31005 clauses out of 62010 with flag 1798373/518714
184.89/179.95	c cleaning 31994 clauses out of 64004 with flag 1923533/551713
196.02/191.14	c cleaning 32998 clauses out of 66010 with flag 2047396/585713
207.39/202.53	c cleaning 33996 clauses out of 68013 with flag 2163235/620714
219.06/214.20	c cleaning 35002 clauses out of 70016 with flag 2294144/656713
230.62/225.89	c cleaning 36000 clauses out of 72014 with flag 2428984/693713
242.69/237.98	c cleaning 37001 clauses out of 74014 with flag 2561759/731713
255.21/250.55	c cleaning 38002 clauses out of 76014 with flag 2703021/770714
268.18/263.53	c cleaning 38990 clauses out of 78012 with flag 2835853/810714
282.12/277.44	c cleaning 40005 clauses out of 80021 with flag 2981085/851713
295.73/291.20	c cleaning 41002 clauses out of 82016 with flag 3125538/893713
309.60/305.02	c cleaning 41999 clauses out of 84014 with flag 3279137/936713
323.49/319.08	c cleaning 42999 clauses out of 86015 with flag 3424635/980713
337.65/333.20	c cleaning 43998 clauses out of 88016 with flag 3572407/1025713
352.26/347.90	c cleaning 45002 clauses out of 90019 with flag 3725688/1071714
367.51/363.13	c cleaning 45985 clauses out of 92016 with flag 3893376/1118713
383.18/378.95	c cleaning 47005 clauses out of 94033 with flag 4059922/1166715
400.05/395.80	c cleaning 48005 clauses out of 96026 with flag 4236442/1215713
418.51/422.76	c cleaning 49008 clauses out of 98024 with flag 4408981/1265716
436.23/440.51	c cleaning 50004 clauses out of 100013 with flag 4587198/1316713
453.82/458.19	c cleaning 50996 clauses out of 102009 with flag 4773310/1368713
471.70/476.03	c cleaning 52002 clauses out of 104013 with flag 4990748/1421713
489.36/493.78	c cleaning 52998 clauses out of 106011 with flag 5188329/1475713
506.66/511.05	c cleaning 53997 clauses out of 108013 with flag 5374170/1530713
524.02/528.58	c cleaning 54998 clauses out of 110017 with flag 5571116/1586714
542.39/546.93	c cleaning 55998 clauses out of 112019 with flag 5768739/1643714
561.69/566.30	c cleaning 56998 clauses out of 114020 with flag 5976386/1701713
581.48/586.19	c cleaning 58004 clauses out of 116022 with flag 6190028/1760713
601.66/606.38	c cleaning 58995 clauses out of 118018 with flag 6405492/1820713
622.15/626.92	c cleaning 60001 clauses out of 120023 with flag 6616128/1881713
642.79/647.51	c cleaning 61004 clauses out of 122024 with flag 6831073/1943715
663.89/668.76	c cleaning 62008 clauses out of 124019 with flag 7055226/2006714
686.39/691.20	c cleaning 62999 clauses out of 126010 with flag 7274609/2070713
708.97/713.98	c cleaning 63999 clauses out of 128015 with flag 7503188/2135717
731.63/736.69	c cleaning 64991 clauses out of 130012 with flag 7740340/2201713
755.88/760.92	c cleaning 65991 clauses out of 132024 with flag 8001364/2268716
780.17/785.34	c cleaning 67003 clauses out of 134030 with flag 8258834/2336713
805.94/811.12	c cleaning 68010 clauses out of 136028 with flag 8521849/2405714
831.98/837.39	c cleaning 69006 clauses out of 138017 with flag 8790392/2475713
857.71/863.06	c cleaning 70001 clauses out of 140011 with flag 9047000/2546713
884.00/889.56	c cleaning 71003 clauses out of 142010 with flag 9312553/2618713
912.02/917.72	c cleaning 72004 clauses out of 144008 with flag 9586100/2691714
937.05/942.83	c cleaning 72994 clauses out of 146003 with flag 9843968/2765713
962.68/968.53	c cleaning 73994 clauses out of 148009 with flag 10106659/2840713
988.93/994.94	c cleaning 74991 clauses out of 150015 with flag 10386712/2916713
1015.29/1021.33	c cleaning 75998 clauses out of 152024 with flag 10672643/2993713
1042.23/1048.38	c cleaning 77000 clauses out of 154026 with flag 10959729/3071713
1070.39/1076.63	c cleaning 78004 clauses out of 156026 with flag 11263755/3150713
1098.34/1104.58	c cleaning 78999 clauses out of 158023 with flag 11561488/3230714
1127.51/1133.87	c cleaning 80002 clauses out of 160023 with flag 11864864/3311713
1156.70/1163.04	c cleaning 81000 clauses out of 162021 with flag 12175529/3393713
1186.06/1192.69	c cleaning 81999 clauses out of 164021 with flag 12496082/3476713
1216.54/1223.23	c cleaning 82990 clauses out of 166022 with flag 12829524/3560713
1247.52/1254.13	c cleaning 84014 clauses out of 168033 with flag 13166283/3645714
1279.11/1285.75	c cleaning 84999 clauses out of 170019 with flag 13509795/3731714
1311.36/1318.23	c cleaning 86011 clauses out of 172021 with flag 13839535/3818715
1343.79/1350.61	c cleaning 86999 clauses out of 174009 with flag 14170648/3906714
1377.66/1384.46	c cleaning 88001 clauses out of 176009 with flag 14503387/3995713
1411.87/1418.87	c cleaning 89003 clauses out of 178008 with flag 14846018/4085713
1447.64/1454.38	c cleaning 89983 clauses out of 180005 with flag 15196968/4176713
1481.74/1488.71	c cleaning 91005 clauses out of 182022 with flag 15545186/4268713
1516.71/1523.81	c cleaning 92005 clauses out of 184017 with flag 15903502/4361713
1552.71/1559.98	c cleaning 93007 clauses out of 186013 with flag 16263672/4455714
1589.58/1596.78	c cleaning 93995 clauses out of 188005 with flag 16629695/4550713
1626.91/1634.27	c cleaning 95002 clauses out of 190011 with flag 17002850/4646714
1664.70/1672.09	c cleaning 95997 clauses out of 192009 with flag 17400906/4743714
1704.30/1711.67	c cleaning 96992 clauses out of 194012 with flag 17797540/4841714
1741.27/1748.73	c cleaning 98007 clauses out of 196019 with flag 18170895/4940713
1780.07/1787.67	c cleaning 99005 clauses out of 198014 with flag 18557340/5040715
1821.72/1828.92	c cleaning 100004 clauses out of 200007 with flag 18972287/5141713
1863.61/1870.82	c cleaning 101001 clauses out of 202004 with flag 19385284/5243714
1906.48/1913.70	c cleaning 101993 clauses out of 204002 with flag 19800052/5346713
1949.51/1956.70	c cleaning 102992 clauses out of 206009 with flag 20229080/5450713
1993.98/2000.97	c cleaning 104003 clauses out of 208017 with flag 20675627/5555713
2035.61/2042.85	c cleaning 105003 clauses out of 210014 with flag 21162086/5661713
2077.19/2084.49	c cleaning 105997 clauses out of 212013 with flag 21628594/5768715
2122.48/2129.49	c cleaning 106999 clauses out of 214014 with flag 22113652/5876713
2167.84/2174.90	c cleaning 107999 clauses out of 216017 with flag 22610950/5985715
2212.15/2219.65	c cleaning 109003 clauses out of 218016 with flag 23063411/6095713
2258.49/2265.64	c cleaning 110006 clauses out of 220014 with flag 23476653/6206714
2306.64/2313.95	c cleaning 111004 clauses out of 222008 with flag 23916431/6318714
2357.00/2364.34	c cleaning 111999 clauses out of 224003 with flag 24381195/6431713
2410.04/2417.28	c cleaning 113003 clauses out of 226005 with flag 24872808/6545714
2460.96/2468.02	c cleaning 114000 clauses out of 228002 with flag 25332611/6660714
2512.14/2519.04	c cleaning 115001 clauses out of 230001 with flag 25796566/6776713
2565.04/2572.02	c cleaning 115988 clauses out of 232000 with flag 26264536/6893713
2620.04/2626.93	c cleaning 117005 clauses out of 234012 with flag 26732029/7011713
2679.64/2686.46	c cleaning 117992 clauses out of 236008 with flag 27275824/7130714
2736.99/2743.72	c cleaning 119008 clauses out of 238016 with flag 27795366/7250714
2791.89/2798.36	c cleaning 120003 clauses out of 240009 with flag 28301156/7371715
2850.62/2855.72	c cleaning 120998 clauses out of 242007 with flag 28807529/7493716
2910.13/2915.05	c cleaning 121993 clauses out of 244006 with flag 29350618/7616713
2968.11/2972.98	c cleaning 122997 clauses out of 246013 with flag 29853561/7740713
3025.77/3030.64	c cleaning 124007 clauses out of 248016 with flag 30371437/7865713
3087.41/3092.02	c cleaning 124997 clauses out of 250010 with flag 30862565/7991714
3147.41/3152.01	c cleaning 125999 clauses out of 252013 with flag 31381299/8118714
3205.73/3210.39	c cleaning 126996 clauses out of 254014 with flag 31895005/8246714
3266.13/3270.67	c cleaning 128009 clauses out of 256017 with flag 32414130/8375713
3325.49/3329.99	c cleaning 128983 clauses out of 258008 with flag 32947795/8505713
3383.99/3388.16	c cleaning 129999 clauses out of 260026 with flag 33453704/8636714
3441.98/3446.04	c cleaning 131004 clauses out of 262026 with flag 33996370/8768713
3507.25/3511.10	c cleaning 131995 clauses out of 264022 with flag 34568232/8901713
3570.61/3574.30	c cleaning 133013 clauses out of 266028 with flag 35104730/9035714
3600.04/3603.72	c starts		: 14
3600.04/3603.76	c conflicts		: 9099165
3600.04/3603.76	c decisions		: 23454765
3600.04/3603.76	c propagations		: 2118453206
3600.04/3603.76	c inspects		: 3922265294
3600.04/3603.76	c shortcuts		: 0
3600.04/3603.76	c learnt literals	: 0
3600.04/3603.76	c learnt binary clauses	: 0
3600.04/3603.76	c learnt ternary clauses	: 0
3600.04/3603.76	c learnt constraints	: 9099165
3600.04/3603.76	c ignored constraints	: 0
3600.04/3603.76	c root simplifications	: 0
3600.04/3603.76	c removed literals (reason simplification)	: 1123143072
3600.04/3603.76	c reason swapping (by a shorter reason)	: 0
3600.04/3603.76	c Calls to reduceDB	: 130
3600.04/3603.76	c Number of update (reduction) of LBD	: 3083140
3600.04/3603.76	c Imported unit clauses	: 0
3600.04/3603.76	c No decision after first conflict	: false
3600.04/3603.76	c number of reductions to clauses (during analyze)	: 0
3600.04/3603.76	c number of learned constraints concerned by reduction	: 0
3600.04/3603.76	c number of learning phase by resolution	: 0
3600.04/3603.76	c number of learning phase by cutting planes	: 0
3600.04/3603.76	c number of rounding to 1 operations	: 0
3600.04/3603.76	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3603.76	c number of reductions of the coefficients by power 2 	: 0
3600.04/3603.76	c number of right shift for reduction by power 2 	: 0
3600.04/3603.76	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3603.76	c number of ending skipping 	: 0
3600.04/3603.76	c number of internal skipping 	: 0
3600.04/3603.76	c number of derivation steps 	: 0
3600.04/3603.76	c number of skipped derivation steps 	: 0
3600.04/3603.76	c number of remaining unassigned 	: 0
3600.04/3603.76	c number of remaining assigned 	: 0
3600.04/3603.76	c number of falsified literals weakened from reason	: 0
3600.04/3603.76	c number of falsified literals weakened from conflict	: 0
3600.04/3603.76	c time for arithmetic operations	: 0
3600.04/3603.76	c minimum degree of deleted constraints	: null
3600.04/3603.76	c maximum degree of deleted constraints	: null
3600.04/3603.77	c number of deleted constraints	: 0
3600.04/3603.77	c speed (assignments/second)	: 588229.4875945672
3600.04/3603.77	c non guided choices	: 0
3600.43/3603.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 196466
3600.43/3603.93	s SATISFIABLE
3600.43/3603.93	c Found 3 solution(s)
3600.43/3603.95	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.43/3604.00	c objective function=1116
3600.43/3604.00	c Total wall clock time (in seconds): 3603.666

OK	1116

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=131297, runsolver pid=131294

[startup+0.100285 s]*
/proc/loadavg: 4.19 4.30 4.65 5/320 131315
/proc/meminfo: memFree=65361192/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=18993908 memory=57092 CPUtime=0.12 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 6527 0 0 0 9 3 0 0 20 0 18 0 13225976 19449761792 14273 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4748477 14273 5868 1 0 550849 0
[pid=131297/tid=131299] ppid=131294 vsize=18993908 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 5439 0 0 0 5 2 0 0 20 0 18 0 13225977 19449761792 14273 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=18993908 memory=232851243367 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13225982 19449761792 14273 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=18993908 memory=3618136736603170115 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13225983 19449761792 14273 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57092 KiB

[startup+0.221733 s]*
/proc/loadavg: 4.19 4.30 4.65 5/320 131315
/proc/meminfo: memFree=65352056/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=18993908 memory=63892 CPUtime=0.29 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 7233 0 0 0 25 4 0 0 20 0 18 0 13225976 19449761792 15973 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4748477 15973 5876 1 0 551398 0
[pid=131297/tid=131299] ppid=131294 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 5774 0 0 0 15 3 0 0 20 0 18 0 13225977 19449761792 15973 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=18993908 memory=952865 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13225982 19449761792 15973 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13225983 19449761792 15973 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 63892 KiB

[startup+0.317688 s]*
/proc/loadavg: 4.19 4.30 4.65 8/320 131315
/proc/meminfo: memFree=65347712/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=18993908 memory=67912 CPUtime=0.44 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 7507 0 0 0 40 4 0 0 20 0 18 0 13225976 19449761792 16978 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4748477 16978 6051 1 0 551602 0
[pid=131297/tid=131299] ppid=131294 vsize=18993908 memory=-8886842775280853692 CPUtime=0.26 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 5933 0 0 0 23 3 0 0 20 0 18 0 13225977 19449761792 16978 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13225982 19449761792 16978 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13225983 19449761792 16978 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67912 KiB

[startup+0.704683 s]
/proc/loadavg: 4.19 4.30 4.65 6/320 131315
/proc/meminfo: memFree=65330220/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=18993908 memory=113052 CPUtime=1.13 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 9782 0 0 0 107 6 0 0 20 0 18 0 13225976 19449761792 28263 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4748477 28263 6058 1 0 553050 0
[pid=131297/tid=131299] ppid=131294 vsize=18993908 memory=5640 CPUtime=0.59 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 6019 0 0 0 55 4 0 0 20 0 18 0 13225977 19449761792 28263 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=18993908 memory=12240 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13225982 19449761792 28263 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=18993908 memory=4917 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13225983 19449761792 28263 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 113052 KiB

[startup+1.50268 s]
/proc/loadavg: 4.19 4.30 4.65 7/321 131316
/proc/meminfo: memFree=65230292/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19060472 memory=200636 CPUtime=2.63 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 17896 0 0 0 253 10 0 0 20 0 19 0 13225976 19517923328 50159 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4765118 50159 6058 1 0 558398 0
[pid=131297/tid=131299] ppid=131294 vsize=19060472 memory=4917 CPUtime=1.28 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 6049 0 0 0 122 6 0 0 20 0 19 0 13225977 19517923328 50159 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13225982 19517923328 50159 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13225983 19517923328 50159 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 200636 KiB

[startup+3.10869 s]
/proc/loadavg: 4.34 4.33 4.65 6/322 131317
/proc/meminfo: memFree=64910232/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=495544 CPUtime=5.21 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 21017 0 0 0 504 17 0 0 20 0 20 0 13225976 19586084864 123886 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 123886 6118 1 0 1844323 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=12240 CPUtime=2.58 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 6326 0 0 0 248 10 0 0 20 0 20 0 13225977 19586084864 123886 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 123886 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=6657 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13225983 19586084864 123886 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=4420 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 123886 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 495544 KiB

[startup+6.30022 s]
/proc/loadavg: 4.34 4.33 4.65 5/322 131317
/proc/meminfo: memFree=64405948/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=893604 CPUtime=10.94 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 21938 0 0 0 1065 29 0 0 20 0 20 0 13225976 19586084864 223401 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 223401 6150 1 0 1844601 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=0 CPUtime=5.6 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 6555 0 0 0 540 20 0 0 20 0 20 0 13225977 19586084864 223401 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 223401 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13225983 19586084864 223401 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=6944656591801720226 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 223401 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 10.94 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 893604 KiB

[startup+12.7004 s]
/proc/loadavg: 4.36 4.33 4.65 5/319 131319
/proc/meminfo: memFree=64054544/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=1132988 CPUtime=17.89 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 26374 0 0 0 1752 37 0 0 20 0 20 0 13225976 19586084864 283247 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 283247 6161 1 0 1844607 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=12240 CPUtime=11.69 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 7465 0 0 0 1144 25 0 0 20 0 20 0 13225977 19586084864 283247 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=914348 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 283247 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=1114552 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13225983 19586084864 283247 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 283247 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 17.89 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1132988 KiB

[startup+25.5005 s]
/proc/loadavg: 4.31 4.32 4.64 5/319 131320
/proc/meminfo: memFree=63408016/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=1622756 CPUtime=30.7 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 28867 0 0 0 3019 51 0 0 20 0 20 0 13225976 19586084864 405689 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 405689 6161 1 0 1844610 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=1114552 CPUtime=24.44 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 8517 0 0 0 2406 38 0 0 20 0 20 0 13225977 19586084864 405689 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 405689 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=1622756 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13225983 19586084864 405689 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=1622516 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 405689 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 30.7 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1622756 KiB

[startup+51.1132 s]
/proc/loadavg: 4.35 4.33 4.64 5/319 131326
/proc/meminfo: memFree=61791472/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=2329420 CPUtime=56.48 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 35268 0 0 0 5576 72 0 0 20 0 20 0 13225976 19586084864 582355 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 582355 6161 1 0 1844613 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=132 CPUtime=49.87 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 9967 0 0 0 4931 56 0 0 20 0 20 0 13225977 19586084864 582355 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=2042636 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 582355 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13225983 19586084864 582355 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=1799 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 582355 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0

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

/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 4065563 0 0 0 322801 1290 0 0 20 0 20 0 13225977 19586084864 1826614 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1747 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=7306272 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 1826614 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=7306456 CPUtime=0.01 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 4241 0 0 0 0 1 0 0 20 0 20 0 13225983 19586084864 1826614 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=25788 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 1826614 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 3277.81 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7306456 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.28 4.28 6/324 134508
/proc/meminfo: memFree=72530752/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=7308552 CPUtime=3337.86 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 6117204 0 0 0 332104 1682 0 0 20 0 20 0 13225976 19586084864 1827138 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 1827138 6161 1 0 1845856 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=50228 CPUtime=3300.16 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 4076909 0 0 0 328706 1310 0 0 20 0 20 0 13225977 19586084864 1827138 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1767 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=7308552 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 1827138 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=7308552 CPUtime=0.01 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 4241 0 0 0 0 1 0 0 20 0 20 0 13225983 19586084864 1827138 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 1827138 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 3337.86 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7308552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.26 4.27 6/324 134519
/proc/meminfo: memFree=71721332/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=7311136 CPUtime=3398.15 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 6174985 0 0 0 338109 1706 0 0 20 0 20 0 13225976 19586084864 1827784 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 1827784 6161 1 0 1845856 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=7308552 CPUtime=3359.33 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 4096286 0 0 0 334606 1327 0 0 20 0 20 0 13225977 19586084864 1827784 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1778 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=7308552 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 1827784 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=7308552 CPUtime=0.01 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 4380 0 0 0 0 1 0 0 20 0 20 0 13225983 19586084864 1827784 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=7311136 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 1827784 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 3398.15 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7311136 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.25 4.27 6/322 134531
/proc/meminfo: memFree=70580116/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=7311168 CPUtime=3458.23 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 6312105 0 0 0 344087 1736 0 0 20 0 20 0 13225976 19586084864 1827792 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 1827792 6161 1 0 1845856 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=7308552 CPUtime=3418.66 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 4184661 0 0 0 340514 1352 0 0 20 0 20 0 13225977 19586084864 1827792 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1793 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=7308552 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 1827792 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=12264 CPUtime=0.01 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 4381 0 0 0 0 1 0 0 20 0 20 0 13225983 19586084864 1827792 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=7311168 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 1827792 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 3458.23 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7311168 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.23 4.26 6/322 134541
/proc/meminfo: memFree=69962948/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=7316100 CPUtime=3518.51 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 6360142 0 0 0 350092 1759 0 0 20 0 20 0 13225976 19586084864 1829025 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 1829025 6161 1 0 1845856 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=7316100 CPUtime=3477.76 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 4187294 0 0 0 346406 1370 0 0 20 0 20 0 13225977 19586084864 1829025 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1806 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=17828 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 1829025 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=7316100 CPUtime=0.01 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 4523 0 0 0 0 1 0 0 20 0 20 0 13225983 19586084864 1829025 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=7316100 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 1829025 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 3518.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7316100 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.22 4.25 6/320 134552
/proc/meminfo: memFree=69383660/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=7316120 CPUtime=3578.61 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 6441975 0 0 0 356078 1783 0 0 20 0 20 0 13225976 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 1829030 6161 1 0 1845856 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=7316120 CPUtime=3537.14 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 4218874 0 0 0 352326 1388 0 0 20 0 20 0 13225977 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1819 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=7316120 CPUtime=0.01 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 4524 0 0 0 0 1 0 0 20 0 20 0 13225983 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=-8886842775280853692 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 3578.61 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7316120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.7 s]
/proc/loadavg: 4.19 4.22 4.25 6/320 134555
/proc/meminfo: memFree=69199456/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19127036 memory=7316120 CPUtime=3600.04 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 6443116 0 0 0 358214 1790 0 0 20 0 20 0 13225976 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4781759 1829030 6161 1 0 1845856 0
[pid=131297/tid=131299] ppid=131294 vsize=19127036 memory=7316120 CPUtime=3558.3 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 4219885 0 0 0 354435 1395 0 0 20 0 20 0 13225977 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1824 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19127036 memory=50228 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225982 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19127036 memory=7316120 CPUtime=0.01 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 4524 0 0 0 0 1 0 0 20 0 20 0 13225983 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131317] ppid=131294 vsize=19127036 memory=7316120 CPUtime=0 cores=4,6
/proc/131297/task/131317/stat : 131317 (Timer-0) S 131294 131297 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13226212 19586084864 1829030 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7316120 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.75 s, system=18.0441 s

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

[startup+3604 s]*
/proc/loadavg: 4.19 4.22 4.25 11/321 134558
/proc/meminfo: memFree=69192196/131655788 swapFree=131052932/131071996
[pid=131297] ppid=131294 vsize=19326728 memory=7316924 CPUtime=3600.65 cores=4,6
/proc/131297/stat : 131297 (java) S 131294 131297 126356 0 -1 1077936128 6447070 0 0 0 358273 1792 0 0 20 0 15 0 13225976 19790569472 1829231 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
/proc/131297/statm: 4831682 1829231 6176 1 0 1846826 0
[pid=131297/tid=131299] ppid=131294 vsize=19326728 memory=-8888250137279505084 CPUtime=3558.62 cores=4,6
/proc/131297/task/131299/stat : 131299 (java) R 131294 131297 126356 0 -1 4194368 4220051 0 0 0 354467 1395 0 0 20 0 15 0 13225977 19790569472 1829231 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1824 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131308] ppid=131294 vsize=19326728 memory=7654271742944303428 CPUtime=0 cores=4,6
/proc/131297/task/131308/stat : 131308 (Finalizer) S 131294 131297 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 13225982 19790569472 1829231 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
[pid=131297/tid=131315] ppid=131294 vsize=19326728 memory=7035572 CPUtime=0.01 cores=4,6
/proc/131297/task/131315/stat : 131315 (Common-Cleaner) S 131294 131297 126356 0 -1 1077936192 4524 0 0 0 0 1 0 0 20 0 15 0 13225983 19790569472 1829231 134679101440 93946939936768 93946939940464 140734551209168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946939948280 93946939949072 93946971398144 140734551217071 140734551217253 140734551217253 140734551224264 0
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 7316924 KiB

[startup+3604.12 s]*
/proc/loadavg: 4.19 4.22 4.25 5/302 134558
/proc/meminfo: memFree=72127996/131655788 swapFree=131052932/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3604.17
CPU time (s): 3600.79
CPU user time (s): 3582.75
CPU system time (s): 18.0441
CPU usage (%): 99.9061
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 7316924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.75
system time used= 18.0441
maximum resident set size= 7318060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6447171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19239920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110439
involuntary context switches= 6336


# summary of solver processes directly reported to runsolver:
#   pid: 131297
#   total CPU time (s): 3600.79
#   total CPU user time (s): 3582.75
#   total CPU system time (s): 18.0441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5881 second user time and 37.8713 second system time

The end

Begin job on nodeC005 at 2024-07-24 00:06:06
IDJOB=4440304
IDBENCH=147558
IDSOLVER=3079
FILE ID=nodeC005/4440304-1721772365
RUNJOBID= nodeC005-1721765593-126367
SLURM_JOB_ID= 7770667
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_0.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-4440304-1721772365/watcher-4440304-1721772365 -o /tmp/evaluation-result-4440304-1721772365/solver-4440304-1721772365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721765593-126367 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440304-1721772365 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440304-1721772365.opb

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=2012132366

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.148
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        65398720 kB
MemAvailable:   99858736 kB
Buffers:          181308 kB
Cached:         35063768 kB
SwapCached:          184 kB
Active:          1247476 kB
Inactive:       64323392 kB
Active(anon):       2880 kB
Inactive(anon): 30368112 kB
Active(file):    1244596 kB
Inactive(file): 33955280 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131052932 kB
Dirty:            297888 kB
Writeback:             0 kB
AnonPages:      30325672 kB
Mapped:           126844 kB
Shmem:             45072 kB
KReclaimable:     200344 kB
Slab:             310596 kB
SReclaimable:     200344 kB
SUnreclaim:       110252 kB
KernelStack:        4868 kB
PageTables:        69848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   33607440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14816 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23017472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    22697984 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC005 at 2024-07-24 01:06:10