Trace number 4440218

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.18 3602.4

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-standgub.opb
MD5SUM536cfe435eeefcaf3068230629f950df
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1398254
Best CPU time to get the best result obtained on this benchmark3600.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33244
Total number of constraints456
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 constraints456
Minimum length of a constraint11
Maximum length of a constraint22350
Number of terms in the objective function 210
Biggest coefficient in the objective function 53687091200
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 326417514192
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 77387257610240
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 2427818341201528
Number of bits of the biggest sum of numbers52
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4440218-1721768528.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
0.52/0.37	c ... done. Wall clock time 0.238s.
0.52/0.37	c declared #vars     33244
0.52/0.37	c #constraints  617
0.52/0.37	c constraints type 
0.52/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 612
0.52/0.37	c org.sat4j.specs.Constr$1 => 5
0.52/0.37	c 617 constraints processed.
0.52/0.38	c objective function length is 210 literals
79.38/76.32	c cleaning 2504 clauses out of 5007 with flag 10335/5007
234.46/231.59	c cleaning 4250 clauses out of 8500 with flag 22329/11004
372.15/367.06	c cleaning 5623 clauses out of 11246 with flag 43377/18000
535.39/530.17	c cleaning 6814 clauses out of 13628 with flag 73090/26005
746.02/738.50	c cleaning 7895 clauses out of 15809 with flag 106222/35000
1030.29/1023.07	c cleaning 8951 clauses out of 17914 with flag 142119/45000
1315.12/1308.58	c cleaning 9974 clauses out of 19964 with flag 188099/56001
1631.61/1625.45	c cleaning 10987 clauses out of 21989 with flag 238028/68000
1955.82/1950.43	c cleaning 11992 clauses out of 24002 with flag 291587/81000
2370.06/2365.71	c cleaning 12996 clauses out of 26010 with flag 357178/95000
2865.51/2863.85	c cleaning 13995 clauses out of 28018 with flag 428498/110004
3312.03/3312.69	c cleaning 15001 clauses out of 30019 with flag 502123/126000
3600.06/3602.31	c starts		: 16
3600.06/3602.31	c conflicts		: 135760
3600.06/3602.31	c decisions		: 161786
3600.06/3602.31	c propagations		: 95572121
3600.06/3602.31	c inspects		: 342687037
3600.06/3602.31	c shortcuts		: 0
3600.06/3602.31	c learnt literals	: 0
3600.06/3602.31	c learnt binary clauses	: 3
3600.06/3602.31	c learnt ternary clauses	: 0
3600.06/3602.31	c learnt constraints	: 135760
3600.06/3602.31	c ignored constraints	: 0
3600.06/3602.31	c root simplifications	: 0
3600.06/3602.31	c removed literals (reason simplification)	: 251711
3600.06/3602.31	c reason swapping (by a shorter reason)	: 0
3600.06/3602.31	c Calls to reduceDB	: 12
3600.06/3602.31	c Number of update (reduction) of LBD	: 11785
3600.06/3602.31	c Imported unit clauses	: 0
3600.06/3602.31	c No decision after first conflict	: false
3600.06/3602.31	c number of reductions to clauses (during analyze)	: 0
3600.06/3602.31	c number of learned constraints concerned by reduction	: 0
3600.06/3602.31	c number of learning phase by resolution	: 0
3600.06/3602.31	c number of learning phase by cutting planes	: 0
3600.06/3602.31	c number of rounding to 1 operations	: 0
3600.06/3602.31	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3602.31	c number of reductions of the coefficients by power 2 	: 0
3600.06/3602.31	c number of right shift for reduction by power 2 	: 0
3600.06/3602.31	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3602.31	c number of ending skipping 	: 0
3600.06/3602.31	c number of internal skipping 	: 0
3600.06/3602.31	c number of derivation steps 	: 0
3600.06/3602.31	c number of skipped derivation steps 	: 0
3600.06/3602.31	c number of remaining unassigned 	: 0
3600.06/3602.31	c number of remaining assigned 	: 0
3600.06/3602.31	c number of falsified literals weakened from reason	: 0
3600.06/3602.31	c number of falsified literals weakened from conflict	: 0
3600.06/3602.31	c time for arithmetic operations	: 0
3600.06/3602.31	c minimum degree of deleted constraints	: null
3600.06/3602.31	c maximum degree of deleted constraints	: null
3600.06/3602.31	c timeout
3600.06/3602.31	c number of deleted constraints	: 0
3600.06/3602.33	c speed (assignments/second)	: 26533.711669326825
3600.06/3602.33	c non guided choices	: 10165
3600.06/3602.34	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 24775
3600.06/3602.34	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 3
3600.06/3602.34	s UNKNOWN
3600.06/3602.34	c Total wall clock time (in seconds): 3602.216

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (47815 MiB free)
  memory of node 1: 64510 MiB (15258 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 4.84 4.98 4.72 8/341 123389
/proc/meminfo: memFree=64541776/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=18975048 memory=67036 CPUtime=0.13 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 7087 0 0 0 12 1 0 0 20 0 18 0 13383103 19430449152 16759 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4743762 16759 5722 1 0 549366 0
[pid=123371/tid=123373] ppid=123368 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 1078198336 5661 0 0 0 8 1 0 0 20 0 18 0 13383103 19430449152 16759 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13383105 19430449152 16759 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=18975048 memory=14692998043451069 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13383106 19430449152 16759 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67036 KiB

[startup+0.20654 s]*
/proc/loadavg: 4.84 4.98 4.72 7/341 123389
/proc/meminfo: memFree=64523464/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=18975048 memory=83548 CPUtime=0.33 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 7540 0 0 0 31 2 0 0 20 0 18 0 13383103 19430449152 20887 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4743762 20887 5846 1 0 549667 0
[pid=123371/tid=123373] ppid=123368 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 5821 0 0 0 17 1 0 0 20 0 18 0 13383103 19430449152 20887 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=18975048 memory=835473 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13383105 19430449152 20887 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13383106 19430449152 20887 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83548 KiB

[startup+0.306541 s]*
/proc/loadavg: 4.84 4.98 4.72 7/341 123389
/proc/meminfo: memFree=64477916/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=18975048 memory=124484 CPUtime=0.52 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 9235 0 0 0 49 3 0 0 20 0 18 0 13383103 19430449152 31121 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4743762 31121 5846 1 0 550639 0
[pid=123371/tid=123373] ppid=123368 vsize=18975048 memory=-8599455715974488764 CPUtime=0.27 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 5842 0 0 0 25 2 0 0 20 0 18 0 13383103 19430449152 31121 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13383105 19430449152 31121 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13383106 19430449152 31121 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 124484 KiB

[startup+0.703905 s]
/proc/loadavg: 4.84 4.98 4.72 7/342 123390
/proc/meminfo: memFree=64445804/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19041612 memory=165820 CPUtime=1.28 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 14119 0 0 0 124 4 0 0 20 0 19 0 13383103 19498610688 41455 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4760403 41455 5900 1 0 553526 0
[pid=123371/tid=123373] ppid=123368 vsize=19041612 memory=5552 CPUtime=0.65 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 5987 0 0 0 62 3 0 0 20 0 19 0 13383103 19498610688 41455 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19041612 memory=12348 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13383105 19498610688 41455 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13383106 19498610688 41455 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13383143 19498610688 41455 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165820 KiB

[startup+1.50026 s]
/proc/loadavg: 4.93 5.00 4.73 5/342 123390
/proc/meminfo: memFree=64419308/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=193288 CPUtime=2.45 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 14413 0 0 0 240 5 0 0 20 0 20 0 13383103 19566772224 48322 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 48322 5916 1 0 553827 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=12348 CPUtime=1.4 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 5993 0 0 0 137 3 0 0 20 0 20 0 13383103 19566772224 48322 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 48322 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 48322 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=280138302530832 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 48322 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193288 KiB

[startup+3.10754 s]
/proc/loadavg: 4.93 5.00 4.73 6/343 123391
/proc/meminfo: memFree=64361904/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=194080 CPUtime=4.55 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 18047 0 0 0 449 6 0 0 20 0 20 0 13383103 19566772224 48520 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 48520 5948 1 0 553830 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=0 CPUtime=3 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 6396 0 0 0 297 3 0 0 20 0 20 0 13383103 19566772224 48520 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 48520 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 48520 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 48520 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 4.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194080 KiB

[startup+6.30025 s]
/proc/loadavg: 4.86 4.98 4.73 7/343 123393
/proc/meminfo: memFree=64305508/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=220672 CPUtime=8.23 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 19962 0 0 0 815 8 0 0 20 0 20 0 13383103 19566772224 55168 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 55168 5948 1 0 553832 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=12348 CPUtime=6.05 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 6652 0 0 0 601 4 0 0 20 0 20 0 13383103 19566772224 55168 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 55168 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=193604 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 55168 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 55168 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 8.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 220672 KiB

[startup+12.7003 s]
/proc/loadavg: 4.79 4.97 4.72 6/343 123393
/proc/meminfo: memFree=63672584/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=746248 CPUtime=14.85 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 22912 0 0 0 1464 21 0 0 20 0 20 0 13383103 19566772224 186562 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 186562 5948 1 0 664530 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=0 CPUtime=12.12 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 7407 0 0 0 1200 12 0 0 20 0 20 0 13383103 19566772224 186562 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=-8599455715974488764 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 186562 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=2228 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 186562 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 186562 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 14.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 746248 KiB

[startup+25.5005 s]
/proc/loadavg: 4.67 4.93 4.71 5/343 123396
/proc/meminfo: memFree=61144624/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=3113632 CPUtime=28.36 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 26947 0 0 0 2762 74 0 0 20 0 20 0 13383103 19566772224 778408 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 778408 5948 1 0 1458309 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=11576 CPUtime=23.97 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 8309 0 0 0 2349 48 0 0 20 0 20 0 13383103 19566772224 778408 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 778408 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=220672 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 778408 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=280138302477616 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 778408 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 28.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3113632 KiB

[startup+51.1061 s]
/proc/loadavg: 4.53 4.88 4.70 5/343 123399
/proc/meminfo: memFree=59120840/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=4228764 CPUtime=53.91 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 31632 0 0 0 5283 108 0 0 20 0 20 0 13383103 19566772224 1057191 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 1057191 5948 1 0 1458322 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=4052476 CPUtime=48.04 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 10224 0 0 0 4732 72 0 0 20 0 20 0 13383103 19566772224 1057191 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=280138303227264 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 1057191 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0

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

/proc/meminfo: memFree=23912596/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3281.6 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 316907 0 0 0 327606 554 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 2748064 5977 1 0 2762110 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=-8599455715974488764 CPUtime=3243.93 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 153349 0 0 0 323983 410 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1100 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 5418 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 3281.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10992256 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.30 4.34 4/337 125436
/proc/meminfo: memFree=23010292/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3341.91 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 329619 0 0 0 333633 558 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 2748064 5977 1 0 2762110 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=12348 CPUtime=3303.3 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 157275 0 0 0 329918 412 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1100 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 5494 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 3341.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10992256 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.29 4.33 5/339 125617
/proc/meminfo: memFree=22111220/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3401.71 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 331770 0 0 0 339611 560 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 2748064 5977 1 0 2762110 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3363.08 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 159168 0 0 0 335894 414 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1103 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 5617 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 3401.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10992256 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.31 4.34 5/339 125627
/proc/meminfo: memFree=20976656/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3461.19 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 334733 0 0 0 345555 564 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 2748064 5977 1 0 2762110 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3422.55 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 161818 0 0 0 341838 417 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1109 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=43496 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 5733 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 3461.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10992256 KiB

[startup+3522.3 s]
/proc/loadavg: 4.58 4.38 4.36 5/339 125643
/proc/meminfo: memFree=19974680/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3520.64 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 338347 0 0 0 351497 567 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 2748064 5977 1 0 2762110 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3481.97 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 164736 0 0 0 347778 419 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1109 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=-8599455715974488764 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 5849 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=33188 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 3520.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10992256 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.34 4.35 5/339 125667
/proc/meminfo: memFree=19033012/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3580.13 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 341441 0 0 0 357442 571 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 2748064 5977 1 0 2762110 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=43496 CPUtime=3541.43 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 167331 0 0 0 353722 421 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1130 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 5971 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=16012 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 3580.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10992256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.3 s]
/proc/loadavg: 4.32 4.33 4.35 6/339 125671
/proc/meminfo: memFree=18700124/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3600.06 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 342439 0 0 0 359435 571 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 2748064 5977 1 0 2762110 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=11576 CPUtime=3561.37 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 168323 0 0 0 355715 422 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1130 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 5971 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10992256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.43 s, system=5.75498 s

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

[startup+3602.3 s]
/proc/loadavg: 4.32 4.33 4.35 6/339 125671
/proc/meminfo: memFree=18700124/131524600 swapFree=131064012/131071996
[pid=123371] ppid=123368 vsize=19108176 memory=10992256 CPUtime=3600.06 cores=0,2
/proc/123371/stat : 123371 (java) S 123368 123371 121366 0 -1 1077936128 342439 0 0 0 359435 571 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
/proc/123371/statm: 4777044 2748064 5977 1 0 2762110 0
[pid=123371/tid=123373] ppid=123368 vsize=19108176 memory=11576 CPUtime=3561.37 cores=0,2
/proc/123371/task/123373/stat : 123373 (java) R 123368 123371 121366 0 -1 4194368 168323 0 0 0 355715 422 0 0 20 0 20 0 13383103 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1130 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123382] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123382/stat : 123382 (Finalizer) S 123368 123371 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13383105 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123389] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123389/stat : 123389 (Common-Cleaner) S 123368 123371 121366 0 -1 1077936192 5971 0 0 0 0 0 0 0 20 0 20 0 13383106 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
[pid=123371/tid=123390] ppid=123368 vsize=19108176 memory=10992256 CPUtime=0 cores=0,2
/proc/123371/task/123390/stat : 123390 (Timer-0) S 123368 123371 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13383143 19566772224 2748064 134679101440 94418491260928 94418491264624 140736020722224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94418491272440 94418491273232 94418505281536 140736020726699 140736020726881 140736020726881 140736020733896 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10992256 KiB

Child status: 143

Real time (s): 3602.4
CPU time (s): 3600.18
CPU user time (s): 3594.43
CPU system time (s): 5.75498
CPU usage (%): 99.9383
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 10992256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.43
system time used= 5.75498
maximum resident set size= 10993696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346205
page faults= 0
swaps= 0
block input operations= 8
block output operations= 7267568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108665
involuntary context switches= 28596


# summary of solver processes directly reported to runsolver:
#   pid: 123371
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3594.43
#   total CPU system time (s): 5.75498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50207 second user time and 19.358 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-23 23:02:08
IDJOB=4440218
IDBENCH=146850
IDSOLVER=3079
FILE ID=nodeC035/4440218-1721768528
RUNJOBID= nodeC035-1721765643-121376
SLURM_JOB_ID= 7770671
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.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-4440218-1721768528/watcher-4440218-1721768528 -o /tmp/evaluation-result-4440218-1721768528/solver-4440218-1721768528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721765643-121376 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440218-1721768528 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440218-1721768528.opb

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

MD5SUM BENCH= 536cfe435eeefcaf3068230629f950df
RANDOM SEED=618100369

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        64588660 kB
MemAvailable:   99022672 kB
Buffers:          176388 kB
Cached:         34973016 kB
SwapCached:          148 kB
Active:          1078040 kB
Inactive:       64994356 kB
Active(anon):       1944 kB
Inactive(anon): 30958308 kB
Active(file):    1076096 kB
Inactive(file): 34036048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064012 kB
Dirty:            397812 kB
Writeback:             0 kB
AnonPages:      30917968 kB
Mapped:           122508 kB
Shmem:             37144 kB
KReclaimable:     323028 kB
Slab:             446016 kB
SReclaimable:     323028 kB
SUnreclaim:       122988 kB
KernelStack:        5196 kB
PageTables:        70068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   31470436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:  30228480 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:      328404 kB
DirectMap2M:    34048000 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC035 at 2024-07-24 00:02:11