Trace number 4509247

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 VeriPB 2025-06-06? (TO) 3555.24 3700.16

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
MD5SUMd8a928f558011060cfd64865d6313cfe
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 benchmark115
Best CPU time to get the best result obtained on this benchmark67.6851
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables163584
Total number of constraints2812
Number of constraints which are clauses1277
Number of constraints which are cardinality constraints (but not clauses)1277
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1278
Number of terms in the objective function 128
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 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 451455
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1069739
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.23/0.35	c version PB25.v20250606
0.23/0.38	c java.runtime.name	OpenJDK Runtime Environment
0.23/0.38	c java.vm.name		OpenJDK 64-Bit Server VM
0.23/0.38	c java.vm.version	22.0.1+8-16
0.23/0.38	c java.vm.vendor	Oracle Corporation
0.23/0.38	c sun.arch.data.model	64
0.23/0.38	c java.version		22.0.1
0.23/0.38	c os.name		Linux
0.23/0.38	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.23/0.38	c os.arch		amd64
0.23/0.39	c Free memory 		2104792832
0.23/0.39	c Max memory 		16282288128
0.23/0.39	c Total memory 		2113929216
0.23/0.40	c Number of processors 	2
0.56/0.64	c Pseudo Boolean Optimization by upper bound
0.56/0.64	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.56/0.64	c  - never skip resolution steps
0.56/0.64	c  - Auto-division on coefficients is disabled
0.56/0.64	c  - No postprocessing
0.56/0.64	c  - Conflict is considered as is when resolving
0.56/0.64	c  - Use constraints as they come during conflict analysis
0.56/0.64	c  - Weaken first using unassigned literals
0.56/0.64	c  - Bump strategy: ALWAYS_ONE
0.56/0.64	c  - Bumper: EFFECTIVE
0.56/0.64	c --- Begin Solver configuration ---
0.56/0.64	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd
0.56/0.64	c Learn all clauses as in MiniSAT
0.56/0.64	c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.56/0.64	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.56/0.64	c No reason simplification
0.56/0.64	c Dynamic restart strategy considering the size of the coefficients
0.56/0.64	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96
0.56/0.64	c timeout=2147483s
0.56/0.64	c DB Simplification allowed=false
0.56/0.64	c Listener: none
0.56/0.64	c --- End Solver configuration ---
0.56/0.65	c solving HOME/instance-4509247-1751527922.opb
0.56/0.65	c reading problem ... 
0.65/1.07	c using VERIPB proof format
0.65/1.08	c  objective function found
5.59/4.25	c ... done. Wall clock time 3.597s.
5.59/4.25	c declared #vars     163584
5.59/4.25	c #constraints  2812
5.59/4.25	c constraints type 
5.59/4.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1277
5.59/4.25	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 258
5.59/4.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1277
5.59/4.25	c 2812 constraints processed.
5.59/4.27	c objective function length is 128 literals
2361.26/2495.02	c cleaning 2495 clauses out of 5000 with flag 0/5000
3554.96/3700.04	c starts		: 6
3554.96/3700.05	c conflicts		: 7373
3554.96/3700.08	c decisions		: 817959
3554.96/3700.08	c propagations		: 3542278
3554.96/3700.08	c inspects		: 4728313
3554.96/3700.08	c shortcuts		: 0
3554.96/3700.08	c learnt literals	: 0
3554.96/3700.08	c learnt binary clauses	: 0
3554.96/3700.08	c learnt ternary clauses	: 0
3554.96/3700.08	c learnt constraints	: 7372
3554.96/3700.09	c ignored constraints	: 0
3554.96/3700.09	c root simplifications	: 0
3554.96/3700.09	c removed literals (reason simplification)	: 0
3554.96/3700.09	c reason swapping (by a shorter reason)	: 0
3554.96/3700.09	c Calls to reduceDB	: 1
3554.96/3700.09	c Number of update (reduction) of LBD	: 7013
3554.96/3700.09	c Imported unit clauses	: 0
3554.96/3700.09	c No decision after first conflict	: false
3554.96/3700.09	c number of reductions to clauses (during analyze)	: 0
3554.96/3700.09	c number of learned constraints concerned by reduction	: 0
3554.96/3700.09	c number of learning phase by resolution	: 0
3554.96/3700.09	c number of learning phase by cutting planes	: 0
3554.96/3700.09	c number of rounding to 1 operations	: 0
3554.96/3700.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3554.96/3700.09	c number of reductions of the coefficients by power 2 	: 0
3554.96/3700.10	c number of right shift for reduction by power 2 	: 0
3554.96/3700.10	c number of reductions of the coefficients by GCD over coefficients 	: 0
3554.96/3700.10	c number of ending skipping 	: 0
3554.96/3700.10	c number of internal skipping 	: 0
3554.96/3700.10	c number of derivation steps 	: 49759
3554.96/3700.10	c number of skipped derivation steps 	: 0
3554.96/3700.10	c number of remaining unassigned 	: 684033
3554.96/3700.10	c number of remaining assigned 	: 30464083
3554.96/3700.10	c number of falsified literals weakened from reason	: 0
3554.96/3700.10	c number of falsified literals weakened from conflict	: 0
3554.96/3700.10	c time for arithmetic operations	: 9545000803
3554.96/3700.10	c minimum degree of deleted constraints	: 423840
3554.96/3700.10	c maximum degree of deleted constraints	: 1416819956437771475032598357093862662222115125296606035657250240
3554.96/3700.10	c number of deleted constraints	: 2495
3554.96/3700.11	c speed (assignments/second)	: 958.4645639463778
3555.17/3700.11	c non guided choices	: 346378
3555.17/3700.13	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 4877
3555.17/3700.13	s UNKNOWN
3555.17/3700.13	c Total wall clock time (in seconds): 3699.487

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509247-1751527922/watcher-4509247-1751527922 -o /tmp/evaluation-result-4509247-1751527922/solver-4509247-1751527922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751527922-76483 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509247-1751527922 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4509247-1751527922.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=76558, runsolver pid=76540
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 1.20 2.16 2.99 7/322 76609
/proc/meminfo: memFree=129098448/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=18930384 memory=48080 CPUtime=0.12 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 5719 0 0 0 8 4 0 0 20 0 18 0 68471410 19384713216 12020 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4732596 12020 5303 1 0 546950 0
[pid=76558/tid=76560] ppid=76540 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 4622 0 0 0 5 2 0 0 20 0 18 0 68471412 19384713216 12020 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68471417 19384713216 12020 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=18930384 memory=60693105881846 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68471418 19384713216 12020 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48080 KiB

[startup+0.214987 s]*
/proc/loadavg: 1.20 2.16 2.99 1/322 76609
/proc/meminfo: memFree=129087492/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=18930384 memory=51548 CPUtime=0.23 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 6032 0 0 0 19 4 0 0 20 0 18 0 68471410 19384713216 12887 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4732596 12887 5335 1 0 547171 0
[pid=76558/tid=76560] ppid=76540 vsize=18930384 memory=4026728732 CPUtime=0.14 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) D 76540 76558 76472 0 -1 4194368 4883 0 0 0 12 2 0 0 20 0 18 0 68471412 19384713216 12887 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=18930384 memory=14857 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68471417 19384713216 12887 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=18930384 memory=59593594242043 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68471418 19384713216 12887 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51548 KiB

[startup+0.314732 s]*
/proc/loadavg: 1.20 2.16 2.99 1/322 76609
/proc/meminfo: memFree=129087492/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=18930384 memory=51548 CPUtime=0.23 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 6052 0 0 0 19 4 0 0 20 0 18 0 68471410 19384713216 12887 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4732596 12887 5335 1 0 547187 0
[pid=76558/tid=76560] ppid=76540 vsize=18930384 memory=-6000919507083028072 CPUtime=0.14 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) D 76540 76558 76472 0 -1 4194368 4903 0 0 0 12 2 0 0 20 0 18 0 68471412 19384713216 12887 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68471417 19384713216 12887 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68471418 19384713216 12887 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51548 KiB

[startup+0.700409 s]
/proc/loadavg: 1.20 2.16 2.99 12/322 76609
/proc/meminfo: memFree=129071236/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=18930384 memory=61864 CPUtime=0.65 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 6988 0 1 0 58 7 0 0 20 0 18 0 68471410 19384713216 15466 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4732596 15466 5431 1 0 547906 0
[pid=76558/tid=76560] ppid=76540 vsize=18930384 memory=18304 CPUtime=0.36 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) D 76540 76558 76472 0 -1 4456512 5329 0 1 0 32 4 0 0 20 0 18 0 68471412 19384713216 15466 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68471417 19384713216 15466 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68471418 19384713216 15466 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61864 KiB

[startup+1.50044 s]
/proc/loadavg: 1.20 2.16 2.99 1/322 76609
/proc/meminfo: memFree=129064620/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=18930384 memory=150908 CPUtime=1.48 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 8887 0 1 0 137 11 0 0 20 0 18 0 68471410 19384713216 37727 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4732596 37727 5431 1 0 549102 0
[pid=76558/tid=76560] ppid=76540 vsize=18930384 memory=3200 CPUtime=0.74 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 5430 0 1 0 66 8 0 0 20 0 18 0 68471412 19384713216 37727 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68471417 19384713216 37727 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68471418 19384713216 37727 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 150908 KiB

[startup+3.10594 s]
/proc/loadavg: 1.82 2.27 3.02 9/329 76616
/proc/meminfo: memFree=126543528/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=18996948 memory=1134292 CPUtime=4.38 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 14231 0 1 0 399 39 0 0 20 0 19 0 68471410 19452874752 283573 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4749237 283573 5495 1 0 1719568 0
[pid=76558/tid=76560] ppid=76540 vsize=18996948 memory=11264 CPUtime=1.95 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 5979 0 1 0 165 30 0 0 20 0 19 0 68471412 19452874752 283573 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68471417 19452874752 283573 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68471418 19452874752 283573 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1134292 KiB

[startup+6.30285 s]
/proc/loadavg: 1.82 2.27 3.02 7/330 76617
/proc/meminfo: memFree=123801720/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19063512 memory=3090508 CPUtime=8.96 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 21743 0 1 0 812 84 0 0 20 0 20 0 68471410 19521036288 772627 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4765878 772627 5527 1 0 1723208 0
[pid=76558/tid=76560] ppid=76540 vsize=19063512 memory=11264 CPUtime=5.09 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 7051 0 1 0 437 72 0 0 20 0 20 0 68471412 19521036288 772627 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68471417 19521036288 772627 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19063512 memory=-6000919507083028072 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68471418 19521036288 772627 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68471841 19521036288 772627 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3090508 KiB

[startup+12.7004 s]
/proc/loadavg: 2.08 2.32 3.03 5/330 76617
/proc/meminfo: memFree=122849868/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19063512 memory=3283252 CPUtime=17.35 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 25463 0 1 0 1645 90 0 0 20 0 20 0 68471410 19521036288 820813 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4765878 820813 5527 1 0 1725382 0
[pid=76558/tid=76560] ppid=76540 vsize=19063512 memory=3275060 CPUtime=11.23 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 7232 0 1 0 1046 77 0 0 20 0 20 0 68471412 19521036288 820813 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19063512 memory=3241736 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68471417 19521036288 820813 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68471418 19521036288 820813 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19063512 memory=3099340 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68471841 19521036288 820813 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 17.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3283252 KiB

[startup+25.5004 s]
/proc/loadavg: 2.88 2.48 3.08 6/330 76617
/proc/meminfo: memFree=122435552/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19063512 memory=3432884 CPUtime=30.29 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 29225 0 1 0 2934 95 0 0 20 0 20 0 68471410 19521036288 858221 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4765878 858221 5527 1 0 1725382 0
[pid=76558/tid=76560] ppid=76540 vsize=19063512 memory=3275060 CPUtime=23.99 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 8246 0 1 0 2319 80 0 0 20 0 20 0 68471412 19521036288 858221 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68471417 19521036288 858221 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19063512 memory=3424692 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68471418 19521036288 858221 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19063512 memory=14080 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68471841 19521036288 858221 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 30.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3432884 KiB

[startup+51.1141 s]
/proc/loadavg: 3.53 2.67 3.12 6/331 76619
/proc/meminfo: memFree=120102908/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19063512 memory=3900212 CPUtime=57.11 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 36350 0 1 0 5601 110 0 0 20 0 20 0 68471410 19521036288 975053 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4765878 975053 5527 1 0 1725431 0
[pid=76558/tid=76560] ppid=76540 vsize=19063512 memory=3867444 CPUtime=49.54 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 9822 0 1 0 4863 91 0 0 20 0 20 0 68471412 19521036288 975053 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19063512 memory=3850932 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68471417 19521036288 975053 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19063512 memory=14080 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68471418 19521036288 975053 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19063512 memory=3793588 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68471841 19521036288 975053 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 57.11 s
Current children cumulated vsize: 19063512 KiB

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

[startup+3342.3 s]
/proc/loadavg: 4.21 4.17 4.15 5/331 76801
/proc/meminfo: memFree=102784928/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19130076 memory=6808744 CPUtime=3204.68 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 216522 0 1 0 320014 454 0 0 20 0 21 0 68471410 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4782519 1702186 5559 1 0 1727139 0
[pid=76558/tid=76560] ppid=76540 vsize=19130076 memory=14080 CPUtime=3169.78 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 102069 0 1 0 316770 208 0 0 20 0 21 0 68471412 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19130076 memory=6808744 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68471417 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19130076 memory=6808744 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 3348 0 0 0 0 0 0 0 20 0 21 0 68471418 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19130076 memory=18432 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 68471841 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 3204.68 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6808744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/330 76803
/proc/meminfo: memFree=102714648/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19130076 memory=6808744 CPUtime=3264.6 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 218371 0 1 0 326002 458 0 0 20 0 21 0 68471410 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4782519 1702186 5559 1 0 1727139 0
[pid=76558/tid=76560] ppid=76540 vsize=19130076 memory=6808744 CPUtime=3229.39 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 103664 0 1 0 322729 210 0 0 20 0 21 0 68471412 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19130076 memory=6808744 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68471417 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19130076 memory=6808744 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 3348 0 0 0 0 0 0 0 20 0 21 0 68471418 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19130076 memory=14080 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 68471841 19589197824 1702186 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 3264.6 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6808744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.17 4.15 5/329 76805
/proc/meminfo: memFree=102596196/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19130076 memory=6816388 CPUtime=3324.6 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 224613 0 1 0 331997 463 0 0 20 0 21 0 68471410 19589197824 1704097 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4782519 1704097 5559 1 0 1727201 0
[pid=76558/tid=76560] ppid=76540 vsize=19130076 memory=6808744 CPUtime=3289.11 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 106838 0 1 0 328698 213 0 0 20 0 21 0 68471412 19589197824 1704097 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19130076 memory=6808744 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68471417 19589197824 1704097 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19130076 memory=6816388 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 3443 0 0 0 0 0 0 0 20 0 21 0 68471418 19589197824 1704097 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19130076 memory=6816388 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 68471841 19589197824 1704097 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 3324.6 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6816388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.16 5/329 76808
/proc/meminfo: memFree=101870092/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19130076 memory=6818592 CPUtime=3382.87 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 228984 0 1 0 337818 469 0 0 20 0 21 0 68471410 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4782519 1704648 5559 1 0 1727201 0
[pid=76558/tid=76560] ppid=76540 vsize=19130076 memory=4764 CPUtime=3346.76 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 109507 0 1 0 334461 215 0 0 20 0 21 0 68471412 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19130076 memory=6818592 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68471417 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19130076 memory=5276 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 3557 0 0 0 0 0 0 0 20 0 21 0 68471418 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19130076 memory=6818592 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 68471841 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 3382.87 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6818592 KiB

[startup+3582.3 s]
/proc/loadavg: 4.30 4.21 4.17 5/329 76811
/proc/meminfo: memFree=101361008/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19130076 memory=6818592 CPUtime=3437.25 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 230366 0 1 0 343253 472 0 0 20 0 21 0 68471410 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4782519 1704648 5559 1 0 1727201 0
[pid=76558/tid=76560] ppid=76540 vsize=19130076 memory=4764 CPUtime=3401.11 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 110884 0 1 0 339894 217 0 0 20 0 21 0 68471412 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19130076 memory=21648 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68471417 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19130076 memory=4764 CPUtime=0 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 3557 0 0 0 0 0 0 0 20 0 21 0 68471418 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19130076 memory=6818592 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 68471841 19589197824 1704648 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 3437.25 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6818592 KiB

[startup+3642.3 s]
/proc/loadavg: 4.24 4.20 4.17 5/329 76813
/proc/meminfo: memFree=101286716/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19130076 memory=6828836 CPUtime=3497.25 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 235188 0 1 0 349247 478 0 0 20 0 21 0 68471410 19589197824 1707209 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4782519 1707209 5559 1 0 1727201 0
[pid=76558/tid=76560] ppid=76540 vsize=19130076 memory=6818592 CPUtime=3460.82 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 113911 0 1 0 345862 220 0 0 20 0 21 0 68471412 19589197824 1707209 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19130076 memory=6826788 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68471417 19589197824 1707209 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19130076 memory=6828836 CPUtime=0.01 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 3643 0 0 0 0 1 0 0 20 0 21 0 68471418 19589197824 1707209 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19130076 memory=6828836 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 68471841 19589197824 1707209 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 3497.25 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6828836 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.19 4.20 4.17 9/332 76889
/proc/meminfo: memFree=108946724/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19130076 memory=6832932 CPUtime=3554.96 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 237882 0 1 0 355012 484 0 0 20 0 21 0 68471410 19589197824 1708233 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4782519 1708233 5559 1 0 1727201 0
[pid=76558/tid=76560] ppid=76540 vsize=19130076 memory=-6000919507049277032 CPUtime=3518.27 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 116116 0 1 0 351605 222 0 0 20 0 21 0 68471412 19589197824 1708233 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19130076 memory=4480 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68471417 19589197824 1708233 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19130076 memory=1792 CPUtime=0.01 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 3644 0 0 0 0 1 0 0 20 0 21 0 68471418 19589197824 1708233 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76617] ppid=76540 vsize=19130076 memory=1920 CPUtime=0 cores=4,6
/proc/76558/task/76617/stat : 76617 (Timer-0) S 76540 76558 76472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 68471841 19589197824 1708233 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 3554.96 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6832932 KiB

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

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

# cumulated CPU time of all completed processes:  user=3550.36 s, system=4.87372 s

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

[startup+3700.12 s]
/proc/loadavg: 4.19 4.20 4.17 9/332 76889
/proc/meminfo: memFree=108946724/131382116 swapFree=33009904/33010684
[pid=76558] ppid=76540 vsize=19329768 memory=6833828 CPUtime=3555.17 cores=4,6
/proc/76558/stat : 76558 (java) S 76540 76558 76472 0 -1 4194304 240308 0 1 0 355032 485 0 0 20 0 22 0 68471410 19793682432 1708457 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
/proc/76558/statm: 4832442 1708457 5591 1 0 1728170 0
[pid=76558/tid=76560] ppid=76540 vsize=19329768 memory=6832932 CPUtime=3518.37 cores=4,6
/proc/76558/task/76560/stat : 76560 (java) R 76540 76558 76472 0 -1 4194368 116117 0 1 0 351615 222 0 0 20 0 22 0 68471412 19793682432 1708457 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76602] ppid=76540 vsize=19329768 memory=6818592 CPUtime=0 cores=4,6
/proc/76558/task/76602/stat : 76602 (Finalizer) S 76540 76558 76472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 68471417 19793682432 1708457 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
[pid=76558/tid=76609] ppid=76540 vsize=19329768 memory=6818592 CPUtime=0.01 cores=4,6
/proc/76558/task/76609/stat : 76609 (Common-Cleaner) S 76540 76558 76472 0 -1 4194368 3644 0 0 0 0 1 0 0 20 0 22 0 68471418 19793682432 1708457 18446744073709551615 94428751958016 94428751961712 140723253901360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94428751969528 94428751970320 94428767723520 140723253905709 140723253905894 140723253905894 140723253911496 0
Current children cumulated CPU time: 3555.17 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 6833828 KiB

Child status: 143

Real time (s): 3700.16
CPU time (s): 3555.24
CPU user time (s): 3550.36
CPU system time (s): 4.87372
CPU usage (%): 96.0832
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 6833828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.36
system time used= 4.87372
maximum resident set size= 6834084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240471
page faults= 1
swaps= 0
block input operations= 104
block output operations= 1674120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120244
involuntary context switches= 9932


# summary of solver processes directly reported to runsolver:
#   pid: 76558
#   total CPU time (s): 3555.24
#   total CPU user time (s): 3550.36
#   total CPU system time (s): 4.87372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9119 second user time and 38.5839 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-03 09:32:02
IDJOB=4509247
IDBENCH=158602
IDSOLVER=3362
FILE ID=nodeC004/4509247-1751527922
RUNJOBID= nodeC004-1751527922-76483
SLURM_JOB_ID= 9598664
Free space on /tmp= 431668 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509247-1751527922/watcher-4509247-1751527922 -o /tmp/evaluation-result-4509247-1751527922/solver-4509247-1751527922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751527922-76483 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509247-1751527922 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4509247-1751527922.opb

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

MD5SUM BENCH= d8a928f558011060cfd64865d6313cfe
RANDOM SEED=2055164885

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129166028 kB
MemAvailable:   129875080 kB
Buffers:            2128 kB
Cached:          1459308 kB
SwapCached:           40 kB
Active:           665644 kB
Inactive:         866828 kB
Active(anon):      78212 kB
Inactive(anon):    10748 kB
Active(file):     587432 kB
Inactive(file):   856080 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14248 kB
Writeback:             0 kB
AnonPages:         74212 kB
Mapped:           103584 kB
Shmem:             17924 kB
KReclaimable:     210336 kB
Slab:             297384 kB
SReclaimable:     210336 kB
SUnreclaim:        87048 kB
KernelStack:        3936 kB
PageTables:         2936 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     390448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431664 MiB
End job on nodeC004 at 2025-07-03 10:33:43