Trace number 4459066

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12? (TO) 3600.24 3500.12

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_34.opb
MD5SUMfe39f0a7e8bd71485db4c3a1af739794
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 benchmark630
Best CPU time to get the best result obtained on this benchmark178.235
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables750960
Total number of constraints47040
Number of constraints which are clauses23835
Number of constraints which are cardinality constraints (but not clauses)20790
Number of constraints which are nor clauses,nor cardinality constraints2415
Minimum length of a constraint34
Maximum length of a constraint39
Number of terms in the objective function 1260
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 1260
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1260
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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	 - never skip resolution steps
0.14/0.15	 - Auto-division on coefficients is disabled
0.14/0.15	 - No postprocessing
0.14/0.15	 - Conflict is considered as is when resolving
0.14/0.15	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.15	 - Weaken first using unassigned literals
0.14/0.15	 - Bump strategy: ALWAYS_ONE
0.14/0.15	 - Bumper: ASSIGNED
0.14/0.15	--- Begin Solver configuration ---
0.14/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.15	Learn all clauses as in MiniSAT
0.14/0.15	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	No reason simplification
0.14/0.15	Armin Biere (Picosat) restarts strategy
0.14/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.15	timeout=2147483s
0.14/0.15	DB Simplification allowed=false
0.14/0.15	Listener: none
0.14/0.15	--- End Solver configuration ---
0.14/0.15	c Pseudo Boolean Optimization by upper bound
0.14/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	c  - never skip resolution steps
0.14/0.15	c  - Auto-division on coefficients is disabled
0.14/0.15	c  - No postprocessing
0.14/0.15	c  - Conflict is considered as is when resolving
0.14/0.15	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.15	c  - Weaken first using unassigned literals
0.14/0.15	c  - Bump strategy: ALWAYS_ONE
0.14/0.15	c  - Bumper: ASSIGNED
0.14/0.15	c --- Begin Solver configuration ---
0.14/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.15	c Learn all clauses as in MiniSAT
0.14/0.15	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	c No reason simplification
0.14/0.15	c Armin Biere (Picosat) restarts strategy
0.14/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.15	c timeout=2147483s
0.14/0.15	c DB Simplification allowed=false
0.14/0.15	c Listener: none
0.14/0.15	c --- End Solver configuration ---
0.14/0.15	c solving HOME/instance-4459066-1721900102.opb
0.14/0.15	c reading problem ... 
0.14/0.15	c  objective function found
85.67/84.12	c ... done. Wall clock time 83.964s.
85.67/84.12	c declared #vars     750960
85.67/84.12	c #constraints  47040
85.67/84.12	c constraints type 
85.67/84.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 23205
85.67/84.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 23835
85.67/84.12	c 47040 constraints processed.
85.67/84.13	c objective function length is 1260 literals
111.63/106.77	c cleaning 2448 clauses out of 5001 with flag 0/5001
138.05/130.25	c cleaning 4110 clauses out of 8553 with flag 0/11001
164.14/155.36	c cleaning 3605 clauses out of 11445 with flag 0/18003
205.22/195.24	c cleaning 5480 clauses out of 15837 with flag 0/26000
247.96/235.95	c cleaning 6175 clauses out of 19357 with flag 0/35000
358.47/344.46	c cleaning 8364 clauses out of 23182 with flag 0/45000
414.68/398.68	c cleaning 7039 clauses out of 25818 with flag 0/56000
496.45/477.43	c cleaning 9453 clauses out of 30780 with flag 0/68001
595.14/572.80	c cleaning 10613 clauses out of 34326 with flag 0/81000
932.91/907.22	c cleaning 13074 clauses out of 37713 with flag 0/95000
1473.72/1444.18	c cleaning 14133 clauses out of 39639 with flag 0/110000
1646.27/1612.16	c cleaning 13151 clauses out of 41506 with flag 0/126000
2191.31/2152.19	c cleaning 16419 clauses out of 45355 with flag 0/143000
2881.31/2840.23	c cleaning 15457 clauses out of 46937 with flag 0/161001
3180.50/3135.40	c cleaning 15499 clauses out of 50479 with flag 0/180000
3410.63/3325.07	c cleaning 17524 clauses out of 54980 with flag 0/200000
3600.09/3500.02	c starts		: 118
3600.09/3500.02	c conflicts		: 207522
3600.09/3500.02	c decisions		: 17023888
3600.09/3500.02	c propagations		: 35286971
3600.09/3500.02	c inspects		: 466662592
3600.09/3500.02	c shortcuts		: 0
3600.09/3500.02	c learnt literals	: 0
3600.09/3500.02	c learnt binary clauses	: 2
3600.09/3500.02	c learnt ternary clauses	: 0
3600.09/3500.02	c learnt constraints	: 207522
3600.09/3500.02	c ignored constraints	: 0
3600.09/3500.02	c root simplifications	: 0
3600.09/3500.02	c removed literals (reason simplification)	: 0
3600.09/3500.02	c reason swapping (by a shorter reason)	: 0
3600.09/3500.02	c Calls to reduceDB	: 16
3600.09/3500.02	c Number of update (reduction) of LBD	: 0
3600.09/3500.02	c Imported unit clauses	: 0
3600.09/3500.02	c No decision after first conflict	: false
3600.09/3500.02	c number of reductions to clauses (during analyze)	: 0
3600.09/3500.02	c number of learned constraints concerned by reduction	: 0
3600.09/3500.02	c number of learning phase by resolution	: 0
3600.09/3500.02	c number of learning phase by cutting planes	: 0
3600.09/3500.02	c number of rounding to 1 operations	: 301492
3600.09/3500.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3500.02	c number of reductions of the coefficients by power 2 	: 0
3600.09/3500.02	c number of right shift for reduction by power 2 	: 0
3600.09/3500.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3500.02	c number of ending skipping 	: 0
3600.09/3500.02	c number of internal skipping 	: 0
3600.09/3500.02	c number of derivation steps 	: 520773
3600.09/3500.03	c number of skipped derivation steps 	: 0
3600.09/3500.03	c number of remaining unassigned 	: 16060
3600.09/3500.03	c number of remaining assigned 	: 96120852
3600.09/3500.03	c number of falsified literals weakened from reason	: 0
3600.09/3500.03	c number of falsified literals weakened from conflict	: 0
3600.09/3500.03	c time for arithmetic operations	: 3863480732
3600.09/3500.03	c minimum degree of deleted constraints	: 4
3600.09/3500.03	c maximum degree of deleted constraints	: 1092725930912623202495
3600.09/3500.03	c number of deleted constraints	: 162544
3600.09/3500.03	c speed (assignments/second)	: 10330.335941852401
3600.09/3500.03	c non guided choices	: 13794374
3600.09/3500.04	c timeout
3600.09/3500.06	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 57
3600.09/3500.06	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 37770
3600.09/3500.06	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2
3600.09/3500.06	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 7149
3600.09/3500.06	s UNKNOWN
3600.09/3500.06	c Total wall clock time (in seconds): 3499.909

Verifier Data 

ERROR: no interpretation found !

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: 63931 MiB (61411 MiB free)
  memory of node 1: 64510 MiB (62098 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100186 s]*
/proc/loadavg: 2.58 3.80 3.99 7/284 232327
/proc/meminfo: memFree=126365672/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=18975048 memory=65368 CPUtime=0.14 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 7200 0 0 0 12 2 0 0 20 0 18 0 26538770 19430449152 16342 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4743762 16342 5720 1 0 549322 0
[pid=232309/tid=232311] ppid=232306 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 1077936192 5749 0 0 0 7 1 0 0 20 0 18 0 26538770 19430449152 16342 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=18975048 memory=224262862190 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26538773 19430449152 16342 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=18975048 memory=1555469 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 26538774 19430449152 16342 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65368 KiB

[startup+0.210068 s]*
/proc/loadavg: 2.58 3.80 3.99 9/285 232328
/proc/meminfo: memFree=126187660/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=18975048 memory=137360 CPUtime=0.33 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 7651 0 0 0 30 3 0 0 20 0 18 0 26538770 19430449152 34340 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4743762 34340 5902 1 0 549639 0
[pid=232309/tid=232311] ppid=232306 vsize=18975048 memory=7872697190685737277 CPUtime=0.19 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 6093 0 0 0 16 3 0 0 20 0 18 0 26538770 19430449152 34340 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=18975048 memory=219966341476 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26538773 19430449152 34340 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=18975048 memory=14981057205745047 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 26538774 19430449152 34340 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 137360 KiB

[startup+0.306068 s]*
/proc/loadavg: 2.58 3.80 3.99 5/285 232328
/proc/meminfo: memFree=125702056/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=18975048 memory=454128 CPUtime=0.48 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 8167 0 0 0 38 10 0 0 20 0 18 0 26538770 19430449152 113532 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4743762 113532 5902 1 0 549805 0
[pid=232309/tid=232311] ppid=232306 vsize=18975048 memory=-8745259758188733116 CPUtime=0.28 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 6455 0 0 0 19 9 0 0 20 0 18 0 26538770 19430449152 113532 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26538773 19430449152 113532 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 26538774 19430449152 113532 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 454128 KiB

[startup+0.701075 s]
/proc/loadavg: 2.85 3.83 4.00 7/290 232340
/proc/meminfo: memFree=124606732/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19041612 memory=828172 CPUtime=1 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 10368 0 0 0 83 17 0 0 20 0 19 0 26538770 19498610688 207043 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4760403 207043 5902 1 0 551166 0
[pid=232309/tid=232311] ppid=232306 vsize=19041612 memory=5500 CPUtime=0.63 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 6823 0 0 0 48 15 0 0 20 0 19 0 26538770 19498610688 207043 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19041612 memory=12348 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26538773 19498610688 207043 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26538774 19498610688 207043 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 828172 KiB

[startup+1.50108 s]
/proc/loadavg: 2.85 3.83 4.00 6/328 232387
/proc/meminfo: memFree=123326912/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19041612 memory=830248 CPUtime=1.93 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 10917 0 0 0 176 17 0 0 20 0 19 0 26538770 19498610688 207562 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4760403 207562 5934 1 0 551528 0
[pid=232309/tid=232311] ppid=232306 vsize=19041612 memory=12348 CPUtime=1.4 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 6885 0 0 0 125 15 0 0 20 0 19 0 26538770 19498610688 207562 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26538773 19498610688 207562 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26538774 19498610688 207562 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 830248 KiB

[startup+3.10609 s]
/proc/loadavg: 2.85 3.83 4.00 5/331 232390
/proc/meminfo: memFree=119819888/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19041612 memory=1201744 CPUtime=3.73 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 12967 0 1 0 347 26 0 0 20 0 19 0 26538770 19498610688 300436 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4760403 300436 5934 1 0 813194 0
[pid=232309/tid=232311] ppid=232306 vsize=19041612 memory=0 CPUtime=2.91 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 7196 0 0 0 269 22 0 0 20 0 19 0 26538770 19498610688 300436 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26538773 19498610688 300436 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19041612 memory=12348 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26538774 19498610688 300436 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 3.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1201744 KiB

[startup+6.30109 s]
/proc/loadavg: 3.19 3.89 4.02 6/331 232390
/proc/meminfo: memFree=119326484/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19041612 memory=1430260 CPUtime=7.88 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 25207 0 1 0 754 34 0 0 20 0 19 0 26538770 19498610688 357565 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4760403 357565 5951 1 0 950355 0
[pid=232309/tid=232311] ppid=232306 vsize=19041612 memory=12348 CPUtime=5.87 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 7507 0 0 0 561 26 0 0 20 0 19 0 26538770 19498610688 357565 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19041612 memory=13492 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26538773 19498610688 357565 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19041612 memory=69184 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26538774 19498610688 357565 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 7.88 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1430260 KiB

[startup+12.7003 s]
/proc/loadavg: 3.25 3.89 4.02 5/331 232391
/proc/meminfo: memFree=118966596/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19041612 memory=1772256 CPUtime=14.31 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 26188 0 1 0 1389 42 0 0 20 0 19 0 26538770 19498610688 443064 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4760403 443064 5951 1 0 1198934 0
[pid=232309/tid=232311] ppid=232306 vsize=19041612 memory=69184 CPUtime=11.95 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 7830 0 0 0 1163 32 0 0 20 0 19 0 26538770 19498610688 443064 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26538773 19498610688 443064 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26538774 19498610688 443064 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 14.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1772256 KiB

[startup+25.5003 s]
/proc/loadavg: 3.37 3.89 4.02 6/331 232393
/proc/meminfo: memFree=118952644/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19041612 memory=1777136 CPUtime=27.15 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 31194 0 1 0 2671 44 0 0 20 0 19 0 26538770 19498610688 444284 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4760403 444284 5951 1 0 1198950 0
[pid=232309/tid=232311] ppid=232306 vsize=19041612 memory=0 CPUtime=24.13 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 9282 0 0 0 2380 33 0 0 20 0 19 0 26538770 19498610688 444284 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19041612 memory=1775036 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26538773 19498610688 444284 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19041612 memory=1775020 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26538774 19498610688 444284 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 27.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1777136 KiB

[startup+51.1071 s]
/proc/loadavg: 3.67 3.92 4.02 5/330 232397
/proc/meminfo: memFree=118918104/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19041612 memory=1786056 CPUtime=52.73 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 36808 0 1 0 5224 49 0 0 20 0 19 0 26538770 19498610688 446514 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4760403 446514 5951 1 0 1198950 0
[pid=232309/tid=232311] ppid=232306 vsize=19041612 memory=-8745259758188733116 CPUtime=48.47 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 11767 0 0 0 4813 34 0 0 20 0 19 0 26538770 19498610688 446514 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19041612 memory=40920 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26538773 19498610688 446514 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19041612 memory=13492 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26538774 19498610688 446514 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 52.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1786056 KiB

[startup+102.301 s]
/proc/loadavg: 4.11 4.00 4.04 5/329 232409
/proc/meminfo: memFree=117799308/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19108176 memory=2889976 CPUtime=106.94 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 50006 0 1 0 10616 78 0 0 20 0 20 0 26538770 19566772224 722494 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4777044 722494 5990 1 0 1508777 0

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

/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26538773 19566772224 3973772 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19108176 memory=13492 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 3840 0 0 0 0 0 0 0 20 0 20 0 26538774 19566772224 3973772 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232406] ppid=232306 vsize=19108176 memory=69184 CPUtime=0 cores=5,7
/proc/232309/task/232406/stat : 232406 (Timer-0) S 232306 232309 232242 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26547187 19566772224 3973772 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 3146.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15895088 KiB

[startup+3162.3 s]
/proc/loadavg: 4.42 4.53 4.41 6/334 233933
/proc/meminfo: memFree=73398888/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19108176 memory=16245856 CPUtime=3209.02 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 516150 0 1 0 320338 564 0 0 20 0 20 0 26538770 19566772224 4061464 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4777044 4061464 6009 1 0 4090273 0
[pid=232309/tid=232311] ppid=232306 vsize=19108176 memory=15849764 CPUtime=3069.23 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 220389 0 0 0 306663 260 0 0 20 0 20 0 26538770 19566772224 4061464 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19108176 memory=69184 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26538773 19566772224 4061464 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19108176 memory=15901232 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 3911 0 0 0 0 0 0 0 20 0 20 0 26538774 19566772224 4061464 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232406] ppid=232306 vsize=19108176 memory=15901232 CPUtime=0 cores=5,7
/proc/232309/task/232406/stat : 232406 (Timer-0) S 232306 232309 232242 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 26547187 19566772224 4061464 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 3209.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16245856 KiB

[startup+3222.3 s]
/proc/loadavg: 4.82 4.62 4.44 6/337 234116
/proc/meminfo: memFree=73279180/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19174740 memory=16310240 CPUtime=3287.41 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 546293 0 1 0 328158 583 0 0 20 0 21 0 26538770 19634933760 4077560 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4793685 4077560 6008 1 0 4094872 0
[pid=232309/tid=232311] ppid=232306 vsize=19174740 memory=15849764 CPUtime=3125.19 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 225098 0 0 0 312257 262 0 0 20 0 21 0 26538770 19634933760 4077560 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19174740 memory=16310104 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 26538773 19634933760 4077560 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19174740 memory=16310104 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 3916 0 0 0 0 0 0 0 20 0 21 0 26538774 19634933760 4077560 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232406] ppid=232306 vsize=19174740 memory=15888 CPUtime=0 cores=5,7
/proc/232309/task/232406/stat : 232406 (Timer-0) S 232306 232309 232242 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 26547187 19634933760 4077560 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 3287.41 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16310240 KiB

[startup+3282.3 s]
/proc/loadavg: 4.71 4.64 4.46 5/337 234126
/proc/meminfo: memFree=73240168/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19174740 memory=16310388 CPUtime=3358.5 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 551097 0 1 0 335259 591 0 0 20 0 21 0 26538770 19634933760 4077597 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4793685 4077597 6008 1 0 4094872 0
[pid=232309/tid=232311] ppid=232306 vsize=19174740 memory=16310340 CPUtime=3182.4 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 227149 0 0 0 317977 263 0 0 20 0 21 0 26538770 19634933760 4077597 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19174740 memory=69184 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 26538773 19634933760 4077597 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19174740 memory=15917624 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 3951 0 0 0 0 0 0 0 20 0 21 0 26538774 19634933760 4077597 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232406] ppid=232306 vsize=19174740 memory=13492 CPUtime=0 cores=5,7
/proc/232309/task/232406/stat : 232406 (Timer-0) S 232306 232309 232242 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 26547187 19634933760 4077597 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 3358.5 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16310388 KiB

[startup+3342.3 s]
/proc/loadavg: 4.59 4.61 4.46 5/337 234137
/proc/meminfo: memFree=73239452/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19174740 memory=16310720 CPUtime=3432.77 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 575837 0 1 0 342674 603 0 0 20 0 21 0 26538770 19634933760 4077680 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4793685 4077680 6008 1 0 4094872 0
[pid=232309/tid=232311] ppid=232306 vsize=19174740 memory=16310388 CPUtime=3239.33 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) S 232306 232309 232242 0 -1 1077936192 229933 0 0 0 323670 263 0 0 20 0 21 0 26538770 19634933760 4077680 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19174740 memory=16310652 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 26538773 19634933760 4077680 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19174740 memory=13492 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 3951 0 0 0 0 0 0 0 20 0 21 0 26538774 19634933760 4077680 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232406] ppid=232306 vsize=19174740 memory=16310720 CPUtime=0 cores=5,7
/proc/232309/task/232406/stat : 232406 (Timer-0) S 232306 232309 232242 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 26547187 19634933760 4077680 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 3432.77 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16310720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.43 4.56 4.45 5/339 234208
/proc/meminfo: memFree=73265212/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19174740 memory=16310788 CPUtime=3497.5 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 579321 0 1 0 349141 609 0 0 20 0 21 0 26538770 19634933760 4077697 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4793685 4077697 6008 1 0 4094872 0
[pid=232309/tid=232311] ppid=232306 vsize=19174740 memory=16310532 CPUtime=3298 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 231929 0 0 0 329536 264 0 0 20 0 21 0 26538770 19634933760 4077697 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 36 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19174740 memory=16310780 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 26538773 19634933760 4077697 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19174740 memory=69184 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 3971 0 0 0 0 0 0 0 20 0 21 0 26538774 19634933760 4077697 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232406] ppid=232306 vsize=19174740 memory=-8745259758188733116 CPUtime=0 cores=5,7
/proc/232309/task/232406/stat : 232406 (Timer-0) S 232306 232309 232242 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 26547187 19634933760 4077697 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 3497.5 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16310788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.47 4.55 4.45 6/339 234219
/proc/meminfo: memFree=73238580/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19174740 memory=16310832 CPUtime=3560.12 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 600883 0 1 0 355397 615 0 0 20 0 21 0 26538770 19634933760 4077708 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4793685 4077708 6008 1 0 4094872 0
[pid=232309/tid=232311] ppid=232306 vsize=19174740 memory=13492 CPUtime=3357.01 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 235592 0 0 0 335436 265 0 0 20 0 21 0 26538770 19634933760 4077708 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 36 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19174740 memory=16310832 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 26538773 19634933760 4077708 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19174740 memory=16310832 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 3971 0 0 0 0 0 0 0 20 0 21 0 26538774 19634933760 4077708 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232406] ppid=232306 vsize=19174740 memory=13492 CPUtime=0 cores=5,7
/proc/232309/task/232406/stat : 232406 (Timer-0) S 232306 232309 232242 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 26547187 19634933760 4077708 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 3560.12 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16310832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3500 s]*
/proc/loadavg: 4.45 4.54 4.45 5/338 234293
/proc/meminfo: memFree=87518100/131524600 swapFree=131056028/131071996
[pid=232309] ppid=232306 vsize=19174740 memory=16310840 CPUtime=3600.09 cores=5,7
/proc/232309/stat : 232309 (java) S 232306 232309 232242 0 -1 1077936128 603522 0 1 0 359391 618 0 0 20 0 21 0 26538770 19634933760 4077710 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
/proc/232309/statm: 4793685 4077710 6008 1 0 4094872 0
[pid=232309/tid=232311] ppid=232306 vsize=19174740 memory=-9175636088501019324 CPUtime=3394.05 cores=5,7
/proc/232309/task/232311/stat : 232311 (java) R 232306 232309 232242 0 -1 4194368 236818 0 0 0 339139 266 0 0 20 0 21 0 26538770 19634933760 4077710 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232320] ppid=232306 vsize=19174740 memory=1554563 CPUtime=0 cores=5,7
/proc/232309/task/232320/stat : 232320 (Finalizer) S 232306 232309 232242 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 26538773 19634933760 4077710 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232327] ppid=232306 vsize=19174740 memory=1828592 CPUtime=0 cores=5,7
/proc/232309/task/232327/stat : 232327 (Common-Cleaner) S 232306 232309 232242 0 -1 1077936192 4017 0 0 0 0 0 0 0 20 0 21 0 26538774 19634933760 4077710 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
[pid=232309/tid=232406] ppid=232306 vsize=19174740 memory=2068616 CPUtime=0 cores=5,7
/proc/232309/task/232406/stat : 232406 (Timer-0) S 232306 232309 232242 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 26547187 19634933760 4077710 134679101440 94227631079424 94227631083120 140722546002864 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94227631090936 94227631091728 94227663568896 140722546004976 140722546005089 140722546005089 140722546012104 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16310840 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594 s, system=6.2315 s

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

[startup+3500.11 s]*
/proc/loadavg: 4.45 4.54 4.45 5/318 234296
/proc/meminfo: memFree=103837824/131524600 swapFree=131056028/131071996
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): 3500.12
CPU time (s): 3600.24
CPU user time (s): 3594
CPU system time (s): 6.2315
CPU usage (%): 102.86
Max. virtual memory (cumulated for all children) (KiB): 19174740
Max. memory (cumulated for all children) (KiB): 16310840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594
system time used= 6.2315
maximum resident set size= 16312584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605677
page faults= 1
swaps= 0
block input operations= 128
block output operations= 3784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184770
involuntary context switches= 17906


# summary of solver processes directly reported to runsolver:
#   pid: 232309
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3594
#   total CPU system time (s): 6.2315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57259 second user time and 18.7552 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-25 11:35:02
IDJOB=4459066
IDBENCH=178501
IDSOLVER=3046
FILE ID=nodeC016/4459066-1721900102
RUNJOBID= nodeC016-1721900102-232255
SLURM_JOB_ID= 8089388
Free space on /tmp= 890020 MiB

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

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

MD5SUM BENCH= fe39f0a7e8bd71485db4c3a1af739794
RANDOM SEED=1875890032

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126481536 kB
MemAvailable:   129530752 kB
Buffers:          311548 kB
Cached:          3419824 kB
SwapCached:          284 kB
Active:          2352188 kB
Inactive:        1793684 kB
Active(anon):       2284 kB
Inactive(anon):   464936 kB
Active(file):    2349904 kB
Inactive(file):  1328748 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:             66176 kB
Writeback:             0 kB
AnonPages:        415012 kB
Mapped:           121824 kB
Shmem:             52400 kB
KReclaimable:     420424 kB
Slab:             541624 kB
SReclaimable:     420424 kB
SUnreclaim:       121200 kB
KernelStack:        4048 kB
PageTables:         9808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2995672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 889980 MiB
End job on nodeC016 at 2024-07-25 12:33:23