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.10	c version CUSTOM.v20240707
0.13/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.11	c java.vm.version	22.0.1+8-16
0.13/0.11	c java.vm.vendor	Oracle Corporation
0.13/0.11	c sun.arch.data.model	64
0.13/0.11	c java.version		22.0.1
0.13/0.11	c os.name		Linux
0.13/0.11	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.11	c os.arch		amd64
0.13/0.12	c Free memory 		2113181440
0.13/0.12	c Max memory 		16282288128
0.13/0.12	c Total memory 		2122317824
0.13/0.12	c Number of processors 	2
0.13/0.16	--- Begin Solver configuration ---
0.13/0.16	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.16	Learn all clauses as in MiniSAT
0.13/0.16	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.16	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.16	Expensive reason simplification
0.13/0.16	Glucose 2.1 dynamic restart strategy
0.13/0.16	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.16	timeout=2147483s
0.13/0.16	DB Simplification allowed=false
0.13/0.16	Listener: none
0.13/0.16	--- End Solver configuration ---
0.13/0.16	c Pseudo Boolean Optimization by upper bound
0.13/0.16	c --- Begin Solver configuration ---
0.13/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.16	c Learn all clauses as in MiniSAT
0.13/0.16	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.16	c Expensive reason simplification
0.13/0.16	c Glucose 2.1 dynamic restart strategy
0.13/0.16	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.16	c timeout=2147483s
0.13/0.16	c DB Simplification allowed=false
0.13/0.16	c Listener: none
0.13/0.16	c --- End Solver configuration ---
0.13/0.16	c solving HOME/instance-4440305-1721769459.opb
0.13/0.16	c reading problem ... 
0.13/0.17	c using VERIPB proof format
0.13/0.17	c  objective function found
3.42/2.05	c ... done. Wall clock time 1.888s.
3.42/2.05	c declared #vars     10000
3.42/2.05	c #constraints  656900
3.42/2.05	c constraints type 
3.42/2.05	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
3.42/2.05	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
3.42/2.05	c 656900 constraints processed.
3.42/2.08	c objective function length is 10000 literals
5.59/3.11	c SATISFIABLE
5.59/3.11	c OPTIMIZING...
5.59/3.11	c Got one! Elapsed wall clock time (in seconds):2.945
5.59/3.11	o 1236
6.17/3.48	c Got one! Elapsed wall clock time (in seconds):3.326
6.17/3.48	o 926
8.75/4.78	c Got one! Elapsed wall clock time (in seconds):4.627
8.75/4.79	o 925
10.69/6.02	c cleaning 2799 clauses out of 5629 with flag 8605/5629
13.30/8.17	c cleaning 4408 clauses out of 8831 with flag 26007/11630
16.36/10.99	c cleaning 5691 clauses out of 11422 with flag 48498/18629
20.51/15.04	c cleaning 6849 clauses out of 13731 with flag 75798/26629
24.14/18.63	c cleaning 7930 clauses out of 15882 with flag 107133/35629
28.04/22.55	c cleaning 8972 clauses out of 17952 with flag 138876/45629
32.33/26.83	c cleaning 9982 clauses out of 19980 with flag 173962/56629
37.12/31.67	c cleaning 10992 clauses out of 22002 with flag 213470/68633
42.49/37.06	c cleaning 11996 clauses out of 24006 with flag 254847/81629
47.58/42.17	c cleaning 13001 clauses out of 26011 with flag 300298/95630
53.06/47.69	c cleaning 14003 clauses out of 28013 with flag 346956/110633
59.34/53.94	c cleaning 14994 clauses out of 30006 with flag 397044/126629
66.46/61.03	c cleaning 16000 clauses out of 32016 with flag 457776/143633
74.06/68.49	c cleaning 17000 clauses out of 34013 with flag 523584/161630
82.04/76.44	c cleaning 18004 clauses out of 36014 with flag 590359/180631
89.98/84.34	c cleaning 18998 clauses out of 38008 with flag 655437/200629
97.94/92.31	c cleaning 19993 clauses out of 40010 with flag 724307/221629
106.57/101.08	c cleaning 21007 clauses out of 42017 with flag 796618/243629
115.83/110.39	c cleaning 22005 clauses out of 44010 with flag 873927/266629
125.71/120.26	c cleaning 22997 clauses out of 46006 with flag 954392/290630
136.32/130.88	c cleaning 23993 clauses out of 48012 with flag 1036045/315633
146.75/141.35	c cleaning 25005 clauses out of 50015 with flag 1127730/341629
157.82/152.46	c cleaning 26003 clauses out of 52010 with flag 1208592/368629
169.34/164.01	c cleaning 26994 clauses out of 54008 with flag 1296337/396630
181.48/176.19	c cleaning 27987 clauses out of 56013 with flag 1394576/425629
194.24/188.98	c cleaning 29009 clauses out of 58026 with flag 1506578/455629
206.72/201.76	c cleaning 29992 clauses out of 60018 with flag 1613901/486630
219.88/214.98	c cleaning 31013 clauses out of 62028 with flag 1718897/518632
233.64/228.80	c cleaning 31994 clauses out of 64012 with flag 1838313/551629
247.30/242.48	c cleaning 32998 clauses out of 66018 with flag 1961309/585629
261.56/256.76	c cleaning 33991 clauses out of 68020 with flag 2078693/620629
276.35/271.55	c cleaning 35004 clauses out of 70031 with flag 2202698/656631
291.40/286.62	c cleaning 36006 clauses out of 72025 with flag 2323945/693629
307.16/302.57	c cleaning 37003 clauses out of 74019 with flag 2450208/731629
324.16/319.55	c cleaning 38007 clauses out of 76018 with flag 2593102/770631
340.53/336.05	c cleaning 39002 clauses out of 78009 with flag 2732068/810629
358.92/354.60	c cleaning 39993 clauses out of 80009 with flag 2886167/851631
376.47/372.38	c cleaning 41001 clauses out of 82015 with flag 3039974/893630
394.50/390.87	c cleaning 42006 clauses out of 84014 with flag 3188116/936630
413.57/409.90	c cleaning 42995 clauses out of 86008 with flag 3342126/980630
432.37/428.84	c cleaning 43994 clauses out of 88012 with flag 3496658/1025629
452.84/449.57	c cleaning 45007 clauses out of 90018 with flag 3660242/1071629
473.11/469.73	c cleaning 45994 clauses out of 92014 with flag 3828624/1118632
493.75/490.51	c cleaning 47002 clauses out of 94017 with flag 4000720/1166629
515.43/512.23	c cleaning 47999 clauses out of 96015 with flag 4167819/1215629
536.87/533.72	c cleaning 48997 clauses out of 98016 with flag 4348537/1265629
559.82/556.78	c cleaning 50011 clauses out of 100021 with flag 4530782/1316631
583.17/580.04	c cleaning 50998 clauses out of 102008 with flag 4725318/1368629
607.86/605.13	c cleaning 51993 clauses out of 104010 with flag 4923925/1421629
632.13/629.39	c cleaning 53006 clauses out of 106017 with flag 5105091/1475629
658.01/655.35	c cleaning 54001 clauses out of 108015 with flag 5292353/1530633
685.00/682.33	c cleaning 55005 clauses out of 110010 with flag 5485928/1586629
711.62/708.93	c cleaning 55997 clauses out of 112005 with flag 5684289/1643629
738.24/735.51	c cleaning 56999 clauses out of 114008 with flag 5902780/1701629
765.44/762.72	c cleaning 58001 clauses out of 116009 with flag 6114738/1760629
792.91/790.16	c cleaning 59004 clauses out of 118009 with flag 6329982/1820630
819.27/816.66	c cleaning 59994 clauses out of 120004 with flag 6564444/1881629
849.83/846.95	c cleaning 61003 clauses out of 122010 with flag 6816287/1943629
880.28/877.44	c cleaning 61993 clauses out of 124007 with flag 7058031/2006629
909.10/906.28	c cleaning 63005 clauses out of 126014 with flag 7305446/2070629
939.45/936.64	c cleaning 63993 clauses out of 128011 with flag 7568094/2135631
968.74/965.98	c cleaning 65000 clauses out of 130016 with flag 7816726/2201629
999.79/997.10	c cleaning 65998 clauses out of 132016 with flag 8075298/2268629
1031.58/1028.68	c cleaning 67004 clauses out of 134018 with flag 8332194/2336629
1062.86/1059.94	c cleaning 68008 clauses out of 136016 with flag 8583294/2405631
1096.84/1093.91	c cleaning 69004 clauses out of 138007 with flag 8855739/2475630
1130.57/1127.46	c cleaning 69995 clauses out of 140002 with flag 9127448/2546629
1166.31/1162.89	c cleaning 71001 clauses out of 142008 with flag 9398202/2618630
1202.83/1199.40	c cleaning 71995 clauses out of 144007 with flag 9670686/2691630
1236.69/1233.54	c cleaning 73003 clauses out of 146013 with flag 9944588/2765631
1274.43/1271.27	c cleaning 74001 clauses out of 148008 with flag 10224406/2840629
1310.61/1307.44	c cleaning 74995 clauses out of 150007 with flag 10496766/2916629
1350.20/1346.96	c cleaning 75997 clauses out of 152012 with flag 10792699/2993629
1391.33/1387.80	c cleaning 76988 clauses out of 154015 with flag 11070773/3071629
1432.62/1428.98	c cleaning 78009 clauses out of 156027 with flag 11356818/3150629
1472.01/1468.27	c cleaning 79004 clauses out of 158020 with flag 11649864/3230631
1517.41/1512.54	c cleaning 79992 clauses out of 160014 with flag 11950373/3311629
1558.09/1553.08	c cleaning 80993 clauses out of 162022 with flag 12269208/3393629
1599.48/1594.19	c cleaning 81993 clauses out of 164029 with flag 12571629/3476629
1644.84/1643.82	c cleaning 83012 clauses out of 166036 with flag 12882394/3560629
1691.95/1690.80	c cleaning 84013 clauses out of 168025 with flag 13205194/3645630
1734.03/1733.17	c cleaning 84995 clauses out of 170012 with flag 13528497/3731630
1780.76/1780.83	c cleaning 86007 clauses out of 172018 with flag 13869944/3818631
1830.04/1830.60	c cleaning 86986 clauses out of 174009 with flag 14207167/3906629
1876.44/1877.98	c cleaning 88000 clauses out of 176023 with flag 14538350/3995629
1919.68/1920.90	c cleaning 88998 clauses out of 178024 with flag 14873937/4085630
1965.61/1965.24	c cleaning 90003 clauses out of 180026 with flag 15209253/4176630
2014.30/2013.36	c cleaning 91006 clauses out of 182022 with flag 15567531/4268629
2071.71/2069.98	c cleaning 91998 clauses out of 184017 with flag 15937619/4361630
2129.20/2126.93	c cleaning 92994 clauses out of 186018 with flag 16317317/4455629
2178.64/2176.12	c cleaning 94011 clauses out of 188028 with flag 16661393/4550633
2229.75/2227.18	c cleaning 95007 clauses out of 190013 with flag 17005105/4646629
2281.69/2279.18	c cleaning 95996 clauses out of 192006 with flag 17357945/4743629
2340.91/2337.93	c cleaning 97002 clauses out of 194012 with flag 17731625/4841631
2395.54/2392.13	c cleaning 97993 clauses out of 196008 with flag 18141761/4940629
2454.17/2450.25	c cleaning 98997 clauses out of 198015 with flag 18517669/5040629
2511.79/2507.53	c cleaning 99994 clauses out of 200018 with flag 18874471/5141629
2575.76/2571.18	c cleaning 100996 clauses out of 202026 with flag 19277222/5243631
2637.62/2631.48	c cleaning 102013 clauses out of 204030 with flag 19655097/5346631
2695.51/2689.13	c cleaning 102990 clauses out of 206016 with flag 20033990/5450630
2754.59/2747.46	c cleaning 104013 clauses out of 208025 with flag 20409582/5555629
2812.09/2804.66	c cleaning 104992 clauses out of 210014 with flag 20772033/5661631
2872.19/2864.50	c cleaning 106004 clauses out of 212022 with flag 21167030/5768631
2932.94/2924.78	c cleaning 106982 clauses out of 214016 with flag 21553995/5876629
2991.30/2982.48	c cleaning 107996 clauses out of 216034 with flag 21966587/5985629
3054.60/3045.27	c cleaning 109012 clauses out of 218040 with flag 22363550/6095631
3120.15/3110.37	c cleaning 110007 clauses out of 220027 with flag 22802082/6206630
3191.14/3180.35	c cleaning 111002 clauses out of 222019 with flag 23251240/6318629
3251.97/3240.83	c cleaning 112009 clauses out of 224018 with flag 23647223/6431630
3317.16/3307.67	c cleaning 113002 clauses out of 226008 with flag 24063077/6545629
3386.45/3374.82	c cleaning 114004 clauses out of 228007 with flag 24489241/6660630
3450.09/3438.08	c cleaning 115001 clauses out of 230002 with flag 24887695/6776629
3513.44/3500.66	c cleaning 115991 clauses out of 232002 with flag 25296721/6893630
3590.48/3577.27	c cleaning 117002 clauses out of 234011 with flag 25743210/7011630
3600.03/3586.72	c starts		: 24
3600.03/3586.73	c conflicts		: 7025810
3600.03/3586.73	c decisions		: 20286300
3600.03/3586.73	c propagations		: 1942140453
3600.03/3586.73	c inspects		: 2622181999
3600.03/3586.73	c shortcuts		: 0
3600.03/3586.73	c learnt literals	: 0
3600.03/3586.73	c learnt binary clauses	: 0
3600.03/3586.73	c learnt ternary clauses	: 0
3600.03/3586.73	c learnt constraints	: 7025810
3600.03/3586.73	c ignored constraints	: 0
3600.03/3586.73	c root simplifications	: 0
3600.03/3586.73	c removed literals (reason simplification)	: 596782440
3600.03/3586.73	c reason swapping (by a shorter reason)	: 0
3600.03/3586.73	c Calls to reduceDB	: 114
3600.03/3586.73	c Number of update (reduction) of LBD	: 2647536
3600.03/3586.73	c Imported unit clauses	: 0
3600.03/3586.73	c No decision after first conflict	: false
3600.03/3586.73	c number of reductions to clauses (during analyze)	: 0
3600.03/3586.73	c number of learned constraints concerned by reduction	: 0
3600.03/3586.73	c number of learning phase by resolution	: 0
3600.03/3586.73	c number of learning phase by cutting planes	: 0
3600.03/3586.73	c number of rounding to 1 operations	: 0
3600.03/3586.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3586.73	c number of reductions of the coefficients by power 2 	: 0
3600.03/3586.73	c number of right shift for reduction by power 2 	: 0
3600.03/3586.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3586.73	c number of ending skipping 	: 0
3600.03/3586.73	c number of internal skipping 	: 0
3600.03/3586.73	c number of derivation steps 	: 0
3600.03/3586.73	c number of skipped derivation steps 	: 0
3600.03/3586.73	c number of remaining unassigned 	: 0
3600.03/3586.73	c number of remaining assigned 	: 0
3600.03/3586.73	c number of falsified literals weakened from reason	: 0
3600.03/3586.73	c number of falsified literals weakened from conflict	: 0
3600.03/3586.73	c time for arithmetic operations	: 0
3600.03/3586.73	c minimum degree of deleted constraints	: null
3600.03/3586.73	c maximum degree of deleted constraints	: null
3600.03/3586.73	c number of deleted constraints	: 0
3600.03/3586.73	c speed (assignments/second)	: 541797.5366454055
3600.03/3586.73	c non guided choices	: 0
3600.03/3586.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 131189
3600.03/3586.78	s SATISFIABLE
3600.03/3586.78	c Found 3 solution(s)
3600.03/3586.79	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.22/3586.83	c objective function=925
3600.22/3586.83	c Total wall clock time (in seconds): 3586.678

OK	925

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100083 s]*
/proc/loadavg: 4.80 4.59 4.57 6/338 129379
/proc/meminfo: memFree=91482484/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=18993908 memory=60108 CPUtime=0.13 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 6799 0 0 0 10 3 0 0 20 0 18 0 12935285 19449761792 15027 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4748477 15027 5851 1 0 551038 0
[pid=129361/tid=129363] ppid=129358 vsize=18993908 memory=4026561586 CPUtime=0.06 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 5704 0 0 0 5 1 0 0 20 0 18 0 12935286 19449761792 15027 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12935288 19449761792 15027 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=18993908 memory=3618136736603162089 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12935289 19449761792 15027 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 60108 KiB

[startup+0.208026 s]*
/proc/loadavg: 4.80 4.59 4.57 8/338 129379
/proc/meminfo: memFree=91467428/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=18993908 memory=73568 CPUtime=0.32 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 7492 0 0 0 29 3 0 0 20 0 18 0 12935285 19449761792 18392 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4748477 18392 6024 1 0 551615 0
[pid=129361/tid=129363] ppid=129358 vsize=18993908 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6024 0 0 0 15 2 0 0 20 0 18 0 12935286 19449761792 18392 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=18993908 memory=881198 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12935288 19449761792 18392 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12935289 19449761792 18392 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 73568 KiB

[startup+0.307027 s]*
/proc/loadavg: 4.80 4.59 4.57 8/338 129379
/proc/meminfo: memFree=91455200/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=18993908 memory=84496 CPUtime=0.51 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 7620 0 0 0 47 4 0 0 20 0 18 0 12935285 19449761792 21124 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4748477 21124 6040 1 0 551684 0
[pid=129361/tid=129363] ppid=129358 vsize=18993908 memory=-8599737165181395644 CPUtime=0.24 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6059 0 0 0 22 2 0 0 20 0 18 0 12935286 19449761792 21124 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12935288 19449761792 21124 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12935289 19449761792 21124 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 84496 KiB

[startup+0.701027 s]
/proc/loadavg: 4.80 4.59 4.57 7/338 129379
/proc/meminfo: memFree=91351316/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=19060472 memory=173380 CPUtime=1.27 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 9313 0 0 0 120 7 0 0 20 0 19 0 12935285 19517923328 43345 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4765118 43345 6109 1 0 552995 0
[pid=129361/tid=129363] ppid=129358 vsize=19060472 memory=5640 CPUtime=0.6 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6101 0 0 0 56 4 0 0 20 0 19 0 12935286 19517923328 43345 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19060472 memory=12240 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12935288 19517923328 43345 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19060472 memory=4925 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12935289 19517923328 43345 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 173380 KiB

[startup+1.50021 s]
/proc/loadavg: 4.80 4.59 4.57 6/339 129380
/proc/meminfo: memFree=91172056/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=19060472 memory=358480 CPUtime=2.82 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 17114 0 0 0 270 12 0 0 20 0 19 0 12935285 19517923328 89620 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4765118 89620 6125 1 0 843752 0
[pid=129361/tid=129363] ppid=129358 vsize=19060472 memory=4925 CPUtime=1.3 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) S 129358 129361 126356 0 -1 1077936192 6174 0 0 0 123 7 0 0 20 0 19 0 12935286 19517923328 89620 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12935288 19517923328 89620 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19060472 memory=12240 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12935289 19517923328 89620 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 358480 KiB

[startup+3.10619 s]
/proc/loadavg: 4.80 4.59 4.57 8/340 129381
/proc/meminfo: memFree=90588600/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=698484 CPUtime=5.59 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 19298 0 0 0 539 20 0 0 20 0 20 0 12935285 19586084864 174621 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 174621 6173 1 0 1561566 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=12240 CPUtime=2.75 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6468 0 0 0 263 12 0 0 20 0 20 0 12935286 19586084864 174621 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 174621 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=6657 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 174621 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=4420 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 174621 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 5.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 698484 KiB

[startup+6.30102 s]
/proc/loadavg: 4.90 4.61 4.58 8/340 129382
/proc/meminfo: memFree=90176760/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=833344 CPUtime=11.1 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 19662 0 0 0 1086 24 0 0 20 0 20 0 12935285 19586084864 208336 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 208336 6173 1 0 1561667 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=0 CPUtime=5.75 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6557 0 0 0 559 16 0 0 20 0 20 0 12935286 19586084864 208336 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 208336 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=12240 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 208336 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=6944656591801720226 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 208336 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 11.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 833344 KiB

[startup+12.701 s]
/proc/loadavg: 4.90 4.62 4.58 5/340 129382
/proc/meminfo: memFree=89603216/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=921768 CPUtime=18.21 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 26154 0 0 0 1792 29 0 0 20 0 20 0 12935285 19586084864 230442 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 230442 6173 1 0 1561672 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=12240 CPUtime=12.02 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 7198 0 0 0 1184 18 0 0 20 0 20 0 12935286 19586084864 230442 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=849828 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 230442 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=909480 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 230442 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 230442 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 18.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 921768 KiB

[startup+25.5004 s]
/proc/loadavg: 4.92 4.64 4.59 7/338 129386
/proc/meminfo: memFree=87898192/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=1358088 CPUtime=31.03 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 28641 0 0 0 3061 42 0 0 20 0 20 0 12935285 19586084864 339522 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 339522 6189 1 0 1561672 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=909480 CPUtime=24.72 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 8221 0 0 0 2443 29 0 0 20 0 20 0 12935286 19586084864 339522 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 339522 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=1270024 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 339522 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=1171720 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 339522 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 31.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1358088 KiB

[startup+51.1145 s]
/proc/loadavg: 4.60 4.59 4.57 6/338 129389
/proc/meminfo: memFree=83014160/131655788 swapFree=131070448/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=2179496 CPUtime=56.57 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 33105 0 0 0 5591 66 0 0 20 0 20 0 12935285 19586084864 544874 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 544874 6189 1 0 1561676 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=132 CPUtime=50.12 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 10362 0 0 0 4961 51 0 0 20 0 20 0 12935286 19586084864 544874 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=1903016 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 544874 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 544874 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=1831 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 544874 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0

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

Current children cumulated CPU time: 3291.77 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 10557488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.26 4.49 5/323 131925
/proc/meminfo: memFree=51576396/131655788 swapFree=131052932/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=10571128 CPUtime=3353.51 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 6668150 0 0 0 333479 1872 0 0 20 0 20 0 12935285 19586084864 2642782 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 2642782 6189 1 0 2691603 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=4748928 CPUtime=3270.85 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 5719404 0 0 0 325509 1576 0 0 20 0 20 0 12935286 19586084864 2642782 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2277 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=10557088 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 2642782 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=10557944 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 3402 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 2642782 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=5036 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 2642782 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 3353.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 10571128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.27 4.48 5/323 131936
/proc/meminfo: memFree=50009724/131655788 swapFree=131052932/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=11080172 CPUtime=3414.26 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 7493685 0 0 0 339474 1952 0 0 20 0 20 0 12935285 19586084864 2770043 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 2770043 6189 1 0 2821092 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=4748928 CPUtime=3329.36 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6473949 0 0 0 331288 1648 0 0 20 0 20 0 12935286 19586084864 2770043 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2293 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=10557088 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 2770043 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=10557944 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 3402 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 2770043 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=-4421386521916828260 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 2770043 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 3414.26 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11080172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.27 4.46 5/319 131947
/proc/meminfo: memFree=48733416/131655788 swapFree=131052932/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=11080264 CPUtime=3474.54 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 7636253 0 0 0 345474 1980 0 0 20 0 20 0 12935285 19586084864 2770066 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 2770066 6189 1 0 2821092 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=4748928 CPUtime=3388.21 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6609242 0 0 0 337148 1673 0 0 20 0 20 0 12935286 19586084864 2770066 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2311 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=10557944 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 2770066 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=11080264 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 3491 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 2770066 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=11080264 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 2770066 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 3474.54 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11080264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.26 4.45 5/294 131986
/proc/meminfo: memFree=64059232/131655788 swapFree=131052932/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=11080276 CPUtime=3535.35 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 7636617 0 0 0 351533 2002 0 0 20 0 20 0 12935285 19586084864 2770069 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 2770069 6189 1 0 2821092 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=4748928 CPUtime=3446.66 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6609295 0 0 0 342973 1693 0 0 20 0 20 0 12935286 19586084864 2770069 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2325 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=11080264 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 2770069 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=11080264 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 3491 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 2770069 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=50044 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 2770069 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 3535.35 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11080276 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.20 4.41 6/319 132569
/proc/meminfo: memFree=90295600/131655788 swapFree=131052932/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=11080280 CPUtime=3595.63 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 7637088 0 0 0 357539 2024 0 0 20 0 20 0 12935285 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 2770070 6189 1 0 2821092 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=4748928 CPUtime=3505.06 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6609563 0 0 0 348792 1714 0 0 20 0 20 0 12935286 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2369 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 3491 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=50044 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 3595.63 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11080280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3586.7 s]
/proc/loadavg: 4.06 4.20 4.41 5/319 132571
/proc/meminfo: memFree=90181556/131655788 swapFree=131052932/131071996
[pid=129361] ppid=129358 vsize=19127036 memory=11080280 CPUtime=3600.03 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 7637088 0 0 0 357977 2026 0 0 20 0 20 0 12935285 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4781759 2770070 6189 1 0 2821092 0
[pid=129361/tid=129363] ppid=129358 vsize=19127036 memory=4748928 CPUtime=3509.45 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6609563 0 0 0 349230 1715 0 0 20 0 20 0 12935286 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2369 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12935288 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19127036 memory=1896 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 3491 0 0 0 0 0 0 0 20 0 20 0 12935289 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129381] ppid=129358 vsize=19127036 memory=11080280 CPUtime=0 cores=0,2
/proc/129361/task/129381/stat : 129381 (Timer-0) S 129358 129361 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12935495 19586084864 2770070 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11080280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.02 s, system=20.5343 s

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

[startup+3586.81 s]
/proc/loadavg: 4.06 4.20 4.41 5/319 132571
/proc/meminfo: memFree=90181556/131655788 swapFree=131052932/131071996
[pid=129361] ppid=129358 vsize=19326728 memory=11081152 CPUtime=3600.22 cores=0,2
/proc/129361/stat : 129361 (java) S 129358 129361 126356 0 -1 1077936128 7640104 0 0 0 357996 2026 0 0 20 0 21 0 12935285 19790569472 2770288 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
/proc/129361/statm: 4831682 2770288 6188 1 0 2822057 0
[pid=129361/tid=129363] ppid=129358 vsize=19326728 memory=4704 CPUtime=3509.49 cores=0,2
/proc/129361/task/129363/stat : 129363 (java) R 129358 129361 126356 0 -1 4194368 6609629 0 0 0 349234 1715 0 0 20 0 21 0 12935286 19790569472 2770288 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2369 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129372] ppid=129358 vsize=19326728 memory=8012 CPUtime=0 cores=0,2
/proc/129361/task/129372/stat : 129372 (Finalizer) S 129358 129361 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 12935288 19790569472 2770288 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
[pid=129361/tid=129379] ppid=129358 vsize=19326728 memory=19432 CPUtime=0 cores=0,2
/proc/129361/task/129379/stat : 129379 (Common-Cleaner) S 129358 129361 126356 0 -1 1077936192 3491 0 0 0 0 0 0 0 20 0 21 0 12935289 19790569472 2770288 134679101440 94090646777856 94090646781552 140731939555168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94090646789368 94090646790160 94090668941312 140731939558319 140731939558501 140731939558501 140731939565512 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 11081152 KiB

[startup+3587.01 s]*
/proc/loadavg: 4.06 4.20 4.41 5/301 132574
/proc/meminfo: memFree=99461404/131655788 swapFree=131052932/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3587.11 s]
/proc/loadavg: 4.06 4.20 4.41 5/301 132574
/proc/meminfo: memFree=99461404/131655788 swapFree=131052932/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3587.16
CPU time (s): 3600.56
CPU user time (s): 3580.02
CPU system time (s): 20.5343
CPU usage (%): 100.374
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 11081152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.02
system time used= 20.5343
maximum resident set size= 11082208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7640594
page faults= 0
swaps= 0
block input operations= 8
block output operations= 22452528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118911
involuntary context switches= 27365


# summary of solver processes directly reported to runsolver:
#   pid: 129361
#   total CPU time (s): 3600.56
#   total CPU user time (s): 3580.02
#   total CPU system time (s): 20.5343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8845 second user time and 39.1073 second system time

The end

Begin job on nodeC005 at 2024-07-23 23:17:39
IDJOB=4440305
IDBENCH=147551
IDSOLVER=3079
FILE ID=nodeC005/4440305-1721769459
RUNJOBID= nodeC005-1721765593-126366
SLURM_JOB_ID= 7770667
Free space on /tmp= 723764 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440305-1721769459/watcher-4440305-1721769459 -o /tmp/evaluation-result-4440305-1721769459/solver-4440305-1721769459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721765593-126366 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440305-1721769459 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440305-1721769459.opb

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=1251203777

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        91524804 kB
MemAvailable:   104845236 kB
Buffers:          178460 kB
Cached:         13952304 kB
SwapCached:          124 kB
Active:          1202580 kB
Inactive:       38288308 kB
Active(anon):       1576 kB
Inactive(anon): 25403852 kB
Active(file):    1201004 kB
Inactive(file): 12884456 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:            572784 kB
Writeback:         44872 kB
AnonPages:      25360096 kB
Mapped:           127356 kB
Shmem:             45208 kB
KReclaimable:     150004 kB
Slab:             269084 kB
SReclaimable:     150004 kB
SUnreclaim:       119080 kB
KernelStack:        5168 kB
PageTables:        59852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   30827648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14816 kB
HardwareCorrupted:     0 kB
AnonHugePages:  24942592 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    22697984 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC005 at 2024-07-24 00:17:26