Trace number 4432352

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07OPT5852 190.125 187.817

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
MD5SUM6d71ac2e6bad2e9d7243db6e8fb68322
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5852
Best CPU time to get the best result obtained on this benchmark0.027323
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables136
Total number of constraints144
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 136
Biggest coefficient in the objective function 1311
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 58669
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 1311
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 58669
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
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.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- 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@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f 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 No 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-4432352-1721106818.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.14/0.14	c ... done. Wall clock time 0.022s.
0.14/0.14	c declared #vars     136
0.14/0.14	c #constraints  160
0.14/0.14	c constraints type 
0.14/0.14	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 128
0.14/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 16
0.14/0.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16
0.14/0.14	c 160 constraints processed.
0.14/0.15	c objective function length is 136 literals
0.14/0.15	c SATISFIABLE
0.14/0.15	c OPTIMIZING...
0.14/0.15	c Got one! Elapsed wall clock time (in seconds):0.038
0.14/0.15	o 6036
0.14/0.18	c Got one! Elapsed wall clock time (in seconds):0.064
0.14/0.18	o 6008
0.14/0.18	c Got one! Elapsed wall clock time (in seconds):0.065
0.14/0.18	o 5929
0.53/0.36	c cleaning 2633 clauses out of 5271 with flag 10067/5271
0.53/0.37	c Got one! Elapsed wall clock time (in seconds):0.249
0.53/0.37	o 5917
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.266
0.53/0.38	o 5911
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.267
0.53/0.38	o 5852
0.92/0.53	c cleaning 4450 clauses out of 8913 with flag 10091/11546
1.10/0.69	c cleaning 5224 clauses out of 10462 with flag 22184/17545
1.69/0.93	c cleaning 6109 clauses out of 12238 with flag 36285/24545
1.90/1.07	c cleaning 7057 clauses out of 14129 with flag 52439/32545
2.10/1.19	c cleaning 8028 clauses out of 16072 with flag 70595/41545
2.45/1.33	c cleaning 9013 clauses out of 18044 with flag 90787/51545
2.55/1.47	c cleaning 10006 clauses out of 20032 with flag 113030/62546
2.75/1.62	c cleaning 11004 clauses out of 22025 with flag 137235/74545
2.96/1.80	c cleaning 12008 clauses out of 24022 with flag 163554/87546
3.16/2.01	c cleaning 12994 clauses out of 26015 with flag 191862/101547
3.39/2.30	c cleaning 14001 clauses out of 28020 with flag 222599/116546
3.79/2.54	c cleaning 15009 clauses out of 30018 with flag 256718/132545
4.12/2.80	c cleaning 16006 clauses out of 32012 with flag 295658/149548
4.52/3.11	c cleaning 17002 clauses out of 34004 with flag 336612/167546
4.72/3.39	c cleaning 18001 clauses out of 36002 with flag 378304/186546
5.12/3.76	c cleaning 18997 clauses out of 38000 with flag 424764/206545
5.52/4.15	c cleaning 20001 clauses out of 40003 with flag 472237/227545
5.81/4.48	c cleaning 20993 clauses out of 42004 with flag 519563/249547
6.21/4.82	c cleaning 22003 clauses out of 44009 with flag 568900/272545
6.68/5.20	c cleaning 22998 clauses out of 46006 with flag 621486/296545
6.97/5.50	c cleaning 24005 clauses out of 48010 with flag 673282/321547
7.27/5.82	c cleaning 25000 clauses out of 50004 with flag 726575/347546
7.67/6.20	c cleaning 25999 clauses out of 52004 with flag 781364/374546
8.18/6.70	c cleaning 27000 clauses out of 54004 with flag 842446/402545
8.59/7.18	c cleaning 28000 clauses out of 56006 with flag 906333/431547
9.19/7.72	c cleaning 29002 clauses out of 58005 with flag 975342/461546
9.70/8.29	c cleaning 30000 clauses out of 60002 with flag 1048256/492545
10.19/8.77	c cleaning 30996 clauses out of 62003 with flag 1118190/524546
10.79/9.35	c cleaning 32000 clauses out of 64006 with flag 1196177/557545
11.50/10.02	c cleaning 32999 clauses out of 66008 with flag 1284104/591547
12.19/10.72	c cleaning 33996 clauses out of 68008 with flag 1373806/626546
12.89/11.48	c cleaning 35001 clauses out of 70011 with flag 1464926/662545
13.65/12.16	c cleaning 35999 clauses out of 72010 with flag 1550882/699545
14.35/12.89	c cleaning 36999 clauses out of 74011 with flag 1640383/737545
15.34/13.87	c cleaning 37996 clauses out of 76012 with flag 1732253/776545
16.34/14.88	c cleaning 39000 clauses out of 78016 with flag 1831933/816545
17.37/15.87	c cleaning 40004 clauses out of 80016 with flag 1927525/857545
18.37/16.87	c cleaning 41000 clauses out of 82013 with flag 2027591/899546
19.47/17.91	c cleaning 41995 clauses out of 84012 with flag 2131328/942545
20.47/18.92	c cleaning 43005 clauses out of 86017 with flag 2242039/986545
21.46/19.94	c cleaning 44005 clauses out of 88014 with flag 2350878/1031547
22.36/20.89	c cleaning 45001 clauses out of 90008 with flag 2460501/1077546
23.26/21.79	c cleaning 46000 clauses out of 92007 with flag 2562815/1124546
24.78/22.92	c cleaning 47002 clauses out of 94006 with flag 2668720/1172545
25.68/23.88	c cleaning 48001 clauses out of 96004 with flag 2774861/1221545
26.83/24.88	c cleaning 49000 clauses out of 98003 with flag 2884076/1271545
27.89/25.80	c cleaning 49998 clauses out of 100003 with flag 2995076/1322545
28.99/26.99	c cleaning 50998 clauses out of 102005 with flag 3105609/1374545
30.40/28.34	c cleaning 51999 clauses out of 104009 with flag 3226172/1427547
31.90/29.86	c cleaning 52999 clauses out of 106009 with flag 3352281/1481546
33.60/31.55	c cleaning 53999 clauses out of 108009 with flag 3492758/1536545
35.10/33.04	c cleaning 55000 clauses out of 110010 with flag 3623509/1592545
36.30/34.21	c cleaning 55998 clauses out of 112012 with flag 3752436/1649547
37.79/35.76	c cleaning 57001 clauses out of 114013 with flag 3893833/1707546
39.49/37.46	c cleaning 57998 clauses out of 116012 with flag 4039357/1766546
40.99/38.99	c cleaning 58996 clauses out of 118013 with flag 4186741/1826545
42.69/40.64	c cleaning 59999 clauses out of 120017 with flag 4337860/1887545
44.39/42.33	c cleaning 61005 clauses out of 122019 with flag 4482668/1949546
45.90/43.82	c cleaning 62006 clauses out of 124013 with flag 4628146/2012545
47.50/45.45	c cleaning 62997 clauses out of 126008 with flag 4777058/2076546
49.10/47.01	c cleaning 63997 clauses out of 128010 with flag 4927416/2141545
50.79/48.74	c cleaning 65005 clauses out of 130013 with flag 5081362/2207545
52.42/50.31	c cleaning 66000 clauses out of 132009 with flag 5232994/2274546
54.23/52.11	c cleaning 66992 clauses out of 134008 with flag 5386299/2342545
56.61/54.51	c cleaning 68000 clauses out of 136016 with flag 5554747/2411545
58.41/56.31	c cleaning 68998 clauses out of 138016 with flag 5713335/2481545
60.32/58.28	c cleaning 70002 clauses out of 140019 with flag 5886523/2552546
62.61/60.50	c cleaning 71002 clauses out of 142016 with flag 6066726/2624545
64.51/62.40	c cleaning 72004 clauses out of 144014 with flag 6243270/2697545
66.51/64.48	c cleaning 73004 clauses out of 146011 with flag 6415698/2771546
68.63/66.57	c cleaning 73994 clauses out of 148007 with flag 6584033/2846546
70.43/68.39	c cleaning 75001 clauses out of 150012 with flag 6757851/2922545
72.73/70.66	c cleaning 75998 clauses out of 152012 with flag 6936947/2999546
75.02/72.90	c cleaning 77007 clauses out of 154013 with flag 7112652/3077545
77.24/75.18	c cleaning 77995 clauses out of 156006 with flag 7296960/3156545
79.43/77.35	c cleaning 79005 clauses out of 158013 with flag 7478219/3236547
81.62/79.50	c cleaning 79995 clauses out of 160006 with flag 7669285/3317545
83.95/81.80	c cleaning 80998 clauses out of 162011 with flag 7866879/3399545
86.25/84.11	c cleaning 82003 clauses out of 164014 with flag 8055674/3482546
88.44/86.39	c cleaning 82999 clauses out of 166012 with flag 8246085/3566547
90.44/88.33	c cleaning 84004 clauses out of 168012 with flag 8436523/3651546
92.43/90.32	c cleaning 84996 clauses out of 170008 with flag 8624142/3737546
94.35/92.23	c cleaning 86000 clauses out of 172012 with flag 8809718/3824546
96.26/94.12	c cleaning 86994 clauses out of 174011 with flag 8997376/3912545
98.55/96.36	c cleaning 88005 clauses out of 176017 with flag 9198074/4001545
100.96/98.75	c cleaning 88997 clauses out of 178014 with flag 9400221/4091547
103.15/100.90	c cleaning 90006 clauses out of 180015 with flag 9601533/4182545
106.25/104.04	c cleaning 90994 clauses out of 182009 with flag 9814928/4274545
108.84/106.68	c cleaning 91998 clauses out of 184015 with flag 10048008/4367545
111.73/109.52	c cleaning 93008 clauses out of 186018 with flag 10253614/4461546
114.36/112.16	c cleaning 94000 clauses out of 188012 with flag 10465734/4556548
116.85/114.64	c cleaning 94999 clauses out of 190010 with flag 10678768/4652546
119.30/117.03	c cleaning 96001 clauses out of 192011 with flag 10886440/4749547
122.04/119.74	c cleaning 97002 clauses out of 194008 with flag 11113138/4847545
124.64/122.35	c cleaning 97995 clauses out of 196006 with flag 11324934/4946545
127.13/124.88	c cleaning 99000 clauses out of 198011 with flag 11553800/5046545
129.52/127.13	c cleaning 99996 clauses out of 200011 with flag 11773393/5147545
132.51/130.10	c cleaning 101000 clauses out of 202016 with flag 12009359/5249546
135.51/133.13	c cleaning 102005 clauses out of 204015 with flag 12258135/5352545
138.51/136.14	c cleaning 102998 clauses out of 206010 with flag 12492890/5456545
141.34/138.90	c cleaning 103999 clauses out of 208012 with flag 12720486/5561545
144.24/141.84	c cleaning 105001 clauses out of 210013 with flag 12943912/5667545
147.33/144.94	c cleaning 105997 clauses out of 212012 with flag 13178854/5774545
150.33/147.97	c cleaning 107003 clauses out of 214015 with flag 13412607/5882545
153.52/151.12	c cleaning 108001 clauses out of 216012 with flag 13657785/5991545
157.01/154.69	c cleaning 109001 clauses out of 218012 with flag 13899260/6101546
160.20/157.89	c cleaning 110001 clauses out of 220011 with flag 14135064/6212546
162.99/160.67	c cleaning 111002 clauses out of 222009 with flag 14384001/6324545
166.28/163.95	c cleaning 112003 clauses out of 224009 with flag 14625178/6437547
169.25/166.90	c cleaning 112994 clauses out of 226004 with flag 14875203/6551546
172.13/169.80	c cleaning 114001 clauses out of 228009 with flag 15116345/6666545
175.11/172.83	c cleaning 115001 clauses out of 230009 with flag 15364017/6782546
178.08/175.85	c cleaning 116004 clauses out of 232008 with flag 15606280/6899546
181.32/179.04	c cleaning 116998 clauses out of 234003 with flag 15853248/7017546
184.22/181.90	c cleaning 117999 clauses out of 236002 with flag 16105322/7136546
187.40/185.13	c cleaning 119000 clauses out of 238001 with flag 16355856/7256545
189.98/187.79	c starts		: 4025
190.10/187.80	c conflicts		: 7349658
190.10/187.80	c decisions		: 9481327
190.10/187.80	c propagations		: 85463502
190.10/187.80	c inspects		: 1589057562
190.10/187.80	c shortcuts		: 0
190.10/187.80	c learnt literals	: 20
190.10/187.80	c learnt binary clauses	: 14
190.10/187.80	c learnt ternary clauses	: 24
190.10/187.80	c learnt constraints	: 7349637
190.10/187.80	c ignored constraints	: 0
190.10/187.80	c root simplifications	: 0
190.10/187.80	c removed literals (reason simplification)	: 0
190.10/187.80	c reason swapping (by a shorter reason)	: 0
190.10/187.80	c Calls to reduceDB	: 117
190.10/187.80	c Number of update (reduction) of LBD	: 459121
190.10/187.80	c Imported unit clauses	: 0
190.10/187.80	c No decision after first conflict	: false
190.10/187.80	c number of reductions to clauses (during analyze)	: 0
190.10/187.80	c number of learned constraints concerned by reduction	: 0
190.10/187.80	c number of learning phase by resolution	: 0
190.10/187.80	c number of learning phase by cutting planes	: 0
190.10/187.80	c number of rounding to 1 operations	: 0
190.10/187.80	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
190.10/187.80	c number of reductions of the coefficients by power 2 	: 0
190.10/187.80	c number of right shift for reduction by power 2 	: 0
190.10/187.80	c number of reductions of the coefficients by GCD over coefficients 	: 0
190.10/187.80	c number of ending skipping 	: 0
190.10/187.80	c number of internal skipping 	: 0
190.10/187.80	c number of derivation steps 	: 0
190.10/187.80	c number of skipped derivation steps 	: 0
190.10/187.80	c number of remaining unassigned 	: 0
190.10/187.80	c number of remaining assigned 	: 0
190.10/187.80	c number of falsified literals weakened from reason	: 0
190.10/187.80	c number of falsified literals weakened from conflict	: 0
190.10/187.80	c time for arithmetic operations	: 0
190.10/187.80	c minimum degree of deleted constraints	: null
190.10/187.80	c maximum degree of deleted constraints	: null
190.10/187.80	c number of deleted constraints	: 0
190.10/187.80	c speed (assignments/second)	: 455445.8454126876
190.10/187.80	c non guided choices	: 6
190.10/187.80	s OPTIMUM FOUND
190.10/187.80	c Found 6 solution(s)
190.10/187.80	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 x135 x136 
190.10/187.80	c objective function=5852
190.10/187.80	c Total wall clock time (in seconds): 187.686

Verifier Data 

OK	5852

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432352-1721106818/watcher-4432352-1721106818 -o /tmp/evaluation-result-4432352-1721106818/solver-4432352-1721106818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842436 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432352-1721106818.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=842851, runsolver pid=842848

[startup+0.100441 s]*
/proc/loadavg: 4.20 4.21 4.19 5/332 842869
/proc/meminfo: memFree=126657264/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=18975048 memory=64120 CPUtime=0.14 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 7131 0 0 0 13 1 0 0 20 0 18 0 162847961 19430449152 16030 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4743762 16030 5528 1 0 549346 0
[pid=842851/tid=842853] ppid=842848 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 5696 0 0 0 7 1 0 0 20 0 18 0 162847961 19430449152 16030 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162847964 19430449152 16030 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=18975048 memory=13845278872568824 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 162847964 19430449152 16030 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64120 KiB

[startup+0.20585 s]*
/proc/loadavg: 4.20 4.21 4.19 7/333 842870
/proc/meminfo: memFree=126650536/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19041612 memory=72060 CPUtime=0.34 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 9003 0 0 0 32 2 0 0 20 0 19 0 162847961 19498610688 18015 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4760403 18015 5844 1 0 550592 0
[pid=842851/tid=842853] ppid=842848 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 5954 0 0 0 17 1 0 0 20 0 19 0 162847961 19498610688 18015 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19041612 memory=16952 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 18015 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19041612 memory=15544020042516215 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 18015 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162847976 19498610688 18015 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72060 KiB

[startup+0.306273 s]*
/proc/loadavg: 4.20 4.21 4.19 7/333 842870
/proc/meminfo: memFree=126645436/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19041612 memory=76592 CPUtime=0.53 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 9925 0 0 0 51 2 0 0 20 0 19 0 162847961 19498610688 19148 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4760403 19148 5844 1 0 551172 0
[pid=842851/tid=842853] ppid=842848 vsize=19041612 memory=-8600013172630725308 CPUtime=0.28 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 5973 0 0 0 27 1 0 0 20 0 19 0 162847961 19498610688 19148 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 19148 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 19148 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162847976 19498610688 19148 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76592 KiB

[startup+0.700271 s]
/proc/loadavg: 4.20 4.21 4.19 6/333 842870
/proc/meminfo: memFree=126635688/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19041612 memory=91612 CPUtime=1.29 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 12883 0 0 0 126 3 0 0 20 0 19 0 162847961 19498610688 22903 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4760403 22903 5876 1 0 553321 0
[pid=842851/tid=842853] ppid=842848 vsize=19041612 memory=41552 CPUtime=0.67 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 6030 0 0 0 65 2 0 0 20 0 19 0 162847961 19498610688 22903 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 22903 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 22903 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19041612 memory=39476 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162847976 19498610688 22903 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91612 KiB

[startup+1.50027 s]
/proc/loadavg: 4.20 4.21 4.19 7/333 842870
/proc/meminfo: memFree=126626424/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19041612 memory=108548 CPUtime=2.65 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 16771 0 0 0 261 4 0 0 20 0 19 0 162847961 19498610688 27137 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4760403 27137 5876 1 0 553323 0
[pid=842851/tid=842853] ppid=842848 vsize=19041612 memory=12420 CPUtime=1.46 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 6352 0 0 0 144 2 0 0 20 0 19 0 162847961 19498610688 27137 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 27137 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 27137 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19041612 memory=39476 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162847976 19498610688 27137 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108548 KiB

[startup+3.10569 s]
/proc/loadavg: 4.27 4.23 4.20 5/333 842870
/proc/meminfo: memFree=126508600/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19041612 memory=139628 CPUtime=4.52 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 17775 0 0 0 447 5 0 0 20 0 19 0 162847961 19498610688 34907 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4760403 34907 5882 1 0 553326 0
[pid=842851/tid=842853] ppid=842848 vsize=19041612 memory=0 CPUtime=3.07 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 6677 0 0 0 304 3 0 0 20 0 19 0 162847961 19498610688 34907 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19041612 memory=-8600013172630725308 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 34907 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162847964 19498610688 34907 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162847976 19498610688 34907 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139628 KiB

[startup+6.30024 s]
/proc/loadavg: 4.27 4.23 4.20 5/334 842871
/proc/meminfo: memFree=126468272/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=179684 CPUtime=7.77 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 22439 0 0 0 771 6 0 0 20 0 20 0 162847961 19566772224 44921 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 44921 5898 1 0 553616 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=2248 CPUtime=6.24 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 7294 0 0 0 621 3 0 0 20 0 20 0 162847961 19566772224 44921 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 44921 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 44921 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 44921 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 7.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179684 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.22 4.19 6/334 842872
/proc/meminfo: memFree=126462004/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=186920 CPUtime=14.25 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 27012 0 0 0 1418 7 0 0 20 0 20 0 162847961 19566772224 46730 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 46730 5898 1 0 553616 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=12420 CPUtime=12.6 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 7882 0 0 0 1257 3 0 0 20 0 20 0 162847961 19566772224 46730 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=179704 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 46730 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=41552 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 46730 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 46730 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 14.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186920 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.23 4.20 5/334 842875
/proc/meminfo: memFree=126402292/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=240892 CPUtime=27.59 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 40251 0 0 0 2749 10 0 0 20 0 20 0 162847961 19566772224 60223 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 60223 5898 1 0 556943 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=6943526294502006880 CPUtime=25.33 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 9931 0 0 0 2529 4 0 0 20 0 20 0 162847961 19566772224 60223 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 60223 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=3509 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 60223 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 60223 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 27.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 240892 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.21 4.19 5/334 842879
/proc/meminfo: memFree=125997372/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=384708 CPUtime=53.23 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 44884 0 0 0 5309 14 0 0 20 0 20 0 162847961 19566772224 96177 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 96177 5914 1 0 556943 0

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

/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 142 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 142911 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 142911 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 104.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 571644 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 4.22 4.19 5/330 842898
/proc/meminfo: memFree=125338204/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=977736 CPUtime=164.69 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 61118 0 0 0 16440 29 0 0 20 0 20 0 162847961 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 244434 5914 1 0 556943 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=749996 CPUtime=160.99 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 15893 0 0 0 16092 7 0 0 20 0 20 0 162847961 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=846424 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=803316 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 179 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 164.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 977736 KiB

[startup+187.817 s]
# the end of solver process 842851 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=189.798 s, system=0.326977 s

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

[startup+166.4 s]
/proc/loadavg: 4.26 4.22 4.19 5/330 842898
/proc/meminfo: memFree=125338168/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=977736 CPUtime=168.75 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 61234 0 0 0 16846 29 0 0 20 0 20 0 162847961 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 244434 5914 1 0 556943 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=846424 CPUtime=165.05 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 16008 0 0 0 16498 7 0 0 20 0 20 0 162847961 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=846424 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 179 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=5468 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 244434 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 168.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 977736 KiB

[startup+179.2 s]
/proc/loadavg: 4.20 4.21 4.19 5/330 842901
/proc/meminfo: memFree=125259596/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=1039272 CPUtime=181.53 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 62187 0 0 0 18122 31 0 0 20 0 20 0 162847961 19566772224 259818 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 259818 5914 1 0 556943 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=41552 CPUtime=177.66 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 16048 0 0 0 17759 7 0 0 20 0 20 0 162847961 19566772224 259818 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=977736 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259818 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=977736 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 179 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259818 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=977736 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 259818 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 181.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1039272 KiB

[startup+182.4 s]
/proc/loadavg: 4.18 4.21 4.18 5/330 842902
/proc/meminfo: memFree=125259496/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=1039348 CPUtime=184.71 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 63030 0 0 0 18440 31 0 0 20 0 20 0 162847961 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 259837 5929 1 0 556943 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=11664 CPUtime=180.84 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 16048 0 0 0 18077 7 0 0 20 0 20 0 162847961 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=1039348 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=5468 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 179 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 184.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1039348 KiB

[startup+185.6 s]
/proc/loadavg: 4.18 4.21 4.18 5/330 842902
/proc/meminfo: memFree=125259552/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=1039348 CPUtime=187.89 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 63072 0 0 0 18758 31 0 0 20 0 20 0 162847961 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 259837 5929 1 0 556943 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=41552 CPUtime=184.01 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 16048 0 0 0 18394 7 0 0 20 0 20 0 162847961 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=1039240 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 221 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 259837 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 187.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1039348 KiB

[startup+187.2 s]
/proc/loadavg: 4.17 4.20 4.18 5/330 842904
/proc/meminfo: memFree=125243064/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=1039352 CPUtime=189.48 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 63136 0 0 0 18917 31 0 0 20 0 20 0 162847961 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 259838 5929 1 0 556943 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=12420 CPUtime=185.59 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 16068 0 0 0 18552 7 0 0 20 0 20 0 162847961 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=5468 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=39476 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 221 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=26000 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 189.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1039352 KiB

[startup+187.6 s]
/proc/loadavg: 4.17 4.20 4.18 5/330 842904
/proc/meminfo: memFree=125243064/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19108176 memory=1039352 CPUtime=189.88 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 63136 0 0 0 18957 31 0 0 20 0 20 0 162847961 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4777044 259838 5929 1 0 556943 0
[pid=842851/tid=842853] ppid=842848 vsize=19108176 memory=5468 CPUtime=185.99 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) R 842848 842851 842425 0 -1 4194368 16068 0 0 0 18592 7 0 0 20 0 20 0 162847961 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19108176 memory=-8600013172630725308 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 221 0 0 0 0 0 0 0 20 0 20 0 162847964 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842870] ppid=842848 vsize=19108176 memory=32192 CPUtime=0 cores=4,6
/proc/842851/task/842870/stat : 842870 (Timer-0) S 842848 842851 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162847976 19566772224 259838 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 189.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1039352 KiB

[startup+187.801 s]
/proc/loadavg: 4.17 4.20 4.18 5/330 842904
/proc/meminfo: memFree=125243064/131524600 swapFree=131071996/131071996
[pid=842851] ppid=842848 vsize=19241304 memory=1039808 CPUtime=190.1 cores=4,6
/proc/842851/stat : 842851 (java) S 842848 842851 842425 0 -1 1077936128 64856 0 0 0 18978 32 0 0 20 0 20 0 162847961 19703095296 259952 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
/proc/842851/statm: 4810326 259952 5928 1 0 557561 0
[pid=842851/tid=842853] ppid=842848 vsize=19241304 memory=1984 CPUtime=186.18 cores=4,6
/proc/842851/task/842853/stat : 842853 (java) S 842848 842851 842425 0 -1 1077936192 17317 0 0 0 18611 7 0 0 20 0 20 0 162847961 19703095296 259952 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842862] ppid=842848 vsize=19241304 memory=-8600013172630725308 CPUtime=0 cores=4,6
/proc/842851/task/842862/stat : 842862 (Finalizer) S 842848 842851 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162847964 19703095296 259952 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
[pid=842851/tid=842869] ppid=842848 vsize=19241304 memory=28564 CPUtime=0 cores=4,6
/proc/842851/task/842869/stat : 842869 (Common-Cleaner) S 842848 842851 842425 0 -1 1077936192 221 0 0 0 0 0 0 0 20 0 20 0 162847964 19703095296 259952 134679101440 94029966970880 94029966974576 140726277153536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94029966982392 94029966983184 94029997670400 140726277161991 140726277162081 140726277162081 140726277169096 0
Current children cumulated CPU time: 190.1 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1039808 KiB

Child status: 30

Real time (s): 187.817
CPU time (s): 190.125
CPU user time (s): 189.798
CPU system time (s): 0.326977
CPU usage (%): 101.229
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1039808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.798
system time used= 0.326977
maximum resident set size= 1040720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65212
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6983
involuntary context switches= 699


# summary of solver processes directly reported to runsolver:
#   pid: 842851
#   total CPU time (s): 190.125
#   total CPU user time (s): 189.798
#   total CPU system time (s): 0.326977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.427502 second user time and 0.894762 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 07:13:51
IDJOB=4432352
IDBENCH=148112
IDSOLVER=3058
FILE ID=nodeC026/4432352-1721106818
RUNJOBID= nodeC026-1721106653-842436
SLURM_JOB_ID= 7505637
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/poldner/PB/testset/normalized-8_16.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432352-1721106818/watcher-4432352-1721106818 -o /tmp/evaluation-result-4432352-1721106818/solver-4432352-1721106818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842436 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432352-1721106818.opb

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

MD5SUM BENCH= 6d71ac2e6bad2e9d7243db6e8fb68322
RANDOM SEED=924222033

nodeC026.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		: 3680.585
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.74
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		: 3660.662
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.45
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		: 3635.203
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.74
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		: 3600.764
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.45
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		: 3635.030
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.74
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		: 3697.118
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.45
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		: 3648.485
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.74
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		: 3599.976
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126701384 kB
MemAvailable:   127533016 kB
Buffers:          399432 kB
Cached:          1266560 kB
SwapCached:            0 kB
Active:           692200 kB
Inactive:        3527408 kB
Active(anon):       1548 kB
Inactive(anon):  2589764 kB
Active(file):     690652 kB
Inactive(file):   937644 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               884 kB
Writeback:             0 kB
AnonPages:       2550572 kB
Mapped:           124076 kB
Shmem:             37720 kB
KReclaimable:      86320 kB
Slab:             191680 kB
SReclaimable:      86320 kB
SUnreclaim:       105360 kB
KernelStack:        5072 kB
PageTables:        15168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7270568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62240 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2277376 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:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC026 at 2024-07-16 07:16:59