Trace number 4495791

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 NameAnswerCPU timeWall clock time
Sat4j CP VeriPB 2025-06-06? (TO) 3600.3 3596.28

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
MD5SUM51f776679cf4368d72b5455aa221d9d6
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.036692
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables82
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint82
Maximum length of a constraint82
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 60575666
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 801239175
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.18	c See www.sat4j.org for details.
0.10/0.19	c version PB25.v20250606
0.10/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.23	c java.vm.version	22.0.1+8-16
0.10/0.23	c java.vm.vendor	Oracle Corporation
0.10/0.23	c sun.arch.data.model	64
0.10/0.23	c java.version		22.0.1
0.10/0.23	c os.name		Linux
0.10/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.23	c os.arch		amd64
0.27/0.24	c Free memory 		2104792832
0.27/0.24	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.25	c Number of processors 	2
0.42/0.42	c Pseudo Boolean Optimization by upper bound
0.42/0.42	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.42/0.42	c  - never skip resolution steps
0.42/0.42	c  - Auto-division on coefficients is disabled
0.42/0.42	c  - No postprocessing
0.42/0.42	c  - Conflict is considered as is when resolving
0.42/0.42	c  - Use constraints as they come during conflict analysis
0.42/0.42	c  - Weaken first using unassigned literals
0.42/0.42	c  - Bump strategy: ALWAYS_ONE
0.42/0.42	c  - Bumper: EFFECTIVE
0.42/0.42	c --- Begin Solver configuration ---
0.42/0.42	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd
0.42/0.42	c Learn all clauses as in MiniSAT
0.42/0.42	c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.42	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.42/0.42	c No reason simplification
0.42/0.42	c Dynamic restart strategy considering the size of the coefficients
0.42/0.42	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96
0.42/0.42	c timeout=2147483s
0.42/0.42	c DB Simplification allowed=false
0.42/0.42	c Listener: none
0.42/0.42	c --- End Solver configuration ---
0.42/0.42	c solving HOME/instance-4495791-1751159223.opb
0.42/0.42	c reading problem ... 
0.42/0.43	c using VERIPB proof format
0.58/0.43	c  no objective function found
0.58/0.46	c ... done. Wall clock time 0.031s.
0.58/0.46	c declared #vars     82
0.58/0.46	c #constraints  2
0.58/0.46	c constraints type 
0.58/0.46	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 2
0.58/0.46	c 2 constraints processed.
29.01/23.07	c cleaning 2497 clauses out of 5000 with flag 0/5000
82.53/75.01	c cleaning 4252 clauses out of 8503 with flag 0/11000
268.84/260.13	c cleaning 5626 clauses out of 11251 with flag 0/18000
492.84/484.26	c cleaning 6802 clauses out of 13625 with flag 0/26000
728.12/719.46	c cleaning 7911 clauses out of 15823 with flag 0/35000
976.91/968.47	c cleaning 8956 clauses out of 17913 with flag 0/45001
1263.99/1256.28	c cleaning 9975 clauses out of 19957 with flag 0/56001
1669.24/1661.98	c cleaning 10991 clauses out of 21981 with flag 0/68000
2241.04/2234.10	c cleaning 11995 clauses out of 23990 with flag 0/81000
2832.03/2828.17	c cleaning 12991 clauses out of 25995 with flag 0/95000
3600.01/3596.14	c starts		: 9
3600.01/3596.18	c conflicts		: 109519
3600.01/3596.19	c decisions		: 123226
3600.01/3596.19	c propagations		: 543684
3600.01/3596.19	c inspects		: 1518029924
3600.01/3596.19	c shortcuts		: 0
3600.01/3596.19	c learnt literals	: 0
3600.01/3596.19	c learnt binary clauses	: 0
3600.01/3596.19	c learnt ternary clauses	: 0
3600.01/3596.19	c learnt constraints	: 109519
3600.01/3596.19	c ignored constraints	: 0
3600.01/3596.19	c root simplifications	: 0
3600.01/3596.19	c removed literals (reason simplification)	: 0
3600.18/3596.20	c reason swapping (by a shorter reason)	: 0
3600.18/3596.20	c Calls to reduceDB	: 10
3600.18/3596.20	c Number of update (reduction) of LBD	: 90936
3600.18/3596.20	c Imported unit clauses	: 0
3600.18/3596.20	c No decision after first conflict	: false
3600.18/3596.20	c number of reductions to clauses (during analyze)	: 0
3600.18/3596.21	c number of learned constraints concerned by reduction	: 0
3600.18/3596.21	c number of learning phase by resolution	: 0
3600.18/3596.21	c number of learning phase by cutting planes	: 0
3600.18/3596.21	c number of rounding to 1 operations	: 0
3600.18/3596.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.18/3596.21	c number of reductions of the coefficients by power 2 	: 0
3600.18/3596.21	c number of right shift for reduction by power 2 	: 0
3600.18/3596.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.18/3596.21	c number of ending skipping 	: 0
3600.18/3596.21	c number of internal skipping 	: 0
3600.18/3596.21	c number of derivation steps 	: 424789
3600.18/3596.21	c number of skipped derivation steps 	: 0
3600.18/3596.21	c number of remaining unassigned 	: 40279
3600.18/3596.21	c number of remaining assigned 	: 18384472
3600.18/3596.21	c number of falsified literals weakened from reason	: 0
3600.18/3596.21	c number of falsified literals weakened from conflict	: 0
3600.18/3596.22	c time for arithmetic operations	: 1576055945
3600.18/3596.22	c timeout
3600.18/3596.22	c minimum degree of deleted constraints	: 1
3600.18/3596.22	c maximum degree of deleted constraints	: 25000541664743132569904651945928934178525172877531231496917989619636270507766824173967438721935493415477782545598834511783186849075352382143863773388695867340
3600.18/3596.22	c number of deleted constraints	: 81996
3600.18/3596.22	c speed (assignments/second)	: 151.20149909977258
3600.18/3596.22	c non guided choices	: 70
3600.18/3596.24	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 70
3600.18/3596.24	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 27453
3600.18/3596.24	s UNKNOWN
3600.18/3596.24	c Total wall clock time (in seconds): 3595.823

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495791-1751159223/watcher-4495791-1751159223 -o /tmp/evaluation-result-4495791-1751159223/solver-4495791-1751159223 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751158906-15561 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4495791-1751159223 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4495791-1751159223.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=16822, runsolver pid=16819
Current StackSize limit: 8192 KiB


[startup+0.100074 s]*
/proc/loadavg: 4.04 3.46 3.00 6/329 16840
/proc/meminfo: memFree=124132060/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=18930384 memory=50032 CPUtime=0.1 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 5729 0 0 0 7 3 0 0 20 0 18 0 31601071 19384713216 12508 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4732596 12508 5272 1 0 546958 0
[pid=16822/tid=16824] ppid=16819 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 4622 0 0 0 4 3 0 0 20 0 18 0 31601073 19384713216 12540 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31601078 19384713216 12540 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=18930384 memory=55195547748946 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31601079 19384713216 12540 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50032 KiB

[startup+0.218299 s]*
/proc/loadavg: 4.04 3.46 3.00 6/329 16840
/proc/meminfo: memFree=124130044/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=18930384 memory=54936 CPUtime=0.27 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 6383 0 0 0 23 4 0 0 20 0 18 0 31601071 19384713216 13734 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4732596 13734 5336 1 0 547532 0
[pid=16822/tid=16824] ppid=16819 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 4978 0 0 0 13 3 0 0 20 0 18 0 31601073 19384713216 13734 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=18930384 memory=2576 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31601078 19384713216 13734 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=18930384 memory=54096036103158 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31601079 19384713216 13734 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54936 KiB

[startup+0.31774 s]*
/proc/loadavg: 4.04 3.46 3.00 7/329 16840
/proc/meminfo: memFree=124130044/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=18930384 memory=59904 CPUtime=0.42 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 6602 0 0 0 37 5 0 0 20 0 18 0 31601071 19384713216 14976 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4732596 14976 5336 1 0 547714 0
[pid=16822/tid=16824] ppid=16819 vsize=18930384 memory=-6000919468478457454 CPUtime=0.24 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 5135 0 0 0 20 4 0 0 20 0 18 0 31601073 19384713216 14976 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31601078 19384713216 14976 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31601079 19384713216 14976 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59904 KiB

[startup+0.700379 s]
/proc/loadavg: 4.04 3.46 3.00 7/330 16841
/proc/meminfo: memFree=124125444/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=18996948 memory=73208 CPUtime=1.11 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 8571 0 0 0 104 7 0 0 20 0 19 0 31601071 19452874752 18302 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4749237 18302 5432 1 0 549110 0
[pid=16822/tid=16824] ppid=16819 vsize=18996948 memory=17024 CPUtime=0.53 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 5435 0 0 0 49 4 0 0 20 0 19 0 31601073 19452874752 18302 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31601078 19452874752 18302 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31601079 19452874752 18302 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=18996948 memory=4896 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31601118 19452874752 18302 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73208 KiB

[startup+1.50028 s]
/proc/loadavg: 4.04 3.46 3.00 6/330 16842
/proc/meminfo: memFree=124082092/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=170312 CPUtime=2.67 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 18856 0 0 0 256 11 0 0 20 0 20 0 31601071 19521036288 42578 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 42578 5464 1 0 552523 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=0 CPUtime=1.18 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 5949 0 0 0 111 7 0 0 20 0 20 0 31601073 19521036288 42578 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 42578 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 42578 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=4896 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 42578 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170312 KiB

[startup+3.10561 s]
/proc/loadavg: 4.12 3.49 3.01 6/331 16843
/proc/meminfo: memFree=123913652/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=308044 CPUtime=5.85 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 26538 0 0 0 569 16 0 0 20 0 20 0 31601071 19521036288 77011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 77011 5464 1 0 556595 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=11264 CPUtime=2.71 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 7001 0 0 0 262 9 0 0 20 0 20 0 31601073 19521036288 77011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=-6000919468478457454 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 77011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 77011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 77011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 308044 KiB

[startup+6.30024 s]
/proc/loadavg: 4.12 3.49 3.01 5/331 16843
/proc/meminfo: memFree=123371820/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=849692 CPUtime=10.97 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 27491 0 0 0 1068 29 0 0 20 0 20 0 31601071 19521036288 212423 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 212423 5464 1 0 556624 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=0 CPUtime=5.86 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 7600 0 0 0 564 22 0 0 20 0 20 0 31601073 19521036288 212423 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 212423 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 212423 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=170440 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 212423 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 10.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 849692 KiB

[startup+12.7005 s]
/proc/loadavg: 4.27 3.53 3.03 5/331 16843
/proc/meminfo: memFree=123054580/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=1097220 CPUtime=18.04 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 37415 0 0 0 1767 37 0 0 20 0 20 0 31601071 19521036288 274305 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 274305 5464 1 0 556624 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=170440 CPUtime=12.14 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 9039 0 0 0 1186 28 0 0 20 0 20 0 31601073 19521036288 274305 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=1097220 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 274305 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 274305 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 274305 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 18.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1097220 KiB

[startup+25.5005 s]
/proc/loadavg: 4.21 3.55 3.05 5/329 16843
/proc/meminfo: memFree=122467112/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=1661684 CPUtime=32.49 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 49118 0 0 0 3194 55 0 0 20 0 20 0 31601071 19521036288 415421 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 415421 5464 1 0 663184 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=1097220 CPUtime=24.7 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 11922 0 0 0 2429 41 0 0 20 0 20 0 31601073 19521036288 415421 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 415421 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=-6000919468478457454 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 415421 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 415421 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 32.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1661684 KiB

[startup+51.1135 s]
/proc/loadavg: 4.14 3.59 3.07 5/329 16844
/proc/meminfo: memFree=122067988/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=2024192 CPUtime=58.61 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 49960 0 0 0 5795 66 0 0 20 0 20 0 31601071 19521036288 506048 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 506048 5464 1 0 790597 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=11264 CPUtime=49.51 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 12276 0 0 0 4900 51 0 0 20 0 20 0 31601073 19521036288 506048 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=1652208 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 506048 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0

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

[startup+3282.3 s]
/proc/loadavg: 4.35 4.20 4.16 6/327 17090
/proc/meminfo: memFree=121102956/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=2728044 CPUtime=3286.28 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 113697 0 0 0 328270 358 0 0 20 0 20 0 31601071 19521036288 682011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 682011 5464 1 0 790751 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=2725988 CPUtime=3241.93 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 51180 0 0 0 324079 114 0 0 20 0 20 0 31601073 19521036288 682011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=2725988 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 682011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=2728044 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 1825 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 682011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=6016 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 682011 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 3286.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2728044 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.19 4.16 5/327 17092
/proc/meminfo: memFree=121042640/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=2734208 CPUtime=3346.22 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 114043 0 0 0 334260 362 0 0 20 0 20 0 31601071 19521036288 683552 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 683552 5464 1 0 790751 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=14464 CPUtime=3301.33 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 51328 0 0 0 330019 114 0 0 20 0 20 0 31601073 19521036288 683552 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 683552 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=2734208 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 683552 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 683552 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 3346.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2734208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.22 4.17 5/329 17229
/proc/meminfo: memFree=123218536/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=2740356 CPUtime=3406.19 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 114088 0 0 0 340252 367 0 0 20 0 20 0 31601071 19521036288 685089 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 685089 5464 1 0 790751 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=2740356 CPUtime=3360.66 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 51345 0 0 0 335951 115 0 0 20 0 20 0 31601073 19521036288 685089 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=6452091060410410810 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 685089 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=2740356 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 685089 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=2740356 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 685089 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 3406.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2740356 KiB

[startup+3462.3 s]
/proc/loadavg: 4.32 4.25 4.18 5/329 17231
/proc/meminfo: memFree=122268572/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=2746504 CPUtime=3466.19 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 114824 0 0 0 346248 371 0 0 20 0 20 0 31601071 19521036288 686626 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 686626 5464 1 0 790751 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=2740356 CPUtime=3420.26 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 52035 0 0 0 341910 116 0 0 20 0 20 0 31601073 19521036288 686626 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=2744456 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 686626 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=2746504 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 1826 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 686626 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=2746504 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 686626 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 3466.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2746504 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.28 4.20 5/328 17233
/proc/meminfo: memFree=122169240/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=2752656 CPUtime=3526.18 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 116967 0 0 0 352241 377 0 0 20 0 20 0 31601071 19521036288 688164 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 688164 5464 1 0 790751 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=2740356 CPUtime=3479.78 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 53381 0 0 0 347861 117 0 0 20 0 20 0 31601073 19521036288 688164 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=2728044 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 688164 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=17024 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 1884 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 688164 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 688164 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 3526.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2752656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.27 4.20 6/330 17237
/proc/meminfo: memFree=122105884/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=2756756 CPUtime=3586.2 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 118343 0 0 0 358239 381 0 0 20 0 20 0 31601071 19521036288 689189 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 689189 5464 1 0 790751 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=2740356 CPUtime=3539.35 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 54249 0 0 0 353817 118 0 0 20 0 20 0 31601073 19521036288 689189 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=2756756 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 689189 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 1919 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 689189 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=4896 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 689189 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 3586.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2756756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.11 s]
/proc/loadavg: 4.28 4.27 4.20 5/330 17237
/proc/meminfo: memFree=122082916/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19063512 memory=2758804 CPUtime=3600.01 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 118351 0 0 0 359619 382 0 0 20 0 20 0 31601071 19521036288 689701 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4765878 689701 5464 1 0 790751 0
[pid=16822/tid=16824] ppid=16819 vsize=19063512 memory=2740356 CPUtime=3553.1 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 54253 0 0 0 355192 118 0 0 20 0 20 0 31601073 19521036288 689701 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19063512 memory=2756756 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31601078 19521036288 689701 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19063512 memory=2758804 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 1919 0 0 0 0 0 0 0 20 0 20 0 31601079 19521036288 689701 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16841] ppid=16819 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/16822/task/16841/stat : 16841 (Timer-0) S 16819 16822 15550 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31601118 19521036288 689701 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2758804 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.45 s, system=3.85117 s

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

[startup+3596.2 s]
/proc/loadavg: 4.28 4.27 4.20 5/330 17237
/proc/meminfo: memFree=122082916/131382120 swapFree=33010684/33010684
[pid=16822] ppid=16819 vsize=19263204 memory=2759572 CPUtime=3600.18 cores=4,6
/proc/16822/stat : 16822 (java) S 16819 16822 15550 0 -1 4194304 120348 0 0 0 359635 383 0 0 20 0 21 0 31601071 19725520896 689893 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
/proc/16822/statm: 4815801 689893 5496 1 0 791671 0
[pid=16822/tid=16824] ppid=16819 vsize=19263204 memory=245635481903 CPUtime=3553.19 cores=4,6
/proc/16822/task/16824/stat : 16824 (java) R 16819 16822 15550 0 -1 4194368 54281 0 0 0 355201 118 0 0 20 0 21 0 31601073 19725520896 689893 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16833] ppid=16819 vsize=19263204 memory=59606428812013 CPUtime=0 cores=4,6
/proc/16822/task/16833/stat : 16833 (Finalizer) S 16819 16822 15550 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31601078 19725520896 689893 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
[pid=16822/tid=16840] ppid=16819 vsize=19263204 memory=3617015256133682031 CPUtime=0 cores=4,6
/proc/16822/task/16840/stat : 16840 (Common-Cleaner) S 16819 16822 15550 0 -1 4194368 1919 0 0 0 0 0 0 0 20 0 21 0 31601079 19725520896 689893 18446744073709551615 94487911636992 94487911640688 140727700342432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94487911648504 94487911649296 94487920054272 140727700347181 140727700347366 140727700347366 140727700352968 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2759572 KiB

Child status: 143

Real time (s): 3596.28
CPU time (s): 3600.3
CPU user time (s): 3596.45
CPU system time (s): 3.85117
CPU usage (%): 100.112
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2759572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.45
system time used= 3.85117
maximum resident set size= 2759956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 251840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126214
involuntary context switches= 13909


# summary of solver processes directly reported to runsolver:
#   pid: 16822
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3596.45
#   total CPU system time (s): 3.85117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3376 second user time and 40.0943 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-29 03:07:03
IDJOB=4495791
IDBENCH=148098
IDSOLVER=3362
FILE ID=nodeC002/4495791-1751159223
RUNJOBID= nodeC002-1751158906-15561
SLURM_JOB_ID= 9587497
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob4.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4495791-1751159223/watcher-4495791-1751159223 -o /tmp/evaluation-result-4495791-1751159223/solver-4495791-1751159223 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751158906-15561 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4495791-1751159223 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4495791-1751159223.opb

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

MD5SUM BENCH= 51f776679cf4368d72b5455aa221d9d6
RANDOM SEED=1817148385

nodeC002 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		: 3591.841
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.81
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		: 3609.945
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.81
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.037
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.81
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.799
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.81
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.227
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.81
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		: 2793.521
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.81
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.626
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.81
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		: 1497.460
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        124157380 kB
MemAvailable:   123908664 kB
Buffers:            3280 kB
Cached:           563344 kB
SwapCached:            0 kB
Active:          6353416 kB
Inactive:         331208 kB
Active(anon):    6136012 kB
Inactive(anon):        0 kB
Active(file):     217404 kB
Inactive(file):   331208 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7972 kB
Writeback:            16 kB
AnonPages:       6121316 kB
Mapped:           122252 kB
Shmem:             17960 kB
KReclaimable:      84600 kB
Slab:             165852 kB
SReclaimable:      84600 kB
SUnreclaim:        81252 kB
KernelStack:        4992 kB
PageTables:        15720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    8892684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5869568 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC002 at 2025-06-29 04:06:59