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

OK	1116

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63053 MiB free)
  memory of node 1: 64465 MiB (63964 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489607-1751361484/watcher-4489607-1751361484 -o /tmp/evaluation-result-4489607-1751361484/solver-4489607-1751361484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489607-1751361484 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489607-1751361484.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=52588, runsolver pid=52575

[startup+0.100057 s]*
/proc/loadavg: 1.94 3.56 3.94 10/340 52655
/proc/meminfo: memFree=129958100/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=18930384 memory=55152 CPUtime=0.11 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 6399 0 0 0 9 2 0 0 20 0 18 0 51827804 19384713216 13788 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4732596 13788 5367 1 0 547542 0
[pid=52588/tid=52610] ppid=52575 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 4991 0 0 0 5 1 0 0 20 0 18 0 51827806 19384713216 13788 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51827808 19384713216 13788 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=18930384 memory=60684515952020 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51827808 19384713216 13788 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55152 KiB

[startup+0.205569 s]*
/proc/loadavg: 1.94 3.56 3.94 3/340 52655
/proc/meminfo: memFree=129947148/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=18930384 memory=60540 CPUtime=0.18 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 6695 0 0 0 16 2 0 0 20 0 18 0 51827804 19384713216 15135 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4732596 15135 5431 1 0 547800 0
[pid=52588/tid=52610] ppid=52575 vsize=18930384 memory=4026663196 CPUtime=0.1 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) D 52575 52588 52518 0 -1 4456512 5215 0 0 0 9 1 0 0 20 0 18 0 51827806 19384713216 15135 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=18930384 memory=16898 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51827808 19384713216 15135 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51827808 19384713216 15135 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60540 KiB

[startup+0.3053 s]*
/proc/loadavg: 1.94 3.56 3.94 8/340 52655
/proc/meminfo: memFree=129916272/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=18930384 memory=60540 CPUtime=0.18 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 6697 0 0 0 16 2 0 0 20 0 18 0 51827804 19384713216 15135 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4732596 15135 5431 1 0 547800 0
[pid=52588/tid=52610] ppid=52575 vsize=18930384 memory=-6000919485557860970 CPUtime=0.1 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) D 52575 52588 52518 0 -1 4456512 5217 0 0 0 9 1 0 0 20 0 18 0 51827806 19384713216 15135 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51827808 19384713216 15135 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51827808 19384713216 15135 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60540 KiB

[startup+0.700205 s]
/proc/loadavg: 1.94 3.56 3.94 9/341 52656
/proc/meminfo: memFree=129621932/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=18996948 memory=165472 CPUtime=0.93 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 9024 0 0 0 88 5 0 0 20 0 19 0 51827804 19452874752 41368 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4749237 41368 5463 1 0 549546 0
[pid=52588/tid=52610] ppid=52575 vsize=18996948 memory=18432 CPUtime=0.46 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 5311 0 0 0 42 4 0 0 20 0 19 0 51827806 19452874752 41368 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51827808 19452874752 41368 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51827808 19452874752 41368 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 165472 KiB

[startup+1.50023 s]
/proc/loadavg: 2.59 3.67 3.97 8/344 52659
/proc/meminfo: memFree=129469884/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=18996948 memory=389396 CPUtime=2.17 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 12910 0 0 0 206 11 0 0 20 0 19 0 51827804 19452874752 97349 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4749237 97349 5463 1 0 1029846 0
[pid=52588/tid=52610] ppid=52575 vsize=18996948 memory=3328 CPUtime=1.13 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 5405 0 0 0 105 8 0 0 20 0 19 0 51827806 19452874752 97349 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51827808 19452874752 97349 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51827808 19452874752 97349 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 389396 KiB

[startup+3.10629 s]
/proc/loadavg: 2.59 3.67 3.97 9/348 52663
/proc/meminfo: memFree=127827784/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=704356 CPUtime=5.07 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 15479 0 0 0 487 20 0 0 20 0 20 0 51827804 19521036288 176089 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 176089 5527 1 0 1651788 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=10752 CPUtime=2.5 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 5700 0 0 0 237 13 0 0 20 0 20 0 51827806 19521036288 176089 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 176089 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 176089 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 176089 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 5.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 704356 KiB

[startup+6.30018 s]
/proc/loadavg: 2.70 3.67 3.97 5/348 52663
/proc/meminfo: memFree=126252420/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=1003692 CPUtime=9.99 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 16243 0 0 0 970 29 0 0 20 0 20 0 51827804 19521036288 250923 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 250923 5527 1 0 1652069 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=0 CPUtime=5.57 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 5848 0 0 0 537 20 0 0 20 0 20 0 51827806 19521036288 250923 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 250923 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 250923 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=-6000919485557860970 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 250923 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 9.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1003692 KiB

[startup+12.7002 s]
/proc/loadavg: 2.88 3.70 3.98 5/348 52663
/proc/meminfo: memFree=125102844/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=1337832 CPUtime=16.48 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 20783 0 0 0 1610 38 0 0 20 0 20 0 51827804 19521036288 334458 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 334458 5559 1 0 1652069 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=1253864 CPUtime=11.78 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 6913 0 0 0 1150 28 0 0 20 0 20 0 51827806 19521036288 334458 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=140501265154779 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 334458 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=1272296 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 334458 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 334458 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 16.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1337832 KiB

[startup+25.5002 s]
/proc/loadavg: 3.06 3.71 3.98 5/347 52663
/proc/meminfo: memFree=121554096/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=1964520 CPUtime=29.26 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 22770 0 0 0 2873 53 0 0 20 0 20 0 51827804 19521036288 491130 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 491130 5559 1 0 1652069 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=10752 CPUtime=24.54 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 8359 0 0 0 2412 42 0 0 20 0 20 0 51827806 19521036288 491130 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=7220 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 491130 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=1743336 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 491130 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=1507816 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 491130 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 29.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1964520 KiB

[startup+51.105 s]
/proc/loadavg: 3.49 3.75 3.99 5/347 52664
/proc/meminfo: memFree=116994348/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=3078760 CPUtime=54.79 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 29539 0 0 0 5397 82 0 0 20 0 20 0 51827804 19521036288 769690 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 769690 5559 1 0 1652095 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=3078760 CPUtime=49.94 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 10517 0 0 0 4923 71 0 0 20 0 20 0 51827806 19521036288 769690 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=3078632 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 769690 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 769690 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=16436 CPUtime=0 cores=1,3

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

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/347 52874
/proc/meminfo: memFree=68078920/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=6546812 CPUtime=3305.03 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 214034 0 0 0 329494 1009 0 0 20 0 20 0 51827804 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 1636703 5559 1 0 1653334 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=6544652 CPUtime=3279.15 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 116208 0 0 0 327028 887 0 0 20 0 20 0 51827806 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=6544652 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 3056 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 3305.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6546812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.13 5/348 52878
/proc/meminfo: memFree=68159016/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=6546812 CPUtime=3364.94 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 216857 0 0 0 335469 1025 0 0 20 0 20 0 51827804 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 1636703 5559 1 0 1653334 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=16436 CPUtime=3338.61 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 117516 0 0 0 332959 902 0 0 20 0 20 0 51827806 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=16436 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 3144 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=6355324 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 1636703 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 3364.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6546812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.12 4/348 52880
/proc/meminfo: memFree=67716596/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=6552980 CPUtime=3418.55 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 219958 0 0 0 340815 1040 0 0 20 0 20 0 51827804 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 1638245 5559 1 0 1653334 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=16436 CPUtime=3391.4 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 120122 0 0 0 338224 916 0 0 20 0 20 0 51827806 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=6552980 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=6552980 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 3145 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=6552980 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 3418.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6552980 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/348 52882
/proc/meminfo: memFree=67181364/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=6552980 CPUtime=3477.71 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 223110 0 0 0 346715 1056 0 0 20 0 20 0 51827804 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 1638245 5559 1 0 1653334 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=16436 CPUtime=3450.35 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 122436 0 0 0 344104 931 0 0 20 0 20 0 51827806 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=6552980 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 3236 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 3477.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6552980 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/348 52885
/proc/meminfo: memFree=66438016/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=6552980 CPUtime=3534.07 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 223917 0 0 0 352338 1069 0 0 20 0 20 0 51827804 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 1638245 5559 1 0 1653334 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=5504 CPUtime=3506.16 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 122489 0 0 0 349673 943 0 0 20 0 20 0 51827806 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=6552980 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=6552980 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 3287 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=6552980 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 1638245 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 3534.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6552980 KiB

[startup+3642.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/347 52887
/proc/meminfo: memFree=65924060/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=6555028 CPUtime=3593.95 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 226816 0 0 0 358311 1084 0 0 20 0 20 0 51827804 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 1638757 5559 1 0 1653334 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=6552980 CPUtime=3565.49 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 125047 0 0 0 355592 957 0 0 20 0 20 0 51827806 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 3287 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 3593.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6555028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3648.4 s]
/proc/loadavg: 4.15 4.14 4.12 5/346 52887
/proc/meminfo: memFree=65843956/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19063512 memory=6555028 CPUtime=3600.04 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 227069 0 0 0 358919 1085 0 0 20 0 20 0 51827804 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4765878 1638757 5559 1 0 1653334 0
[pid=52588/tid=52610] ppid=52575 vsize=19063512 memory=9088 CPUtime=3571.57 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 125293 0 0 0 356199 958 0 0 20 0 20 0 51827806 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19063512 memory=8960 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19063512 memory=26524 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 3287 0 0 0 0 0 0 0 20 0 20 0 51827808 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52663] ppid=52575 vsize=19063512 memory=7220 CPUtime=0 cores=1,3
/proc/52588/task/52663/stat : 52663 (Timer-0) S 52575 52588 52518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51827989 19521036288 1638757 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6555028 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.44 s, system=10.8859 s

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

[startup+3648.51 s]
/proc/loadavg: 4.15 4.14 4.12 5/346 52887
/proc/meminfo: memFree=65843956/131250000 swapFree=33009904/33010684
[pid=52588] ppid=52575 vsize=19263204 memory=6555924 CPUtime=3600.24 cores=1,3
/proc/52588/stat : 52588 (java) S 52575 52588 52518 0 -1 4194304 229535 0 0 0 358939 1085 0 0 20 0 21 0 51827804 19725520896 1638981 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
/proc/52588/statm: 4815801 1638981 5559 1 0 1654359 0
[pid=52588/tid=52610] ppid=52575 vsize=19263204 memory=6552980 CPUtime=3571.68 cores=1,3
/proc/52588/task/52610/stat : 52610 (java) R 52575 52588 52518 0 -1 4194368 125457 0 0 0 356210 958 0 0 20 0 21 0 51827806 19725520896 1638981 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52648] ppid=52575 vsize=19263204 memory=16436 CPUtime=0 cores=1,3
/proc/52588/task/52648/stat : 52648 (Finalizer) S 52575 52588 52518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 51827808 19725520896 1638981 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
[pid=52588/tid=52655] ppid=52575 vsize=19263204 memory=16436 CPUtime=0 cores=1,3
/proc/52588/task/52655/stat : 52655 (Common-Cleaner) S 52575 52588 52518 0 -1 4194368 3287 0 0 0 0 0 0 0 20 0 21 0 51827808 19725520896 1638981 18446744073709551615 94565200175104 94565200178800 140729999021552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94565200186616 94565200187408 94565202239488 140729999026480 140729999026662 140729999026662 140729999032264 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6555924 KiB

Child status: 143

Real time (s): 3648.59
CPU time (s): 3600.32
CPU user time (s): 3589.44
CPU system time (s): 10.8859
CPU usage (%): 98.6772
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6555924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.44
system time used= 10.8859
maximum resident set size= 6556052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19445920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112504
involuntary context switches= 9208


# summary of solver processes directly reported to runsolver:
#   pid: 52588
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3589.44
#   total CPU system time (s): 10.8859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39875 second user time and 14.2148 second system time

The end

Begin job on nodeC033 at 2025-07-01 11:18:04
IDJOB=4489607
IDBENCH=147558
IDSOLVER=3364
FILE ID=nodeC033/4489607-1751361484
RUNJOBID= nodeC033-1751361483-52530
SLURM_JOB_ID= 9598171
Free space on /tmp= 432412 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489607-1751361484/watcher-4489607-1751361484 -o /tmp/evaluation-result-4489607-1751361484/solver-4489607-1751361484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751361483-52530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4489607-1751361484 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4489607-1751361484.opb

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=975061992

nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.839
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.271
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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.982
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.067
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.153
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.073
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3599.794
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.067
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130065072 kB
MemAvailable:   129744000 kB
Buffers:            2128 kB
Cached:           477136 kB
SwapCached:           68 kB
Active:           302844 kB
Inactive:         238612 kB
Active(anon):      55800 kB
Inactive(anon):    24496 kB
Active(file):     247044 kB
Inactive(file):   214116 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             70456 kB
Writeback:             0 kB
AnonPages:         65664 kB
Mapped:           103916 kB
Shmem:             18028 kB
KReclaimable:     114016 kB
Slab:             204640 kB
SReclaimable:     114016 kB
SUnreclaim:        90624 kB
KernelStack:        4240 kB
PageTables:         2924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     332444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432408 MiB
End job on nodeC033 at 2025-07-01 12:18:53