Trace number 4509905

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.18 3626.9

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb
MD5SUMe5c6ae9ee6fd03a9aee6a0d19e002873
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables577
Total number of constraints1922
Number of constraints which are clauses1922
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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 PB25.v20250606
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		5.14.0-503.14.1.el9_5.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.08	c Number of processors 	2
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@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 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 Expensive 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-4509905-1751194613.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.33/0.21	c ... done. Wall clock time 0.079s.
0.33/0.21	c declared #vars     577
0.33/0.21	c #constraints  1922
0.33/0.21	c constraints type 
0.33/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.33/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1920
0.33/0.21	c 1922 constraints processed.
1.88/1.04	c cleaning 2496 clauses out of 5002 with flag 25060/5002
3.07/1.64	c cleaning 4249 clauses out of 8505 with flag 60850/11001
4.24/2.23	c cleaning 5619 clauses out of 11255 with flag 103534/18000
5.11/2.88	c cleaning 6812 clauses out of 13636 with flag 160939/26000
6.16/3.64	c cleaning 7909 clauses out of 15824 with flag 220759/35000
7.13/4.48	c cleaning 8954 clauses out of 17915 with flag 289969/45000
8.24/5.50	c cleaning 9971 clauses out of 19961 with flag 374667/56000
9.44/6.79	c cleaning 10992 clauses out of 21992 with flag 478758/68002
10.74/8.07	c cleaning 11995 clauses out of 23999 with flag 580846/81001
12.15/9.45	c cleaning 12996 clauses out of 26004 with flag 692063/95001
13.64/10.90	c cleaning 13994 clauses out of 28008 with flag 817805/110001
15.24/12.52	c cleaning 15002 clauses out of 30015 with flag 957067/126002
17.09/14.35	c cleaning 16003 clauses out of 32011 with flag 1103405/143000
19.23/16.42	c cleaning 17002 clauses out of 34010 with flag 1278421/161002
21.43/18.60	c cleaning 17998 clauses out of 36008 with flag 1461145/180002
23.84/21.06	c cleaning 18999 clauses out of 38008 with flag 1661191/200000
26.52/23.72	c cleaning 20000 clauses out of 40011 with flag 1889511/221002
29.52/26.71	c cleaning 21002 clauses out of 42010 with flag 2126720/243001
32.83/30.06	c cleaning 22004 clauses out of 44010 with flag 2389148/266003
36.51/33.80	c cleaning 22995 clauses out of 46004 with flag 2687474/290001
40.10/37.67	c cleaning 24000 clauses out of 48008 with flag 2979234/315000
44.10/41.67	c cleaning 24998 clauses out of 50010 with flag 3305465/341002
48.19/45.76	c cleaning 25999 clauses out of 52010 with flag 3634678/368000
52.50/50.10	c cleaning 27003 clauses out of 54011 with flag 3975317/396000
57.27/54.87	c cleaning 27999 clauses out of 56008 with flag 4332521/425000
62.28/59.85	c cleaning 29001 clauses out of 58010 with flag 4732677/455001
68.06/65.65	c cleaning 29996 clauses out of 60008 with flag 5173191/486000
74.25/71.95	c cleaning 31005 clauses out of 62014 with flag 5628020/518002
80.25/77.99	c cleaning 32002 clauses out of 64009 with flag 6086132/551002
87.14/84.85	c cleaning 33001 clauses out of 66008 with flag 6589493/585003
94.04/91.74	c cleaning 33998 clauses out of 68004 with flag 7086833/620000
101.55/99.37	c cleaning 35002 clauses out of 70008 with flag 7621034/656002
109.34/107.10	c cleaning 35994 clauses out of 72007 with flag 8182230/693003
117.33/115.17	c cleaning 37005 clauses out of 74011 with flag 8755216/731001
126.52/124.30	c cleaning 38000 clauses out of 76008 with flag 9372740/770003
135.91/133.80	c cleaning 38999 clauses out of 78006 with flag 10021164/810001
145.60/143.58	c cleaning 40000 clauses out of 80007 with flag 10691432/851001
155.60/153.56	c cleaning 40999 clauses out of 82007 with flag 11372955/893001
165.81/163.82	c cleaning 41991 clauses out of 84008 with flag 12069872/936001
176.02/174.10	c cleaning 43004 clauses out of 86017 with flag 12787471/980001
188.12/186.18	c cleaning 43997 clauses out of 88014 with flag 13549536/1025002
199.51/197.61	c cleaning 45005 clauses out of 90015 with flag 14313922/1071000
211.40/209.55	c cleaning 46001 clauses out of 92012 with flag 15106365/1118002
225.66/223.97	c cleaning 46998 clauses out of 94010 with flag 15855239/1166001
238.54/236.89	c cleaning 48002 clauses out of 96012 with flag 16674131/1215001
251.52/249.84	c cleaning 49001 clauses out of 98009 with flag 17515742/1265000
264.35/262.74	c cleaning 49996 clauses out of 100010 with flag 18258393/1316002
278.08/276.41	c cleaning 50999 clauses out of 102012 with flag 19027683/1368000
293.01/291.45	c cleaning 52000 clauses out of 104013 with flag 19841833/1421000
310.12/308.50	c cleaning 52996 clauses out of 106015 with flag 20787812/1475002
325.98/324.47	c cleaning 54004 clauses out of 108020 with flag 21746570/1530003
344.76/343.28	c cleaning 55005 clauses out of 110014 with flag 22753893/1586001
363.47/361.97	c cleaning 55999 clauses out of 112008 with flag 23754732/1643000
383.43/382.00	c cleaning 57000 clauses out of 114009 with flag 24820560/1701000
403.33/401.82	c cleaning 57998 clauses out of 116011 with flag 25899671/1760002
423.57/422.12	c cleaning 59003 clauses out of 118013 with flag 26992365/1820002
444.34/442.95	c cleaning 59998 clauses out of 120008 with flag 28095927/1881000
463.74/462.30	c cleaning 61003 clauses out of 122012 with flag 29148186/1943002
485.67/484.34	c cleaning 61998 clauses out of 124007 with flag 30327884/2006000
508.01/506.76	c cleaning 62998 clauses out of 126009 with flag 31496519/2070000
531.19/529.99	c cleaning 64004 clauses out of 128012 with flag 32683757/2135001
554.79/553.52	c cleaning 65001 clauses out of 130008 with flag 33915185/2201001
580.61/579.42	c cleaning 65996 clauses out of 132007 with flag 35170643/2268001
605.38/604.28	c cleaning 67004 clauses out of 134011 with flag 36514030/2336001
631.10/630.34	c cleaning 67999 clauses out of 136007 with flag 37842356/2405001
656.68/655.94	c cleaning 69000 clauses out of 138007 with flag 39144605/2475000
683.12/682.45	c cleaning 70004 clauses out of 140009 with flag 40509381/2546002
711.21/710.53	c cleaning 70996 clauses out of 142005 with flag 41915832/2618002
740.44/739.86	c cleaning 72003 clauses out of 144008 with flag 43333572/2691001
766.99/766.44	c cleaning 72998 clauses out of 146004 with flag 44724122/2765000
797.81/797.31	c cleaning 73994 clauses out of 148006 with flag 46189333/2840000
827.98/827.58	c cleaning 75005 clauses out of 150015 with flag 47667582/2916003
863.02/862.68	c cleaning 75998 clauses out of 152007 with flag 49225561/2993000
899.59/899.31	c cleaning 77002 clauses out of 154009 with flag 50817886/3071000
933.78/933.60	c cleaning 77999 clauses out of 156007 with flag 52388809/3150000
967.73/967.62	c cleaning 79003 clauses out of 158009 with flag 53996821/3230001
1002.50/1002.59	c cleaning 79996 clauses out of 160006 with flag 55620303/3311001
1038.13/1039.02	c cleaning 80995 clauses out of 162010 with flag 57265902/3393001
1074.35/1075.32	c cleaning 82004 clauses out of 164016 with flag 58892705/3476002
1113.55/1114.74	c cleaning 83005 clauses out of 166013 with flag 60643936/3560003
1150.59/1151.87	c cleaning 83997 clauses out of 168006 with flag 62341729/3645001
1187.92/1189.22	c cleaning 84997 clauses out of 170009 with flag 64056059/3731001
1226.26/1227.60	c cleaning 86001 clauses out of 172013 with flag 65850603/3818002
1262.19/1263.60	c cleaning 86999 clauses out of 174011 with flag 67532265/3906001
1304.72/1306.27	c cleaning 88003 clauses out of 176011 with flag 69397504/3995000
1338.72/1340.10	c cleaning 89002 clauses out of 178008 with flag 71112197/4085000
1383.03/1384.53	c cleaning 89999 clauses out of 180006 with flag 72972735/4176000
1425.91/1427.59	c cleaning 91000 clauses out of 182008 with flag 74937889/4268001
1468.71/1470.41	c cleaning 92003 clauses out of 184008 with flag 76858294/4361001
1512.15/1514.01	c cleaning 92989 clauses out of 186005 with flag 78821014/4455001
1558.95/1560.98	c cleaning 93996 clauses out of 188015 with flag 80801536/4550000
1605.87/1608.04	c cleaning 95008 clauses out of 190020 with flag 82749852/4646001
1657.17/1659.46	c cleaning 96004 clauses out of 192015 with flag 84841141/4743004
1703.57/1705.90	c cleaning 96997 clauses out of 194009 with flag 86894152/4841002
1756.35/1774.90	c cleaning 97997 clauses out of 196010 with flag 88981279/4940000
1807.83/1826.66	c cleaning 99002 clauses out of 198013 with flag 91112721/5040000
1859.99/1879.56	c cleaning 100000 clauses out of 200013 with flag 93266938/5141002
1917.22/1937.19	c cleaning 101004 clauses out of 202011 with flag 95438611/5243000
1973.90/1994.15	c cleaning 102002 clauses out of 204007 with flag 97632233/5346000
2033.73/2054.20	c cleaning 103002 clauses out of 206007 with flag 99901406/5450002
2087.45/2108.36	c cleaning 103991 clauses out of 208004 with flag 102098246/5555001
2143.98/2167.14	c cleaning 104997 clauses out of 210012 with flag 104357219/5661000
2212.19/2235.58	c cleaning 106001 clauses out of 212015 with flag 106767911/5768000
2279.86/2303.41	c cleaning 107001 clauses out of 214016 with flag 109178461/5876002
2346.53/2370.21	c cleaning 108002 clauses out of 216016 with flag 111574606/5985003
2415.17/2439.18	c cleaning 109001 clauses out of 218011 with flag 114040249/6095000
2480.58/2504.76	c cleaning 110001 clauses out of 220010 with flag 116422303/6206000
2547.80/2572.16	c cleaning 110997 clauses out of 222011 with flag 118911203/6318002
2623.48/2647.92	c cleaning 111996 clauses out of 224012 with flag 121451019/6431000
2696.65/2721.24	c cleaning 113002 clauses out of 226016 with flag 123989302/6545000
2766.33/2791.06	c cleaning 114007 clauses out of 228015 with flag 126548510/6660001
2836.05/2860.95	c cleaning 114996 clauses out of 230007 with flag 129117086/6776000
2905.49/2930.54	c cleaning 115998 clauses out of 232011 with flag 131720414/6893000
2985.41/3010.79	c cleaning 117005 clauses out of 234015 with flag 134408541/7011002
3055.24/3080.74	c cleaning 118002 clauses out of 236009 with flag 137022193/7130001
3121.05/3146.78	c cleaning 118987 clauses out of 238006 with flag 139521689/7250000
3195.57/3221.44	c cleaning 119999 clauses out of 240019 with flag 141819044/7371000
3263.31/3289.21	c cleaning 121001 clauses out of 242021 with flag 144069198/7493001
3345.45/3371.51	c cleaning 121997 clauses out of 244019 with flag 146425614/7616000
3423.47/3449.79	c cleaning 123004 clauses out of 246023 with flag 148927710/7740001
3497.16/3523.59	c cleaning 124001 clauses out of 248018 with flag 151632216/7865000
3578.98/3605.68	c cleaning 124996 clauses out of 250020 with flag 154398508/7991003
3600.04/3626.81	c starts		: 32028
3600.04/3626.82	c conflicts		: 8035785
3600.04/3626.82	c decisions		: 12902942
3600.04/3626.82	c propagations		: 583782560
3600.04/3626.82	c inspects		: 43467731221
3600.04/3626.82	c shortcuts		: 0
3600.04/3626.82	c learnt literals	: 0
3600.04/3626.82	c learnt binary clauses	: 768
3600.04/3626.82	c learnt ternary clauses	: 0
3600.04/3626.82	c learnt constraints	: 8035785
3600.04/3626.82	c ignored constraints	: 0
3600.04/3626.82	c root simplifications	: 0
3600.04/3626.82	c removed literals (reason simplification)	: 118695021
3600.04/3626.82	c reason swapping (by a shorter reason)	: 0
3600.04/3626.82	c Calls to reduceDB	: 122
3600.04/3626.82	c Number of update (reduction) of LBD	: 2154768
3600.04/3626.82	c Imported unit clauses	: 0
3600.04/3626.82	c No decision after first conflict	: false
3600.04/3626.82	c number of reductions to clauses (during analyze)	: 0
3600.04/3626.82	c number of learned constraints concerned by reduction	: 0
3600.04/3626.82	c number of learning phase by resolution	: 0
3600.04/3626.82	c number of learning phase by cutting planes	: 0
3600.04/3626.82	c number of rounding to 1 operations	: 0
3600.04/3626.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3626.82	c timeout
3600.04/3626.82	c number of reductions of the coefficients by power 2 	: 0
3600.04/3626.82	c number of right shift for reduction by power 2 	: 0
3600.04/3626.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3626.82	c number of ending skipping 	: 0
3600.04/3626.82	c number of internal skipping 	: 0
3600.04/3626.82	c number of derivation steps 	: 0
3600.04/3626.82	c number of skipped derivation steps 	: 0
3600.04/3626.82	c number of remaining unassigned 	: 0
3600.04/3626.82	c number of remaining assigned 	: 0
3600.04/3626.82	c number of falsified literals weakened from reason	: 0
3600.04/3626.82	c number of falsified literals weakened from conflict	: 0
3600.04/3626.82	c time for arithmetic operations	: 0
3600.04/3626.82	c minimum degree of deleted constraints	: null
3600.04/3626.82	c maximum degree of deleted constraints	: null
3600.04/3626.82	c number of deleted constraints	: 0
3600.04/3626.82	c speed (assignments/second)	: 160972.23738792547
3600.04/3626.82	c non guided choices	: 2620
3600.04/3626.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 169038
3600.04/3626.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 768
3600.04/3626.88	s UNKNOWN
3600.04/3626.88	c Total wall clock time (in seconds): 3626.756

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: 63665 MiB (61323 MiB free)
  memory of node 1: 64507 MiB (48691 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509905-1751194613/watcher-4509905-1751194613 -o /tmp/evaluation-result-4509905-1751194613/solver-4509905-1751194613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24981 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509905-1751194613 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509905-1751194613.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 4.13 4.18 4.13 5/343 25599
/proc/meminfo: memFree=112618084/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=18930384 memory=57960 CPUtime=0.13 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 6605 0 0 0 11 2 0 0 20 0 18 0 35139044 19384713216 14490 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4732596 14490 5350 1 0 547643 0
[pid=25581/tid=25583] ppid=25578 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4456512 5100 0 0 0 7 1 0 0 20 0 18 0 35139045 19384713216 14490 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=18930384 memory=224227754321 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35139047 19384713216 14490 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=18930384 memory=59585004335488 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35139048 19384713216 14490 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57960 KiB

[startup+0.205933 s]*
/proc/loadavg: 4.13 4.18 4.13 6/343 25599
/proc/meminfo: memFree=112609956/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=18930384 memory=65320 CPUtime=0.33 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 7379 0 0 0 30 3 0 0 20 0 18 0 35139044 19384713216 16330 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4732596 16330 5414 1 0 548239 0
[pid=25581/tid=25583] ppid=25578 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 5282 0 0 0 15 1 0 0 20 0 18 0 35139045 19384713216 16330 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=18930384 memory=16195 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35139047 19384713216 16330 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35139048 19384713216 16330 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65320 KiB

[startup+0.305876 s]*
/proc/loadavg: 4.13 4.18 4.13 6/344 25600
/proc/meminfo: memFree=112599244/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=18996948 memory=71372 CPUtime=0.52 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 8815 0 0 0 49 3 0 0 20 0 19 0 35139044 19452874752 17843 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4749237 17843 5414 1 0 549377 0
[pid=25581/tid=25583] ppid=25578 vsize=18996948 memory=-6000919472672958317 CPUtime=0.25 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 5340 0 0 0 23 2 0 0 20 0 19 0 35139045 19452874752 17843 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35139047 19452874752 17843 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35139048 19452874752 17843 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35139066 19452874752 17843 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71372 KiB

[startup+0.700216 s]
/proc/loadavg: 4.13 4.18 4.13 6/344 25600
/proc/meminfo: memFree=112565616/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=18996948 memory=142876 CPUtime=1.28 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 13469 0 0 0 123 5 0 0 20 0 19 0 35139044 19452874752 35719 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4749237 35719 5446 1 0 552726 0
[pid=25581/tid=25583] ppid=25578 vsize=18996948 memory=17280 CPUtime=0.62 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 5379 0 0 0 59 3 0 0 20 0 19 0 35139045 19452874752 35719 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35139047 19452874752 35719 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35139048 19452874752 35719 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35139066 19452874752 35719 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142876 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.18 4.13 6/345 25601
/proc/meminfo: memFree=112473180/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=173744 CPUtime=2.87 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 20278 0 0 0 280 7 0 0 20 0 20 0 35139044 19521036288 43436 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 43436 5478 1 0 553290 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=10752 CPUtime=1.39 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 5721 0 0 0 135 4 0 0 20 0 20 0 35139045 19521036288 43436 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 43436 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 43436 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 43436 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173744 KiB

[startup+3.10613 s]
/proc/loadavg: 4.13 4.18 4.13 6/345 25601
/proc/meminfo: memFree=112407348/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=204832 CPUtime=5.64 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 25260 0 0 0 555 9 0 0 20 0 20 0 35139044 19521036288 51208 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 51208 5478 1 0 554263 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=10752 CPUtime=2.96 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 6298 0 0 0 291 5 0 0 20 0 20 0 35139045 19521036288 51208 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=-6000919472672958317 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 51208 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 51208 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 51208 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 204832 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.17 4.13 5/345 25601
/proc/meminfo: memFree=112068664/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=473316 CPUtime=9.05 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 25778 0 0 0 888 17 0 0 20 0 20 0 35139044 19521036288 118329 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 118329 5478 1 0 554263 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=0 CPUtime=6.14 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 6756 0 0 0 602 12 0 0 20 0 20 0 35139045 19521036288 118329 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 118329 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 118329 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=173872 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 118329 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 9.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 473316 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.17 4.13 5/345 25601
/proc/meminfo: memFree=111529652/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=923968 CPUtime=15.49 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 31323 0 0 0 1519 30 0 0 20 0 20 0 35139044 19521036288 230992 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 230992 5478 1 0 554279 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=173872 CPUtime=12.52 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 8181 0 0 0 1227 25 0 0 20 0 20 0 35139045 19521036288 230992 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 230992 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=923968 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 230992 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 230992 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 923968 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.18 4.13 5/345 25601
/proc/meminfo: memFree=110887356/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=1329528 CPUtime=28.32 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 36334 0 0 0 2786 46 0 0 20 0 20 0 35139044 19521036288 332382 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 332382 5478 1 0 554279 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=10752 CPUtime=25.24 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 9500 0 0 0 2485 39 0 0 20 0 20 0 35139045 19521036288 332382 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=923968 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 332382 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 332382 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 332382 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 28.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1329528 KiB

[startup+51.1059 s]
/proc/loadavg: 4.18 4.18 4.13 5/345 25601
/proc/meminfo: memFree=110503456/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=1329656 CPUtime=53.59 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 39187 0 0 0 5301 58 0 0 20 0 20 0 35139044 19521036288 332414 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 332414 5510 1 0 554279 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=21996 CPUtime=50.44 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 10873 0 0 0 4993 51 0 0 20 0 20 0 35139045 19521036288 332414 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0

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

/proc/meminfo: memFree=99533316/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3196.47 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 113139 0 0 0 318864 783 0 0 20 0 20 0 35139044 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 543868 5542 1 0 556147 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=2175344 CPUtime=3179.44 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 47051 0 0 0 317248 696 0 0 20 0 20 0 35139045 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 1831 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 3196.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175472 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/344 25916
/proc/meminfo: memFree=99143496/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3256.36 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 113648 0 0 0 324841 795 0 0 20 0 20 0 35139044 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 543868 5542 1 0 556147 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3239.06 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 47493 0 0 0 323199 707 0 0 20 0 20 0 35139045 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 1831 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 3256.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175472 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/344 25918
/proc/meminfo: memFree=98754392/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3316.35 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 115716 0 0 0 330829 806 0 0 20 0 20 0 35139044 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 543868 5542 1 0 556147 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3298.65 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 48431 0 0 0 329148 717 0 0 20 0 20 0 35139045 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 1959 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 3316.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175472 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/346 25922
/proc/meminfo: memFree=98349856/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3376.23 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 117745 0 0 0 336804 819 0 0 20 0 20 0 35139044 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 543868 5542 1 0 556147 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3358.29 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 49409 0 0 0 335101 728 0 0 20 0 20 0 35139045 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 1961 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 3376.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/346 25924
/proc/meminfo: memFree=98000480/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3436.04 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 117922 0 0 0 342775 829 0 0 20 0 20 0 35139044 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 543868 5542 1 0 556147 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3417.94 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 49477 0 0 0 341056 738 0 0 20 0 20 0 35139045 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 2015 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 3436.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175472 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/346 25926
/proc/meminfo: memFree=97589192/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3495.96 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 118019 0 0 0 348755 841 0 0 20 0 20 0 35139044 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 543868 5542 1 0 556147 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3477.51 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 49490 0 0 0 347002 749 0 0 20 0 20 0 35139045 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 2016 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 3495.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175472 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.16 4.11 6/345 26258
/proc/meminfo: memFree=111767320/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3555.73 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 119026 0 0 0 354714 859 0 0 20 0 20 0 35139044 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 543868 5542 1 0 556147 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=10752 CPUtime=3537.08 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 50408 0 0 0 352942 766 0 0 20 0 20 0 35139045 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=2175472 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 2016 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 3555.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3626.8 s]
/proc/loadavg: 4.23 4.16 4.10 5/346 26461
/proc/meminfo: memFree=111159160/131249996 swapFree=33010684/33010684
[pid=25581] ppid=25578 vsize=19063512 memory=2175472 CPUtime=3600.04 cores=4,6
/proc/25581/stat : 25581 (java) S 25578 25581 24970 0 -1 4194304 120681 0 0 0 359130 874 0 0 20 0 20 0 35139044 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
/proc/25581/statm: 4765878 543868 5542 1 0 556147 0
[pid=25581/tid=25583] ppid=25578 vsize=19063512 memory=6852 CPUtime=3581.18 cores=4,6
/proc/25581/task/25583/stat : 25583 (java) R 25578 25581 24970 0 -1 4194368 51329 0 0 0 357338 780 0 0 20 0 20 0 35139045 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25592] ppid=25578 vsize=19063512 memory=2162120 CPUtime=0 cores=4,6
/proc/25581/task/25592/stat : 25592 (Finalizer) S 25578 25581 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35139047 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25599] ppid=25578 vsize=19063512 memory=-6000919472672958317 CPUtime=0 cores=4,6
/proc/25581/task/25599/stat : 25599 (Common-Cleaner) S 25578 25581 24970 0 -1 4194368 2134 0 0 0 0 0 0 0 20 0 20 0 35139048 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
[pid=25581/tid=25600] ppid=25578 vsize=19063512 memory=4207488197506367791 CPUtime=0 cores=4,6
/proc/25581/task/25600/stat : 25600 (Timer-0) S 25578 25581 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35139066 19521036288 543868 18446744073709551615 94815203434496 94815203438192 140729613801904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94815203446008 94815203446800 94815222620160 140729613809968 140729613810150 140729613810150 140729613815752 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175472 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.42 s, system=8.76767 s

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

Child status: 143

Real time (s): 3626.9
CPU time (s): 3600.18
CPU user time (s): 3591.42
CPU system time (s): 8.76767
CPU usage (%): 99.2635
Max. virtual memory (cumulated for all children) (KiB): 19064784
Max. memory (cumulated for all children) (KiB): 2175472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.42
system time used= 8.76767
maximum resident set size= 2176496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11611472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114714
involuntary context switches= 8458


# summary of solver processes directly reported to runsolver:
#   pid: 25581
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3591.42
#   total CPU system time (s): 8.76767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.06482 second user time and 17.274 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 12:56:53
IDJOB=4509905
IDBENCH=159173
IDSOLVER=3364
FILE ID=nodeC017/4509905-1751194613
RUNJOBID= nodeC017-1751191606-24981
SLURM_JOB_ID= 9587581
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509905-1751194613/watcher-4509905-1751194613 -o /tmp/evaluation-result-4509905-1751194613/solver-4509905-1751194613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24981 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509905-1751194613 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509905-1751194613.opb

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

MD5SUM BENCH= e5c6ae9ee6fd03a9aee6a0d19e002873
RANDOM SEED=902146801

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.066
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.084
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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.598
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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.056
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.076
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.568
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3607.853
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112656076 kB
MemAvailable:   124192624 kB
Buffers:            3280 kB
Cached:         12333336 kB
SwapCached:            0 kB
Active:          5952516 kB
Inactive:       12079528 kB
Active(anon):    5713640 kB
Inactive(anon):        0 kB
Active(file):     238876 kB
Inactive(file): 12079528 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18520 kB
Writeback:             0 kB
AnonPages:       5697104 kB
Mapped:           122648 kB
Shmem:             18080 kB
KReclaimable:     114368 kB
Slab:             202800 kB
SReclaimable:     114368 kB
SUnreclaim:        88432 kB
KernelStack:        5264 kB
PageTables:        14768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7076604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5447680 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-06-29 13:57:20