Trace number 4509904

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 2025-06-06? (TO) 3600.23 3603.22

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	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-4509904-1751194270.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.19	c ... done. Wall clock time 0.061s.
0.13/0.19	c declared #vars     577
0.13/0.19	c #constraints  1922
0.13/0.19	c constraints type 
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1920
0.13/0.19	c 1922 constraints processed.
1.28/0.75	c cleaning 2496 clauses out of 5002 with flag 25060/5002
2.00/1.14	c cleaning 4249 clauses out of 8505 with flag 60850/11001
2.61/1.54	c cleaning 5619 clauses out of 11255 with flag 103534/18000
3.12/2.04	c cleaning 6812 clauses out of 13636 with flag 160939/26000
3.71/2.63	c cleaning 7909 clauses out of 15824 with flag 220759/35000
4.42/3.27	c cleaning 8954 clauses out of 17915 with flag 289969/45000
5.23/4.09	c cleaning 9971 clauses out of 19961 with flag 374667/56000
6.33/5.14	c cleaning 10992 clauses out of 21992 with flag 478758/68002
7.32/6.11	c cleaning 11995 clauses out of 23999 with flag 580846/81001
8.32/7.17	c cleaning 12996 clauses out of 26004 with flag 692063/95001
9.52/8.31	c cleaning 13994 clauses out of 28008 with flag 817805/110001
10.82/9.63	c cleaning 15002 clauses out of 30015 with flag 957067/126002
12.25/11.07	c cleaning 16003 clauses out of 32011 with flag 1103405/143000
13.97/12.72	c cleaning 17002 clauses out of 34010 with flag 1278421/161002
15.67/14.46	c cleaning 17998 clauses out of 36008 with flag 1461145/180002
17.56/16.38	c cleaning 18999 clauses out of 38008 with flag 1661191/200000
19.76/18.53	c cleaning 20000 clauses out of 40011 with flag 1889511/221002
22.27/21.09	c cleaning 21002 clauses out of 42010 with flag 2126720/243001
25.26/24.00	c cleaning 22004 clauses out of 44010 with flag 2389148/266003
28.55/27.31	c cleaning 22995 clauses out of 46004 with flag 2687474/290001
31.64/30.41	c cleaning 24000 clauses out of 48008 with flag 2979234/315000
35.08/33.85	c cleaning 24998 clauses out of 50010 with flag 3305465/341002
38.67/37.44	c cleaning 25999 clauses out of 52010 with flag 3634678/368000
42.46/41.26	c cleaning 27003 clauses out of 54011 with flag 3975317/396000
46.86/45.61	c cleaning 27999 clauses out of 56008 with flag 4332521/425000
51.29/50.06	c cleaning 29001 clauses out of 58010 with flag 4732677/455001
56.47/55.28	c cleaning 29996 clauses out of 60008 with flag 5173191/486000
62.06/60.89	c cleaning 31005 clauses out of 62014 with flag 5628020/518002
67.59/66.36	c cleaning 32002 clauses out of 64009 with flag 6086132/551002
73.88/72.64	c cleaning 33001 clauses out of 66008 with flag 6589493/585003
80.16/78.95	c cleaning 33998 clauses out of 68004 with flag 7086833/620000
87.18/85.96	c cleaning 35002 clauses out of 70008 with flag 7621034/656002
94.46/93.25	c cleaning 35994 clauses out of 72007 with flag 8182230/693003
102.04/100.81	c cleaning 37005 clauses out of 74011 with flag 8755216/731001
110.55/109.38	c cleaning 38000 clauses out of 76008 with flag 9372740/770003
119.24/118.03	c cleaning 38999 clauses out of 78006 with flag 10021164/810001
128.25/127.04	c cleaning 40000 clauses out of 80007 with flag 10691432/851001
137.53/136.32	c cleaning 40999 clauses out of 82007 with flag 11372955/893001
147.04/145.81	c cleaning 41991 clauses out of 84008 with flag 12069872/936001
156.53/155.36	c cleaning 43004 clauses out of 86017 with flag 12787471/980001
167.73/166.53	c cleaning 43997 clauses out of 88014 with flag 13549536/1025002
178.12/176.93	c cleaning 45005 clauses out of 90015 with flag 14313922/1071000
188.99/187.82	c cleaning 46001 clauses out of 92012 with flag 15106365/1118002
202.19/201.04	c cleaning 46998 clauses out of 94010 with flag 15855239/1166001
214.11/212.95	c cleaning 48002 clauses out of 96012 with flag 16674131/1215001
225.79/224.60	c cleaning 49001 clauses out of 98009 with flag 17515742/1265000
237.40/236.21	c cleaning 49996 clauses out of 100010 with flag 18258393/1316002
249.68/248.53	c cleaning 50999 clauses out of 102012 with flag 19027683/1368000
263.10/261.93	c cleaning 52000 clauses out of 104013 with flag 19841833/1421000
278.29/277.16	c cleaning 52996 clauses out of 106015 with flag 20787812/1475002
292.40/291.25	c cleaning 54004 clauses out of 108020 with flag 21746570/1530003
308.95/307.82	c cleaning 55005 clauses out of 110014 with flag 22753893/1586001
325.72/324.61	c cleaning 55999 clauses out of 112008 with flag 23754732/1643000
343.70/342.60	c cleaning 57000 clauses out of 114009 with flag 24820560/1701000
361.56/360.55	c cleaning 57998 clauses out of 116011 with flag 25899671/1760002
379.91/378.95	c cleaning 59003 clauses out of 118013 with flag 26992365/1820002
398.47/397.54	c cleaning 59998 clauses out of 120008 with flag 28095927/1881000
415.83/414.91	c cleaning 61003 clauses out of 122012 with flag 29148186/1943002
435.85/434.94	c cleaning 61998 clauses out of 124007 with flag 30327884/2006000
456.11/455.22	c cleaning 62998 clauses out of 126009 with flag 31496519/2070000
476.87/476.02	c cleaning 64004 clauses out of 128012 with flag 32683757/2135001
498.29/497.48	c cleaning 65001 clauses out of 130008 with flag 33915185/2201001
521.95/521.16	c cleaning 65996 clauses out of 132007 with flag 35170643/2268001
544.60/543.81	c cleaning 67004 clauses out of 134011 with flag 36514030/2336001
568.49/567.43	c cleaning 67999 clauses out of 136007 with flag 37842356/2405001
591.55/590.59	c cleaning 69000 clauses out of 138007 with flag 39144605/2475000
615.50/614.58	c cleaning 70004 clauses out of 140009 with flag 40509381/2546002
641.15/640.20	c cleaning 70996 clauses out of 142005 with flag 41915832/2618002
667.74/666.84	c cleaning 72003 clauses out of 144008 with flag 43333572/2691001
691.89/691.03	c cleaning 72998 clauses out of 146004 with flag 44724122/2765000
720.32/719.55	c cleaning 73994 clauses out of 148006 with flag 46189333/2840000
748.45/747.71	c cleaning 75005 clauses out of 150015 with flag 47667582/2916003
780.75/780.07	c cleaning 75998 clauses out of 152007 with flag 49225561/2993000
814.18/813.53	c cleaning 77002 clauses out of 154009 with flag 50817886/3071000
845.31/844.78	c cleaning 77999 clauses out of 156007 with flag 52388809/3150000
876.46/875.97	c cleaning 79003 clauses out of 158009 with flag 53996821/3230001
908.67/908.14	c cleaning 79996 clauses out of 160006 with flag 55620303/3311001
941.98/941.54	c cleaning 80995 clauses out of 162010 with flag 57265902/3393001
975.02/974.65	c cleaning 82004 clauses out of 164016 with flag 58892705/3476002
1011.84/1011.57	c cleaning 83005 clauses out of 166013 with flag 60643936/3560003
1045.98/1045.79	c cleaning 83997 clauses out of 168006 with flag 62341729/3645001
1080.67/1080.43	c cleaning 84997 clauses out of 170009 with flag 64056059/3731001
1115.10/1114.93	c cleaning 86001 clauses out of 172013 with flag 65850603/3818002
1147.22/1147.12	c cleaning 86999 clauses out of 174011 with flag 67532265/3906001
1186.82/1186.81	c cleaning 88003 clauses out of 176011 with flag 69397504/3995000
1217.54/1217.68	c cleaning 89002 clauses out of 178008 with flag 71112197/4085000
1258.74/1258.91	c cleaning 89999 clauses out of 180006 with flag 72972735/4176000
1298.04/1298.38	c cleaning 91000 clauses out of 182008 with flag 74937889/4268001
1338.13/1338.57	c cleaning 92003 clauses out of 184008 with flag 76858294/4361001
1377.93/1378.42	c cleaning 92989 clauses out of 186005 with flag 78821014/4455001
1421.35/1421.99	c cleaning 93996 clauses out of 188015 with flag 80801536/4550000
1465.45/1466.13	c cleaning 95008 clauses out of 190020 with flag 82749852/4646001
1515.32/1515.93	c cleaning 96004 clauses out of 192015 with flag 84841141/4743004
1558.64/1559.30	c cleaning 96997 clauses out of 194009 with flag 86894152/4841002
1607.73/1608.58	c cleaning 97997 clauses out of 196010 with flag 88981279/4940000
1655.25/1656.11	c cleaning 99002 clauses out of 198013 with flag 91112721/5040000
1703.37/1704.24	c cleaning 100000 clauses out of 200013 with flag 93266938/5141002
1756.15/1757.16	c cleaning 101004 clauses out of 202011 with flag 95438611/5243000
1808.71/1809.83	c cleaning 102002 clauses out of 204007 with flag 97632233/5346000
1864.40/1865.13	c cleaning 103002 clauses out of 206007 with flag 99901406/5450002
1914.20/1915.05	c cleaning 103991 clauses out of 208004 with flag 102098246/5555001
1965.59/1966.54	c cleaning 104997 clauses out of 210012 with flag 104357219/5661000
2027.37/2028.45	c cleaning 106001 clauses out of 212015 with flag 106767911/5768000
2090.72/2091.87	c cleaning 107001 clauses out of 214016 with flag 109178461/5876002
2154.29/2155.51	c cleaning 108002 clauses out of 216016 with flag 111574606/5985003
2218.07/2219.49	c cleaning 109001 clauses out of 218011 with flag 114040249/6095000
2279.04/2280.54	c cleaning 110001 clauses out of 220010 with flag 116422303/6206000
2341.70/2343.37	c cleaning 110997 clauses out of 222011 with flag 118911203/6318002
2412.50/2414.27	c cleaning 111996 clauses out of 224012 with flag 121451019/6431000
2481.17/2482.93	c cleaning 113002 clauses out of 226016 with flag 123989302/6545000
2546.06/2547.92	c cleaning 114007 clauses out of 228015 with flag 126548510/6660001
2610.83/2612.87	c cleaning 114996 clauses out of 230007 with flag 129117086/6776000
2675.51/2677.64	c cleaning 115998 clauses out of 232011 with flag 131720414/6893000
2751.17/2753.44	c cleaning 117005 clauses out of 234015 with flag 134408541/7011002
2816.15/2818.43	c cleaning 118002 clauses out of 236009 with flag 137022193/7130001
2877.83/2880.24	c cleaning 118987 clauses out of 238006 with flag 139521689/7250000
2948.29/2950.81	c cleaning 119999 clauses out of 240019 with flag 141819044/7371000
3011.27/3013.90	c cleaning 121001 clauses out of 242021 with flag 144069198/7493001
3088.53/3091.31	c cleaning 121997 clauses out of 244019 with flag 146425614/7616000
3157.90/3160.84	c cleaning 123004 clauses out of 246023 with flag 148927710/7740001
3225.89/3228.74	c cleaning 124001 clauses out of 248018 with flag 151632216/7865000
3302.34/3305.34	c cleaning 124996 clauses out of 250020 with flag 154398508/7991003
3382.49/3385.62	c cleaning 126001 clauses out of 252022 with flag 157135106/8118001
3462.63/3465.49	c cleaning 127004 clauses out of 254022 with flag 160040382/8246002
3535.20/3538.11	c cleaning 128005 clauses out of 256017 with flag 162887710/8375001
3600.08/3603.12	c timeout
3600.08/3603.13	c starts		: 33268
3600.08/3603.13	c conflicts		: 8491079
3600.08/3603.13	c decisions		: 13555964
3600.08/3603.13	c propagations		: 616972423
3600.08/3603.13	c inspects		: 46980166177
3600.08/3603.13	c shortcuts		: 0
3600.08/3603.13	c learnt literals	: 0
3600.08/3603.13	c learnt binary clauses	: 768
3600.08/3603.13	c learnt ternary clauses	: 0
3600.08/3603.13	c learnt constraints	: 8491079
3600.08/3603.13	c ignored constraints	: 0
3600.08/3603.13	c root simplifications	: 0
3600.08/3603.13	c removed literals (reason simplification)	: 126202508
3600.08/3603.13	c reason swapping (by a shorter reason)	: 0
3600.08/3603.13	c Calls to reduceDB	: 125
3600.08/3603.13	c Number of update (reduction) of LBD	: 2270796
3600.08/3603.13	c Imported unit clauses	: 0
3600.08/3603.14	c No decision after first conflict	: false
3600.08/3603.14	c number of reductions to clauses (during analyze)	: 0
3600.08/3603.14	c number of learned constraints concerned by reduction	: 0
3600.08/3603.14	c number of learning phase by resolution	: 0
3600.08/3603.14	c number of learning phase by cutting planes	: 0
3600.08/3603.14	c number of rounding to 1 operations	: 0
3600.08/3603.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3603.14	c number of reductions of the coefficients by power 2 	: 0
3600.08/3603.14	c number of right shift for reduction by power 2 	: 0
3600.08/3603.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3603.14	c number of ending skipping 	: 0
3600.08/3603.14	c number of internal skipping 	: 0
3600.08/3603.14	c number of derivation steps 	: 0
3600.08/3603.14	c number of skipped derivation steps 	: 0
3600.08/3603.14	c number of remaining unassigned 	: 0
3600.08/3603.14	c number of remaining assigned 	: 0
3600.08/3603.14	c number of falsified literals weakened from reason	: 0
3600.08/3603.14	c number of falsified literals weakened from conflict	: 0
3600.08/3603.14	c time for arithmetic operations	: 0
3600.08/3603.14	c minimum degree of deleted constraints	: null
3600.08/3603.14	c maximum degree of deleted constraints	: null
3600.08/3603.14	c number of deleted constraints	: 0
3600.08/3603.14	c speed (assignments/second)	: 171240.71609018598
3600.08/3603.14	c non guided choices	: 2620
3600.08/3603.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 243322
3600.08/3603.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 768
3600.21/3603.20	s UNKNOWN
3600.21/3603.20	c Total wall clock time (in seconds): 3603.077

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509904-1751194270/watcher-4509904-1751194270 -o /tmp/evaluation-result-4509904-1751194270/solver-4509904-1751194270 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27854 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509904-1751194270.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=28439, runsolver pid=28436
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.09 4.13 4.04 7/339 28457
/proc/meminfo: memFree=121971456/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=18930384 memory=59708 CPUtime=0.13 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 6515 0 0 0 11 2 0 0 20 0 18 0 35104911 19384713216 14927 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4732596 14927 5365 1 0 547640 0
[pid=28439/tid=28441] ppid=28436 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 5097 0 0 0 6 1 0 0 20 0 18 0 35104912 19384713216 14927 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35104914 19384713216 14927 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=18930384 memory=58485492706614 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35104915 19384713216 14927 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59708 KiB

[startup+0.212375 s]*
/proc/loadavg: 4.09 4.13 4.04 7/340 28458
/proc/meminfo: memFree=121966352/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=18996948 memory=65412 CPUtime=0.34 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 6895 0 0 0 32 2 0 0 20 0 19 0 35104911 19452874752 16353 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4749237 16353 5429 1 0 548229 0
[pid=28439/tid=28441] ppid=28436 vsize=18996948 memory=4026597660 CPUtime=0.19 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 5303 0 0 0 17 2 0 0 20 0 19 0 35104912 19452874752 16353 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=18996948 memory=18949 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35104914 19452874752 16353 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=18996948 memory=57385981051877 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35104915 19452874752 16353 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35104930 19452874752 16353 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65412 KiB

[startup+0.305737 s]*
/proc/loadavg: 4.09 4.13 4.04 6/340 28458
/proc/meminfo: memFree=121957972/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=18996948 memory=72404 CPUtime=0.52 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 8931 0 0 0 49 3 0 0 20 0 19 0 35104911 19452874752 18101 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4749237 18101 5429 1 0 549538 0
[pid=28439/tid=28441] ppid=28436 vsize=18996948 memory=-6000919481330066541 CPUtime=0.28 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 5314 0 0 0 26 2 0 0 20 0 19 0 35104912 19452874752 18101 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35104914 19452874752 18101 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35104915 19452874752 18101 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35104930 19452874752 18101 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72404 KiB

[startup+0.700233 s]
/proc/loadavg: 4.09 4.13 4.04 6/340 28458
/proc/meminfo: memFree=121950412/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=18996948 memory=83896 CPUtime=1.28 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 12271 0 0 0 125 3 0 0 20 0 19 0 35104911 19452874752 20974 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4749237 20974 5461 1 0 551702 0
[pid=28439/tid=28441] ppid=28436 vsize=18996948 memory=17536 CPUtime=0.67 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 5318 0 0 0 65 2 0 0 20 0 19 0 35104912 19452874752 20974 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35104914 19452874752 20974 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35104915 19452874752 20974 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=18996948 memory=4756 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35104930 19452874752 20974 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83896 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.13 4.04 7/340 28458
/proc/meminfo: memFree=121940520/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=18996948 memory=100696 CPUtime=2.61 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 20744 0 0 0 256 5 0 0 20 0 19 0 35104911 19452874752 25174 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4749237 25174 5461 1 0 553794 0
[pid=28439/tid=28441] ppid=28436 vsize=18996948 memory=0 CPUtime=1.45 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 5721 0 0 0 143 2 0 0 20 0 19 0 35104912 19452874752 25174 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35104914 19452874752 25174 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35104915 19452874752 25174 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=18996948 memory=4756 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35104930 19452874752 25174 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100696 KiB

[startup+3.10559 s]
/proc/loadavg: 4.16 4.14 4.05 6/340 28458
/proc/meminfo: memFree=121914020/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=18996948 memory=119280 CPUtime=4.32 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 21365 0 0 0 427 5 0 0 20 0 19 0 35104911 19452874752 29820 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4749237 29820 5461 1 0 553795 0
[pid=28439/tid=28441] ppid=28436 vsize=18996948 memory=10752 CPUtime=3.04 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 6019 0 0 0 302 2 0 0 20 0 19 0 35104912 19452874752 29820 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=18996948 memory=-6000919481330066541 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35104914 19452874752 29820 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35104915 19452874752 29820 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35104930 19452874752 29820 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119280 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.14 4.05 6/340 28458
/proc/meminfo: memFree=121859900/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=18996948 memory=139704 CPUtime=7.52 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 22343 0 0 0 746 6 0 0 20 0 19 0 35104911 19452874752 34926 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4749237 34926 5461 1 0 553811 0
[pid=28439/tid=28441] ppid=28436 vsize=18996948 memory=0 CPUtime=6.23 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 6327 0 0 0 620 3 0 0 20 0 19 0 35104912 19452874752 34926 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35104914 19452874752 34926 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35104915 19452874752 34926 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=18996948 memory=102744 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35104930 19452874752 34926 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 139704 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.05 6/341 28459
/proc/meminfo: memFree=121785132/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=181024 CPUtime=13.97 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 26263 0 0 0 1389 8 0 0 20 0 20 0 35104911 19521036288 45256 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 45256 5461 1 0 554100 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=102744 CPUtime=12.6 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 6964 0 0 0 1256 4 0 0 20 0 20 0 35104912 19521036288 45256 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19063512 memory=181024 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35104914 19521036288 45256 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 35104915 19521036288 45256 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35104930 19521036288 45256 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 13.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181024 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.04 6/341 28459
/proc/meminfo: memFree=121731980/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=187236 CPUtime=26.75 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 28123 0 0 0 2667 8 0 0 20 0 20 0 35104911 19521036288 46809 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 46809 5461 1 0 554100 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=181024 CPUtime=25.36 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 7626 0 0 0 2532 4 0 0 20 0 20 0 35104912 19521036288 46809 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35104914 19521036288 46809 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19063512 memory=-6000919481330066541 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 35104915 19521036288 46809 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35104930 19521036288 46809 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 26.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187236 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.14 4.05 6/341 28460
/proc/meminfo: memFree=121176344/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=292272 CPUtime=52.39 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 29645 0 0 0 5228 11 0 0 20 0 20 0 35104911 19521036288 73068 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 73068 5493 1 0 554100 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=14848 CPUtime=50.83 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/340 28766
/proc/meminfo: memFree=122319200/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=2167088 CPUtime=3279.39 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 90113 0 0 0 327818 121 0 0 20 0 20 0 35104911 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 541772 5493 1 0 558192 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=2167088 CPUtime=3272.24 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 38697 0 0 0 327202 22 0 0 20 0 20 0 35104912 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19063512 memory=2167088 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35104914 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 1880 0 0 0 0 0 0 0 20 0 20 0 35104915 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=19063512 memory=2166960 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35104930 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 3279.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167088 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/340 28768
/proc/meminfo: memFree=122279280/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=2167088 CPUtime=3339.28 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 90400 0 0 0 333805 123 0 0 20 0 20 0 35104911 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 541772 5493 1 0 558192 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=4380 CPUtime=3332.11 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 38979 0 0 0 333189 22 0 0 20 0 20 0 35104912 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19063512 memory=2167088 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35104914 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19063512 memory=2167088 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 1880 0 0 0 0 0 0 0 20 0 20 0 35104915 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35104930 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 3339.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167088 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/340 28770
/proc/meminfo: memFree=122225668/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=2167088 CPUtime=3399.17 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 91233 0 0 0 339793 124 0 0 20 0 20 0 35104911 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 541772 5493 1 0 558192 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=4380 CPUtime=3391.97 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 39729 0 0 0 339175 22 0 0 20 0 20 0 35104912 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35104914 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 1880 0 0 0 0 0 0 0 20 0 20 0 35104915 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=19063512 memory=2167088 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35104930 19521036288 541772 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 3399.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/340 28772
/proc/meminfo: memFree=122172272/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=2174112 CPUtime=3459.54 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 101934 0 0 0 345828 126 0 0 20 0 20 0 35104911 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 543528 5493 1 0 558430 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=2174112 CPUtime=3451.74 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 45831 0 0 0 345151 23 0 0 20 0 20 0 35104912 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35104914 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 1900 0 0 0 0 0 0 0 20 0 20 0 35104915 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=19063512 memory=2174112 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35104930 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 3459.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/340 28780
/proc/meminfo: memFree=122114616/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=2174112 CPUtime=3519.43 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 102446 0 0 0 351815 128 0 0 20 0 20 0 35104911 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 543528 5493 1 0 558430 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=2174112 CPUtime=3511.6 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 46230 0 0 0 351137 23 0 0 20 0 20 0 35104912 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19063512 memory=2173984 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35104914 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19063512 memory=-6000919481330066541 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 1980 0 0 0 0 0 0 0 20 0 20 0 35104915 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=19063512 memory=2174112 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35104930 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 3519.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/340 29305
/proc/meminfo: memFree=124089480/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=2174112 CPUtime=3579.31 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 102532 0 0 0 357803 128 0 0 20 0 20 0 35104911 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 543528 5493 1 0 558430 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=21952 CPUtime=3571.46 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 46302 0 0 0 357123 23 0 0 20 0 20 0 35104912 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19063512 memory=2174112 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35104914 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19063512 memory=2174112 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 1980 0 0 0 0 0 0 0 20 0 20 0 35104915 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=19063512 memory=2174112 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35104930 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 3579.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.11 s]
/proc/loadavg: 4.06 4.08 4.09 5/341 29306
/proc/meminfo: memFree=124032136/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19063512 memory=2174112 CPUtime=3600.08 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 102823 0 0 0 359879 129 0 0 20 0 20 0 35104911 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4765878 543528 5493 1 0 558430 0
[pid=28439/tid=28441] ppid=28436 vsize=19063512 memory=2174112 CPUtime=3592.22 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) R 28436 28439 27841 0 -1 4194368 46590 0 0 0 359199 23 0 0 20 0 20 0 35104912 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19063512 memory=2174112 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35104914 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 1980 0 0 0 0 0 0 0 20 0 20 0 35104915 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28458] ppid=28436 vsize=19063512 memory=2174112 CPUtime=0 cores=5,7
/proc/28439/task/28458/stat : 28458 (Timer-0) S 28436 28439 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35104930 19521036288 543528 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174112 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.93 s, system=1.30479 s

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

[startup+3603.2 s]
/proc/loadavg: 4.06 4.08 4.09 5/341 29306
/proc/meminfo: memFree=124032136/131249996 swapFree=33010684/33010684
[pid=28439] ppid=28436 vsize=19263204 memory=2175008 CPUtime=3600.21 cores=5,7
/proc/28439/stat : 28439 (java) S 28436 28439 27841 0 -1 4194304 105102 0 0 0 359892 129 0 0 20 0 21 0 35104911 19725520896 543752 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
/proc/28439/statm: 4815801 543752 5525 1 0 559355 0
[pid=28439/tid=28441] ppid=28436 vsize=19263204 memory=2174112 CPUtime=3592.24 cores=5,7
/proc/28439/task/28441/stat : 28441 (java) S 28436 28439 27841 0 -1 4194368 46838 0 0 0 359201 23 0 0 20 0 21 0 35104912 19725520896 543752 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28450] ppid=28436 vsize=19263204 memory=2174112 CPUtime=0 cores=5,7
/proc/28439/task/28450/stat : 28450 (Finalizer) S 28436 28439 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35104914 19725520896 543752 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
[pid=28439/tid=28457] ppid=28436 vsize=19263204 memory=14848 CPUtime=0 cores=5,7
/proc/28439/task/28457/stat : 28457 (Common-Cleaner) S 28436 28439 27841 0 -1 4194368 1980 0 0 0 0 0 0 0 20 0 21 0 35104915 19725520896 543752 18446744073709551615 94181977497600 94181977501296 140730798316448 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94181977509112 94181977509904 94181983604736 140730798320001 140730798320102 140730798320102 140730798325704 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2175008 KiB

Child status: 143

Real time (s): 3603.22
CPU time (s): 3600.23
CPU user time (s): 3598.93
CPU system time (s): 1.30479
CPU usage (%): 99.917
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2175008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.93
system time used= 1.30479
maximum resident set size= 2175136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103338
involuntary context switches= 2550


# summary of solver processes directly reported to runsolver:
#   pid: 28439
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.93
#   total CPU system time (s): 1.30479

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50052 second user time and 17.8193 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 12:51:10
IDJOB=4509904
IDBENCH=159173
IDSOLVER=3363
FILE ID=nodeC024/4509904-1751194270
RUNJOBID= nodeC024-1751191546-27854
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509904-1751194270/watcher-4509904-1751194270 -o /tmp/evaluation-result-4509904-1751194270/solver-4509904-1751194270 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27854 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509904-1751194270.opb

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

MD5SUM BENCH= e5c6ae9ee6fd03a9aee6a0d19e002873
RANDOM SEED=1369370075

nodeC024 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		: 3599.675
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	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.690
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	: 6999.36
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		: 3622.857
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	: 6999.36
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.093
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	: 6999.36
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		: 3599.668
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	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.291
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	: 6999.36
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		: 3603.645
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	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.669
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	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121994404 kB
MemAvailable:   121674024 kB
Buffers:            3280 kB
Cached:           489364 kB
SwapCached:            0 kB
Active:          8424948 kB
Inactive:         234804 kB
Active(anon):    8185172 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   234804 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               692 kB
Writeback:             0 kB
AnonPages:       8169660 kB
Mapped:           122540 kB
Shmem:             18064 kB
KReclaimable:      88160 kB
Slab:             175380 kB
SReclaimable:      88160 kB
SUnreclaim:        87220 kB
KernelStack:        5216 kB
PageTables:        19644 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11582484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7901184 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 13:51:14