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 		2104792832
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.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432251-1721089875.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
2.80/1.73	c ... done. Wall clock time 1.603s.
2.80/1.73	c declared #vars     10000
2.80/1.73	c #constraints  656900
2.80/1.73	c constraints type 
2.80/1.74	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
2.80/1.74	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
2.80/1.74	c 656900 constraints processed.
2.80/1.74	c objective function length is 10000 literals
4.57/2.68	c SATISFIABLE
4.57/2.68	c OPTIMIZING...
4.57/2.68	c Got one! Elapsed wall clock time (in seconds):2.561
4.57/2.68	o 1914
4.78/2.76	c Got one! Elapsed wall clock time (in seconds):2.642
4.78/2.77	o 1564
5.92/3.44	c Got one! Elapsed wall clock time (in seconds):3.322
5.92/3.44	o 1559
6.07/3.53	c Got one! Elapsed wall clock time (in seconds):3.413
6.07/3.53	o 1556
6.07/3.58	c Got one! Elapsed wall clock time (in seconds):3.454
6.07/3.58	o 675
6.92/4.16	c cleaning 3272 clauses out of 6543 with flag 5506/6543
8.83/5.63	c cleaning 4631 clauses out of 9272 with flag 24650/12544
10.53/7.34	c cleaning 5811 clauses out of 11643 with flag 45047/19546
12.62/9.30	c cleaning 6903 clauses out of 13829 with flag 67583/27543
14.71/11.42	c cleaning 7942 clauses out of 15926 with flag 95265/36543
17.33/13.93	c cleaning 8980 clauses out of 17984 with flag 124413/46543
19.91/16.56	c cleaning 9986 clauses out of 20006 with flag 158315/57545
22.68/19.38	c cleaning 10998 clauses out of 22019 with flag 193722/69544
26.09/22.69	c cleaning 11993 clauses out of 24020 with flag 232126/82543
29.50/26.01	c cleaning 13001 clauses out of 26028 with flag 273478/96544
33.27/29.84	c cleaning 14005 clauses out of 28026 with flag 318054/111543
37.20/33.67	c cleaning 15003 clauses out of 30021 with flag 368883/127543
41.29/37.71	c cleaning 16000 clauses out of 32019 with flag 421983/144544
45.92/42.33	c cleaning 16998 clauses out of 34018 with flag 476035/162543
50.71/47.05	c cleaning 17997 clauses out of 36021 with flag 535817/181544
55.67/52.02	c cleaning 18994 clauses out of 38024 with flag 597652/201544
61.14/57.47	c cleaning 19984 clauses out of 40029 with flag 662588/222543
61.34/57.66	c Got one! Elapsed wall clock time (in seconds):57.536
61.34/57.66	o 674
63.06/59.31	c cleaning 12933 clauses out of 25865 with flag 15901/228363
64.94/61.21	c cleaning 9465 clauses out of 18932 with flag 35141/234363
67.69/63.80	c cleaning 8234 clauses out of 16468 with flag 58576/241364
70.36/66.51	c cleaning 8115 clauses out of 16233 with flag 82197/249363
73.43/69.65	c cleaning 8559 clauses out of 17120 with flag 112473/258365
77.08/73.12	c cleaning 9275 clauses out of 18559 with flag 144683/268363
80.75/76.84	c cleaning 10142 clauses out of 20284 with flag 179781/279363
84.81/80.90	c cleaning 11063 clauses out of 22142 with flag 216446/291363
89.73/85.70	c cleaning 12035 clauses out of 24079 with flag 259784/304363
94.79/90.84	c cleaning 13018 clauses out of 26045 with flag 302952/318364
100.93/96.81	c cleaning 14013 clauses out of 28026 with flag 352570/333363
106.52/102.41	c cleaning 15006 clauses out of 30013 with flag 404032/349363
112.69/108.41	c cleaning 16002 clauses out of 32008 with flag 459372/366364
119.56/115.13	c cleaning 17000 clauses out of 34005 with flag 515771/384363
126.60/122.28	c cleaning 18003 clauses out of 36006 with flag 574050/403364
134.31/129.81	c cleaning 19001 clauses out of 38003 with flag 640878/423364
142.05/137.43	c cleaning 19991 clauses out of 40001 with flag 712283/444363
150.37/145.89	c cleaning 20988 clauses out of 42010 with flag 785815/466363
159.61/154.99	c cleaning 22008 clauses out of 44022 with flag 864162/489363
170.24/164.72	c cleaning 23003 clauses out of 46015 with flag 940659/513364
179.77/174.10	c cleaning 23992 clauses out of 48013 with flag 1019545/538365
189.15/183.59	c cleaning 25009 clauses out of 50019 with flag 1107825/564363
199.10/193.37	c cleaning 25990 clauses out of 52010 with flag 1194131/591363
210.41/204.51	c cleaning 27003 clauses out of 54020 with flag 1290381/619363
221.54/215.53	c cleaning 27997 clauses out of 56017 with flag 1385311/648363
233.77/227.62	c cleaning 29010 clauses out of 58020 with flag 1481433/678363
245.87/239.61	c cleaning 30002 clauses out of 60010 with flag 1580261/709363
258.11/251.78	c cleaning 30991 clauses out of 62009 with flag 1687883/741364
270.43/263.91	c cleaning 31995 clauses out of 64017 with flag 1806667/774363
283.83/277.25	c cleaning 32998 clauses out of 66022 with flag 1922060/808363
298.93/292.07	c cleaning 33999 clauses out of 68024 with flag 2040789/843363
314.13/306.27	c cleaning 35004 clauses out of 70025 with flag 2160324/879363
327.73/319.74	c cleaning 36010 clauses out of 72021 with flag 2285682/916363
342.91/334.89	c cleaning 36993 clauses out of 74012 with flag 2410386/954364
357.84/349.63	c cleaning 38004 clauses out of 76019 with flag 2547357/993364
373.62/365.38	c cleaning 38998 clauses out of 78014 with flag 2691341/1033363
392.19/383.62	c cleaning 40007 clauses out of 80016 with flag 2843397/1074363
409.66/400.77	c cleaning 41001 clauses out of 82010 with flag 2993529/1116364
426.50/417.40	c cleaning 41992 clauses out of 84008 with flag 3136577/1159363
446.76/436.10	c cleaning 43001 clauses out of 86019 with flag 3297554/1203366
465.56/454.64	c cleaning 44005 clauses out of 88015 with flag 3454988/1248363
483.80/472.88	c cleaning 45000 clauses out of 90010 with flag 3613237/1294363
502.83/491.57	c cleaning 45988 clauses out of 92010 with flag 3785300/1341363
521.30/509.95	c cleaning 47007 clauses out of 94022 with flag 3952891/1389363
540.18/528.67	c cleaning 47994 clauses out of 96018 with flag 4124005/1438366
559.48/547.62	c cleaning 48994 clauses out of 98021 with flag 4299309/1488363
579.12/567.17	c cleaning 50003 clauses out of 100027 with flag 4466383/1539363
599.79/587.41	c cleaning 51003 clauses out of 102025 with flag 4634423/1591364
622.22/609.50	c cleaning 51989 clauses out of 104022 with flag 4828206/1644364
643.59/629.66	c cleaning 53007 clauses out of 106032 with flag 5020454/1698363
666.88/652.57	c cleaning 54006 clauses out of 108025 with flag 5212361/1753363
689.16/674.79	c cleaning 55006 clauses out of 110020 with flag 5408132/1809364
715.56/700.33	c cleaning 56007 clauses out of 112017 with flag 5617599/1866367
738.34/722.93	c cleaning 56999 clauses out of 114006 with flag 5807026/1924363
761.09/745.42	c cleaning 57994 clauses out of 116008 with flag 6005208/1983364
786.87/770.91	c cleaning 59008 clauses out of 118015 with flag 6208314/2043365
813.63/797.37	c cleaning 59998 clauses out of 120005 with flag 6428500/2104363
839.86/823.22	c cleaning 60993 clauses out of 122007 with flag 6655124/2166363
868.07/850.85	c cleaning 62006 clauses out of 124014 with flag 6886831/2229363
894.91/876.28	c cleaning 62989 clauses out of 126008 with flag 7112611/2293363
922.14/903.17	c cleaning 64011 clauses out of 128021 with flag 7344595/2358365
953.68/933.95	c cleaning 65004 clauses out of 130008 with flag 7593206/2424363
980.61/960.42	c cleaning 65994 clauses out of 132006 with flag 7835074/2491365
1008.73/988.43	c cleaning 66999 clauses out of 134010 with flag 8071633/2559363
1038.66/1017.90	c cleaning 67994 clauses out of 136011 with flag 8313774/2628363
1066.83/1045.64	c cleaning 68994 clauses out of 138018 with flag 8561920/2698364
1097.85/1076.22	c cleaning 70007 clauses out of 140024 with flag 8838441/2769364
1130.13/1108.28	c cleaning 70993 clauses out of 142016 with flag 9100939/2841363
1162.54/1140.05	c cleaning 72006 clauses out of 144023 with flag 9381911/2914363
1196.81/1172.52	c cleaning 73005 clauses out of 146018 with flag 9658710/2988364
1231.63/1206.91	c cleaning 73990 clauses out of 148012 with flag 9924672/3063363
1265.08/1239.71	c cleaning 75010 clauses out of 150024 with flag 10205171/3139365
1300.14/1274.22	c cleaning 75990 clauses out of 152012 with flag 10492737/3216363
1333.60/1306.74	c cleaning 77003 clauses out of 154022 with flag 10794569/3294363
1364.93/1337.92	c cleaning 78011 clauses out of 156023 with flag 11098088/3373367
1397.13/1369.75	c cleaning 78995 clauses out of 158008 with flag 11391784/3453363
1432.20/1404.41	c cleaning 79999 clauses out of 160013 with flag 11694688/3534363
1466.02/1438.25	c cleaning 80999 clauses out of 162016 with flag 11994604/3616365
1502.76/1474.26	c cleaning 81998 clauses out of 164016 with flag 12308165/3699364
1537.68/1509.05	c cleaning 83004 clauses out of 166017 with flag 12609411/3783363
1570.99/1541.85	c cleaning 83995 clauses out of 168013 with flag 12918941/3868363
1607.40/1576.02	c cleaning 85002 clauses out of 170019 with flag 13214308/3954364
1642.46/1610.83	c cleaning 86002 clauses out of 172017 with flag 13517520/4041364
1680.12/1647.71	c cleaning 87009 clauses out of 174017 with flag 13836522/4129366
1717.72/1684.91	c cleaning 87994 clauses out of 176005 with flag 14158101/4218363
1756.10/1722.62	c cleaning 89000 clauses out of 178011 with flag 14488674/4308363
1794.62/1760.53	c cleaning 90000 clauses out of 180011 with flag 14834587/4399363
1836.00/1801.11	c cleaning 91004 clauses out of 182012 with flag 15172166/4491364
1874.35/1838.93	c cleaning 91998 clauses out of 184007 with flag 15507868/4584363
1911.79/1876.13	c cleaning 93001 clauses out of 186009 with flag 15844673/4678363
1960.13/1923.43	c cleaning 93995 clauses out of 188010 with flag 16213230/4773365
2008.99/1970.82	c cleaning 94993 clauses out of 190013 with flag 16577853/4869363
2053.67/2013.14	c cleaning 96002 clauses out of 192020 with flag 16939654/4966363
2094.50/2053.40	c cleaning 96993 clauses out of 194018 with flag 17300922/5064363
2141.43/2099.15	c cleaning 98012 clauses out of 196026 with flag 17676804/5163364
2191.10/2147.49	c cleaning 98996 clauses out of 198015 with flag 18066104/5263365
2247.41/2201.30	c cleaning 100004 clauses out of 200017 with flag 18479260/5364363
2297.41/2250.79	c cleaning 101007 clauses out of 202014 with flag 18874771/5466364
2343.56/2293.08	c cleaning 101992 clauses out of 204006 with flag 19244063/5569363
2391.34/2340.18	c cleaning 102996 clauses out of 206014 with flag 19633503/5673363
2438.69/2386.65	c cleaning 103986 clauses out of 208018 with flag 20043696/5778363
2486.49/2434.12	c cleaning 105013 clauses out of 210032 with flag 20426743/5884363
2536.97/2484.01	c cleaning 106010 clauses out of 212019 with flag 20841768/5991363
2585.98/2531.54	c cleaning 107005 clauses out of 214009 with flag 21232584/6099363
2632.17/2576.87	c cleaning 107997 clauses out of 216004 with flag 21645144/6208363
2681.05/2625.33	c cleaning 108992 clauses out of 218007 with flag 22045968/6318363
2731.15/2674.76	c cleaning 110009 clauses out of 220018 with flag 22462017/6429366
2782.54/2725.32	c cleaning 110998 clauses out of 222007 with flag 22910636/6541364
2833.96/2773.82	c cleaning 111989 clauses out of 224008 with flag 23363680/6654363
2889.73/2828.95	c cleaning 113008 clauses out of 226019 with flag 23810783/6768363
2942.80/2880.83	c cleaning 114006 clauses out of 228011 with flag 24271165/6883363
2994.29/2931.96	c cleaning 115000 clauses out of 230005 with flag 24703884/6999363
3045.68/2982.67	c cleaning 115989 clauses out of 232006 with flag 25148822/7116364
3101.48/3037.12	c cleaning 116991 clauses out of 234016 with flag 25588507/7234363
3179.98/3104.58	c cleaning 117977 clauses out of 236025 with flag 26064065/7353363
3244.15/3166.63	c cleaning 119011 clauses out of 238048 with flag 26541942/7473363
3309.48/3229.49	c cleaning 120005 clauses out of 240037 with flag 26999141/7594363
3366.96/3282.88	c cleaning 121013 clauses out of 242032 with flag 27444367/7716363
3423.80/3339.00	c cleaning 121990 clauses out of 244021 with flag 27890328/7839365
3479.28/3393.60	c cleaning 123003 clauses out of 246029 with flag 28336629/7963363
3535.05/3448.90	c cleaning 123989 clauses out of 248029 with flag 28797165/8088366
3591.72/3504.71	c cleaning 124992 clauses out of 250037 with flag 29280855/8214363
3600.01/3513.02	c starts		: 51
3600.01/3513.04	c conflicts		: 8235506
3600.01/3513.04	c decisions		: 25899365
3600.01/3513.04	c propagations		: 2357230070
3600.01/3513.04	c inspects		: 3147321127
3600.01/3513.04	c shortcuts		: 0
3600.01/3513.04	c learnt literals	: 0
3600.01/3513.04	c learnt binary clauses	: 0
3600.01/3513.04	c learnt ternary clauses	: 0
3600.01/3513.04	c learnt constraints	: 8235506
3600.01/3513.04	c ignored constraints	: 0
3600.01/3513.04	c root simplifications	: 0
3600.01/3513.04	c removed literals (reason simplification)	: 0
3600.01/3513.04	c reason swapping (by a shorter reason)	: 0
3600.01/3513.04	c Calls to reduceDB	: 139
3600.01/3513.04	c Number of update (reduction) of LBD	: 3119242
3600.01/3513.04	c Imported unit clauses	: 0
3600.01/3513.04	c No decision after first conflict	: false
3600.01/3513.04	c number of reductions to clauses (during analyze)	: 0
3600.01/3513.04	c number of learned constraints concerned by reduction	: 0
3600.01/3513.04	c number of learning phase by resolution	: 0
3600.01/3513.04	c number of learning phase by cutting planes	: 0
3600.01/3513.04	c number of rounding to 1 operations	: 0
3600.01/3513.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3513.04	c number of reductions of the coefficients by power 2 	: 0
3600.01/3513.04	c number of right shift for reduction by power 2 	: 0
3600.01/3513.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3513.04	c number of ending skipping 	: 0
3600.01/3513.04	c number of internal skipping 	: 0
3600.01/3513.04	c number of derivation steps 	: 0
3600.01/3513.04	c number of skipped derivation steps 	: 0
3600.01/3513.04	c number of remaining unassigned 	: 0
3600.01/3513.04	c number of remaining assigned 	: 0
3600.01/3513.04	c number of falsified literals weakened from reason	: 0
3600.01/3513.04	c number of falsified literals weakened from conflict	: 0
3600.01/3513.04	c time for arithmetic operations	: 0
3600.01/3513.04	c minimum degree of deleted constraints	: null
3600.01/3513.04	c maximum degree of deleted constraints	: null
3600.01/3513.04	c number of deleted constraints	: 0
3600.01/3513.04	c speed (assignments/second)	: 671329.9379941925
3600.01/3513.04	c non guided choices	: 3
3600.01/3513.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 146188
3600.01/3513.11	s SATISFIABLE
3600.01/3513.11	c Found 6 solution(s)
3600.01/3513.11	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 x8317 -x8318 -x8319 -x8320 -x8321 -x8322 x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 x8390 -x8391 -x8392 -x8393 x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 x8839 -x8840 x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 
3600.23/3513.14	c objective function=674
3600.23/3513.14	c Total wall clock time (in seconds): 3513.021

OK	674

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (45902 MiB free)
  memory of node 1: 64510 MiB (48865 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432251-1721089875/watcher-4432251-1721089875 -o /tmp/evaluation-result-4432251-1721089875/solver-4432251-1721089875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822113 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432251-1721089875.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100477 s]*
/proc/loadavg: 4.41 4.24 4.23 6/334 826219
/proc/meminfo: memFree=96996604/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=18975048 memory=65240 CPUtime=0.13 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 7207 0 0 0 11 2 0 0 20 0 18 0 161147708 19430449152 16310 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4743762 16310 5687 1 0 549327 0
[pid=826201/tid=826203] ppid=826198 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) S 826198 826201 822101 0 -1 1077936192 5748 0 0 0 7 1 0 0 20 0 18 0 161147709 19430449152 16310 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161147711 19430449152 16310 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=18975048 memory=14690799019387218 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161147712 19430449152 16310 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65240 KiB

[startup+0.211521 s]*
/proc/loadavg: 4.54 4.27 4.24 6/334 826219
/proc/meminfo: memFree=96971756/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=18975048 memory=86376 CPUtime=0.34 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 8613 0 0 0 32 2 0 0 20 0 18 0 161147708 19430449152 21594 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4743762 21594 5854 1 0 550332 0
[pid=826201/tid=826203] ppid=826198 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 5898 0 0 0 18 1 0 0 20 0 18 0 161147709 19430449152 21594 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=18975048 memory=16967 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161147711 19430449152 21594 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=18975048 memory=16097074391287456 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161147712 19430449152 21594 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 86376 KiB

[startup+0.309358 s]*
/proc/loadavg: 4.54 4.27 4.24 7/334 826219
/proc/meminfo: memFree=96933796/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=18975048 memory=124052 CPUtime=0.53 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 9656 0 0 0 50 3 0 0 20 0 18 0 161147708 19430449152 31013 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4743762 31013 5854 1 0 550916 0
[pid=826201/tid=826203] ppid=826198 vsize=18975048 memory=-8598613477182251708 CPUtime=0.29 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 5918 0 0 0 27 2 0 0 20 0 18 0 161147709 19430449152 31013 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161147711 19430449152 31013 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161147712 19430449152 31013 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 124052 KiB

[startup+0.70037 s]
/proc/loadavg: 4.54 4.27 4.24 7/335 826220
/proc/meminfo: memFree=96869540/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19041612 memory=191744 CPUtime=1.27 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 15056 0 0 0 122 5 0 0 20 0 19 0 161147708 19498610688 47936 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4760403 47936 5870 1 0 554161 0
[pid=826201/tid=826203] ppid=826198 vsize=19041612 memory=5448 CPUtime=0.62 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 5941 0 0 0 59 3 0 0 20 0 19 0 161147709 19498610688 47936 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19041612 memory=12740 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161147711 19498610688 47936 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 161147712 19498610688 47936 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 191744 KiB

[startup+1.50025 s]
/proc/loadavg: 4.54 4.27 4.24 6/335 826220
/proc/meminfo: memFree=96839704/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19041612 memory=413024 CPUtime=2.56 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 18611 0 0 0 246 10 0 0 20 0 19 0 161147708 19498610688 103256 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4760403 103256 5886 1 0 1000946 0
[pid=826201/tid=826203] ppid=826198 vsize=19041612 memory=12740 CPUtime=1.29 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 6033 0 0 0 123 6 0 0 20 0 19 0 161147709 19498610688 103256 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161147711 19498610688 103256 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 161147712 19498610688 103256 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 413024 KiB

[startup+3.10635 s]
/proc/loadavg: 4.54 4.27 4.24 6/336 826221
/proc/meminfo: memFree=96364156/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=436608 CPUtime=5.57 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 19967 0 0 0 546 11 0 0 20 0 20 0 161147708 19566772224 109152 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 109152 5923 1 0 1002190 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=198340509722 CPUtime=2.84 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 6189 0 0 0 277 7 0 0 20 0 20 0 161147709 19566772224 109152 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 109152 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=12740 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 109152 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=432208 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 109152 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 436608 KiB

[startup+6.30035 s]
/proc/loadavg: 4.57 4.28 4.25 5/336 826223
/proc/meminfo: memFree=95784348/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=718312 CPUtime=9.54 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 21259 0 0 0 936 18 0 0 20 0 20 0 161147708 19566772224 179578 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 179578 5923 1 0 1620563 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=0 CPUtime=5.83 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 6322 0 0 0 574 9 0 0 20 0 20 0 161147709 19566772224 179578 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=12740 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 179578 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=435900 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 179578 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=703976 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 179578 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 718312 KiB

[startup+12.7004 s]
/proc/loadavg: 4.53 4.28 4.25 5/336 826223
/proc/meminfo: memFree=95476268/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=892876 CPUtime=16 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 27036 0 0 0 1578 22 0 0 20 0 20 0 161147708 19566772224 223219 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 223219 5939 1 0 1620563 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=862156 CPUtime=12.18 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 7295 0 0 0 1205 13 0 0 20 0 20 0 161147709 19566772224 223219 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=11400 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 223219 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=6083351997932200787 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 223219 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 223219 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 892876 KiB

[startup+25.5004 s]
/proc/loadavg: 4.45 4.27 4.24 5/336 826224
/proc/meminfo: memFree=94396684/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=1296556 CPUtime=29 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 32113 0 0 0 2868 32 0 0 20 0 20 0 161147708 19566772224 324139 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 324139 5951 1 0 1620574 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=6083351997932200787 CPUtime=24.54 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 8273 0 0 0 2441 13 0 0 20 0 20 0 161147709 19566772224 324139 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 324139 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=21244 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 324139 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=-8598613477182251708 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 324139 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1296556 KiB

[startup+51.1064 s]
/proc/loadavg: 4.81 4.37 4.28 5/336 826365
/proc/meminfo: memFree=118952084/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=1648868 CPUtime=54.78 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 37192 0 0 0 5439 39 0 0 20 0 20 0 161147708 19566772224 412217 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 412217 5951 1 0 1620574 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=1493208 CPUtime=49.61 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 9728 0 0 0 4948 13 0 0 20 0 20 0 161147709 19566772224 412217 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=1648856 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 412217 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=1648856 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 412217 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=41652 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 412217 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0

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

/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 3656880 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=14627520 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 1358 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 3656880 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=41832 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 3656880 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 3175.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14627520 KiB

[startup+3162.3 s]
/proc/loadavg: 4.33 4.31 4.28 5/335 827524
/proc/meminfo: memFree=64612600/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=14627840 CPUtime=3239.86 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 402921 0 0 0 323590 396 0 0 20 0 20 0 161147708 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 3656960 5951 1 0 4089174 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=14627500 CPUtime=3083.83 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 100194 0 0 0 308309 74 0 0 20 0 20 0 161147709 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=11400 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=14627840 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 1358 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=14627840 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 3239.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14627840 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.28 4.27 5/337 827918
/proc/meminfo: memFree=64610832/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=14627840 CPUtime=3301.74 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 405579 0 0 0 329775 399 0 0 20 0 20 0 161147708 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 3656960 5951 1 0 4089174 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=12740 CPUtime=3141.51 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 101629 0 0 0 314076 75 0 0 20 0 20 0 161147709 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=14627840 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 1358 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=14627840 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 3656960 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 3301.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14627840 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.29 4.27 5/334 827928
/proc/meminfo: memFree=64610232/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=14627872 CPUtime=3366.46 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 430358 0 0 0 336243 403 0 0 20 0 20 0 161147708 19566772224 3656968 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 3656968 5951 1 0 4089175 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=14627852 CPUtime=3199.67 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 105464 0 0 0 319892 75 0 0 20 0 20 0 161147709 19566772224 3656968 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=11400 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 3656968 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=12740 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 1401 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 3656968 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=14627872 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 3656968 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 3366.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14627872 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.31 4.28 5/334 827939
/proc/meminfo: memFree=64609464/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=14627888 CPUtime=3427.2 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 431839 0 0 0 342315 405 0 0 20 0 20 0 161147708 19566772224 3656972 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 3656972 5951 1 0 4089175 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=14627884 CPUtime=3258.29 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 105889 0 0 0 325754 75 0 0 20 0 20 0 161147709 19566772224 3656972 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=14627884 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 3656972 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=7316 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 1402 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 3656972 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=16028 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 3656972 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 3427.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14627888 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.28 4.27 5/337 828122
/proc/meminfo: memFree=64607916/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=14627904 CPUtime=3487.91 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 432839 0 0 0 348384 407 0 0 20 0 20 0 161147708 19566772224 3656976 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 3656976 5951 1 0 4089175 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=14627884 CPUtime=3316.99 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 106125 0 0 0 331624 75 0 0 20 0 20 0 161147709 19566772224 3656976 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=14627904 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 3656976 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=11400 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 1402 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 3656976 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=14627904 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 3656976 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 3487.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14627904 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.26 4.26 5/336 828132
/proc/meminfo: memFree=64603700/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=14627912 CPUtime=3548.34 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 438758 0 0 0 354425 409 0 0 20 0 20 0 161147708 19566772224 3656978 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 3656978 5951 1 0 4089175 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=14627884 CPUtime=3375.42 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 107619 0 0 0 337467 75 0 0 20 0 20 0 161147709 19566772224 3656978 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=41832 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 3656978 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=14627904 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 1511 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 3656978 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=14627912 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 3656978 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 3548.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14627912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3513 s]*
/proc/loadavg: 4.12 4.23 4.25 5/336 828140
/proc/meminfo: memFree=64603304/131524600 swapFree=131071996/131071996
[pid=826201] ppid=826198 vsize=19108176 memory=14627920 CPUtime=3600.01 cores=1,3
/proc/826201/stat : 826201 (java) S 826198 826201 822101 0 -1 1077936128 440564 0 0 0 359591 410 0 0 20 0 20 0 161147708 19566772224 3656980 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
/proc/826201/statm: 4777044 3656980 5951 1 0 4089175 0
[pid=826201/tid=826203] ppid=826198 vsize=19108176 memory=-5155634780447454526 CPUtime=3424.92 cores=1,3
/proc/826201/task/826203/stat : 826203 (java) R 826198 826201 822101 0 -1 4194368 108554 0 0 0 342417 75 0 0 20 0 20 0 161147709 19566772224 3656980 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826212] ppid=826198 vsize=19108176 memory=-7161980865418585215 CPUtime=0 cores=1,3
/proc/826201/task/826212/stat : 826212 (Finalizer) S 826198 826201 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161147711 19566772224 3656980 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826219] ppid=826198 vsize=19108176 memory=2312205 CPUtime=0 cores=1,3
/proc/826201/task/826219/stat : 826219 (Common-Cleaner) S 826198 826201 822101 0 -1 1077936192 1512 0 0 0 0 0 0 0 20 0 20 0 161147712 19566772224 3656980 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
[pid=826201/tid=826221] ppid=826198 vsize=19108176 memory=8508281339140727949 CPUtime=0 cores=1,3
/proc/826201/task/826221/stat : 826221 (Timer-0) S 826198 826201 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161147884 19566772224 3656980 134679101440 94190142877696 94190142881392 140726261090400 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94190142889208 94190142890000 94190144819200 140726261093383 140726261093473 140726261093473 140726261100488 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14627920 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.18 s, system=4.14987 s

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

[startup+3513.2 s]*
/proc/loadavg: 4.12 4.23 4.25 5/318 828143
/proc/meminfo: memFree=79235564/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3513.21
CPU time (s): 3600.33
CPU user time (s): 3596.18
CPU system time (s): 4.14987
CPU usage (%): 102.48
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14628604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.18
system time used= 4.14987
maximum resident set size= 14629508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444251
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115949
involuntary context switches= 18348


# summary of solver processes directly reported to runsolver:
#   pid: 826201
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3596.18
#   total CPU system time (s): 4.14987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41204 second user time and 15.9518 second system time

The end

Begin job on nodeC015 at 2024-07-16 02:31:27
IDJOB=4432251
IDBENCH=147553
IDSOLVER=3058
FILE ID=nodeC015/4432251-1721089875
RUNJOBID= nodeC015-1721083519-822113
SLURM_JOB_ID= 7505571
Free space on /tmp= 890048 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.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-4432251-1721089875/watcher-4432251-1721089875 -o /tmp/evaluation-result-4432251-1721089875/solver-4432251-1721089875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822113 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432251-1721089875.opb

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

MD5SUM BENCH= 0cfe35c6a899c796e17247c8eb2f096e
RANDOM SEED=515395916

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        97042620 kB
MemAvailable:   102382600 kB
Buffers:          371992 kB
Cached:          5797016 kB
SwapCached:            0 kB
Active:          1216444 kB
Inactive:       32598364 kB
Active(anon):       1548 kB
Inactive(anon): 27682024 kB
Active(file):    1214896 kB
Inactive(file):  4916340 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17900 kB
Writeback:             0 kB
AnonPages:      27644140 kB
Mapped:           124312 kB
Shmem:             37720 kB
KReclaimable:      96780 kB
Slab:             204216 kB
SReclaimable:      96780 kB
SUnreclaim:       107436 kB
KernelStack:        5088 kB
PageTables:        63860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   36479972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62016 kB
HardwareCorrupted:     0 kB
AnonHugePages:  27191296 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:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC015 at 2024-07-16 03:30:00