Trace number 4516075

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.2 3566.62

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb
MD5SUM6898f8c176df604869a5524822c88324
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.01995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables510
Total number of constraints511
Number of constraints which are clauses510
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint510
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 514
Number of bits of the biggest sum of numbers10
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.10	c java.vm.version	22.0.1+8-16
0.09/0.10	c java.vm.vendor	Oracle Corporation
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		22.0.1
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.15	c Pseudo Boolean Optimization by upper bound
0.09/0.15	c --- Begin Solver configuration ---
0.09/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.15	c Learn all clauses as in MiniSAT
0.09/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.15	c Expensive reason simplification
0.09/0.15	c Glucose 2.1 dynamic restart strategy
0.09/0.15	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.09/0.15	c timeout=2147483s
0.09/0.15	c DB Simplification allowed=false
0.09/0.15	c Listener: none
0.09/0.15	c --- End Solver configuration ---
0.09/0.15	c solving HOME/instance-4516075-1751237512.opb
0.09/0.15	c reading problem ... 
0.09/0.15	c using VERIPB proof format
0.09/0.15	c  no objective function found
0.09/0.18	c ... done. Wall clock time 0.035s.
0.09/0.19	c declared #vars     510
0.09/0.19	c #constraints  511
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 510
0.09/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.09/0.19	c 511 constraints processed.
2.59/1.49	c cleaning 2501 clauses out of 5002 with flag 10853/5002
4.40/2.46	c cleaning 4248 clauses out of 8499 with flag 23900/11000
5.44/3.31	c cleaning 5625 clauses out of 11252 with flag 39073/18001
6.54/4.31	c cleaning 6814 clauses out of 13628 with flag 56441/26002
7.68/5.46	c cleaning 7906 clauses out of 15813 with flag 76050/35001
9.24/6.93	c cleaning 8953 clauses out of 17906 with flag 97930/45000
10.87/8.45	c cleaning 9974 clauses out of 19953 with flag 121942/56000
12.53/10.07	c cleaning 10990 clauses out of 21979 with flag 148212/68000
14.31/11.83	c cleaning 11993 clauses out of 23989 with flag 176376/81000
16.59/14.10	c cleaning 12994 clauses out of 25996 with flag 206841/95000
18.96/16.22	c cleaning 14000 clauses out of 28002 with flag 239589/110000
21.20/18.48	c cleaning 15001 clauses out of 30002 with flag 274418/126000
23.83/20.97	c cleaning 16002 clauses out of 32003 with flag 311663/143002
26.94/23.90	c cleaning 17000 clauses out of 34000 with flag 351179/161001
29.74/26.79	c cleaning 17997 clauses out of 35999 with flag 392729/180000
33.14/30.08	c cleaning 18999 clauses out of 38002 with flag 436384/200000
36.35/33.16	c cleaning 19997 clauses out of 40004 with flag 482177/221001
40.37/37.02	c cleaning 21001 clauses out of 42006 with flag 530100/243000
44.16/40.80	c cleaning 22002 clauses out of 44005 with flag 580301/266000
48.78/45.38	c cleaning 23002 clauses out of 46003 with flag 632609/290000
53.06/49.42	c cleaning 24001 clauses out of 48001 with flag 687380/315000
57.90/54.16	c cleaning 24995 clauses out of 50000 with flag 744344/341000
63.98/60.04	c cleaning 26000 clauses out of 52006 with flag 803442/368001
69.62/65.54	c cleaning 27003 clauses out of 54006 with flag 864882/396001
75.11/70.95	c cleaning 28002 clauses out of 56003 with flag 928278/425001
80.39/76.26	c cleaning 29000 clauses out of 58001 with flag 993704/455001
86.58/82.32	c cleaning 30001 clauses out of 60001 with flag 1061230/486001
93.24/88.86	c cleaning 31000 clauses out of 62000 with flag 1131225/518001
101.31/96.74	c cleaning 31999 clauses out of 63999 with flag 1203204/551000
110.07/105.65	c cleaning 32998 clauses out of 66001 with flag 1277366/585001
118.92/114.18	c cleaning 34002 clauses out of 68003 with flag 1353707/620001
127.29/122.53	c cleaning 34996 clauses out of 70000 with flag 1432886/656000
136.94/132.17	c cleaning 35998 clauses out of 72005 with flag 1514019/693001
147.55/143.03	c cleaning 37001 clauses out of 74007 with flag 1597490/731001
159.29/154.69	c cleaning 38003 clauses out of 76006 with flag 1683375/770001
170.38/166.58	c cleaning 38998 clauses out of 78002 with flag 1770746/810000
180.39/176.27	c cleaning 40002 clauses out of 80004 with flag 1860680/851000
190.29/186.02	c cleaning 40998 clauses out of 82002 with flag 1952635/893000
201.96/197.81	c cleaning 42003 clauses out of 84006 with flag 2046743/936002
214.84/210.58	c cleaning 42997 clauses out of 86001 with flag 2142399/980000
227.86/223.42	c cleaning 43995 clauses out of 88004 with flag 2239831/1025000
242.26/237.63	c cleaning 45003 clauses out of 90010 with flag 2340465/1071001
256.27/251.55	c cleaning 46001 clauses out of 92006 with flag 2443569/1118000
272.63/267.92	c cleaning 47001 clauses out of 94005 with flag 2548985/1166000
286.59/281.65	c cleaning 48002 clauses out of 96005 with flag 2656232/1215001
300.91/296.02	c cleaning 48990 clauses out of 98002 with flag 2765382/1265000
314.67/309.76	c cleaning 50000 clauses out of 100013 with flag 2876911/1316001
328.90/323.71	c cleaning 51001 clauses out of 102012 with flag 2990831/1368000
343.75/338.50	c cleaning 52003 clauses out of 104011 with flag 3106174/1421000
360.34/354.84	c cleaning 52998 clauses out of 106008 with flag 3223945/1475000
374.92/369.35	c cleaning 54000 clauses out of 108010 with flag 3344493/1530000
393.78/388.33	c cleaning 55001 clauses out of 110010 with flag 3467173/1586000
407.99/402.36	c cleaning 55998 clauses out of 112009 with flag 3592056/1643000
426.28/420.63	c cleaning 56998 clauses out of 114011 with flag 3718434/1701000
442.63/436.86	c cleaning 58007 clauses out of 116014 with flag 3847250/1760001
460.49/454.78	c cleaning 59000 clauses out of 118008 with flag 3978045/1820002
480.04/473.79	c cleaning 59999 clauses out of 120006 with flag 4111484/1881000
500.94/494.44	c cleaning 61002 clauses out of 122008 with flag 4247424/1943001
521.98/515.41	c cleaning 62001 clauses out of 124006 with flag 4385330/2006001
545.13/538.65	c cleaning 62994 clauses out of 126004 with flag 4525505/2070000
561.59/554.77	c cleaning 64002 clauses out of 128011 with flag 4668101/2135001
581.55/574.67	c cleaning 65004 clauses out of 130008 with flag 4812344/2201000
599.54/592.43	c cleaning 66000 clauses out of 132004 with flag 4959275/2268000
620.67/613.52	c cleaning 67000 clauses out of 134006 with flag 5109264/2336002
645.41/638.23	c cleaning 67994 clauses out of 136004 with flag 5260917/2405000
667.63/660.40	c cleaning 69002 clauses out of 138011 with flag 5414248/2475001
692.50/685.15	c cleaning 70004 clauses out of 140008 with flag 5569985/2546000
720.85/713.44	c cleaning 70993 clauses out of 142004 with flag 5727400/2618000
751.51/743.64	c cleaning 72006 clauses out of 144012 with flag 5887673/2691001
786.01/777.85	c cleaning 73000 clauses out of 146005 with flag 6049619/2765000
816.84/808.64	c cleaning 73999 clauses out of 148006 with flag 6213734/2840001
845.19/836.95	c cleaning 75000 clauses out of 150008 with flag 6380053/2916002
871.86/863.57	c cleaning 75994 clauses out of 152006 with flag 6547803/2993000
897.88/888.74	c cleaning 77003 clauses out of 154012 with flag 6718172/3071000
925.56/916.01	c cleaning 77998 clauses out of 156010 with flag 6890752/3150001
950.53/941.01	c cleaning 79001 clauses out of 158011 with flag 7066049/3230000
980.10/970.67	c cleaning 80003 clauses out of 160010 with flag 7244031/3311000
1009.65/999.33	c cleaning 81003 clauses out of 162007 with flag 7423493/3393000
1038.23/1027.71	c cleaning 82000 clauses out of 164004 with flag 7604660/3476000
1065.92/1054.22	c cleaning 82998 clauses out of 166005 with flag 7788548/3560001
1097.57/1085.75	c cleaning 83997 clauses out of 168007 with flag 7974580/3645001
1137.32/1127.55	c cleaning 85001 clauses out of 170009 with flag 8162237/3731000
1175.17/1164.56	c cleaning 86001 clauses out of 172009 with flag 8352689/3818001
1214.62/1203.85	c cleaning 87000 clauses out of 174007 with flag 8545187/3906000
1258.64/1246.99	c cleaning 88003 clauses out of 176007 with flag 8740052/3995000
1304.71/1292.92	c cleaning 89001 clauses out of 178004 with flag 8937394/4085000
1348.69/1336.95	c cleaning 89997 clauses out of 180004 with flag 9136293/4176001
1394.82/1382.64	c cleaning 91004 clauses out of 182007 with flag 9337893/4268001
1437.36/1426.49	c cleaning 92002 clauses out of 184003 with flag 9541598/4361001
1482.95/1471.78	c cleaning 93000 clauses out of 186002 with flag 9747160/4455002
1539.25/1526.92	c cleaning 93992 clauses out of 188000 with flag 9954682/4550000
1570.25/1557.75	c cleaning 94999 clauses out of 190008 with flag 10164706/4646000
1608.36/1595.79	c cleaning 96001 clauses out of 192010 with flag 10377189/4743001
1645.65/1631.81	c cleaning 96998 clauses out of 194009 with flag 10591250/4841001
1692.10/1678.19	c cleaning 98005 clauses out of 196010 with flag 10807695/4940000
1739.70/1724.55	c cleaning 98999 clauses out of 198005 with flag 11026024/5040000
1788.01/1771.32	c cleaning 100001 clauses out of 200006 with flag 11247034/5141000
1836.59/1822.00	c cleaning 100999 clauses out of 202006 with flag 11470306/5243001
1878.90/1864.13	c cleaning 101993 clauses out of 204007 with flag 11695719/5346001
1930.80/1914.96	c cleaning 103005 clauses out of 206013 with flag 11923475/5450000
1985.58/1969.54	c cleaning 104000 clauses out of 208009 with flag 12152946/5555001
2047.09/2029.91	c cleaning 105004 clauses out of 210008 with flag 12385388/5661000
2105.53/2088.14	c cleaning 106002 clauses out of 212005 with flag 12618987/5768001
2171.17/2153.75	c cleaning 107000 clauses out of 214002 with flag 12854843/5876000
2221.66/2203.35	c cleaning 107994 clauses out of 216003 with flag 13092716/5985001
2271.92/2253.44	c cleaning 108997 clauses out of 218009 with flag 13332781/6095001
2321.71/2302.15	c cleaning 110003 clauses out of 220012 with flag 13576405/6206001
2378.69/2358.77	c cleaning 111000 clauses out of 222008 with flag 13821359/6318000
2454.17/2433.42	c cleaning 112002 clauses out of 224008 with flag 14068025/6431000
2507.26/2486.60	c cleaning 113003 clauses out of 226007 with flag 14316664/6545001
2577.59/2555.93	c cleaning 114000 clauses out of 228004 with flag 14568372/6660001
2648.58/2626.88	c cleaning 114994 clauses out of 230005 with flag 14821974/6776002
2725.86/2703.06	c cleaning 116002 clauses out of 232010 with flag 15077100/6893001
2800.97/2777.97	c cleaning 116999 clauses out of 234007 with flag 15333890/7011000
2880.93/2856.62	c cleaning 118004 clauses out of 236008 with flag 15593698/7130000
2961.43/2936.94	c cleaning 118990 clauses out of 238004 with flag 15856361/7250000
3037.17/3011.81	c cleaning 120005 clauses out of 240015 with flag 16120548/7371001
3123.07/3096.41	c cleaning 121004 clauses out of 242011 with flag 16387384/7493002
3210.37/3181.97	c cleaning 122003 clauses out of 244006 with flag 16655948/7616001
3279.93/3251.22	c cleaning 122987 clauses out of 246002 with flag 16926784/7740000
3342.66/3312.62	c cleaning 124000 clauses out of 248015 with flag 17200157/7865000
3404.10/3372.24	c cleaning 125005 clauses out of 250016 with flag 17476379/7991001
3475.03/3442.97	c cleaning 126002 clauses out of 252012 with flag 17754172/8118002
3547.51/3514.33	c cleaning 127004 clauses out of 254008 with flag 18034338/8246000
3600.04/3566.51	c starts		: 1
3600.04/3566.51	c timeout
3600.04/3566.53	c conflicts		: 8349109
3600.04/3566.53	c decisions		: 8943147
3600.04/3566.53	c propagations		: 74456286
3600.04/3566.53	c inspects		: 10980275135
3600.04/3566.53	c shortcuts		: 0
3600.04/3566.53	c learnt literals	: 0
3600.04/3566.53	c learnt binary clauses	: 0
3600.04/3566.53	c learnt ternary clauses	: 0
3600.04/3566.53	c learnt constraints	: 8349109
3600.04/3566.53	c ignored constraints	: 0
3600.04/3566.53	c root simplifications	: 0
3600.04/3566.53	c removed literals (reason simplification)	: 113431723
3600.04/3566.53	c reason swapping (by a shorter reason)	: 0
3600.04/3566.53	c Calls to reduceDB	: 124
3600.04/3566.53	c Number of update (reduction) of LBD	: 127174
3600.04/3566.53	c Imported unit clauses	: 0
3600.04/3566.53	c No decision after first conflict	: false
3600.04/3566.53	c number of reductions to clauses (during analyze)	: 0
3600.04/3566.53	c number of learned constraints concerned by reduction	: 0
3600.04/3566.53	c number of learning phase by resolution	: 0
3600.04/3566.53	c number of learning phase by cutting planes	: 0
3600.04/3566.53	c number of rounding to 1 operations	: 0
3600.04/3566.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3566.53	c number of reductions of the coefficients by power 2 	: 0
3600.04/3566.53	c number of right shift for reduction by power 2 	: 0
3600.04/3566.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3566.53	c number of ending skipping 	: 0
3600.04/3566.53	c number of internal skipping 	: 0
3600.04/3566.53	c number of derivation steps 	: 0
3600.04/3566.53	c number of skipped derivation steps 	: 0
3600.04/3566.53	c number of remaining unassigned 	: 0
3600.04/3566.53	c number of remaining assigned 	: 0
3600.04/3566.53	c number of falsified literals weakened from reason	: 0
3600.04/3566.53	c number of falsified literals weakened from conflict	: 0
3600.04/3566.53	c time for arithmetic operations	: 0
3600.04/3566.53	c minimum degree of deleted constraints	: null
3600.04/3566.53	c maximum degree of deleted constraints	: null
3600.04/3566.53	c number of deleted constraints	: 0
3600.04/3566.54	c speed (assignments/second)	: 20877.482934904765
3600.04/3566.54	c non guided choices	: 197
3600.04/3566.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 230113
3600.04/3566.60	s UNKNOWN
3600.04/3566.60	c Total wall clock time (in seconds): 3566.448

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: 63708 MiB (62827 MiB free)
  memory of node 1: 64465 MiB (63973 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32040, runsolver pid=32031

[startup+0.100057 s]*
/proc/loadavg: 1.39 2.79 3.54 6/310 32093
/proc/meminfo: memFree=129767912/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=18930384 memory=51868 CPUtime=0.09 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 6092 0 129 0 7 2 0 0 20 0 18 0 39428672 19384713216 12967 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4732596 12967 5304 1 0 547281 0
[pid=32040/tid=32045] ppid=32031 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) S 32031 32040 31982 0 -1 4194368 4900 0 93 0 5 1 0 0 20 0 18 0 39428674 19384713216 12967 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=18930384 memory=2621 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39428677 19384713216 12967 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=18930384 memory=55186957796323 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39428677 19384713216 12967 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51868 KiB

[startup+0.205083 s]*
/proc/loadavg: 1.39 2.79 3.54 14/337 32120
/proc/meminfo: memFree=129706764/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=18996948 memory=62012 CPUtime=0.27 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 7017 0 129 0 25 2 0 0 20 0 19 0 39428672 19452874752 15503 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4749237 15503 5400 1 0 548267 0
[pid=32040/tid=32045] ppid=32031 vsize=18996948 memory=4026597660 CPUtime=0.15 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 5274 0 93 0 14 1 0 0 20 0 19 0 39428674 19452874752 15503 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=18996948 memory=2621 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39428677 19452874752 15503 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=18996948 memory=55186957796323 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39428677 19452874752 15503 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39428691 19452874752 15503 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62012 KiB

[startup+0.305125 s]*
/proc/loadavg: 1.39 2.79 3.54 10/320 32125
/proc/meminfo: memFree=129675704/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=18996948 memory=79108 CPUtime=0.46 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 7811 0 129 0 43 3 0 0 20 0 19 0 39428672 19452874752 19777 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4749237 19777 5400 1 0 548793 0
[pid=32040/tid=32045] ppid=32031 vsize=18996948 memory=-6000919498493422188 CPUtime=0.23 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 5298 0 93 0 21 2 0 0 20 0 19 0 39428674 19452874752 19777 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39428677 19452874752 19777 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39428677 19452874752 19777 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39428691 19452874752 19777 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79108 KiB

[startup+0.700209 s]
/proc/loadavg: 1.39 2.79 3.54 8/321 32133
/proc/meminfo: memFree=129509348/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=166548 CPUtime=1.21 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 11679 0 129 0 115 6 0 0 20 0 20 0 39428672 19521036288 41637 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 41637 5432 1 0 551260 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=17408 CPUtime=0.56 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 5340 0 93 0 52 4 0 0 20 0 20 0 39428674 19521036288 41637 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 41637 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 41637 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 41637 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166548 KiB

[startup+1.50022 s]
/proc/loadavg: 1.39 2.79 3.54 8/321 32136
/proc/meminfo: memFree=129371056/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=188120 CPUtime=2.78 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 19759 0 129 0 265 13 0 0 20 0 20 0 39428672 19521036288 47030 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 47030 5432 1 0 552407 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=0 CPUtime=1.28 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 6138 0 93 0 120 8 0 0 20 0 20 0 39428674 19521036288 47030 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 47030 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 47030 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 47030 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188120 KiB

[startup+3.1052 s]
/proc/loadavg: 1.76 2.85 3.55 7/344 32193
/proc/meminfo: memFree=127877392/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=529328 CPUtime=5.25 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 22803 0 129 0 498 27 0 0 20 0 20 0 39428672 19521036288 132332 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 132332 5432 1 0 661390 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=10752 CPUtime=2.74 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) S 32031 32040 31982 0 -1 4194368 6694 0 93 0 255 19 0 0 20 0 20 0 39428674 19521036288 132332 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=-6000919502805166700 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 132332 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 132332 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 132332 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 5.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 529328 KiB

[startup+6.30019 s]
/proc/loadavg: 1.76 2.85 3.55 6/345 32194
/proc/meminfo: memFree=124646484/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=1116924 CPUtime=8.59 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 24045 0 129 0 815 44 0 0 20 0 20 0 39428672 19521036288 279231 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 279231 5432 1 0 985174 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=0 CPUtime=5.77 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 6939 0 93 0 545 32 0 0 20 0 20 0 39428674 19521036288 279231 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 279231 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 279231 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 279231 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1116924 KiB

[startup+12.7002 s]
/proc/loadavg: 1.94 2.87 3.56 6/348 32197
/proc/meminfo: memFree=120547316/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=2253068 CPUtime=15.2 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 25076 0 129 0 1447 73 0 0 20 0 20 0 39428672 19521036288 563267 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 563267 5432 1 0 1133488 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=10752 CPUtime=11.98 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 7429 0 93 0 1140 58 0 0 20 0 20 0 39428674 19521036288 563267 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 563267 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=-6000919502805166700 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 563267 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=6656426216303648864 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 563267 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2253068 KiB

[startup+25.5002 s]
/proc/loadavg: 2.56 2.96 3.57 6/348 32197
/proc/meminfo: memFree=116652040/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=2746808 CPUtime=28.54 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 30784 0 129 0 2756 98 0 0 20 0 20 0 39428672 19521036288 686702 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 686702 5432 1 0 1133493 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=140545624155744 CPUtime=24.31 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 8964 0 93 0 2356 75 0 0 20 0 20 0 39428674 19521036288 686702 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=2746808 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 686702 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 686702 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=2668920 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 686702 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 28.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2746808 KiB

[startup+51.1053 s]
/proc/loadavg: 3.18 3.07 3.60 7/347 32198
/proc/meminfo: memFree=111048196/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=3050152 CPUtime=54.76 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 38773 0 129 0 5348 128 0 0 20 0 20 0 39428672 19521036288 762538 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0

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

/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843623 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 1869 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843623 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=3374492 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 843623 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 3189.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3374492 KiB

[startup+3222.3 s]
/proc/loadavg: 4.33 4.28 4.22 6/345 32388
/proc/meminfo: memFree=41790640/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=3374492 CPUtime=3250.8 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 218090 0 129 0 323452 1628 0 0 20 0 20 0 39428672 19521036288 843623 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 843623 5464 1 0 854274 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=3374492 CPUtime=3156.73 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 108821 0 93 0 314209 1464 0 0 20 0 20 0 39428674 19521036288 843623 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843623 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=21824 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 1870 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843623 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=3374492 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 843623 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 3250.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3374492 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.27 4.22 6/346 32391
/proc/meminfo: memFree=40819472/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=3374748 CPUtime=3312.13 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 220507 0 129 0 329557 1656 0 0 20 0 20 0 39428672 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 843687 5464 1 0 854333 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=3374620 CPUtime=3215.69 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 110114 0 93 0 320080 1489 0 0 20 0 20 0 39428674 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=3374620 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 1946 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 3312.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3374748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.27 4.22 6/345 32393
/proc/meminfo: memFree=39608480/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=3374748 CPUtime=3372.65 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 223037 0 129 0 335582 1683 0 0 20 0 20 0 39428672 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 843687 5464 1 0 854333 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=3374748 CPUtime=3274.48 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 111957 0 93 0 325934 1514 0 0 20 0 20 0 39428674 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=3374748 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 1946 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=3374748 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 3372.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3374748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.26 4.22 6/346 32396
/proc/meminfo: memFree=38719248/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=3374748 CPUtime=3434.23 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 227156 0 129 0 341713 1710 0 0 20 0 20 0 39428672 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 843687 5464 1 0 854333 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=3374620 CPUtime=3333.54 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 114630 0 93 0 331816 1538 0 0 20 0 20 0 39428674 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=3374748 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 2031 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=3374748 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 3434.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3374748 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.26 4.22 6/346 32400
/proc/meminfo: memFree=37813584/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=3374748 CPUtime=3495.27 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 229860 0 129 0 347797 1730 0 0 20 0 20 0 39428672 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 843687 5464 1 0 854338 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=3374620 CPUtime=3392.76 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 115565 0 93 0 337720 1556 0 0 20 0 20 0 39428674 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=3374748 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=3374748 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 2119 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 3495.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3374748 KiB

[startup+3522.3 s]
/proc/loadavg: 4.35 4.29 4.23 5/347 32538
/proc/meminfo: memFree=79379052/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=3374748 CPUtime=3555.54 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 230431 0 129 0 353802 1752 0 0 20 0 20 0 39428672 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 843687 5464 1 0 854338 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=3374748 CPUtime=3451.8 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 116032 0 93 0 343605 1575 0 0 20 0 20 0 39428674 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=3374748 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=3374748 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 2119 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 3555.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3374748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3566.5 s]
/proc/loadavg: 4.28 4.28 4.23 5/348 32607
/proc/meminfo: memFree=106820364/131249996 swapFree=33010684/33010684
[pid=32040] ppid=32031 vsize=19063512 memory=3374748 CPUtime=3600.04 cores=0,2
/proc/32040/stat : 32040 (java) S 32031 32040 31982 0 -1 4194304 232799 0 129 0 358236 1768 0 0 20 0 20 0 39428672 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
/proc/32040/statm: 4765878 843687 5464 1 0 854338 0
[pid=32040/tid=32045] ppid=32031 vsize=19063512 memory=3200 CPUtime=3495.28 cores=0,2
/proc/32040/task/32045/stat : 32045 (java) R 32031 32040 31982 0 -1 4194368 117574 0 93 0 347938 1590 0 0 20 0 20 0 39428674 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32062] ppid=32031 vsize=19063512 memory=3374748 CPUtime=0 cores=0,2
/proc/32040/task/32062/stat : 32062 (Finalizer) S 32031 32040 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32077] ppid=32031 vsize=19063512 memory=-6000919502805166700 CPUtime=0 cores=0,2
/proc/32040/task/32077/stat : 32077 (Common-Cleaner) S 32031 32040 31982 0 -1 4194368 2120 0 0 0 0 0 0 0 20 0 20 0 39428677 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
[pid=32040/tid=32120] ppid=32031 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32040/task/32120/stat : 32120 (Timer-0) S 32031 32040 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39428691 19521036288 843687 18446744073709551615 93978908188672 93978908192368 140720877740480 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93978908200184 93978908200976 93978935312384 140720877742384 140720877742566 140720877742566 140720877748168 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3374748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.49 s, system=17.7119 s

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

[startup+3566.6 s]*
/proc/loadavg: 4.28 4.28 4.23 5/330 32610
/proc/meminfo: memFree=107716648/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3566.62
CPU time (s): 3600.2
CPU user time (s): 3582.49
CPU system time (s): 17.7119
CPU usage (%): 100.942
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4485812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.49
system time used= 17.7119
maximum resident set size= 4485812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235211
page faults= 129
swaps= 0
block input operations= 24
block output operations= 28215160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121921
involuntary context switches= 19538


# summary of solver processes directly reported to runsolver:
#   pid: 32040
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3582.49
#   total CPU system time (s): 17.7119

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64004 second user time and 16.1379 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 00:51:52
IDJOB=4516075
IDBENCH=169350
IDSOLVER=3364
FILE ID=nodeC015/4516075-1751237512
RUNJOBID= nodeC015-1751237512-31992
SLURM_JOB_ID= 9587718
Free space on /tmp= 433020 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516075-1751237512/watcher-4516075-1751237512 -o /tmp/evaluation-result-4516075-1751237512/solver-4516075-1751237512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751237512-31992 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516075-1751237512 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516075-1751237512.opb

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

MD5SUM BENCH= 6898f8c176df604869a5524822c88324
RANDOM SEED=1943157461

nodeC015 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		: 3601.134
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.14
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		: 3602.010
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.14
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.072
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.14
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.080
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.14
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.067
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.14
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		: 3563.809
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.14
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.156
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.14
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		: 2431.810
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.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129850140 kB
MemAvailable:   129788536 kB
Buffers:            3280 kB
Cached:           747136 kB
SwapCached:            0 kB
Active:           335536 kB
Inactive:         490772 kB
Active(anon):      93968 kB
Inactive(anon):        0 kB
Active(file):     241568 kB
Inactive(file):   490772 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1296 kB
Writeback:             0 kB
AnonPages:         78996 kB
Mapped:           102092 kB
Shmem:             18076 kB
KReclaimable:      90592 kB
Slab:             176712 kB
SReclaimable:      90592 kB
SUnreclaim:        86120 kB
KernelStack:        4088 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC015 at 2025-06-30 01:51:19