Trace number 4517371

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.37 3613.24

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-16diag_spec_greater.opb
MD5SUM6887599ad065147dc61a02d711e5083c
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.095144
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables848
Total number of constraints1058
Number of constraints which are clauses768
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints290
Minimum length of a constraint2
Maximum length of a constraint288
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 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 8589934591
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.25/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.25/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.25/0.24	c java.vm.version	22.0.1+8-16
0.25/0.24	c java.vm.vendor	Oracle Corporation
0.25/0.24	c sun.arch.data.model	64
0.25/0.24	c java.version		22.0.1
0.25/0.24	c os.name		Linux
0.25/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.25/0.24	c os.arch		amd64
0.25/0.25	c Free memory 		2104792832
0.25/0.25	c Max memory 		16282288128
0.25/0.25	c Total memory 		2113929216
0.25/0.26	c Number of processors 	2
0.45/0.38	c Pseudo Boolean Optimization by upper bound
0.45/0.38	c --- Begin Solver configuration ---
0.45/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.45/0.38	c Learn all clauses as in MiniSAT
0.45/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.38	c Expensive reason simplification
0.45/0.38	c Glucose 2.1 dynamic restart strategy
0.45/0.38	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.45/0.38	c timeout=2147483s
0.45/0.38	c DB Simplification allowed=false
0.45/0.38	c Listener: none
0.45/0.38	c --- End Solver configuration ---
0.45/0.38	c solving HOME/instance-4517371-1751243585.opb
0.45/0.38	c reading problem ... 
0.45/0.39	c using VERIPB proof format
0.45/0.39	c  no objective function found
0.76/0.57	c ... done. Wall clock time 0.19s.
0.76/0.57	c declared #vars     848
0.76/0.57	c #constraints  1347
0.76/0.57	c constraints type 
0.76/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 608
0.76/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 483
0.76/0.57	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 256
0.76/0.57	c 1347 constraints processed.
4.05/2.24	c cleaning 2499 clauses out of 5002 with flag 11825/5002
5.35/2.90	c cleaning 4244 clauses out of 8503 with flag 26835/11002
6.44/3.65	c cleaning 5619 clauses out of 11258 with flag 45816/18001
7.43/4.53	c cleaning 6810 clauses out of 13640 with flag 68262/26002
8.43/5.59	c cleaning 7908 clauses out of 15829 with flag 95433/35001
9.70/6.81	c cleaning 8950 clauses out of 17920 with flag 124683/45000
11.57/8.36	c cleaning 9976 clauses out of 19971 with flag 149789/56001
13.87/10.68	c cleaning 10987 clauses out of 21994 with flag 178291/68000
16.12/12.80	c cleaning 11996 clauses out of 24008 with flag 208813/81001
18.55/15.25	c cleaning 12993 clauses out of 26011 with flag 242174/95000
21.63/18.34	c cleaning 14000 clauses out of 28018 with flag 278698/110000
24.94/21.61	c cleaning 14998 clauses out of 30019 with flag 317812/126001
28.61/25.24	c cleaning 16003 clauses out of 32020 with flag 355296/143000
32.58/29.13	c cleaning 17002 clauses out of 34018 with flag 397500/161001
36.38/32.96	c cleaning 18003 clauses out of 36016 with flag 442068/180001
40.67/37.33	c cleaning 18994 clauses out of 38012 with flag 488953/200000
45.89/42.05	c cleaning 19998 clauses out of 40019 with flag 537494/221001
51.94/48.11	c cleaning 20997 clauses out of 42020 with flag 588979/243000
57.93/54.15	c cleaning 22002 clauses out of 44023 with flag 643079/266000
62.69/58.97	c cleaning 22994 clauses out of 46021 with flag 696646/290000
66.69/62.95	c cleaning 24000 clauses out of 48027 with flag 754250/315000
71.19/67.54	c cleaning 25001 clauses out of 50027 with flag 811612/341000
77.10/73.45	c cleaning 26004 clauses out of 52026 with flag 876539/368000
82.70/79.04	c cleaning 26997 clauses out of 54022 with flag 943349/396000
88.71/85.03	c cleaning 28001 clauses out of 56025 with flag 1012360/425000
94.44/90.88	c cleaning 29001 clauses out of 58025 with flag 1086564/455001
99.89/96.36	c cleaning 30001 clauses out of 60024 with flag 1161249/486001
106.38/102.80	c cleaning 31002 clauses out of 62022 with flag 1239341/518000
113.41/109.98	c cleaning 31995 clauses out of 64020 with flag 1317421/551000
121.24/117.71	c cleaning 33003 clauses out of 66027 with flag 1397735/585002
129.82/126.31	c cleaning 34001 clauses out of 68023 with flag 1481173/620001
140.75/137.32	c cleaning 35000 clauses out of 70023 with flag 1569010/656002
151.73/148.30	c cleaning 35998 clauses out of 72021 with flag 1655313/693000
162.48/159.07	c cleaning 37000 clauses out of 74024 with flag 1745227/731001
173.71/170.37	c cleaning 38001 clauses out of 76024 with flag 1839152/770001
185.54/182.19	c cleaning 39003 clauses out of 78026 with flag 1936230/810004
200.11/196.75	c cleaning 40000 clauses out of 80020 with flag 2038383/851001
213.29/209.98	c cleaning 40995 clauses out of 82020 with flag 2145627/893001
226.99/223.60	c cleaning 42002 clauses out of 84025 with flag 2249216/936001
240.52/237.26	c cleaning 43000 clauses out of 86023 with flag 2343033/980001
254.28/251.10	c cleaning 43998 clauses out of 88023 with flag 2441331/1025001
266.38/263.12	c cleaning 45003 clauses out of 90025 with flag 2540037/1071001
278.01/274.77	c cleaning 46004 clauses out of 92021 with flag 2642424/1118000
290.64/287.49	c cleaning 46999 clauses out of 94017 with flag 2747869/1166000
305.05/301.86	c cleaning 47998 clauses out of 96019 with flag 2855869/1215001
320.55/317.40	c cleaning 49003 clauses out of 98021 with flag 2964565/1265001
334.33/331.16	c cleaning 49998 clauses out of 100017 with flag 3074855/1316000
349.30/346.19	c cleaning 51004 clauses out of 102019 with flag 3187463/1368000
366.05/362.96	c cleaning 52001 clauses out of 104015 with flag 3303100/1421000
382.03/378.96	c cleaning 52998 clauses out of 106014 with flag 3422750/1475000
398.85/395.83	c cleaning 53998 clauses out of 108016 with flag 3540459/1530000
413.34/410.38	c cleaning 55002 clauses out of 110018 with flag 3662078/1586000
427.42/424.45	c cleaning 56001 clauses out of 112016 with flag 3789225/1643000
444.11/441.13	c cleaning 56997 clauses out of 114016 with flag 3914437/1701001
461.33/458.34	c cleaning 57997 clauses out of 116018 with flag 4046659/1760000
478.41/475.47	c cleaning 59003 clauses out of 118022 with flag 4178296/1820001
497.92/494.94	c cleaning 60000 clauses out of 120018 with flag 4311032/1881000
516.21/513.38	c cleaning 61000 clauses out of 122020 with flag 4445236/1943002
534.45/531.55	c cleaning 62004 clauses out of 124018 with flag 4582391/2006000
554.26/551.44	c cleaning 63002 clauses out of 126016 with flag 4723279/2070002
573.08/570.34	c cleaning 63998 clauses out of 128012 with flag 4868167/2135000
595.20/592.42	c cleaning 65001 clauses out of 130015 with flag 5004973/2201001
615.08/612.40	c cleaning 65998 clauses out of 132014 with flag 5154277/2268001
637.99/635.44	c cleaning 66999 clauses out of 134015 with flag 5310058/2336000
661.39/658.98	c cleaning 68002 clauses out of 136016 with flag 5463180/2405000
682.41/679.94	c cleaning 69000 clauses out of 138014 with flag 5623924/2475000
704.17/701.90	c cleaning 69997 clauses out of 140015 with flag 5778239/2546001
727.39/725.26	c cleaning 70999 clauses out of 142017 with flag 5938692/2618000
754.15/754.30	c cleaning 71996 clauses out of 144018 with flag 6099537/2691000
778.01/778.13	c cleaning 73001 clauses out of 146023 with flag 6272032/2765001
801.06/801.37	c cleaning 74002 clauses out of 148022 with flag 6437021/2840001
823.12/823.53	c cleaning 75005 clauses out of 150021 with flag 6606950/2916002
844.11/844.53	c cleaning 75996 clauses out of 152014 with flag 6781042/2993000
864.49/865.05	c cleaning 77005 clauses out of 154018 with flag 6959504/3071000
891.00/891.76	c cleaning 77998 clauses out of 156013 with flag 7137664/3150000
915.56/916.48	c cleaning 78999 clauses out of 158015 with flag 7318369/3230000
942.75/943.83	c cleaning 79998 clauses out of 160017 with flag 7496834/3311001
968.27/969.48	c cleaning 81004 clauses out of 162019 with flag 7675775/3393001
993.69/994.87	c cleaning 81998 clauses out of 164014 with flag 7859024/3476000
1024.65/1031.45	c cleaning 83003 clauses out of 166016 with flag 8043120/3560000
1056.07/1062.91	c cleaning 83996 clauses out of 168013 with flag 8229948/3645000
1085.98/1093.39	c cleaning 85002 clauses out of 170017 with flag 8422898/3731000
1117.91/1125.36	c cleaning 85994 clauses out of 172016 with flag 8618160/3818001
1148.05/1155.11	c cleaning 87004 clauses out of 174023 with flag 8814583/3906002
1177.31/1184.41	c cleaning 88002 clauses out of 176017 with flag 9018334/3995000
1207.32/1214.53	c cleaning 88999 clauses out of 178015 with flag 9220413/4085000
1234.92/1242.11	c cleaning 89998 clauses out of 180017 with flag 9421322/4176001
1270.81/1278.43	c cleaning 90999 clauses out of 182018 with flag 9629479/4268000
1300.22/1307.89	c cleaning 91995 clauses out of 184019 with flag 9840651/4361000
1334.92/1342.63	c cleaning 93001 clauses out of 186025 with flag 10075101/4455001
1372.04/1379.86	c cleaning 94000 clauses out of 188024 with flag 10294271/4550001
1408.11/1415.99	c cleaning 94995 clauses out of 190023 with flag 10527755/4646000
1442.18/1450.04	c cleaning 96004 clauses out of 192028 with flag 10752077/4743000
1479.79/1487.67	c cleaning 97008 clauses out of 194025 with flag 10967880/4841001
1510.99/1518.81	c cleaning 98000 clauses out of 196017 with flag 11189325/4940001
1545.00/1552.83	c cleaning 99001 clauses out of 198017 with flag 11410588/5040001
1589.63/1598.53	c cleaning 99999 clauses out of 200015 with flag 11636095/5141000
1630.95/1639.87	c cleaning 100999 clauses out of 202016 with flag 11865100/5243000
1666.86/1675.76	c cleaning 102002 clauses out of 204018 with flag 12091850/5346001
1699.55/1708.40	c cleaning 102999 clauses out of 206015 with flag 12324009/5450000
1741.71/1750.79	c cleaning 104002 clauses out of 208017 with flag 12542777/5555001
1782.14/1791.12	c cleaning 104997 clauses out of 210015 with flag 12768382/5661001
1822.34/1831.39	c cleaning 106001 clauses out of 212017 with flag 13015879/5768000
1853.71/1862.78	c cleaning 107006 clauses out of 214019 with flag 13262597/5876003
1886.45/1895.50	c cleaning 107990 clauses out of 216010 with flag 13509316/5985000
1926.86/1935.98	c cleaning 109000 clauses out of 218022 with flag 13758264/6095002
1964.48/1973.64	c cleaning 109998 clauses out of 220020 with flag 14014285/6206000
1998.76/2007.95	c cleaning 111003 clauses out of 222022 with flag 14266974/6318000
2037.75/2046.62	c cleaning 111998 clauses out of 224020 with flag 14524346/6431001
2081.40/2090.44	c cleaning 113002 clauses out of 226022 with flag 14801256/6545001
2122.19/2131.27	c cleaning 114002 clauses out of 228020 with flag 15063080/6660001
2163.23/2172.32	c cleaning 115000 clauses out of 230017 with flag 15343188/6776000
2207.55/2216.71	c cleaning 115996 clauses out of 232018 with flag 15610154/6893001
2247.46/2256.63	c cleaning 116997 clauses out of 234021 with flag 15880974/7011000
2288.68/2297.90	c cleaning 118007 clauses out of 236025 with flag 16149478/7130001
2330.11/2339.40	c cleaning 119002 clauses out of 238018 with flag 16415106/7250001
2378.99/2388.47	c cleaning 119998 clauses out of 240015 with flag 16692830/7371000
2430.37/2439.85	c cleaning 121000 clauses out of 242017 with flag 16970747/7493000
2483.01/2492.51	c cleaning 122000 clauses out of 244017 with flag 17249552/7616000
2548.84/2558.45	c cleaning 123000 clauses out of 246018 with flag 17535023/7740001
2593.81/2603.42	c cleaning 124000 clauses out of 248018 with flag 17816480/7865001
2640.98/2650.66	c cleaning 125004 clauses out of 250017 with flag 18108374/7991000
2683.84/2693.55	c cleaning 125998 clauses out of 252013 with flag 18407655/8118000
2733.55/2743.38	c cleaning 126997 clauses out of 254017 with flag 18699256/8246002
2783.60/2794.16	c cleaning 128002 clauses out of 256019 with flag 18986319/8375001
2836.85/2847.48	c cleaning 128997 clauses out of 258016 with flag 19280270/8505000
2882.07/2892.77	c cleaning 129996 clauses out of 260019 with flag 19578381/8636000
2929.94/2940.79	c cleaning 131000 clauses out of 262023 with flag 19871958/8768000
2976.79/2987.67	c cleaning 132000 clauses out of 264023 with flag 20166893/8901000
3029.62/3040.55	c cleaning 133005 clauses out of 266023 with flag 20464899/9035000
3081.61/3092.53	c cleaning 133996 clauses out of 268018 with flag 20773982/9170000
3142.62/3153.66	c cleaning 135005 clauses out of 270022 with flag 21081286/9306000
3194.24/3205.85	c cleaning 135999 clauses out of 272018 with flag 21404393/9443001
3247.27/3259.05	c cleaning 136999 clauses out of 274018 with flag 21729188/9581000
3303.79/3315.63	c cleaning 138009 clauses out of 276021 with flag 22033092/9720002
3356.77/3368.62	c cleaning 138999 clauses out of 278010 with flag 22341831/9860000
3412.66/3425.29	c cleaning 140000 clauses out of 280011 with flag 22669049/10001000
3468.45/3481.11	c cleaning 140996 clauses out of 282012 with flag 22990322/10143001
3528.19/3540.90	c cleaning 141995 clauses out of 284016 with flag 23335733/10286001
3588.12/3601.03	c cleaning 143006 clauses out of 286021 with flag 23678562/10430001
3600.10/3613.03	c starts		: 3288
3600.10/3613.04	c conflicts		: 10472601
3600.10/3613.04	c decisions		: 11193507
3600.10/3613.04	c propagations		: 3007378857
3600.10/3613.04	c inspects		: 22303962140
3600.10/3613.04	c shortcuts		: 0
3600.10/3613.04	c learnt literals	: 0
3600.10/3613.04	c learnt binary clauses	: 1
3600.10/3613.04	c learnt ternary clauses	: 7
3600.10/3613.04	c learnt constraints	: 10472601
3600.10/3613.04	c ignored constraints	: 0
3600.10/3613.04	c root simplifications	: 0
3600.10/3613.04	c removed literals (reason simplification)	: 1869718271
3600.10/3613.05	c reason swapping (by a shorter reason)	: 0
3600.10/3613.05	c Calls to reduceDB	: 140
3600.10/3613.05	c Number of update (reduction) of LBD	: 508608
3600.10/3613.05	c timeout
3600.10/3613.05	c Imported unit clauses	: 0
3600.10/3613.05	c No decision after first conflict	: false
3600.10/3613.05	c number of reductions to clauses (during analyze)	: 0
3600.10/3613.05	c number of learned constraints concerned by reduction	: 0
3600.10/3613.05	c number of learning phase by resolution	: 0
3600.10/3613.05	c number of learning phase by cutting planes	: 0
3600.10/3613.05	c number of rounding to 1 operations	: 0
3600.10/3613.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.10/3613.05	c number of reductions of the coefficients by power 2 	: 0
3600.10/3613.05	c number of right shift for reduction by power 2 	: 0
3600.10/3613.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.10/3613.06	c number of ending skipping 	: 0
3600.10/3613.06	c number of internal skipping 	: 0
3600.10/3613.06	c number of derivation steps 	: 0
3600.10/3613.06	c number of skipped derivation steps 	: 0
3600.10/3613.06	c number of remaining unassigned 	: 0
3600.10/3613.06	c number of remaining assigned 	: 0
3600.10/3613.06	c number of falsified literals weakened from reason	: 0
3600.10/3613.06	c number of falsified literals weakened from conflict	: 0
3600.10/3613.06	c time for arithmetic operations	: 0
3600.10/3613.06	c minimum degree of deleted constraints	: null
3600.10/3613.06	c maximum degree of deleted constraints	: null
3600.10/3613.06	c number of deleted constraints	: 0
3600.10/3613.06	c speed (assignments/second)	: 832497.2565930488
3600.10/3613.06	c non guided choices	: 31
3600.26/3613.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 185614
3600.26/3613.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.26/3613.19	s UNKNOWN
3600.26/3613.19	c Total wall clock time (in seconds): 3612.813

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: 63837 MiB (63339 MiB free)
  memory of node 1: 64465 MiB (63928 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517371-1751243585/watcher-4517371-1751243585 -o /tmp/evaluation-result-4517371-1751243585/solver-4517371-1751243585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751243585-32694 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517371-1751243585 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517371-1751243585.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=32743, runsolver pid=32735

[startup+0.100068 s]*
/proc/loadavg: 4.14 4.15 4.17 10/320 32820
/proc/meminfo: memFree=130260824/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=18930344 memory=45644 CPUtime=0.09 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 5459 0 0 0 5 4 0 0 20 0 18 0 40037630 19384672256 11411 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4732586 11411 4915 1 0 546713 0
[pid=32743/tid=32754] ppid=32735 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 4566 0 0 0 3 3 0 0 20 0 18 0 40037633 19384672256 11411 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=18930344 memory=15877 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40037638 19384672256 11411 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=18930344 memory=58494082614266 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 40037639 19384672256 11411 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45644 KiB

[startup+0.214652 s]*
/proc/loadavg: 4.14 4.15 4.17 9/320 32820
/proc/meminfo: memFree=130249600/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=18930384 memory=51704 CPUtime=0.25 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 6109 0 0 0 20 5 0 0 20 0 18 0 40037630 19384713216 12926 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4732596 12926 5331 1 0 547230 0
[pid=32743/tid=32754] ppid=32735 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 4947 0 0 0 12 3 0 0 20 0 18 0 40037633 19384713216 12926 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=18930384 memory=15877 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40037638 19384713216 12926 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 40037639 19384713216 12926 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51704 KiB

[startup+0.314606 s]*
/proc/loadavg: 4.14 4.15 4.17 10/320 32820
/proc/meminfo: memFree=130224332/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=18930384 memory=58328 CPUtime=0.45 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 6713 0 0 0 39 6 0 0 20 0 18 0 40037630 19384713216 14582 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4732596 14582 5331 1 0 547731 0
[pid=32743/tid=32754] ppid=32735 vsize=18930384 memory=-6000919481329871468 CPUtime=0.26 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 5142 0 0 0 22 4 0 0 20 0 18 0 40037633 19384713216 14582 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40037638 19384713216 14582 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 40037639 19384713216 14582 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58328 KiB

[startup+0.700313 s]
/proc/loadavg: 4.14 4.15 4.17 13/321 32821
/proc/meminfo: memFree=130217492/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=18996948 memory=71708 CPUtime=1.1 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 8601 0 0 0 101 9 0 0 20 0 19 0 40037630 19452874752 17927 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4749237 17927 5427 1 0 549091 0
[pid=32743/tid=32754] ppid=32735 vsize=18996948 memory=17280 CPUtime=0.53 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 5356 0 0 0 48 5 0 0 20 0 19 0 40037633 19452874752 17927 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=18996948 memory=10496 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 40037638 19452874752 17927 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 40037639 19452874752 17927 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71708 KiB

[startup+1.50031 s]
/proc/loadavg: 4.14 4.15 4.17 9/324 32824
/proc/meminfo: memFree=130098524/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=169804 CPUtime=2.67 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 16490 0 0 0 253 14 0 0 20 0 20 0 40037630 19521036288 42451 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 42451 5459 1 0 552002 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=3200 CPUtime=1.21 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 5717 0 0 0 113 8 0 0 20 0 20 0 40037633 19521036288 42451 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 42451 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 42451 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 42451 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169804 KiB

[startup+3.10562 s]
/proc/loadavg: 4.14 4.15 4.17 8/328 32828
/proc/meminfo: memFree=129702380/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=187432 CPUtime=5.76 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 23480 0 0 0 559 17 0 0 20 0 20 0 40037630 19521036288 46858 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 46858 5459 1 0 554097 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=16264 CPUtime=2.71 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 6840 0 0 0 262 9 0 0 20 0 20 0 40037633 19521036288 46858 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 46858 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 46858 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 46858 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187432 KiB

[startup+6.30042 s]
/proc/loadavg: 4.29 4.18 4.18 5/331 32831
/proc/meminfo: memFree=128868184/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=393568 CPUtime=9.2 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 23829 0 0 0 898 22 0 0 20 0 20 0 40037630 19521036288 98392 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 98392 5459 1 0 554100 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=0 CPUtime=5.84 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 7051 0 0 0 570 14 0 0 20 0 20 0 40037633 19521036288 98392 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 98392 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 98392 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=169932 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 98392 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 9.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 393568 KiB

[startup+12.7004 s]
/proc/loadavg: 4.26 4.18 4.18 5/331 32831
/proc/meminfo: memFree=127323836/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=549276 CPUtime=16.01 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 26793 0 0 0 1572 29 0 0 20 0 20 0 40037630 19521036288 137319 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 137319 5459 1 0 554100 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=169932 CPUtime=12.16 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 8239 0 0 0 1196 20 0 0 20 0 20 0 40037633 19521036288 137319 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=530844 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 137319 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 137319 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 137319 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 16.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 549276 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.17 4.18 6/331 32831
/proc/meminfo: memFree=125561856/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=927196 CPUtime=28.98 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 31787 0 0 0 2856 42 0 0 20 0 20 0 40037630 19521036288 231799 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 231799 5459 1 0 660613 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=778768 CPUtime=24.76 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 9565 0 0 0 2445 31 0 0 20 0 20 0 40037633 19521036288 231799 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=772624 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 231799 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 231799 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=17280 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 231799 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 28.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 927196 KiB

[startup+51.1137 s]
/proc/loadavg: 4.21 4.17 4.18 6/331 32831
/proc/meminfo: memFree=124139556/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=1591028 CPUtime=54.94 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 41019 0 0 0 5427 67 0 0 20 0 20 0 40037630 19521036288 397757 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 397757 5491 1 0 661673 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=16264 CPUtime=50.04 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 11328 0 0 0 4953 51 0 0 20 0 20 0 40037633 19521036288 397757 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=1306196 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 397757 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 397757 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0

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

/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 651262 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 1137 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 651262 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 651262 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 3210.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2605048 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.14 6/331 33006
/proc/meminfo: memFree=98864976/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=2605176 CPUtime=3270.5 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 105656 0 0 0 326109 941 0 0 20 0 20 0 40037630 19521036288 651294 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 651294 5523 1 0 664753 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=2605176 CPUtime=3236.17 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 45706 0 0 0 322881 736 0 0 20 0 20 0 40037633 19521036288 651294 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=2605048 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 651294 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=2605048 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 1138 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 651294 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 651294 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 3270.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2605176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.14 6/330 33008
/proc/meminfo: memFree=98551116/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3330.45 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 106020 0 0 0 332090 955 0 0 20 0 20 0 40037630 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 651326 5523 1 0 664753 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=2605048 CPUtime=3295.53 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 45980 0 0 0 328806 747 0 0 20 0 20 0 40037633 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=2605304 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=2605304 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 1138 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 3330.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2605304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 6/329 33010
/proc/meminfo: memFree=98201152/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3389.8 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 107376 0 0 0 338009 971 0 0 20 0 20 0 40037630 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 651326 5523 1 0 664753 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3354.5 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 46964 0 0 0 334691 759 0 0 20 0 20 0 40037633 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=2605304 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=2605304 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 1258 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=2605304 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 3389.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2605304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.14 6/329 33013
/proc/meminfo: memFree=97855124/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3449.67 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 108498 0 0 0 343981 986 0 0 20 0 20 0 40037630 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 651326 5523 1 0 664755 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3414.03 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 47782 0 0 0 340632 771 0 0 20 0 20 0 40037633 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 1259 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=2605304 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 3449.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2605304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.13 6/329 33015
/proc/meminfo: memFree=97557160/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3509.58 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 108722 0 0 0 349957 1001 0 0 20 0 20 0 40037630 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 651326 5523 1 0 664756 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3473.47 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 47921 0 0 0 346564 783 0 0 20 0 20 0 40037633 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 1313 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 3509.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2605304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.14 6/331 33020
/proc/meminfo: memFree=97221656/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3569.38 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 109770 0 0 0 355924 1014 0 0 20 0 20 0 40037630 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 651326 5523 1 0 664756 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3532.86 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 48879 0 0 0 352493 793 0 0 20 0 20 0 40037633 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=2605304 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=16264 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 1313 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=2605304 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 3569.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2605304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 4.11 4.12 4.13 4/307 33060
/proc/meminfo: memFree=107645980/131382120 swapFree=33010160/33010684
[pid=32743] ppid=32735 vsize=19063512 memory=2605304 CPUtime=3600.1 cores=4,6
/proc/32743/stat : 32743 (java) S 32735 32743 32315 0 -1 4194304 110372 0 0 0 358989 1021 0 0 20 0 20 0 40037630 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
/proc/32743/statm: 4765878 651326 5523 1 0 664756 0
[pid=32743/tid=32754] ppid=32735 vsize=19063512 memory=4788 CPUtime=3563.38 cores=4,6
/proc/32743/task/32754/stat : 32754 (java) R 32735 32743 32315 0 -1 4194368 49190 0 0 0 355539 799 0 0 20 0 20 0 40037633 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32793] ppid=32735 vsize=19063512 memory=4660 CPUtime=0 cores=4,6
/proc/32743/task/32793/stat : 32793 (Finalizer) S 32735 32743 32315 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40037638 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32818] ppid=32735 vsize=19063512 memory=5044 CPUtime=0 cores=4,6
/proc/32743/task/32818/stat : 32818 (Common-Cleaner) S 32735 32743 32315 0 -1 4194368 1366 0 0 0 0 0 0 0 20 0 20 0 40037639 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
[pid=32743/tid=32822] ppid=32735 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/32743/task/32822/stat : 32822 (Timer-0) S 32735 32743 32315 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40037689 19521036288 651326 18446744073709551615 94772198563840 94772198567536 140736089496992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772198575352 94772198576144 94772231413760 140736089504048 140736089504230 140736089504230 140736089509832 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2605304 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.12 s, system=10.2474 s

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

[startup+3613.2 s]*
/proc/loadavg: 4.11 4.12 4.13 4/290 33064
/proc/meminfo: memFree=108702216/131382120 swapFree=33010160/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): 3613.24
CPU time (s): 3600.37
CPU user time (s): 3590.12
CPU system time (s): 10.2474
CPU usage (%): 99.6438
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2606200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.12
system time used= 10.2474
maximum resident set size= 2606328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13179960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117318
involuntary context switches= 10859


# summary of solver processes directly reported to runsolver:
#   pid: 32743
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3590.12
#   total CPU system time (s): 10.2474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0188 second user time and 38.1499 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-30 02:33:05
IDJOB=4517371
IDBENCH=176059
IDSOLVER=3364
FILE ID=nodeC008/4517371-1751243585
RUNJOBID= nodeC008-1751243585-32694
SLURM_JOB_ID= 9587726
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-16diag_spec_greater.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517371-1751243585/watcher-4517371-1751243585 -o /tmp/evaluation-result-4517371-1751243585/solver-4517371-1751243585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751243585-32694 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517371-1751243585 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517371-1751243585.opb

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

MD5SUM BENCH= 6887599ad065147dc61a02d711e5083c
RANDOM SEED=1814985426

nodeC008 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		: 1197.205
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.72
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		: 1197.086
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.72
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		: 1176.759
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.72
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.226
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.72
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		: 1197.206
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.72
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		: 1197.189
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.72
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		: 1197.289
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.72
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		: 1196.763
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130311924 kB
MemAvailable:   129938316 kB
Buffers:            2144 kB
Cached:           416468 kB
SwapCached:            4 kB
Active:           288628 kB
Inactive:         200756 kB
Active(anon):      51884 kB
Inactive(anon):    36808 kB
Active(file):     236744 kB
Inactive(file):   163948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2336 kB
Writeback:            20 kB
AnonPages:         73920 kB
Mapped:           102624 kB
Shmem:             17916 kB
KReclaimable:      87968 kB
Slab:             170456 kB
SReclaimable:      87968 kB
SUnreclaim:        82488 kB
KernelStack:        3904 kB
PageTables:         2844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC008 at 2025-06-30 03:33:19