Trace number 4432458

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 Default 2024-07-07? (TO) 3600.16 3594.22

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
MD5SUM8bd0f5aea9ca570f3d71e7c4d3c71b5a
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 benchmark-59356
Best CPU time to get the best result obtained on this benchmark72001.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 536523
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 536523
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432458-1721157302.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  objective function found
5.92/4.00	c ... done. Wall clock time 3.87s.
5.92/4.00	c declared #vars     400896
5.92/4.00	c #constraints  402763
5.92/4.00	c constraints type 
5.92/4.00	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24448
5.92/4.00	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1977
5.92/4.00	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
5.92/4.00	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 376337
5.92/4.00	c 402763 constraints processed.
6.09/4.01	c objective function length is 892 literals
43.57/40.63	c cleaning 2499 clauses out of 4999 with flag 36656/5000
76.09/72.86	c cleaning 4134 clauses out of 8500 with flag 77500/11000
123.76/120.35	c cleaning 5675 clauses out of 11367 with flag 139147/18001
178.02/174.60	c cleaning 6841 clauses out of 13692 with flag 217655/26001
225.19/221.88	c cleaning 7890 clauses out of 15851 with flag 270036/35001
275.15/271.85	c cleaning 8954 clauses out of 17960 with flag 320854/45000
326.60/323.38	c cleaning 9981 clauses out of 20007 with flag 361391/56001
379.53/376.11	c cleaning 11007 clauses out of 22025 with flag 423877/68000
432.89/429.42	c cleaning 12001 clauses out of 24018 with flag 506788/81000
488.44/485.07	c cleaning 12996 clauses out of 26017 with flag 597350/95000
554.86/551.54	c cleaning 14008 clauses out of 28022 with flag 673577/110001
626.74/623.24	c cleaning 14997 clauses out of 30014 with flag 752272/126001
698.51/695.05	c cleaning 16007 clauses out of 32016 with flag 840301/143000
772.35/768.99	c cleaning 16994 clauses out of 34011 with flag 940982/161002
844.54/841.01	c cleaning 17999 clauses out of 36016 with flag 1062042/180001
925.12/921.77	c cleaning 19004 clauses out of 38017 with flag 1181070/200001
998.45/994.93	c cleaning 19962 clauses out of 40013 with flag 1269619/221001
1074.95/1071.58	c cleaning 21016 clauses out of 42051 with flag 1364369/243001
1146.62/1143.08	c cleaning 22013 clauses out of 44035 with flag 1484352/266001
1207.45/1203.91	c cleaning 23003 clauses out of 46022 with flag 1623657/290001
1250.22/1246.59	c cleaning 23997 clauses out of 48018 with flag 1763332/315000
1302.66/1299.02	c cleaning 25003 clauses out of 50022 with flag 1912470/341001
1359.97/1356.12	c cleaning 26002 clauses out of 52018 with flag 2063696/368000
1421.68/1417.98	c cleaning 27005 clauses out of 54016 with flag 2224699/396000
1486.41/1482.54	c cleaning 27992 clauses out of 56011 with flag 2390596/425000
1566.29/1562.54	c cleaning 29003 clauses out of 58019 with flag 2559121/455000
1631.10/1627.27	c cleaning 30001 clauses out of 60016 with flag 2737830/486000
1696.82/1693.09	c cleaning 31004 clauses out of 62016 with flag 2918348/518001
1771.11/1767.28	c cleaning 31997 clauses out of 64012 with flag 3098174/551001
1847.52/1843.58	c cleaning 32992 clauses out of 66014 with flag 3281996/585000
1923.89/1920.08	c cleaning 34001 clauses out of 68022 with flag 3471815/620000
2008.75/2004.81	c cleaning 35002 clauses out of 70023 with flag 3655092/656002
2101.19/2097.39	c cleaning 35996 clauses out of 72020 with flag 3837075/693001
2194.26/2190.33	c cleaning 37010 clauses out of 74023 with flag 4038036/731000
2279.35/2275.31	c cleaning 38008 clauses out of 76015 with flag 4240789/770002
2355.82/2351.62	c cleaning 39003 clauses out of 78006 with flag 4445555/810001
2443.22/2439.11	c cleaning 39994 clauses out of 80002 with flag 4647375/851000
2525.51/2520.45	c cleaning 40997 clauses out of 82008 with flag 4870655/893000
2608.14/2602.91	c cleaning 42006 clauses out of 84011 with flag 5100236/936000
2679.45/2674.30	c cleaning 42990 clauses out of 86006 with flag 5332567/980001
2740.82/2735.62	c cleaning 44008 clauses out of 88016 with flag 5570659/1025001
2797.99/2792.68	c cleaning 45004 clauses out of 90007 with flag 5824740/1071000
2855.92/2850.63	c cleaning 46002 clauses out of 92003 with flag 6067839/1118000
2912.81/2907.31	c cleaning 46989 clauses out of 94002 with flag 6321347/1166001
2971.93/2966.34	c cleaning 48001 clauses out of 96013 with flag 6583628/1215001
3032.96/3027.48	c cleaning 48997 clauses out of 98011 with flag 6858742/1265000
3094.87/3089.30	c cleaning 49997 clauses out of 100014 with flag 7133871/1316000
3156.08/3150.37	c cleaning 51002 clauses out of 102017 with flag 7396767/1368000
3218.71/3213.07	c cleaning 52007 clauses out of 104016 with flag 7670246/1421001
3282.59/3276.84	c cleaning 52995 clauses out of 106009 with flag 7945122/1475001
3347.45/3341.50	c cleaning 54003 clauses out of 108013 with flag 8226708/1530000
3413.08/3407.03	c cleaning 54999 clauses out of 110011 with flag 8513320/1586001
3479.78/3473.86	c cleaning 55997 clauses out of 112012 with flag 8801441/1643001
3549.45/3543.57	c cleaning 57003 clauses out of 114014 with flag 9089650/1701000
3600.00/3594.13	c starts		: 676
3600.00/3594.13	c conflicts		: 1743449
3600.00/3594.13	c decisions		: 6718184
3600.00/3594.13	c propagations		: 15136805302
3600.00/3594.13	c inspects		: 3496122221
3600.00/3594.13	c shortcuts		: 0
3600.00/3594.13	c learnt literals	: 1
3600.00/3594.13	c learnt binary clauses	: 1486
3600.00/3594.13	c learnt ternary clauses	: 1080
3600.00/3594.13	c learnt constraints	: 1743448
3600.00/3594.13	c ignored constraints	: 0
3600.00/3594.13	c root simplifications	: 0
3600.00/3594.13	c removed literals (reason simplification)	: 0
3600.00/3594.13	c reason swapping (by a shorter reason)	: 0
3600.00/3594.13	c Calls to reduceDB	: 54
3600.00/3594.13	c Number of update (reduction) of LBD	: 172894
3600.00/3594.13	c Imported unit clauses	: 0
3600.00/3594.13	c No decision after first conflict	: false
3600.00/3594.13	c number of reductions to clauses (during analyze)	: 0
3600.00/3594.13	c number of learned constraints concerned by reduction	: 0
3600.00/3594.13	c number of learning phase by resolution	: 0
3600.00/3594.13	c number of learning phase by cutting planes	: 0
3600.00/3594.13	c number of rounding to 1 operations	: 0
3600.00/3594.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3594.13	c number of reductions of the coefficients by power 2 	: 0
3600.00/3594.13	c number of right shift for reduction by power 2 	: 0
3600.00/3594.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3594.13	c number of ending skipping 	: 0
3600.00/3594.13	c number of internal skipping 	: 0
3600.00/3594.13	c number of derivation steps 	: 0
3600.00/3594.13	c number of skipped derivation steps 	: 0
3600.00/3594.13	c number of remaining unassigned 	: 0
3600.00/3594.13	c number of remaining assigned 	: 0
3600.00/3594.13	c number of falsified literals weakened from reason	: 0
3600.00/3594.13	c number of falsified literals weakened from conflict	: 0
3600.00/3594.13	c time for arithmetic operations	: 0
3600.00/3594.14	c timeout
3600.00/3594.14	c minimum degree of deleted constraints	: null
3600.00/3594.14	c maximum degree of deleted constraints	: null
3600.00/3594.14	c number of deleted constraints	: 0
3600.00/3594.14	c speed (assignments/second)	: 4216259.339077458
3600.00/3594.14	c non guided choices	: 29402
3600.00/3594.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 97974
3600.00/3594.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1486
3600.00/3594.19	s UNKNOWN
3600.00/3594.19	c Total wall clock time (in seconds): 3594.065

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: 63968 MiB (49145 MiB free)
  memory of node 1: 64473 MiB (60466 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432458-1721157302/watcher-4432458-1721157302 -o /tmp/evaluation-result-4432458-1721157302/solver-4432458-1721157302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721148758-863561 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432458-1721157302.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=868761, runsolver pid=868758

[startup+0.100971 s]*
/proc/loadavg: 5.37 5.25 4.88 6/331 868779
/proc/meminfo: memFree=112201548/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=18975048 memory=63320 CPUtime=0.13 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 7211 0 0 0 11 2 0 0 20 0 18 0 167893744 19430449152 15830 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4743762 15830 5679 1 0 549334 0
[pid=868761/tid=868763] ppid=868758 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 1077936192 5741 0 0 0 6 1 0 0 20 0 18 0 167893744 19430449152 15830 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 167893747 19430449152 15830 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 167893747 19430449152 15830 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63320 KiB

[startup+0.209313 s]*
/proc/loadavg: 5.37 5.25 4.88 5/331 868779
/proc/meminfo: memFree=112165344/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=18975048 memory=97488 CPUtime=0.32 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 8129 0 0 0 29 3 0 0 20 0 18 0 167893744 19430449152 24372 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4743762 24372 5818 1 0 549905 0
[pid=868761/tid=868763] ppid=868758 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 5917 0 0 0 16 2 0 0 20 0 18 0 167893744 19430449152 24372 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=18975048 memory=1623 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 167893747 19430449152 24372 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 167893747 19430449152 24372 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 97488 KiB

[startup+0.306313 s]*
/proc/loadavg: 5.37 5.25 4.88 6/331 868779
/proc/meminfo: memFree=112129304/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=18975048 memory=133004 CPUtime=0.51 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 9265 0 0 0 47 4 0 0 20 0 18 0 167893744 19430449152 33251 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4743762 33251 5818 1 0 550665 0
[pid=868761/tid=868763] ppid=868758 vsize=18975048 memory=-8599732771362284220 CPUtime=0.27 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 5935 0 0 0 24 3 0 0 20 0 18 0 167893744 19430449152 33251 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 167893747 19430449152 33251 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 167893747 19430449152 33251 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 133004 KiB

[startup+0.700452 s]
/proc/loadavg: 5.37 5.25 4.88 7/332 868780
/proc/meminfo: memFree=112079452/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19041612 memory=276388 CPUtime=1.25 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 15032 0 0 0 117 8 0 0 20 0 19 0 167893744 19498610688 69097 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4760403 69097 5850 1 0 1168395 0
[pid=868761/tid=868763] ppid=868758 vsize=19041612 memory=5436 CPUtime=0.56 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 5981 0 0 0 51 5 0 0 20 0 19 0 167893744 19498610688 69609 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19041612 memory=12292 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 167893747 19498610688 69609 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 167893747 19498610688 69609 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 276388 KiB

[startup+1.50027 s]
/proc/loadavg: 5.37 5.25 4.88 7/332 868780
/proc/meminfo: memFree=111639920/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19041612 memory=703228 CPUtime=2.63 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 19621 0 0 0 246 17 0 0 20 0 19 0 167893744 19498610688 175807 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4760403 175807 5850 1 0 1171637 0
[pid=868761/tid=868763] ppid=868758 vsize=19041612 memory=0 CPUtime=1.33 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 6224 0 0 0 120 13 0 0 20 0 19 0 167893744 19498610688 175807 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 167893747 19498610688 175807 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19041612 memory=12292 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 167893747 19498610688 175807 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 703228 KiB

[startup+3.10633 s]
/proc/loadavg: 5.37 5.25 4.88 6/332 868780
/proc/meminfo: memFree=109467820/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19041612 memory=3111124 CPUtime=5.09 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 22653 0 0 0 447 62 0 0 20 0 19 0 167893744 19498610688 777781 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4760403 777781 5897 1 0 2514828 0
[pid=868761/tid=868763] ppid=868758 vsize=19041612 memory=12292 CPUtime=2.48 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 7262 0 0 0 196 52 0 0 20 0 19 0 167893744 19498610688 777781 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 167893747 19498610688 777781 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19041612 memory=3871217233510809 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 167893747 19498610688 777781 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3111124 KiB

[startup+6.30031 s]
/proc/loadavg: 5.26 5.22 4.87 5/333 868782
/proc/meminfo: memFree=107724004/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=4482416 CPUtime=9.11 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 23823 0 0 0 822 89 0 0 20 0 20 0 167893744 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 1120604 5935 1 0 2515328 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=12292 CPUtime=5.61 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 8132 0 0 0 482 79 0 0 20 0 20 0 167893744 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=1888 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=1372640 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482416 KiB

[startup+12.7003 s]
/proc/loadavg: 5.24 5.22 4.87 6/333 868782
/proc/meminfo: memFree=107418764/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=4482416 CPUtime=15.5 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 23863 0 0 0 1460 90 0 0 20 0 20 0 167893744 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 1120604 5935 1 0 2515328 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=4482416 CPUtime=11.95 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 8146 0 0 0 1116 79 0 0 20 0 20 0 167893744 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 1120604 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 15.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482416 KiB

[startup+25.5003 s]
/proc/loadavg: 4.96 5.16 4.86 5/333 868785
/proc/meminfo: memFree=106944868/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=4482696 CPUtime=28.41 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 24675 0 0 0 2751 90 0 0 20 0 20 0 167893744 19566772224 1120674 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 1120674 5935 1 0 2515328 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=4482416 CPUtime=24.64 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 8514 0 0 0 2385 79 0 0 20 0 20 0 167893744 19566772224 1120674 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 1120674 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 1120674 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=4482692 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 1120674 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 28.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4482696 KiB

[startup+51.1059 s]
/proc/loadavg: 4.77 5.10 4.84 6/331 868789
/proc/meminfo: memFree=106366172/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=4479488 CPUtime=54.29 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 34144 0 0 0 5337 92 0 0 20 0 20 0 167893744 19566772224 1119872 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 1119872 5951 1 0 2515386 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=4482692 CPUtime=50.17 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 10355 0 0 0 4938 79 0 0 20 0 20 0 167893744 19566772224 1119872 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 1119872 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=-8599732771362284220 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 1119872 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=4483352 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 1119872 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 54.29 s
Current children cumulated vsize: 19108176 KiB

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

/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2101891 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=8407564 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 5795 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2101891 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=42056 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 2101891 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 3228.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8407564 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.18 1.98 2/252 870653
/proc/meminfo: memFree=119630292/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=8407564 CPUtime=3288.1 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 247009 0 0 0 328498 312 0 0 20 0 20 0 167893744 19566772224 2101891 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 2101891 5971 1 0 2517364 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=8407564 CPUtime=3267.81 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 108063 0 0 0 326690 91 0 0 20 0 20 0 167893744 19566772224 2101891 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=8407564 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2101891 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=1888 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 5882 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2101891 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=8407564 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 2101891 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 3288.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8407564 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.16 1.92 2/254 870669
/proc/meminfo: memFree=119625852/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=8411664 CPUtime=3348.25 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 251678 0 0 0 334512 313 0 0 20 0 20 0 167893744 19566772224 2102916 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 2102916 5971 1 0 2517364 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=8407564 CPUtime=3327.43 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 109865 0 0 0 332652 91 0 0 20 0 20 0 167893744 19566772224 2102916 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2102916 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=8411660 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 6026 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2102916 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=28212 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 2102916 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 3348.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8411664 KiB

[startup+3402.3 s]
/proc/loadavg: 1.20 1.18 1.88 2/255 870680
/proc/meminfo: memFree=119625512/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=8411688 CPUtime=3408.38 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 255623 0 0 0 340523 315 0 0 20 0 20 0 167893744 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 2102922 5971 1 0 2517364 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=12292 CPUtime=3387.08 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 110867 0 0 0 338617 91 0 0 20 0 20 0 167893744 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=42056 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=8411688 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 6120 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=8411688 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 3408.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8411688 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.16 1.83 2/255 870690
/proc/meminfo: memFree=119625096/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=8411688 CPUtime=3468.29 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 257434 0 0 0 346513 316 0 0 20 0 20 0 167893744 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 2102922 5971 1 0 2517364 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=42056 CPUtime=3446.97 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 112427 0 0 0 344606 91 0 0 20 0 20 0 167893744 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=8411688 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=-8599732771362284220 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 6261 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=8411688 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 2102922 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 3468.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8411688 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.14 1.78 2/255 870700
/proc/meminfo: memFree=119622796/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=8413736 CPUtime=3528.28 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 261380 0 0 0 352509 319 0 0 20 0 20 0 167893744 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 2103434 5971 1 0 2517364 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=-8599732771362284220 CPUtime=3506.78 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 114201 0 0 0 350587 91 0 0 20 0 20 0 167893744 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=8411688 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=8411688 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 6406 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=8413736 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 3528.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8413736 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.14 1.74 2/255 870712
/proc/meminfo: memFree=119622492/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=8413736 CPUtime=3588.2 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 263089 0 0 0 358499 321 0 0 20 0 20 0 167893744 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 2103434 5971 1 0 2517364 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=12292 CPUtime=3566.67 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 115652 0 0 0 356576 91 0 0 20 0 20 0 167893744 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=16224 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=8413736 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 6549 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=8413736 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 3588.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8413736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.11 s]
/proc/loadavg: 1.10 1.14 1.73 2/255 870713
/proc/meminfo: memFree=119622412/131524600 swapFree=131071996/131071996
[pid=868761] ppid=868758 vsize=19108176 memory=8413736 CPUtime=3600 cores=5,7
/proc/868761/stat : 868761 (java) S 868758 868761 863548 0 -1 1077936128 263647 0 0 0 359678 322 0 0 20 0 20 0 167893744 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
/proc/868761/statm: 4777044 2103434 5971 1 0 2517364 0
[pid=868761/tid=868763] ppid=868758 vsize=19108176 memory=8413736 CPUtime=3578.46 cores=5,7
/proc/868761/task/868763/stat : 868763 (java) R 868758 868761 863548 0 -1 4194368 116092 0 0 0 357754 92 0 0 20 0 20 0 167893744 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868772] ppid=868758 vsize=19108176 memory=8413736 CPUtime=0 cores=5,7
/proc/868761/task/868772/stat : 868772 (Finalizer) S 868758 868761 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868779] ppid=868758 vsize=19108176 memory=8413736 CPUtime=0 cores=5,7
/proc/868761/task/868779/stat : 868779 (Common-Cleaner) S 868758 868761 863548 0 -1 1077936192 6549 0 0 0 0 0 0 0 20 0 20 0 167893747 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
[pid=868761/tid=868781] ppid=868758 vsize=19108176 memory=8413736 CPUtime=0 cores=5,7
/proc/868761/task/868781/stat : 868781 (Timer-0) S 868758 868761 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167894148 19566772224 2103434 134679101440 93860366635008 93860366638704 140737244872096 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93860366646520 93860366647312 93860396879872 140737244877831 140737244877921 140737244877921 140737244884936 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8413736 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.91 s, system=3.24878 s

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

[startup+3594.21 s]*
/proc/loadavg: 1.09 1.14 1.72 2/237 870716
/proc/meminfo: memFree=127801240/131524600 swapFree=131071996/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): 3594.22
CPU time (s): 3600.16
CPU user time (s): 3596.91
CPU system time (s): 3.24878
CPU usage (%): 100.165
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 8413736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.91
system time used= 3.24878
maximum resident set size= 8415544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268101
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140501
involuntary context switches= 2575


# summary of solver processes directly reported to runsolver:
#   pid: 868761
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3596.91
#   total CPU system time (s): 3.24878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33071 second user time and 17.8822 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-16 21:15:15
IDJOB=4432458
IDBENCH=157605
IDSOLVER=3058
FILE ID=nodeC020/4432458-1721157302
RUNJOBID= nodeC020-1721148758-863561
SLURM_JOB_ID= 7505743
Free space on /tmp= 890044 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432458-1721157302/watcher-4432458-1721157302 -o /tmp/evaluation-result-4432458-1721157302/solver-4432458-1721157302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721148758-863561 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432458-1721157302.opb

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

MD5SUM BENCH= 8bd0f5aea9ca570f3d71e7c4d3c71b5a
RANDOM SEED=789319129

nodeC020.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		: 3674.499
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	: 7000.05
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		: 3686.012
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
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		: 3600.032
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	: 7000.05
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		: 3600.378
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
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		: 3600.164
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	: 7000.05
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		: 3688.221
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
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		: 3674.522
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	: 7000.05
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		: 3648.034
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        112243384 kB
MemAvailable:   113921352 kB
Buffers:          441240 kB
Cached:          2058964 kB
SwapCached:            0 kB
Active:           687492 kB
Inactive:       17933628 kB
Active(anon):       1592 kB
Inactive(anon): 16157044 kB
Active(file):     685900 kB
Inactive(file):  1776584 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28340 kB
Writeback:            20 kB
AnonPages:      16071336 kB
Mapped:           124536 kB
Shmem:             37720 kB
KReclaimable:     110612 kB
Slab:             219376 kB
SReclaimable:     110612 kB
SUnreclaim:       108764 kB
KernelStack:        5016 kB
PageTables:        41796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   17311568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61472 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15618048 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC020 at 2024-07-16 22:15:10