Trace number 4497428

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 CP 2025-06-06SAT (TO)22 3600.47 3141.42

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUM9def910af6a1ee27abcf25feff61a445
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 benchmark20
Best CPU time to get the best result obtained on this benchmark67.9647
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.10/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.18	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.10/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.22	c java.vm.version	22.0.1+8-16
0.10/0.22	c java.vm.vendor	Oracle Corporation
0.10/0.22	c sun.arch.data.model	64
0.10/0.22	c java.version		22.0.1
0.10/0.22	c os.name		Linux
0.10/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.22	c os.arch		amd64
0.26/0.23	c Free memory 		2104792832
0.26/0.23	c Max memory 		16282288128
0.26/0.23	c Total memory 		2113929216
0.26/0.24	c Number of processors 	2
0.41/0.43	c Pseudo Boolean Optimization by upper bound
0.41/0.43	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.41/0.43	c  - never skip resolution steps
0.41/0.43	c  - Auto-division on coefficients is disabled
0.41/0.43	c  - No postprocessing
0.41/0.43	c  - Conflict is considered as is when resolving
0.41/0.43	c  - Use constraints as they come during conflict analysis
0.41/0.43	c  - Weaken first using unassigned literals
0.41/0.43	c  - Bump strategy: ALWAYS_ONE
0.41/0.43	c  - Bumper: ANY
0.41/0.43	c --- Begin Solver configuration ---
0.41/0.43	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.41/0.43	c Learn all clauses as in MiniSAT
0.41/0.43	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.43	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.41/0.43	c No reason simplification
0.41/0.43	c Armin Biere (Picosat) restarts strategy
0.41/0.43	c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.41/0.43	c timeout=2147483s
0.41/0.43	c DB Simplification allowed=false
0.41/0.43	c Listener: none
0.41/0.43	c --- End Solver configuration ---
0.58/0.43	c solving HOME/instance-4497428-1751389428.opb
0.58/0.43	c reading problem ... 
0.58/0.43	c  objective function found
1.29/0.82	c ... done. Wall clock time 0.378s.
1.29/0.82	c declared #vars     6027
1.29/0.82	c #constraints  21278
1.29/0.82	c constraints type 
1.29/0.82	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899
1.29/0.82	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.29/0.82	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1.29/0.82	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373
1.29/0.82	c 21278 constraints processed.
1.29/0.85	c objective function length is 650 literals
1.48/0.95	c SATISFIABLE
1.48/0.95	c OPTIMIZING...
1.48/0.95	c Got one! Elapsed wall clock time (in seconds):0.518
1.48/0.95	o 28
1.69/1.10	c Got one! Elapsed wall clock time (in seconds):0.669
1.69/1.10	o 27
4.25/2.33	c Got one! Elapsed wall clock time (in seconds):1.903
4.25/2.33	o 23
14.29/9.16	c Got one! Elapsed wall clock time (in seconds):8.736
14.29/9.17	o 22
164.84/154.66	c cleaning 2488 clauses out of 5000
697.78/672.75	c cleaning 4252 clauses out of 8513
2233.76/2033.49	c cleaning 5625 clauses out of 11260
3600.07/3141.25	c starts		: 49
3600.07/3141.26	c conflicts		: 20654
3600.07/3141.26	c decisions		: 173373
3600.07/3141.26	c propagations		: 3181639
3600.07/3141.26	c inspects		: 1912857056
3600.07/3141.26	c shortcuts		: 0
3600.07/3141.26	c learnt literals	: 0
3600.07/3141.26	c learnt binary clauses	: 0
3600.07/3141.26	c learnt ternary clauses	: 0
3600.07/3141.26	c learnt constraints	: 20654
3600.07/3141.26	c ignored constraints	: 0
3600.07/3141.26	c root simplifications	: 0
3600.07/3141.26	c removed literals (reason simplification)	: 0
3600.07/3141.26	c reason swapping (by a shorter reason)	: 0
3600.07/3141.26	c Calls to reduceDB	: 3
3600.07/3141.26	c Number of update (reduction) of LBD	: 0
3600.07/3141.26	c Imported unit clauses	: 0
3600.07/3141.26	c No decision after first conflict	: false
3600.07/3141.26	c number of reductions to clauses (during analyze)	: 0
3600.07/3141.27	c number of learned constraints concerned by reduction	: 0
3600.07/3141.27	c number of learning phase by resolution	: 0
3600.07/3141.27	c number of learning phase by cutting planes	: 0
3600.07/3141.27	c number of rounding to 1 operations	: 0
3600.07/3141.27	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3141.27	c number of reductions of the coefficients by power 2 	: 0
3600.07/3141.27	c number of right shift for reduction by power 2 	: 0
3600.07/3141.27	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3141.27	c number of ending skipping 	: 0
3600.07/3141.27	c number of internal skipping 	: 0
3600.07/3141.27	c number of derivation steps 	: 222352
3600.07/3141.27	c number of skipped derivation steps 	: 0
3600.07/3141.27	c number of remaining unassigned 	: 557690
3600.07/3141.27	c number of remaining assigned 	: 33934290
3600.07/3141.27	c number of falsified literals weakened from reason	: 0
3600.07/3141.27	c number of falsified literals weakened from conflict	: 0
3600.07/3141.27	c time for arithmetic operations	: 552807177558
3600.07/3141.29	c minimum degree of deleted constraints	: null
3600.07/3141.29	c maximum degree of deleted constraints	: null
3600.07/3141.29	c number of deleted constraints	: 0
3600.29/3141.30	c speed (assignments/second)	: 1013.1246608738184
3600.29/3141.30	c non guided choices	: 0
3600.29/3141.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 18
3600.29/3141.31	c learnt constraints type org.sat4j.pb.constraints.pb.MaxWatchPb	: 8244
3600.29/3141.31	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 27
3600.29/3141.31	s SATISFIABLE
3600.29/3141.31	c Found 4 solution(s)
3600.29/3141.34	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 
3600.29/3141.36	c objective function=22
3600.29/3141.36	c Total wall clock time (in seconds): 3140.93

Verifier Data 

OK	22

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497428-1751389428/watcher-4497428-1751389428 -o /tmp/evaluation-result-4497428-1751389428/solver-4497428-1751389428 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751383037-50020 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4497428-1751389428.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100072 s]*
/proc/loadavg: 4.64 4.59 4.56 6/325 50932
/proc/meminfo: memFree=116849700/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=18930384 memory=47900 CPUtime=0.1 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 5662 0 0 0 7 3 0 0 20 0 18 0 54621913 19384713216 11975 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4732596 11975 5302 1 0 546919 0
[pid=50914/tid=50916] ppid=50911 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 4633 0 0 0 4 2 0 0 20 0 18 0 54621916 19384713216 11975 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54621921 19384713216 11975 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=18930384 memory=59593594261064 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54621922 19384713216 11975 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47900 KiB

[startup+0.218557 s]*
/proc/loadavg: 4.67 4.60 4.56 6/325 50932
/proc/meminfo: memFree=116844596/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=18930384 memory=52628 CPUtime=0.26 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 6287 0 0 0 22 4 0 0 20 0 18 0 54621913 19384713216 13157 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4732596 13157 5366 1 0 547382 0
[pid=50914/tid=50916] ppid=50911 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 4997 0 0 0 14 2 0 0 20 0 18 0 54621916 19384713216 13157 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=18930384 memory=15877 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54621921 19384713216 13157 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54621922 19384713216 13157 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52628 KiB

[startup+0.313583 s]*
/proc/loadavg: 4.67 4.60 4.56 6/325 50932
/proc/meminfo: memFree=116838484/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=18930384 memory=58364 CPUtime=0.41 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 6702 0 0 0 36 5 0 0 20 0 18 0 54621913 19384713216 14591 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4732596 14591 5366 1 0 547734 0
[pid=50914/tid=50916] ppid=50911 vsize=18930384 memory=-6000919502838131818 CPUtime=0.25 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) S 50911 50914 50010 0 -1 4194368 5170 0 0 0 22 3 0 0 20 0 18 0 54621916 19384713216 14591 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54621921 19384713216 14591 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54621922 19384713216 14591 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58364 KiB

[startup+0.700252 s]
/proc/loadavg: 4.67 4.60 4.56 7/325 50932
/proc/meminfo: memFree=116834388/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=18930384 memory=86900 CPUtime=1.08 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 8581 0 0 0 101 7 0 0 20 0 18 0 54621913 19384713216 21725 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4732596 21725 5430 1 0 548976 0
[pid=50914/tid=50916] ppid=50911 vsize=18930384 memory=18048 CPUtime=0.54 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 5403 0 0 0 50 4 0 0 20 0 18 0 54621916 19384713216 21725 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=18930384 memory=10496 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54621921 19384713216 21725 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54621922 19384713216 21725 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 86900 KiB

[startup+1.50026 s]
/proc/loadavg: 4.67 4.60 4.56 7/326 50933
/proc/meminfo: memFree=116784052/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=18996948 memory=165576 CPUtime=2.66 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 19211 0 0 0 256 10 0 0 20 0 19 0 54621913 19452874752 41394 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4749237 41394 5462 1 0 554546 0
[pid=50914/tid=50916] ppid=50911 vsize=18996948 memory=3200 CPUtime=1.25 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 5885 0 0 0 120 5 0 0 20 0 19 0 54621916 19452874752 41394 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54621921 19452874752 41394 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=18996948 memory=10496 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54621922 19452874752 41394 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=18996948 memory=16296 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54622000 19452874752 41394 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 165576 KiB

[startup+3.10544 s]
/proc/loadavg: 4.67 4.60 4.56 6/327 50934
/proc/meminfo: memFree=116715980/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=199208 CPUtime=5.75 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 22677 0 0 0 563 12 0 0 20 0 20 0 54621913 19521036288 49802 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 49802 5526 1 0 554863 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=16296 CPUtime=2.75 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 6580 0 0 0 270 5 0 0 20 0 20 0 54621916 19521036288 49802 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 49802 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 49802 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 49802 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199208 KiB

[startup+6.30023 s]
/proc/loadavg: 4.70 4.61 4.56 5/327 50934
/proc/meminfo: memFree=116607532/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=379516 CPUtime=10.6 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 23508 0 0 0 1043 17 0 0 20 0 20 0 54621913 19521036288 94879 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 94879 5526 1 0 694848 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=0 CPUtime=5.82 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 6683 0 0 0 573 9 0 0 20 0 20 0 54621916 19521036288 94879 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 94879 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 94879 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=182740 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 94879 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 10.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 379516 KiB

[startup+12.7004 s]
/proc/loadavg: 4.64 4.60 4.56 5/327 50935
/proc/meminfo: memFree=116339364/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=616136 CPUtime=17.91 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 27434 0 0 0 1768 23 0 0 20 0 20 0 54621913 19521036288 154034 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 154034 5526 1 0 695899 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=182740 CPUtime=11.91 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 7405 0 0 0 1181 10 0 0 20 0 20 0 54621916 19521036288 154034 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=544452 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 154034 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 154034 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 154034 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 17.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 616136 KiB

[startup+25.5004 s]
/proc/loadavg: 4.62 4.59 4.56 5/327 50935
/proc/meminfo: memFree=115544484/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=1396836 CPUtime=31.09 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 32250 0 0 0 3069 40 0 0 20 0 20 0 54621913 19521036288 349209 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 349209 5526 1 0 1163816 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=0 CPUtime=24.17 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 8896 0 0 0 2395 22 0 0 20 0 20 0 54621916 19521036288 349209 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=16296 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 349209 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=1355876 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 349209 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=1333300 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 349209 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 31.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1396836 KiB

[startup+51.1136 s]
/proc/loadavg: 4.51 4.57 4.55 6/327 50935
/proc/meminfo: memFree=114493972/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=2331308 CPUtime=58.04 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 40403 0 0 0 5742 62 0 0 20 0 20 0 54621913 19521036288 582827 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 582827 5526 1 0 1163820 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=1497200 CPUtime=48.99 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 10716 0 0 0 4866 33 0 0 20 0 20 0 54621916 19521036288 582827 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=30340 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 582827 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 582827 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=616136 CPUtime=0 cores=0,2

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

/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 2547677 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=10190708 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 1416 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 2547677 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=16296 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 2547677 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 3096.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10190708 KiB

[startup+2802.3 s]
/proc/loadavg: 4.56 4.47 4.40 5/329 51202
/proc/meminfo: memFree=98338648/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=10190708 CPUtime=3168.12 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 232238 0 0 0 316169 643 0 0 20 0 20 0 54621913 19521036288 2547677 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 2547677 5526 1 0 2564208 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=10190708 CPUtime=2745.44 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 117646 0 0 0 274371 173 0 0 20 0 20 0 54621916 19521036288 2547677 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=10190708 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 2547677 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=16296 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 1464 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 2547677 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=10190708 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 2547677 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 3168.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10190708 KiB

[startup+2862.3 s]
/proc/loadavg: 4.72 4.54 4.43 5/329 51205
/proc/meminfo: memFree=98293608/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=10192772 CPUtime=3251.02 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 236389 0 0 0 324439 663 0 0 20 0 20 0 54621913 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 2548193 5526 1 0 2564208 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=10190708 CPUtime=2804.01 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 120819 0 0 0 280228 173 0 0 20 0 20 0 54621916 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=10190708 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=10192772 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 1465 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=10190708 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 3251.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10192772 KiB

[startup+2922.3 s]
/proc/loadavg: 4.55 4.52 4.43 8/329 51207
/proc/meminfo: memFree=98258348/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=10192772 CPUtime=3328.15 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 244185 0 0 0 332134 681 0 0 20 0 20 0 54621913 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 2548193 5526 1 0 2564208 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=10190708 CPUtime=2863.2 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 124940 0 0 0 286146 174 0 0 20 0 20 0 54621916 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=10190708 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=10190708 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 1514 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 3328.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10192772 KiB

[startup+2982.3 s]
/proc/loadavg: 4.48 4.51 4.43 5/329 51209
/proc/meminfo: memFree=98135304/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=10192772 CPUtime=3399.31 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 249192 0 0 0 339237 694 0 0 20 0 20 0 54621913 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 2548193 5526 1 0 2564208 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=10192772 CPUtime=2922.63 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 126531 0 0 0 292089 174 0 0 20 0 20 0 54621916 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=10192772 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 1562 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=10192772 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 3399.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10192772 KiB

[startup+3042.3 s]
/proc/loadavg: 4.58 4.54 4.45 6/328 51211
/proc/meminfo: memFree=98059252/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=10192772 CPUtime=3474.54 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 255047 0 0 0 346741 713 0 0 20 0 20 0 54621913 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 2548193 5526 1 0 2564208 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=5504 CPUtime=2981.77 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 129813 0 0 0 298002 175 0 0 20 0 20 0 54621916 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=10192772 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=10192772 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 1610 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=10192772 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 3474.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10192772 KiB

[startup+3102.3 s]
/proc/loadavg: 4.69 4.58 4.47 6/329 51214
/proc/meminfo: memFree=97841440/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=10192772 CPUtime=3553.98 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 259174 0 0 0 354666 732 0 0 20 0 20 0 54621913 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 2548193 5526 1 0 2564208 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=10496 CPUtime=3040.77 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) S 50911 50914 50010 0 -1 4194368 133119 0 0 0 303902 175 0 0 20 0 20 0 54621916 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=10192772 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=16296 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 1611 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=10192772 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 3553.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10192772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3141.2 s]
/proc/loadavg: 4.67 4.59 4.47 6/329 51215
/proc/meminfo: memFree=97582720/131382120 swapFree=33010160/33010684
[pid=50914] ppid=50911 vsize=19063512 memory=10192772 CPUtime=3600.07 cores=0,2
/proc/50914/stat : 50914 (java) S 50911 50914 50010 0 -1 4194304 265070 0 0 0 359266 741 0 0 20 0 20 0 54621913 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
/proc/50914/statm: 4765878 2548193 5526 1 0 2564208 0
[pid=50914/tid=50916] ppid=50911 vsize=19063512 memory=7024 CPUtime=3078.99 cores=0,2
/proc/50914/task/50916/stat : 50916 (java) R 50911 50914 50010 0 -1 4194368 136694 0 0 0 307723 176 0 0 20 0 20 0 54621916 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50925] ppid=50911 vsize=19063512 memory=8380228 CPUtime=0 cores=0,2
/proc/50914/task/50925/stat : 50925 (Finalizer) S 50911 50914 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54621921 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50932] ppid=50911 vsize=19063512 memory=6816 CPUtime=0 cores=0,2
/proc/50914/task/50932/stat : 50932 (Common-Cleaner) S 50911 50914 50010 0 -1 4194368 1611 0 0 0 0 0 0 0 20 0 20 0 54621922 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
[pid=50914/tid=50933] ppid=50911 vsize=19063512 memory=7351804 CPUtime=0 cores=0,2
/proc/50914/task/50933/stat : 50933 (Timer-0) S 50911 50914 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54622000 19521036288 2548193 18446744073709551615 93859495014400 93859495018096 140723239908096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93859495025912 93859495026704 93859495436288 140723239913854 140723239913958 140723239913958 140723239919560 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10192772 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.01 s, system=7.45125 s

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

[startup+3141.4 s]*
/proc/loadavg: 4.67 4.59 4.47 5/311 51218
/proc/meminfo: memFree=102761644/131382120 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3141.42
CPU time (s): 3600.47
CPU user time (s): 3593.01
CPU system time (s): 7.45125
CPU usage (%): 114.613
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 10193412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.01
system time used= 7.45125
maximum resident set size= 10193668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122398
involuntary context switches= 33502


# summary of solver processes directly reported to runsolver:
#   pid: 50914
#   total CPU time (s): 3600.47
#   total CPU user time (s): 3593.01
#   total CPU system time (s): 7.45125

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1706 second user time and 30.1256 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-01 19:03:48
IDJOB=4497428
IDBENCH=148185
IDSOLVER=3361
FILE ID=nodeC008/4497428-1751389428
RUNJOBID= nodeC008-1751383037-50020
SLURM_JOB_ID= 9598228
Free space on /tmp= 433040 MiB

SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497428-1751389428/watcher-4497428-1751389428 -o /tmp/evaluation-result-4497428-1751389428/solver-4497428-1751389428 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751383037-50020 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4497428-1751389428.opb

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1963012603

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        116865980 kB
MemAvailable:   116663952 kB
Buffers:            2144 kB
Cached:           607384 kB
SwapCached:           16 kB
Active:         13539000 kB
Inactive:         389008 kB
Active(anon):   13299772 kB
Inactive(anon):    36628 kB
Active(file):     239228 kB
Inactive(file):   352380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1324 kB
Writeback:             0 kB
AnonPages:      13320548 kB
Mapped:           123348 kB
Shmem:             17920 kB
KReclaimable:      91980 kB
Slab:             175428 kB
SReclaimable:      91980 kB
SUnreclaim:        83448 kB
KernelStack:        4992 kB
PageTables:        29760 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   20192360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13006848 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC008 at 2025-07-01 19:56:10