Trace number 4510624

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06UNSAT 346.84 344.962

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
MD5SUM6c6f54dbad76425fd68d4f6d2aa72935
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 benchmark8.17924
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables701
Total number of constraints980
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)978
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
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		5.14.0-503.14.1.el9_5.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.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4510624-1751198752.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.19	c ... done. Wall clock time 0.06s.
0.12/0.19	c declared #vars     701
0.12/0.19	c #constraints  980
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 978
0.12/0.19	c 980 constraints processed.
0.71/0.42	c cleaning 2485 clauses out of 5000 with flag 21741/5000
1.09/0.64	c cleaning 4246 clauses out of 8515 with flag 49352/11000
1.48/0.82	c cleaning 5617 clauses out of 11269 with flag 82717/18000
1.68/0.94	c cleaning 6806 clauses out of 13653 with flag 122858/26001
1.88/1.07	c cleaning 7888 clauses out of 15847 with flag 169590/35001
2.24/1.22	c cleaning 8944 clauses out of 17958 with flag 227507/45000
2.40/1.38	c cleaning 9973 clauses out of 20014 with flag 290460/56000
2.60/1.57	c cleaning 10981 clauses out of 22041 with flag 357952/68000
2.80/1.78	c cleaning 12004 clauses out of 24060 with flag 430086/81000
3.10/2.01	c cleaning 13016 clauses out of 26056 with flag 506024/95000
3.30/2.26	c cleaning 13973 clauses out of 28040 with flag 588878/110000
3.61/2.53	c cleaning 14987 clauses out of 30068 with flag 677636/126001
3.94/2.85	c cleaning 16020 clauses out of 32080 with flag 771294/143000
4.27/3.18	c cleaning 16985 clauses out of 34060 with flag 868152/161000
4.66/3.55	c cleaning 18011 clauses out of 36075 with flag 975110/180000
5.06/3.95	c cleaning 19011 clauses out of 38065 with flag 1087081/200001
5.46/4.39	c cleaning 19998 clauses out of 40054 with flag 1204220/221001
5.95/4.87	c cleaning 20987 clauses out of 42056 with flag 1324940/243001
6.45/5.39	c cleaning 22011 clauses out of 44069 with flag 1447745/266001
7.06/5.92	c cleaning 22996 clauses out of 46058 with flag 1571053/290001
7.65/6.51	c cleaning 24001 clauses out of 48061 with flag 1700109/315000
8.26/7.13	c cleaning 25007 clauses out of 50061 with flag 1829199/341001
8.96/7.81	c cleaning 25994 clauses out of 52053 with flag 1965269/368000
9.66/8.52	c cleaning 26999 clauses out of 54061 with flag 2107397/396002
10.36/9.25	c cleaning 27995 clauses out of 56060 with flag 2255955/425000
11.16/10.03	c cleaning 29022 clauses out of 58066 with flag 2407473/455001
11.95/10.84	c cleaning 29998 clauses out of 60044 with flag 2563962/486001
12.75/11.68	c cleaning 30989 clauses out of 62045 with flag 2726327/518000
13.65/12.57	c cleaning 32003 clauses out of 64058 with flag 2888306/551002
14.64/13.53	c cleaning 33007 clauses out of 66054 with flag 3055915/585001
15.64/14.55	c cleaning 33986 clauses out of 68047 with flag 3228582/620001
16.75/15.62	c cleaning 35014 clauses out of 70061 with flag 3405372/656001
17.84/16.71	c cleaning 36008 clauses out of 72047 with flag 3585834/693001
18.94/17.81	c cleaning 37002 clauses out of 74040 with flag 3769121/731002
20.04/18.97	c cleaning 38000 clauses out of 76036 with flag 3957645/770000
21.34/20.21	c cleaning 39001 clauses out of 78037 with flag 4149310/810001
22.64/21.55	c cleaning 40010 clauses out of 80035 with flag 4343068/851000
24.03/22.99	c cleaning 40994 clauses out of 82025 with flag 4541204/893000
25.53/24.48	c cleaning 41997 clauses out of 84031 with flag 4743379/936000
27.03/25.96	c cleaning 42998 clauses out of 86034 with flag 4951760/980000
28.53/27.49	c cleaning 43999 clauses out of 88036 with flag 5162987/1025000
30.23/29.11	c cleaning 45001 clauses out of 90038 with flag 5375934/1071001
31.92/30.81	c cleaning 45998 clauses out of 92036 with flag 5592861/1118000
33.62/32.55	c cleaning 47001 clauses out of 94040 with flag 5811159/1166002
35.51/34.44	c cleaning 47995 clauses out of 96037 with flag 6040556/1215000
37.42/36.33	c cleaning 49006 clauses out of 98042 with flag 6267037/1265000
39.32/38.27	c cleaning 50007 clauses out of 100038 with flag 6495627/1316002
41.51/40.49	c cleaning 50995 clauses out of 102031 with flag 6736140/1368002
43.81/42.71	c cleaning 52002 clauses out of 104034 with flag 6975857/1421000
46.00/44.92	c cleaning 53001 clauses out of 106033 with flag 7211078/1475001
48.30/47.25	c cleaning 54001 clauses out of 108032 with flag 7452959/1530001
50.70/49.70	c cleaning 54997 clauses out of 110032 with flag 7702599/1586002
53.14/52.07	c cleaning 55999 clauses out of 112034 with flag 7945987/1643001
55.73/54.62	c cleaning 57003 clauses out of 114035 with flag 8197720/1701001
58.32/57.22	c cleaning 58000 clauses out of 116031 with flag 8448441/1760000
61.12/60.03	c cleaning 59001 clauses out of 118032 with flag 8707314/1820001
63.82/62.77	c cleaning 60006 clauses out of 120030 with flag 8962826/1881000
66.71/65.61	c cleaning 61009 clauses out of 122025 with flag 9222913/1943001
69.41/68.32	c cleaning 61991 clauses out of 124016 with flag 9480421/2006001
72.04/70.99	c cleaning 63002 clauses out of 126024 with flag 9739816/2070000
74.83/73.70	c cleaning 63991 clauses out of 128022 with flag 9995077/2135000
77.72/76.63	c cleaning 65005 clauses out of 130032 with flag 10258254/2201001
80.42/79.35	c cleaning 66002 clauses out of 132027 with flag 10515700/2268001
83.31/82.28	c cleaning 66989 clauses out of 134025 with flag 10781993/2336001
86.40/85.35	c cleaning 68003 clauses out of 136037 with flag 11047969/2405002
89.53/88.40	c cleaning 69000 clauses out of 138032 with flag 11311652/2475000
92.43/91.37	c cleaning 69996 clauses out of 140032 with flag 11579900/2546000
95.63/94.53	c cleaning 71009 clauses out of 142037 with flag 11854466/2618001
98.82/97.73	c cleaning 72000 clauses out of 144028 with flag 12124668/2691001
101.91/100.82	c cleaning 73009 clauses out of 146028 with flag 12398440/2765001
105.01/103.95	c cleaning 73999 clauses out of 148019 with flag 12675962/2840001
108.20/107.16	c cleaning 75002 clauses out of 150020 with flag 12954785/2916001
111.59/110.54	c cleaning 75998 clauses out of 152018 with flag 13236382/2993001
114.78/113.79	c cleaning 76997 clauses out of 154020 with flag 13520939/3071001
117.99/116.95	c cleaning 78003 clauses out of 156022 with flag 13809169/3150000
121.28/120.26	c cleaning 79002 clauses out of 158020 with flag 14102147/3230001
124.48/123.44	c cleaning 79999 clauses out of 160017 with flag 14403388/3311000
127.86/126.84	c cleaning 80999 clauses out of 162019 with flag 14702608/3393001
131.26/130.23	c cleaning 82002 clauses out of 164022 with flag 15006291/3476003
134.76/133.74	c cleaning 82998 clauses out of 166018 with flag 15307972/3560001
138.45/137.43	c cleaning 84000 clauses out of 168019 with flag 15622487/3645000
142.34/141.34	c cleaning 84996 clauses out of 170019 with flag 15937217/3731000
146.13/145.16	c cleaning 86003 clauses out of 172023 with flag 16257429/3818000
150.02/149.07	c cleaning 86995 clauses out of 174020 with flag 16577323/3906000
154.01/153.04	c cleaning 88003 clauses out of 176026 with flag 16903300/3995001
158.34/157.31	c cleaning 88998 clauses out of 178023 with flag 17238906/4085001
162.63/161.63	c cleaning 90001 clauses out of 180024 with flag 17580192/4176000
166.71/165.76	c cleaning 90995 clauses out of 182024 with flag 17923602/4268001
171.31/170.36	c cleaning 91999 clauses out of 184028 with flag 18272656/4361000
176.05/175.03	c cleaning 92998 clauses out of 186029 with flag 18624524/4455000
180.63/179.61	c cleaning 94003 clauses out of 188031 with flag 18978202/4550000
185.32/184.39	c cleaning 95002 clauses out of 190028 with flag 19337690/4646000
190.11/189.16	c cleaning 96004 clauses out of 192027 with flag 19696782/4743001
195.30/194.34	c cleaning 97003 clauses out of 194024 with flag 20086585/4841002
200.40/199.44	c cleaning 97997 clauses out of 196020 with flag 20477175/4940001
205.69/204.79	c cleaning 98999 clauses out of 198022 with flag 20874270/5040000
211.58/210.65	c cleaning 99997 clauses out of 200024 with flag 21280973/5141001
216.97/216.09	c cleaning 101002 clauses out of 202026 with flag 21705776/5243000
223.06/222.12	c cleaning 102001 clauses out of 204025 with flag 22141389/5346001
228.95/228.01	c cleaning 103006 clauses out of 206024 with flag 22576247/5450001
235.00/234.04	c cleaning 104000 clauses out of 208018 with flag 23019093/5555001
241.39/240.41	c cleaning 104999 clauses out of 210017 with flag 23463814/5661000
247.67/246.74	c cleaning 105998 clauses out of 212018 with flag 23908398/5768000
253.46/252.55	c cleaning 106997 clauses out of 214020 with flag 24342716/5876000
259.55/258.65	c cleaning 107996 clauses out of 216023 with flag 24781720/5985000
266.00/265.04	c cleaning 109004 clauses out of 218028 with flag 25224593/6095001
272.88/272.00	c cleaning 110007 clauses out of 220023 with flag 25690367/6206000
279.17/278.21	c cleaning 110999 clauses out of 222016 with flag 26145678/6318000
285.96/285.04	c cleaning 112004 clauses out of 224018 with flag 26620649/6431001
292.64/291.71	c cleaning 113000 clauses out of 226014 with flag 27095801/6545001
300.14/299.21	c cleaning 114002 clauses out of 228014 with flag 27577209/6660001
308.70/307.85	c cleaning 114999 clauses out of 230011 with flag 28083964/6776000
317.99/317.13	c cleaning 115998 clauses out of 232013 with flag 28596516/6893001
328.26/327.49	c cleaning 117000 clauses out of 234014 with flag 29128802/7011000
340.66/338.96	c cleaning 118001 clauses out of 236014 with flag 29681050/7130001
346.61/344.87	c starts		: 9391
346.61/344.88	c conflicts		: 7221917
346.61/344.88	c decisions		: 10041289
346.61/344.88	c propagations		: 56436060
346.61/344.88	c inspects		: 6352873747
346.61/344.88	c shortcuts		: 0
346.61/344.88	c learnt literals	: 14
346.61/344.88	c learnt binary clauses	: 93
346.61/344.88	c learnt ternary clauses	: 360
346.61/344.88	c learnt constraints	: 7221902
346.61/344.88	c ignored constraints	: 0
346.61/344.88	c root simplifications	: 0
346.61/344.88	c removed literals (reason simplification)	: 6011320
346.61/344.88	c reason swapping (by a shorter reason)	: 0
346.61/344.88	c Calls to reduceDB	: 115
346.61/344.88	c Number of update (reduction) of LBD	: 1533274
346.61/344.88	c Imported unit clauses	: 0
346.61/344.88	c No decision after first conflict	: false
346.61/344.88	c number of reductions to clauses (during analyze)	: 0
346.61/344.88	c number of learned constraints concerned by reduction	: 0
346.61/344.88	c number of learning phase by resolution	: 0
346.61/344.88	c number of learning phase by cutting planes	: 0
346.61/344.88	c number of rounding to 1 operations	: 0
346.61/344.88	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
346.61/344.88	c number of reductions of the coefficients by power 2 	: 0
346.61/344.88	c number of right shift for reduction by power 2 	: 0
346.61/344.88	c number of reductions of the coefficients by GCD over coefficients 	: 0
346.61/344.88	c number of ending skipping 	: 0
346.61/344.88	c number of internal skipping 	: 0
346.61/344.88	c number of derivation steps 	: 0
346.61/344.88	c number of skipped derivation steps 	: 0
346.61/344.88	c number of remaining unassigned 	: 0
346.61/344.88	c number of remaining assigned 	: 0
346.61/344.88	c number of falsified literals weakened from reason	: 0
346.61/344.88	c number of falsified literals weakened from conflict	: 0
346.61/344.88	c time for arithmetic operations	: 0
346.61/344.88	c minimum degree of deleted constraints	: null
346.61/344.88	c maximum degree of deleted constraints	: null
346.61/344.88	c number of deleted constraints	: 0
346.61/344.88	c speed (assignments/second)	: 163729.90223099018
346.61/344.88	c non guided choices	: 290308
346.74/344.95	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 209822
346.74/344.95	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 93
346.74/344.95	s UNSATISFIABLE
346.74/344.95	c Total wall clock time (in seconds): 344.823

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510624-1751198752/watcher-4510624-1751198752 -o /tmp/evaluation-result-4510624-1751198752/solver-4510624-1751198752 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27854 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4510624-1751198752.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=29733, runsolver pid=29730

[startup+0.100059 s]*
/proc/loadavg: 4.06 4.15 4.12 5/338 29751
/proc/meminfo: memFree=126576432/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=18930384 memory=57628 CPUtime=0.12 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 6574 0 0 0 10 2 0 0 20 0 18 0 35553149 19384713216 14407 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4732596 14407 5330 1 0 547620 0
[pid=29733/tid=29735] ppid=29730 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 5070 0 0 0 6 1 0 0 20 0 18 0 35553151 19384713216 14407 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35553153 19384713216 14407 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=18930384 memory=58485492706614 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35553153 19384713216 14407 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57628 KiB

[startup+0.205675 s]*
/proc/loadavg: 4.06 4.15 4.12 7/339 29752
/proc/meminfo: memFree=126567232/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=18996948 memory=68364 CPUtime=0.32 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 7091 0 0 0 29 3 0 0 20 0 19 0 35553149 19452874752 17091 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4749237 17091 5426 1 0 548229 0
[pid=29733/tid=29735] ppid=29730 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 5310 0 0 0 15 2 0 0 20 0 19 0 35553151 19452874752 17091 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=18996948 memory=18949 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 17091 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=18996948 memory=57385981051877 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 17091 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35553169 19452874752 17091 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68364 KiB

[startup+0.305529 s]*
/proc/loadavg: 4.06 4.15 4.12 6/339 29752
/proc/meminfo: memFree=126560176/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=18996948 memory=74760 CPUtime=0.51 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 8877 0 0 0 48 3 0 0 20 0 19 0 35553149 19452874752 18690 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4749237 18690 5426 1 0 549271 0
[pid=29733/tid=29735] ppid=29730 vsize=18996948 memory=-6000919507099673453 CPUtime=0.26 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 5322 0 0 0 24 2 0 0 20 0 19 0 35553151 19452874752 18690 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 18690 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 18690 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35553169 19452874752 18690 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74760 KiB

[startup+0.700209 s]
/proc/loadavg: 4.06 4.15 4.12 6/339 29752
/proc/meminfo: memFree=126543240/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=18996948 memory=92784 CPUtime=1.28 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 15528 0 0 0 123 5 0 0 20 0 19 0 35553149 19452874752 23196 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4749237 23196 5426 1 0 552815 0
[pid=29733/tid=29735] ppid=29730 vsize=18996948 memory=17536 CPUtime=0.63 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 5367 0 0 0 61 2 0 0 20 0 19 0 35553151 19452874752 23196 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 23196 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 23196 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=18996948 memory=4756 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35553169 19452874752 23196 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92784 KiB

[startup+1.50024 s]
/proc/loadavg: 4.06 4.15 4.12 6/339 29752
/proc/meminfo: memFree=126535048/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=18996948 memory=103428 CPUtime=2.6 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 19323 0 0 0 255 5 0 0 20 0 19 0 35553149 19452874752 25857 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4749237 25857 5426 1 0 552834 0
[pid=29733/tid=29735] ppid=29730 vsize=18996948 memory=0 CPUtime=1.42 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 5705 0 0 0 140 2 0 0 20 0 19 0 35553151 19452874752 25857 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 25857 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 25857 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=18996948 memory=4756 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35553169 19452874752 25857 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103428 KiB

[startup+3.10546 s]
/proc/loadavg: 4.06 4.15 4.12 5/339 29752
/proc/meminfo: memFree=126502488/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=18996948 memory=121988 CPUtime=4.27 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 20134 0 0 0 421 6 0 0 20 0 19 0 35553149 19452874752 30497 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4749237 30497 5426 1 0 552836 0
[pid=29733/tid=29735] ppid=29730 vsize=18996948 memory=10752 CPUtime=3.02 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 6031 0 0 0 300 2 0 0 20 0 19 0 35553151 19452874752 30497 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=18996948 memory=-6000919507099673453 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 30497 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 30497 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35553169 19452874752 30497 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121988 KiB

[startup+6.30021 s]
/proc/loadavg: 4.06 4.14 4.12 5/339 29752
/proc/meminfo: memFree=126457440/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=18996948 memory=150788 CPUtime=7.46 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 20479 0 0 0 740 6 0 0 20 0 19 0 35553149 19452874752 37697 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4749237 37697 5458 1 0 552837 0
[pid=29733/tid=29735] ppid=29730 vsize=18996948 memory=0 CPUtime=6.21 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 6141 0 0 0 618 3 0 0 20 0 19 0 35553151 19452874752 37697 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 37697 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35553153 19452874752 37697 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=18996948 memory=105476 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35553169 19452874752 37697 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150788 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.14 4.12 5/340 29755
/proc/meminfo: memFree=126383500/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=182012 CPUtime=13.85 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 23059 0 0 0 1378 7 0 0 20 0 20 0 35553149 19521036288 45503 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 45503 5490 1 0 553126 0
[pid=29733/tid=29735] ppid=29730 vsize=19063512 memory=105476 CPUtime=12.57 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 7045 0 0 0 1254 3 0 0 20 0 20 0 35553151 19521036288 45503 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19063512 memory=182012 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 45503 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 45503 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 45503 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 13.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.13 4.12 5/340 29755
/proc/meminfo: memFree=126375324/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=190280 CPUtime=26.63 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 25249 0 0 0 2655 8 0 0 20 0 20 0 35553149 19521036288 47570 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 47570 5490 1 0 553126 0
[pid=29733/tid=29735] ppid=29730 vsize=19063512 memory=182012 CPUtime=25.3 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 7543 0 0 0 2527 3 0 0 20 0 20 0 35553151 19521036288 47570 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 47570 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19063512 memory=-6000919507099673453 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 47570 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 47570 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 26.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190280 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.16 4.12 5/340 29756
/proc/meminfo: memFree=126354632/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=202768 CPUtime=52.21 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 25437 0 0 0 5212 9 0 0 20 0 20 0 35553149 19521036288 50692 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 50692 5490 1 0 553126 0

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

/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 163 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 99367 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=397468 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 99367 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 163.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 397468 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.22 4.15 5/341 30023
/proc/meminfo: memFree=126924896/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=458976 CPUtime=223.26 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 30758 0 0 0 22307 19 0 0 20 0 20 0 35553149 19521036288 114744 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 114744 5490 1 0 553126 0
[pid=29733/tid=29735] ppid=29730 vsize=19063512 memory=17536 CPUtime=221.24 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 9339 0 0 0 22120 4 0 0 20 0 20 0 35553151 19521036288 114744 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19063512 memory=364688 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 114744 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 234 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 114744 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 114744 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 223.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 458976 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/341 30025
/proc/meminfo: memFree=126568192/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=626956 CPUtime=283.26 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 31061 0 0 0 28304 22 0 0 20 0 20 0 35553149 19521036288 156739 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 156739 5490 1 0 553126 0
[pid=29733/tid=29735] ppid=29730 vsize=19063512 memory=626956 CPUtime=280.98 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 9380 0 0 0 28093 5 0 0 20 0 20 0 35553151 19521036288 156739 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 156739 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19063512 memory=-6000919481229075309 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 234 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 156739 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=626956 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 156739 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 283.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 626956 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.19 4.15 5/340 30032
/proc/meminfo: memFree=126261284/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=728940 CPUtime=344.11 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 39889 0 0 0 34385 26 0 0 20 0 20 0 35553149 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 182235 5490 1 0 554369 0
[pid=29733/tid=29735] ppid=29730 vsize=19063512 memory=626956 CPUtime=340.66 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 10950 0 0 0 34061 5 0 0 20 0 20 0 35553151 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19063512 memory=280068509407168 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19063512 memory=678188 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 311 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 344.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 728940 KiB

[startup+344.962 s]
# the end of solver process 29733 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=346.566 s, system=0.274286 s

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

[startup+342.4 s]
/proc/loadavg: 4.17 4.19 4.15 5/340 30032
/proc/meminfo: memFree=126261284/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=728940 CPUtime=344.21 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 39889 0 0 0 34395 26 0 0 20 0 20 0 35553149 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 182235 5490 1 0 554369 0
[pid=29733/tid=29735] ppid=29730 vsize=19063512 memory=678444 CPUtime=340.76 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 10950 0 0 0 34071 5 0 0 20 0 20 0 35553151 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19063512 memory=679212 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 311 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 344.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 728940 KiB

[startup+344 s]*
/proc/loadavg: 4.17 4.19 4.15 5/340 30032
/proc/meminfo: memFree=126261284/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=728940 CPUtime=345.82 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 40018 0 0 0 34556 26 0 0 20 0 20 0 35553149 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 182235 5490 1 0 554369 0
[pid=29733/tid=29735] ppid=29730 vsize=19063512 memory=-6000919481229075309 CPUtime=342.36 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 10950 0 0 0 34231 5 0 0 20 0 20 0 35553151 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 311 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 345.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 728940 KiB

[startup+344.4 s]
/proc/loadavg: 4.17 4.19 4.15 5/340 30032
/proc/meminfo: memFree=126261284/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=728940 CPUtime=346.21 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 40018 0 0 0 34595 26 0 0 20 0 20 0 35553149 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 182235 5490 1 0 554369 0
[pid=29733/tid=29735] ppid=29730 vsize=19063512 memory=21952 CPUtime=342.75 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 10950 0 0 0 34270 5 0 0 20 0 20 0 35553151 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19063512 memory=-6000919507099673453 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 311 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 346.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 728940 KiB

[startup+344.8 s]
/proc/loadavg: 4.17 4.19 4.15 5/340 30032
/proc/meminfo: memFree=126261284/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19063512 memory=728940 CPUtime=346.61 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 40020 0 0 0 34635 26 0 0 20 0 20 0 35553149 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4765878 182235 5490 1 0 554369 0
[pid=29733/tid=29735] ppid=29730 vsize=19063512 memory=4756 CPUtime=343.15 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) R 29730 29733 27841 0 -1 4194368 10950 0 0 0 34310 5 0 0 20 0 20 0 35553151 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19063512 memory=728940 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 311 0 0 0 0 0 0 0 20 0 20 0 35553153 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29752] ppid=29730 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/29733/task/29752/stat : 29752 (Timer-0) S 29730 29733 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35553169 19521036288 182235 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 346.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 728940 KiB

[startup+344.9 s]
/proc/loadavg: 4.17 4.19 4.15 5/340 30032
/proc/meminfo: memFree=126261284/131249996 swapFree=33010684/33010684
[pid=29733] ppid=29730 vsize=19196640 memory=729452 CPUtime=346.74 cores=5,7
/proc/29733/stat : 29733 (java) S 29730 29733 27841 0 -1 4194304 41281 0 0 0 34648 26 0 0 20 0 20 0 35553149 19657359360 182363 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
/proc/29733/statm: 4799160 182363 5522 1 0 554987 0
[pid=29733/tid=29735] ppid=29730 vsize=19196640 memory=626956 CPUtime=343.23 cores=5,7
/proc/29733/task/29735/stat : 29735 (java) S 29730 29733 27841 0 -1 4194368 11778 0 0 0 34318 5 0 0 20 0 20 0 35553151 19657359360 182363 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29744] ppid=29730 vsize=19196640 memory=280068509407168 CPUtime=0 cores=5,7
/proc/29733/task/29744/stat : 29744 (Finalizer) S 29730 29733 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35553153 19657359360 182363 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
[pid=29733/tid=29751] ppid=29730 vsize=19196640 memory=678188 CPUtime=0 cores=5,7
/proc/29733/task/29751/stat : 29751 (Common-Cleaner) S 29730 29733 27841 0 -1 4194368 311 0 0 0 0 0 0 0 20 0 20 0 35553153 19657359360 182363 18446744073709551615 94197908312064 94197908315760 140733034505360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94197908323576 94197908324368 94197918388224 140733034510721 140733034510822 140733034510822 140733034516424 0
Current children cumulated CPU time: 346.74 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 729452 KiB

Child status: 20

Real time (s): 344.962
CPU time (s): 346.84
CPU user time (s): 346.566
CPU system time (s): 0.274286
CPU usage (%): 100.544
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 729452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 346.566
system time used= 0.274286
maximum resident set size= 729708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12204
involuntary context switches= 1314


# summary of solver processes directly reported to runsolver:
#   pid: 29733
#   total CPU time (s): 346.84
#   total CPU user time (s): 346.566
#   total CPU system time (s): 0.274286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.670024 second user time and 1.62495 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 14:05:53
IDJOB=4510624
IDBENCH=160374
IDSOLVER=3363
FILE ID=nodeC024/4510624-1751198752
RUNJOBID= nodeC024-1751191546-27854
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510624-1751198752/watcher-4510624-1751198752 -o /tmp/evaluation-result-4510624-1751198752/solver-4510624-1751198752 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27854 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4510624-1751198752.opb

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

MD5SUM BENCH= 6c6f54dbad76425fd68d4f6d2aa72935
RANDOM SEED=1328106353

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126597380 kB
MemAvailable:   126278588 kB
Buffers:            3280 kB
Cached:           490812 kB
SwapCached:            0 kB
Active:          3856308 kB
Inactive:         236252 kB
Active(anon):    3616532 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   236252 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1828 kB
Writeback:             0 kB
AnonPages:       3601072 kB
Mapped:           122596 kB
Shmem:             18064 kB
KReclaimable:      88440 kB
Slab:             174728 kB
SReclaimable:      88440 kB
SUnreclaim:        86288 kB
KernelStack:        5184 kB
PageTables:        10692 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7051244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3389440 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 14:11:38