Trace number 4502163

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.3 3600.04

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_3-sat.opb
MD5SUMf7b2b496c30aa17fcbe59599d08153aa
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 variables49368
Total number of constraints158090
Number of constraints which are clauses157278
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints812
Minimum length of a constraint1
Maximum length of a constraint93
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 546
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.10	c version PB25.v20250606
0.12/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.11	c java.vm.version	22.0.1+8-16
0.12/0.12	c java.vm.vendor	Oracle Corporation
0.12/0.12	c sun.arch.data.model	64
0.12/0.12	c java.version		22.0.1
0.12/0.12	c os.name		Linux
0.12/0.12	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.12	c os.arch		amd64
0.12/0.12	c Free memory 		2106806208
0.12/0.12	c Max memory 		16282288128
0.12/0.12	c Total memory 		2113929216
0.12/0.12	c Number of processors 	2
0.29/0.22	c Pseudo Boolean Optimization by upper bound
0.29/0.22	c --- Begin Solver configuration ---
0.29/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.29/0.22	c Learn all clauses as in MiniSAT
0.29/0.22	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.22	c Expensive reason simplification
0.29/0.22	c Glucose 2.1 dynamic restart strategy
0.29/0.22	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.29/0.22	c timeout=2147483s
0.29/0.22	c DB Simplification allowed=false
0.29/0.22	c Listener: none
0.29/0.22	c --- End Solver configuration ---
0.29/0.22	c solving HOME/instance-4502163-1751161100.opb
0.29/0.22	c reading problem ... 
0.29/0.23	c using VERIPB proof format
0.29/0.23	c  no objective function found
2.37/1.30	c ... done. Wall clock time 1.065s.
2.37/1.30	c declared #vars     49368
2.37/1.30	c #constraints  158090
2.37/1.30	c constraints type 
2.37/1.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 122997
2.37/1.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 812
2.37/1.30	c org.sat4j.specs.Constr$1 => 9475
2.37/1.30	c org.sat4j.pb.constraints.pb.UnitClausePB => 3307
2.37/1.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 21499
2.37/1.30	c 158090 constraints processed.
6.73/3.51	c cleaning 2493 clauses out of 5000 with flag 20011/5000
9.38/5.06	c cleaning 4237 clauses out of 8507 with flag 52936/11000
11.68/6.96	c cleaning 5617 clauses out of 11270 with flag 89562/18001
14.33/9.05	c cleaning 6813 clauses out of 13652 with flag 131992/26000
16.89/11.42	c cleaning 7921 clauses out of 15841 with flag 183255/35002
20.40/14.69	c cleaning 8953 clauses out of 17918 with flag 239352/45001
24.69/18.90	c cleaning 9960 clauses out of 19966 with flag 306376/56003
28.54/22.61	c cleaning 10988 clauses out of 22003 with flag 366401/68000
31.83/25.92	c cleaning 12003 clauses out of 24019 with flag 441708/81004
35.05/29.18	c cleaning 13005 clauses out of 26012 with flag 528770/95000
39.32/33.43	c cleaning 14000 clauses out of 28008 with flag 622655/110001
43.70/37.86	c cleaning 14979 clauses out of 30007 with flag 719089/126000
48.93/42.93	c cleaning 15988 clauses out of 32028 with flag 820268/143000
54.83/48.74	c cleaning 17014 clauses out of 34040 with flag 930321/161000
60.25/54.19	c cleaning 17997 clauses out of 36029 with flag 1053042/180003
65.42/59.32	c cleaning 18998 clauses out of 38031 with flag 1182622/200002
71.89/65.82	c cleaning 20002 clauses out of 40032 with flag 1310158/221001
78.76/72.66	c cleaning 21004 clauses out of 42029 with flag 1437124/243000
87.00/80.90	c cleaning 22007 clauses out of 44025 with flag 1568474/266000
94.11/88.11	c cleaning 22992 clauses out of 46018 with flag 1705839/290000
102.26/96.24	c cleaning 23989 clauses out of 48027 with flag 1846016/315001
110.73/104.76	c cleaning 25006 clauses out of 50037 with flag 2000904/341000
120.10/114.14	c cleaning 26015 clauses out of 52032 with flag 2155189/368001
129.06/123.04	c cleaning 26985 clauses out of 54016 with flag 2319879/396000
137.50/131.51	c cleaning 27998 clauses out of 56031 with flag 2466693/425000
147.28/141.35	c cleaning 29000 clauses out of 58035 with flag 2625594/455002
158.07/152.15	c cleaning 30000 clauses out of 60033 with flag 2849178/486000
167.82/161.92	c cleaning 31001 clauses out of 62033 with flag 3022694/518000
177.80/171.95	c cleaning 32010 clauses out of 64032 with flag 3213690/551000
187.89/182.09	c cleaning 32994 clauses out of 66024 with flag 3442863/585002
200.59/194.30	c cleaning 33997 clauses out of 68027 with flag 3643962/620000
212.27/205.94	c cleaning 34995 clauses out of 70030 with flag 3838017/656000
224.94/218.68	c cleaning 36007 clauses out of 72036 with flag 4071643/693001
236.12/229.82	c cleaning 36999 clauses out of 74028 with flag 4302552/731000
248.09/241.82	c cleaning 37993 clauses out of 76029 with flag 4523240/770000
260.54/254.36	c cleaning 39008 clauses out of 78036 with flag 4742076/810000
272.71/266.52	c cleaning 39993 clauses out of 80028 with flag 4983712/851000
287.67/281.51	c cleaning 40999 clauses out of 82035 with flag 5191007/893000
302.92/296.88	c cleaning 42011 clauses out of 84038 with flag 5429871/936002
317.98/312.00	c cleaning 42994 clauses out of 86027 with flag 5672250/980002
334.06/328.10	c cleaning 43993 clauses out of 88030 with flag 5905827/1025000
349.78/343.86	c cleaning 45018 clauses out of 90037 with flag 6152569/1071001
365.44/359.56	c cleaning 45985 clauses out of 92018 with flag 6395486/1118000
382.49/376.65	c cleaning 46995 clauses out of 94033 with flag 6662493/1166000
399.06/393.22	c cleaning 47998 clauses out of 96038 with flag 6904239/1215001
417.70/411.99	c cleaning 49003 clauses out of 98039 with flag 7155570/1265000
434.37/428.66	c cleaning 49991 clauses out of 100036 with flag 7390140/1316000
451.41/445.73	c cleaning 50996 clauses out of 102044 with flag 7645786/1368000
470.05/464.41	c cleaning 52002 clauses out of 104049 with flag 7910115/1421001
490.86/485.35	c cleaning 53008 clauses out of 106046 with flag 8168399/1475000
509.00/503.52	c cleaning 53999 clauses out of 108038 with flag 8437733/1530000
527.76/522.30	c cleaning 54998 clauses out of 110040 with flag 8709472/1586001
547.99/542.65	c cleaning 56007 clauses out of 112042 with flag 8967705/1643001
570.74/565.42	c cleaning 56962 clauses out of 114033 with flag 9253255/1701000
593.81/589.19	c cleaning 57897 clauses out of 116073 with flag 9572819/1760002
616.95/612.32	c cleaning 59039 clauses out of 118174 with flag 9839399/1820000
639.10/634.57	c cleaning 59959 clauses out of 120135 with flag 10121895/1881000
661.82/657.37	c cleaning 60781 clauses out of 122176 with flag 10402633/1943000
686.60/682.13	c cleaning 61805 clauses out of 124395 with flag 10695444/2006000
711.33/706.80	c cleaning 62805 clauses out of 126590 with flag 11016175/2070000
736.80/732.39	c cleaning 63941 clauses out of 128785 with flag 11301690/2135000
762.93/758.51	c cleaning 64893 clauses out of 130844 with flag 11583214/2201000
789.49/785.12	c cleaning 65834 clauses out of 132952 with flag 11894477/2268001
815.71/811.46	c cleaning 66787 clauses out of 135119 with flag 12184651/2336002
842.45/837.72	c cleaning 67892 clauses out of 137330 with flag 12476208/2405000
870.33/865.65	c cleaning 68809 clauses out of 139439 with flag 12837185/2475001
897.99/893.36	c cleaning 69857 clauses out of 141630 with flag 13184571/2546001
926.54/921.96	c cleaning 70702 clauses out of 143772 with flag 13494730/2618000
958.17/953.62	c cleaning 71892 clauses out of 146070 with flag 13799183/2691000
989.47/985.02	c cleaning 72720 clauses out of 148178 with flag 14125012/2765000
1020.24/1015.86	c cleaning 73786 clauses out of 150460 with flag 14470159/2840002
1052.66/1048.39	c cleaning 74779 clauses out of 152675 with flag 14810607/2916003
1084.45/1080.18	c cleaning 75912 clauses out of 154893 with flag 15163948/2993000
1117.21/1112.89	c cleaning 76812 clauses out of 156981 with flag 15502583/3071000
1149.56/1145.25	c cleaning 77801 clauses out of 159169 with flag 15880140/3150000
1184.46/1180.26	c cleaning 78759 clauses out of 161368 with flag 16211947/3230000
1221.10/1216.91	c cleaning 79740 clauses out of 163611 with flag 16554565/3311002
1256.85/1252.73	c cleaning 80582 clauses out of 165869 with flag 16918676/3393000
1294.01/1289.97	c cleaning 81641 clauses out of 168288 with flag 17302746/3476001
1329.30/1325.39	c cleaning 82526 clauses out of 170649 with flag 17653392/3560003
1366.61/1362.73	c cleaning 83635 clauses out of 173120 with flag 18026853/3645000
1405.84/1402.08	c cleaning 84559 clauses out of 175485 with flag 18412681/3731000
1448.20/1444.47	c cleaning 85691 clauses out of 177926 with flag 18824562/3818000
1490.53/1486.94	c cleaning 86852 clauses out of 180236 with flag 19215886/3906001
1531.36/1527.74	c cleaning 87774 clauses out of 182383 with flag 19588236/3995000
1573.40/1569.70	c cleaning 88740 clauses out of 184609 with flag 19965692/4085000
1614.38/1610.77	c cleaning 89539 clauses out of 186870 with flag 20368890/4176001
1657.34/1653.78	c cleaning 90633 clauses out of 189329 with flag 20759509/4268000
1701.48/1697.99	c cleaning 91649 clauses out of 191696 with flag 21162810/4361000
1747.80/1744.34	c cleaning 92723 clauses out of 194047 with flag 21582502/4455000
1792.14/1789.18	c cleaning 93589 clauses out of 196325 with flag 22008034/4550001
1835.08/1832.36	c cleaning 94624 clauses out of 198735 with flag 22460552/4646000
1879.94/1877.18	c cleaning 95480 clauses out of 201111 with flag 22872692/4743000
1926.32/1923.66	c cleaning 96545 clauses out of 203630 with flag 23286117/4841000
1974.50/1971.91	c cleaning 97555 clauses out of 206086 with flag 23698032/4940001
2024.51/2022.06	c cleaning 98602 clauses out of 208530 with flag 24116309/5040000
2073.81/2071.43	c cleaning 99447 clauses out of 210929 with flag 24538346/5141001
2124.18/2121.95	c cleaning 100682 clauses out of 213484 with flag 24974002/5243003
2175.29/2173.08	c cleaning 101628 clauses out of 215799 with flag 25392751/5346000
2230.11/2227.97	c cleaning 102618 clauses out of 218171 with flag 25829923/5450000
2284.55/2282.53	c cleaning 103671 clauses out of 220554 with flag 26267655/5555001
2339.80/2338.01	c cleaning 104636 clauses out of 222884 with flag 26695345/5661002
2392.87/2391.16	c cleaning 105619 clauses out of 225246 with flag 27158707/5768000
2450.04/2448.41	c cleaning 106625 clauses out of 227627 with flag 27631281/5876000
2504.74/2503.30	c cleaning 107623 clauses out of 230003 with flag 28102478/5985001
2562.11/2560.42	c cleaning 108579 clauses out of 232379 with flag 28572759/6095000
2619.21/2617.60	c cleaning 109614 clauses out of 234800 with flag 29031296/6206000
2677.02/2675.58	c cleaning 110473 clauses out of 237188 with flag 29501954/6318002
2735.57/2734.20	c cleaning 111534 clauses out of 239713 with flag 29974082/6431001
2795.02/2793.83	c cleaning 112614 clauses out of 242178 with flag 30461540/6545000
2856.80/2855.72	c cleaning 113466 clauses out of 244564 with flag 30947448/6660000
2919.57/2918.68	c cleaning 114449 clauses out of 247099 with flag 31438210/6776001
2983.18/2982.19	c cleaning 115372 clauses out of 249649 with flag 31931379/6893000
3045.85/3044.82	c cleaning 116478 clauses out of 252278 with flag 32438973/7011001
3110.40/3109.54	c cleaning 117573 clauses out of 254799 with flag 32925723/7130000
3177.23/3176.45	c cleaning 118614 clauses out of 257226 with flag 33437272/7250000
3242.87/3242.23	c cleaning 119471 clauses out of 259613 with flag 33923057/7371001
3311.17/3310.58	c cleaning 120488 clauses out of 262142 with flag 34421556/7493001
3381.69/3381.13	c cleaning 121398 clauses out of 264653 with flag 34922762/7616000
3451.85/3451.44	c cleaning 122360 clauses out of 267257 with flag 35446259/7740002
3523.30/3522.97	c cleaning 123437 clauses out of 269898 with flag 35946075/7865003
3593.15/3592.96	c cleaning 124473 clauses out of 272458 with flag 36459906/7991000
3600.04/3599.83	c starts		: 28696
3600.04/3599.83	c timeout
3600.04/3599.84	c conflicts		: 8003469
3600.04/3599.84	c decisions		: 13293603
3600.04/3599.84	c propagations		: 7810475627
3600.04/3599.84	c inspects		: 34660945668
3600.04/3599.84	c shortcuts		: 0
3600.04/3599.84	c learnt literals	: 12
3600.04/3599.84	c learnt binary clauses	: 372
3600.04/3599.84	c learnt ternary clauses	: 9984
3600.04/3599.84	c learnt constraints	: 8003457
3600.04/3599.84	c ignored constraints	: 0
3600.04/3599.84	c root simplifications	: 0
3600.04/3599.84	c removed literals (reason simplification)	: 112729455
3600.04/3599.84	c reason swapping (by a shorter reason)	: 0
3600.04/3599.84	c Calls to reduceDB	: 122
3600.04/3599.84	c Number of update (reduction) of LBD	: 2914381
3600.04/3599.84	c Imported unit clauses	: 0
3600.04/3599.84	c No decision after first conflict	: false
3600.04/3599.84	c number of reductions to clauses (during analyze)	: 0
3600.04/3599.84	c number of learned constraints concerned by reduction	: 0
3600.04/3599.84	c number of learning phase by resolution	: 0
3600.04/3599.84	c number of learning phase by cutting planes	: 0
3600.04/3599.84	c number of rounding to 1 operations	: 0
3600.04/3599.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3599.85	c number of reductions of the coefficients by power 2 	: 0
3600.04/3599.85	c number of right shift for reduction by power 2 	: 0
3600.04/3599.85	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3599.85	c number of ending skipping 	: 0
3600.04/3599.85	c number of internal skipping 	: 0
3600.04/3599.85	c number of derivation steps 	: 0
3600.04/3599.85	c number of skipped derivation steps 	: 0
3600.04/3599.85	c number of remaining unassigned 	: 0
3600.04/3599.85	c number of remaining assigned 	: 0
3600.04/3599.85	c number of falsified literals weakened from reason	: 0
3600.04/3599.85	c number of falsified literals weakened from conflict	: 0
3600.04/3599.85	c time for arithmetic operations	: 0
3600.04/3599.85	c minimum degree of deleted constraints	: null
3600.04/3599.85	c maximum degree of deleted constraints	: null
3600.04/3599.85	c number of deleted constraints	: 0
3600.04/3599.85	c speed (assignments/second)	: 2170474.2953404896
3600.04/3599.85	c non guided choices	: 22521
3600.19/3599.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 160082
3600.19/3599.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 372
3600.19/3599.98	s UNKNOWN
3600.19/3599.98	c Total wall clock time (in seconds): 3599.755

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=18836, runsolver pid=18833

[startup+0.100063 s]*
/proc/loadavg: 4.40 4.25 4.15 7/328 18854
/proc/meminfo: memFree=111776600/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=18930384 memory=49680 CPUtime=0.12 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 6093 0 0 0 10 2 0 0 20 0 18 0 31789701 19384713216 12420 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4732596 12420 5339 1 0 547211 0
[pid=18836/tid=18838] ppid=18833 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 4942 0 0 0 6 1 0 0 20 0 18 0 31789702 19384713216 12420 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31789705 19384713216 12420 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=18930384 memory=57394571004297 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31789705 19384713216 12420 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49680 KiB

[startup+0.207787 s]*
/proc/loadavg: 4.40 4.25 4.15 6/328 18854
/proc/meminfo: memFree=111767716/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=18930384 memory=59036 CPUtime=0.29 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 6807 0 0 0 26 3 0 0 20 0 18 0 31789701 19384713216 14759 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4732596 14759 5435 1 0 547793 0
[pid=18836/tid=18838] ppid=18833 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 5194 0 0 0 15 2 0 0 20 0 18 0 31789702 19384713216 14759 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=18930384 memory=1707 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31789705 19384713216 14759 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=18930384 memory=56295059358712 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31789705 19384713216 14759 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59036 KiB

[startup+0.313623 s]*
/proc/loadavg: 4.40 4.25 4.15 7/328 18854
/proc/meminfo: memFree=111762612/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=18930384 memory=63632 CPUtime=0.47 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 6942 0 0 0 44 3 0 0 20 0 18 0 31789701 19384713216 15908 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4732596 15908 5435 1 0 547875 0
[pid=18836/tid=18838] ppid=18833 vsize=18930384 memory=-6000919494214706286 CPUtime=0.27 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 5273 0 0 0 25 2 0 0 20 0 18 0 31789702 19384713216 15908 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31789705 19384713216 15908 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31789705 19384713216 15908 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63632 KiB

[startup+0.700345 s]
/proc/loadavg: 4.40 4.25 4.15 6/328 18854
/proc/meminfo: memFree=111730160/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=18930384 memory=138004 CPUtime=1.19 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 8582 0 0 0 114 5 0 0 20 0 18 0 31789701 19384713216 34501 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4732596 34501 5435 1 0 548946 0
[pid=18836/tid=18838] ppid=18833 vsize=18930384 memory=17152 CPUtime=0.64 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 5336 0 0 0 61 3 0 0 20 0 18 0 31789702 19384713216 34501 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=18930384 memory=10752 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31789705 19384713216 34501 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31789705 19384713216 34501 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 138004 KiB

[startup+1.50023 s]
/proc/loadavg: 4.40 4.25 4.15 6/329 18855
/proc/meminfo: memFree=111635704/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=196756 CPUtime=2.77 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 18140 0 0 0 269 8 0 0 20 0 20 0 31789701 19521036288 49189 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 49189 5467 1 0 554841 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=3200 CPUtime=1.32 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 5420 0 0 0 128 4 0 0 20 0 20 0 31789702 19521036288 49189 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 49189 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 49189 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 196756 KiB

[startup+3.10545 s]
/proc/loadavg: 4.45 4.26 4.15 6/330 18856
/proc/meminfo: memFree=111611132/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=206984 CPUtime=5.95 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 26624 0 0 0 585 10 0 0 20 0 20 0 31789701 19521036288 51746 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 51746 5499 1 0 555747 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=10752 CPUtime=2.83 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 5689 0 0 0 279 4 0 0 20 0 20 0 31789702 19521036288 51746 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 51746 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 51746 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 51746 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 206984 KiB

[startup+6.30036 s]
/proc/loadavg: 4.45 4.26 4.15 5/330 18856
/proc/meminfo: memFree=111593688/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=206044 CPUtime=10.91 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 30254 0 0 0 1079 12 0 0 20 0 20 0 31789701 19521036288 51511 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 51511 5531 1 0 555766 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=0 CPUtime=5.98 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 7078 0 0 0 593 5 0 0 20 0 20 0 31789702 19521036288 51511 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=-7879749704144776324 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 51511 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=-6000919494214706286 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 51511 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 51511 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 10.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 206044 KiB

[startup+12.7004 s]
/proc/loadavg: 4.38 4.25 4.15 6/330 18856
/proc/meminfo: memFree=111469800/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=322100 CPUtime=18.51 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 35332 0 0 0 1835 16 0 0 20 0 20 0 31789701 19521036288 80525 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 80525 5531 1 0 555782 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=0 CPUtime=12.36 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 7965 0 0 0 1227 9 0 0 20 0 20 0 31789702 19521036288 80525 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=283060 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 80525 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 80525 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 80525 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 18.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 322100 KiB

[startup+25.5004 s]
/proc/loadavg: 4.40 4.26 4.16 5/330 18856
/proc/meminfo: memFree=111271840/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=344640 CPUtime=31.43 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 40440 0 0 0 3123 20 0 0 20 0 20 0 31789701 19521036288 86160 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 86160 5531 1 0 555782 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=-6000919494214706286 CPUtime=24.98 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 8933 0 0 0 2487 11 0 0 20 0 20 0 31789702 19521036288 86160 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=3195 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 86160 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=344640 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 86160 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=344640 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 86160 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 31.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 344640 KiB

[startup+51.1135 s]
/proc/loadavg: 4.26 4.24 4.15 5/330 18857
/proc/meminfo: memFree=110722612/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=674536 CPUtime=57.24 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 43307 0 0 0 5692 32 0 0 20 0 20 0 31789701 19521036288 168634 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 168634 5531 1 0 555782 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=674536 CPUtime=50.35 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 9963 0 0 0 5015 20 0 0 20 0 20 0 31789702 19521036288 168634 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=-6000919494214706286 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 168634 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=455352 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 168634 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=344640 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 168634 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0

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

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/329 19100
/proc/meminfo: memFree=105727056/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=2022328 CPUtime=3282.9 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 91229 0 0 0 327719 571 0 0 20 0 20 0 31789701 19521036288 505582 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 505582 5531 1 0 556149 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=2022328 CPUtime=3259.65 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 37852 0 0 0 325571 394 0 0 20 0 20 0 31789702 19521036288 505582 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=17152 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 505582 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=2022328 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 1414 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 505582 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 505582 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 3282.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2022328 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.17 4.18 5/330 19107
/proc/meminfo: memFree=105400748/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=2102428 CPUtime=3342.82 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 91349 0 0 0 333703 579 0 0 20 0 20 0 31789701 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 525607 5531 1 0 556192 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=-6000919494214706286 CPUtime=3318.9 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 37875 0 0 0 331491 399 0 0 20 0 20 0 31789702 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 1414 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=5888 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 3342.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2102428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.33 4.20 4.19 5/329 19241
/proc/meminfo: memFree=117271428/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=2102428 CPUtime=3402.84 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 91376 0 0 0 339695 589 0 0 20 0 20 0 31789701 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 525607 5531 1 0 556192 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=2102428 CPUtime=3378.65 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 37887 0 0 0 337460 405 0 0 20 0 20 0 31789702 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=12160 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=2102428 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 1414 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=2102428 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 3402.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2102428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.22 4.20 5/331 19245
/proc/meminfo: memFree=113963428/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=2102428 CPUtime=3462.73 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 91582 0 0 0 345676 597 0 0 20 0 20 0 31789701 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 525607 5531 1 0 556192 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=2102428 CPUtime=3438.38 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 37917 0 0 0 343427 411 0 0 20 0 20 0 31789702 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=17152 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 1416 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=2102428 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 3462.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2102428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.21 4.19 5/332 19250
/proc/meminfo: memFree=112433900/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=2102428 CPUtime=3522.7 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 91643 0 0 0 351665 605 0 0 20 0 20 0 31789701 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 525607 5531 1 0 556201 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=-6000919494214706286 CPUtime=3497.89 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 37929 0 0 0 349372 417 0 0 20 0 20 0 31789702 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=-6000919494214706286 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=2102428 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=2744 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 525607 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 3522.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2102428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.21 4.19 5/331 19318
/proc/meminfo: memFree=113199568/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=2122968 CPUtime=3582.58 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 91921 0 0 0 357641 617 0 0 20 0 20 0 31789701 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 530742 5531 1 0 556201 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=5632 CPUtime=3557.48 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 38187 0 0 0 355323 425 0 0 20 0 20 0 31789702 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=2122968 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=2122968 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=2122968 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 3582.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2122968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.8 s]
/proc/loadavg: 4.21 4.21 4.19 5/331 19320
/proc/meminfo: memFree=112996640/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19063512 memory=2122968 CPUtime=3600.04 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 92065 0 0 0 359384 620 0 0 20 0 20 0 31789701 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4765878 530742 5531 1 0 556201 0
[pid=18836/tid=18838] ppid=18833 vsize=19063512 memory=2432 CPUtime=3574.92 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) R 18833 18836 16715 0 -1 4194368 38331 0 0 0 357065 427 0 0 20 0 20 0 31789702 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19063512 memory=3456 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 20 0 31789705 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18856] ppid=18833 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/18836/task/18856/stat : 18856 (Timer-0) S 18833 18836 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31789835 19521036288 530742 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2122968 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.07 s, system=6.23007 s

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

[startup+3599.91 s]
/proc/loadavg: 4.21 4.21 4.19 5/331 19320
/proc/meminfo: memFree=112996640/131382112 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=19263204 memory=2123736 CPUtime=3600.19 cores=4,6
/proc/18836/stat : 18836 (java) S 18833 18836 16715 0 -1 4194304 94427 0 0 0 359398 621 0 0 20 0 21 0 31789701 19725520896 530934 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
/proc/18836/statm: 4815801 530934 5531 1 0 557152 0
[pid=18836/tid=18838] ppid=18833 vsize=19263204 memory=2022328 CPUtime=3574.95 cores=4,6
/proc/18836/task/18838/stat : 18838 (java) S 18833 18836 16715 0 -1 4194368 38620 0 0 0 357068 427 0 0 20 0 21 0 31789702 19725520896 530934 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18847] ppid=18833 vsize=19263204 memory=2122968 CPUtime=0 cores=4,6
/proc/18836/task/18847/stat : 18847 (Finalizer) S 18833 18836 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31789705 19725520896 530934 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
[pid=18836/tid=18854] ppid=18833 vsize=19263204 memory=2122968 CPUtime=0 cores=4,6
/proc/18836/task/18854/stat : 18854 (Common-Cleaner) S 18833 18836 16715 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 21 0 31789705 19725520896 530934 18446744073709551615 94050483765248 94050483768944 140736245457600 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94050483776760 94050483777552 94050506731520 140736245463344 140736245463526 140736245463526 140736245469128 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2123736 KiB

Child status: 143

Real time (s): 3600.04
CPU time (s): 3600.3
CPU user time (s): 3594.07
CPU system time (s): 6.23007
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2123736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.07
system time used= 6.23007
maximum resident set size= 2123864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5921856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109934
involuntary context switches= 8742


# summary of solver processes directly reported to runsolver:
#   pid: 18836
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3594.07
#   total CPU system time (s): 6.23007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.689 second user time and 33.5964 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-06-29 03:38:20
IDJOB=4502163
IDBENCH=154773
IDSOLVER=3364
FILE ID=nodeC012/4502163-1751161100
RUNJOBID= nodeC012-1751157286-16726
SLURM_JOB_ID= 9587482
Free space on /tmp= 433048 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_3-sat.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502163-1751161100/watcher-4502163-1751161100 -o /tmp/evaluation-result-4502163-1751161100/solver-4502163-1751161100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751157286-16726 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502163-1751161100 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4502163-1751161100.opb

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

MD5SUM BENCH= f7b2b496c30aa17fcbe59599d08153aa
RANDOM SEED=1140991884

nodeC012 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	: 0xb00001f
cpu MHz		: 3591.393
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3591.466
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.172
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.518
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 2494.065
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.387
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 2293.965
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.035
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        111800520 kB
MemAvailable:   123694904 kB
Buffers:            3280 kB
Cached:         12692356 kB
SwapCached:            0 kB
Active:          6586336 kB
Inactive:       12459544 kB
Active(anon):    6368268 kB
Inactive(anon):        0 kB
Active(file):     218068 kB
Inactive(file): 12459544 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            193116 kB
Writeback:             0 kB
AnonPages:       6353428 kB
Mapped:           122140 kB
Shmem:             17960 kB
KReclaimable:     112412 kB
Slab:             200820 kB
SReclaimable:     112412 kB
SUnreclaim:        88408 kB
KernelStack:        5040 kB
PageTables:        16108 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8545276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6103040 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432964 MiB
End job on nodeC012 at 2025-06-29 04:38:20