Trace number 4451602

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 2024 2024-07-07? (TO) 3600.22 3613.4

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v111-n3.opb
MD5SUM620ec95a477f88c30ed47944247286ff
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.208103
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables333
Total number of constraints111
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)111
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4451602-1721840367.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.14/0.15	c ... done. Wall clock time 0.02s.
0.14/0.15	c declared #vars     333
0.14/0.15	c #constraints  222
0.14/0.15	c constraints type 
0.14/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 111
0.14/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 111
0.14/0.15	c 222 constraints processed.
1.69/0.90	c cleaning 2500 clauses out of 5001 with flag 41408/5001
2.69/1.44	c cleaning 4244 clauses out of 8501 with flag 90881/11001
3.80/2.01	c cleaning 5624 clauses out of 11256 with flag 153912/18000
4.49/2.61	c cleaning 6813 clauses out of 13634 with flag 232403/26002
5.39/3.50	c cleaning 7902 clauses out of 15819 with flag 329369/35000
6.56/4.43	c cleaning 8955 clauses out of 17917 with flag 443215/45000
7.86/5.73	c cleaning 9976 clauses out of 19962 with flag 567673/56000
9.08/6.91	c cleaning 10989 clauses out of 21986 with flag 705758/68000
10.09/7.97	c cleaning 11991 clauses out of 23997 with flag 826957/81000
11.50/9.31	c cleaning 12997 clauses out of 26007 with flag 964343/95001
13.15/10.91	c cleaning 13976 clauses out of 28009 with flag 1127606/110000
14.76/12.59	c cleaning 15009 clauses out of 30033 with flag 1316866/126000
17.04/14.75	c cleaning 16009 clauses out of 32025 with flag 1540993/143001
19.31/16.93	c cleaning 17000 clauses out of 34015 with flag 1760230/161000
21.73/19.32	c cleaning 17999 clauses out of 36015 with flag 1974074/180000
23.82/21.48	c cleaning 19003 clauses out of 38018 with flag 2190830/200002
26.42/24.09	c cleaning 19993 clauses out of 40014 with flag 2407703/221001
29.31/26.98	c cleaning 21006 clauses out of 42022 with flag 2641365/243002
32.10/29.74	c cleaning 21996 clauses out of 44014 with flag 2880489/266000
35.50/33.12	c cleaning 23004 clauses out of 46020 with flag 3135154/290002
38.48/36.47	c cleaning 23999 clauses out of 48014 with flag 3386475/315000
41.68/39.63	c cleaning 25004 clauses out of 50017 with flag 3632681/341002
45.36/43.39	c cleaning 25981 clauses out of 52011 with flag 3934260/368000
48.97/46.94	c cleaning 27010 clauses out of 54030 with flag 4231519/396000
52.76/50.79	c cleaning 27991 clauses out of 56021 with flag 4541173/425001
57.27/55.28	c cleaning 29004 clauses out of 58030 with flag 4895367/455001
61.87/59.82	c cleaning 30009 clauses out of 60026 with flag 5252638/486001
66.49/64.64	c cleaning 31007 clauses out of 62017 with flag 5599935/518001
71.04/69.26	c cleaning 31997 clauses out of 64009 with flag 5953911/551000
76.54/74.78	c cleaning 32998 clauses out of 66014 with flag 6338830/585002
81.93/80.11	c cleaning 34001 clauses out of 68015 with flag 6729278/620001
87.72/85.97	c cleaning 35001 clauses out of 70015 with flag 7140544/656002
93.91/92.19	c cleaning 36000 clauses out of 72012 with flag 7618378/693000
100.39/98.83	c cleaning 37000 clauses out of 74013 with flag 8081338/731001
107.02/105.49	c cleaning 38002 clauses out of 76013 with flag 8517592/770001
113.62/112.06	c cleaning 39002 clauses out of 78010 with flag 8985634/810000
120.38/118.84	c cleaning 39996 clauses out of 80008 with flag 9456801/851000
127.64/126.25	c cleaning 41005 clauses out of 82015 with flag 9932744/893003
137.03/135.65	c cleaning 41996 clauses out of 84007 with flag 10482430/936000
144.65/143.20	c cleaning 42997 clauses out of 86011 with flag 11011511/980000
152.73/151.33	c cleaning 43999 clauses out of 88014 with flag 11513721/1025000
161.43/160.19	c cleaning 44991 clauses out of 90015 with flag 12068236/1071000
169.95/168.74	c cleaning 46003 clauses out of 92024 with flag 12596563/1118000
179.05/177.85	c cleaning 47004 clauses out of 94022 with flag 13191765/1166001
187.94/186.71	c cleaning 47996 clauses out of 96018 with flag 13729366/1215001
197.05/196.47	c cleaning 49005 clauses out of 98022 with flag 14308207/1265001
209.44/208.82	c cleaning 50002 clauses out of 100017 with flag 14942345/1316001
223.13/222.75	c cleaning 51000 clauses out of 102014 with flag 15599345/1368000
238.73/238.34	c cleaning 52000 clauses out of 104015 with flag 16294320/1421001
253.01/252.78	c cleaning 52997 clauses out of 106015 with flag 16963962/1475001
269.00/268.73	c cleaning 54003 clauses out of 108018 with flag 17674160/1530001
285.33/285.22	c cleaning 55002 clauses out of 110016 with flag 18463117/1586002
302.43/302.36	c cleaning 56001 clauses out of 112013 with flag 19234061/1643001
315.09/315.39	c cleaning 56998 clauses out of 114011 with flag 19915923/1701000
329.10/329.32	c cleaning 57986 clauses out of 116014 with flag 20610459/1760001
344.60/344.93	c cleaning 58988 clauses out of 118029 with flag 21385530/1820002
359.03/359.34	c cleaning 60013 clauses out of 120039 with flag 22132988/1881000
374.54/374.94	c cleaning 61009 clauses out of 122026 with flag 22948974/1943000
389.76/390.19	c cleaning 61995 clauses out of 124018 with flag 23713180/2006001
407.31/407.84	c cleaning 63002 clauses out of 126022 with flag 24473991/2070000
428.86/429.54	c cleaning 64001 clauses out of 128020 with flag 25294892/2135000
445.07/445.88	c cleaning 65002 clauses out of 130020 with flag 26100388/2201001
467.58/468.50	c cleaning 65998 clauses out of 132018 with flag 26912572/2268001
486.53/487.59	c cleaning 67004 clauses out of 134020 with flag 27764614/2336001
504.56/505.79	c cleaning 68000 clauses out of 136016 with flag 28603130/2405001
522.29/523.40	c cleaning 68998 clauses out of 138015 with flag 29446828/2475000
543.05/544.34	c cleaning 70000 clauses out of 140017 with flag 30318116/2546000
561.86/563.29	c cleaning 71002 clauses out of 142017 with flag 31194650/2618000
580.96/582.35	c cleaning 71996 clauses out of 144015 with flag 32072507/2691000
605.27/606.70	c cleaning 73005 clauses out of 146021 with flag 32994253/2765002
628.46/629.91	c cleaning 74005 clauses out of 148016 with flag 33983068/2840002
650.25/651.89	c cleaning 74999 clauses out of 150009 with flag 34926596/2916000
671.15/672.71	c cleaning 75999 clauses out of 152010 with flag 35862516/2993000
693.63/695.58	c cleaning 76998 clauses out of 154011 with flag 36862673/3071000
714.34/716.42	c cleaning 77998 clauses out of 156013 with flag 37827065/3150000
739.07/741.28	c cleaning 79000 clauses out of 158015 with flag 38792421/3230000
763.29/765.49	c cleaning 80001 clauses out of 160017 with flag 39812407/3311002
787.31/789.78	c cleaning 81003 clauses out of 162014 with flag 40840206/3393000
811.89/814.53	c cleaning 81998 clauses out of 164011 with flag 41887813/3476000
837.83/840.56	c cleaning 83003 clauses out of 166013 with flag 42923982/3560000
865.40/868.26	c cleaning 83996 clauses out of 168012 with flag 43976927/3645002
892.00/894.89	c cleaning 85003 clauses out of 170014 with flag 45047612/3731000
919.71/922.54	c cleaning 86002 clauses out of 172014 with flag 46162318/3818003
946.44/949.44	c cleaning 87000 clauses out of 174010 with flag 47263794/3906001
974.56/977.63	c cleaning 88003 clauses out of 176009 with flag 48421028/3995000
1005.03/1008.18	c cleaning 88998 clauses out of 178006 with flag 49602448/4085000
1034.53/1037.98	c cleaning 89994 clauses out of 180008 with flag 50780641/4176000
1063.31/1066.82	c cleaning 91003 clauses out of 182014 with flag 51929575/4268000
1094.18/1097.82	c cleaning 92002 clauses out of 184012 with flag 53111543/4361001
1126.00/1129.79	c cleaning 92998 clauses out of 186009 with flag 54317494/4455000
1156.62/1160.40	c cleaning 94001 clauses out of 188015 with flag 55500122/4550004
1189.51/1193.44	c cleaning 94999 clauses out of 190010 with flag 56768066/4646000
1221.72/1225.78	c cleaning 95998 clauses out of 192012 with flag 58016459/4743001
1253.95/1258.12	c cleaning 97001 clauses out of 194014 with flag 59237798/4841001
1285.63/1289.97	c cleaning 98000 clauses out of 196014 with flag 60491686/4940002
1324.40/1331.03	c cleaning 99000 clauses out of 198013 with flag 61822235/5040001
1362.00/1368.77	c cleaning 99997 clauses out of 200012 with flag 63183994/5141000
1395.16/1401.85	c cleaning 101003 clauses out of 202016 with flag 64475276/5243001
1432.20/1439.11	c cleaning 101996 clauses out of 204012 with flag 65820266/5346000
1472.29/1479.43	c cleaning 103006 clauses out of 206019 with flag 67183074/5450003
1512.10/1519.57	c cleaning 104002 clauses out of 208013 with flag 68593227/5555003
1552.50/1560.01	c cleaning 104998 clauses out of 210008 with flag 70017689/5661000
1594.19/1601.82	c cleaning 106000 clauses out of 212010 with flag 71403870/5768000
1642.37/1650.18	c cleaning 106998 clauses out of 214010 with flag 72856071/5876000
1690.28/1698.11	c cleaning 107980 clauses out of 216013 with flag 74419652/5985001
1733.33/1741.31	c cleaning 109014 clauses out of 218032 with flag 75904445/6095000
1781.52/1789.69	c cleaning 110004 clauses out of 220019 with flag 77454928/6206001
1828.57/1836.90	c cleaning 111001 clauses out of 222014 with flag 78936448/6318000
1875.56/1884.12	c cleaning 112001 clauses out of 224018 with flag 80455970/6431005
1921.94/1930.67	c cleaning 113001 clauses out of 226012 with flag 81984303/6545000
1974.52/1983.30	c cleaning 114001 clauses out of 228011 with flag 83603072/6660000
2028.40/2037.35	c cleaning 114993 clauses out of 230010 with flag 85231774/6776000
2076.40/2085.44	c cleaning 116006 clauses out of 232021 with flag 86797047/6893004
2126.64/2135.90	c cleaning 117001 clauses out of 234011 with flag 88398437/7011000
2175.46/2184.93	c cleaning 118001 clauses out of 236012 with flag 89981148/7130002
2226.97/2236.59	c cleaning 118969 clauses out of 238009 with flag 91613155/7250000
2283.31/2293.00	c cleaning 120014 clauses out of 240040 with flag 93277117/7371000
2334.71/2344.48	c cleaning 121010 clauses out of 242027 with flag 94889700/7493001
2422.15/2432.05	c cleaning 122005 clauses out of 244019 with flag 96580132/7616003
2474.71/2484.68	c cleaning 122995 clauses out of 246011 with flag 98249611/7740000
2528.94/2539.02	c cleaning 124003 clauses out of 248019 with flag 99936956/7865003
2585.67/2596.52	c cleaning 125000 clauses out of 250014 with flag 101636770/7991001
2644.14/2655.12	c cleaning 126002 clauses out of 252014 with flag 103362752/8118001
2705.55/2716.62	c cleaning 126998 clauses out of 254012 with flag 105086684/8246001
2767.71/2779.20	c cleaning 127997 clauses out of 256013 with flag 106879929/8375000
2824.17/2835.71	c cleaning 129000 clauses out of 258016 with flag 108589231/8505000
2885.75/2897.41	c cleaning 129998 clauses out of 260017 with flag 110387617/8636001
2958.14/2969.97	c cleaning 130998 clauses out of 262018 with flag 112247254/8768000
3028.52/3040.49	c cleaning 132003 clauses out of 264020 with flag 114127174/8901000
3088.45/3100.50	c cleaning 133002 clauses out of 266017 with flag 115891639/9035000
3146.62/3159.13	c cleaning 134003 clauses out of 268017 with flag 117647431/9170002
3212.75/3225.25	c cleaning 135002 clauses out of 270013 with flag 119456423/9306001
3275.36/3287.95	c cleaning 136002 clauses out of 272011 with flag 121245597/9443001
3337.94/3350.62	c cleaning 136998 clauses out of 274008 with flag 123100813/9581000
3406.94/3419.81	c cleaning 137998 clauses out of 276010 with flag 125012561/9720000
3478.54/3491.51	c cleaning 139003 clauses out of 278014 with flag 126890613/9860002
3535.22/3548.34	c cleaning 140003 clauses out of 280010 with flag 128720125/10001001
3600.08/3613.31	c starts		: 13260
3600.08/3613.31	c timeout
3600.08/3613.31	c conflicts		: 10140230
3600.08/3613.31	c decisions		: 12873261
3600.08/3613.31	c propagations		: 247465568
3600.08/3613.31	c inspects		: 47991458854
3600.08/3613.31	c shortcuts		: 0
3600.08/3613.31	c learnt literals	: 0
3600.08/3613.31	c learnt binary clauses	: 0
3600.08/3613.31	c learnt ternary clauses	: 0
3600.08/3613.31	c learnt constraints	: 10140230
3600.08/3613.31	c ignored constraints	: 0
3600.08/3613.31	c root simplifications	: 0
3600.08/3613.31	c removed literals (reason simplification)	: 114054720
3600.08/3613.31	c reason swapping (by a shorter reason)	: 0
3600.08/3613.31	c Calls to reduceDB	: 137
3600.08/3613.31	c Number of update (reduction) of LBD	: 2853221
3600.08/3613.31	c Imported unit clauses	: 0
3600.08/3613.31	c No decision after first conflict	: false
3600.08/3613.31	c number of reductions to clauses (during analyze)	: 0
3600.08/3613.31	c number of learned constraints concerned by reduction	: 0
3600.08/3613.31	c number of learning phase by resolution	: 0
3600.08/3613.31	c number of learning phase by cutting planes	: 0
3600.08/3613.31	c number of rounding to 1 operations	: 0
3600.08/3613.31	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3613.31	c number of reductions of the coefficients by power 2 	: 0
3600.08/3613.31	c number of right shift for reduction by power 2 	: 0
3600.08/3613.31	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3613.31	c number of ending skipping 	: 0
3600.08/3613.31	c number of internal skipping 	: 0
3600.08/3613.31	c number of derivation steps 	: 0
3600.08/3613.31	c number of skipped derivation steps 	: 0
3600.08/3613.31	c number of remaining unassigned 	: 0
3600.08/3613.31	c number of remaining assigned 	: 0
3600.08/3613.31	c number of falsified literals weakened from reason	: 0
3600.08/3613.31	c number of falsified literals weakened from conflict	: 0
3600.08/3613.32	c time for arithmetic operations	: 0
3600.08/3613.32	c minimum degree of deleted constraints	: null
3600.08/3613.32	c maximum degree of deleted constraints	: null
3600.08/3613.32	c number of deleted constraints	: 0
3600.08/3613.32	c speed (assignments/second)	: 68489.93362332824
3600.08/3613.32	c non guided choices	: 237
3600.08/3613.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 279236
3600.08/3613.38	s UNKNOWN
3600.08/3613.38	c Total wall clock time (in seconds): 3613.257

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: 63968 MiB (54022 MiB free)
  memory of node 1: 64473 MiB (56362 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451602-1721840367/watcher-4451602-1721840367 -o /tmp/evaluation-result-4451602-1721840367/solver-4451602-1721840367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250671 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451602-1721840367 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451602-1721840367.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=251522, runsolver pid=251519

[startup+0.100708 s]*
/proc/loadavg: 3.99 3.88 4.00 7/338 251540
/proc/meminfo: memFree=112990420/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=18975048 memory=64952 CPUtime=0.14 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 7248 0 0 0 12 2 0 0 20 0 18 0 20559724 19430449152 16238 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4743762 16238 5564 1 0 549373 0
[pid=251522/tid=251524] ppid=251519 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 1078198336 5766 0 0 0 7 1 0 0 20 0 18 0 20559725 19430449152 16238 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20559727 19430449152 16238 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20559728 19430449152 16238 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64952 KiB

[startup+0.205993 s]*
/proc/loadavg: 3.99 3.88 4.00 7/339 251541
/proc/meminfo: memFree=112982308/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19041916 memory=73192 CPUtime=0.33 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 8183 0 0 0 31 2 0 0 20 0 19 0 20559724 19498921984 18298 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4760479 18298 5833 1 0 550281 0
[pid=251522/tid=251524] ppid=251519 vsize=19041916 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 5993 0 0 0 16 2 0 0 20 0 19 0 20559725 19498921984 18363 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19041916 memory=770575 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20559727 19498921984 18363 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19041916 memory=15816698926204594 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20559728 19498921984 18363 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19041916 memory=0 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20559740 19498921984 18363 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041916 KiB
Current children cumulated memory: 73192 KiB

[startup+0.305994 s]*
/proc/loadavg: 3.99 3.88 4.00 7/339 251541
/proc/meminfo: memFree=112964364/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19041612 memory=90728 CPUtime=0.52 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 10452 0 0 0 49 3 0 0 20 0 19 0 20559724 19498610688 22682 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4760403 22682 5835 1 0 551481 0
[pid=251522/tid=251524] ppid=251519 vsize=19041612 memory=-8528803306336395964 CPUtime=0.27 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 6020 0 0 0 25 2 0 0 20 0 19 0 20559725 19498610688 22682 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20559727 19498610688 22682 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20559728 19498610688 22682 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20559740 19498610688 22682 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90728 KiB

[startup+0.700995 s]
/proc/loadavg: 3.99 3.88 4.00 7/339 251541
/proc/meminfo: memFree=112930900/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19041612 memory=162500 CPUtime=1.29 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 12377 0 0 0 124 5 0 0 20 0 19 0 20559724 19498610688 40625 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4760403 40625 5867 1 0 552816 0
[pid=251522/tid=251524] ppid=251519 vsize=19041612 memory=72092 CPUtime=0.65 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 6068 0 0 0 61 4 0 0 20 0 19 0 20559725 19498610688 40625 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19041612 memory=12264 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20559727 19498610688 40625 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20559728 19498610688 40625 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19041612 memory=25948 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20559740 19498610688 40625 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162500 KiB

[startup+1.50701 s]
/proc/loadavg: 3.99 3.88 4.00 6/340 251542
/proc/meminfo: memFree=112874560/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=179216 CPUtime=2.89 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 20602 0 0 0 281 8 0 0 20 0 20 0 20559724 19566772224 44804 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 44804 5899 1 0 554510 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=12264 CPUtime=1.42 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 6543 0 0 0 137 5 0 0 20 0 20 0 20559725 19566772224 44804 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 44804 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 44804 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=25948 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 44804 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179216 KiB

[startup+3.10599 s]
/proc/loadavg: 3.99 3.88 4.00 5/340 251542
/proc/meminfo: memFree=112742116/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=304876 CPUtime=5.09 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 22600 0 0 0 497 12 0 0 20 0 20 0 20559724 19566772224 76219 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 76219 5899 1 0 554532 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=0 CPUtime=2.99 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 7010 0 0 0 290 9 0 0 20 0 20 0 20559725 19566772224 76219 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=-8528803306336395964 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 76219 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 76219 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 76219 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 304876 KiB

[startup+6.30025 s]
/proc/loadavg: 3.99 3.88 4.00 5/340 251544
/proc/meminfo: memFree=112291336/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=704464 CPUtime=8.46 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 23132 0 0 0 823 23 0 0 20 0 20 0 20559724 19566772224 176116 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 176116 5899 1 0 554533 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=2248 CPUtime=6.15 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 7444 0 0 0 596 19 0 0 20 0 20 0 20559725 19566772224 176116 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 176116 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 176116 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 176116 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 8.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 704464 KiB

[startup+12.7003 s]
/proc/loadavg: 3.99 3.88 4.00 5/340 251544
/proc/meminfo: memFree=111630308/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=1304812 CPUtime=15.04 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 29314 0 0 0 1464 40 0 0 20 0 20 0 20559724 19566772224 326203 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 326203 5899 1 0 554549 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=12264 CPUtime=12.52 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 8924 0 0 0 1217 35 0 0 20 0 20 0 20559725 19566772224 326203 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=913520 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 326203 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=72092 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 326203 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 326203 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 15.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1304812 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 3.92 4.01 5/340 251545
/proc/meminfo: memFree=111508568/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=1315820 CPUtime=27.91 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 33247 0 0 0 2741 50 0 0 20 0 20 0 20559724 19566772224 328955 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 328955 5899 1 0 554549 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=6943526294502006880 CPUtime=25.27 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 10175 0 0 0 2482 45 0 0 20 0 20 0 20559725 19566772224 328955 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 328955 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=3564 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 328955 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 328955 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 27.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1315820 KiB

[startup+51.106 s]
/proc/loadavg: 4.15 3.94 4.01 5/340 251550
/proc/meminfo: memFree=111287996/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=1326080 CPUtime=53.17 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 39007 0 0 0 5251 66 0 0 20 0 20 0 20559724 19566772224 331520 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 331520 5899 1 0 554549 0

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

/proc/meminfo: memFree=94441084/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2180356 CPUtime=3269.77 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 198309 0 0 0 325975 1002 0 0 20 0 20 0 20559724 19566772224 545089 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 545089 5914 1 0 556894 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=11616 CPUtime=3251.87 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 89051 0 0 0 324299 888 0 0 20 0 20 0 20559725 19566772224 545089 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1128 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=2180340 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 545089 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=-8528803306336395964 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 4706 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 545089 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=2180340 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 545089 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 3269.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180356 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.10 6/336 252927
/proc/meminfo: memFree=94226828/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2180360 CPUtime=3329.65 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 200659 0 0 0 331948 1017 0 0 20 0 20 0 20559724 19566772224 545090 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 545090 5914 1 0 556894 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=72196 CPUtime=3311.56 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 89948 0 0 0 330255 901 0 0 20 0 20 0 20559725 19566772224 545090 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1135 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=2180360 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 545090 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=2180360 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 4803 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 545090 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 545090 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 3329.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180360 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.11 6/337 253321
/proc/meminfo: memFree=94031152/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2180364 CPUtime=3389.5 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 202710 0 0 0 337917 1033 0 0 20 0 20 0 20559724 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 545091 5914 1 0 556894 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=2180360 CPUtime=3371.26 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 91234 0 0 0 336211 915 0 0 20 0 20 0 20559725 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1142 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=-8528803306336395964 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=2180364 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 4900 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=-8528803306336395964 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 3389.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180364 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.10 6/337 253336
/proc/meminfo: memFree=93830400/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2180364 CPUtime=3449.36 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 204864 0 0 0 343888 1048 0 0 20 0 20 0 20559724 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 545091 5914 1 0 556894 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=2180360 CPUtime=3430.96 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 92687 0 0 0 342168 928 0 0 20 0 20 0 20559725 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1149 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=-8528803306336395964 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 4990 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=2180364 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 545091 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 3449.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.10 6/337 253415
/proc/meminfo: memFree=97326112/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2180380 CPUtime=3509.27 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 207119 0 0 0 349865 1062 0 0 20 0 20 0 20559724 19566772224 545095 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 545095 5914 1 0 556894 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=2180364 CPUtime=3490.61 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 94170 0 0 0 348122 939 0 0 20 0 20 0 20559725 19566772224 545095 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1156 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=2180364 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 545095 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 5101 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 545095 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=2180380 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 545095 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 3509.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180380 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/338 253595
/proc/meminfo: memFree=96965272/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2180416 CPUtime=3569.13 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 209430 0 0 0 355838 1075 0 0 20 0 20 0 20559724 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 545104 5914 1 0 556894 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=2180416 CPUtime=3550.27 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 95514 0 0 0 354077 950 0 0 20 0 20 0 20559725 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1164 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=2180380 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=25948 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 5201 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 3569.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/338 253600
/proc/meminfo: memFree=96811228/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2180416 CPUtime=3600.08 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 210472 0 0 0 358928 1080 0 0 20 0 20 0 20559724 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 545104 5914 1 0 556894 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=2180416 CPUtime=3581.11 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 96320 0 0 0 357156 955 0 0 20 0 20 0 20559725 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1167 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 5300 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=2180416 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180416 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.39 s, system=10.8238 s

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

[startup+3613.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/338 253600
/proc/meminfo: memFree=96811228/131524600 swapFree=131071728/131071996
[pid=251522] ppid=251519 vsize=19108176 memory=2180416 CPUtime=3600.08 cores=5,7
/proc/251522/stat : 251522 (java) S 251519 251522 250658 0 -1 1077936128 210472 0 0 0 358928 1080 0 0 20 0 20 0 20559724 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
/proc/251522/statm: 4777044 545104 5914 1 0 556894 0
[pid=251522/tid=251524] ppid=251519 vsize=19108176 memory=2180416 CPUtime=3581.11 cores=5,7
/proc/251522/task/251524/stat : 251524 (java) R 251519 251522 250658 0 -1 4194368 96320 0 0 0 357156 955 0 0 20 0 20 0 20559725 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1167 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251533] ppid=251519 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/251522/task/251533/stat : 251533 (Finalizer) S 251519 251522 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20559727 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251540] ppid=251519 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/251522/task/251540/stat : 251540 (Common-Cleaner) S 251519 251522 250658 0 -1 1077936192 5300 0 0 0 0 0 0 0 20 0 20 0 20559728 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
[pid=251522/tid=251541] ppid=251519 vsize=19108176 memory=2180416 CPUtime=0 cores=5,7
/proc/251522/task/251541/stat : 251541 (Timer-0) S 251519 251522 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20559740 19566772224 545104 134679101440 94764305260544 94764305264240 140736058418992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94764305272056 94764305272848 94764338065408 140736058426283 140736058426465 140736058426465 140736058433480 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180416 KiB

Child status: 143

Real time (s): 3613.4
CPU time (s): 3600.22
CPU user time (s): 3589.39
CPU system time (s): 10.8238
CPU usage (%): 99.6352
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2180416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.39
system time used= 10.8238
maximum resident set size= 2181124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213402
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11059912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113288
involuntary context switches= 9542


# summary of solver processes directly reported to runsolver:
#   pid: 251522
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3589.39
#   total CPU system time (s): 10.8238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72168 second user time and 18.7483 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-24 18:59:27
IDJOB=4451602
IDBENCH=162589
IDSOLVER=3079
FILE ID=nodeC024/4451602-1721840367
RUNJOBID= nodeC024-1721840221-250671
SLURM_JOB_ID= 7891548
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v111-n3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451602-1721840367/watcher-4451602-1721840367 -o /tmp/evaluation-result-4451602-1721840367/solver-4451602-1721840367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250671 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451602-1721840367 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451602-1721840367.opb

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

MD5SUM BENCH= 620ec95a477f88c30ed47944247286ff
RANDOM SEED=2061877072

nodeC024.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	: 0xb00002a
cpu MHz		: 3600.503
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.87
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		: 3681.620
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
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		: 3668.708
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.87
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		: 3631.950
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
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		: 3668.724
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.87
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		: 3641.295
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.295
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.87
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		: 3654.349
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113035416 kB
MemAvailable:   125560124 kB
Buffers:          265452 kB
Cached:         13018660 kB
SwapCached:           92 kB
Active:          2669352 kB
Inactive:       15055564 kB
Active(anon):       1556 kB
Inactive(anon):  4493648 kB
Active(file):    2667796 kB
Inactive(file): 10561916 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             69904 kB
Writeback:             0 kB
AnonPages:       4440492 kB
Mapped:           138820 kB
Shmem:             54012 kB
KReclaimable:     269640 kB
Slab:             395696 kB
SReclaimable:     269640 kB
SUnreclaim:       126056 kB
KernelStack:        5168 kB
PageTables:        18896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7433136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4173824 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:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC024 at 2024-07-24 19:59:41