Trace number 4458403

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)-89 3600.24 3491.23

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb
MD5SUM2373b25163347951ef97566f5f53795c
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 benchmark-98
Best CPU time to get the best result obtained on this benchmark0.495475
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7450
Total number of constraints2649
Number of constraints which are clauses2500
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints50
Minimum length of a constraint3
Maximum length of a constraint51
Number of terms in the objective function 4950
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4950
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 50
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 4950
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.14	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.14	 - never skip resolution steps
0.14/0.14	 - Auto-division on coefficients is disabled
0.14/0.14	 - No postprocessing
0.14/0.14	 - Conflict is considered as is when resolving
0.14/0.14	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.14	 - Weaken first using unassigned literals
0.14/0.14	 - Bump strategy: ALWAYS_ONE
0.14/0.14	 - Bumper: ASSIGNED
0.14/0.14	--- Begin Solver configuration ---
0.14/0.14	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.14	Learn all clauses as in MiniSAT
0.14/0.14	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.14	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.14	No reason simplification
0.14/0.14	Armin Biere (Picosat) restarts strategy
0.14/0.14	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.14	timeout=2147483s
0.14/0.14	DB Simplification allowed=false
0.14/0.14	Listener: none
0.14/0.14	--- End Solver configuration ---
0.14/0.15	c Pseudo Boolean Optimization by upper bound
0.14/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	c  - never skip resolution steps
0.14/0.15	c  - Auto-division on coefficients is disabled
0.14/0.15	c  - No postprocessing
0.14/0.15	c  - Conflict is considered as is when resolving
0.14/0.15	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.15	c  - Weaken first using unassigned literals
0.14/0.15	c  - Bump strategy: ALWAYS_ONE
0.14/0.15	c  - Bumper: ASSIGNED
0.14/0.15	c --- Begin Solver configuration ---
0.14/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.15	c Learn all clauses as in MiniSAT
0.14/0.15	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	c No reason simplification
0.14/0.15	c Armin Biere (Picosat) restarts strategy
0.14/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.15	c timeout=2147483s
0.14/0.15	c DB Simplification allowed=false
0.14/0.15	c Listener: none
0.14/0.15	c --- End Solver configuration ---
0.14/0.15	c solving HOME/instance-4458403-1721884764.opb
0.14/0.15	c reading problem ... 
0.14/0.16	c  objective function found
0.52/0.34	c ... done. Wall clock time 0.189s.
0.52/0.34	c declared #vars     7450
0.52/0.34	c #constraints  2649
0.52/0.34	c constraints type 
0.52/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 99
0.52/0.34	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 50
0.52/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2500
0.52/0.34	c 2649 constraints processed.
0.52/0.36	c objective function length is 4950 literals
1.26/0.71	c SATISFIABLE
1.26/0.71	c OPTIMIZING...
1.26/0.71	c Got one! Elapsed wall clock time (in seconds):0.55
1.26/0.71	o -89
63.02/59.49	c cleaning 2478 clauses out of 5046 with flag 0/5046
164.15/158.51	c cleaning 4241 clauses out of 8568 with flag 0/11046
365.98/357.93	c cleaning 5661 clauses out of 11328 with flag 0/18047
833.53/823.68	c cleaning 6822 clauses out of 13668 with flag 0/26048
1141.72/1119.49	c cleaning 7913 clauses out of 15844 with flag 0/35046
1734.21/1696.15	c cleaning 8963 clauses out of 17932 with flag 0/45047
1867.72/1821.65	c cleaning 9980 clauses out of 19968 with flag 0/56046
2944.11/2860.18	c cleaning 10956 clauses out of 21988 with flag 0/68046
3256.39/3147.71	c cleaning 11975 clauses out of 24032 with flag 0/81046
3600.01/3491.11	c starts		: 89
3600.01/3491.12	c conflicts		: 85057
3600.01/3491.12	c decisions		: 2011057
3600.01/3491.12	c propagations		: 16519226
3600.01/3491.12	c inspects		: 269779319
3600.01/3491.12	c shortcuts		: 0
3600.01/3491.12	c learnt literals	: 0
3600.01/3491.12	c learnt binary clauses	: 0
3600.01/3491.12	c learnt ternary clauses	: 0
3600.01/3491.12	c learnt constraints	: 85057
3600.01/3491.12	c ignored constraints	: 0
3600.01/3491.12	c root simplifications	: 0
3600.01/3491.12	c removed literals (reason simplification)	: 0
3600.01/3491.12	c reason swapping (by a shorter reason)	: 0
3600.01/3491.12	c Calls to reduceDB	: 9
3600.01/3491.12	c Number of update (reduction) of LBD	: 40
3600.01/3491.12	c Imported unit clauses	: 0
3600.01/3491.12	c No decision after first conflict	: false
3600.01/3491.12	c number of reductions to clauses (during analyze)	: 0
3600.01/3491.12	c number of learned constraints concerned by reduction	: 0
3600.01/3491.12	c number of learning phase by resolution	: 0
3600.01/3491.12	c number of learning phase by cutting planes	: 0
3600.01/3491.12	c number of rounding to 1 operations	: 293462
3600.01/3491.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3491.12	c number of reductions of the coefficients by power 2 	: 0
3600.01/3491.12	c number of right shift for reduction by power 2 	: 0
3600.01/3491.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3491.12	c number of ending skipping 	: 0
3600.01/3491.12	c number of internal skipping 	: 0
3600.01/3491.12	c number of derivation steps 	: 453515
3600.01/3491.12	c number of skipped derivation steps 	: 0
3600.01/3491.12	c number of remaining unassigned 	: 50248
3600.01/3491.12	c number of remaining assigned 	: 216999885
3600.01/3491.12	c number of falsified literals weakened from reason	: 0
3600.01/3491.12	c number of falsified literals weakened from conflict	: 0
3600.01/3491.12	c time for arithmetic operations	: 16011667222
3600.01/3491.14	c minimum degree of deleted constraints	: 32
3600.01/3491.14	c maximum degree of deleted constraints	: 2444193589766515588514
3600.01/3491.14	c number of deleted constraints	: 68989
3600.01/3491.14	c speed (assignments/second)	: 4732.26392144303
3600.01/3491.14	c non guided choices	: 2212
3600.01/3491.16	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 3006
3600.01/3491.16	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 2148
3600.01/3491.16	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 10914
3600.01/3491.16	s SATISFIABLE
3600.01/3491.16	c Found 1 solution(s)
3600.01/3491.17	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 
3600.01/3491.19	c objective function=-89
3600.01/3491.19	c Total wall clock time (in seconds): 3491.037

Verifier Data 

OK	-89

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: 63968 MiB (55648 MiB free)
  memory of node 1: 64473 MiB (56566 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458403-1721884764/watcher-4458403-1721884764 -o /tmp/evaluation-result-4458403-1721884764/solver-4458403-1721884764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721877640-274418 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4458403-1721884764.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.104071 s]*
/proc/loadavg: 4.22 4.22 4.21 6/328 278646
/proc/meminfo: memFree=114865860/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=18975048 memory=62712 CPUtime=0.14 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 7256 0 0 0 13 1 0 0 20 0 18 0 25000395 19430449152 15678 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4743762 15678 5556 1 0 549381 0
[pid=278628/tid=278630] ppid=278625 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 5779 0 0 0 8 1 0 0 20 0 18 0 25000396 19430449152 15678 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25000398 19430449152 15678 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=18975048 memory=13565998625714195 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25000399 19430449152 15678 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62712 KiB

[startup+0.206093 s]*
/proc/loadavg: 4.22 4.22 4.21 7/328 278646
/proc/meminfo: memFree=114849340/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=18975048 memory=82356 CPUtime=0.34 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 7756 0 0 0 32 2 0 0 20 0 18 0 25000395 19430449152 20589 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4743762 20589 5851 1 0 549695 0
[pid=278628/tid=278630] ppid=278625 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 6038 0 0 0 17 1 0 0 20 0 18 0 25000396 19430449152 20589 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=18975048 memory=1574935 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25000398 19430449152 20589 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=18975048 memory=14127849065940646 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25000399 19430449152 20589 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82356 KiB

[startup+0.306271 s]*
/proc/loadavg: 4.22 4.22 4.21 7/329 278647
/proc/meminfo: memFree=114773108/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19041612 memory=164508 CPUtime=0.52 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 9393 0 0 0 49 3 0 0 20 0 19 0 25000395 19498610688 41127 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4760403 41127 5883 1 0 550999 0
[pid=278628/tid=278630] ppid=278625 vsize=19041612 memory=-8816751077901443772 CPUtime=0.28 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 6099 0 0 0 25 3 0 0 20 0 19 0 25000396 19498610688 41127 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25000398 19498610688 41127 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 25000399 19498610688 41127 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164508 KiB

[startup+0.700266 s]
/proc/loadavg: 4.22 4.22 4.21 7/330 278648
/proc/meminfo: memFree=114768628/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=170340 CPUtime=1.26 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 11366 0 0 0 122 4 0 0 20 0 20 0 25000395 19566772224 42585 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 42585 5933 1 0 552493 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=5508 CPUtime=0.6 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 6215 0 0 0 57 3 0 0 20 0 20 0 25000396 19566772224 42585 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 42585 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 42585 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=117636 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 42585 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 170340 KiB

[startup+1.50027 s]
/proc/loadavg: 4.22 4.22 4.21 6/330 278648
/proc/meminfo: memFree=114759836/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=182512 CPUtime=2.84 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 17693 0 0 0 279 5 0 0 20 0 20 0 25000395 19566772224 45628 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 45628 5936 1 0 554226 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=12992 CPUtime=1.38 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 6463 0 0 0 135 3 0 0 20 0 20 0 25000396 19566772224 45628 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 45628 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 45628 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=280907370112272 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 45628 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182512 KiB

[startup+3.10627 s]
/proc/loadavg: 4.37 4.25 4.22 5/331 278651
/proc/meminfo: memFree=114746384/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=185308 CPUtime=5.16 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 20444 0 2 0 510 6 0 0 20 0 20 0 25000395 19566772224 46327 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 46327 5953 1 0 554231 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=0 CPUtime=2.95 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 6801 0 0 0 292 3 0 0 20 0 20 0 25000396 19566772224 46327 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 46327 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 46327 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 46327 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 5.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185308 KiB

[startup+6.30027 s]
/proc/loadavg: 4.37 4.25 4.22 7/331 278651
/proc/meminfo: memFree=114628252/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=299044 CPUtime=8.43 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 23415 0 2 0 834 9 0 0 20 0 20 0 25000395 19566772224 74761 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 74761 5953 1 0 554232 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=12992 CPUtime=6.1 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 7439 0 0 0 605 5 0 0 20 0 20 0 25000396 19566772224 74761 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 74761 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=182660 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 74761 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 74761 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 8.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 299044 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.24 4.21 5/331 278651
/proc/meminfo: memFree=114587744/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=340180 CPUtime=14.9 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 27411 0 2 0 1480 10 0 0 20 0 20 0 25000395 19566772224 85045 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 85045 5953 1 0 554232 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=0 CPUtime=12.39 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 8248 0 0 0 1234 5 0 0 20 0 20 0 25000396 19566772224 85045 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=-8816751077901443772 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 85045 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=2336 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 85045 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 85045 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 14.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 340180 KiB

[startup+25.5013 s]
/proc/loadavg: 4.18 4.21 4.21 5/331 278722
/proc/meminfo: memFree=115727416/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=1578588 CPUtime=28.08 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 32512 0 2 0 2773 35 0 0 20 0 20 0 25000395 19566772224 394647 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 394647 5953 1 0 660773 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=11624 CPUtime=24.79 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 10272 0 0 0 2454 25 0 0 20 0 20 0 25000396 19566772224 394647 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 394647 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=-8816751077901443772 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 394647 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=299044 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 394647 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 28.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1578588 KiB

[startup+51.1061 s]
/proc/loadavg: 4.20 4.21 4.20 6/333 278798
/proc/meminfo: memFree=116396416/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=2361988 CPUtime=54.43 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 45475 0 2 0 5389 54 0 0 20 0 20 0 25000395 19566772224 590497 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 590497 5953 1 0 788614 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=2361752 CPUtime=49.75 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 13254 0 0 0 4937 38 0 0 20 0 20 0 25000396 19566772224 590497 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=2310552 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 590497 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0

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

[startup+3162.3 s]
/proc/loadavg: 4.72 4.56 4.41 5/333 280624
/proc/meminfo: memFree=101388880/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=5329348 CPUtime=3271 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 351686 0 2 0 326774 326 0 0 20 0 20 0 25000395 19566772224 1332337 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 1332337 5998 1 0 1343475 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=5329260 CPUtime=3112.89 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 98283 0 0 0 311183 106 0 0 20 0 20 0 25000396 19566772224 1332337 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=5329260 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 1332337 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=5329348 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 1430 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 1332337 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=5329324 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 1332337 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 3271 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5329348 KiB

[startup+3222.3 s]
/proc/loadavg: 4.49 4.52 4.41 6/332 280634
/proc/meminfo: memFree=101179356/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=5329352 CPUtime=3332.14 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 352376 0 2 0 332884 330 0 0 20 0 20 0 25000395 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 1332338 5998 1 0 1343475 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=5329260 CPUtime=3172.16 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 98325 0 0 0 317110 106 0 0 20 0 20 0 25000396 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=5329260 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=5329324 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 1449 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=16104 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 3332.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5329352 KiB

[startup+3282.3 s]
/proc/loadavg: 4.34 4.47 4.39 5/332 280645
/proc/meminfo: memFree=101171296/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=5329352 CPUtime=3392.06 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 353102 0 2 0 338873 333 0 0 20 0 20 0 25000395 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 1332338 5998 1 0 1343475 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=11624 CPUtime=3231.84 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 98848 0 0 0 323077 107 0 0 20 0 20 0 25000396 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 1449 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=3368 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5329352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.50 4.48 4.40 7/332 280655
/proc/meminfo: memFree=101170544/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=5329352 CPUtime=3451.51 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 353655 0 2 0 344817 334 0 0 20 0 20 0 25000395 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 1332338 5998 1 0 1343475 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=5329352 CPUtime=3291.26 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 99398 0 0 0 329019 107 0 0 20 0 20 0 25000396 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 1449 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=-8816751077901443772 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 3451.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5329352 KiB

[startup+3402.3 s]
/proc/loadavg: 4.63 4.51 4.42 6/330 280667
/proc/meminfo: memFree=101069580/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=5329352 CPUtime=3511.32 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 358693 0 2 0 350794 338 0 0 20 0 20 0 25000395 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 1332338 5998 1 0 1343475 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=12992 CPUtime=3350.78 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 101410 0 0 0 334970 108 0 0 20 0 20 0 25000396 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=5508 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 1585 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 3511.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5329352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.60 4.54 4.43 5/331 280678
/proc/meminfo: memFree=100943572/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=5329352 CPUtime=3571.17 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 358835 0 2 0 356777 340 0 0 20 0 20 0 25000395 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 1332338 5998 1 0 1343475 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=11624 CPUtime=3410.58 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 101547 0 0 0 340950 108 0 0 20 0 20 0 25000396 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 1585 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 3571.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5329352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3491.11 s]
/proc/loadavg: 4.25 4.46 4.41 4/305 280717
/proc/meminfo: memFree=106746080/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19108176 memory=5329352 CPUtime=3600.01 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 359214 0 2 0 359660 341 0 0 20 0 20 0 25000395 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4777044 1332338 5998 1 0 1343475 0
[pid=278628/tid=278630] ppid=278625 vsize=19108176 memory=5329352 CPUtime=3439.16 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) R 278625 278628 274408 0 -1 4194368 101720 0 0 0 343807 109 0 0 20 0 20 0 25000396 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25000398 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 1585 0 0 0 0 0 0 0 20 0 20 0 25000399 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278648] ppid=278625 vsize=19108176 memory=5329352 CPUtime=0 cores=0,2
/proc/278628/task/278648/stat : 278648 (Timer-0) S 278625 278628 274408 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25000432 19566772224 1332338 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5329352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.8 s, system=3.43446 s

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

[startup+3491.21 s]
/proc/loadavg: 4.25 4.46 4.41 4/305 280717
/proc/meminfo: memFree=106746080/131524600 swapFree=131056796/131071996
[pid=278628] ppid=278625 vsize=19307868 memory=5329988 CPUtime=3600.21 cores=0,2
/proc/278628/stat : 278628 (java) S 278625 278628 274408 0 -1 1077936128 363231 0 2 0 359680 341 0 0 20 0 16 0 25000395 19771256832 1332497 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
/proc/278628/statm: 4826967 1332497 5997 1 0 1344410 0
[pid=278628/tid=278630] ppid=278625 vsize=19307868 memory=74384 CPUtime=3439.26 cores=0,2
/proc/278628/task/278630/stat : 278630 (java) S 278625 278628 274408 0 -1 1077936192 101891 0 0 0 343817 109 0 0 20 0 16 0 25000396 19771256832 1332497 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278639] ppid=278625 vsize=19307868 memory=-8816751077901443772 CPUtime=0 cores=0,2
/proc/278628/task/278639/stat : 278639 (Finalizer) S 278625 278628 274408 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 16 0 25000398 19771256832 1332497 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
[pid=278628/tid=278646] ppid=278625 vsize=19307868 memory=5508 CPUtime=0 cores=0,2
/proc/278628/task/278646/stat : 278646 (Common-Cleaner) S 278625 278628 274408 0 -1 1077936192 1585 0 0 0 0 0 0 0 20 0 16 0 25000399 19771256832 1332497 134679101440 93940770242560 93940770246256 140725611289120 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93940770254072 93940770254864 93940783194112 140725611291632 140725611291745 140725611291745 140725611298760 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5329988 KiB

Child status: 143

Real time (s): 3491.23
CPU time (s): 3600.24
CPU user time (s): 3596.8
CPU system time (s): 3.43446
CPU usage (%): 103.122
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5329988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.8
system time used= 3.43446
maximum resident set size= 5330784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363281
page faults= 2
swaps= 0
block input operations= 192
block output operations= 3624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122080
involuntary context switches= 37031


# summary of solver processes directly reported to runsolver:
#   pid: 278628
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3596.8
#   total CPU system time (s): 3.43446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6913 second user time and 15.5209 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-25 07:19:24
IDJOB=4458403
IDBENCH=177419
IDSOLVER=3046
FILE ID=nodeC030/4458403-1721884764
RUNJOBID= nodeC030-1721877640-274418
SLURM_JOB_ID= 8089268
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458403-1721884764/watcher-4458403-1721884764 -o /tmp/evaluation-result-4458403-1721884764/solver-4458403-1721884764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721877640-274418 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4458403-1721884764.opb

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

MD5SUM BENCH= 2373b25163347951ef97566f5f53795c
RANDOM SEED=2032457399

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114908036 kB
MemAvailable:   121515076 kB
Buffers:          294040 kB
Cached:          7100308 kB
SwapCached:          300 kB
Active:          2589304 kB
Inactive:       13320896 kB
Active(anon):       2180 kB
Inactive(anon):  8566752 kB
Active(file):    2587124 kB
Inactive(file):  4754144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:              2628 kB
Writeback:             0 kB
AnonPages:       8511836 kB
Mapped:           129972 kB
Shmem:             53048 kB
KReclaimable:     211188 kB
Slab:             333436 kB
SReclaimable:     211188 kB
SUnreclaim:       122248 kB
KernelStack:        5024 kB
PageTables:        26580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9936528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8192000 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-25 08:17:36