0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432246-1721093048.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c  objective function found
2.61/1.63	c ... done. Wall clock time 1.498s.
2.61/1.63	c declared #vars     10000
2.61/1.63	c #constraints  656900
2.61/1.63	c constraints type 
2.61/1.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.61/1.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.61/1.63	c 656900 constraints processed.
2.61/1.64	c objective function length is 10000 literals
2.99/1.82	c SATISFIABLE
2.99/1.82	c OPTIMIZING...
2.99/1.82	c Got one! Elapsed wall clock time (in seconds):1.696
2.99/1.82	o 698
5.28/3.38	c cleaning 2555 clauses out of 5123 with flag 13530/5123
7.29/5.18	c cleaning 4275 clauses out of 8568 with flag 30972/11123
9.19/7.01	c cleaning 5638 clauses out of 11293 with flag 52460/18123
11.33/9.17	c cleaning 6821 clauses out of 13657 with flag 75658/26125
14.02/11.68	c cleaning 7903 clauses out of 15834 with flag 101296/35123
16.70/14.33	c cleaning 8960 clauses out of 17932 with flag 130616/45124
19.67/17.30	c cleaning 9971 clauses out of 19972 with flag 161985/56124
22.64/20.40	c cleaning 10988 clauses out of 22000 with flag 196576/68123
26.49/24.00	c cleaning 11993 clauses out of 24012 with flag 235932/81123
30.08/27.67	c cleaning 12997 clauses out of 26019 with flag 280299/95123
34.47/31.80	c cleaning 13999 clauses out of 28022 with flag 325373/110123
38.56/35.99	c cleaning 15001 clauses out of 30023 with flag 376789/126123
43.41/40.63	c cleaning 15991 clauses out of 32023 with flag 429785/143124
48.02/45.27	c cleaning 17000 clauses out of 34031 with flag 482881/161123
53.26/50.33	c cleaning 18006 clauses out of 36032 with flag 540669/180124
58.84/55.74	c cleaning 19009 clauses out of 38026 with flag 603784/200124
64.13/61.08	c cleaning 19996 clauses out of 40016 with flag 667523/221123
70.47/67.25	c cleaning 21002 clauses out of 42020 with flag 736098/243123
76.89/73.53	c cleaning 21997 clauses out of 44018 with flag 814182/266123
83.82/80.31	c cleaning 23006 clauses out of 46022 with flag 893918/290124
91.14/87.52	c cleaning 24000 clauses out of 48015 with flag 979023/315123
98.55/94.81	c cleaning 25000 clauses out of 50015 with flag 1062787/341123
106.95/103.03	c cleaning 25992 clauses out of 52015 with flag 1150276/368123
114.41/110.39	c cleaning 26996 clauses out of 54023 with flag 1241345/396123
122.30/118.10	c cleaning 27999 clauses out of 56028 with flag 1329745/425124
131.52/126.50	c cleaning 29003 clauses out of 58028 with flag 1428751/455123
139.56/134.68	c cleaning 30003 clauses out of 60026 with flag 1527837/486124
148.16/143.22	c cleaning 31000 clauses out of 62022 with flag 1631775/518123
157.38/152.47	c cleaning 32000 clauses out of 64022 with flag 1737598/551123
167.73/162.75	c cleaning 33000 clauses out of 66023 with flag 1850586/585124
178.31/173.25	c cleaning 34009 clauses out of 68023 with flag 1969818/620124
188.43/183.29	c cleaning 35004 clauses out of 70015 with flag 2093423/656125
199.33/194.09	c cleaning 35997 clauses out of 72010 with flag 2215964/693124
210.35/204.93	c cleaning 36996 clauses out of 74012 with flag 2342863/731123
221.45/216.15	c cleaning 37998 clauses out of 76016 with flag 2478055/770123
233.10/227.60	c cleaning 38998 clauses out of 78018 with flag 2617366/810123
244.69/239.26	c cleaning 39997 clauses out of 80021 with flag 2764201/851124
256.44/250.92	c cleaning 41000 clauses out of 82023 with flag 2909001/893123
269.04/263.43	c cleaning 42003 clauses out of 84023 with flag 3059749/936123
280.88/275.11	c cleaning 43002 clauses out of 86021 with flag 3212692/980124
293.19/287.34	c cleaning 43998 clauses out of 88018 with flag 3367534/1025123
307.06/300.34	c cleaning 45005 clauses out of 90022 with flag 3523697/1071125
320.53/313.65	c cleaning 45996 clauses out of 92018 with flag 3682937/1118126
334.87/327.84	c cleaning 47005 clauses out of 94019 with flag 3851573/1166123
349.85/342.72	c cleaning 48005 clauses out of 96016 with flag 4023352/1215125
364.91/357.74	c cleaning 48998 clauses out of 98010 with flag 4194922/1265124
379.54/372.31	c cleaning 49996 clauses out of 100011 with flag 4367795/1316123
395.11/387.50	c cleaning 50993 clauses out of 102015 with flag 4543269/1368123
410.61/402.90	c cleaning 51999 clauses out of 104024 with flag 4716654/1421125
426.37/418.71	c cleaning 53012 clauses out of 106023 with flag 4897904/1475123
442.44/434.87	c cleaning 53996 clauses out of 108013 with flag 5086451/1530125
459.53/450.89	c cleaning 55007 clauses out of 110017 with flag 5281317/1586125
475.94/467.17	c cleaning 56000 clauses out of 112008 with flag 5479433/1643123
493.61/484.72	c cleaning 57005 clauses out of 114010 with flag 5679127/1701125
510.43/501.30	c cleaning 58000 clauses out of 116004 with flag 5891055/1760124
527.89/518.59	c cleaning 59001 clauses out of 118003 with flag 6090652/1820123
546.01/536.61	c cleaning 59992 clauses out of 120002 with flag 6298802/1881123
564.18/554.53	c cleaning 60998 clauses out of 122011 with flag 6524303/1943124
581.86/572.11	c cleaning 61995 clauses out of 124013 with flag 6748632/2006124
599.73/589.76	c cleaning 62993 clauses out of 126017 with flag 6980469/2070123
618.53/608.31	c cleaning 64000 clauses out of 128025 with flag 7215652/2135124
637.37/627.06	c cleaning 65000 clauses out of 130025 with flag 7455603/2201124
656.89/646.39	c cleaning 65996 clauses out of 132024 with flag 7700044/2268123
677.04/666.28	c cleaning 67004 clauses out of 134028 with flag 7948647/2336123
699.40/687.17	c cleaning 68001 clauses out of 136025 with flag 8199128/2405124
720.39/708.16	c cleaning 69004 clauses out of 138023 with flag 8454666/2475123
742.40/729.85	c cleaning 70005 clauses out of 140020 with flag 8722870/2546124
764.61/752.08	c cleaning 71002 clauses out of 142014 with flag 8990769/2618123
787.83/774.97	c cleaning 71991 clauses out of 144012 with flag 9253342/2691123
810.74/797.75	c cleaning 73000 clauses out of 146021 with flag 9528615/2765123
833.53/820.13	c cleaning 74003 clauses out of 148023 with flag 9817776/2840125
856.36/842.93	c cleaning 74994 clauses out of 150018 with flag 10103221/2916123
879.15/865.30	c cleaning 76012 clauses out of 152025 with flag 10390303/2993124
902.92/888.98	c cleaning 76990 clauses out of 154012 with flag 10687099/3071123
928.28/914.01	c cleaning 78002 clauses out of 156022 with flag 10982604/3150123
954.87/940.27	c cleaning 79002 clauses out of 158023 with flag 11293717/3230126
980.04/965.24	c cleaning 79997 clauses out of 160019 with flag 11610270/3311124
1005.84/990.73	c cleaning 81008 clauses out of 162022 with flag 11915518/3393124
1033.71/1018.22	c cleaning 82001 clauses out of 164013 with flag 12220801/3476123
1062.06/1044.60	c cleaning 82998 clauses out of 166013 with flag 12532354/3560124
1087.07/1069.47	c cleaning 84000 clauses out of 168014 with flag 12864492/3645123
1114.27/1096.26	c cleaning 84991 clauses out of 170014 with flag 13209005/3731123
1140.85/1122.78	c cleaning 86006 clauses out of 172024 with flag 13562079/3818124
1167.14/1148.93	c cleaning 86992 clauses out of 174018 with flag 13906576/3906124
1194.47/1175.75	c cleaning 88004 clauses out of 176025 with flag 14252761/3995123
1221.77/1202.89	c cleaning 89003 clauses out of 178021 with flag 14584542/4085123
1249.68/1230.62	c cleaning 89999 clauses out of 180018 with flag 14933033/4176123
1278.55/1259.23	c cleaning 91005 clauses out of 182020 with flag 15290227/4268124
1307.57/1288.29	c cleaning 91987 clauses out of 184014 with flag 15655981/4361123
1337.10/1317.43	c cleaning 93003 clauses out of 186027 with flag 16024531/4455123
1365.82/1345.92	c cleaning 94004 clauses out of 188024 with flag 16411219/4550123
1395.82/1375.40	c cleaning 95002 clauses out of 190021 with flag 16798120/4646124
1425.76/1405.27	c cleaning 96004 clauses out of 192020 with flag 17185399/4743125
1454.40/1433.48	c cleaning 96991 clauses out of 194014 with flag 17563774/4841123
1482.76/1461.54	c cleaning 98003 clauses out of 196023 with flag 17947509/4940123
1511.76/1489.95	c cleaning 99001 clauses out of 198022 with flag 18345176/5040125
1544.01/1520.10	c cleaning 99999 clauses out of 200019 with flag 18748066/5141123
1573.04/1548.90	c cleaning 100997 clauses out of 202020 with flag 19159837/5243123
1604.33/1579.47	c cleaning 102000 clauses out of 204024 with flag 19580219/5346124
1635.42/1610.28	c cleaning 103004 clauses out of 206025 with flag 20026337/5450125
1665.44/1640.16	c cleaning 103994 clauses out of 208021 with flag 20479795/5555125
1696.24/1670.38	c cleaning 105000 clauses out of 210025 with flag 20923334/5661123
1727.42/1701.15	c cleaning 106000 clauses out of 212025 with flag 21387402/5768123
1761.22/1734.63	c cleaning 107006 clauses out of 214027 with flag 21837064/5876125
1796.66/1769.57	c cleaning 108008 clauses out of 216019 with flag 22283337/5985123
1831.64/1804.47	c cleaning 108991 clauses out of 218011 with flag 22749514/6095123
1867.10/1839.94	c cleaning 110003 clauses out of 220021 with flag 23224751/6206124
1901.12/1873.50	c cleaning 111001 clauses out of 222017 with flag 23686157/6318123
1936.49/1908.89	c cleaning 111995 clauses out of 224016 with flag 24164205/6431123
1971.99/1944.47	c cleaning 113002 clauses out of 226022 with flag 24652971/6545124
2009.37/1981.42	c cleaning 114002 clauses out of 228019 with flag 25142645/6660123
2044.70/2016.76	c cleaning 115002 clauses out of 230018 with flag 25646475/6776124
2080.64/2052.24	c cleaning 115998 clauses out of 232015 with flag 26151542/6893123
2117.49/2088.87	c cleaning 117007 clauses out of 234020 with flag 26662596/7011126
2156.32/2127.29	c cleaning 118000 clauses out of 236010 with flag 27165926/7130123
2198.98/2167.44	c cleaning 118997 clauses out of 238010 with flag 27669171/7250123
2238.07/2205.81	c cleaning 119993 clauses out of 240013 with flag 28164786/7371123
2275.60/2243.14	c cleaning 120986 clauses out of 242022 with flag 28681574/7493125
2313.00/2280.36	c cleaning 122004 clauses out of 244034 with flag 29208443/7616123
2353.92/2320.64	c cleaning 123011 clauses out of 246030 with flag 29736539/7740123
2395.50/2361.92	c cleaning 124007 clauses out of 248019 with flag 30251799/7865123
2438.64/2404.45	c cleaning 124993 clauses out of 250014 with flag 30776291/7991125
2482.59/2448.28	c cleaning 126005 clauses out of 252019 with flag 31296944/8118123
2523.45/2488.71	c cleaning 126997 clauses out of 254014 with flag 31819100/8246123
2564.15/2529.27	c cleaning 128002 clauses out of 256017 with flag 32379833/8375123
2606.28/2570.73	c cleaning 128994 clauses out of 258015 with flag 32934446/8505123
2646.92/2611.29	c cleaning 129999 clauses out of 260022 with flag 33480727/8636124
2691.74/2655.49	c cleaning 131008 clauses out of 262022 with flag 34032721/8768123
2737.33/2700.94	c cleaning 132000 clauses out of 264014 with flag 34590088/8901123
2783.28/2746.24	c cleaning 133001 clauses out of 266015 with flag 35159021/9035124
2827.41/2789.63	c cleaning 134001 clauses out of 268017 with flag 35729076/9170127
2873.97/2832.94	c cleaning 134995 clauses out of 270012 with flag 36327208/9306123
2918.47/2876.82	c cleaning 135995 clauses out of 272017 with flag 36931079/9443123
2963.81/2921.67	c cleaning 137002 clauses out of 274022 with flag 37521173/9581123
3008.70/2966.15	c cleaning 137991 clauses out of 276020 with flag 38127230/9720123
3053.68/3010.73	c cleaning 138996 clauses out of 278029 with flag 38731853/9860123
3100.05/3056.32	c cleaning 140007 clauses out of 280034 with flag 39361936/10001124
3145.78/3101.88	c cleaning 141009 clauses out of 282026 with flag 39973613/10143123
3191.44/3147.16	c cleaning 142000 clauses out of 284018 with flag 40601977/10286124
3235.86/3190.91	c cleaning 143002 clauses out of 286017 with flag 41223018/10430123
3283.32/3238.42	c cleaning 144002 clauses out of 288016 with flag 41831283/10575124
3329.55/3284.21	c cleaning 145007 clauses out of 290014 with flag 42465073/10721124
3377.88/3331.82	c cleaning 145993 clauses out of 292007 with flag 43122375/10868124
3430.59/3380.38	c cleaning 146998 clauses out of 294013 with flag 43784167/11016123
3479.86/3428.82	c cleaning 148007 clauses out of 296015 with flag 44409850/11165123
3529.00/3477.26	c cleaning 148993 clauses out of 298008 with flag 45046006/11315123
3577.93/3525.66	c cleaning 149992 clauses out of 300015 with flag 45694192/11466123
3600.09/3547.91	c starts		: 5
3600.09/3547.92	c conflicts		: 11539755
3600.09/3547.92	c decisions		: 27838246
3600.09/3547.92	c propagations		: 2099707233
3600.09/3547.92	c inspects		: 4945104284
3600.09/3547.92	c shortcuts		: 0
3600.09/3547.92	c learnt literals	: 0
3600.09/3547.92	c learnt binary clauses	: 0
3600.09/3547.92	c learnt ternary clauses	: 0
3600.09/3547.92	c learnt constraints	: 11539755
3600.09/3547.92	c ignored constraints	: 0
3600.09/3547.92	c root simplifications	: 0
3600.09/3547.92	c removed literals (reason simplification)	: 0
3600.09/3547.92	c reason swapping (by a shorter reason)	: 0
3600.09/3547.92	c Calls to reduceDB	: 147
3600.09/3547.92	c Number of update (reduction) of LBD	: 3005506
3600.09/3547.92	c Imported unit clauses	: 0
3600.09/3547.93	c No decision after first conflict	: false
3600.09/3547.93	c number of reductions to clauses (during analyze)	: 0
3600.09/3547.93	c number of learned constraints concerned by reduction	: 0
3600.09/3547.93	c number of learning phase by resolution	: 0
3600.09/3547.93	c number of learning phase by cutting planes	: 0
3600.09/3547.93	c number of rounding to 1 operations	: 0
3600.09/3547.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3547.93	c number of reductions of the coefficients by power 2 	: 0
3600.09/3547.93	c number of right shift for reduction by power 2 	: 0
3600.09/3547.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3547.93	c number of ending skipping 	: 0
3600.09/3547.93	c number of internal skipping 	: 0
3600.09/3547.93	c number of derivation steps 	: 0
3600.09/3547.93	c number of skipped derivation steps 	: 0
3600.09/3547.93	c number of remaining unassigned 	: 0
3600.09/3547.93	c number of remaining assigned 	: 0
3600.09/3547.93	c number of falsified literals weakened from reason	: 0
3600.09/3547.93	c number of falsified literals weakened from conflict	: 0
3600.09/3547.93	c time for arithmetic operations	: 0
3600.09/3547.93	c minimum degree of deleted constraints	: null
3600.09/3547.93	c maximum degree of deleted constraints	: null
3600.09/3547.93	c number of deleted constraints	: 0
3600.09/3547.93	c speed (assignments/second)	: 592086.5990992261
3600.09/3547.93	c non guided choices	: 0
3600.09/3548.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 223655
3600.09/3548.02	s SATISFIABLE
3600.09/3548.02	c Found 1 solution(s)
3600.09/3548.02	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.35/3548.06	c objective function=698
3600.35/3548.06	c Total wall clock time (in seconds): 3547.936

OK	698

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: 63931 MiB (49405 MiB free)
  memory of node 1: 64510 MiB (47263 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432246-1721093048/watcher-4432246-1721093048 -o /tmp/evaluation-result-4432246-1721093048/solver-4432246-1721093048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826326 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432246-1721093048.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100081 s]*
/proc/loadavg: 4.20 4.18 4.18 5/331 830229
/proc/meminfo: memFree=98947168/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=18975048 memory=63112 CPUtime=0.14 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 7204 0 0 0 12 2 0 0 20 0 18 0 161474542 19430449152 15778 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4743762 15778 5690 1 0 549328 0
[pid=830211/tid=830213] ppid=830208 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 5743 0 0 0 7 1 0 0 20 0 18 0 161474542 19430449152 15778 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161474545 19430449152 15778 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161474545 19430449152 15778 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63112 KiB

[startup+0.215575 s]*
/proc/loadavg: 4.20 4.18 4.18 7/331 830229
/proc/meminfo: memFree=98929304/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=18975048 memory=83416 CPUtime=0.35 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 8074 0 0 0 33 2 0 0 20 0 18 0 161474542 19430449152 20854 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4743762 20854 5864 1 0 549977 0
[pid=830211/tid=830213] ppid=830208 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 5892 0 0 0 18 2 0 0 20 0 18 0 161474542 19430449152 20854 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=18975048 memory=17963 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161474545 19430449152 20854 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161474545 19430449152 20854 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83416 KiB

[startup+0.305748 s]*
/proc/loadavg: 4.20 4.18 4.18 7/331 830229
/proc/meminfo: memFree=98894664/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=18975048 memory=118120 CPUtime=0.53 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 9648 0 0 0 50 3 0 0 20 0 18 0 161474542 19430449152 29530 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4743762 29530 5864 1 0 550894 0
[pid=830211/tid=830213] ppid=830208 vsize=18975048 memory=-8601145678214046396 CPUtime=0.28 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 5910 0 0 0 26 2 0 0 20 0 18 0 161474542 19430449152 29530 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161474545 19430449152 29530 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161474545 19430449152 29530 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 118120 KiB

[startup+0.705574 s]
/proc/loadavg: 4.20 4.18 4.18 6/332 830230
/proc/meminfo: memFree=98829492/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19041612 memory=189972 CPUtime=1.28 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 14303 0 0 0 123 5 0 0 20 0 19 0 161474542 19498610688 47493 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4760403 47493 5864 1 0 553703 0
[pid=830211/tid=830213] ppid=830208 vsize=19041612 memory=5492 CPUtime=0.62 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 1077936192 5935 0 0 0 59 3 0 0 20 0 19 0 161474542 19498610688 47493 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19041612 memory=12312 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161474545 19498610688 47493 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161474545 19498610688 47493 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 189972 KiB

[startup+1.50058 s]
/proc/loadavg: 4.20 4.18 4.18 6/332 830230
/proc/meminfo: memFree=98782068/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19041612 memory=391600 CPUtime=2.47 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 17075 0 0 0 237 10 0 0 20 0 19 0 161474542 19498610688 97900 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4760403 97900 5896 1 0 908094 0
[pid=830211/tid=830213] ppid=830208 vsize=19041612 memory=12312 CPUtime=1.32 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 6019 0 0 0 125 7 0 0 20 0 19 0 161474542 19498610688 97900 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161474545 19498610688 97900 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161474545 19498610688 97900 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 391600 KiB

[startup+3.10564 s]
/proc/loadavg: 4.34 4.21 4.19 5/333 830231
/proc/meminfo: memFree=98596076/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=413396 CPUtime=5.04 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 19281 0 0 0 493 11 0 0 20 0 20 0 161474542 19566772224 103349 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 103349 5964 1 0 909504 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=198340509722 CPUtime=2.87 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 6183 0 0 0 280 7 0 0 20 0 20 0 161474542 19566772224 103349 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 103349 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 103349 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=409280 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 103349 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 413396 KiB

[startup+6.30059 s]
/proc/loadavg: 4.34 4.21 4.19 5/333 830233
/proc/meminfo: memFree=98377104/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=642816 CPUtime=8.49 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 23974 0 0 0 833 16 0 0 20 0 20 0 161474542 19566772224 160704 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 160704 5980 1 0 1544647 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=0 CPUtime=5.93 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 6902 0 0 0 583 10 0 0 20 0 20 0 161474542 19566772224 160704 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=413396 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 160704 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=626432 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 160704 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=-8601145678214046396 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 160704 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 642816 KiB

[startup+12.7006 s]
/proc/loadavg: 4.48 4.24 4.20 5/333 830301
/proc/meminfo: memFree=112708276/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=1083188 CPUtime=15.11 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 26037 0 0 0 1485 26 0 0 20 0 20 0 161474542 19566772224 270797 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 270797 5980 1 0 1544656 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=1083188 CPUtime=12.06 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 7082 0 0 0 1193 13 0 0 20 0 20 0 161474542 19566772224 270797 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=788244 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 270797 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 270797 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 270797 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 15.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1083188 KiB

[startup+25.5002 s]
/proc/loadavg: 4.52 4.26 4.21 5/333 830304
/proc/meminfo: memFree=112093624/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=1288308 CPUtime=27.98 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 29455 0 0 0 2766 32 0 0 20 0 20 0 161474542 19566772224 322077 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 322077 5983 1 0 1544688 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=0 CPUtime=24.6 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 8047 0 0 0 2446 14 0 0 20 0 20 0 161474542 19566772224 322077 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=1288252 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 322077 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=1288252 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 322077 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=1083228 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 322077 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 27.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1288308 KiB

[startup+51.1057 s]
/proc/loadavg: 4.47 4.27 4.21 5/333 830307
/proc/meminfo: memFree=110712244/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=1843476 CPUtime=54.07 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 36864 0 0 0 5361 46 0 0 20 0 20 0 161474542 19566772224 460869 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 460869 5999 1 0 1544688 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=32284 CPUtime=49.61 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 10127 0 0 0 4947 14 0 0 20 0 20 0 161474542 19566772224 460869 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=1675520 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 460869 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=-8601145678214046396 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 460869 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 460869 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0

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

/proc/meminfo: memFree=96597224/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=15034156 CPUtime=3267.36 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 398749 0 0 0 326315 421 0 0 20 0 20 0 161474542 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 3758539 5999 1 0 4087916 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=15034104 CPUtime=3157.12 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 130458 0 0 0 315638 74 0 0 20 0 20 0 161474542 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=15034156 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=15034156 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 2286 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=15034156 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 3267.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15034156 KiB

[startup+3282.3 s]
/proc/loadavg: 2.24 2.71 3.47 3/279 832155
/proc/meminfo: memFree=96596772/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=15034156 CPUtime=3327.65 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 403979 0 0 0 332341 424 0 0 20 0 20 0 161474542 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 3758539 5999 1 0 4087916 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=15034156 CPUtime=3216.08 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 132389 0 0 0 321533 75 0 0 20 0 20 0 161474542 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=15034156 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=40972 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 2336 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=15034156 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 3758539 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 3327.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15034156 KiB

[startup+3342.3 s]
/proc/loadavg: 2.25 2.63 3.39 3/279 832165
/proc/meminfo: memFree=96590092/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=15036240 CPUtime=3388.65 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 406181 0 0 0 338439 426 0 0 20 0 20 0 161474542 19566772224 3759060 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 3759060 5999 1 0 4087916 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=15034156 CPUtime=3274.82 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 133916 0 0 0 327407 75 0 0 20 0 20 0 161474542 19566772224 3759060 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=5492 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3759060 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 2336 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3759060 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=-8601145678214046396 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 3759060 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 3388.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15036240 KiB

[startup+3402.3 s]
/proc/loadavg: 2.22 2.55 3.31 3/281 832180
/proc/meminfo: memFree=96584612/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=15041248 CPUtime=3452.86 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 433653 0 0 0 344856 430 0 0 20 0 20 0 161474542 19566772224 3760312 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 3760312 6014 1 0 4088637 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=40972 CPUtime=3333.75 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 140845 0 0 0 333300 75 0 0 20 0 20 0 161474542 19566772224 3760312 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3760312 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=15041248 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 2338 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3760312 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=15041248 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 3760312 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15041248 KiB

[startup+3462.3 s]
/proc/loadavg: 2.12 2.47 3.23 3/281 832190
/proc/meminfo: memFree=96584024/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=15041252 CPUtime=3513.62 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 436224 0 0 0 350930 432 0 0 20 0 20 0 161474542 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 3760313 6014 1 0 4088637 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=40972 CPUtime=3392.73 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 142185 0 0 0 339198 75 0 0 20 0 20 0 161474542 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 2382 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=15041252 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15041252 KiB

[startup+3522.3 s]
/proc/loadavg: 2.15 2.41 3.16 3/280 832201
/proc/meminfo: memFree=96583744/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=15041252 CPUtime=3574.12 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 437776 0 0 0 356977 435 0 0 20 0 20 0 161474542 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 3760313 6014 1 0 4088637 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=15041252 CPUtime=3451.33 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 142788 0 0 0 345057 76 0 0 20 0 20 0 161474542 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=5492 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 2382 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15041252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3547.9 s]
/proc/loadavg: 2.14 2.39 3.14 2/254 832240
/proc/meminfo: memFree=111697772/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19108176 memory=15041252 CPUtime=3600.09 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 439864 0 0 0 359574 435 0 0 20 0 20 0 161474542 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4777044 3760313 6014 1 0 4088637 0
[pid=830211/tid=830213] ppid=830208 vsize=19108176 memory=2000 CPUtime=3476.22 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 144076 0 0 0 347546 76 0 0 20 0 20 0 161474542 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19108176 memory=15041252 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 2528 0 0 0 0 0 0 0 20 0 20 0 161474545 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830231] ppid=830208 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/830211/task/830231/stat : 830231 (Timer-0) S 830208 830211 826314 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161474707 19566772224 3760313 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15041252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.06 s, system=4.40159 s

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

[startup+3548.02 s]*
/proc/loadavg: 2.14 2.39 3.14 5/255 832243
/proc/meminfo: memFree=111697100/131524600 swapFree=131071996/131071996
[pid=830211] ppid=830208 vsize=19307868 memory=15041964 CPUtime=3600.35 cores=1,3
/proc/830211/stat : 830211 (java) S 830208 830211 826314 0 -1 1077936128 443447 0 0 0 359599 436 0 0 20 0 21 0 161474542 19771256832 3760491 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
/proc/830211/statm: 4826967 3760491 6013 1 0 4089526 0
[pid=830211/tid=830213] ppid=830208 vsize=19307868 memory=-6170700475046657987 CPUtime=3476.33 cores=1,3
/proc/830211/task/830213/stat : 830213 (java) R 830208 830211 826314 0 -1 4194368 144261 0 0 0 347557 76 0 0 20 0 21 0 161474542 19771256832 3760491 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830222] ppid=830208 vsize=19307868 memory=5428 CPUtime=0 cores=1,3
/proc/830211/task/830222/stat : 830222 (Finalizer) S 830208 830211 826314 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161474545 19771256832 3760491 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=830229] ppid=830208 vsize=19307868 memory=2724 CPUtime=0 cores=1,3
/proc/830211/task/830229/stat : 830229 (Common-Cleaner) S 830208 830211 826314 0 -1 1077936192 2528 0 0 0 0 0 0 0 20 0 21 0 161474545 19771256832 3760491 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
[pid=830211/tid=832242] ppid=830208 vsize=19307868 memory=13816 CPUtime=0.08 cores=1,3
/proc/830211/task/832242/stat : 832242 (Thread-0) R 830208 830211 826314 0 -1 4194368 663 0 0 0 8 0 0 0 20 0 21 0 161829333 19771256832 3760491 134679101440 94609162948608 94609162952304 140723169944464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94609162960120 94609162960912 94609173848064 140723169948679 140723169948769 140723169948769 140723169955784 0
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15041964 KiB

Child status: 143

Real time (s): 3548.1
CPU time (s): 3600.46
CPU user time (s): 3596.06
CPU system time (s): 4.40159
CPU usage (%): 101.476
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15041964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.06
system time used= 4.40159
maximum resident set size= 15042684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114073
involuntary context switches= 21267


# summary of solver processes directly reported to runsolver:
#   pid: 830211
#   total CPU time (s): 3600.46
#   total CPU user time (s): 3596.06
#   total CPU system time (s): 4.40159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57366 second user time and 17.748 second system time

The end

Begin job on nodeC033 at 2024-07-16 03:24:20
IDJOB=4432246
IDBENCH=147559
IDSOLVER=3058
FILE ID=nodeC033/4432246-1721093048
RUNJOBID= nodeC033-1721085950-826326
SLURM_JOB_ID= 7505580
Free space on /tmp= 890032 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432246-1721093048/watcher-4432246-1721093048 -o /tmp/evaluation-result-4432246-1721093048/solver-4432246-1721093048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721085950-826326 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432246-1721093048.opb

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

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=1020647740

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        98989012 kB
MemAvailable:   101941652 kB
Buffers:          409492 kB
Cached:          3349008 kB
SwapCached:            0 kB
Active:           692936 kB
Inactive:       31127028 kB
Active(anon):       1568 kB
Inactive(anon): 28097644 kB
Active(file):     691368 kB
Inactive(file):  3029384 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17660 kB
Writeback:             0 kB
AnonPages:      28060576 kB
Mapped:           124168 kB
Shmem:             37716 kB
KReclaimable:     143068 kB
Slab:             254292 kB
SReclaimable:     143068 kB
SUnreclaim:       111224 kB
KernelStack:        5040 kB
PageTables:        65168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   32630144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60928 kB
HardwareCorrupted:     0 kB
AnonHugePages:  27561984 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC033 at 2024-07-16 04:23:29