Trace number 4427341

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12SAT (TO)13161517 3600.35 3600.37

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM6ea30ee5c980a208725b42ec6ced88d1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4372480
Best CPU time to get the best result obtained on this benchmark2892.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1599918681646
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1599918681646
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.18/1.24	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.18/1.24	c This is free software under the dual EPL/GNU LGPL licenses.
0.18/1.24	c See www.sat4j.org for details.
0.26/1.32	c version CUSTOM.v20240707
0.26/1.35	c java.runtime.name	OpenJDK Runtime Environment
0.26/1.35	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/1.35	c java.vm.version	22.0.1+8-16
0.26/1.35	c java.vm.vendor	Oracle Corporation
0.26/1.35	c sun.arch.data.model	64
0.26/1.35	c java.version		22.0.1
0.26/1.35	c os.name		Linux
0.26/1.35	c os.version		4.18.0-301.1.el8.x86_64
0.26/1.35	c os.arch		amd64
0.26/1.36	c Free memory 		2115194816
0.26/1.36	c Max memory 		16282288128
0.26/1.36	c Total memory 		2122317824
0.26/1.37	c Number of processors 	2
0.55/1.54	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.55/1.54	 - never skip resolution steps
0.55/1.54	 - Auto-division on coefficients is disabled
0.55/1.54	 - No postprocessing
0.55/1.54	 - Conflict is considered as is when resolving
0.55/1.54	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.55/1.54	 - Weaken first using unassigned literals
0.55/1.54	 - Bump strategy: ALWAYS_ONE
0.55/1.54	 - Bumper: ASSIGNED
0.55/1.54	--- Begin Solver configuration ---
0.55/1.54	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.55/1.54	Learn all clauses as in MiniSAT
0.55/1.54	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.55/1.54	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.55/1.54	No reason simplification
0.55/1.54	Armin Biere (Picosat) restarts strategy
0.55/1.54	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.55/1.54	timeout=2147483s
0.55/1.54	DB Simplification allowed=false
0.55/1.54	Listener: none
0.55/1.54	--- End Solver configuration ---
0.55/1.55	c Pseudo Boolean Optimization by upper bound
0.55/1.55	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.55/1.55	c  - never skip resolution steps
0.55/1.55	c  - Auto-division on coefficients is disabled
0.55/1.55	c  - No postprocessing
0.55/1.55	c  - Conflict is considered as is when resolving
0.55/1.55	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.55/1.55	c  - Weaken first using unassigned literals
0.55/1.55	c  - Bump strategy: ALWAYS_ONE
0.55/1.55	c  - Bumper: ASSIGNED
0.55/1.55	c --- Begin Solver configuration ---
0.55/1.55	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.55/1.55	c Learn all clauses as in MiniSAT
0.55/1.55	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.55/1.55	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.55/1.55	c No reason simplification
0.55/1.55	c Armin Biere (Picosat) restarts strategy
0.55/1.55	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.55/1.55	c timeout=2147483s
0.55/1.55	c DB Simplification allowed=false
0.55/1.55	c Listener: none
0.55/1.55	c --- End Solver configuration ---
0.55/1.55	c solving HOME/instance-4427341-1720994535.opb
0.55/1.55	c reading problem ... 
0.55/1.55	c  objective function found
1.34/1.96	c ... done. Wall clock time 0.403s.
1.34/1.96	c declared #vars     8060
1.34/1.96	c #constraints  332
1.34/1.96	c constraints type 
1.34/1.96	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 332
1.34/1.96	c 332 constraints processed.
1.34/1.99	c objective function length is 8060 literals
68.92/66.75	c SATISFIABLE
68.92/66.75	c OPTIMIZING...
68.92/66.75	c Got one! Elapsed wall clock time (in seconds):65.199
68.92/66.76	o 13161517
3397.65/3397.62	c cleaning 2606 clauses out of 5212 with flag 0/5212
3600.06/3600.22	c starts		: 2
3600.06/3600.25	c conflicts		: 5515
3600.06/3600.25	c decisions		: 709726
3600.06/3600.25	c propagations		: 1930106
3600.06/3600.25	c inspects		: 534949470
3600.06/3600.25	c shortcuts		: 0
3600.06/3600.25	c learnt literals	: 0
3600.06/3600.25	c learnt binary clauses	: 0
3600.06/3600.25	c learnt ternary clauses	: 0
3600.06/3600.25	c learnt constraints	: 5515
3600.06/3600.25	c ignored constraints	: 0
3600.06/3600.25	c root simplifications	: 0
3600.06/3600.25	c removed literals (reason simplification)	: 0
3600.06/3600.25	c reason swapping (by a shorter reason)	: 0
3600.06/3600.25	c Calls to reduceDB	: 1
3600.06/3600.25	c Number of update (reduction) of LBD	: 0
3600.06/3600.26	c Imported unit clauses	: 0
3600.06/3600.26	c No decision after first conflict	: false
3600.06/3600.26	c number of reductions to clauses (during analyze)	: 0
3600.06/3600.26	c number of learned constraints concerned by reduction	: 0
3600.06/3600.26	c number of learning phase by resolution	: 0
3600.06/3600.26	c number of learning phase by cutting planes	: 0
3600.06/3600.26	c number of rounding to 1 operations	: 15132
3600.06/3600.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3600.26	c number of reductions of the coefficients by power 2 	: 0
3600.06/3600.26	c number of right shift for reduction by power 2 	: 0
3600.06/3600.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3600.26	c number of ending skipping 	: 0
3600.06/3600.26	c number of internal skipping 	: 0
3600.06/3600.26	c number of derivation steps 	: 10752
3600.06/3600.26	c number of skipped derivation steps 	: 0
3600.06/3600.26	c number of remaining unassigned 	: 2870
3600.06/3600.26	c number of remaining assigned 	: 2069439
3600.06/3600.26	c number of falsified literals weakened from reason	: 0
3600.06/3600.26	c number of falsified literals weakened from conflict	: 0
3600.06/3600.26	c time for arithmetic operations	: 49629833
3600.06/3600.26	c minimum degree of deleted constraints	: 36244831
3600.06/3600.26	c maximum degree of deleted constraints	: 1099645813760
3600.06/3600.28	c number of deleted constraints	: 2606
3600.06/3600.28	c speed (assignments/second)	: 536.4026478493241
3600.06/3600.28	c non guided choices	: 0
3600.06/3600.28	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 2909
3600.06/3600.28	s SATISFIABLE
3600.06/3600.28	c Found 1 solution(s)
3600.06/3600.30	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 
3600.26/3600.33	c objective function=13161517
3600.26/3600.33	c Total wall clock time (in seconds): 3598.771

Verifier Data 

OK	13161517

Watcher Data 

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: 64096 MiB (63479 MiB free)
  memory of node 1: 64473 MiB (62334 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427341-1720994535/watcher-4427341-1720994535 -o /tmp/evaluation-result-4427341-1720994535/solver-4427341-1720994535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1720994548-768482 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427341-1720994535.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
Starting watchdog thread
Linux 4.18.0-301.1.el8.x86_64
solver pid=768534, runsolver pid=768531
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 0.13 0.10 0.09 2/267 768568
/proc/meminfo: memFree=128769640/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=18194260 memory=33808 CPUtime=0.04 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 3388 0 64 0 1 3 0 0 20 0 7 0 151612404 18630922240 8452 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4548565 8452 3909 1 0 544787 0
[pid=768534/tid=768538] ppid=768531 vsize=18194260 memory=4026531971 CPUtime=0.03 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) D 768531 768534 768469 0 -1 4194368 2825 0 62 0 1 2 0 0 20 0 7 0 151612405 18630922240 8452 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 6 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18194260 KiB
Current children cumulated memory: 33808 KiB

[startup+0.219521 s]*
/proc/loadavg: 0.13 0.10 0.09 1/272 768573
/proc/meminfo: memFree=128710564/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=18194260 memory=41456 CPUtime=0.05 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 5050 0 74 0 2 3 0 0 20 0 7 0 151612404 18630922240 10364 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4548565 10364 4211 1 0 546890 0
[pid=768534/tid=768538] ppid=768531 vsize=18194260 memory=8737651120394928259 CPUtime=0.05 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) D 768531 768534 768469 0 -1 4194368 4487 0 72 0 2 3 0 0 20 0 7 0 151612405 18630922240 10364 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 10 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18194260 KiB
Current children cumulated memory: 41456 KiB

[startup+0.312962 s]*
/proc/loadavg: 0.13 0.10 0.09 1/277 768578
/proc/meminfo: memFree=128699844/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=18261716 memory=45068 CPUtime=0.06 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 5532 0 77 0 2 4 0 0 20 0 8 0 151612404 18699997184 11267 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4565429 11267 4152 1 0 547487 0
[pid=768534/tid=768538] ppid=768531 vsize=18261716 memory=-8600016445362315964 CPUtime=0.05 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) D 768531 768534 768469 0 -1 4194368 4968 0 75 0 2 3 0 0 20 0 8 0 151612405 18699997184 11267 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16784588 0 0 0 -1 7 0 0 22 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18261716 KiB
Current children cumulated memory: 45068 KiB

[startup+0.700612 s]
/proc/loadavg: 0.13 0.10 0.09 1/277 768578
/proc/meminfo: memFree=128699032/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=18393816 memory=48996 CPUtime=0.06 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 5641 0 80 0 2 4 0 0 20 0 9 0 151612404 18835267584 12249 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4598454 12249 4545 1 0 547817 0
[pid=768534/tid=768538] ppid=768531 vsize=18393816 memory=17200 CPUtime=0.06 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) D 768531 768534 768469 0 -1 4194368 5076 0 78 0 2 4 0 0 20 0 9 0 151612405 18835267584 12249 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16784588 0 0 0 -1 7 0 0 62 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18393816 KiB
Current children cumulated memory: 48996 KiB

[startup+1.50153 s]
/proc/loadavg: 0.13 0.10 0.09 1/313 768614
/proc/meminfo: memFree=128681176/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=18993908 memory=66408 CPUtime=0.55 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 7469 0 102 0 49 6 0 0 20 0 18 0 151612404 19449761792 16602 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4748477 16602 5853 1 0 551605 0
[pid=768534/tid=768538] ppid=768531 vsize=18993908 memory=17200 CPUtime=0.33 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 1077936192 5923 0 89 0 28 5 0 0 20 0 18 0 151612405 19449761792 16602 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 112 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=18993908 memory=11472 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151612476 19449761792 16602 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66408 KiB

[startup+3.10731 s]
/proc/loadavg: 0.13 0.10 0.09 9/323 768626
/proc/meminfo: memFree=127956232/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19060472 memory=179452 CPUtime=3.71 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 23175 0 102 0 357 14 0 0 20 0 19 0 151612404 19517923328 44863 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4765118 44863 6105 1 0 559271 0
[pid=768534/tid=768538] ppid=768531 vsize=19060472 memory=198340509722 CPUtime=1.88 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 6698 0 89 0 180 8 0 0 20 0 19 0 151612405 19517923328 44863 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19060472 memory=50540 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151612476 19517923328 44863 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 151612515 19517923328 44863 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19060472 memory=11472 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151612607 19517923328 44863 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 3.71 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 179452 KiB

[startup+6.30032 s]
/proc/loadavg: 0.76 0.24 0.13 6/325 768628
/proc/meminfo: memFree=125418476/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=193476 CPUtime=7.8 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 25954 0 102 0 765 15 0 0 20 0 20 0 151612404 19586084864 48369 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 48369 6139 1 0 559561 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=50540 CPUtime=5.02 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 7028 0 89 0 493 9 0 0 20 0 20 0 151612405 19586084864 48369 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 48369 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=8292148123324110535 CPUtime=0 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 151612515 19586084864 48369 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=-9104701078604522172 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 48369 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 7.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 193476 KiB

[startup+12.7004 s]
/proc/loadavg: 1.02 0.30 0.16 6/325 768628
/proc/meminfo: memFree=122320080/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=253020 CPUtime=14.29 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 28450 0 102 0 1412 17 0 0 20 0 20 0 151612404 19586084864 63255 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 63255 6140 1 0 559561 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=50540 CPUtime=11.31 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 7545 0 89 0 1121 10 0 0 20 0 20 0 151612405 19586084864 63255 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=222300 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 63255 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=-9104701078604522172 CPUtime=0 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 151612515 19586084864 63255 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 63255 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 14.29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 253020 KiB

[startup+25.5005 s]
/proc/loadavg: 1.68 0.48 0.22 5/325 768631
/proc/meminfo: memFree=118775548/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=636152 CPUtime=27.32 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 33330 0 102 0 2706 26 0 0 20 0 20 0 151612404 19586084864 159038 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 159038 6140 1 0 559577 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=50540 CPUtime=24.06 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 8946 0 89 0 2389 17 0 0 20 0 20 0 151612405 19586084864 159038 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=222300 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 159038 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=435388 CPUtime=0 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 151612515 19586084864 159038 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=2268 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 159038 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 27.32 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 636152 KiB

[startup+51.1142 s]
/proc/loadavg: 2.62 0.80 0.33 5/325 768634
/proc/meminfo: memFree=117045480/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=994712 CPUtime=53.36 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 39583 0 102 0 5301 35 0 0 20 0 20 0 151612404 19586084864 248678 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 248678 6140 1 0 559577 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=2268 CPUtime=49.58 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 10729 0 89 0 4934 24 0 0 20 0 20 0 151612405 19586084864 248678 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=994672 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 248678 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=11472 CPUtime=0 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 151612515 19586084864 248678 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 248678 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 53.36 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 994712 KiB

[startup+102.301 s]
/proc/loadavg: 3.50 1.32 0.54 6/325 768642
/proc/meminfo: memFree=114245832/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=1343460 CPUtime=105.3 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 49832 0 102 0 10481 49 0 0 20 0 20 0 151612404 19586084864 335865 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 335865 6152 1 0 559577 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=1343400 CPUtime=100.51 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 14514 0 89 0 10018 33 0 0 20 0 20 0 151612405 19586084864 335865 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=1343176 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 335865 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=1343040 CPUtime=0 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 158 0 0 0 0 0 0 0 20 0 20 0 151612515 19586084864 335865 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=1037720 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.52 4.39 4.21 5/316 770741
/proc/meminfo: memFree=105735436/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=1512304 CPUtime=3282.25 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 155435 0 102 0 327993 232 0 0 20 0 20 0 151612404 19586084864 378076 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 378076 6169 1 0 559619 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=1512304 CPUtime=3265.48 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 60594 0 89 0 326493 55 0 0 20 0 20 0 151612405 19586084864 378076 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=1512304 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 378076 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=1512304 CPUtime=0.01 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 4498 0 0 0 1 0 0 0 20 0 20 0 151612515 19586084864 378076 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=1512304 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 378076 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 3282.25 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1512304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.53 4.42 4.24 5/316 770751
/proc/meminfo: memFree=105730168/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=1514356 CPUtime=3342.18 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 157771 0 102 0 333983 235 0 0 20 0 20 0 151612404 19586084864 378589 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 378589 6169 1 0 559619 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=1510252 CPUtime=3325.25 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 61550 0 89 0 332470 55 0 0 20 0 20 0 151612405 19586084864 378589 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=1512304 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 378589 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=11472 CPUtime=0.01 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 4588 0 0 0 1 0 0 0 20 0 20 0 151612515 19586084864 378589 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=1512308 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 378589 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 3342.18 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1514356 KiB

[startup+3402.3 s]
/proc/loadavg: 4.88 4.52 4.28 6/318 771133
/proc/meminfo: memFree=110264540/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=1514556 CPUtime=3402.37 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 163210 0 102 0 339998 239 0 0 20 0 20 0 151612404 19586084864 378639 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 378639 6169 1 0 559667 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=11472 CPUtime=3385.02 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 63766 0 89 0 338447 55 0 0 20 0 20 0 151612405 19586084864 378639 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=11936 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 378639 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=40624 CPUtime=0.01 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 4717 0 0 0 1 0 0 0 20 0 20 0 151612515 19586084864 378639 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=-9104701078604522172 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 378639 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 3402.37 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1514556 KiB

[startup+3462.3 s]
/proc/loadavg: 4.57 4.51 4.29 6/318 771344
/proc/meminfo: memFree=114456368/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=1514588 CPUtime=3462.36 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 165291 0 102 0 345994 242 0 0 20 0 20 0 151612404 19586084864 378647 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 378647 6169 1 0 559667 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=11472 CPUtime=3444.79 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 64716 0 89 0 344423 56 0 0 20 0 20 0 151612405 19586084864 378647 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=5624 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 378647 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=1514576 CPUtime=0.01 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 4718 0 0 0 1 0 0 0 20 0 20 0 151612515 19586084864 378647 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=1514588 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 378647 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 3462.36 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1514588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.45 4.28 5/318 771371
/proc/meminfo: memFree=112401184/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=1516648 CPUtime=3522.28 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 167254 0 102 0 351983 245 0 0 20 0 20 0 151612404 19586084864 379162 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 379162 6169 1 0 559667 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=1516648 CPUtime=3504.51 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 65398 0 89 0 350395 56 0 0 20 0 20 0 151612405 19586084864 379162 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=1514600 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 379162 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=-9104701078604522172 CPUtime=0.01 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 4803 0 0 0 1 0 0 0 20 0 20 0 151612515 19586084864 379162 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=1516648 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 379162 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 3522.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1516648 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.44 4.29 5/318 771448
/proc/meminfo: memFree=117128944/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=1516656 CPUtime=3582.19 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 169077 0 102 0 357971 248 0 0 20 0 20 0 151612404 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 379164 6169 1 0 559667 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=11936 CPUtime=3564.26 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 66192 0 89 0 356370 56 0 0 20 0 20 0 151612405 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=1516656 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=1516656 CPUtime=0.01 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 4889 0 0 0 1 0 0 0 20 0 20 0 151612515 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=11472 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 3582.19 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1516656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.2 s]
/proc/loadavg: 4.38 4.44 4.29 5/318 771453
/proc/meminfo: memFree=117064588/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19127036 memory=1516656 CPUtime=3600.06 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 170669 0 102 0 359757 249 0 0 20 0 20 0 151612404 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4781759 379164 6169 1 0 559667 0
[pid=768534/tid=768538] ppid=768531 vsize=19127036 memory=1569940 CPUtime=3582.07 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 66667 0 89 0 358150 57 0 0 20 0 20 0 151612405 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19127036 memory=2684 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612476 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19127036 memory=4704 CPUtime=0.01 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 4902 0 0 0 1 0 0 0 20 0 20 0 151612515 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768622] ppid=768531 vsize=19127036 memory=5894664 CPUtime=0 cores=5,7
/proc/768534/task/768622/stat : 768622 (Timer-0) S 768531 768534 768469 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612607 19586084864 379164 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1516656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.84 s, system=2.51467 s

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

[startup+3600.31 s]
/proc/loadavg: 4.38 4.44 4.29 5/318 771453
/proc/meminfo: memFree=117064588/131655788 swapFree=131071996/131071996
[pid=768534] ppid=768531 vsize=19326728 memory=1517480 CPUtime=3600.26 cores=5,7
/proc/768534/stat : 768534 (java) S 768531 768534 768469 0 -1 1077936128 173530 0 102 0 359776 250 0 0 20 0 21 0 151612404 19790569472 379370 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
/proc/768534/statm: 4831682 379370 6169 1 0 560586 0
[pid=768534/tid=768538] ppid=768531 vsize=19326728 memory=-9104701078604522172 CPUtime=3582.16 cores=5,7
/proc/768534/task/768538/stat : 768538 (java) R 768531 768534 768469 0 -1 4194368 66770 0 89 0 358159 57 0 0 20 0 21 0 151612405 19790569472 379370 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768586] ppid=768531 vsize=19326728 memory=1516656 CPUtime=0 cores=5,7
/proc/768534/task/768586/stat : 768586 (Finalizer) S 768531 768534 768469 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 151612476 19790569472 379370 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
[pid=768534/tid=768617] ppid=768531 vsize=19326728 memory=1516656 CPUtime=0.01 cores=5,7
/proc/768534/task/768617/stat : 768617 (Common-Cleaner) S 768531 768534 768469 0 -1 1077936192 4902 0 0 0 1 0 0 0 20 0 21 0 151612515 19790569472 379370 134679101440 94183177699328 94183177703024 140724970201344 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94183177710840 94183177711632 94183193096192 140724970210292 140724970210405 140724970210405 140724970217416 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 1517480 KiB

Child status: 143

Real time (s): 3600.37
CPU time (s): 3600.35
CPU user time (s): 3597.84
CPU system time (s): 2.51467
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 1517480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.84
system time used= 2.51467
maximum resident set size= 1518360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173771
page faults= 102
swaps= 0
block input operations= 19360
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115213
involuntary context switches= 2617


# summary of solver processes directly reported to runsolver:
#   pid: 768534
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3597.84
#   total CPU system time (s): 2.51467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7905 second user time and 38.3224 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-15 00:02:28
IDJOB=4427341
IDBENCH=146743
IDSOLVER=3046
FILE ID=nodeC005/4427341-1720994535
RUNJOBID= nodeC005-1720994548-768482
SLURM_JOB_ID= 7505306
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427341-1720994535/watcher-4427341-1720994535 -o /tmp/evaluation-result-4427341-1720994535/solver-4427341-1720994535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1720994548-768482 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427341-1720994535.opb

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=77768655

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128837196 kB
MemAvailable:   130006100 kB
Buffers:          325608 kB
Cached:          1673896 kB
SwapCached:            0 kB
Active:           466984 kB
Inactive:        1803384 kB
Active(anon):       1340 kB
Inactive(anon):   307240 kB
Active(file):     465644 kB
Inactive(file):  1496144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3768 kB
Writeback:             0 kB
AnonPages:        270716 kB
Mapped:           103680 kB
Shmem:             37696 kB
KReclaimable:      94632 kB
Slab:             192684 kB
SReclaimable:      94632 kB
SUnreclaim:        98052 kB
KernelStack:        3728 kB
PageTables:         9624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     549432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            49728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 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:      191304 kB
DirectMap2M:     8101888 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-15 01:02:29