Trace number 4449242

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 Resolution 2024 2024-07-07? (TO) 3600.77 3420.03

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
MD5SUM8e74907d75b3430f44949ac6e798f9f2
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 benchmark7.93447
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2766336
Total number of constraints11830
Number of constraints which are clauses5402
Number of constraints which are cardinality constraints (but not clauses)5402
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint5402
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 1983745
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 4451165
Number of bits of the biggest sum of numbers23
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.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.11	c See www.sat4j.org for details.
0.12/0.12	c version CUSTOM.v20240707
0.12/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.13	c java.vm.version	22.0.1+8-16
0.12/0.13	c java.vm.vendor	Oracle Corporation
0.12/0.13	c sun.arch.data.model	64
0.12/0.13	c java.version		22.0.1
0.12/0.13	c os.name		Linux
0.12/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.13	c os.arch		amd64
0.12/0.13	c Free memory 		2113181440
0.12/0.13	c Max memory 		16282288128
0.12/0.13	c Total memory 		2122317824
0.12/0.13	c Number of processors 	2
0.12/0.17	--- Begin Solver configuration ---
0.12/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.17	Learn all clauses as in MiniSAT
0.12/0.17	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.17	Expensive reason simplification
0.12/0.17	Glucose 2.1 dynamic restart strategy
0.12/0.17	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.17	timeout=2147483s
0.12/0.17	DB Simplification allowed=false
0.12/0.17	Listener: none
0.12/0.17	--- End Solver configuration ---
0.12/0.17	c Pseudo Boolean Optimization by upper bound
0.12/0.17	c --- Begin Solver configuration ---
0.12/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.17	c Learn all clauses as in MiniSAT
0.12/0.17	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.17	c Expensive reason simplification
0.12/0.17	c Glucose 2.1 dynamic restart strategy
0.12/0.17	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.17	c timeout=2147483s
0.12/0.17	c DB Simplification allowed=false
0.12/0.17	c Listener: none
0.12/0.17	c --- End Solver configuration ---
0.12/0.17	c solving HOME/instance-4449242-1721827777.opb
0.12/0.17	c reading problem ... 
0.12/0.18	c using VERIPB proof format
0.12/0.20	c  no objective function found
41.16/34.04	c ... done. Wall clock time 33.861s.
41.16/34.04	c declared #vars     2766336
41.16/34.04	c #constraints  11830
41.16/34.04	c constraints type 
41.16/34.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5402
41.16/34.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1026
41.16/34.04	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5402
41.16/34.04	c 11830 constraints processed.
104.32/90.79	c cleaning 2487 clauses out of 5002 with flag 26533/5002
164.82/148.55	c cleaning 4236 clauses out of 8515 with flag 85999/11002
230.19/211.29	c cleaning 5612 clauses out of 11279 with flag 164485/18002
315.91/293.08	c cleaning 6827 clauses out of 13665 with flag 256956/26000
393.74/363.06	c cleaning 7894 clauses out of 15839 with flag 307312/35001
471.67/436.89	c cleaning 8944 clauses out of 17946 with flag 386488/45002
514.17/477.40	c cleaning 9959 clauses out of 20000 with flag 454423/56000
581.27/537.83	c cleaning 10970 clauses out of 22042 with flag 522708/68001
648.26/602.06	c cleaning 11985 clauses out of 24073 with flag 613723/81002
727.37/678.35	c cleaning 12999 clauses out of 26088 with flag 715556/95002
801.65/748.41	c cleaning 14014 clauses out of 28091 with flag 801763/110004
867.70/812.74	c cleaning 14996 clauses out of 30073 with flag 872427/126000
945.04/887.07	c cleaning 15995 clauses out of 32078 with flag 955577/143001
1015.32/953.67	c cleaning 16999 clauses out of 34082 with flag 1033337/161000
1103.17/1033.75	c cleaning 18003 clauses out of 36084 with flag 1122458/180001
1207.27/1134.82	c cleaning 18998 clauses out of 38081 with flag 1245247/200001
1321.71/1246.00	c cleaning 19998 clauses out of 40082 with flag 1361918/221000
1462.15/1383.89	c cleaning 20995 clauses out of 42084 with flag 1483120/243000
1618.18/1529.05	c cleaning 22001 clauses out of 44091 with flag 1616285/266002
1751.70/1659.08	c cleaning 22992 clauses out of 46089 with flag 1769270/290001
1908.37/1810.90	c cleaning 23994 clauses out of 48097 with flag 1913724/315001
2057.60/1948.37	c cleaning 25016 clauses out of 50102 with flag 2041291/341000
2200.11/2089.21	c cleaning 26009 clauses out of 52087 with flag 2173953/368001
2360.62/2246.88	c cleaning 27004 clauses out of 54077 with flag 2316265/396000
2721.84/2592.28	c cleaning 27999 clauses out of 56076 with flag 2501888/425003
2959.13/2813.39	c cleaning 28998 clauses out of 58074 with flag 2715438/455000
3474.51/3303.95	c cleaning 29994 clauses out of 60076 with flag 2979629/486000
3600.07/3419.32	c starts		: 87
3600.07/3419.36	c conflicts		: 496458
3600.07/3419.36	c decisions		: 81704689
3600.07/3419.36	c propagations		: 644251826
3600.07/3419.36	c inspects		: 414760315
3600.07/3419.36	c shortcuts		: 0
3600.07/3419.36	c learnt literals	: 0
3600.07/3419.36	c learnt binary clauses	: 0
3600.07/3419.36	c learnt ternary clauses	: 0
3600.07/3419.36	c learnt constraints	: 496458
3600.07/3419.36	c ignored constraints	: 0
3600.07/3419.36	c root simplifications	: 0
3600.07/3419.36	c removed literals (reason simplification)	: 611309
3600.07/3419.36	c reason swapping (by a shorter reason)	: 0
3600.07/3419.36	c Calls to reduceDB	: 27
3600.07/3419.36	c Number of update (reduction) of LBD	: 167660
3600.07/3419.36	c Imported unit clauses	: 0
3600.07/3419.36	c No decision after first conflict	: false
3600.07/3419.36	c number of reductions to clauses (during analyze)	: 0
3600.07/3419.36	c number of learned constraints concerned by reduction	: 0
3600.07/3419.36	c number of learning phase by resolution	: 0
3600.07/3419.36	c number of learning phase by cutting planes	: 0
3600.07/3419.36	c number of rounding to 1 operations	: 0
3600.07/3419.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3419.36	c number of reductions of the coefficients by power 2 	: 0
3600.07/3419.36	c number of right shift for reduction by power 2 	: 0
3600.07/3419.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3419.36	c number of ending skipping 	: 0
3600.07/3419.37	c number of internal skipping 	: 0
3600.07/3419.37	c number of derivation steps 	: 0
3600.07/3419.37	c number of skipped derivation steps 	: 0
3600.07/3419.37	c number of remaining unassigned 	: 0
3600.07/3419.37	c number of remaining assigned 	: 0
3600.07/3419.37	c number of falsified literals weakened from reason	: 0
3600.07/3419.37	c number of falsified literals weakened from conflict	: 0
3600.07/3419.37	c time for arithmetic operations	: 0
3600.07/3419.37	c minimum degree of deleted constraints	: null
3600.07/3419.37	c maximum degree of deleted constraints	: null
3600.07/3419.37	c number of deleted constraints	: 0
3600.07/3419.37	c speed (assignments/second)	: 190314.25794635474
3600.07/3419.39	c non guided choices	: 72874237
3600.29/3419.46	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 40540
3600.29/3419.46	s UNKNOWN
3600.29/3419.46	c Total wall clock time (in seconds): 3419.282

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: 64059 MiB (10009 MiB free)
  memory of node 1: 64510 MiB (43052 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449242-1721827777/watcher-4449242-1721827777 -o /tmp/evaluation-result-4449242-1721827777/solver-4449242-1721827777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721820325-229063 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4449242-1721827777 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449242-1721827777.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=234284, runsolver pid=234281

[startup+0.101643 s]*
/proc/loadavg: 4.33 4.36 4.26 5/324 234302
/proc/meminfo: memFree=54299404/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=18975048 memory=56084 CPUtime=0.12 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 6635 0 0 0 10 2 0 0 20 0 18 0 18767451 19430449152 14021 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4743762 14021 5526 1 0 550926 0
[pid=234284/tid=234286] ppid=234281 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 5548 0 0 0 7 1 0 0 20 0 18 0 18767451 19430449152 14021 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18767454 19430449152 14021 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=18975048 memory=14128957269113360 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18767454 19430449152 14021 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56084 KiB

[startup+0.221638 s]*
/proc/loadavg: 4.33 4.36 4.26 7/324 234302
/proc/meminfo: memFree=54206436/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=18975048 memory=150468 CPUtime=0.35 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 7533 0 0 0 31 4 0 0 20 0 18 0 18767451 19430449152 37617 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4743762 37617 5690 1 0 551611 0
[pid=234284/tid=234286] ppid=234281 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 6046 0 0 0 17 3 0 0 20 0 18 0 18767451 19430449152 37617 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=18975048 memory=948383 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18767454 19430449152 37617 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18767454 19430449152 37617 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 150468 KiB

[startup+0.322636 s]*
/proc/loadavg: 4.33 4.36 4.26 7/324 234302
/proc/meminfo: memFree=54188984/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=18975048 memory=169516 CPUtime=0.53 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 7674 0 0 0 48 5 0 0 20 0 18 0 18767451 19430449152 42379 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4743762 42379 5784 1 0 551708 0
[pid=234284/tid=234286] ppid=234281 vsize=18975048 memory=-9103297019486380732 CPUtime=0.29 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 6062 0 0 0 26 3 0 0 20 0 18 0 18767451 19430449152 42379 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18767454 19430449152 42379 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18767454 19430449152 42379 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 169516 KiB

[startup+0.70063 s]
/proc/loadavg: 4.33 4.36 4.26 6/325 234303
/proc/meminfo: memFree=54086760/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=19041612 memory=289032 CPUtime=1.21 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 9475 0 0 0 113 8 0 0 20 0 19 0 18767451 19498610688 72258 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4760403 72258 5807 1 0 552958 0
[pid=234284/tid=234286] ppid=234281 vsize=19041612 memory=5468 CPUtime=0.57 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) S 234281 234284 229052 0 -1 1077936192 6112 0 0 0 52 5 0 0 20 0 19 0 18767451 19498610688 72258 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19041612 memory=11904 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 72258 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 72258 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 289032 KiB

[startup+1.50063 s]
/proc/loadavg: 4.33 4.36 4.26 6/325 234303
/proc/meminfo: memFree=54020416/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=19041612 memory=604124 CPUtime=2.68 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 11121 0 0 0 254 14 0 0 20 0 19 0 18767451 19498610688 151031 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4760403 151031 5807 1 0 1491055 0
[pid=234284/tid=234286] ppid=234281 vsize=19041612 memory=11904 CPUtime=1.15 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 6252 0 0 0 105 10 0 0 20 0 19 0 18767451 19498610688 151031 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 151031 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 151031 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 604124 KiB

[startup+3.11389 s]
/proc/loadavg: 4.33 4.36 4.26 5/325 234303
/proc/meminfo: memFree=53100056/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=19041612 memory=1341236 CPUtime=4.77 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 12909 0 0 0 446 31 0 0 20 0 19 0 18767451 19498610688 335309 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4760403 335309 5807 1 0 2366401 0
[pid=234284/tid=234286] ppid=234281 vsize=19041612 memory=0 CPUtime=2.33 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 6457 0 0 0 215 18 0 0 20 0 19 0 18767451 19498610688 335309 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19041612 memory=11904 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 335309 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19041612 memory=752632 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 335309 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1341236 KiB

[startup+6.30044 s]
/proc/loadavg: 4.31 4.35 4.26 6/325 234304
/proc/meminfo: memFree=51874340/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=19041612 memory=2550544 CPUtime=9.41 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 15330 0 0 0 883 58 0 0 20 0 19 0 18767451 19498610688 637636 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4760403 637636 5807 1 0 2989151 0
[pid=234284/tid=234286] ppid=234281 vsize=19041612 memory=0 CPUtime=4.55 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 6996 0 0 0 422 33 0 0 20 0 19 0 18767451 19498610688 637636 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19041612 memory=696808 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 637636 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19041612 memory=224194199869 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 637636 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2550544 KiB

[startup+12.7004 s]
/proc/loadavg: 4.28 4.35 4.26 5/325 234304
/proc/meminfo: memFree=47622976/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=19041612 memory=6662488 CPUtime=17.21 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 352194 0 0 0 1554 167 0 0 20 0 19 0 18767451 19498610688 1665622 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4760403 1665622 5807 1 0 3214864 0
[pid=234284/tid=234286] ppid=234281 vsize=19041612 memory=6658000 CPUtime=10.33 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 322049 0 0 0 898 135 0 0 20 0 19 0 18767451 19498610688 1665622 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19041612 memory=6507464 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 1665622 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19041612 memory=14699612309032043 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 1665622 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 17.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6662488 KiB

[startup+25.5004 s]
/proc/loadavg: 4.22 4.33 4.25 5/325 234307
/proc/meminfo: memFree=47017560/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=19041612 memory=7194408 CPUtime=31.68 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 804695 0 0 0 2951 217 0 0 20 0 19 0 18767451 19498610688 1798602 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4760403 1798602 5854 1 0 3491803 0
[pid=234284/tid=234286] ppid=234281 vsize=19041612 memory=6894024 CPUtime=21.63 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 724114 0 0 0 1986 177 0 0 20 0 19 0 18767451 19498610688 1798602 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 1798602 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18767454 19498610688 1798602 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 31.68 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 7194408 KiB

[startup+51.114 s]
/proc/loadavg: 4.49 4.38 4.27 5/329 234370
/proc/meminfo: memFree=45431620/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=19174740 memory=8557500 CPUtime=62.77 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 1272683 0 0 0 5987 290 0 0 20 0 21 0 18767451 19634933760 2139375 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4793685 2139375 5860 1 0 3708386 0
[pid=234284/tid=234286] ppid=234281 vsize=19174740 memory=8557436 CPUtime=45.04 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 1107977 0 0 0 4276 228 0 0 20 0 21 0 18767451 19634933760 2139375 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19174740 memory=8551196 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 2139375 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19174740 memory=-9103297019486380732 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 2139375 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234308] ppid=234281 vsize=19174740 memory=11644 CPUtime=0 cores=4,6
/proc/234284/task/234308/stat : 234308 (Timer-0) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18770865 19634933760 2139375 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 62.77 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 8557500 KiB

[startup+102.3 s]
/proc/loadavg: 4.48 4.40 4.28 5/328 234449
/proc/meminfo: memFree=44223804/131655788 swapFree=131065036/131071996
[pid=234284] ppid=234281 vsize=19174740 memory=9335660 CPUtime=117.08 cores=4,6

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

Current children cumulated memory: 16037316 KiB

[startup+3102.3 s]
/proc/loadavg: 4.55 4.35 4.32 6/333 235678
/proc/meminfo: memFree=1582180/131655788 swapFree=131059112/131071996
[pid=234284] ppid=234281 vsize=19174740 memory=16037320 CPUtime=3269.92 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 20833600 0 0 0 322314 4678 0 0 20 0 21 0 18767451 19634933760 4009330 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4793685 4009330 5875 1 0 4085634 0
[pid=234284/tid=234286] ppid=234281 vsize=19174740 memory=16037316 CPUtime=2865.78 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 7931064 0 0 0 283245 3333 0 0 20 0 21 0 18767451 19634933760 4009330 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5215 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19174740 memory=16037316 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4009330 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19174740 memory=16037316 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 1154 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4009330 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234308] ppid=234281 vsize=19174740 memory=5468 CPUtime=0 cores=4,6
/proc/234284/task/234308/stat : 234308 (Timer-0) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18770865 19634933760 4009330 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 3269.92 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16037320 KiB

[startup+3162.3 s]
/proc/loadavg: 5.76 4.73 4.45 5/333 235690
/proc/meminfo: memFree=732824/131655788 swapFree=131059112/131071996
[pid=234284] ppid=234281 vsize=19174740 memory=16042772 CPUtime=3329.9 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 20933899 0 0 0 328277 4713 0 0 20 0 21 0 18767451 19634933760 4010693 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4793685 4010693 5875 1 0 4085634 0
[pid=234284/tid=234286] ppid=234281 vsize=19174740 memory=16037316 CPUtime=2922.18 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 7932252 0 0 0 288860 3358 0 0 20 0 21 0 18767451 19634933760 4010693 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5377 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19174740 memory=16037316 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010693 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19174740 memory=16042772 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 1202 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010693 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234308] ppid=234281 vsize=19174740 memory=16042772 CPUtime=0 cores=4,6
/proc/234284/task/234308/stat : 234308 (Timer-0) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18770865 19634933760 4010693 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 3329.9 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16042772 KiB

[startup+3222.3 s]
/proc/loadavg: 4.76 4.64 4.44 5/329 235703
/proc/meminfo: memFree=871388/131655788 swapFree=131059112/131071996
[pid=234284] ppid=234281 vsize=19174740 memory=16042800 CPUtime=3391.25 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 21038368 0 0 0 334359 4766 0 0 20 0 21 0 18767451 19634933760 4010700 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4793685 4010700 5875 1 0 4085634 0
[pid=234284/tid=234286] ppid=234281 vsize=19174740 memory=16042772 CPUtime=2979.29 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 7944497 0 0 0 294546 3383 0 0 20 0 21 0 18767451 19634933760 4010700 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5432 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19174740 memory=16192 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010700 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19174740 memory=6944603635507553635 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 1203 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010700 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234308] ppid=234281 vsize=19174740 memory=16042800 CPUtime=0 cores=4,6
/proc/234284/task/234308/stat : 234308 (Timer-0) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18770865 19634933760 4010700 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 3391.25 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16042800 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.55 4.42 5/330 235715
/proc/meminfo: memFree=654848/131655788 swapFree=131059112/131071996
[pid=234284] ppid=234281 vsize=19174740 memory=16042804 CPUtime=3452.51 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 21169767 0 0 0 340443 4808 0 0 20 0 21 0 18767451 19634933760 4010701 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4793685 4010701 5875 1 0 4085634 0
[pid=234284/tid=234286] ppid=234281 vsize=19174740 memory=16042800 CPUtime=3037 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) S 234281 234284 229052 0 -1 1077936192 8017656 0 0 0 300283 3417 0 0 20 0 21 0 18767451 19634933760 4010701 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5464 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19174740 memory=-9103297019486380732 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010701 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19174740 memory=16042800 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 1203 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010701 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234308] ppid=234281 vsize=19174740 memory=16042804 CPUtime=0 cores=4,6
/proc/234284/task/234308/stat : 234308 (Timer-0) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18770865 19634933760 4010701 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16042804 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.50 4.41 5/330 235725
/proc/meminfo: memFree=548800/131655788 swapFree=131059112/131071996
[pid=234284] ppid=234281 vsize=19174740 memory=16042808 CPUtime=3514.07 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 21518723 0 0 0 346530 4877 0 0 20 0 21 0 18767451 19634933760 4010702 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4793685 4010702 5875 1 0 4085634 0
[pid=234284/tid=234286] ppid=234281 vsize=19174740 memory=16042808 CPUtime=3092.14 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 8091004 0 0 0 305747 3467 0 0 20 0 21 0 18767451 19634933760 4010702 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5604 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19174740 memory=11644 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010702 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19174740 memory=71464 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 1204 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010702 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234308] ppid=234281 vsize=19174740 memory=16042808 CPUtime=0 cores=4,6
/proc/234284/task/234308/stat : 234308 (Timer-0) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18770865 19634933760 4010702 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 3514.07 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16042808 KiB

[startup+3402.3 s]
/proc/loadavg: 4.43 4.50 4.41 5/330 236120
/proc/meminfo: memFree=512384/131655788 swapFree=131059112/131071996
[pid=234284] ppid=234281 vsize=19174740 memory=16042860 CPUtime=3582.55 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 21873755 0 0 0 353303 4952 0 0 20 0 21 0 18767451 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4793685 4010715 5875 1 0 4085637 0
[pid=234284/tid=234286] ppid=234281 vsize=19174740 memory=16042808 CPUtime=3147.56 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 8093724 0 0 0 311248 3508 0 0 20 0 21 0 18767451 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5728 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19174740 memory=71464 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19174740 memory=16042832 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 1204 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234308] ppid=234281 vsize=19174740 memory=2244 CPUtime=0 cores=4,6
/proc/234284/task/234308/stat : 234308 (Timer-0) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18770865 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 3582.55 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16042860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3419.3 s]
/proc/loadavg: 4.31 4.46 4.40 5/330 236123
/proc/meminfo: memFree=621520/131655788 swapFree=131059112/131071996
[pid=234284] ppid=234281 vsize=19174740 memory=16042860 CPUtime=3600.07 cores=4,6
/proc/234284/stat : 234284 (java) S 234281 234284 229052 0 -1 1077936128 22041346 0 0 0 355030 4977 0 0 20 0 21 0 18767451 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
/proc/234284/statm: 4793685 4010715 5875 1 0 4085637 0
[pid=234284/tid=234286] ppid=234281 vsize=19174740 memory=16042808 CPUtime=3163.33 cores=4,6
/proc/234284/task/234286/stat : 234286 (java) R 234281 234284 229052 0 -1 4194368 8225483 0 0 0 312805 3528 0 0 20 0 21 0 18767451 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5763 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234295] ppid=234281 vsize=19174740 memory=71464 CPUtime=0 cores=4,6
/proc/234284/task/234295/stat : 234295 (Finalizer) S 234281 234284 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234302] ppid=234281 vsize=19174740 memory=16042832 CPUtime=0 cores=4,6
/proc/234284/task/234302/stat : 234302 (Common-Cleaner) S 234281 234284 229052 0 -1 1077936192 1204 0 0 0 0 0 0 0 20 0 21 0 18767454 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
[pid=234284/tid=234308] ppid=234281 vsize=19174740 memory=71464 CPUtime=0 cores=4,6
/proc/234284/task/234308/stat : 234308 (Timer-0) S 234281 234284 229052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18770865 19634933760 4010715 134679101440 94223247642624 94223247646320 140728500147424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94223247654136 94223247654928 94223260119040 140728500155307 140728500155489 140728500155489 140728500162504 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16042860 KiB

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

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

# cumulated CPU time of all completed processes:  user=3550.63 s, system=50.1457 s

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

[startup+3419.61 s]
/proc/loadavg: 4.31 4.46 4.40 4/287 236137
/proc/meminfo: memFree=6216224/131655788 swapFree=131059112/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3420 s]*
/proc/loadavg: 4.31 4.46 4.40 3/286 236155
/proc/meminfo: memFree=18171916/131655788 swapFree=131059112/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3420.03
CPU time (s): 3600.77
CPU user time (s): 3550.63
CPU system time (s): 50.1457
CPU usage (%): 105.285
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 16043496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.63
system time used= 50.1457
maximum resident set size= 16044504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22043547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 58352448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142487
involuntary context switches= 18368


# summary of solver processes directly reported to runsolver:
#   pid: 234284
#   total CPU time (s): 3600.77
#   total CPU user time (s): 3550.63
#   total CPU system time (s): 50.1457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7989 second user time and 37.2234 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-24 15:29:39
IDJOB=4449242
IDBENCH=160490
IDSOLVER=3079
FILE ID=nodeC010/4449242-1721827777
RUNJOBID= nodeC010-1721820325-229063
SLURM_JOB_ID= 7891462
Free space on /tmp= 723648 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449242-1721827777/watcher-4449242-1721827777 -o /tmp/evaluation-result-4449242-1721827777/solver-4449242-1721827777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721820325-229063 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4449242-1721827777 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449242-1721827777.opb

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

MD5SUM BENCH= 8e74907d75b3430f44949ac6e798f9f2
RANDOM SEED=672559206

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.822
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
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		: 3628.651
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
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.279
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
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.367
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
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		: 3492.179
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
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		: 3491.806
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
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.495
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.61
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.609
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        54336012 kB
MemAvailable:   125738652 kB
Buffers:          253496 kB
Cached:         71471020 kB
SwapCached:         3992 kB
Active:          2238848 kB
Inactive:       73832656 kB
Active(anon):       1644 kB
Inactive(anon):  4399152 kB
Active(file):    2237204 kB
Inactive(file): 69433504 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131065036 kB
Dirty:            265568 kB
Writeback:             0 kB
AnonPages:       4342888 kB
Mapped:           121316 kB
Shmem:             53752 kB
KReclaimable:     793676 kB
Slab:             919272 kB
SReclaimable:     793676 kB
SUnreclaim:       125596 kB
KernelStack:        4960 kB
PageTables:        18728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7392160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18880 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4069376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723644 MiB
End job on nodeC010 at 2024-07-24 16:26:39