Trace number 4492120

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.2 3600.43

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM94ed12462fdb637cfaac2f219d20a948
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.06044
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.01/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.19	c See www.sat4j.org for details.
0.01/0.20	c version PB25.v20250606
0.10/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.21	c java.vm.version	22.0.1+8-16
0.10/0.21	c java.vm.vendor	Oracle Corporation
0.10/0.21	c sun.arch.data.model	64
0.10/0.21	c java.version		22.0.1
0.10/0.21	c os.name		Linux
0.10/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.21	c os.arch		amd64
0.10/0.22	c Free memory 		2104792832
0.10/0.22	c Max memory 		16282288128
0.10/0.22	c Total memory 		2113929216
0.10/0.22	c Number of processors 	2
0.10/0.26	c Pseudo Boolean Optimization by upper bound
0.10/0.26	c --- Begin Solver configuration ---
0.10/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.26	c Learn all clauses as in MiniSAT
0.10/0.26	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.26	c Expensive reason simplification
0.10/0.26	c Glucose 2.1 dynamic restart strategy
0.10/0.26	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.10/0.26	c timeout=2147483s
0.10/0.26	c DB Simplification allowed=false
0.10/0.26	c Listener: none
0.10/0.26	c --- End Solver configuration ---
0.10/0.26	c solving HOME/instance-4492120-1751145706.opb
0.10/0.26	c reading problem ... 
0.10/0.26	c  no objective function found
0.67/0.52	c ... done. Wall clock time 0.258s.
0.67/0.52	c declared #vars     4602
0.67/0.52	c #constraints  30353
0.67/0.52	c constraints type 
0.67/0.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 941
0.67/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 78
0.67/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29334
0.67/0.52	c 30353 constraints processed.
1.43/0.93	c cleaning 2485 clauses out of 5000 with flag 18990/5000
2.03/1.21	c cleaning 4251 clauses out of 8516 with flag 41655/11001
2.48/1.50	c cleaning 5622 clauses out of 11267 with flag 74018/18003
2.89/1.91	c cleaning 6808 clauses out of 13644 with flag 112763/26002
3.34/2.37	c cleaning 7891 clauses out of 15834 with flag 165917/35000
3.99/2.92	c cleaning 8913 clauses out of 17943 with flag 215942/45000
4.59/3.50	c cleaning 9999 clauses out of 20031 with flag 278958/56001
5.20/4.15	c cleaning 11004 clauses out of 22033 with flag 341370/68002
6.10/5.02	c cleaning 11996 clauses out of 24028 with flag 422655/81001
7.40/6.32	c cleaning 12998 clauses out of 26031 with flag 520988/95000
8.59/7.54	c cleaning 13988 clauses out of 28035 with flag 618747/110002
9.20/8.19	c cleaning 14963 clauses out of 30045 with flag 726493/126000
10.22/9.15	c cleaning 16036 clauses out of 32082 with flag 861578/143000
12.04/10.93	c cleaning 17013 clauses out of 34046 with flag 992658/161000
12.94/11.88	c cleaning 17973 clauses out of 36033 with flag 1105999/180000
13.94/12.84	c cleaning 19016 clauses out of 38061 with flag 1222004/200001
15.03/13.94	c cleaning 19976 clauses out of 40044 with flag 1354249/221000
17.06/15.96	c cleaning 21024 clauses out of 42069 with flag 1487428/243001
18.85/17.78	c cleaning 22007 clauses out of 44044 with flag 1635212/266000
21.16/20.03	c cleaning 23006 clauses out of 46038 with flag 1775474/290001
22.60/21.43	c cleaning 23980 clauses out of 48032 with flag 1916161/315001
23.99/22.85	c cleaning 25008 clauses out of 50051 with flag 2056201/341000
26.49/25.38	c cleaning 25996 clauses out of 52043 with flag 2231842/368000
28.44/27.22	c cleaning 26992 clauses out of 54047 with flag 2397105/396000
30.24/29.01	c cleaning 28008 clauses out of 56055 with flag 2552345/425000
32.34/31.11	c cleaning 28997 clauses out of 58048 with flag 2719144/455001
35.17/33.93	c cleaning 29997 clauses out of 60052 with flag 2897419/486002
38.77/37.50	c cleaning 30998 clauses out of 62053 with flag 3097246/518000
42.06/40.88	c cleaning 31998 clauses out of 64056 with flag 3305129/551001
46.68/45.46	c cleaning 33004 clauses out of 66058 with flag 3517579/585001
51.67/50.44	c cleaning 33997 clauses out of 68053 with flag 3757838/620000
55.86/54.69	c cleaning 34997 clauses out of 70057 with flag 3987612/656001
60.38/59.18	c cleaning 35994 clauses out of 72060 with flag 4232133/693001
65.27/64.02	c cleaning 36997 clauses out of 74066 with flag 4483106/731001
70.27/69.09	c cleaning 38004 clauses out of 76069 with flag 4731399/770001
75.98/74.75	c cleaning 38998 clauses out of 78064 with flag 4988426/810000
81.27/80.08	c cleaning 40002 clauses out of 80069 with flag 5289195/851003
85.79/84.51	c cleaning 40999 clauses out of 82067 with flag 5564644/893003
88.68/87.46	c cleaning 42006 clauses out of 84066 with flag 5806544/936001
91.72/90.42	c cleaning 42992 clauses out of 86059 with flag 6140120/980000
95.32/94.01	c cleaning 43974 clauses out of 88067 with flag 6435709/1025000
98.96/97.68	c cleaning 45041 clauses out of 90093 with flag 6777870/1071000
103.94/102.68	c cleaning 46014 clauses out of 92053 with flag 7088031/1118001
110.38/109.10	c cleaning 47002 clauses out of 94038 with flag 7441014/1166000
114.96/113.62	c cleaning 48002 clauses out of 96036 with flag 7776282/1215000
120.36/119.00	c cleaning 48973 clauses out of 98034 with flag 8117851/1265000
124.79/123.44	c cleaning 49989 clauses out of 100061 with flag 8426425/1316000
128.68/127.36	c cleaning 51019 clauses out of 102073 with flag 8717268/1368001
135.84/134.49	c cleaning 52003 clauses out of 104053 with flag 9022251/1421000
143.32/142.00	c cleaning 53005 clauses out of 106053 with flag 9410479/1475003
153.36/151.93	c cleaning 53998 clauses out of 108045 with flag 9763871/1530000
162.34/160.91	c cleaning 55003 clauses out of 110049 with flag 10128893/1586002
173.73/172.34	c cleaning 56000 clauses out of 112045 with flag 10560510/1643001
183.17/181.47	c cleaning 57000 clauses out of 114045 with flag 10938866/1701001
193.06/191.38	c cleaning 57996 clauses out of 116044 with flag 11417151/1760000
198.40/196.63	c cleaning 58997 clauses out of 118048 with flag 11793536/1820000
202.98/201.28	c cleaning 60018 clauses out of 120054 with flag 12169872/1881003
215.56/213.86	c cleaning 61010 clauses out of 122041 with flag 12501454/1943008
228.29/226.60	c cleaning 61999 clauses out of 124023 with flag 12897140/2006000
236.37/234.66	c cleaning 63006 clauses out of 126025 with flag 13359554/2070001
248.93/247.14	c cleaning 63999 clauses out of 128022 with flag 14018373/2135004
263.79/262.07	c cleaning 65000 clauses out of 130021 with flag 14726702/2201002
282.26/280.51	c cleaning 65989 clauses out of 132020 with flag 15501708/2268001
293.29/291.58	c cleaning 67007 clauses out of 134031 with flag 16209446/2336001
307.16/305.40	c cleaning 68000 clauses out of 136024 with flag 16866369/2405001
320.73/319.08	c cleaning 68998 clauses out of 138023 with flag 17583527/2475000
336.30/334.62	c cleaning 70002 clauses out of 140025 with flag 18362485/2546000
350.46/348.76	c cleaning 71003 clauses out of 142023 with flag 19195992/2618000
375.91/374.20	c cleaning 71998 clauses out of 144022 with flag 20017660/2691002
391.26/389.66	c cleaning 73000 clauses out of 146022 with flag 20849026/2765000
408.49/406.89	c cleaning 73999 clauses out of 148022 with flag 21651809/2840000
428.75/427.14	c cleaning 74994 clauses out of 150023 with flag 22535867/2916000
446.71/445.18	c cleaning 75997 clauses out of 152030 with flag 23295726/2993001
467.26/465.72	c cleaning 77001 clauses out of 154034 with flag 24112890/3071002
489.68/488.18	c cleaning 78004 clauses out of 156033 with flag 25011207/3150002
513.83/512.31	c cleaning 78993 clauses out of 158028 with flag 25902428/3230001
536.38/534.94	c cleaning 80002 clauses out of 160035 with flag 26848657/3311001
559.45/558.04	c cleaning 81002 clauses out of 162032 with flag 27748254/3393000
581.56/579.77	c cleaning 82008 clauses out of 164032 with flag 28670455/3476002
607.01/605.25	c cleaning 82995 clauses out of 166022 with flag 29583674/3560000
627.56/625.89	c cleaning 84000 clauses out of 168029 with flag 30327450/3645002
637.84/636.17	c cleaning 84986 clauses out of 170029 with flag 30904646/3731002
648.91/647.22	c cleaning 85993 clauses out of 172041 with flag 31428390/3818000
662.27/660.55	c cleaning 86997 clauses out of 174049 with flag 31997550/3906001
674.84/673.14	c cleaning 88002 clauses out of 176054 with flag 32519124/3995003
688.71/687.10	c cleaning 88998 clauses out of 178049 with flag 33131680/4085000
702.37/700.76	c cleaning 89994 clauses out of 180053 with flag 33788154/4176002
716.14/714.44	c cleaning 90992 clauses out of 182058 with flag 34433145/4268001
742.09/740.45	c cleaning 92020 clauses out of 184065 with flag 34882037/4361000
771.41/769.88	c cleaning 93013 clauses out of 186045 with flag 35341042/4455000
799.56/798.03	c cleaning 94006 clauses out of 188033 with flag 35829164/4550001
829.88/828.44	c cleaning 95001 clauses out of 190028 with flag 36358840/4646002
861.51/860.13	c cleaning 96002 clauses out of 192025 with flag 36864767/4743000
885.77/884.37	c cleaning 97000 clauses out of 194025 with flag 37387351/4841002
921.70/920.33	c cleaning 98002 clauses out of 196023 with flag 37975147/4940000
964.49/963.25	c cleaning 99001 clauses out of 198021 with flag 38530490/5040000
999.51/998.30	c cleaning 99994 clauses out of 200021 with flag 39127081/5141001
1035.53/1034.47	c cleaning 101005 clauses out of 202026 with flag 39675287/5243000
1076.70/1075.59	c cleaning 102002 clauses out of 204022 with flag 40202848/5346001
1110.13/1109.09	c cleaning 102999 clauses out of 206021 with flag 40736522/5450002
1151.43/1150.43	c cleaning 104003 clauses out of 208022 with flag 41193633/5555002
1159.71/1158.70	c cleaning 104983 clauses out of 210018 with flag 41768008/5661001
1175.65/1174.54	c cleaning 106009 clauses out of 212037 with flag 42478956/5768003
1185.43/1184.39	c cleaning 106976 clauses out of 214025 with flag 43225615/5876000
1234.93/1233.94	c cleaning 108006 clauses out of 216050 with flag 44232042/5985001
1246.56/1244.90	c cleaning 108995 clauses out of 218043 with flag 44857662/6095000
1254.64/1253.01	c cleaning 110015 clauses out of 220048 with flag 45461212/6206000
1273.38/1271.77	c cleaning 110961 clauses out of 222035 with flag 46269998/6318002
1283.36/1281.72	c cleaning 112018 clauses out of 224075 with flag 46944113/6431003
1320.48/1318.92	c cleaning 113018 clauses out of 226055 with flag 47610277/6545001
1357.94/1356.34	c cleaning 114001 clauses out of 228036 with flag 48250539/6660000
1370.21/1368.65	c cleaning 114996 clauses out of 230038 with flag 48891323/6776003
1404.04/1402.55	c cleaning 116013 clauses out of 232040 with flag 49533386/6893001
1438.40/1436.83	c cleaning 117003 clauses out of 234027 with flag 50237700/7011001
1469.34/1467.81	c cleaning 117996 clauses out of 236023 with flag 50933916/7130000
1495.49/1494.01	c cleaning 118996 clauses out of 238028 with flag 51655131/7250001
1504.36/1502.91	c cleaning 119987 clauses out of 240032 with flag 52330902/7371001
1522.68/1521.15	c cleaning 121016 clauses out of 242054 with flag 53122102/7493010
1532.75/1531.20	c cleaning 121980 clauses out of 244028 with flag 53895754/7616000
1567.21/1565.64	c cleaning 122991 clauses out of 246048 with flag 54861529/7740000
1578.10/1576.58	c cleaning 124020 clauses out of 248058 with flag 55552046/7865001
1587.87/1586.39	c cleaning 124973 clauses out of 250038 with flag 56319721/7991001
1600.52/1598.44	c cleaning 126017 clauses out of 252064 with flag 57017635/8118000
1617.09/1615.02	c cleaning 127011 clauses out of 254048 with flag 57709822/8246001
1650.08/1648.05	c cleaning 128011 clauses out of 256036 with flag 58482520/8375000
1691.28/1689.32	c cleaning 129001 clauses out of 258025 with flag 59468961/8505000
1709.66/1707.65	c cleaning 130011 clauses out of 260025 with flag 60341485/8636001
1729.12/1727.13	c cleaning 130958 clauses out of 262014 with flag 61300579/8768001
1757.00/1754.93	c cleaning 131988 clauses out of 264056 with flag 62242632/8901001
1783.74/1781.76	c cleaning 132974 clauses out of 266067 with flag 63238035/9035000
1796.44/1794.35	c cleaning 134038 clauses out of 268093 with flag 64149850/9170000
1818.30/1816.23	c cleaning 135012 clauses out of 270055 with flag 64937338/9306000
1833.98/1831.87	c cleaning 135976 clauses out of 272043 with flag 65887961/9443000
1847.55/1845.47	c cleaning 136995 clauses out of 274067 with flag 66723923/9581000
1864.42/1862.23	c cleaning 138029 clauses out of 276072 with flag 67660070/9720000
1878.81/1876.04	c cleaning 139004 clauses out of 278044 with flag 68573877/9860001
1907.16/1904.32	c cleaning 139949 clauses out of 280039 with flag 69695001/10001000
2017.14/2014.51	c cleaning 141035 clauses out of 282091 with flag 70916980/10143001
2075.03/2072.50	c cleaning 142010 clauses out of 284055 with flag 72303484/10286000
2415.10/2413.29	c cleaning 143009 clauses out of 286046 with flag 73593889/10430001
2645.08/2643.75	c cleaning 144011 clauses out of 288036 with flag 74945490/10575000
2756.06/2754.87	c cleaning 145002 clauses out of 290025 with flag 76296131/10721000
2898.18/2897.22	c cleaning 146008 clauses out of 292030 with flag 77824979/10868007
3012.51/3011.61	c cleaning 146997 clauses out of 294015 with flag 79271037/11016000
3255.08/3254.70	c cleaning 148002 clauses out of 296018 with flag 80547729/11165000
3425.97/3425.89	c cleaning 149008 clauses out of 298018 with flag 81916585/11315002
3519.95/3520.05	c cleaning 150001 clauses out of 300008 with flag 83290170/11466000
3600.06/3600.31	c starts		: 58790
3600.06/3600.32	c conflicts		: 11561544
3600.06/3600.32	c decisions		: 18985882
3600.06/3600.32	c propagations		: 439665667
3600.06/3600.32	c inspects		: 32015541429
3600.06/3600.32	c timeout
3600.06/3600.32	c shortcuts		: 0
3600.06/3600.32	c learnt literals	: 0
3600.06/3600.32	c learnt binary clauses	: 0
3600.06/3600.32	c learnt ternary clauses	: 0
3600.06/3600.32	c learnt constraints	: 11561544
3600.06/3600.32	c ignored constraints	: 0
3600.06/3600.32	c root simplifications	: 0
3600.06/3600.32	c removed literals (reason simplification)	: 36228165
3600.06/3600.32	c reason swapping (by a shorter reason)	: 0
3600.06/3600.32	c Calls to reduceDB	: 147
3600.06/3600.32	c Number of update (reduction) of LBD	: 4668277
3600.06/3600.32	c Imported unit clauses	: 0
3600.06/3600.32	c No decision after first conflict	: false
3600.06/3600.32	c number of reductions to clauses (during analyze)	: 0
3600.06/3600.32	c number of learned constraints concerned by reduction	: 0
3600.06/3600.32	c number of learning phase by resolution	: 0
3600.06/3600.32	c number of learning phase by cutting planes	: 0
3600.06/3600.32	c number of rounding to 1 operations	: 0
3600.06/3600.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3600.32	c number of reductions of the coefficients by power 2 	: 0
3600.06/3600.32	c number of right shift for reduction by power 2 	: 0
3600.06/3600.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3600.32	c number of ending skipping 	: 0
3600.06/3600.32	c number of internal skipping 	: 0
3600.06/3600.32	c number of derivation steps 	: 0
3600.06/3600.32	c number of skipped derivation steps 	: 0
3600.06/3600.32	c number of remaining unassigned 	: 0
3600.06/3600.32	c number of remaining assigned 	: 0
3600.06/3600.32	c number of falsified literals weakened from reason	: 0
3600.06/3600.32	c number of falsified literals weakened from conflict	: 0
3600.06/3600.32	c time for arithmetic operations	: 0
3600.06/3600.32	c minimum degree of deleted constraints	: null
3600.06/3600.32	c maximum degree of deleted constraints	: null
3600.06/3600.32	c number of deleted constraints	: 0
3600.06/3600.32	c speed (assignments/second)	: 122136.23907125874
3600.06/3600.32	c non guided choices	: 363708
3600.06/3600.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 245551
3600.06/3600.38	s UNKNOWN
3600.06/3600.38	c Total wall clock time (in seconds): 3600.123

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (63073 MiB free)
  memory of node 1: 64507 MiB (64059 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492120-1751145706/watcher-4492120-1751145706 -o /tmp/evaluation-result-4492120-1751145706/solver-4492120-1751145706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751145706-14502 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4492120-1751145706.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100057 s]*
/proc/loadavg: 0.89 1.12 1.88 2/293 14587
/proc/meminfo: memFree=130157992/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=18130736 memory=26928 CPUtime=0.01 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 3219 0 166 0 0 1 0 0 20 0 7 0 30250502 18565873664 6732 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16784588 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4532684 6732 3232 1 0 540973 0
[pid=14558/tid=14565] ppid=14543 vsize=18130736 memory=4026531960 CPUtime=0.01 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) D 14543 14558 14490 0 -1 4194368 2622 0 166 0 0 1 0 0 20 0 7 0 30250506 18565873664 6732 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16784588 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 26928 KiB

[startup+0.204751 s]*
/proc/loadavg: 0.89 1.12 1.88 9/337 14631
/proc/meminfo: memFree=130105164/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=18930384 memory=51612 CPUtime=0.1 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 5980 0 315 0 7 3 0 0 20 0 18 0 30250502 19384713216 12903 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4732596 12903 5287 1 0 547228 0
[pid=14558/tid=14565] ppid=14543 vsize=18930384 memory=3472328132922704156 CPUtime=0.07 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 4773 0 281 0 5 2 0 0 20 0 18 0 30250506 19384713216 12903 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=18930384 memory=18954 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 18 0 30250517 19384713216 12903 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 18 0 30250518 19384713216 12903 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51612 KiB

[startup+0.305986 s]*
/proc/loadavg: 0.89 1.12 1.88 14/337 14631
/proc/meminfo: memFree=130057732/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=18930384 memory=65736 CPUtime=0.28 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 6862 0 316 0 25 3 0 0 20 0 18 0 30250502 19384713216 16434 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4732596 16434 5383 1 0 547906 0
[pid=14558/tid=14565] ppid=14543 vsize=18930384 memory=-6000919494198126702 CPUtime=0.16 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 5113 0 281 0 14 2 0 0 20 0 18 0 30250506 19384713216 16434 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=18930384 memory=-4421386491902584678 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 18 0 30250517 19384713216 16434 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 18 0 30250518 19384713216 16434 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65736 KiB

[startup+0.700185 s]
/proc/loadavg: 0.89 1.12 1.88 16/341 14635
/proc/meminfo: memFree=129676556/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=163952 CPUtime=1.04 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 10341 0 316 0 99 5 0 0 20 0 20 0 30250502 19521036288 40988 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 40988 5447 1 0 550623 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=17280 CPUtime=0.5 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 5194 0 281 0 47 3 0 0 20 0 20 0 30250506 19521036288 40988 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 40988 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 40988 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 163952 KiB

[startup+1.50018 s]
/proc/loadavg: 1.54 1.26 1.92 8/322 14649
/proc/meminfo: memFree=129765644/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=172880 CPUtime=2.48 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 17892 0 316 0 241 7 0 0 20 0 20 0 30250502 19521036288 43220 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 43220 5447 1 0 552716 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=5760 CPUtime=1.27 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 5559 0 281 0 124 3 0 0 20 0 20 0 30250506 19521036288 43220 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 43220 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 43220 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 43220 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172880 KiB

[startup+3.10467 s]
/proc/loadavg: 1.54 1.26 1.92 7/344 14704
/proc/meminfo: memFree=129685220/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=173136 CPUtime=4.2 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 18746 0 317 0 413 7 0 0 20 0 20 0 30250502 19521036288 43284 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 43284 5479 1 0 552720 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=0 CPUtime=2.86 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 5857 0 281 0 283 3 0 0 20 0 20 0 30250506 19521036288 43284 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 43284 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 27 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 43284 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 43284 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173136 KiB

[startup+6.30019 s]
/proc/loadavg: 2.06 1.37 1.95 6/343 14835
/proc/meminfo: memFree=129757640/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=176584 CPUtime=7.4 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 19953 0 317 0 733 7 0 0 20 0 20 0 30250502 19521036288 44146 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 44146 5479 1 0 552721 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=0 CPUtime=6.03 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 5893 0 281 0 600 3 0 0 20 0 20 0 30250506 19521036288 44146 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 44146 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 50 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 44146 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=172880 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 44146 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176584 KiB

[startup+12.7002 s]
/proc/loadavg: 2.21 1.41 1.97 5/345 14837
/proc/meminfo: memFree=129471184/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=197144 CPUtime=13.84 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 23952 0 317 0 1376 8 0 0 20 0 20 0 30250502 19521036288 49286 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 49286 5479 1 0 552721 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=0 CPUtime=12.38 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 6731 0 281 0 1235 3 0 0 20 0 20 0 30250506 19521036288 49286 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 49286 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=176584 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 50 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 49286 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=176584 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 49286 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 13.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 197144 KiB

[startup+25.5002 s]
/proc/loadavg: 2.49 1.50 1.99 5/345 15098
/proc/meminfo: memFree=129170328/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=316100 CPUtime=26.69 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 26691 0 317 0 2658 11 0 0 20 0 20 0 30250502 19521036288 79025 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 79025 5479 1 0 552721 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=0 CPUtime=25.06 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 7629 0 281 0 2502 4 0 0 20 0 20 0 30250506 19521036288 79025 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=197144 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 79025 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 50 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 79025 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=252500 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 79025 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 26.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 316100 KiB

[startup+51.1056 s]
/proc/loadavg: 3.24 1.77 2.06 5/345 15098
/proc/meminfo: memFree=127659664/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=508732 CPUtime=52.38 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 27635 0 317 0 5223 15 0 0 20 0 20 0 30250502 19521036288 127183 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 127183 5479 1 0 552721 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=197144 CPUtime=50.45 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 7816 0 281 0 5041 4 0 0 20 0 20 0 30250506 19521036288 127183 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 127183 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=508732 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 50 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 127183 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=453424 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 127183 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 52.38 s
Current children cumulated vsize: 19063512 KiB

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

/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 1251 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=7157458319247697260 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 3222.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2644540 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/339 15291
/proc/meminfo: memFree=109380628/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=2644540 CPUtime=3282.62 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 86900 0 317 0 328101 161 0 0 20 0 20 0 30250502 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 661135 5479 1 0 675477 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=17408 CPUtime=3269.22 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 38305 0 281 0 326903 19 0 0 20 0 20 0 30250506 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=2644540 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 1251 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 3282.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2644540 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/339 15295
/proc/meminfo: memFree=109282000/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=2644540 CPUtime=3342.48 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 87569 0 317 0 334085 163 0 0 20 0 20 0 30250502 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 661135 5479 1 0 675477 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=2644540 CPUtime=3329.05 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 38834 0 281 0 332886 19 0 0 20 0 20 0 30250506 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 1360 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=2644540 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 661135 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 3342.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2644540 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/339 15297
/proc/meminfo: memFree=108425964/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=2646588 CPUtime=3402.52 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 88279 0 317 0 340087 165 0 0 20 0 20 0 30250502 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 661647 5479 1 0 675477 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=14720 CPUtime=3388.72 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 38863 0 281 0 338853 19 0 0 20 0 20 0 30250506 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 1375 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=2646588 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 3402.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2646588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/339 15299
/proc/meminfo: memFree=108073900/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=2646588 CPUtime=3462.38 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 88546 0 317 0 346072 166 0 0 20 0 20 0 30250502 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 661647 5479 1 0 675477 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=14720 CPUtime=3448.55 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 39096 0 281 0 344836 19 0 0 20 0 20 0 30250506 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=2646588 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 1378 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=2646588 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 3462.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2646588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/339 15301
/proc/meminfo: memFree=107749940/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=2646588 CPUtime=3522.24 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 88829 0 317 0 352056 168 0 0 20 0 20 0 30250502 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 661647 5479 1 0 675477 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=2646588 CPUtime=3508.39 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 39346 0 281 0 350820 19 0 0 20 0 20 0 30250506 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=2646588 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 1378 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=2646588 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 3522.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2646588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/339 15303
/proc/meminfo: memFree=107695256/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=2646588 CPUtime=3582.1 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 89576 0 317 0 358040 170 0 0 20 0 20 0 30250502 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 661647 5479 1 0 675477 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=10880 CPUtime=3568.22 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 40047 0 281 0 356803 19 0 0 20 0 20 0 30250506 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=2646588 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=2646588 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 1378 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=2646588 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 3582.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2646588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/338 15436
/proc/meminfo: memFree=124813952/131250000 swapFree=33010684/33010684
[pid=14558] ppid=14543 vsize=19063512 memory=2646588 CPUtime=3600.06 cores=1,3
/proc/14558/stat : 14558 (java) S 14543 14558 14490 0 -1 4194304 89767 0 317 0 359836 170 0 0 20 0 20 0 30250502 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
/proc/14558/statm: 4765878 661647 5479 1 0 675477 0
[pid=14558/tid=14565] ppid=14543 vsize=19063512 memory=5760 CPUtime=3586.17 cores=1,3
/proc/14558/task/14565/stat : 14565 (java) R 14543 14558 14490 0 -1 4194368 40230 0 281 0 358598 19 0 0 20 0 20 0 30250506 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14602] ppid=14543 vsize=19063512 memory=2646588 CPUtime=0 cores=1,3
/proc/14558/task/14602/stat : 14602 (Finalizer) S 14543 14558 14490 0 -1 4194368 24 0 1 0 0 0 0 0 20 0 20 0 30250517 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14629] ppid=14543 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/14558/task/14629/stat : 14629 (Common-Cleaner) S 14543 14558 14490 0 -1 4194368 1378 0 1 0 0 0 0 0 20 0 20 0 30250518 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
[pid=14558/tid=14636] ppid=14543 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/14558/task/14636/stat : 14636 (Timer-0) S 14543 14558 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30250556 19521036288 661647 18446744073709551615 94784858357760 94784858361456 140720434562384 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784858369272 94784858370064 94784890707968 140720434571649 140720434571750 140720434571750 140720434577352 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2646588 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.49 s, system=1.71573 s

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

[startup+3600.41 s]*
/proc/loadavg: 4.17 4.13 4.09 5/321 15440
/proc/meminfo: memFree=127271552/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3600.43
CPU time (s): 3600.2
CPU user time (s): 3598.49
CPU system time (s): 1.71573
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2646588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.49
system time used= 1.71573
maximum resident set size= 2647356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92198
page faults= 317
swaps= 0
block input operations= 8064
block output operations= 16568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108407
involuntary context switches= 3180


# summary of solver processes directly reported to runsolver:
#   pid: 14558
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3598.49
#   total CPU system time (s): 1.71573

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28797 second user time and 16.7913 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-06-28 23:21:46
IDJOB=4492120
IDBENCH=147759
IDSOLVER=3363
FILE ID=nodeC027/4492120-1751145706
RUNJOBID= nodeC027-1751145706-14502
SLURM_JOB_ID= 9587449
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492120-1751145706/watcher-4492120-1751145706 -o /tmp/evaluation-result-4492120-1751145706/solver-4492120-1751145706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751145706-14502 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4492120-1751145706.opb

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

MD5SUM BENCH= 94ed12462fdb637cfaac2f219d20a948
RANDOM SEED=2433003

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.703
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.615
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.972
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3603.478
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.288
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.643
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.836
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.144
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130178200 kB
MemAvailable:   129769084 kB
Buffers:            3280 kB
Cached:           346756 kB
SwapCached:            0 kB
Active:           281184 kB
Inactive:         140032 kB
Active(anon):      89248 kB
Inactive(anon):        0 kB
Active(file):     191936 kB
Inactive(file):   140032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5424 kB
Writeback:             0 kB
AnonPages:         74568 kB
Mapped:           102544 kB
Shmem:             18068 kB
KReclaimable:      84756 kB
Slab:             167536 kB
SReclaimable:      84756 kB
SUnreclaim:        82780 kB
KernelStack:        4112 kB
PageTables:         2872 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     336376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC027 at 2025-06-29 00:21:47