Trace number 4510625

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 VeriPB 2025-06-06UNSAT cert. 365.269 362.892

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.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4510625-1751198961.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.057s.
0.13/0.18	c declared #vars     701
0.13/0.18	c #constraints  980
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 978
0.13/0.18	c 980 constraints processed.
0.91/0.59	c cleaning 2485 clauses out of 5000 with flag 21741/5000
1.68/0.92	c cleaning 4246 clauses out of 8515 with flag 49352/11000
2.08/1.16	c cleaning 5617 clauses out of 11269 with flag 82717/18000
2.46/1.40	c cleaning 6806 clauses out of 13653 with flag 122858/26001
2.86/1.59	c cleaning 7888 clauses out of 15847 with flag 169590/35001
3.46/1.81	c cleaning 8944 clauses out of 17958 with flag 227507/45000
3.87/2.04	c cleaning 9973 clauses out of 20014 with flag 290460/56000
4.25/2.29	c cleaning 10981 clauses out of 22041 with flag 357952/68000
4.77/2.54	c cleaning 12004 clauses out of 24060 with flag 430086/81000
5.09/2.83	c cleaning 13016 clauses out of 26056 with flag 506024/95000
5.40/3.13	c cleaning 13973 clauses out of 28040 with flag 588878/110000
5.82/3.46	c cleaning 14987 clauses out of 30068 with flag 677636/126001
6.27/3.84	c cleaning 16020 clauses out of 32080 with flag 771294/143000
6.71/4.24	c cleaning 16985 clauses out of 34060 with flag 868152/161000
7.11/4.68	c cleaning 18011 clauses out of 36075 with flag 975110/180000
7.62/5.18	c cleaning 19011 clauses out of 38065 with flag 1087081/200001
8.12/5.69	c cleaning 19998 clauses out of 40054 with flag 1204220/221001
8.72/6.24	c cleaning 20987 clauses out of 42056 with flag 1324940/243001
9.32/6.83	c cleaning 22011 clauses out of 44069 with flag 1447745/266001
9.92/7.45	c cleaning 22996 clauses out of 46058 with flag 1571053/290001
10.62/8.14	c cleaning 24001 clauses out of 48061 with flag 1700109/315000
11.32/8.89	c cleaning 25007 clauses out of 50061 with flag 1829199/341001
12.12/9.69	c cleaning 25994 clauses out of 52053 with flag 1965269/368000
13.01/10.52	c cleaning 26999 clauses out of 54061 with flag 2107397/396002
13.91/11.41	c cleaning 27995 clauses out of 56060 with flag 2255955/425000
14.82/12.34	c cleaning 29022 clauses out of 58066 with flag 2407473/455001
15.72/13.27	c cleaning 29998 clauses out of 60044 with flag 2563962/486001
16.72/14.24	c cleaning 30989 clauses out of 62045 with flag 2726327/518000
17.72/15.26	c cleaning 32003 clauses out of 64058 with flag 2888306/551002
18.81/16.35	c cleaning 33007 clauses out of 66054 with flag 3055915/585001
20.01/17.51	c cleaning 33986 clauses out of 68047 with flag 3228582/620001
21.21/18.74	c cleaning 35014 clauses out of 70061 with flag 3405372/656001
22.50/20.01	c cleaning 36008 clauses out of 72047 with flag 3585834/693001
23.81/21.31	c cleaning 37002 clauses out of 74040 with flag 3769121/731002
25.11/22.64	c cleaning 38000 clauses out of 76036 with flag 3957645/770000
26.51/24.01	c cleaning 39001 clauses out of 78037 with flag 4149310/810001
27.90/25.42	c cleaning 40010 clauses out of 80035 with flag 4343068/851000
29.40/26.94	c cleaning 40994 clauses out of 82025 with flag 4541204/893000
31.00/28.50	c cleaning 41997 clauses out of 84031 with flag 4743379/936000
32.50/30.09	c cleaning 42998 clauses out of 86034 with flag 4951760/980000
34.20/31.71	c cleaning 43999 clauses out of 88036 with flag 5162987/1025000
35.79/33.39	c cleaning 45001 clauses out of 90038 with flag 5375934/1071001
37.64/35.33	c cleaning 45998 clauses out of 92036 with flag 5592861/1118000
39.44/37.18	c cleaning 47001 clauses out of 94040 with flag 5811159/1166002
41.53/39.21	c cleaning 47995 clauses out of 96037 with flag 6040556/1215000
43.45/41.17	c cleaning 49006 clauses out of 98042 with flag 6267037/1265000
45.44/43.14	c cleaning 50007 clauses out of 100038 with flag 6495627/1316002
47.63/45.37	c cleaning 50995 clauses out of 102031 with flag 6736140/1368002
49.92/47.62	c cleaning 52002 clauses out of 104034 with flag 6975857/1421000
52.12/49.85	c cleaning 53001 clauses out of 106033 with flag 7211078/1475001
54.54/52.20	c cleaning 54001 clauses out of 108032 with flag 7452959/1530001
56.93/54.67	c cleaning 54997 clauses out of 110032 with flag 7702599/1586002
59.33/57.03	c cleaning 55999 clauses out of 112034 with flag 7945987/1643001
61.92/59.62	c cleaning 57003 clauses out of 114035 with flag 8197720/1701001
64.51/62.25	c cleaning 58000 clauses out of 116031 with flag 8448441/1760000
67.38/65.21	c cleaning 59001 clauses out of 118032 with flag 8707314/1820001
70.06/67.95	c cleaning 60006 clauses out of 120030 with flag 8962826/1881000
72.85/70.77	c cleaning 61009 clauses out of 122025 with flag 9222913/1943001
75.65/73.51	c cleaning 61991 clauses out of 124016 with flag 9480421/2006001
78.36/76.20	c cleaning 63002 clauses out of 126024 with flag 9739816/2070000
81.05/78.96	c cleaning 63991 clauses out of 128022 with flag 9995077/2135000
84.05/81.93	c cleaning 65005 clauses out of 130032 with flag 10258254/2201001
86.83/84.70	c cleaning 66002 clauses out of 132027 with flag 10515700/2268001
89.75/87.68	c cleaning 66989 clauses out of 134025 with flag 10781993/2336001
92.85/90.72	c cleaning 68003 clauses out of 136037 with flag 11047969/2405002
95.84/93.76	c cleaning 69000 clauses out of 138032 with flag 11311652/2475000
98.86/96.85	c cleaning 69996 clauses out of 140032 with flag 11579900/2546000
102.08/100.08	c cleaning 71009 clauses out of 142037 with flag 11854466/2618001
105.36/103.31	c cleaning 72000 clauses out of 144028 with flag 12124668/2691001
108.45/106.48	c cleaning 73009 clauses out of 146028 with flag 12398440/2765001
111.76/109.76	c cleaning 73999 clauses out of 148019 with flag 12675962/2840001
115.06/113.03	c cleaning 75002 clauses out of 150020 with flag 12954785/2916001
118.54/116.51	c cleaning 75998 clauses out of 152018 with flag 13236382/2993001
121.86/119.89	c cleaning 76997 clauses out of 154020 with flag 13520939/3071001
125.16/123.16	c cleaning 78003 clauses out of 156022 with flag 13809169/3150000
128.58/126.66	c cleaning 79002 clauses out of 158020 with flag 14102147/3230001
131.89/129.98	c cleaning 79999 clauses out of 160017 with flag 14403388/3311000
135.49/133.56	c cleaning 80999 clauses out of 162019 with flag 14702608/3393001
139.08/137.16	c cleaning 82002 clauses out of 164022 with flag 15006291/3476003
142.90/140.91	c cleaning 82998 clauses out of 166018 with flag 15307972/3560001
146.68/144.79	c cleaning 84000 clauses out of 168019 with flag 15622487/3645000
150.78/148.87	c cleaning 84996 clauses out of 170019 with flag 15937217/3731000
154.89/152.91	c cleaning 86003 clauses out of 172023 with flag 16257429/3818000
159.01/157.12	c cleaning 86995 clauses out of 174020 with flag 16577323/3906000
163.20/161.31	c cleaning 88003 clauses out of 176026 with flag 16903300/3995001
167.71/165.81	c cleaning 88998 clauses out of 178023 with flag 17238906/4085001
172.20/170.39	c cleaning 90001 clauses out of 180024 with flag 17580192/4176000
176.59/174.77	c cleaning 90995 clauses out of 182024 with flag 17923602/4268001
181.50/179.62	c cleaning 91999 clauses out of 184028 with flag 18272656/4361000
186.29/184.47	c cleaning 92998 clauses out of 186029 with flag 18624524/4455000
191.22/189.48	c cleaning 94003 clauses out of 188031 with flag 18978202/4550000
196.31/194.50	c cleaning 95002 clauses out of 190028 with flag 19337690/4646000
201.29/199.55	c cleaning 96004 clauses out of 192027 with flag 19696782/4743001
206.80/205.09	c cleaning 97003 clauses out of 194024 with flag 20086585/4841002
212.19/210.47	c cleaning 97997 clauses out of 196020 with flag 20477175/4940001
217.97/216.21	c cleaning 98999 clauses out of 198022 with flag 20874270/5040000
224.09/222.48	c cleaning 99997 clauses out of 200024 with flag 21280973/5141001
229.78/228.15	c cleaning 101002 clauses out of 202026 with flag 21705776/5243000
236.19/234.53	c cleaning 102001 clauses out of 204025 with flag 22141389/5346001
242.37/240.75	c cleaning 103006 clauses out of 206024 with flag 22576247/5450001
248.69/247.08	c cleaning 104000 clauses out of 208018 with flag 23019093/5555001
255.51/253.90	c cleaning 104999 clauses out of 210017 with flag 23463814/5661000
262.12/260.58	c cleaning 105998 clauses out of 212018 with flag 23908398/5768000
268.21/266.67	c cleaning 106997 clauses out of 214020 with flag 24342716/5876000
274.71/273.13	c cleaning 107996 clauses out of 216023 with flag 24781720/5985000
281.43/279.96	c cleaning 109004 clauses out of 218028 with flag 25224593/6095001
288.81/287.32	c cleaning 110007 clauses out of 220023 with flag 25690367/6206000
295.53/294.04	c cleaning 110999 clauses out of 222016 with flag 26145678/6318000
302.71/301.22	c cleaning 112004 clauses out of 224018 with flag 26620649/6431001
309.83/308.34	c cleaning 113000 clauses out of 226014 with flag 27095801/6545001
317.84/316.41	c cleaning 114002 clauses out of 228014 with flag 27577209/6660001
326.94/325.54	c cleaning 114999 clauses out of 230011 with flag 28083964/6776000
336.51/335.14	c cleaning 115998 clauses out of 232013 with flag 28596516/6893001
346.86/345.60	c cleaning 117000 clauses out of 234014 with flag 29128802/7011000
359.23/356.90	c cleaning 118001 clauses out of 236014 with flag 29681050/7130001
365.14/362.81	c starts		: 9391
365.14/362.81	c conflicts		: 7221917
365.14/362.81	c decisions		: 10041289
365.14/362.81	c propagations		: 56436060
365.14/362.81	c inspects		: 6352873747
365.14/362.81	c shortcuts		: 0
365.14/362.81	c learnt literals	: 14
365.14/362.81	c learnt binary clauses	: 93
365.14/362.81	c learnt ternary clauses	: 360
365.14/362.81	c learnt constraints	: 7221902
365.14/362.81	c ignored constraints	: 0
365.14/362.81	c root simplifications	: 0
365.14/362.81	c removed literals (reason simplification)	: 6011320
365.14/362.81	c reason swapping (by a shorter reason)	: 0
365.14/362.81	c Calls to reduceDB	: 115
365.14/362.81	c Number of update (reduction) of LBD	: 1533274
365.14/362.81	c Imported unit clauses	: 0
365.14/362.81	c No decision after first conflict	: false
365.14/362.81	c number of reductions to clauses (during analyze)	: 0
365.14/362.81	c number of learned constraints concerned by reduction	: 0
365.14/362.81	c number of learning phase by resolution	: 0
365.14/362.81	c number of learning phase by cutting planes	: 0
365.14/362.81	c number of rounding to 1 operations	: 0
365.14/362.81	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
365.14/362.81	c number of reductions of the coefficients by power 2 	: 0
365.14/362.81	c number of right shift for reduction by power 2 	: 0
365.14/362.81	c number of reductions of the coefficients by GCD over coefficients 	: 0
365.14/362.81	c number of ending skipping 	: 0
365.14/362.81	c number of internal skipping 	: 0
365.14/362.81	c number of derivation steps 	: 0
365.14/362.81	c number of skipped derivation steps 	: 0
365.14/362.81	c number of remaining unassigned 	: 0
365.14/362.81	c number of remaining assigned 	: 0
365.14/362.81	c number of falsified literals weakened from reason	: 0
365.14/362.81	c number of falsified literals weakened from conflict	: 0
365.14/362.81	c time for arithmetic operations	: 0
365.14/362.81	c minimum degree of deleted constraints	: null
365.14/362.81	c maximum degree of deleted constraints	: null
365.14/362.81	c number of deleted constraints	: 0
365.14/362.81	c speed (assignments/second)	: 155632.01654601863
365.14/362.81	c non guided choices	: 290308
365.14/362.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 209822
365.14/362.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 93
365.14/362.88	s UNSATISFIABLE
365.14/362.88	c Total wall clock time (in seconds): 362.756

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 09:57:10 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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 (59728 MiB free)
  memory of node 1: 64507 MiB (54938 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510625-1751198961/watcher-4510625-1751198961 -o /tmp/evaluation-result-4510625-1751198961/solver-4510625-1751198961 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24981 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510625-1751198961 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510625-1751198961.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
solver pid=26885, runsolver pid=26882
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.16 4.20 4.13 5/342 26903
/proc/meminfo: memFree=117402272/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=18930384 memory=57880 CPUtime=0.13 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 6605 0 0 0 11 2 0 0 20 0 18 0 35573866 19384713216 14470 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4732596 14470 5336 1 0 547642 0
[pid=26885/tid=26887] ppid=26882 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 5099 0 0 0 7 1 0 0 20 0 18 0 35573867 19384713216 14470 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=18930384 memory=224227754321 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35573869 19384713216 14470 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=18930384 memory=59585004335488 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35573870 19384713216 14470 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57880 KiB

[startup+0.20574 s]*
/proc/loadavg: 4.16 4.20 4.13 7/343 26904
/proc/meminfo: memFree=117384032/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=18996948 memory=70556 CPUtime=0.32 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 7131 0 0 0 30 2 0 0 20 0 19 0 35573866 19452874752 17639 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4749237 17639 5432 1 0 548280 0
[pid=26885/tid=26887] ppid=26882 vsize=18996948 memory=4026597660 CPUtime=0.18 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 5356 0 0 0 17 1 0 0 20 0 19 0 35573867 19452874752 17639 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=18996948 memory=16195 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35573869 19452874752 17639 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=18996948 memory=58485492679654 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35573870 19452874752 17639 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35573885 19452874752 17639 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70556 KiB

[startup+0.305925 s]*
/proc/loadavg: 4.16 4.20 4.13 6/343 26904
/proc/meminfo: memFree=117363052/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=18996948 memory=79564 CPUtime=0.52 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 9820 0 0 0 49 3 0 0 20 0 19 0 35573866 19452874752 19891 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4749237 19891 5432 1 0 549901 0
[pid=26885/tid=26887] ppid=26882 vsize=18996948 memory=-6000919498425788013 CPUtime=0.23 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 5374 0 0 0 22 1 0 0 20 0 19 0 35573867 19452874752 19891 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35573869 19452874752 19891 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35573870 19452874752 19891 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35573885 19452874752 19891 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79564 KiB

[startup+0.700238 s]
/proc/loadavg: 4.16 4.20 4.13 6/343 26904
/proc/meminfo: memFree=117333012/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=18996948 memory=135584 CPUtime=1.29 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 16004 0 0 0 124 5 0 0 20 0 19 0 35573866 19452874752 33896 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4749237 33896 5464 1 0 553480 0
[pid=26885/tid=26887] ppid=26882 vsize=18996948 memory=17280 CPUtime=0.57 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 5480 0 0 0 55 2 0 0 20 0 19 0 35573867 19452874752 33896 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35573869 19452874752 33896 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35573870 19452874752 33896 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35573885 19452874752 33896 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 135584 KiB

[startup+1.50023 s]
/proc/loadavg: 4.16 4.20 4.13 6/343 26904
/proc/meminfo: memFree=117264896/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=176388 CPUtime=2.86 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 23150 0 0 0 279 7 0 0 20 0 20 0 35573866 19521036288 44097 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 44097 5464 1 0 554069 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=0 CPUtime=1.34 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 5938 0 0 0 130 4 0 0 20 0 20 0 35573867 19521036288 44097 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 44097 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 44097 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 44097 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176388 KiB

[startup+3.10553 s]
/proc/loadavg: 4.15 4.19 4.13 5/344 26905
/proc/meminfo: memFree=117168296/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=257056 CPUtime=5.4 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 26144 0 0 0 529 11 0 0 20 0 20 0 35573866 19521036288 64264 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 64264 5464 1 0 554073 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=10752 CPUtime=2.92 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 6422 0 0 0 284 8 0 0 20 0 20 0 35573867 19521036288 64264 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=-6000919498425788013 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 64264 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 64264 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 64264 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 257056 KiB

[startup+6.3002 s]
/proc/loadavg: 4.15 4.19 4.13 5/344 26905
/proc/meminfo: memFree=116882220/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=488776 CPUtime=8.82 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 26560 0 0 0 862 20 0 0 20 0 20 0 35573866 19521036288 122194 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 122194 5464 1 0 554075 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=0 CPUtime=6.1 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 6751 0 0 0 594 16 0 0 20 0 20 0 35573867 19521036288 122194 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 122194 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 122194 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=176388 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 122194 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 8.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 488776 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.19 4.13 5/344 26906
/proc/meminfo: memFree=116216844/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1093088 CPUtime=15.22 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 29806 0 0 0 1486 36 0 0 20 0 20 0 35573866 19521036288 273272 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 273272 5496 1 0 554075 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=176388 CPUtime=12.47 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 8257 0 0 0 1215 32 0 0 20 0 20 0 35573867 19521036288 273272 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=1039816 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 273272 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 273272 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 273272 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 15.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1093088 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.18 4.12 5/344 26906
/proc/meminfo: memFree=115859332/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1306084 CPUtime=28 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 32291 0 0 0 2751 49 0 0 20 0 20 0 35573866 19521036288 326521 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 326521 5496 1 0 554075 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=1039816 CPUtime=25.22 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 9491 0 0 0 2477 45 0 0 20 0 20 0 35573867 19521036288 326521 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 326521 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=-6000919498425788013 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 326521 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 326521 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1306084 KiB

[startup+51.1062 s]
/proc/loadavg: 4.07 4.16 4.12 6/344 26906
/proc/meminfo: memFree=115613408/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1318400 CPUtime=53.42 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 35601 0 0 0 5275 67 0 0 20 0 20 0 35573866 19521036288 329600 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 329600 5496 1 0 554075 0

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

/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 340928 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 283.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1363712 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/322 27021
/proc/meminfo: memFree=117259568/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1376032 CPUtime=343.59 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 46558 0 0 0 34128 231 0 0 20 0 20 0 35573866 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 344008 5496 1 0 554091 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=1353456 CPUtime=339.52 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 15407 0 0 0 33734 218 0 0 20 0 20 0 35573867 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=1347220 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=1371932 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 170 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 343.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1376032 KiB

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

# cumulated CPU time of all completed processes:  user=362.754 s, system=2.51487 s

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

[startup+345.6 s]
/proc/loadavg: 4.22 4.16 4.11 5/322 27021
/proc/meminfo: memFree=117068940/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1376032 CPUtime=346.86 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 46635 0 0 0 34451 235 0 0 20 0 20 0 35573866 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 344008 5496 1 0 554091 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=1376032 CPUtime=342.78 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 15454 0 0 0 34056 222 0 0 20 0 20 0 35573867 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=1367832 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=17280 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 170 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 346.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1376032 KiB

[startup+352 s]*
/proc/loadavg: 4.20 4.15 4.11 5/322 27021
/proc/meminfo: memFree=116626056/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1376032 CPUtime=353.23 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 47099 0 0 0 35084 239 0 0 20 0 20 0 35573866 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 344008 5496 1 0 554091 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=7686721470234009239 CPUtime=349.16 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 15744 0 0 0 34690 226 0 0 20 0 20 0 35573867 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=-4421386517739824229 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=4916 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 170 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=6700 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 344008 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 353.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1376032 KiB

[startup+358.4 s]
/proc/loadavg: 4.17 4.15 4.11 5/322 27021
/proc/meminfo: memFree=116208896/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1392904 CPUtime=360.73 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 57238 0 0 0 35826 247 0 0 20 0 20 0 35573866 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 348226 5496 1 0 555653 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=1363712 CPUtime=355.5 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 16758 0 0 0 35318 232 0 0 20 0 20 0 35573867 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 170 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 360.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1392904 KiB

[startup+360 s]*
/proc/loadavg: 4.17 4.15 4.11 5/322 27021
/proc/meminfo: memFree=116079392/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1392904 CPUtime=362.32 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 57251 0 0 0 35985 247 0 0 20 0 20 0 35573866 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 348226 5496 1 0 555653 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=7686721470234009239 CPUtime=357.11 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 16771 0 0 0 35478 233 0 0 20 0 20 0 35573867 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=-4421386517739824229 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 170 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 348226 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 362.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1392904 KiB

[startup+361.6 s]
/proc/loadavg: 4.17 4.15 4.11 5/322 27022
/proc/meminfo: memFree=116007384/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1384048 CPUtime=363.9 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 57397 0 0 0 36141 249 0 0 20 0 20 0 35573866 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 346012 5496 1 0 555653 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=5760 CPUtime=358.68 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 16790 0 0 0 35634 234 0 0 20 0 20 0 35573867 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=1384048 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 186 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=21996 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 363.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1384048 KiB

[startup+362.4 s]
/proc/loadavg: 4.17 4.15 4.11 5/322 27022
/proc/meminfo: memFree=115950936/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1384048 CPUtime=364.71 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 57412 0 0 0 36221 250 0 0 20 0 20 0 35573866 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 346012 5496 1 0 555653 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=1392904 CPUtime=359.48 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) R 26882 26885 24970 0 -1 4194368 16793 0 0 0 35713 235 0 0 20 0 20 0 35573867 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=1384048 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 186 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=2162504 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 364.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1384048 KiB

[startup+362.8 s]
/proc/loadavg: 4.17 4.15 4.11 5/322 27022
/proc/meminfo: memFree=115950936/131249996 swapFree=33010684/33010684
[pid=26885] ppid=26882 vsize=19063512 memory=1384048 CPUtime=365.14 cores=4,6
/proc/26885/stat : 26885 (java) S 26882 26885 24970 0 -1 4194304 57673 0 0 0 36264 250 0 0 20 0 20 0 35573866 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
/proc/26885/statm: 4765878 346012 5496 1 0 555653 0
[pid=26885/tid=26887] ppid=26882 vsize=19063512 memory=245635481903 CPUtime=359.84 cores=4,6
/proc/26885/task/26887/stat : 26887 (java) D 26882 26885 24970 0 -1 4194368 17038 0 0 0 35749 235 0 0 20 0 20 0 35573867 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26896] ppid=26882 vsize=19063512 memory=57411700523765 CPUtime=0 cores=4,6
/proc/26885/task/26896/stat : 26896 (Finalizer) S 26882 26885 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35573869 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26903] ppid=26882 vsize=19063512 memory=93603 CPUtime=0 cores=4,6
/proc/26885/task/26903/stat : 26903 (Common-Cleaner) S 26882 26885 24970 0 -1 4194368 186 0 0 0 0 0 0 0 20 0 20 0 35573870 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
[pid=26885/tid=26904] ppid=26882 vsize=19063512 memory=9216 CPUtime=0 cores=4,6
/proc/26885/task/26904/stat : 26904 (Timer-0) S 26882 26885 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35573885 19521036288 346012 18446744073709551615 94658604896256 94658604899952 140730878185264 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94658604907768 94658604908560 94658614996992 140730878187824 140730878188006 140730878188006 140730878193608 0
Current children cumulated CPU time: 365.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1384048 KiB

Child status: 20

Real time (s): 362.892
CPU time (s): 365.269
CPU user time (s): 362.754
CPU system time (s): 2.51487
CPU usage (%): 100.655
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1392904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 362.754
system time used= 2.51487
maximum resident set size= 1393172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1791328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13378
involuntary context switches= 2213


# summary of solver processes directly reported to runsolver:
#   pid: 26885
#   total CPU time (s): 365.269
#   total CPU user time (s): 362.754
#   total CPU system time (s): 2.51487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.789006 second user time and 1.71781 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 14:09:21
IDJOB=4510625
IDBENCH=160374
IDSOLVER=3364
FILE ID=nodeC017/4510625-1751198961
RUNJOBID= nodeC017-1751191606-24981
SLURM_JOB_ID= 9587581
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510625-1751198961/watcher-4510625-1751198961 -o /tmp/evaluation-result-4510625-1751198961/solver-4510625-1751198961 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24981 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510625-1751198961 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510625-1751198961.opb

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

MD5SUM BENCH= 6c6f54dbad76425fd68d4f6d2aa72935
RANDOM SEED=1984590622

nodeC017 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		: 3600.090
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	: 7000.12
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		: 3600.060
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	: 7000.12
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		: 3633.626
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	: 7000.12
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		: 3571.201
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.061
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	: 7000.12
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.067
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	: 7000.12
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		: 3587.643
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	: 7000.12
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.190
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        117418580 kB
MemAvailable:   124710800 kB
Buffers:            3280 kB
Cached:          8093232 kB
SwapCached:            0 kB
Active:          5410444 kB
Inactive:        7839488 kB
Active(anon):    5171568 kB
Inactive(anon):        0 kB
Active(file):     238876 kB
Inactive(file):  7839488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             92760 kB
Writeback:             0 kB
AnonPages:       5155836 kB
Mapped:           122836 kB
Shmem:             18080 kB
KReclaimable:     105788 kB
Slab:             195944 kB
SReclaimable:     105788 kB
SUnreclaim:        90156 kB
KernelStack:        5280 kB
PageTables:        13684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7059352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4937728 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-06-29 14:15:24