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