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.08	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-4432247-1721094197.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
2.47/1.68	c ... done. Wall clock time 1.556s.
2.47/1.68	c declared #vars     10000
2.47/1.68	c #constraints  656900
2.47/1.68	c constraints type 
2.47/1.68	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.47/1.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.47/1.68	c 656900 constraints processed.
2.47/1.69	c objective function length is 10000 literals
2.80/1.86	c SATISFIABLE
2.80/1.86	c OPTIMIZING...
2.80/1.86	c Got one! Elapsed wall clock time (in seconds):1.74
2.80/1.86	o 839
4.81/3.01	c cleaning 2533 clauses out of 5096 with flag 13456/5096
6.29/4.31	c cleaning 4281 clauses out of 8562 with flag 29289/11095
7.69/5.79	c cleaning 5641 clauses out of 11281 with flag 48291/18095
9.53/7.60	c cleaning 6820 clauses out of 13640 with flag 70834/26095
11.71/9.71	c cleaning 7905 clauses out of 15820 with flag 95621/35095
13.99/12.01	c cleaning 8957 clauses out of 17916 with flag 123021/45096
16.69/14.67	c cleaning 9975 clauses out of 19959 with flag 153465/56096
19.46/17.46	c cleaning 10986 clauses out of 21983 with flag 186571/68095
22.23/20.27	c cleaning 11993 clauses out of 23997 with flag 224715/81095
25.77/23.69	c cleaning 13000 clauses out of 26006 with flag 265881/95097
29.18/27.07	c cleaning 14001 clauses out of 28005 with flag 307269/110096
33.25/30.91	c cleaning 15001 clauses out of 30003 with flag 353378/126095
36.96/34.68	c cleaning 15993 clauses out of 32002 with flag 404883/143095
41.18/38.84	c cleaning 17005 clauses out of 34009 with flag 459422/161095
45.70/43.22	c cleaning 17999 clauses out of 36004 with flag 514740/180095
50.40/47.93	c cleaning 19001 clauses out of 38005 with flag 573808/200095
55.53/52.98	c cleaning 19992 clauses out of 40005 with flag 640845/221096
60.62/58.03	c cleaning 20997 clauses out of 42013 with flag 705591/243096
66.24/63.52	c cleaning 22003 clauses out of 44015 with flag 777202/266095
72.20/69.33	c cleaning 23006 clauses out of 46012 with flag 852600/290095
77.90/75.09	c cleaning 24001 clauses out of 48006 with flag 928141/315095
84.57/81.61	c cleaning 24994 clauses out of 50008 with flag 1007701/341098
91.11/88.03	c cleaning 26001 clauses out of 52012 with flag 1091396/368096
97.56/94.52	c cleaning 26998 clauses out of 54010 with flag 1178785/396095
104.64/101.57	c cleaning 28001 clauses out of 56012 with flag 1265762/425095
112.42/109.28	c cleaning 28997 clauses out of 58011 with flag 1361921/455095
120.12/116.88	c cleaning 30003 clauses out of 60016 with flag 1459995/486097
127.75/124.51	c cleaning 30999 clauses out of 62011 with flag 1563734/518095
135.42/132.19	c cleaning 32007 clauses out of 64016 with flag 1664269/551099
144.22/140.87	c cleaning 33001 clauses out of 66006 with flag 1770523/585096
153.20/149.72	c cleaning 33998 clauses out of 68005 with flag 1880568/620096
162.01/158.49	c cleaning 34996 clauses out of 70006 with flag 1995118/656095
172.52/168.09	c cleaning 35998 clauses out of 72012 with flag 2112051/693097
182.42/177.88	c cleaning 37000 clauses out of 74012 with flag 2238206/731095
192.53/187.89	c cleaning 38004 clauses out of 76012 with flag 2361875/770095
203.33/198.50	c cleaning 39002 clauses out of 78009 with flag 2497396/810096
213.57/208.64	c cleaning 39998 clauses out of 80006 with flag 2629326/851095
224.37/219.33	c cleaning 41001 clauses out of 82008 with flag 2762912/893095
235.06/229.97	c cleaning 41988 clauses out of 84007 with flag 2899716/936095
246.19/240.96	c cleaning 43002 clauses out of 86019 with flag 3044482/980095
257.49/252.11	c cleaning 43994 clauses out of 88017 with flag 3191620/1025095
269.91/264.56	c cleaning 45011 clauses out of 90023 with flag 3341362/1071095
281.19/275.80	c cleaning 45999 clauses out of 92014 with flag 3492971/1118097
293.64/288.21	c cleaning 47004 clauses out of 94014 with flag 3648943/1166096
307.02/301.55	c cleaning 47992 clauses out of 96013 with flag 3806930/1215099
321.82/315.23	c cleaning 49008 clauses out of 98018 with flag 3973542/1265096
335.75/329.13	c cleaning 50004 clauses out of 100009 with flag 4147970/1316095
351.29/344.34	c cleaning 50994 clauses out of 102006 with flag 4326997/1368096
365.52/358.41	c cleaning 51985 clauses out of 104011 with flag 4499757/1421095
380.23/372.80	c cleaning 53005 clauses out of 106027 with flag 4675257/1475096
394.60/387.05	c cleaning 54002 clauses out of 108022 with flag 4855263/1530096
409.57/401.92	c cleaning 54998 clauses out of 110019 with flag 5041984/1586095
426.17/417.27	c cleaning 56011 clauses out of 112024 with flag 5234487/1643098
441.46/432.47	c cleaning 57000 clauses out of 114010 with flag 5434252/1701095
458.28/448.91	c cleaning 58001 clauses out of 116012 with flag 5637252/1760097
474.10/464.66	c cleaning 58995 clauses out of 118009 with flag 5837032/1820095
490.48/480.79	c cleaning 60001 clauses out of 120014 with flag 6045543/1881095
507.11/497.03	c cleaning 61000 clauses out of 122017 with flag 6262062/1943099
524.29/514.15	c cleaning 62004 clauses out of 124014 with flag 6474356/2006096
542.46/532.16	c cleaning 63001 clauses out of 126009 with flag 6706303/2070095
561.19/550.56	c cleaning 64003 clauses out of 128008 with flag 6944807/2135095
580.51/569.82	c cleaning 64995 clauses out of 130005 with flag 7174113/2201095
600.45/589.65	c cleaning 66004 clauses out of 132010 with flag 7399939/2268095
620.70/609.67	c cleaning 67002 clauses out of 134006 with flag 7623732/2336095
640.79/629.52	c cleaning 67995 clauses out of 136004 with flag 7855436/2405095
661.30/648.50	c cleaning 68999 clauses out of 138010 with flag 8097501/2475096
681.56/668.44	c cleaning 70001 clauses out of 140010 with flag 8353562/2546095
702.26/689.09	c cleaning 70998 clauses out of 142009 with flag 8607974/2618095
722.89/709.29	c cleaning 71998 clauses out of 144011 with flag 8869136/2691095
743.71/729.82	c cleaning 72997 clauses out of 146014 with flag 9135945/2765096
764.77/750.41	c cleaning 74002 clauses out of 148017 with flag 9420581/2840096
785.40/770.89	c cleaning 75006 clauses out of 150015 with flag 9701755/2916096
808.44/793.52	c cleaning 76002 clauses out of 152008 with flag 9981946/2993095
830.82/815.75	c cleaning 76978 clauses out of 154006 with flag 10268587/3071095
853.34/837.91	c cleaning 78010 clauses out of 156028 with flag 10553427/3150095
875.63/860.18	c cleaning 79007 clauses out of 158019 with flag 10842103/3230096
899.17/883.45	c cleaning 80002 clauses out of 160011 with flag 11137793/3311095
923.09/907.05	c cleaning 80987 clauses out of 162010 with flag 11444834/3393096
947.84/931.73	c cleaning 82000 clauses out of 164022 with flag 11758110/3476095
972.95/956.54	c cleaning 83000 clauses out of 166022 with flag 12071663/3560095
999.27/981.37	c cleaning 84008 clauses out of 168023 with flag 12401513/3645096
1025.43/1006.96	c cleaning 85005 clauses out of 170014 with flag 12714667/3731095
1052.02/1033.22	c cleaning 85985 clauses out of 172009 with flag 13027971/3818095
1078.65/1059.60	c cleaning 87003 clauses out of 174024 with flag 13358008/3906095
1104.22/1085.17	c cleaning 87998 clauses out of 176022 with flag 13684368/3995096
1128.69/1109.59	c cleaning 89007 clauses out of 178025 with flag 14010287/4085097
1154.35/1134.51	c cleaning 89997 clauses out of 180017 with flag 14333937/4176096
1180.18/1160.16	c cleaning 91001 clauses out of 182019 with flag 14671238/4268095
1206.44/1186.24	c cleaning 91986 clauses out of 184021 with flag 15016377/4361098
1234.70/1214.08	c cleaning 93011 clauses out of 186034 with flag 15369257/4455097
1261.84/1241.19	c cleaning 94005 clauses out of 188022 with flag 15738390/4550096
1291.00/1269.72	c cleaning 94997 clauses out of 190016 with flag 16104022/4646095
1319.55/1298.16	c cleaning 96000 clauses out of 192019 with flag 16471110/4743095
1348.22/1326.75	c cleaning 97003 clauses out of 194020 with flag 16842362/4841096
1376.75/1354.75	c cleaning 98001 clauses out of 196018 with flag 17226483/4940097
1407.57/1385.37	c cleaning 99003 clauses out of 198015 with flag 17611879/5040095
1437.93/1415.04	c cleaning 99994 clauses out of 200013 with flag 18014465/5141096
1468.16/1445.22	c cleaning 100998 clauses out of 202019 with flag 18411095/5243096
1499.64/1476.25	c cleaning 101993 clauses out of 204020 with flag 18808747/5346095
1534.77/1509.24	c cleaning 103005 clauses out of 206028 with flag 19215344/5450096
1567.54/1541.97	c cleaning 103998 clauses out of 208022 with flag 19631985/5555095
1601.37/1575.35	c cleaning 105004 clauses out of 210024 with flag 20050397/5661095
1633.53/1607.36	c cleaning 105994 clauses out of 212025 with flag 20455343/5768100
1665.74/1639.31	c cleaning 107007 clauses out of 214026 with flag 20858875/5876095
1698.63/1672.08	c cleaning 107994 clauses out of 216019 with flag 21292099/5985095
1730.78/1704.08	c cleaning 109002 clauses out of 218027 with flag 21721903/6095097
1764.64/1737.19	c cleaning 110000 clauses out of 220024 with flag 22165299/6206096
1798.72/1771.01	c cleaning 111009 clauses out of 222024 with flag 22606926/6318096
1832.63/1804.97	c cleaning 111997 clauses out of 224014 with flag 23075023/6431095
1867.98/1839.92	c cleaning 112991 clauses out of 226017 with flag 23545263/6545095
1904.29/1876.08	c cleaning 114005 clauses out of 228026 with flag 24028844/6660095
1941.18/1912.65	c cleaning 115009 clauses out of 230021 with flag 24494470/6776095
1977.16/1948.56	c cleaning 115997 clauses out of 232014 with flag 24961902/6893097
2014.29/1985.30	c cleaning 116992 clauses out of 234015 with flag 25433302/7011095
2051.81/2022.89	c cleaning 118009 clauses out of 236025 with flag 25918205/7130097
2091.65/2061.92	c cleaning 119003 clauses out of 238014 with flag 26395764/7250095
2130.95/2101.17	c cleaning 119999 clauses out of 240011 with flag 26875758/7371095
2169.81/2139.97	c cleaning 120997 clauses out of 242012 with flag 27367470/7493095
2212.25/2179.86	c cleaning 121997 clauses out of 244015 with flag 27874212/7616095
2251.51/2218.91	c cleaning 123002 clauses out of 246020 with flag 28382136/7740097
2289.17/2256.33	c cleaning 124003 clauses out of 248016 with flag 28888444/7865095
2330.80/2297.64	c cleaning 125006 clauses out of 250015 with flag 29411749/7991097
2371.18/2338.10	c cleaning 125988 clauses out of 252007 with flag 29952716/8118095
2412.97/2379.56	c cleaning 127001 clauses out of 254021 with flag 30499091/8246097
2453.89/2420.47	c cleaning 127992 clauses out of 256018 with flag 31033154/8375095
2495.75/2461.89	c cleaning 129000 clauses out of 258026 with flag 31566963/8505095
2539.43/2505.53	c cleaning 130009 clauses out of 260026 with flag 32121317/8636095
2586.51/2552.23	c cleaning 131000 clauses out of 262017 with flag 32672896/8768095
2631.17/2596.70	c cleaning 132005 clauses out of 264018 with flag 33232771/8901096
2675.08/2639.99	c cleaning 133002 clauses out of 266016 with flag 33772099/9035099
2720.21/2684.89	c cleaning 133996 clauses out of 268010 with flag 34329915/9170095
2766.53/2730.57	c cleaning 135005 clauses out of 270014 with flag 34894655/9306095
2812.71/2776.36	c cleaning 135991 clauses out of 272009 with flag 35461724/9443095
2859.82/2819.32	c cleaning 137003 clauses out of 274018 with flag 36026889/9581095
2905.81/2865.33	c cleaning 138006 clauses out of 276017 with flag 36597471/9720097
2950.80/2909.97	c cleaning 138996 clauses out of 278009 with flag 37229147/9860095
2996.90/2955.79	c cleaning 139982 clauses out of 280013 with flag 37836865/10001095
3046.35/3004.56	c cleaning 141008 clauses out of 282032 with flag 38449938/10143096
3092.68/3050.91	c cleaning 142005 clauses out of 284024 with flag 39033776/10286096
3139.89/3097.83	c cleaning 142988 clauses out of 286018 with flag 39637290/10430095
3188.71/3146.16	c cleaning 143999 clauses out of 288030 with flag 40239150/10575095
3233.70/3191.25	c cleaning 145004 clauses out of 290031 with flag 40846009/10721095
3281.76/3239.02	c cleaning 145994 clauses out of 292028 with flag 41467762/10868096
3328.95/3285.89	c cleaning 147004 clauses out of 294033 with flag 42088320/11016095
3372.56/3329.17	c cleaning 148001 clauses out of 296032 with flag 42693009/11165098
3416.62/3372.76	c cleaning 148998 clauses out of 298029 with flag 43319388/11315096
3462.85/3418.72	c cleaning 150006 clauses out of 300031 with flag 43946035/11466096
3515.29/3467.77	c cleaning 151006 clauses out of 302024 with flag 44587288/11618095
3564.33/3516.08	c cleaning 151998 clauses out of 304018 with flag 45238989/11771095
3600.03/3551.63	c starts		: 5
3600.03/3551.63	c conflicts		: 11895184
3600.03/3551.63	c decisions		: 27569181
3600.03/3551.63	c propagations		: 2108812810
3600.03/3551.63	c inspects		: 5068388681
3600.03/3551.63	c shortcuts		: 0
3600.03/3551.63	c learnt literals	: 0
3600.03/3551.63	c learnt binary clauses	: 0
3600.03/3551.63	c learnt ternary clauses	: 0
3600.03/3551.63	c learnt constraints	: 11895184
3600.03/3551.63	c ignored constraints	: 0
3600.03/3551.63	c root simplifications	: 0
3600.03/3551.63	c removed literals (reason simplification)	: 0
3600.03/3551.63	c reason swapping (by a shorter reason)	: 0
3600.03/3551.63	c Calls to reduceDB	: 149
3600.03/3551.63	c Number of update (reduction) of LBD	: 3215188
3600.03/3551.63	c Imported unit clauses	: 0
3600.03/3551.63	c No decision after first conflict	: false
3600.03/3551.63	c number of reductions to clauses (during analyze)	: 0
3600.03/3551.63	c number of learned constraints concerned by reduction	: 0
3600.03/3551.63	c number of learning phase by resolution	: 0
3600.03/3551.63	c number of learning phase by cutting planes	: 0
3600.03/3551.63	c number of rounding to 1 operations	: 0
3600.03/3551.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3551.63	c number of reductions of the coefficients by power 2 	: 0
3600.03/3551.63	c number of right shift for reduction by power 2 	: 0
3600.03/3551.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3551.63	c number of ending skipping 	: 0
3600.03/3551.63	c number of internal skipping 	: 0
3600.03/3551.63	c number of derivation steps 	: 0
3600.03/3551.63	c number of skipped derivation steps 	: 0
3600.03/3551.63	c number of remaining unassigned 	: 0
3600.03/3551.64	c number of remaining assigned 	: 0
3600.03/3551.64	c number of falsified literals weakened from reason	: 0
3600.03/3551.64	c number of falsified literals weakened from conflict	: 0
3600.03/3551.64	c time for arithmetic operations	: 0
3600.03/3551.64	c minimum degree of deleted constraints	: null
3600.03/3551.64	c maximum degree of deleted constraints	: null
3600.03/3551.64	c number of deleted constraints	: 0
3600.03/3551.64	c speed (assignments/second)	: 594044.9970576811
3600.03/3551.64	c non guided choices	: 0
3600.24/3551.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 276109
3600.24/3551.71	s SATISFIABLE
3600.24/3551.72	c Found 1 solution(s)
3600.24/3551.72	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.24/3551.74	c objective function=839
3600.24/3551.74	c Total wall clock time (in seconds): 3551.617

OK	839

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432247-1721094197/watcher-4432247-1721094197 -o /tmp/evaluation-result-4432247-1721094197/solver-4432247-1721094197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721094210-831819 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432247-1721094197.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
Current StackSize limit: 8192 KiB

solver pid=831855, runsolver pid=831851

[startup+0.100058 s]*
/proc/loadavg: 2.92 3.85 4.02 7/283 831899
/proc/meminfo: memFree=127957996/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=18975048 memory=62936 CPUtime=0.14 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 7216 0 0 0 12 2 0 0 20 0 18 0 161583180 19430449152 15734 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4743762 15734 5619 1 0 549338 0
[pid=831855/tid=831862] ppid=831851 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 5757 0 0 0 7 1 0 0 20 0 18 0 161583180 19430449152 15734 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=18975048 memory=1609 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161583183 19430449152 15734 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=18975048 memory=15815582234707235 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 161583183 19430449152 15734 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62936 KiB

[startup+0.211656 s]*
/proc/loadavg: 2.92 3.85 4.02 14/325 831949
/proc/meminfo: memFree=127838616/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=18976324 memory=88104 CPUtime=0.34 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 9099 0 0 0 32 2 0 0 20 0 18 0 161583180 19431755776 22026 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4744081 22026 5804 1 0 550834 0
[pid=831855/tid=831862] ppid=831851 vsize=18975700 memory=7301190626353741955 CPUtime=0.19 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 5904 0 0 0 18 1 0 0 20 0 18 0 161583180 19431116800 21766 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=18975048 memory=1623 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161583183 19430449152 21766 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 161583183 19430449152 21766 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18976324 KiB
Current children cumulated memory: 88104 KiB

[startup+0.305659 s]*
/proc/loadavg: 2.92 3.85 4.02 12/326 831950
/proc/meminfo: memFree=127741320/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=18975048 memory=121412 CPUtime=0.52 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 9586 0 0 0 49 3 0 0 20 0 18 0 161583180 19430449152 30353 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4743762 30353 5804 1 0 550849 0
[pid=831855/tid=831862] ppid=831851 vsize=18975048 memory=-8528517433346335420 CPUtime=0.27 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 5922 0 0 0 25 2 0 0 20 0 18 0 161583180 19430449152 30353 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161583183 19430449152 30353 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 161583183 19430449152 30353 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 121412 KiB

[startup+0.702655 s]
/proc/loadavg: 2.92 3.85 4.02 13/328 831954
/proc/meminfo: memFree=127488088/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19041612 memory=195544 CPUtime=1.28 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 16563 0 0 0 122 6 0 0 20 0 19 0 161583180 19498610688 48886 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4760403 48886 5804 1 0 555486 0
[pid=831855/tid=831862] ppid=831851 vsize=19041612 memory=12292 CPUtime=0.61 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 1077936192 5946 0 0 0 57 4 0 0 20 0 19 0 161583180 19498610688 48886 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19041612 memory=12292 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161583183 19498610688 48886 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161583183 19498610688 48886 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 195544 KiB

[startup+1.50466 s]
/proc/loadavg: 2.92 3.85 4.02 9/330 831956
/proc/meminfo: memFree=127253536/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19041612 memory=390780 CPUtime=2.37 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 17725 0 0 0 226 11 0 0 20 0 19 0 161583180 19498610688 97695 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4760403 97695 5804 1 0 868810 0
[pid=831855/tid=831862] ppid=831851 vsize=19041612 memory=0 CPUtime=1.24 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) S 831851 831855 831807 0 -1 1077936192 6026 0 0 0 117 7 0 0 20 0 19 0 161583180 19498610688 97695 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161583183 19498610688 97695 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19041612 memory=12292 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161583183 19498610688 97695 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 390780 KiB

[startup+3.10666 s]
/proc/loadavg: 3.33 3.92 4.04 12/332 831958
/proc/meminfo: memFree=125099604/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=432184 CPUtime=4.99 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 18333 0 0 0 487 12 0 0 20 0 20 0 161583180 19566772224 108046 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 108046 5874 1 0 869323 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=12292 CPUtime=2.74 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 6245 0 0 0 266 8 0 0 20 0 20 0 161583180 19566772224 108046 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=198340509722 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 108046 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=16224 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 108046 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 108046 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 432184 KiB

[startup+6.30065 s]
/proc/loadavg: 3.33 3.92 4.04 6/334 831960
/proc/meminfo: memFree=124781668/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=588960 CPUtime=8.28 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 19148 0 0 0 813 15 0 0 20 0 20 0 161583180 19566772224 147240 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 147240 5874 1 0 1592080 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=0 CPUtime=5.84 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 6312 0 0 0 575 9 0 0 20 0 20 0 161583180 19566772224 147240 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 147240 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=12292 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 147240 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=394876 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 147240 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 588960 KiB

[startup+12.7007 s]
/proc/loadavg: 3.51 3.93 4.05 8/334 831961
/proc/meminfo: memFree=124340744/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=855584 CPUtime=14.76 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 22542 0 0 0 1455 21 0 0 20 0 20 0 161583180 19566772224 213896 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 213896 5890 1 0 1592089 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=394876 CPUtime=12.11 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) S 831851 831855 831807 0 -1 1077936192 7217 0 0 0 1198 13 0 0 20 0 20 0 161583180 19566772224 213896 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=-9104134860231254716 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 213896 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 213896 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=634232 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 213896 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 14.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 855584 KiB

[startup+25.5003 s]
/proc/loadavg: 3.58 3.94 4.05 5/334 831963
/proc/meminfo: memFree=123431092/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=1134692 CPUtime=27.67 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 25735 0 0 0 2742 25 0 0 20 0 20 0 161583180 19566772224 283673 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 283673 5897 1 0 1592107 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=0 CPUtime=24.57 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 8036 0 0 0 2444 13 0 0 20 0 20 0 161583180 19566772224 283673 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=41208 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 283673 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 283673 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=-8528517433346335420 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 283673 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 27.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1134692 KiB

[startup+51.1059 s]
/proc/loadavg: 3.73 3.94 4.04 5/334 831969
/proc/meminfo: memFree=122533232/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=1634472 CPUtime=53.74 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 32949 0 0 0 5336 38 0 0 20 0 20 0 161583180 19566772224 408618 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 408618 5897 1 0 1592107 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=1487016 CPUtime=49.65 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 9668 0 0 0 4952 13 0 0 20 0 20 0 161583180 19566772224 408618 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 408618 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 408618 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=913092 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 408618 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0

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

[startup+3222.3 s]
/proc/loadavg: 4.22 4.20 4.14 6/334 833727
/proc/meminfo: memFree=93520828/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=14210152 CPUtime=3265.21 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 419451 0 0 0 326143 378 0 0 20 0 20 0 161583180 19566772224 3552538 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 3552538 5897 1 0 4088321 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=14210112 CPUtime=3153.69 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 142933 0 0 0 315306 63 0 0 20 0 20 0 161583180 19566772224 3552538 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=14210136 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3552538 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 2772 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3552538 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=14210136 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 3552538 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 3265.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14210152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/333 833739
/proc/meminfo: memFree=93517924/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=14210156 CPUtime=3325.46 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 420432 0 0 0 332167 379 0 0 20 0 20 0 161583180 19566772224 3552539 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 3552539 5897 1 0 4088321 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=12064 CPUtime=3212.39 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 143392 0 0 0 321176 63 0 0 20 0 20 0 161583180 19566772224 3552539 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=14210152 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3552539 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=14210152 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 2772 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3552539 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=14210152 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 3552539 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 3325.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14210156 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/333 833749
/proc/meminfo: memFree=93517664/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=14210172 CPUtime=3385.89 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 425381 0 0 0 338208 381 0 0 20 0 20 0 161583180 19566772224 3552543 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 3552543 5897 1 0 4088321 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=14210172 CPUtime=3271.7 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 145331 0 0 0 327106 64 0 0 20 0 20 0 161583180 19566772224 3552543 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=14210172 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3552543 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=14210172 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 2862 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3552543 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 3552543 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 3385.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14210172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.13 6/333 833760
/proc/meminfo: memFree=93517268/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=14210176 CPUtime=3446.59 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 427552 0 0 0 344276 383 0 0 20 0 20 0 161583180 19566772224 3552544 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 3552544 5897 1 0 4088321 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=14210172 CPUtime=3330.01 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 146702 0 0 0 332937 64 0 0 20 0 20 0 161583180 19566772224 3552544 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3552544 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=41324 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 2862 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3552544 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=14210176 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 3552544 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 3446.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14210176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.13 5/334 833774
/proc/meminfo: memFree=93317780/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=14408964 CPUtime=3509.89 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 450150 0 0 0 350599 390 0 0 20 0 20 0 161583180 19566772224 3602241 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 3602241 5912 1 0 4088331 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=14210172 CPUtime=3388.62 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 151291 0 0 0 338798 64 0 0 20 0 20 0 161583180 19566772224 3602241 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=-8621784567847109277 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3602241 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=11268 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 2862 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3602241 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=14210200 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 3602241 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 3509.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14408964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.18 4.14 6/332 833784
/proc/meminfo: memFree=92796780/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=14408968 CPUtime=3570.57 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 456230 0 0 0 356665 392 0 0 20 0 20 0 161583180 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 3602242 5912 1 0 4088331 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=0 CPUtime=3447.45 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 153031 0 0 0 344681 64 0 0 20 0 20 0 161583180 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=14408968 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 2951 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=14408964 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 3570.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14408968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3551.6 s]
/proc/loadavg: 4.81 4.32 4.19 5/332 833857
/proc/meminfo: memFree=107346640/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19108176 memory=14408968 CPUtime=3600.03 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 457007 0 0 0 359610 393 0 0 20 0 20 0 161583180 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4777044 3602242 5912 1 0 4088331 0
[pid=831855/tid=831862] ppid=831851 vsize=19108176 memory=2236 CPUtime=3476.04 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 153379 0 0 0 347540 64 0 0 20 0 20 0 161583180 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19108176 memory=5484 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19108176 memory=1888 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 2951 0 0 0 0 0 0 0 20 0 20 0 161583183 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831958] ppid=831851 vsize=19108176 memory=1016368 CPUtime=0 cores=1,3
/proc/831855/task/831958/stat : 831958 (Timer-0) S 831851 831855 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161583352 19566772224 3602242 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14408968 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.39 s, system=3.97202 s

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

[startup+3551.71 s]
/proc/loadavg: 4.81 4.32 4.19 5/332 833857
/proc/meminfo: memFree=107346640/131524600 swapFree=131071996/131071996
[pid=831855] ppid=831851 vsize=19307868 memory=14409556 CPUtime=3600.24 cores=1,3
/proc/831855/stat : 831855 (java) S 831851 831855 831807 0 -1 1077936128 460019 0 0 0 359631 393 0 0 20 0 21 0 161583180 19771256832 3602389 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
/proc/831855/statm: 4826967 3602389 5911 1 0 4089220 0
[pid=831855/tid=831862] ppid=831851 vsize=19307868 memory=5436 CPUtime=3476.15 cores=1,3
/proc/831855/task/831862/stat : 831862 (java) R 831851 831855 831807 0 -1 4194368 153496 0 0 0 347551 64 0 0 20 0 21 0 161583180 19771256832 3602389 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831885] ppid=831851 vsize=19307868 memory=14408964 CPUtime=0 cores=1,3
/proc/831855/task/831885/stat : 831885 (Finalizer) S 831851 831855 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 161583183 19771256832 3602389 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
[pid=831855/tid=831893] ppid=831851 vsize=19307868 memory=41324 CPUtime=0 cores=1,3
/proc/831855/task/831893/stat : 831893 (Common-Cleaner) S 831851 831855 831807 0 -1 1077936192 2951 0 0 0 0 0 0 0 20 0 21 0 161583183 19771256832 3602389 134679101440 93827659657216 93827659660912 140723071272800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93827659668728 93827659669520 93827692642304 140723071276039 140723071276129 140723071276129 140723071283144 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14409556 KiB

Child status: 143

Real time (s): 3551.79
CPU time (s): 3600.36
CPU user time (s): 3596.39
CPU system time (s): 3.97202
CPU usage (%): 101.368
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14409556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.39
system time used= 3.97202
maximum resident set size= 14410608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114068
involuntary context switches= 27920


# summary of solver processes directly reported to runsolver:
#   pid: 831855
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3596.39
#   total CPU system time (s): 3.97202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21717 second user time and 18.2057 second system time

The end

Begin job on nodeC020 at 2024-07-16 03:43:30
IDJOB=4432247
IDBENCH=147565
IDSOLVER=3058
FILE ID=nodeC020/4432247-1721094197
RUNJOBID= nodeC020-1721094210-831819
SLURM_JOB_ID= 7505599
Free space on /tmp= 889984 MiB

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

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=789518173

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128052384 kB
MemAvailable:   129708868 kB
Buffers:          392436 kB
Cached:          2088820 kB
SwapCached:            0 kB
Active:           622684 kB
Inactive:        2230968 kB
Active(anon):       1520 kB
Inactive(anon):   408984 kB
Active(file):     621164 kB
Inactive(file):  1821984 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            108036 kB
Writeback:             0 kB
AnonPages:        372148 kB
Mapped:           103360 kB
Shmem:             37720 kB
KReclaimable:     106316 kB
Slab:             212884 kB
SReclaimable:     106316 kB
SUnreclaim:       106568 kB
KernelStack:        3968 kB
PageTables:         9816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     707980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59488 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889920 MiB
End job on nodeC020 at 2024-07-16 04:42:42