0.10/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.19	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.10/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.23	c java.vm.version	22.0.1+8-16
0.10/0.23	c java.vm.vendor	Oracle Corporation
0.10/0.23	c sun.arch.data.model	64
0.10/0.23	c java.version		22.0.1
0.10/0.23	c os.name		Linux
0.10/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.23	c os.arch		amd64
0.27/0.24	c Free memory 		2106806208
0.27/0.24	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.26	c Number of processors 	2
0.41/0.37	c Pseudo Boolean Optimization by upper bound
0.41/0.37	c --- Begin Solver configuration ---
0.41/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.37	c Learn all clauses as in MiniSAT
0.41/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.37	c Expensive reason simplification
0.41/0.37	c Glucose 2.1 dynamic restart strategy
0.41/0.37	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.41/0.37	c timeout=2147483s
0.41/0.37	c DB Simplification allowed=false
0.41/0.37	c Listener: none
0.41/0.37	c --- End Solver configuration ---
0.41/0.37	c solving HOME/instance-4497523-1751407286.opb
0.41/0.37	c reading problem ... 
0.41/0.38	c using VERIPB proof format
0.41/0.38	c  objective function found
1.70/1.06	c ... done. Wall clock time 0.683s.
1.70/1.06	c declared #vars     12935
1.70/1.06	c #constraints  47889
1.70/1.06	c constraints type 
1.70/1.07	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 35913
1.70/1.07	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.70/1.07	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1.70/1.07	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11970
1.70/1.07	c 47889 constraints processed.
1.70/1.09	c objective function length is 953 literals
1.91/1.19	c SATISFIABLE
1.91/1.19	c OPTIMIZING...
1.91/1.20	c Got one! Elapsed wall clock time (in seconds):0.823
1.91/1.20	o 24
6.54/3.77	c cleaning 2499 clauses out of 5002 with flag 33564/5002
10.60/6.70	c cleaning 4240 clauses out of 8503 with flag 124665/11002
14.38/9.92	c cleaning 5632 clauses out of 11263 with flag 237317/18002
18.56/14.01	c cleaning 6797 clauses out of 13631 with flag 389044/26002
22.55/18.03	c cleaning 7910 clauses out of 15834 with flag 570065/35002
26.93/22.45	c cleaning 8881 clauses out of 17924 with flag 758373/45002
31.63/27.18	c cleaning 10007 clauses out of 20043 with flag 901820/56002
36.68/32.20	c cleaning 10992 clauses out of 22036 with flag 1041493/68002
42.26/37.83	c cleaning 12009 clauses out of 24044 with flag 1240737/81002
47.96/43.54	c cleaning 13005 clauses out of 26035 with flag 1423885/95002
54.47/50.04	c cleaning 13856 clauses out of 28030 with flag 1743811/110002
61.35/56.97	c cleaning 14908 clauses out of 30174 with flag 1948230/126002
68.79/64.32	c cleaning 16105 clauses out of 32266 with flag 2295748/143002
76.16/71.62	c cleaning 16983 clauses out of 34161 with flag 2638096/161002
84.06/79.53	c cleaning 18089 clauses out of 36178 with flag 3042491/180002
93.13/88.68	c cleaning 19028 clauses out of 38089 with flag 3426121/200002
102.52/98.03	c cleaning 19857 clauses out of 40061 with flag 3808866/221002
112.29/107.86	c cleaning 21037 clauses out of 42204 with flag 4152714/243002
123.22/119.21	c cleaning 21964 clauses out of 44167 with flag 4588209/266002
133.60/129.69	c cleaning 22897 clauses out of 46203 with flag 5020024/290002
144.49/140.50	c cleaning 24056 clauses out of 48306 with flag 5454583/315002
155.24/151.36	c cleaning 24888 clauses out of 50250 with flag 5895892/341002
167.42/163.54	c cleaning 26025 clauses out of 52362 with flag 6491481/368002
179.55/175.75	c cleaning 26886 clauses out of 54337 with flag 7041211/396002
191.94/188.13	c cleaning 28093 clauses out of 56451 with flag 7641147/425002
203.92/200.13	c cleaning 29134 clauses out of 58358 with flag 8246141/455002
217.85/214.16	c cleaning 30072 clauses out of 60224 with flag 8793511/486002
231.87/228.29	c cleaning 30787 clauses out of 62152 with flag 9342976/518002
246.06/242.48	c cleaning 32160 clauses out of 64366 with flag 9922275/551003
261.21/257.67	c cleaning 32942 clauses out of 66205 with flag 10546905/585002
276.59/273.01	c cleaning 34118 clauses out of 68263 with flag 11195618/620002
292.96/289.43	c cleaning 34930 clauses out of 70145 with flag 11849028/656002
308.67/309.85	c cleaning 35936 clauses out of 72215 with flag 12474222/693002
325.95/327.19	c cleaning 37076 clauses out of 74282 with flag 13042563/731005
340.98/342.20	c cleaning 37933 clauses out of 76203 with flag 13586867/770002
356.67/358.00	c cleaning 39049 clauses out of 78270 with flag 14198741/810002
374.01/375.41	c cleaning 40008 clauses out of 80221 with flag 14840897/851002
391.63/393.06	c cleaning 40963 clauses out of 82213 with flag 15589659/893002
408.53/410.07	c cleaning 41995 clauses out of 84250 with flag 16207018/936002
428.21/429.75	c cleaning 43048 clauses out of 86255 with flag 16931545/980002
447.75/449.25	c cleaning 43975 clauses out of 88207 with flag 17722247/1025002
468.30/469.88	c cleaning 44957 clauses out of 90232 with flag 18542186/1071002
489.74/491.34	c cleaning 45894 clauses out of 92275 with flag 19301320/1118002
511.72/513.32	c cleaning 47164 clauses out of 94381 with flag 20020547/1166002
532.97/534.65	c cleaning 47946 clauses out of 96217 with flag 20757986/1215002
553.53/555.23	c cleaning 49054 clauses out of 98272 with flag 21567751/1265003
573.69/575.47	c cleaning 49883 clauses out of 100217 with flag 22457473/1316002
595.68/597.44	c cleaning 51132 clauses out of 102335 with flag 23292558/1368003
618.28/620.01	c cleaning 51986 clauses out of 104202 with flag 24220207/1421002
641.48/643.20	c cleaning 52853 clauses out of 106216 with flag 25245033/1475002
664.72/666.53	c cleaning 54174 clauses out of 108364 with flag 26205888/1530003
689.62/691.43	c cleaning 55022 clauses out of 110189 with flag 27136938/1586002
714.01/716.14	c cleaning 55865 clauses out of 112170 with flag 28072564/1643005
739.44/742.74	c cleaning 57128 clauses out of 114303 with flag 28949953/1701003
765.05/768.32	c cleaning 57898 clauses out of 116174 with flag 29701935/1760002
791.54/794.82	c cleaning 58915 clauses out of 118276 with flag 30573875/1820002
818.87/822.23	c cleaning 60166 clauses out of 120361 with flag 31484406/1881002
846.68/850.10	c cleaning 60899 clauses out of 122196 with flag 32423752/1943003
875.71/879.31	c cleaning 62108 clauses out of 124296 with flag 33215111/2006002
903.88/907.57	c cleaning 63063 clauses out of 126188 with flag 34209298/2070002
932.87/936.57	c cleaning 64057 clauses out of 128125 with flag 35215006/2135002
961.55/965.25	c cleaning 64847 clauses out of 130068 with flag 36290998/2201002
992.69/996.43	c cleaning 65954 clauses out of 132221 with flag 37301227/2268002
1023.40/1027.29	c cleaning 67076 clauses out of 134267 with flag 38400865/2336002
1055.05/1058.95	c cleaning 68030 clauses out of 136191 with flag 39436481/2405002
1085.81/1089.72	c cleaning 68984 clauses out of 138161 with flag 40477836/2475002
1118.11/1122.05	c cleaning 69990 clauses out of 140177 with flag 41586874/2546002
1149.16/1153.13	c cleaning 70988 clauses out of 142187 with flag 42702975/2618002
1182.15/1186.14	c cleaning 71948 clauses out of 144199 with flag 44050666/2691002
1212.01/1216.30	c cleaning 73047 clauses out of 146251 with flag 45250989/2765002
1244.05/1247.64	c cleaning 74093 clauses out of 148205 with flag 46263760/2840003
1282.54/1285.39	c cleaning 75023 clauses out of 150111 with flag 47164649/2916002
1324.41/1327.21	c cleaning 75921 clauses out of 152088 with flag 47879873/2993002
1360.18/1363.02	c cleaning 77007 clauses out of 154167 with flag 49096774/3071002
1399.25/1402.13	c cleaning 78039 clauses out of 156160 with flag 49993905/3150002
1439.48/1442.41	c cleaning 78995 clauses out of 158121 with flag 50918966/3230002
1476.91/1480.01	c cleaning 79988 clauses out of 160126 with flag 52126572/3311002
1513.06/1516.19	c cleaning 80976 clauses out of 162138 with flag 53314425/3393002
1552.03/1554.98	c cleaning 82002 clauses out of 164162 with flag 54485639/3476002
1593.00/1596.01	c cleaning 82874 clauses out of 166161 with flag 55574142/3560003
1633.52/1636.61	c cleaning 84106 clauses out of 168286 with flag 56622271/3645002
1674.48/1677.70	c cleaning 85034 clauses out of 170180 with flag 57933255/3731002
1716.76/1720.02	c cleaning 85919 clauses out of 172146 with flag 59247660/3818002
1760.82/1764.01	c cleaning 86939 clauses out of 174227 with flag 60569870/3906002
1806.42/1809.68	c cleaning 87951 clauses out of 176288 with flag 61763244/3995002
1852.02/1855.35	c cleaning 89155 clauses out of 178337 with flag 63152607/4085002
1902.33/1906.79	c cleaning 89994 clauses out of 180182 with flag 64427201/4176002
1948.94/1953.55	c cleaning 91057 clauses out of 182188 with flag 65692362/4268002
1993.40/1998.06	c cleaning 92059 clauses out of 184131 with flag 67024271/4361002
2040.58/2045.35	c cleaning 93024 clauses out of 186072 with flag 68701460/4455002
2089.19/2094.05	c cleaning 94018 clauses out of 188048 with flag 70304925/4550002
2134.63/2139.56	c cleaning 94967 clauses out of 190030 with flag 71944441/4646002
2178.51/2183.58	c cleaning 95874 clauses out of 192063 with flag 73457841/4743002
2225.45/2230.51	c cleaning 97080 clauses out of 194189 with flag 75094865/4841002
2270.76/2275.89	c cleaning 97965 clauses out of 196109 with flag 76724327/4940002
2315.40/2320.53	c cleaning 99047 clauses out of 198144 with flag 78401445/5040002
2362.78/2367.98	c cleaning 99919 clauses out of 200097 with flag 79868886/5141002
2412.11/2417.47	c cleaning 101025 clauses out of 202178 with flag 81459209/5243002
2461.17/2466.45	c cleaning 101932 clauses out of 204153 with flag 83015882/5346002
2510.11/2515.56	c cleaning 102966 clauses out of 206221 with flag 84565311/5450002
2558.67/2564.10	c cleaning 104125 clauses out of 208256 with flag 85903765/5555003
2607.78/2613.25	c cleaning 105006 clauses out of 210130 with flag 87528599/5661002
2660.99/2666.51	c cleaning 106032 clauses out of 212124 with flag 88817481/5768002
2714.97/2720.67	c cleaning 106995 clauses out of 214092 with flag 90021412/5876002
2771.54/2777.20	c cleaning 107948 clauses out of 216097 with flag 91105763/5985002
2826.21/2831.95	c cleaning 109027 clauses out of 218149 with flag 92206483/6095002
2882.29/2889.09	c cleaning 109987 clauses out of 220124 with flag 93603690/6206004
2936.34/2943.16	c cleaning 110972 clauses out of 222138 with flag 95000016/6318005
2992.18/2999.09	c cleaning 112012 clauses out of 224163 with flag 96312896/6431002
3046.82/3053.71	c cleaning 113003 clauses out of 226151 with flag 97537728/6545002
3101.79/3108.83	c cleaning 114040 clauses out of 228149 with flag 98770516/6660003
3161.31/3168.46	c cleaning 114973 clauses out of 230110 with flag 100051887/6776004
3225.05/3232.32	c cleaning 116037 clauses out of 232136 with flag 101170633/6893003
3290.85/3298.26	c cleaning 116975 clauses out of 234098 with flag 102385402/7011002
3359.68/3367.18	c cleaning 118013 clauses out of 236124 with flag 103538796/7130003
3427.95/3435.30	c cleaning 118994 clauses out of 238110 with flag 104761930/7250002
3487.88/3495.49	c cleaning 120051 clauses out of 240116 with flag 106490345/7371002
3546.28/3553.85	c cleaning 120770 clauses out of 242065 with flag 108343732/7493002
3600.08/3607.62	c starts		: 529
3600.08/3607.64	c conflicts		: 7610589
3600.08/3607.64	c decisions		: 348633924
3600.08/3607.64	c propagations		: 12558683347
3600.08/3607.64	c inspects		: 43597996982
3600.08/3607.64	c shortcuts		: 0
3600.08/3607.64	c learnt literals	: 0
3600.08/3607.64	c learnt binary clauses	: 26
3600.08/3607.64	c learnt ternary clauses	: 6
3600.08/3607.64	c learnt constraints	: 7610589
3600.08/3607.64	c ignored constraints	: 0
3600.08/3607.64	c root simplifications	: 0
3600.08/3607.64	c removed literals (reason simplification)	: 162104355
3600.08/3607.64	c reason swapping (by a shorter reason)	: 0
3600.08/3607.65	c Calls to reduceDB	: 118
3600.08/3607.65	c Number of update (reduction) of LBD	: 5884233
3600.08/3607.65	c Imported unit clauses	: 0
3600.08/3607.65	c No decision after first conflict	: false
3600.08/3607.65	c number of reductions to clauses (during analyze)	: 0
3600.08/3607.65	c number of learned constraints concerned by reduction	: 0
3600.08/3607.65	c number of learning phase by resolution	: 0
3600.08/3607.65	c number of learning phase by cutting planes	: 0
3600.08/3607.65	c number of rounding to 1 operations	: 0
3600.08/3607.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3607.65	c number of reductions of the coefficients by power 2 	: 0
3600.08/3607.65	c number of right shift for reduction by power 2 	: 0
3600.08/3607.66	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3607.66	c number of ending skipping 	: 0
3600.08/3607.66	c number of internal skipping 	: 0
3600.08/3607.66	c number of derivation steps 	: 0
3600.08/3607.66	c number of skipped derivation steps 	: 0
3600.08/3607.66	c number of remaining unassigned 	: 0
3600.08/3607.66	c number of remaining assigned 	: 0
3600.08/3607.66	c number of falsified literals weakened from reason	: 0
3600.08/3607.66	c number of falsified literals weakened from conflict	: 0
3600.08/3607.66	c time for arithmetic operations	: 0
3600.08/3607.66	c minimum degree of deleted constraints	: null
3600.08/3607.66	c maximum degree of deleted constraints	: null
3600.08/3607.66	c number of deleted constraints	: 0
3600.08/3607.66	c speed (assignments/second)	: 3482209.7122799857
3600.08/3607.67	c non guided choices	: 0
3600.27/3607.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 238856
3600.27/3607.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 26
3600.27/3607.79	s SATISFIABLE
3600.27/3607.80	c Found 1 solution(s)
3600.46/3607.80	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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 x10575 -x10576 -x10577 -x10578 -x10579 -x10580 x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 x10872 -x10873 -x10874 -x10875 -x10876 -x10877 x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 x11061 -x11062 -x11063 -x11064 -x11065 x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 x11392 -x11393 x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 x11418 -x11419 x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 x11432 -x11433 x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 x11446 -x11447 x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 x11502 -x11503 x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 x11638 -x11639 x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 x11902 -x11903 x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 x11956 -x11957 -x11958 x11959 -x11960 x11961 x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969 -x11970 -x11971 -x11972 -x11973 -x11974 -x11975 -x11976 -x11977 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 x12186 -x12187 -x12188 x12189 -x12190 x12191 x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 -x12245 -x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 x12255 x12256 -x12257 -x12258 x12259 x12260 x12261 x12262 -x12263 -x12264 -x12265 x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 x12286 -x12287 -x12288 -x12289 -x12290 -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 -x12339 -x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 x12374 -x12375 -x12376 -x12377 -x12378 -x12379 -x12380 x12381 -x12382 -x12383 -x12384 -x12385 -x12386 -x12387 -x12388 -x12389 -x12390 -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397 -x12398 -x12399 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412 -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 -x12424 -x12425 -x12426 -x12427 -x12428 -x12429 -x12430 -x12431 -x12432 -x12433 -x12434 -x12435 -x12436 -x12437 -x12438 -x12439 -x12440 -x12441 -x12442 -x12443 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 -x12454 -x12455 -x12456 -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12466 x12467 -x12468 -x12469 -x12470 -x12471 -x12472 -x12473 -x12474 -x12475 -x12476 x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487 -x12488 -x12489 -x12490 x12491 -x12492 x12493 -x12494 -x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12502 -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12514 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 -x12525 -x12526 -x12527 -x12528 -x12529 -x12530 -x12531 -x12532 -x12533 -x12534 -x12535 -x12536 -x12537 -x12538 x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547 -x12548 -x12549 -x12550 x12551 -x12552 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562 -x12563 -x12564 -x12565 -x12566 -x12567 -x12568 -x12569 -x12570 -x12571 -x12572 -x12573 -x12574 -x12575 -x12576 -x12577 -x12578 -x12579 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 -x12597 -x12598 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12606 -x12607 -x12608 -x12609 -x12610 -x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12622 -x12623 -x12624 -x12625 -x12626 -x12627 -x12628 -x12629 -x12630 -x12631 -x12632 -x12633 -x12634 x12635 x12636 -x12637 -x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12660 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12670 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12682 -x12683 -x12684 -x12685 -x12686 -x12687 -x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12694 -x12695 -x12696 -x12697 -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12706 x12707 -x12708 -x12709 -x12710 -x12711 -x12712 -x12713 x12714 -x12715 x12716 -x12717 -x12718 -x12719 -x12720 x12721 -x12722 x12723 -x12724 -x12725 -x12726 -x12727 x12728 -x12729 -x12730 -x12731 -x12732 -x12733 -x12734 x12735 -x12736 -x12737 -x12738 -x12739 -x12740 -x12741 -x12742 -x12743 -x12744 -x12745 -x12746 -x12747 -x12748 -x12749 -x12750 x12751 x12752 -x12753 -x12754 -x12755 -x12756 -x12757 x12758 -x12759 -x12760 -x12761 -x12762 -x12763 -x12764 x12765 -x12766 -x12767 -x12768 -x12769 -x12770 -x12771 -x12772 -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 -x12779 -x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787 -x12788 -x12789 -x12790 -x12791 -x12792 -x12793 -x12794 -x12795 -x12796 -x12797 -x12798 -x12799 x12800 -x12801 x12802 -x12803 -x12804 -x12805 -x12806 x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 x12814 -x12815 -x12816 -x12817 -x12818 -x12819 -x12820 -x12821 -x12822 -x12823 -x12824 -x12825 -x12826 -x12827 -x12828 -x12829 x12830 x12831 x12832 x12833 -x12834 -x12835 -x12836 -x12837 x12838 -x12839 -x12840 -x12841 -x12842 -x12843 -x12844 x12845 -x12846 -x12847 -x12848 -x12849 -x12850 -x12851 -x12852 -x12853 -x12854 -x12855 -x12856 -x12857 -x12858 -x12859 -x12860 -x12861 -x12862 -x12863 -x12864 -x12865 -x12866 -x12867 -x12868 -x12869 -x12870 x12871 x12872 -x12873 -x12874 -x12875 -x12876 -x12877 -x12878 -x12879 -x12880 -x12881 -x12882 -x12883 -x12884 -x12885 -x12886 -x12887 -x12888 -x12889 -x12890 -x12891 -x12892 -x12893 -x12894 -x12895 -x12896 -x12897 -x12898 -x12899 -x12900 -x12901 -x12902 -x12903 x12904 -x12905 -x12906 -x12907 -x12908 -x12909 -x12910 -x12911 -x12912 -x12913 -x12914 -x12915 -x12916 -x12917 -x12918 -x12919 -x12920 -x12921 -x12922 x12923 -x12924 -x12925 -x12926 -x12927 -x12928 -x12929 x12930 -x12931 -x12932 -x12933 -x12934 -x12935 
3600.46/3607.83	c objective function=24
3600.46/3607.83	c Total wall clock time (in seconds): 3607.46

OK	24

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: 63837 MiB (63230 MiB free)
  memory of node 1: 64465 MiB (63776 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=53605, runsolver pid=53595

[startup+0.100074 s]*
/proc/loadavg: 1.00 1.72 2.91 8/285 53646
/proc/meminfo: memFree=130044608/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=18930384 memory=47168 CPUtime=0.1 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 5657 0 0 0 7 3 0 0 20 0 18 0 56407740 19384713216 11792 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4732596 11792 5105 1 0 546875 0
[pid=53605/tid=53614] ppid=53595 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 4587 0 0 0 4 2 0 0 20 0 18 0 56407742 19384713216 11792 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=18930384 memory=15877 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56407748 19384713216 11792 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56407749 19384713216 11792 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47168 KiB

[startup+0.21844 s]*
/proc/loadavg: 1.00 1.72 2.91 9/300 53663
/proc/meminfo: memFree=130019772/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=18930384 memory=49856 CPUtime=0.27 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 6138 0 0 0 23 4 0 0 20 0 18 0 56407740 19384713216 12464 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4732596 12464 5329 1 0 547253 0
[pid=53605/tid=53614] ppid=53595 vsize=18930384 memory=4026712585 CPUtime=0.17 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 4975 0 0 0 15 2 0 0 20 0 18 0 56407742 19384713216 12464 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=18930384 memory=211342852430 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56407748 19384713216 12464 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=18930384 memory=52996524494393 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56407749 19384713216 12464 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49856 KiB

[startup+0.316117 s]*
/proc/loadavg: 1.00 1.72 2.91 10/300 53663
/proc/meminfo: memFree=130010572/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=18930384 memory=56016 CPUtime=0.41 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 6650 0 0 0 37 4 0 0 20 0 18 0 56407740 19384713216 14004 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4732596 14004 5329 1 0 547696 0
[pid=53605/tid=53614] ppid=53595 vsize=18930384 memory=-5926617737586555202 CPUtime=0.25 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 5123 0 0 0 22 3 0 0 20 0 18 0 56407742 19384713216 14004 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=18930384 memory=-6000919498526583146 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56407748 19384713216 14004 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56407749 19384713216 14004 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56016 KiB

[startup+0.700322 s]
/proc/loadavg: 1.80 1.88 2.96 11/313 53681
/proc/meminfo: memFree=129963768/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=18930384 memory=90520 CPUtime=1.1 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 8466 0 0 0 104 6 0 0 20 0 18 0 56407740 19384713216 22630 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4732596 22630 5425 1 0 548920 0
[pid=53605/tid=53614] ppid=53595 vsize=18930384 memory=18048 CPUtime=0.6 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 5310 0 0 0 56 4 0 0 20 0 18 0 56407742 19384713216 22630 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=18930384 memory=10496 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56407748 19384713216 22630 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=18930384 memory=2760 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56407749 19384713216 22630 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 90520 KiB

[startup+1.50051 s]
/proc/loadavg: 1.80 1.88 2.96 9/323 53691
/proc/meminfo: memFree=129747812/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=179080 CPUtime=2.67 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 18825 0 0 0 255 12 0 0 20 0 20 0 56407740 19521036288 44770 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 44770 5489 1 0 554035 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=2760 CPUtime=1.25 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 6483 0 0 0 118 7 0 0 20 0 20 0 56407742 19521036288 44770 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 44770 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 44770 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179080 KiB

[startup+3.10555 s]
/proc/loadavg: 1.80 1.88 2.96 9/329 53697
/proc/meminfo: memFree=129197996/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=187420 CPUtime=5.67 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 21343 0 0 0 554 13 0 0 20 0 20 0 56407740 19521036288 46855 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 46855 5489 1 0 554049 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=10496 CPUtime=2.79 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 6920 0 0 0 272 7 0 0 20 0 20 0 56407742 19521036288 46855 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 46855 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 46855 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 46855 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187420 KiB

[startup+6.30035 s]
/proc/loadavg: 2.06 1.93 2.97 7/331 53699
/proc/meminfo: memFree=129126760/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=186592 CPUtime=10.2 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 26657 0 0 0 1005 15 0 0 20 0 20 0 56407740 19521036288 46648 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 46648 5489 1 0 554674 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=0 CPUtime=5.95 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 7839 0 0 0 588 7 0 0 20 0 20 0 56407742 19521036288 46648 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 46648 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=-6000919485524306282 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 46648 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 46648 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186592 KiB

[startup+12.7003 s]
/proc/loadavg: 2.37 2.00 2.99 6/331 53699
/proc/meminfo: memFree=129035412/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=195096 CPUtime=17.24 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 29237 0 0 0 1707 17 0 0 20 0 20 0 56407740 19521036288 48774 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 48774 5521 1 0 554674 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=0 CPUtime=12.26 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 8027 0 0 0 1218 8 0 0 20 0 20 0 56407742 19521036288 48774 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 48774 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=-6000919485524306282 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 70 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 48774 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 48774 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 17.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195096 KiB

[startup+25.5004 s]
/proc/loadavg: 2.86 2.11 3.01 5/331 53699
/proc/meminfo: memFree=128406760/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=334496 CPUtime=30.02 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 31254 0 0 0 2981 21 0 0 20 0 20 0 56407740 19521036288 83624 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 83624 5521 1 0 554674 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=0 CPUtime=24.95 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 8729 0 0 0 2484 11 0 0 20 0 20 0 56407742 19521036288 83624 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 83624 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=14288 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 70 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 83624 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=234128 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 83624 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 30.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 334496 KiB

[startup+51.1133 s]
/proc/loadavg: 3.55 2.36 3.07 5/332 53701
/proc/meminfo: memFree=127826316/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=490212 CPUtime=55.56 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 32973 0 0 0 5527 29 0 0 20 0 20 0 56407740 19521036288 122553 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 122553 5521 1 0 554674 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=490212 CPUtime=50.42 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 9818 0 0 0 5025 17 0 0 20 0 20 0 56407742 19521036288 122553 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=486116 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 122553 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=334496 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 70 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 122553 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 122553 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0

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

[startup+3282.3 s]
/proc/loadavg: 4.23 4.33 4.23 5/331 53867
/proc/meminfo: memFree=113506484/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=2177924 CPUtime=3275.02 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 97739 0 0 0 326974 528 0 0 20 0 20 0 56407740 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 544481 5553 1 0 556557 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=2177924 CPUtime=3250.69 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 40012 0 0 0 324720 349 0 0 20 0 20 0 56407742 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 1612 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=2177924 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 3275.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177924 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.30 4.22 5/331 53869
/proc/meminfo: memFree=113243716/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=2177924 CPUtime=3334.96 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 98977 0 0 0 332958 538 0 0 20 0 20 0 56407740 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 544481 5553 1 0 556557 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=2177924 CPUtime=3310.18 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 40893 0 0 0 330662 356 0 0 20 0 20 0 56407742 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=-6000919485524306282 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 1650 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 3334.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.27 4.22 5/331 53871
/proc/meminfo: memFree=112987744/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=2177924 CPUtime=3394.94 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 99937 0 0 0 338946 548 0 0 20 0 20 0 56407740 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 544481 5553 1 0 556557 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=2177924 CPUtime=3369.71 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 41656 0 0 0 336608 363 0 0 20 0 20 0 56407742 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=2177924 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 1733 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=2177924 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 544481 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 3394.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2177924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.25 4.21 5/331 53873
/proc/meminfo: memFree=112838488/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=2180000 CPUtime=3454.93 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 99991 0 0 0 344934 559 0 0 20 0 20 0 56407740 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 545000 5553 1 0 556557 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=2177924 CPUtime=3429.21 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 41657 0 0 0 342550 371 0 0 20 0 20 0 56407742 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=16336 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=2180000 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 1733 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=2180000 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 3454.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.22 4.20 5/331 53875
/proc/meminfo: memFree=112722952/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=2180000 CPUtime=3514.79 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 100837 0 0 0 350910 569 0 0 20 0 20 0 56407740 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 545000 5553 1 0 556557 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=2180000 CPUtime=3488.89 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 42462 0 0 0 348512 377 0 0 20 0 20 0 56407742 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 1733 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=4571883278097346205 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 3514.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180000 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/330 53892
/proc/meminfo: memFree=112595124/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=2180000 CPUtime=3574.73 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 101768 0 0 0 356893 580 0 0 20 0 20 0 56407740 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 545000 5553 1 0 556557 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=18048 CPUtime=3548.37 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 43184 0 0 0 354452 385 0 0 20 0 20 0 56407742 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=16336 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 1774 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=1824624 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 3574.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.6 s]
/proc/loadavg: 4.10 4.19 4.19 5/331 53895
/proc/meminfo: memFree=112531388/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19063512 memory=2180000 CPUtime=3600.08 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 102430 0 0 0 359424 584 0 0 20 0 20 0 56407740 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4765878 545000 5553 1 0 556557 0
[pid=53605/tid=53614] ppid=53595 vsize=19063512 memory=1920 CPUtime=3573.5 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 43647 0 0 0 356963 387 0 0 20 0 20 0 56407742 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19063512 memory=5888 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56407748 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19063512 memory=16336 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 20 0 56407749 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53694] ppid=53595 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/53605/task/53694/stat : 53694 (Timer-0) S 53595 53605 53552 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56407853 19521036288 545000 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180000 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.69 s, system=5.88354 s

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

[startup+3607.8 s]
/proc/loadavg: 4.10 4.19 4.19 5/331 53895
/proc/meminfo: memFree=112531388/131382120 swapFree=33010160/33010684
[pid=53605] ppid=53595 vsize=19263204 memory=2181024 CPUtime=3600.46 cores=0,2
/proc/53605/stat : 53605 (java) S 53595 53605 53552 0 -1 4194304 104529 0 0 0 359461 585 0 0 20 0 21 0 56407740 19725520896 545256 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
/proc/53605/statm: 4815801 545256 5585 1 0 557508 0
[pid=53605/tid=53614] ppid=53595 vsize=19263204 memory=5504 CPUtime=3573.68 cores=0,2
/proc/53605/task/53614/stat : 53614 (java) R 53595 53605 53552 0 -1 4194368 43786 0 0 0 356981 387 0 0 20 0 21 0 56407742 19725520896 545256 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53635] ppid=53595 vsize=19263204 memory=5276 CPUtime=0 cores=0,2
/proc/53605/task/53635/stat : 53635 (Finalizer) S 53595 53605 53552 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56407748 19725520896 545256 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
[pid=53605/tid=53646] ppid=53595 vsize=19263204 memory=-6000919485524306282 CPUtime=0 cores=0,2
/proc/53605/task/53646/stat : 53646 (Common-Cleaner) S 53595 53605 53552 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 21 0 56407749 19725520896 545256 18446744073709551615 94091407241216 94091407244912 140731796561776 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94091407252728 94091407253520 94091411013632 140731796568368 140731796568550 140731796568550 140731796574152 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2181024 KiB

Child status: 143

Real time (s): 3607.92
CPU time (s): 3600.57
CPU user time (s): 3594.69
CPU system time (s): 5.88354
CPU usage (%): 99.7963
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2181024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.69
system time used= 5.88354
maximum resident set size= 2181152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104866
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6187240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111264
involuntary context switches= 11202


# summary of solver processes directly reported to runsolver:
#   pid: 53605
#   total CPU time (s): 3600.57
#   total CPU user time (s): 3594.69
#   total CPU system time (s): 5.88354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3462 second user time and 37.2786 second system time

The end

Begin job on nodeC008 at 2025-07-02 00:01:26
IDJOB=4497523
IDBENCH=148187
IDSOLVER=3364
FILE ID=nodeC008/4497523-1751407286
RUNJOBID= nodeC008-1751407286-53562
SLURM_JOB_ID= 9598302
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497523-1751407286/watcher-4497523-1751407286 -o /tmp/evaluation-result-4497523-1751407286/solver-4497523-1751407286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751407286-53562 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497523-1751407286 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497523-1751407286.opb

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

MD5SUM BENCH= e3f6e03fc0c8fc921c0242da7dc19bcf
RANDOM SEED=1003940145

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.168
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.204
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.189
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.205
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.211
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.178
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.707
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.212
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130042832 kB
MemAvailable:   129865268 kB
Buffers:            2144 kB
Cached:           631576 kB
SwapCached:           16 kB
Active:           307868 kB
Inactive:         413216 kB
Active(anon):      68656 kB
Inactive(anon):    36628 kB
Active(file):     239212 kB
Inactive(file):   376588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11344 kB
Writeback:             0 kB
AnonPages:         88540 kB
Mapped:           103492 kB
Shmem:             17920 kB
KReclaimable:      92524 kB
Slab:             175272 kB
SReclaimable:      92524 kB
SUnreclaim:        82748 kB
KernelStack:        3952 kB
PageTables:         2800 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     348788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149320 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC008 at 2025-07-02 01:01:34