Trace number 4519658

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)-16 3600.22 3469.92

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
MD5SUM4558152054a2b5e07a56681a0171fc0f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-16
Best CPU time to get the best result obtained on this benchmark17.9388
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4160
Total number of constraints1744
Number of constraints which are clauses1600
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints64
Minimum length of a constraint3
Maximum length of a constraint33
Number of terms in the objective function 1024
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 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.15	c Pseudo Boolean Optimization by upper bound
0.13/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	c  - never skip resolution steps
0.13/0.15	c  - Auto-division on coefficients is disabled
0.13/0.15	c  - No postprocessing
0.13/0.15	c  - Conflict is considered as is when resolving
0.13/0.15	c  - Use constraints as they come during conflict analysis
0.13/0.15	c  - Weaken first using unassigned literals
0.13/0.15	c  - Bump strategy: ALWAYS_ONE
0.13/0.15	c  - Bumper: ANY
0.13/0.15	c --- Begin Solver configuration ---
0.13/0.15	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.13/0.15	c Learn all clauses as in MiniSAT
0.13/0.15	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	c No reason simplification
0.13/0.15	c Armin Biere (Picosat) restarts strategy
0.13/0.15	c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.15	c timeout=2147483s
0.13/0.15	c DB Simplification allowed=false
0.13/0.15	c Listener: none
0.13/0.15	c --- End Solver configuration ---
0.13/0.15	c solving HOME/instance-4519658-1751561557.opb
0.13/0.15	c reading problem ... 
0.13/0.15	c  objective function found
0.33/0.23	c ... done. Wall clock time 0.077s.
0.33/0.23	c declared #vars     4160
0.33/0.23	c #constraints  1744
0.33/0.23	c constraints type 
0.33/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 64
0.33/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 80
0.33/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1600
0.33/0.23	c 1744 constraints processed.
0.33/0.25	c objective function length is 1024 literals
1.88/1.05	c SATISFIABLE
1.88/1.05	c OPTIMIZING...
1.88/1.05	c Got one! Elapsed wall clock time (in seconds):0.896
1.88/1.05	o 0
3.38/1.89	c Got one! Elapsed wall clock time (in seconds):1.744
3.38/1.89	o -1
6.23/3.42	c Got one! Elapsed wall clock time (in seconds):3.271
6.23/3.42	o -14
98.21/93.03	c cleaning 2490 clauses out of 5000
184.95/178.25	c Got one! Elapsed wall clock time (in seconds):178.097
184.95/178.25	o -16
667.67/655.93	c cleaning 4249 clauses out of 8510
2416.60/2396.44	c cleaning 5618 clauses out of 11263
3600.01/3469.81	c starts		: 51
3600.01/3469.83	c conflicts		: 21363
3600.01/3469.83	c decisions		: 352613
3600.01/3469.83	c propagations		: 2873605
3600.01/3469.83	c inspects		: 4603041835
3600.01/3469.83	c shortcuts		: 0
3600.01/3469.83	c learnt literals	: 0
3600.01/3469.83	c learnt binary clauses	: 0
3600.01/3469.83	c learnt ternary clauses	: 0
3600.01/3469.83	c learnt constraints	: 21363
3600.01/3469.83	c ignored constraints	: 0
3600.01/3469.83	c root simplifications	: 0
3600.01/3469.83	c removed literals (reason simplification)	: 0
3600.01/3469.83	c reason swapping (by a shorter reason)	: 0
3600.01/3469.83	c Calls to reduceDB	: 3
3600.01/3469.83	c Number of update (reduction) of LBD	: 0
3600.01/3469.83	c Imported unit clauses	: 0
3600.01/3469.84	c No decision after first conflict	: false
3600.01/3469.84	c number of reductions to clauses (during analyze)	: 0
3600.01/3469.84	c number of learned constraints concerned by reduction	: 0
3600.01/3469.84	c number of learning phase by resolution	: 0
3600.01/3469.84	c number of learning phase by cutting planes	: 0
3600.01/3469.84	c number of rounding to 1 operations	: 0
3600.01/3469.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3469.84	c number of reductions of the coefficients by power 2 	: 0
3600.01/3469.84	c number of right shift for reduction by power 2 	: 0
3600.01/3469.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3469.84	c number of ending skipping 	: 0
3600.01/3469.84	c number of internal skipping 	: 0
3600.01/3469.84	c number of derivation steps 	: 281688
3600.01/3469.84	c number of skipped derivation steps 	: 0
3600.01/3469.84	c number of remaining unassigned 	: 27857
3600.01/3469.84	c number of remaining assigned 	: 126918526
3600.01/3469.84	c number of falsified literals weakened from reason	: 0
3600.01/3469.84	c number of falsified literals weakened from conflict	: 0
3600.01/3469.84	c time for arithmetic operations	: 1805357241
3600.01/3469.85	c minimum degree of deleted constraints	: null
3600.01/3469.85	c maximum degree of deleted constraints	: null
3600.01/3469.85	c number of deleted constraints	: 0
3600.01/3469.85	c speed (assignments/second)	: 828.2280289855239
3600.01/3469.85	c non guided choices	: 5257
3600.01/3469.86	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 134
3600.01/3469.86	c learnt constraints type org.sat4j.pb.constraints.pb.MaxWatchPb	: 8631
3600.01/3469.86	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 241
3600.01/3469.86	s SATISFIABLE
3600.01/3469.86	c Found 4 solution(s)
3600.01/3469.89	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 
3600.01/3469.89	c objective function=-16
3600.01/3469.89	c Total wall clock time (in seconds): 3469.738

Verifier Data 

OK	-16

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: 63665 MiB (53501 MiB free)
  memory of node 1: 64507 MiB (39623 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519658-1751561557/watcher-4519658-1751561557 -o /tmp/evaluation-result-4519658-1751561557/solver-4519658-1751561557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751552108-77823 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4519658-1751561557.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=79096, runsolver pid=79093
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.74 4.80 4.69 5/338 79114
/proc/meminfo: memFree=95328008/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=18930384 memory=57792 CPUtime=0.13 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 6582 0 0 0 11 2 0 0 20 0 18 0 71834598 19384713216 14448 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4732596 14448 5341 1 0 547620 0
[pid=79096/tid=79098] ppid=79093 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 5087 0 0 0 7 1 0 0 20 0 18 0 71834599 19384713216 14448 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71834601 19384713216 14448 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=18930384 memory=55186957820777 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 71834602 19384713216 14448 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57792 KiB

[startup+0.205701 s]*
/proc/loadavg: 4.74 4.80 4.69 7/338 79114
/proc/meminfo: memFree=95322400/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=18930384 memory=66568 CPUtime=0.33 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 7144 0 0 0 31 2 0 0 20 0 18 0 71834598 19384713216 16642 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4732596 16642 5437 1 0 548001 0
[pid=79096/tid=79098] ppid=79093 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 5385 0 0 0 16 1 0 0 20 0 18 0 71834599 19384713216 16642 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=18930384 memory=2697 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71834601 19384713216 16642 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 71834602 19384713216 16642 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66568 KiB

[startup+0.30561 s]*
/proc/loadavg: 4.74 4.80 4.69 7/339 79115
/proc/meminfo: memFree=95307592/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=18996948 memory=79752 CPUtime=0.52 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 8892 0 0 0 49 3 0 0 20 0 19 0 71834598 19452874752 19938 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4749237 19938 5469 1 0 549419 0
[pid=79096/tid=79098] ppid=79093 vsize=18996948 memory=-6000919494114567016 CPUtime=0.25 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 5496 0 0 0 23 2 0 0 20 0 19 0 71834599 19452874752 19938 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71834601 19452874752 19938 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 71834602 19452874752 19938 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71834624 19452874752 19938 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79752 KiB

[startup+0.70024 s]
/proc/loadavg: 4.74 4.80 4.69 6/339 79115
/proc/meminfo: memFree=95272556/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=164168 CPUtime=1.28 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 12103 0 0 0 123 5 0 0 20 0 20 0 71834598 19521036288 41042 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 41042 5501 1 0 552132 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=18688 CPUtime=0.62 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) S 79093 79096 77813 0 -1 4194368 5570 0 0 0 59 3 0 0 20 0 20 0 71834599 19521036288 41042 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 41042 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 41042 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 41042 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164168 KiB

[startup+1.50023 s]
/proc/loadavg: 4.74 4.80 4.69 7/340 79116
/proc/meminfo: memFree=95203240/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=202480 CPUtime=2.84 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 12485 0 0 0 277 7 0 0 20 0 20 0 71834598 19521036288 50620 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 50620 5501 1 0 552213 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=10624 CPUtime=1.33 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 5599 0 0 0 130 3 0 0 20 0 20 0 71834599 19521036288 50620 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 50620 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 50620 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 50620 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202480 KiB

[startup+3.10593 s]
/proc/loadavg: 4.84 4.82 4.70 7/340 79116
/proc/meminfo: memFree=95010728/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=378588 CPUtime=5.73 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 13897 0 0 0 562 11 0 0 20 0 20 0 71834598 19521036288 94647 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 94647 5501 1 0 778037 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=10624 CPUtime=2.85 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 5687 0 0 0 279 6 0 0 20 0 20 0 71834599 19521036288 94647 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=-6000919494114567016 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 94647 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 94647 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 94647 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 378588 KiB

[startup+6.3002 s]
/proc/loadavg: 4.84 4.82 4.70 5/340 79116
/proc/meminfo: memFree=94284980/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=1220468 CPUtime=9.33 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 18379 0 0 0 904 29 0 0 20 0 20 0 71834598 19521036288 305117 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 305117 5501 1 0 1080925 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=0 CPUtime=5.89 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 7111 0 0 0 568 21 0 0 20 0 20 0 71834599 19521036288 305117 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 305117 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 305117 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=202480 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 305117 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 9.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1220468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.85 4.83 4.70 5/340 79116
/proc/meminfo: memFree=93107176/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=2267364 CPUtime=15.96 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 20225 0 0 0 1548 48 0 0 20 0 20 0 71834598 19521036288 566841 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 566841 5533 1 0 1080953 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=202480 CPUtime=12.16 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 7713 0 0 0 1177 39 0 0 20 0 20 0 71834599 19521036288 566841 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 566841 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=2267364 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 566841 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 566841 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2267364 KiB

[startup+25.5002 s]
/proc/loadavg: 4.83 4.82 4.70 7/340 79116
/proc/meminfo: memFree=92869112/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=2494920 CPUtime=29.05 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 24278 0 0 0 2852 53 0 0 20 0 20 0 71834598 19521036288 623730 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 623730 5533 1 0 1080958 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=10624 CPUtime=24.58 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 9958 0 0 0 2417 41 0 0 20 0 20 0 71834599 19521036288 623730 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=2267364 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 623730 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 623730 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 623730 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 29.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2494920 KiB

[startup+51.1056 s]
/proc/loadavg: 4.68 4.78 4.69 5/341 79118
/proc/meminfo: memFree=92508516/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=2782340 CPUtime=55.2 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 36760 0 0 0 5459 61 0 0 20 0 20 0 71834598 19521036288 695585 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 695585 5533 1 0 1082152 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=2782340 CPUtime=49.79 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 12573 0 0 0 4934 45 0 0 20 0 20 0 71834599 19521036288 695585 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0

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

/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=-6000919494114567016 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 2181 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 3171.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288816 KiB

[startup+3162.3 s]
/proc/loadavg: 3.29 3.23 3.27 4/319 79382
/proc/meminfo: memFree=95252816/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3239.73 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 173625 0 0 0 323736 237 0 0 20 0 20 0 71834598 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 1072204 5565 1 0 1084288 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3123.38 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 88294 0 0 0 312270 68 0 0 20 0 20 0 71834599 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 2181 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=-6000919494114567016 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 3239.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288816 KiB

[startup+3222.3 s]
/proc/loadavg: 3.23 3.23 3.27 4/317 79384
/proc/meminfo: memFree=95253040/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3309.31 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 175074 0 0 0 330686 245 0 0 20 0 20 0 71834598 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 1072204 5565 1 0 1084288 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3182.63 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 88509 0 0 0 318195 68 0 0 20 0 20 0 71834599 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 2230 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=14444 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 3309.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288816 KiB

[startup+3282.3 s]
/proc/loadavg: 3.20 3.22 3.26 4/314 79386
/proc/meminfo: memFree=95250028/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3379 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 176605 0 0 0 337645 255 0 0 20 0 20 0 71834598 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 1072204 5565 1 0 1084288 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3241.88 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 89941 0 0 0 324120 68 0 0 20 0 20 0 71834599 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=-6000919494114567016 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 2230 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 3379 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288816 KiB

[startup+3342.3 s]
/proc/loadavg: 3.25 3.22 3.26 4/314 79388
/proc/meminfo: memFree=95245076/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3448.9 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 179366 0 0 0 344626 264 0 0 20 0 20 0 71834598 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 1072204 5565 1 0 1084290 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=10624 CPUtime=3301.04 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 91444 0 0 0 330036 68 0 0 20 0 20 0 71834599 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=14444 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 2254 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=14444 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 3448.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288816 KiB

[startup+3402.3 s]
/proc/loadavg: 3.23 3.23 3.26 4/315 79391
/proc/meminfo: memFree=95248488/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3519.12 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 181043 0 0 0 351639 273 0 0 20 0 20 0 71834598 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 1072204 5565 1 0 1084290 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3360.16 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 92979 0 0 0 335947 69 0 0 20 0 20 0 71834599 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 2254 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 3519.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288816 KiB

[startup+3462.3 s]
/proc/loadavg: 2.99 3.18 3.24 3/289 79427
/proc/meminfo: memFree=99890056/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3589.23 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 185873 0 0 0 358639 284 0 0 20 0 20 0 71834598 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 1072204 5565 1 0 1084294 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3419.48 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 95600 0 0 0 341879 69 0 0 20 0 20 0 71834599 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 2288 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=4288816 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 3589.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3469.8 s]
/proc/loadavg: 2.92 3.15 3.23 4/289 79427
/proc/meminfo: memFree=99890216/131249988 swapFree=33010160/33010684
[pid=79096] ppid=79093 vsize=19063512 memory=4288816 CPUtime=3600.01 cores=0,2
/proc/79096/stat : 79096 (java) S 79093 79096 77813 0 -1 4194304 186273 0 0 0 359713 288 0 0 20 0 20 0 71834598 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
/proc/79096/statm: 4765878 1072204 5565 1 0 1084294 0
[pid=79096/tid=79098] ppid=79093 vsize=19063512 memory=3200 CPUtime=3426.93 cores=0,2
/proc/79096/task/79098/stat : 79098 (java) R 79093 79096 77813 0 -1 4194368 95999 0 0 0 342623 70 0 0 20 0 20 0 71834599 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79107] ppid=79093 vsize=19063512 memory=-6000919494114567016 CPUtime=0 cores=0,2
/proc/79096/task/79107/stat : 79107 (Finalizer) S 79093 79096 77813 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71834601 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79114] ppid=79093 vsize=19063512 memory=17288 CPUtime=0 cores=0,2
/proc/79096/task/79114/stat : 79114 (Common-Cleaner) S 79093 79096 77813 0 -1 4194368 2288 0 0 0 0 0 0 0 20 0 20 0 71834602 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
[pid=79096/tid=79115] ppid=79093 vsize=19063512 memory=46336 CPUtime=0 cores=0,2
/proc/79096/task/79115/stat : 79115 (Timer-0) S 79093 79096 77813 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71834624 19521036288 1072204 18446744073709551615 94071846645760 94071846649456 140722920466080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94071846657272 94071846658064 94071851384832 140722920470910 140722920471014 140722920471014 140722920476616 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4288816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.31 s, system=2.9042 s

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

[startup+3469.9 s]*
/proc/loadavg: 2.92 3.15 3.23 3/271 79430
/proc/meminfo: memFree=104028148/131249988 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): 3469.92
CPU time (s): 3600.22
CPU user time (s): 3597.31
CPU system time (s): 2.9042
CPU usage (%): 103.755
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4291396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.31
system time used= 2.9042
maximum resident set size= 4291524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128429
involuntary context switches= 18724


# summary of solver processes directly reported to runsolver:
#   pid: 79096
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3597.31
#   total CPU system time (s): 2.9042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94956 second user time and 15.9813 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-03 18:52:37
IDJOB=4519658
IDBENCH=177345
IDSOLVER=3361
FILE ID=nodeC034/4519658-1751561557
RUNJOBID= nodeC034-1751552108-77823
SLURM_JOB_ID= 9598734
Free space on /tmp= 431140 MiB

SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519658-1751561557/watcher-4519658-1751561557 -o /tmp/evaluation-result-4519658-1751561557/solver-4519658-1751561557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751552108-77823 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4519658-1751561557.opb

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

MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=1992969856

nodeC034 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	: 0xb00002a
cpu MHz		: 3599.811
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.776
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.092
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.372
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.768
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.765
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3607.470
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3570.414
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        95360204 kB
MemAvailable:   118552260 kB
Buffers:            2128 kB
Cached:         23930500 kB
SwapCached:           36 kB
Active:         11723272 kB
Inactive:       23455884 kB
Active(anon):   11260388 kB
Inactive(anon):     4208 kB
Active(file):     462884 kB
Inactive(file): 23451676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1040 kB
Writeback:             0 kB
AnonPages:      11247656 kB
Mapped:           124204 kB
Shmem:             18068 kB
KReclaimable:     233072 kB
Slab:             325928 kB
SReclaimable:     233072 kB
SUnreclaim:        92856 kB
KernelStack:        5184 kB
PageTables:        25676 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   13212540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10956800 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431144 MiB
End job on nodeC034 at 2025-07-03 19:50:28