Trace number 4451974

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 Default 2024-07-07? (TO) 3600.26 3602.49

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_32.opb
MD5SUM821356efb808a668e35dedcee024edbb
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 benchmark62.0281
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1482
Total number of constraints7073
Number of constraints which are clauses7068
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint38
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 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 70
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.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.16	c java.vm.vendor	Oracle Corporation
0.12/0.16	c sun.arch.data.model	64
0.12/0.16	c java.version		22.0.1
0.12/0.16	c os.name		Linux
0.12/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.16	c os.arch		amd64
0.12/0.17	c Free memory 		2113181440
0.12/0.17	c Max memory 		16282288128
0.12/0.17	c Total memory 		2122317824
0.12/0.17	c Number of processors 	2
0.26/0.27	--- Begin Solver configuration ---
0.26/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.26/0.27	Learn all clauses as in MiniSAT
0.26/0.27	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.27	No reason simplification
0.26/0.27	Glucose 2.1 dynamic restart strategy
0.26/0.27	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.26/0.27	timeout=2147483s
0.26/0.27	DB Simplification allowed=false
0.26/0.27	Listener: none
0.26/0.27	--- End Solver configuration ---
0.26/0.27	c Pseudo Boolean Optimization by upper bound
0.26/0.27	c --- Begin Solver configuration ---
0.26/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.26/0.27	c Learn all clauses as in MiniSAT
0.26/0.27	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.27	c No reason simplification
0.26/0.27	c Glucose 2.1 dynamic restart strategy
0.26/0.27	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.26/0.27	c timeout=2147483s
0.26/0.27	c DB Simplification allowed=false
0.26/0.27	c Listener: none
0.26/0.27	c --- End Solver configuration ---
0.26/0.27	c solving HOME/instance-4451974-1721442103.opb
0.26/0.27	c reading problem ... 
0.26/0.28	c  no objective function found
0.58/0.49	c ... done. Wall clock time 0.207s.
0.58/0.49	c declared #vars     1482
0.58/0.49	c #constraints  7077
0.58/0.49	c constraints type 
0.58/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2849
0.58/0.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
0.58/0.49	c org.sat4j.specs.Constr$1 => 4
0.58/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4218
0.58/0.49	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.58/0.49	c 7077 constraints processed.
2.18/1.39	c cleaning 2495 clauses out of 5000 with flag 30211/5000
2.90/1.80	c cleaning 4252 clauses out of 8505 with flag 57197/11000
3.41/2.37	c cleaning 5627 clauses out of 11253 with flag 97726/18000
4.03/2.98	c cleaning 6809 clauses out of 13627 with flag 132256/26001
4.73/3.68	c cleaning 7902 clauses out of 15818 with flag 169309/35001
5.69/4.43	c cleaning 8952 clauses out of 17915 with flag 214183/45000
6.87/5.33	c cleaning 9982 clauses out of 19963 with flag 267111/56000
8.46/6.94	c cleaning 10984 clauses out of 21982 with flag 320494/68001
10.06/8.55	c cleaning 11988 clauses out of 23997 with flag 386183/81000
11.69/10.15	c cleaning 12997 clauses out of 26009 with flag 459444/95000
13.37/11.86	c cleaning 14004 clauses out of 28012 with flag 536055/110000
15.38/13.88	c cleaning 15001 clauses out of 30011 with flag 633305/126003
17.77/16.20	c cleaning 15999 clauses out of 32008 with flag 744523/143001
19.51/17.85	c cleaning 16999 clauses out of 34008 with flag 813890/161000
21.11/19.43	c cleaning 17995 clauses out of 36010 with flag 888433/180001
22.83/21.18	c cleaning 18998 clauses out of 38014 with flag 967762/200000
24.72/23.01	c cleaning 20005 clauses out of 40016 with flag 1055775/221000
26.51/24.89	c cleaning 21003 clauses out of 42013 with flag 1157220/243002
28.71/27.02	c cleaning 22000 clauses out of 44009 with flag 1265114/266001
30.90/29.20	c cleaning 22993 clauses out of 46009 with flag 1366997/290001
33.19/31.58	c cleaning 24004 clauses out of 48015 with flag 1486313/315000
35.81/34.18	c cleaning 24995 clauses out of 50011 with flag 1606277/341000
38.61/36.94	c cleaning 26002 clauses out of 52016 with flag 1739283/368000
41.60/39.95	c cleaning 27002 clauses out of 54014 with flag 1885602/396000
44.81/43.18	c cleaning 27999 clauses out of 56013 with flag 2042163/425001
48.09/46.41	c cleaning 28997 clauses out of 58015 with flag 2206186/455002
51.38/49.78	c cleaning 29994 clauses out of 60016 with flag 2376796/486000
54.98/53.37	c cleaning 31000 clauses out of 62022 with flag 2562623/518000
58.79/57.19	c cleaning 32001 clauses out of 64022 with flag 2750227/551000
63.17/61.55	c cleaning 33005 clauses out of 66023 with flag 2946744/585002
68.06/66.48	c cleaning 34001 clauses out of 68019 with flag 3140588/620003
73.16/71.50	c cleaning 35002 clauses out of 70015 with flag 3340841/656000
77.66/76.08	c cleaning 36001 clauses out of 72015 with flag 3526817/693002
82.84/81.21	c cleaning 36995 clauses out of 74014 with flag 3730923/731002
88.53/86.90	c cleaning 38000 clauses out of 76017 with flag 3941839/770000
94.37/92.79	c cleaning 38997 clauses out of 78017 with flag 4169091/810000
100.97/99.35	c cleaning 40001 clauses out of 80020 with flag 4415868/851000
106.86/105.29	c cleaning 41001 clauses out of 82019 with flag 4675371/893000
112.84/111.22	c cleaning 42000 clauses out of 84019 with flag 4909360/936001
119.66/118.04	c cleaning 42999 clauses out of 86019 with flag 5170988/980001
127.28/125.63	c cleaning 44001 clauses out of 88019 with flag 5464944/1025000
135.06/133.44	c cleaning 45000 clauses out of 90019 with flag 5758549/1071001
144.85/143.28	c cleaning 46002 clauses out of 92018 with flag 6024229/1118000
152.93/151.38	c cleaning 47001 clauses out of 94017 with flag 6301604/1166001
161.87/160.27	c cleaning 47997 clauses out of 96016 with flag 6624791/1215001
173.56/171.96	c cleaning 49002 clauses out of 98018 with flag 6956122/1265000
184.24/182.68	c cleaning 50004 clauses out of 100016 with flag 7265477/1316000
193.42/191.86	c cleaning 50997 clauses out of 102014 with flag 7595128/1368002
202.93/201.30	c cleaning 51993 clauses out of 104016 with flag 7926831/1421001
213.21/211.67	c cleaning 53003 clauses out of 106023 with flag 8270998/1475001
224.49/222.99	c cleaning 53995 clauses out of 108019 with flag 8631658/1530000
235.98/234.42	c cleaning 55005 clauses out of 110024 with flag 8967547/1586000
248.17/246.65	c cleaning 56002 clauses out of 112020 with flag 9338221/1643001
260.44/258.96	c cleaning 56993 clauses out of 114017 with flag 9694187/1701000
272.73/271.24	c cleaning 58004 clauses out of 116025 with flag 10039910/1760001
285.55/284.05	c cleaning 58998 clauses out of 118020 with flag 10426037/1820000
298.52/297.02	c cleaning 60003 clauses out of 120023 with flag 10816591/1881001
310.80/309.39	c cleaning 61001 clauses out of 122020 with flag 11194756/1943001
323.48/322.06	c cleaning 62000 clauses out of 124019 with flag 11591953/2006001
337.26/335.84	c cleaning 62999 clauses out of 126021 with flag 12016710/2070003
351.83/350.48	c cleaning 64002 clauses out of 128021 with flag 12393291/2135002
365.30/363.98	c cleaning 65001 clauses out of 130018 with flag 12798131/2201001
379.58/378.20	c cleaning 66000 clauses out of 132016 with flag 13198849/2268000
393.76/392.44	c cleaning 67002 clauses out of 134018 with flag 13634247/2336002
408.75/407.43	c cleaning 68000 clauses out of 136015 with flag 14083423/2405001
423.93/422.61	c cleaning 68997 clauses out of 138014 with flag 14513533/2475000
439.61/438.33	c cleaning 70000 clauses out of 140017 with flag 14990038/2546000
455.48/454.25	c cleaning 70996 clauses out of 142017 with flag 15476001/2618000
472.79/471.53	c cleaning 71997 clauses out of 144022 with flag 15972502/2691001
491.95/490.73	c cleaning 73000 clauses out of 146024 with flag 16490590/2765000
511.62/510.43	c cleaning 74007 clauses out of 148025 with flag 16944049/2840001
531.35/530.18	c cleaning 74998 clauses out of 150017 with flag 17428349/2916000
552.40/551.21	c cleaning 76006 clauses out of 152020 with flag 17911594/2993001
573.56/572.44	c cleaning 77000 clauses out of 154013 with flag 18406517/3071000
595.04/593.98	c cleaning 78001 clauses out of 156014 with flag 18940553/3150001
616.41/615.39	c cleaning 79002 clauses out of 158012 with flag 19466737/3230000
639.01/637.98	c cleaning 80000 clauses out of 160011 with flag 19970553/3311001
661.87/660.80	c cleaning 80999 clauses out of 162011 with flag 20496913/3393001
687.13/686.15	c cleaning 81995 clauses out of 164011 with flag 21027952/3476000
713.22/712.22	c cleaning 82998 clauses out of 166016 with flag 21586919/3560000
736.38/735.40	c cleaning 84003 clauses out of 168019 with flag 22156745/3645001
761.24/760.31	c cleaning 84999 clauses out of 170015 with flag 22724798/3731000
789.23/788.38	c cleaning 86004 clauses out of 172019 with flag 23342679/3818003
817.09/816.21	c cleaning 86999 clauses out of 174013 with flag 23931433/3906001
844.03/843.27	c cleaning 87995 clauses out of 176013 with flag 24545529/3995000
874.00/873.21	c cleaning 88997 clauses out of 178018 with flag 25207129/4085000
904.26/903.57	c cleaning 90001 clauses out of 180022 with flag 25859901/4176001
932.83/932.18	c cleaning 91004 clauses out of 182020 with flag 26461720/4268000
963.68/963.05	c cleaning 91999 clauses out of 184016 with flag 27063711/4361000
994.02/993.45	c cleaning 93002 clauses out of 186019 with flag 27691531/4455002
1029.76/1029.27	c cleaning 93997 clauses out of 188017 with flag 28312041/4550002
1064.70/1064.20	c cleaning 94997 clauses out of 190019 with flag 28959734/4646001
1095.79/1095.32	c cleaning 96000 clauses out of 192021 with flag 29614364/4743000
1128.84/1128.47	c cleaning 97004 clauses out of 194023 with flag 30315584/4841002
1161.40/1161.03	c cleaning 97998 clauses out of 196017 with flag 30959890/4940000
1209.24/1209.00	c cleaning 98999 clauses out of 198019 with flag 31683066/5040000
1242.19/1242.00	c cleaning 99998 clauses out of 200022 with flag 32357779/5141002
1275.11/1274.83	c cleaning 101004 clauses out of 202024 with flag 33013926/5243002
1310.66/1310.46	c cleaning 102003 clauses out of 204020 with flag 33734324/5346002
1348.60/1348.40	c cleaning 103002 clauses out of 206015 with flag 34419580/5450000
1388.55/1388.05	c cleaning 103998 clauses out of 208013 with flag 35111374/5555000
1431.78/1431.39	c cleaning 104998 clauses out of 210016 with flag 35841987/5661001
1472.21/1471.86	c cleaning 106001 clauses out of 212018 with flag 36588136/5768001
1508.67/1508.34	c cleaning 107000 clauses out of 214016 with flag 37303384/5876000
1551.81/1551.56	c cleaning 107995 clauses out of 216018 with flag 38081650/5985002
1598.47/1598.26	c cleaning 109001 clauses out of 218022 with flag 38829534/6095001
1641.11/1640.97	c cleaning 110002 clauses out of 220020 with flag 39624428/6206000
1688.25/1688.15	c cleaning 111003 clauses out of 222018 with flag 40399084/6318000
1732.57/1732.54	c cleaning 111994 clauses out of 224015 with flag 41142004/6431000
1779.61/1779.68	c cleaning 113005 clauses out of 226024 with flag 41951664/6545003
1827.06/1827.19	c cleaning 113998 clauses out of 228016 with flag 42806814/6660000
1876.10/1876.21	c cleaning 115006 clauses out of 230018 with flag 43682935/6776000
1923.20/1923.37	c cleaning 116000 clauses out of 232013 with flag 44495739/6893001
1972.72/1972.91	c cleaning 116997 clauses out of 234012 with flag 45322609/7011000
2022.09/2022.36	c cleaning 117998 clauses out of 236015 with flag 46212144/7130000
2082.71/2083.02	c cleaning 119000 clauses out of 238019 with flag 47158601/7250002
2138.32/2138.76	c cleaning 119998 clauses out of 240017 with flag 48022265/7371000
2194.56/2195.06	c cleaning 121000 clauses out of 242019 with flag 48937614/7493000
2254.26/2254.82	c cleaning 122006 clauses out of 244019 with flag 49888610/7616000
2312.49/2313.19	c cleaning 123000 clauses out of 246014 with flag 50765583/7740001
2367.89/2368.64	c cleaning 123990 clauses out of 248014 with flag 51708250/7865001
2430.34/2431.13	c cleaning 125002 clauses out of 250023 with flag 52627118/7991000
2492.43/2493.33	c cleaning 126001 clauses out of 252021 with flag 53600931/8118000
2549.08/2550.04	c cleaning 127001 clauses out of 254022 with flag 54555251/8246002
2611.67/2612.74	c cleaning 127997 clauses out of 256020 with flag 55488565/8375001
2672.68/2673.85	c cleaning 129001 clauses out of 258023 with flag 56417410/8505001
2741.74/2742.99	c cleaning 130004 clauses out of 260023 with flag 57369678/8636002
2814.03/2815.37	c cleaning 130997 clauses out of 262017 with flag 58352362/8768000
2877.75/2879.18	c cleaning 132000 clauses out of 264022 with flag 59290746/8901002
2948.27/2949.73	c cleaning 132997 clauses out of 266021 with flag 60267419/9035001
3010.08/3011.60	c cleaning 133999 clauses out of 268024 with flag 61227934/9170001
3080.57/3082.22	c cleaning 135001 clauses out of 270024 with flag 62293652/9306000
3148.34/3150.10	c cleaning 136002 clauses out of 272023 with flag 63256351/9443000
3219.62/3221.48	c cleaning 137008 clauses out of 274021 with flag 64267718/9581000
3281.55/3283.40	c cleaning 137996 clauses out of 276014 with flag 65256455/9720001
3354.16/3356.14	c cleaning 138994 clauses out of 278018 with flag 66329931/9860001
3422.75/3424.81	c cleaning 140003 clauses out of 280023 with flag 67485102/10001000
3504.14/3506.35	c cleaning 141006 clauses out of 282021 with flag 68645121/10143001
3589.02/3591.36	c cleaning 141992 clauses out of 284014 with flag 69690504/10286000
3600.00/3602.32	c timeout
3600.00/3602.32	c starts		: 733
3600.00/3602.33	c conflicts		: 10314494
3600.00/3602.33	c decisions		: 12035297
3600.00/3602.33	c propagations		: 1041229627
3600.00/3602.33	c inspects		: 44047154874
3600.00/3602.33	c shortcuts		: 0
3600.00/3602.33	c learnt literals	: 0
3600.00/3602.33	c learnt binary clauses	: 0
3600.00/3602.33	c learnt ternary clauses	: 15
3600.00/3602.33	c learnt constraints	: 10314494
3600.00/3602.33	c ignored constraints	: 0
3600.00/3602.33	c root simplifications	: 0
3600.00/3602.33	c removed literals (reason simplification)	: 0
3600.00/3602.33	c reason swapping (by a shorter reason)	: 0
3600.00/3602.33	c Calls to reduceDB	: 139
3600.00/3602.33	c Number of update (reduction) of LBD	: 1598446
3600.00/3602.34	c Imported unit clauses	: 0
3600.00/3602.34	c No decision after first conflict	: false
3600.00/3602.34	c number of reductions to clauses (during analyze)	: 0
3600.00/3602.34	c number of learned constraints concerned by reduction	: 0
3600.00/3602.34	c number of learning phase by resolution	: 0
3600.00/3602.34	c number of learning phase by cutting planes	: 0
3600.00/3602.34	c number of rounding to 1 operations	: 0
3600.00/3602.34	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3602.34	c number of reductions of the coefficients by power 2 	: 0
3600.00/3602.34	c number of right shift for reduction by power 2 	: 0
3600.00/3602.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3602.34	c number of ending skipping 	: 0
3600.00/3602.34	c number of internal skipping 	: 0
3600.00/3602.34	c number of derivation steps 	: 0
3600.00/3602.34	c number of skipped derivation steps 	: 0
3600.00/3602.34	c number of remaining unassigned 	: 0
3600.00/3602.34	c number of remaining assigned 	: 0
3600.00/3602.34	c number of falsified literals weakened from reason	: 0
3600.00/3602.34	c number of falsified literals weakened from conflict	: 0
3600.00/3602.34	c time for arithmetic operations	: 0
3600.00/3602.35	c minimum degree of deleted constraints	: null
3600.00/3602.35	c maximum degree of deleted constraints	: null
3600.00/3602.35	c number of deleted constraints	: 0
3600.00/3602.35	c speed (assignments/second)	: 289081.8959701265
3600.00/3602.35	c non guided choices	: 149
3600.16/3602.47	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 170516
3600.16/3602.47	s UNKNOWN
3600.16/3602.47	c Total wall clock time (in seconds): 3602.195

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: 64096 MiB (55282 MiB free)
  memory of node 1: 64473 MiB (59677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451974-1721442103/watcher-4451974-1721442103 -o /tmp/evaluation-result-4451974-1721442103/solver-4451974-1721442103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036503 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451974-1721442103.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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
LinuxStarting watchdog threadi4.18.0-301.1.el8.x86_64
LinuxStarting watchdog threadi4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB

solver pid=1041227, runsolver pid=1041224

[startup+0.100421 s]*
/proc/loadavg: 4.29 4.17 4.18 7/317 1041245
/proc/meminfo: memFree=117683836/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=18975048 memory=55624 CPUtime=0.12 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 6549 0 0 0 9 3 0 0 20 0 18 0 196367396 19430449152 13906 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4743762 13906 5535 1 0 550880 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 5477 0 0 0 6 2 0 0 20 0 18 0 196367396 19430449152 13906 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196367402 19430449152 13906 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=18975048 memory=14698495669638111 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 196367403 19430449152 13906 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55624 KiB

[startup+0.217225 s]*
/proc/loadavg: 4.29 4.17 4.18 5/317 1041245
/proc/meminfo: memFree=117671940/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=18975048 memory=64616 CPUtime=0.26 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 7251 0 0 0 23 3 0 0 20 0 18 0 196367396 19430449152 16154 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4743762 16154 5542 1 0 551438 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 1077936192 5741 0 0 0 16 3 0 0 20 0 18 0 196367396 19430449152 16154 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=18975048 memory=1774770 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196367402 19430449152 16154 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 196367403 19430449152 16154 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64616 KiB

[startup+0.321412 s]*
/proc/loadavg: 4.29 4.17 4.18 7/317 1041245
/proc/meminfo: memFree=117670904/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=18975048 memory=66432 CPUtime=0.42 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 7539 0 0 0 39 3 0 0 20 0 18 0 196367396 19430449152 16608 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4743762 16608 5702 1 0 551608 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=18975048 memory=-7740101692125964645 CPUtime=0.27 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 5883 0 0 0 24 3 0 0 20 0 18 0 196367396 19430449152 16608 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196367402 19430449152 16608 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 196367403 19430449152 16608 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66432 KiB

[startup+0.700409 s]
/proc/loadavg: 4.29 4.17 4.18 7/318 1041246
/proc/meminfo: memFree=117649860/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19041612 memory=88780 CPUtime=1.13 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 9563 0 0 0 108 5 0 0 20 0 19 0 196367396 19498610688 22195 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4760403 22195 5813 1 0 553092 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19041612 memory=5540 CPUtime=0.61 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 5953 0 0 0 58 3 0 0 20 0 19 0 196367396 19498610688 22195 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19041612 memory=12508 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196367402 19498610688 22195 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19041612 memory=279559018963624 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196367403 19498610688 22195 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196367446 19498610688 22195 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88780 KiB

[startup+1.50042 s]
/proc/loadavg: 4.29 4.17 4.18 8/318 1041246
/proc/meminfo: memFree=117641188/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19041612 memory=101184 CPUtime=2.55 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 15405 0 0 0 249 6 0 0 20 0 19 0 196367396 19498610688 25296 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4760403 25296 5844 1 0 554466 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19041612 memory=12508 CPUtime=1.38 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 6949 0 0 0 135 3 0 0 20 0 19 0 196367396 19498610688 25296 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196367402 19498610688 25296 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196367403 19498610688 25296 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19041612 memory=279559018816784 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196367446 19498610688 25296 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101184 KiB

[startup+3.10642 s]
/proc/loadavg: 4.29 4.17 4.18 6/318 1041248
/proc/meminfo: memFree=117607232/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19041612 memory=111540 CPUtime=4.24 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 16014 0 0 0 418 6 0 0 20 0 19 0 196367396 19498610688 27885 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4760403 27885 5844 1 0 554474 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19041612 memory=0 CPUtime=2.97 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 7261 0 0 0 293 4 0 0 20 0 19 0 196367396 19498610688 27885 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19041612 memory=12508 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196367402 19498610688 27885 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196367403 19498610688 27885 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19041612 memory=11420 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196367446 19498610688 27885 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111540 KiB

[startup+6.30027 s]
/proc/loadavg: 4.26 4.17 4.18 7/318 1041380
/proc/meminfo: memFree=117628480/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19041612 memory=127044 CPUtime=7.87 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 16664 0 0 0 780 7 0 0 20 0 19 0 196367396 19498610688 31761 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4760403 31761 5844 1 0 554689 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19041612 memory=12508 CPUtime=6.14 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 7349 0 0 0 610 4 0 0 20 0 19 0 196367396 19498610688 31761 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196367402 19498610688 31761 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19041612 memory=-7163974055829550171 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196367403 19498610688 31761 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19041612 memory=101184 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196367446 19498610688 31761 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 7.87 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127044 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.16 4.18 5/318 1041380
/proc/meminfo: memFree=117577256/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19041612 memory=153800 CPUtime=14.27 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 18832 0 0 0 1419 8 0 0 20 0 19 0 196367396 19498610688 38450 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4760403 38450 5850 1 0 554689 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19041612 memory=127044 CPUtime=12.51 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 8567 0 0 0 1247 4 0 0 20 0 19 0 196367396 19498610688 38450 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196367402 19498610688 38450 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19041612 memory=2264 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 196367403 19498610688 38450 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196367446 19498610688 38450 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 14.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 153800 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 4.15 4.18 5/320 1041385
/proc/meminfo: memFree=117473384/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19108176 memory=181152 CPUtime=27.21 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 23506 0 0 0 2711 10 0 0 20 0 20 0 196367396 19566772224 45288 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4777044 45288 5898 1 0 554978 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19108176 memory=127044 CPUtime=25.24 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 9670 0 0 0 2519 5 0 0 20 0 20 0 196367396 19566772224 45288 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196367402 19566772224 45288 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 196367403 19566772224 45288 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19108176 memory=48488 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196367446 19566772224 45288 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 27.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181152 KiB

[startup+51.1133 s]
/proc/loadavg: 4.31 4.19 4.19 5/320 1041456
/proc/meminfo: memFree=117456636/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19108176 memory=189436 CPUtime=52.79 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 27054 0 0 0 5267 12 0 0 20 0 20 0 196367396 19566772224 47359 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4777044 47359 5898 1 0 554978 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19108176 memory=189432 CPUtime=50.74 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 11175 0 0 0 5069 5 0 0 20 0 20 0 196367396 19566772224 47359 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19108176 memory=12508 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196367402 19566772224 47359 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0

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

[startup+3282.3 s]
/proc/loadavg: 4.22 4.31 4.29 5/317 1043550
/proc/meminfo: memFree=105579676/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3280.45 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 95478 0 0 0 327836 209 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4777044 336653 5898 1 0 558486 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3269.65 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 42450 0 0 0 326950 15 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196367402 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 3089 0 0 0 0 0 0 0 20 0 20 0 196367403 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19108176 memory=12508 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196367446 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 3280.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1346612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.32 4.29 5/317 1043560
/proc/meminfo: memFree=105579320/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3340.37 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 95817 0 0 0 333824 213 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4777044 336653 5898 1 0 558486 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3329.52 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 42635 0 0 0 332937 15 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196367402 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 3173 0 0 0 0 0 0 0 20 0 20 0 196367403 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19108176 memory=21028 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196367446 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 3340.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1346612 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.27 4.28 5/317 1043570
/proc/meminfo: memFree=105566748/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3400.28 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 96494 0 0 0 339813 215 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4777044 336653 5898 1 0 558486 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3389.39 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 43230 0 0 0 338924 15 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196367402 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 3190 0 0 0 0 0 0 0 20 0 20 0 196367403 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19108176 memory=48488 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196367446 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 3400.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1346612 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.25 4.27 5/317 1043582
/proc/meminfo: memFree=105483768/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3460.21 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 97428 0 0 0 345802 219 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4777044 336653 5898 1 0 558486 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3449.1 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 43706 0 0 0 344895 15 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196367402 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 3252 0 0 0 0 0 0 0 20 0 20 0 196367403 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196367446 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 3460.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1346612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.39 4.28 4.28 5/317 1043592
/proc/meminfo: memFree=105483428/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3520.12 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 97882 0 0 0 351790 222 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4777044 336653 5898 1 0 558486 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19108176 memory=48488 CPUtime=3508.97 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 44118 0 0 0 350882 15 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196367402 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 3279 0 0 0 0 0 0 0 20 0 20 0 196367403 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196367446 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 3520.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1346612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.35 4.30 5/319 1043606
/proc/meminfo: memFree=105481208/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3580.03 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 98501 0 0 0 357779 224 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4777044 336653 5898 1 0 558486 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3568.84 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 44570 0 0 0 356869 15 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196367402 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 3393 0 0 0 0 0 0 0 20 0 20 0 196367403 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196367446 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 3580.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1346612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.3 s]
/proc/loadavg: 4.44 4.34 4.30 5/319 1043609
/proc/meminfo: memFree=105129948/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3600 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 98851 0 0 0 359775 225 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4777044 336653 5898 1 0 558486 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=3588.8 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) R 1041224 1041227 1036492 0 -1 4194368 44914 0 0 0 358865 15 0 0 20 0 20 0 196367396 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196367402 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 3393 0 0 0 0 0 0 0 20 0 20 0 196367403 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041246] ppid=1041224 vsize=19108176 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041246/stat : 1041246 (Timer-0) S 1041224 1041227 1036492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196367446 19566772224 336653 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1346612 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.98 s, system=2.27732 s

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

[startup+3602.41 s]
/proc/loadavg: 4.44 4.34 4.30 5/319 1043609
/proc/meminfo: memFree=105129948/131655788 swapFree=131070704/131071996
[pid=1041227] ppid=1041224 vsize=19307868 memory=1347320 CPUtime=3600.16 cores=4,6
/proc/1041227/stat : 1041227 (java) S 1041224 1041227 1036492 0 -1 1077936128 101203 0 0 0 359790 226 0 0 20 0 21 0 196367396 19771256832 336830 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
/proc/1041227/statm: 4826967 336830 5897 1 0 559376 0
[pid=1041227/tid=1041229] ppid=1041224 vsize=19307868 memory=11420 CPUtime=3588.82 cores=4,6
/proc/1041227/task/1041229/stat : 1041229 (java) S 1041224 1041227 1036492 0 -1 1077936192 45160 0 0 0 358867 15 0 0 20 0 21 0 196367396 19771256832 336830 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041238] ppid=1041224 vsize=19307868 memory=1346612 CPUtime=0 cores=4,6
/proc/1041227/task/1041238/stat : 1041238 (Finalizer) S 1041224 1041227 1036492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 196367402 19771256832 336830 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
[pid=1041227/tid=1041245] ppid=1041224 vsize=19307868 memory=48488 CPUtime=0 cores=4,6
/proc/1041227/task/1041245/stat : 1041245 (Common-Cleaner) S 1041224 1041227 1036492 0 -1 1077936192 3393 0 0 0 0 0 0 0 20 0 21 0 196367403 19771256832 336830 134679101440 94280482332672 94280482336368 140729956216224 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280482344184 94280482344976 94280506970112 140729956221957 140729956222047 140729956222047 140729956229064 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1347320 KiB

Child status: 143

Real time (s): 3602.49
CPU time (s): 3600.26
CPU user time (s): 3597.98
CPU system time (s): 2.27732
CPU usage (%): 99.9381
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1347320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.98
system time used= 2.27732
maximum resident set size= 1348080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104312
involuntary context switches= 3035


# summary of solver processes directly reported to runsolver:
#   pid: 1041227
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3597.98
#   total CPU system time (s): 2.27732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6393 second user time and 39.3405 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-20 04:21:55
IDJOB=4451974
IDBENCH=162853
IDSOLVER=3058
FILE ID=nodeC011/4451974-1721442103
RUNJOBID= nodeC011-1721434915-1036503
SLURM_JOB_ID= 7545639
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_32.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451974-1721442103/watcher-4451974-1721442103 -o /tmp/evaluation-result-4451974-1721442103/solver-4451974-1721442103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721434915-1036503 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451974-1721442103.opb

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

MD5SUM BENCH= 821356efb808a668e35dedcee024edbb
RANDOM SEED=1093221037

nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3651.185
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
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		: 3571.265
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.292
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
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.277
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 3491.624
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
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.310
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.126
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.20
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		: 3669.776
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117718936 kB
MemAvailable:   118284972 kB
Buffers:          568208 kB
Cached:           845264 kB
SwapCached:          132 kB
Active:          1086564 kB
Inactive:       12334316 kB
Active(anon):       1436 kB
Inactive(anon): 12051564 kB
Active(file):    1085128 kB
Inactive(file):   282752 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              2144 kB
Writeback:            44 kB
AnonPages:      12007396 kB
Mapped:           126388 kB
Shmem:             45592 kB
KReclaimable:      76708 kB
Slab:             160512 kB
SReclaimable:      76708 kB
SUnreclaim:        83804 kB
KernelStack:        4832 kB
PageTables:        33620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   17172468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11614208 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC011 at 2024-07-20 05:21:58