0.13/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.16	c See www.sat4j.org for details.
0.13/0.17	c version CUSTOM.v20240707
0.13/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.20	c java.vm.version	22.0.1+8-16
0.13/0.20	c java.vm.vendor	Oracle Corporation
0.13/0.20	c sun.arch.data.model	64
0.13/0.20	c java.version		22.0.1
0.13/0.20	c os.name		Linux
0.13/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.20	c os.arch		amd64
0.13/0.21	c Free memory 		2113181440
0.13/0.21	c Max memory 		16282288128
0.13/0.21	c Total memory 		2122317824
0.30/0.22	c Number of processors 	2
0.30/0.30	--- Begin Solver configuration ---
0.30/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.30	Learn all clauses as in MiniSAT
0.30/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.30	No reason simplification
0.30/0.30	Glucose 2.1 dynamic restart strategy
0.30/0.30	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.30/0.30	timeout=2147483s
0.30/0.30	DB Simplification allowed=false
0.30/0.30	Listener: none
0.30/0.30	--- End Solver configuration ---
0.30/0.33	c Pseudo Boolean Optimization by upper bound
0.30/0.33	c --- Begin Solver configuration ---
0.30/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.33	c Learn all clauses as in MiniSAT
0.30/0.33	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.33	c No reason simplification
0.30/0.33	c Glucose 2.1 dynamic restart strategy
0.30/0.33	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.30/0.33	c timeout=2147483s
0.30/0.33	c DB Simplification allowed=false
0.30/0.33	c Listener: none
0.30/0.33	c --- End Solver configuration ---
0.30/0.33	c solving HOME/instance-4424847-1720881315.wbo
0.30/0.33	c reading problem ... 
0.86/0.56	c ... done. Wall clock time 0.245s.
0.86/0.57	c declared #vars     10500
0.86/0.57	c internal #vars     10632
0.86/0.57	c #constraints  206
0.86/0.57	c constraints type 
0.86/0.57	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 35
0.86/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 65
0.86/0.57	c org.sat4j.specs.Constr$1 => 1
0.86/0.57	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 105
0.86/0.57	c 206 constraints processed.
0.86/0.60	c objective function length is 132 literals
3.48/2.23	c cleaning 2497 clauses out of 5000 with flag 30352/5000
5.74/4.25	c cleaning 4240 clauses out of 8504 with flag 66802/11001
9.04/7.08	c cleaning 5628 clauses out of 11263 with flag 119664/18000
13.27/10.82	c cleaning 6811 clauses out of 13636 with flag 174327/26001
18.11/15.32	c cleaning 7904 clauses out of 15824 with flag 232941/35000
23.87/20.93	c cleaning 8956 clauses out of 17920 with flag 295600/45000
31.25/28.10	c cleaning 9977 clauses out of 19964 with flag 360264/56000
39.71/36.15	c cleaning 10985 clauses out of 21988 with flag 439176/68001
49.23/45.55	c cleaning 12000 clauses out of 24003 with flag 541695/81001
59.85/55.86	c cleaning 12992 clauses out of 26002 with flag 648655/95000
70.35/66.28	c cleaning 13994 clauses out of 28010 with flag 763069/110000
87.00/82.64	c cleaning 15003 clauses out of 30017 with flag 892800/126001
105.00/99.52	c cleaning 16001 clauses out of 32013 with flag 1028943/143000
122.39/116.50	c cleaning 16997 clauses out of 34012 with flag 1180996/161000
143.58/137.41	c cleaning 17997 clauses out of 36016 with flag 1332685/180001
167.34/160.82	c cleaning 19001 clauses out of 38019 with flag 1494342/200001
192.41/185.59	c cleaning 19999 clauses out of 40019 with flag 1670764/221002
220.21/212.34	c cleaning 21002 clauses out of 42018 with flag 1840942/243000
253.80/245.60	c cleaning 21998 clauses out of 44018 with flag 2048943/266002
286.28/277.64	c cleaning 23000 clauses out of 46018 with flag 2267355/290000
321.31/312.19	c cleaning 24003 clauses out of 48022 with flag 2490100/315004
358.20/347.83	c cleaning 25002 clauses out of 50015 with flag 2716145/341000
391.65/380.76	c cleaning 25999 clauses out of 52014 with flag 2927108/368001
431.97/420.52	c cleaning 27001 clauses out of 54014 with flag 3167795/396000
468.19/456.26	c cleaning 27999 clauses out of 56013 with flag 3404270/425000
513.90/501.45	c cleaning 29003 clauses out of 58014 with flag 3659332/455000
563.77/549.57	c cleaning 29999 clauses out of 60014 with flag 3914857/486003
615.45/600.88	c cleaning 30997 clauses out of 62012 with flag 4182125/518000
675.78/660.53	c cleaning 31997 clauses out of 64015 with flag 4458379/551000
734.82/719.14	c cleaning 33001 clauses out of 66018 with flag 4736366/585000
794.99/778.78	c cleaning 34001 clauses out of 68017 with flag 5046422/620000
853.35/836.43	c cleaning 35002 clauses out of 70017 with flag 5364543/656001
915.80/896.67	c cleaning 35999 clauses out of 72015 with flag 5693331/693001
979.26/959.59	c cleaning 37001 clauses out of 74015 with flag 6030035/731000
1038.22/1018.08	c cleaning 37996 clauses out of 76014 with flag 6349631/770000
1105.59/1084.50	c cleaning 39004 clauses out of 78020 with flag 6680921/810002
1181.19/1159.57	c cleaning 40002 clauses out of 80015 with flag 7015735/851001
1256.56/1234.05	c cleaning 40999 clauses out of 82012 with flag 7349381/893000
1333.71/1310.20	c cleaning 42000 clauses out of 84013 with flag 7684470/936000
1417.63/1393.52	c cleaning 42996 clauses out of 86013 with flag 8071516/980000
1488.22/1461.88	c cleaning 44000 clauses out of 88017 with flag 8456813/1025000
1576.59/1549.62	c cleaning 45001 clauses out of 90018 with flag 8864791/1071001
1667.09/1639.38	c cleaning 45998 clauses out of 92016 with flag 9292599/1118000
1761.05/1732.54	c cleaning 46996 clauses out of 94019 with flag 9735414/1166001
1852.45/1822.54	c cleaning 48007 clauses out of 96023 with flag 10186166/1215001
1944.05/1913.45	c cleaning 49002 clauses out of 98016 with flag 10645874/1265001
2051.98/2020.89	c cleaning 49998 clauses out of 100013 with flag 11075086/1316000
2077.10/2045.63	c SATISFIABLE
2077.10/2045.63	c OPTIMIZING...
2077.10/2045.63	c Got one! Elapsed wall clock time (in seconds):2045.315
2077.10/2045.64	o 123
2077.24/2045.76	c Got one! Elapsed wall clock time (in seconds):2045.449
2077.24/2045.76	o 87
2085.91/2053.91	c cleaning 35554 clauses out of 71129 with flag 47881/1337114
2091.97/2059.66	c cleaning 20780 clauses out of 41576 with flag 102604/1343115
2096.10/2063.62	c cleaning 13886 clauses out of 27796 with flag 167464/1350115
2099.89/2067.40	c cleaning 10948 clauses out of 21910 with flag 248070/1358115
2104.17/2071.51	c cleaning 9970 clauses out of 19961 with flag 339326/1367114
2108.95/2076.31	c cleaning 9987 clauses out of 19991 with flag 447773/1377114
2114.05/2081.44	c cleaning 10495 clauses out of 21008 with flag 562327/1388118
2121.04/2088.35	c cleaning 11250 clauses out of 22511 with flag 681738/1400116
2127.63/2094.91	c cleaning 12122 clauses out of 24260 with flag 820086/1413115
2137.80/2105.05	c cleaning 13061 clauses out of 26137 with flag 956421/1427114
2150.44/2117.42	c cleaning 14033 clauses out of 28079 with flag 1089970/1442117
2164.41/2131.42	c cleaning 15016 clauses out of 30043 with flag 1236782/1458114
2178.13/2145.06	c cleaning 16001 clauses out of 32028 with flag 1391376/1475115
2195.57/2162.23	c cleaning 17007 clauses out of 34028 with flag 1546594/1493116
2215.45/2182.18	c cleaning 18000 clauses out of 36020 with flag 1719529/1512115
2235.58/2202.27	c cleaning 19003 clauses out of 38019 with flag 1907434/1532114
2257.45/2223.90	c cleaning 20003 clauses out of 40017 with flag 2102098/1553115
2280.94/2247.21	c cleaning 21001 clauses out of 42016 with flag 2301875/1575117
2308.62/2274.50	c cleaning 21999 clauses out of 44014 with flag 2520626/1598116
2336.16/2301.78	c cleaning 22999 clauses out of 46015 with flag 2745080/1622116
2366.34/2331.65	c cleaning 24000 clauses out of 48014 with flag 2991046/1647114
2404.63/2369.67	c cleaning 25001 clauses out of 50017 with flag 3296208/1673117
2439.15/2404.00	c cleaning 25999 clauses out of 52015 with flag 3585274/1700116
2481.88/2445.86	c cleaning 26997 clauses out of 54014 with flag 3889759/1728114
2524.94/2488.22	c cleaning 27998 clauses out of 56017 with flag 4208008/1757114
2573.03/2535.94	c cleaning 29003 clauses out of 58021 with flag 4518962/1787116
2630.70/2593.36	c cleaning 30001 clauses out of 60016 with flag 4792508/1818114
2680.12/2642.61	c cleaning 30997 clauses out of 62017 with flag 5092180/1850116
2736.47/2698.41	c cleaning 32003 clauses out of 64018 with flag 5427380/1883114
2793.63/2755.58	c cleaning 32996 clauses out of 66016 with flag 5806532/1917115
2851.61/2812.72	c cleaning 34002 clauses out of 68019 with flag 6159363/1952114
2928.11/2888.97	c cleaning 34996 clauses out of 70017 with flag 6551496/1988114
3000.03/2960.29	c cleaning 36005 clauses out of 72021 with flag 6934505/2025114
3083.65/3043.95	c cleaning 36995 clauses out of 74016 with flag 7320914/2063114
3149.63/3109.39	c cleaning 38000 clauses out of 76022 with flag 7684704/2102115
3214.84/3174.22	c cleaning 39004 clauses out of 78021 with flag 8048588/2142114
3284.47/3243.12	c cleaning 40000 clauses out of 80017 with flag 8408906/2183114
3361.05/3318.96	c cleaning 41000 clauses out of 82019 with flag 8777144/2225116
3434.92/3392.44	c cleaning 42000 clauses out of 84017 with flag 9169730/2268114
3520.38/3477.33	c cleaning 42999 clauses out of 86019 with flag 9582618/2312116
3600.00/3556.22	c starts		: 5
3600.00/3556.24	c conflicts		: 2354178
3600.00/3556.26	c decisions		: 2621364
3600.00/3556.26	c propagations		: 34697241
3600.00/3556.26	c inspects		: 10068091600
3600.00/3556.26	c shortcuts		: 0
3600.00/3556.26	c learnt literals	: 0
3600.00/3556.26	c learnt binary clauses	: 0
3600.00/3556.26	c learnt ternary clauses	: 0
3600.00/3556.26	c learnt constraints	: 2354178
3600.00/3556.26	c ignored constraints	: 0
3600.00/3556.26	c root simplifications	: 0
3600.00/3556.26	c removed literals (reason simplification)	: 0
3600.00/3556.26	c reason swapping (by a shorter reason)	: 0
3600.00/3556.26	c Calls to reduceDB	: 87
3600.00/3556.26	c Number of update (reduction) of LBD	: 1058477
3600.00/3556.26	c Imported unit clauses	: 0
3600.00/3556.26	c No decision after first conflict	: false
3600.00/3556.26	c number of reductions to clauses (during analyze)	: 0
3600.00/3556.26	c number of learned constraints concerned by reduction	: 0
3600.00/3556.26	c number of learning phase by resolution	: 0
3600.00/3556.26	c number of learning phase by cutting planes	: 0
3600.00/3556.26	c number of rounding to 1 operations	: 0
3600.00/3556.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3556.26	c number of reductions of the coefficients by power 2 	: 0
3600.00/3556.26	c number of right shift for reduction by power 2 	: 0
3600.00/3556.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3556.26	c number of ending skipping 	: 0
3600.00/3556.26	c number of internal skipping 	: 0
3600.00/3556.27	c number of derivation steps 	: 0
3600.00/3556.27	c number of skipped derivation steps 	: 0
3600.00/3556.27	c number of remaining unassigned 	: 0
3600.00/3556.27	c number of remaining assigned 	: 0
3600.00/3556.27	c number of falsified literals weakened from reason	: 0
3600.00/3556.27	c number of falsified literals weakened from conflict	: 0
3600.00/3556.27	c time for arithmetic operations	: 0
3600.00/3556.27	c minimum degree of deleted constraints	: null
3600.00/3556.29	c maximum degree of deleted constraints	: null
3600.00/3556.29	c number of deleted constraints	: 0
3600.00/3556.29	c speed (assignments/second)	: 9758.334336431124
3600.00/3556.29	c non guided choices	: 27380
3600.40/3556.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 85082
3600.40/3556.42	s SATISFIABLE
3600.40/3556.42	c Found 2 solution(s)
3600.40/3556.45	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 
3600.40/3556.48	c objective function=87
3600.40/3556.48	c Total wall clock time (in seconds): 3556.168

OK	87

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424847-1720881315/watcher-4424847-1720881315 -o /tmp/evaluation-result-4424847-1720881315/solver-4424847-1720881315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720881328-701584 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424847-1720881315.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=701628, runsolver pid=701625

[startup+0.101026 s]*
/proc/loadavg: 2.32 2.18 2.17 12/299 701702
/proc/meminfo: memFree=129933176/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=18975048 memory=58040 CPUtime=0.13 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 6405 0 0 0 10 3 0 0 20 0 18 0 140287692 19430449152 14510 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4743762 14510 5707 1 0 550829 0
[pid=701628/tid=701631] ppid=701625 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 5349 0 0 0 6 2 0 0 20 0 18 0 140287692 19430449152 14510 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140287698 19430449152 14510 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=18975048 memory=15822213697771138 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287699 19430449152 14510 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58040 KiB

[startup+0.215547 s]*
/proc/loadavg: 2.32 2.18 2.17 12/310 701713
/proc/meminfo: memFree=129899688/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=18975048 memory=62612 CPUtime=0.3 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 7031 0 0 0 26 4 0 0 20 0 18 0 140287692 19430449152 15653 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4743762 15653 5715 1 0 551373 0
[pid=701628/tid=701631] ppid=701625 vsize=18975048 memory=8737651120394928259 CPUtime=0.19 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 5636 0 0 0 16 3 0 0 20 0 18 0 140287692 19430449152 15653 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140287698 19430449152 16165 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=18975048 memory=15822213697771138 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287699 19430449152 16165 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62612 KiB

[startup+0.318768 s]*
/proc/loadavg: 2.32 2.18 2.17 14/311 701714
/proc/meminfo: memFree=129879012/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=18975048 memory=67680 CPUtime=0.47 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 7317 0 0 0 43 4 0 0 20 0 18 0 140287692 19430449152 16920 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4743762 16920 5730 1 0 551571 0
[pid=701628/tid=701631] ppid=701625 vsize=18975048 memory=-8743567614138557116 CPUtime=0.28 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 5828 0 0 0 25 3 0 0 20 0 18 0 140287692 19430449152 16920 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140287698 19430449152 16920 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287699 19430449152 16920 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67680 KiB

[startup+0.700751 s]
/proc/loadavg: 2.32 2.18 2.17 13/311 701714
/proc/meminfo: memFree=129831048/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19041612 memory=94224 CPUtime=1.16 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 9184 0 0 0 110 6 0 0 20 0 19 0 140287692 19498610688 23556 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4760403 23556 5869 1 0 553097 0
[pid=701628/tid=701631] ppid=701625 vsize=19041612 memory=5616 CPUtime=0.6 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 5975 0 0 0 56 4 0 0 20 0 19 0 140287692 19498610688 23556 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140287698 19498610688 23556 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19041612 memory=39916 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140287699 19498610688 23556 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94224 KiB

[startup+1.50033 s]
/proc/loadavg: 2.32 2.18 2.17 9/314 701717
/proc/meminfo: memFree=129767524/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19041612 memory=126584 CPUtime=2.71 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 11972 0 0 0 263 8 0 0 20 0 19 0 140287692 19498610688 31646 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4760403 31646 5884 1 0 553768 0
[pid=701628/tid=701631] ppid=701625 vsize=19041612 memory=11884 CPUtime=1.37 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 6171 0 0 0 132 5 0 0 20 0 19 0 140287692 19498610688 31646 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19041612 memory=39916 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140287698 19498610688 31646 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140287699 19498610688 31646 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19041612 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140287754 19498610688 31646 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 126584 KiB

[startup+3.11335 s]
/proc/loadavg: 2.32 2.18 2.17 8/318 701721
/proc/meminfo: memFree=129355956/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=196800 CPUtime=4.56 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 14477 0 0 0 445 11 0 0 20 0 20 0 140287692 19566772224 49200 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 49200 5916 1 0 554098 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=0 CPUtime=2.93 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 7492 0 0 0 287 6 0 0 20 0 20 0 140287692 19566772224 49200 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 49200 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=39916 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 49200 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=96744 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 49200 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196800 KiB

[startup+6.30046 s]
/proc/loadavg: 2.53 2.23 2.18 6/318 701721
/proc/meminfo: memFree=128850480/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=360556 CPUtime=8.32 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 16213 0 0 0 817 15 0 0 20 0 20 0 140287692 19566772224 90139 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 90139 5932 1 0 554342 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=11884 CPUtime=5.77 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 7518 0 0 0 571 6 0 0 20 0 20 0 140287692 19566772224 90139 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=-8816751108083327676 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 90139 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=7883673663489925460 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 90139 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 90139 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 8.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 360556 KiB

[startup+12.7004 s]
/proc/loadavg: 2.65 2.26 2.19 6/318 701725
/proc/meminfo: memFree=128345472/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=602668 CPUtime=15.52 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 24340 0 0 0 1529 23 0 0 20 0 20 0 140287692 19566772224 150667 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 150667 5960 1 0 926810 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=11580 CPUtime=11.78 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 8440 0 0 0 1172 6 0 0 20 0 20 0 140287692 19566772224 150667 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=523344 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 150667 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 150667 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=-8816751108083327676 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 150667 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 15.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 602668 KiB

[startup+25.5005 s]
/proc/loadavg: 2.95 2.34 2.22 6/318 701726
/proc/meminfo: memFree=126672208/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=1050076 CPUtime=28.74 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 28838 0 0 0 2842 32 0 0 20 0 20 0 140287692 19566772224 262519 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 262519 5960 1 0 926821 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=0 CPUtime=24.19 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 9455 0 0 0 2410 9 0 0 20 0 20 0 140287692 19566772224 262519 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=910644 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 262519 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 262519 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=-8816751108083327676 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 262519 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 28.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1050076 KiB

[startup+51.1057 s]
/proc/loadavg: 3.50 2.52 2.29 6/318 701731
/proc/meminfo: memFree=123859700/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=1621756 CPUtime=54.98 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 32943 0 0 0 5452 46 0 0 20 0 20 0 140287692 19566772224 405439 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 405439 5960 1 0 926821 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=1621756 CPUtime=48.86 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 10812 0 0 0 4877 9 0 0 20 0 20 0 140287692 19566772224 405439 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=-8816751108083327676 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 405439 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 405439 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=1484460 CPUtime=0 cores=5,7

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

/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 96506 0 0 0 317071 58 0 0 20 0 20 0 140287692 19566772224 2522662 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=10090636 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 2522662 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=10090648 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 2102 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 2522662 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=10090648 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 2522662 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 3263.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10090648 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.22 4.23 6/320 703433
/proc/meminfo: memFree=89579444/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=10090684 CPUtime=3323.99 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 256953 0 0 0 331942 457 0 0 20 0 20 0 140287692 19566772224 2522671 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 2522671 5960 1 0 2692485 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=10090672 CPUtime=3230.14 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 97119 0 0 0 322956 58 0 0 20 0 20 0 140287692 19566772224 2522671 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 2522671 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=10090684 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 2102 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 2522671 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=5636 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 2522671 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 3323.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10090684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.25 4.24 6/319 703499
/proc/meminfo: memFree=89575076/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=10094792 CPUtime=3384.4 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 258684 0 0 0 337979 461 0 0 20 0 20 0 140287692 19566772224 2523698 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 2523698 5960 1 0 2692485 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=10094792 CPUtime=3289.45 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 98415 0 0 0 328886 59 0 0 20 0 20 0 140287692 19566772224 2523698 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=2548 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 2523698 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=10094792 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 2191 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 2523698 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 2523698 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 3384.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10094792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.23 4.24 6/319 703509
/proc/meminfo: memFree=89562236/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=10107136 CPUtime=3445.01 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 262111 0 0 0 344035 466 0 0 20 0 20 0 140287692 19566772224 2526784 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 2526784 5960 1 0 2692485 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=10094792 CPUtime=3348.58 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 99576 0 0 0 334799 59 0 0 20 0 20 0 140287692 19566772224 2526784 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=10105084 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 2526784 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=10094792 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 2202 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 2526784 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 2526784 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 3445.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10107136 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.23 4.24 6/319 703520
/proc/meminfo: memFree=89557580/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=10111232 CPUtime=3505.42 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 263363 0 0 0 350072 470 0 0 20 0 20 0 140287692 19566772224 2527808 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 2527808 5960 1 0 2692485 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=11580 CPUtime=3407.89 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 100585 0 0 0 340730 59 0 0 20 0 20 0 140287692 19566772224 2527808 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=10111232 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 2527808 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 2202 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 2527808 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 2527808 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 3505.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10111232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.19 4.22 6/318 703530
/proc/meminfo: memFree=89550240/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=10113280 CPUtime=3565.64 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 264262 0 0 0 356091 473 0 0 20 0 20 0 140287692 19566772224 2528320 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 2528320 5960 1 0 2692485 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=10113280 CPUtime=3467.38 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 101346 0 0 0 346679 59 0 0 20 0 20 0 140287692 19566772224 2528320 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 2528320 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=10113280 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 2202 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 2528320 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=10113280 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 2528320 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 3565.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10113280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3556.2 s]
/proc/loadavg: 4.06 4.18 4.21 3/266 703604
/proc/meminfo: memFree=109838384/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19108176 memory=10230024 CPUtime=3600 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 267120 0 0 0 359523 477 0 0 20 0 20 0 140287692 19566772224 2557506 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4777044 2557506 5960 1 0 2692485 0
[pid=701628/tid=701631] ppid=701625 vsize=19108176 memory=13884 CPUtime=3500.64 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 102066 0 0 0 350004 60 0 0 20 0 20 0 140287692 19566772224 2557506 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19108176 memory=11268 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287698 19566772224 2557506 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19108176 memory=11268 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 2202 0 0 0 0 0 0 0 20 0 20 0 140287699 19566772224 2557506 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701716] ppid=701625 vsize=19108176 memory=11268 CPUtime=0 cores=5,7
/proc/701628/task/701716/stat : 701716 (Timer-0) S 701625 701628 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287754 19566772224 2557506 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10230024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.79 s, system=4.80881 s

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

[startup+3556.4 s]
/proc/loadavg: 4.06 4.18 4.21 3/266 703604
/proc/meminfo: memFree=109838384/131655788 swapFree=131071996/131071996
[pid=701628] ppid=701625 vsize=19307868 memory=10230720 CPUtime=3600.4 cores=5,7
/proc/701628/stat : 701628 (java) S 701625 701628 697245 0 -1 1077936128 269949 0 0 0 359562 478 0 0 20 0 21 0 140287692 19771256832 2557680 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
/proc/701628/statm: 4826967 2557680 5959 1 0 2693388 0
[pid=701628/tid=701631] ppid=701625 vsize=19307868 memory=-8816751108083327676 CPUtime=3500.84 cores=5,7
/proc/701628/task/701631/stat : 701631 (java) R 701625 701628 697245 0 -1 4194368 102237 0 0 0 350024 60 0 0 20 0 21 0 140287692 19771256832 2557680 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701679] ppid=701625 vsize=19307868 memory=35176 CPUtime=0 cores=5,7
/proc/701628/task/701679/stat : 701679 (Finalizer) S 701625 701628 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140287698 19771256832 2557680 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
[pid=701628/tid=701686] ppid=701625 vsize=19307868 memory=11884 CPUtime=0 cores=5,7
/proc/701628/task/701686/stat : 701686 (Common-Cleaner) S 701625 701628 697245 0 -1 1077936192 2202 0 0 0 0 0 0 0 20 0 21 0 140287699 19771256832 2557680 134679101440 94516374454272 94516374457968 140722438106912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94516374465784 94516374466576 94516379209728 140722438108141 140722438108231 140722438108231 140722438115272 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10230720 KiB

[startup+3556.5 s]*
/proc/loadavg: 4.06 4.18 4.21 3/248 703607
/proc/meminfo: memFree=111104244/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3556.52
CPU time (s): 3600.6
CPU user time (s): 3595.79
CPU system time (s): 4.80881
CPU usage (%): 101.239
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10230720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.79
system time used= 4.80881
maximum resident set size= 10231700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110805
involuntary context switches= 7778


# summary of solver processes directly reported to runsolver:
#   pid: 701628
#   total CPU time (s): 3600.6
#   total CPU user time (s): 3595.79
#   total CPU system time (s): 4.80881

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0624 second user time and 34.4111 second system time

The end

Begin job on nodeC003 at 2024-07-13 16:35:28
IDJOB=4424847
IDBENCH=143505
IDSOLVER=3037
FILE ID=nodeC003/4424847-1720881315
RUNJOBID= nodeC003-1720881328-701584
SLURM_JOB_ID= 7483751
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424847-1720881315/watcher-4424847-1720881315 -o /tmp/evaluation-result-4424847-1720881315/solver-4424847-1720881315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720881328-701584 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424847-1720881315.wbo

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

MD5SUM BENCH= 75ee7f9a14b4a98582c10eea27279857
RANDOM SEED=1685345008

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130072220 kB
MemAvailable:   129969452 kB
Buffers:          324840 kB
Cached:           422224 kB
SwapCached:            0 kB
Active:           475876 kB
Inactive:         613336 kB
Active(anon):       1356 kB
Inactive(anon):   378856 kB
Active(file):     474520 kB
Inactive(file):   234480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1824 kB
Writeback:             8 kB
AnonPages:        342584 kB
Mapped:           101668 kB
Shmem:             37704 kB
KReclaimable:      56524 kB
Slab:             145692 kB
SReclaimable:      56524 kB
SUnreclaim:        89168 kB
KernelStack:        3648 kB
PageTables:         9696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     669008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:     8087552 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-13 17:34:45