Trace number 4510481

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. 583.228 581.616

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
MD5SUMab4f361084eaa55350d5ce36089ad752
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 benchmark28.6033
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 constraints2802
Number of constraints which are clauses2802
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 5
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-4510481-1751198244.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  no objective function found
0.12/0.20	c ... done. Wall clock time 0.072s.
0.12/0.20	c declared #vars     701
0.12/0.20	c #constraints  2802
0.12/0.20	c constraints type 
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2800
0.12/0.20	c 2802 constraints processed.
1.08/0.64	c cleaning 2494 clauses out of 5001 with flag 24419/5001
1.66/0.95	c cleaning 4236 clauses out of 8507 with flag 52021/11001
2.44/1.31	c cleaning 5624 clauses out of 11271 with flag 84658/18001
2.85/1.51	c cleaning 6785 clauses out of 13647 with flag 126818/26001
3.24/1.73	c cleaning 7913 clauses out of 15861 with flag 178160/35000
3.56/1.97	c cleaning 8946 clauses out of 17948 with flag 235598/45000
3.96/2.19	c cleaning 9996 clauses out of 20002 with flag 296035/56000
4.31/2.41	c cleaning 10981 clauses out of 22006 with flag 362744/68000
4.50/2.67	c cleaning 11999 clauses out of 24026 with flag 436426/81001
4.81/2.97	c cleaning 12979 clauses out of 26026 with flag 517685/95000
5.20/3.31	c cleaning 13984 clauses out of 28048 with flag 605939/110001
5.50/3.66	c cleaning 14989 clauses out of 30063 with flag 704149/126000
5.94/4.04	c cleaning 16018 clauses out of 32075 with flag 807457/143001
6.39/4.44	c cleaning 16986 clauses out of 34056 with flag 910175/161000
6.79/4.89	c cleaning 18001 clauses out of 36070 with flag 1023410/180000
7.28/5.38	c cleaning 18999 clauses out of 38070 with flag 1135507/200001
7.78/5.88	c cleaning 20017 clauses out of 40070 with flag 1253228/221000
8.38/6.44	c cleaning 20981 clauses out of 42053 with flag 1381359/243000
8.99/7.03	c cleaning 21996 clauses out of 44074 with flag 1505601/266002
9.59/7.66	c cleaning 22999 clauses out of 46076 with flag 1641993/290000
10.29/8.33	c cleaning 24007 clauses out of 48077 with flag 1778306/315000
11.00/9.05	c cleaning 25018 clauses out of 50071 with flag 1924467/341001
11.78/9.85	c cleaning 25996 clauses out of 52053 with flag 2074341/368001
12.58/10.66	c cleaning 26983 clauses out of 54057 with flag 2230072/396001
13.48/11.52	c cleaning 27993 clauses out of 56074 with flag 2387224/425001
14.38/12.44	c cleaning 29028 clauses out of 58080 with flag 2553188/455000
15.38/13.44	c cleaning 29996 clauses out of 60053 with flag 2719804/486001
16.39/14.49	c cleaning 31003 clauses out of 62057 with flag 2891706/518001
17.49/15.51	c cleaning 31996 clauses out of 64054 with flag 3063911/551001
18.48/16.58	c cleaning 33006 clauses out of 66058 with flag 3240314/585001
19.69/17.72	c cleaning 34004 clauses out of 68051 with flag 3417609/620000
20.89/18.91	c cleaning 35004 clauses out of 70047 with flag 3606322/656000
22.09/20.14	c cleaning 36004 clauses out of 72043 with flag 3795507/693000
23.38/21.41	c cleaning 36987 clauses out of 74041 with flag 3986771/731002
24.68/22.71	c cleaning 37993 clauses out of 76054 with flag 4184169/770002
26.08/24.10	c cleaning 39019 clauses out of 78060 with flag 4383494/810001
27.57/25.60	c cleaning 40012 clauses out of 80041 with flag 4590114/851001
29.07/27.16	c cleaning 40994 clauses out of 82029 with flag 4801129/893001
30.77/28.83	c cleaning 42006 clauses out of 84034 with flag 5015257/936000
32.46/30.54	c cleaning 42987 clauses out of 86028 with flag 5238601/980000
34.15/32.28	c cleaning 44017 clauses out of 88042 with flag 5463148/1025001
35.95/34.01	c cleaning 44981 clauses out of 90024 with flag 5691271/1071000
37.72/35.91	c cleaning 46002 clauses out of 92045 with flag 5918952/1118002
39.62/37.81	c cleaning 47016 clauses out of 94041 with flag 6158579/1166000
41.51/39.71	c cleaning 48003 clauses out of 96025 with flag 6390401/1215000
43.53/41.77	c cleaning 48992 clauses out of 98023 with flag 6629998/1265001
45.72/43.92	c cleaning 49986 clauses out of 100030 with flag 6872473/1316000
47.92/46.15	c cleaning 51004 clauses out of 102045 with flag 7115674/1368001
50.11/48.36	c cleaning 52012 clauses out of 104042 with flag 7364934/1421002
52.50/50.75	c cleaning 52994 clauses out of 106029 with flag 7624822/1475001
54.90/53.13	c cleaning 53997 clauses out of 108035 with flag 7876536/1530001
57.20/55.42	c cleaning 54990 clauses out of 110037 with flag 8130438/1586000
59.49/57.79	c cleaning 56007 clauses out of 112048 with flag 8392792/1643001
62.08/60.30	c cleaning 56995 clauses out of 114042 with flag 8660422/1701002
64.70/62.97	c cleaning 58003 clauses out of 116046 with flag 8939608/1760001
67.52/65.81	c cleaning 59002 clauses out of 118043 with flag 9217233/1820001
70.21/68.58	c cleaning 59998 clauses out of 120040 with flag 9492344/1881000
73.20/71.52	c cleaning 61005 clauses out of 122043 with flag 9776014/1943001
76.10/74.48	c cleaning 62000 clauses out of 124038 with flag 10062064/2006001
79.29/77.64	c cleaning 63010 clauses out of 126037 with flag 10355464/2070000
82.60/80.92	c cleaning 63990 clauses out of 128027 with flag 10650718/2135000
85.80/84.15	c cleaning 65009 clauses out of 130039 with flag 10942415/2201002
88.99/87.34	c cleaning 65997 clauses out of 132029 with flag 11237848/2268001
92.38/90.79	c cleaning 66995 clauses out of 134031 with flag 11538444/2336000
95.97/94.34	c cleaning 67999 clauses out of 136036 with flag 11846812/2405000
99.48/97.97	c cleaning 68999 clauses out of 138037 with flag 12150021/2475000
103.08/101.56	c cleaning 69999 clauses out of 140038 with flag 12460156/2546000
106.68/105.13	c cleaning 71005 clauses out of 142039 with flag 12765493/2618000
110.48/108.92	c cleaning 72007 clauses out of 144035 with flag 13077415/2691001
114.18/112.63	c cleaning 72997 clauses out of 146027 with flag 13389819/2765000
118.17/116.63	c cleaning 73995 clauses out of 148030 with flag 13715087/2840000
122.26/120.78	c cleaning 75012 clauses out of 150035 with flag 14039657/2916000
126.45/124.97	c cleaning 75993 clauses out of 152023 with flag 14368333/2993000
130.56/129.15	c cleaning 77009 clauses out of 154031 with flag 14691974/3071001
134.64/133.24	c cleaning 78001 clauses out of 156022 with flag 15017459/3150001
138.68/137.24	c cleaning 78992 clauses out of 158020 with flag 15349352/3230000
142.86/141.43	c cleaning 79999 clauses out of 160028 with flag 15677269/3311000
146.95/145.52	c cleaning 81002 clauses out of 162029 with flag 16014067/3393000
150.85/149.47	c cleaning 82000 clauses out of 164028 with flag 16349864/3476001
154.95/153.53	c cleaning 82996 clauses out of 166028 with flag 16684421/3560001
159.06/157.74	c cleaning 84001 clauses out of 168032 with flag 17023210/3645001
163.45/162.19	c cleaning 85002 clauses out of 170031 with flag 17374290/3731001
167.95/166.69	c cleaning 85999 clauses out of 172028 with flag 17730280/3818000
172.74/171.48	c cleaning 87004 clauses out of 174030 with flag 18094187/3906001
177.62/176.39	c cleaning 88002 clauses out of 176026 with flag 18452456/3995001
182.43/181.11	c cleaning 88994 clauses out of 178023 with flag 18805617/4085000
187.32/186.08	c cleaning 90006 clauses out of 180029 with flag 19168260/4176000
192.21/191.07	c cleaning 90995 clauses out of 182025 with flag 19538833/4268002
197.22/196.01	c cleaning 92006 clauses out of 184029 with flag 19899693/4361001
202.00/200.82	c cleaning 92996 clauses out of 186023 with flag 20253403/4455001
207.12/205.91	c cleaning 94004 clauses out of 188027 with flag 20636455/4550001
211.91/210.79	c cleaning 95007 clauses out of 190023 with flag 21008055/4646001
217.20/216.06	c cleaning 95997 clauses out of 192015 with flag 21391420/4743000
222.53/221.44	c cleaning 97010 clauses out of 194020 with flag 21772550/4841002
227.52/226.49	c cleaning 97993 clauses out of 196009 with flag 22148320/4940001
233.01/231.99	c cleaning 98994 clauses out of 198016 with flag 22544344/5040001
238.41/237.32	c cleaning 100001 clauses out of 200022 with flag 22930202/5141001
244.10/243.01	c cleaning 100998 clauses out of 202020 with flag 23333645/5243000
249.82/248.77	c cleaning 102002 clauses out of 204022 with flag 23734573/5346000
255.62/254.63	c cleaning 103006 clauses out of 206021 with flag 24139741/5450001
261.61/260.65	c cleaning 103998 clauses out of 208015 with flag 24558611/5555001
268.02/267.08	c cleaning 104996 clauses out of 210016 with flag 24977345/5661000
274.39/273.48	c cleaning 106004 clauses out of 212021 with flag 25401830/5768001
280.71/279.70	c cleaning 106998 clauses out of 214016 with flag 25826465/5876000
286.63/285.79	c cleaning 107997 clauses out of 216018 with flag 26249415/5985000
293.21/292.31	c cleaning 108996 clauses out of 218022 with flag 26683496/6095001
299.72/298.86	c cleaning 109998 clauses out of 220025 with flag 27135406/6206000
306.80/305.90	c cleaning 111004 clauses out of 222028 with flag 27590425/6318001
313.89/313.03	c cleaning 112001 clauses out of 224023 with flag 28060968/6431000
321.27/320.46	c cleaning 112999 clauses out of 226022 with flag 28538161/6545000
328.99/328.14	c cleaning 113995 clauses out of 228023 with flag 29014731/6660000
336.67/335.86	c cleaning 115000 clauses out of 230028 with flag 29495905/6776000
344.40/343.65	c cleaning 116009 clauses out of 232028 with flag 29976658/6893000
352.29/351.52	c cleaning 117001 clauses out of 234020 with flag 30470858/7011001
360.78/360.03	c cleaning 117998 clauses out of 236019 with flag 30967977/7130001
369.27/368.50	c cleaning 118998 clauses out of 238021 with flag 31469120/7250001
377.99/377.34	c cleaning 120003 clauses out of 240023 with flag 31966374/7371001
386.40/385.76	c cleaning 120998 clauses out of 242019 with flag 32471443/7493000
395.79/395.13	c cleaning 122001 clauses out of 244023 with flag 32991905/7616002
404.75/404.15	c cleaning 123001 clauses out of 246020 with flag 33509600/7740000
415.12/414.53	c cleaning 123998 clauses out of 248019 with flag 34034299/7865000
425.75/425.16	c cleaning 125003 clauses out of 250022 with flag 34568789/7991001
436.16/435.62	c cleaning 126003 clauses out of 252020 with flag 35107073/8118002
447.38/446.86	c cleaning 127000 clauses out of 254015 with flag 35660004/8246000
458.36/457.88	c cleaning 128000 clauses out of 256016 with flag 36199004/8375001
469.93/469.44	c cleaning 128999 clauses out of 258016 with flag 36736620/8505001
481.04/480.51	c cleaning 130001 clauses out of 260017 with flag 37276593/8636001
492.20/491.66	c cleaning 131003 clauses out of 262018 with flag 37825447/8768003
504.02/503.59	c cleaning 132001 clauses out of 264013 with flag 38370382/8901001
515.90/515.38	c cleaning 132996 clauses out of 266011 with flag 38925358/9035000
527.75/527.27	c cleaning 133999 clauses out of 268015 with flag 39482551/9170000
540.54/539.92	c cleaning 134999 clauses out of 270016 with flag 40045338/9306000
554.74/554.11	c cleaning 136001 clauses out of 272017 with flag 40638745/9443000
571.00/570.46	c cleaning 137003 clauses out of 274016 with flag 41266616/9581000
583.09/581.51	c starts		: 11582
583.09/581.51	c conflicts		: 9697752
583.09/581.51	c decisions		: 13286563
583.09/581.51	c propagations		: 84780109
583.09/581.51	c inspects		: 10447712000
583.09/581.51	c shortcuts		: 0
583.09/581.51	c learnt literals	: 13
583.09/581.51	c learnt binary clauses	: 77
583.09/581.51	c learnt ternary clauses	: 298
583.09/581.51	c learnt constraints	: 9697738
583.09/581.51	c ignored constraints	: 0
583.09/581.51	c root simplifications	: 0
583.09/581.51	c removed literals (reason simplification)	: 8737022
583.09/581.51	c reason swapping (by a shorter reason)	: 0
583.09/581.51	c Calls to reduceDB	: 134
583.09/581.51	c Number of update (reduction) of LBD	: 2113897
583.09/581.51	c Imported unit clauses	: 0
583.09/581.51	c No decision after first conflict	: false
583.09/581.51	c number of reductions to clauses (during analyze)	: 0
583.09/581.51	c number of learned constraints concerned by reduction	: 0
583.09/581.51	c number of learning phase by resolution	: 0
583.09/581.51	c number of learning phase by cutting planes	: 0
583.09/581.51	c number of rounding to 1 operations	: 0
583.09/581.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
583.09/581.51	c number of reductions of the coefficients by power 2 	: 0
583.09/581.51	c number of right shift for reduction by power 2 	: 0
583.09/581.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
583.09/581.51	c number of ending skipping 	: 0
583.09/581.51	c number of internal skipping 	: 0
583.09/581.51	c number of derivation steps 	: 0
583.09/581.51	c number of skipped derivation steps 	: 0
583.09/581.51	c number of remaining unassigned 	: 0
583.09/581.51	c number of remaining assigned 	: 0
583.09/581.51	c number of falsified literals weakened from reason	: 0
583.09/581.51	c number of falsified literals weakened from conflict	: 0
583.09/581.51	c time for arithmetic operations	: 0
583.09/581.51	c minimum degree of deleted constraints	: null
583.09/581.51	c maximum degree of deleted constraints	: null
583.09/581.51	c number of deleted constraints	: 0
583.09/581.51	c speed (assignments/second)	: 145846.20796906235
583.09/581.51	c non guided choices	: 367149
583.09/581.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 253674
583.09/581.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 77
583.09/581.58	s UNSATISFIABLE
583.09/581.58	c Total wall clock time (in seconds): 581.458

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 01:51:48 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 (61893 MiB free)
  memory of node 1: 64507 MiB (53796 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510481-1751198244/watcher-4510481-1751198244 -o /tmp/evaluation-result-4510481-1751198244/solver-4510481-1751198244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24981 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510481-1751198244 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510481-1751198244.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
Current StackSize limit: 8192 KiB

solver pid=26574, runsolver pid=26571

[startup+0.100061 s]*
/proc/loadavg: 4.13 4.14 4.10 5/344 26592
/proc/meminfo: memFree=118444276/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=18930384 memory=57832 CPUtime=0.12 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 6587 0 0 0 11 1 0 0 20 0 18 0 35502117 19384713216 14458 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4732596 14458 5339 1 0 547622 0
[pid=26574/tid=26576] ppid=26571 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 5080 0 0 0 7 1 0 0 20 0 18 0 35502119 19384713216 14458 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=18930384 memory=224227754321 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35502121 19384713216 14458 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=18930384 memory=59585004335488 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35502121 19384713216 14458 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57832 KiB

[startup+0.20571 s]*
/proc/loadavg: 4.13 4.14 4.10 7/344 26592
/proc/meminfo: memFree=118443520/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=18930384 memory=66188 CPUtime=0.33 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 7068 0 0 0 31 2 0 0 20 0 18 0 35502117 19384713216 16547 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4732596 16547 5435 1 0 547946 0
[pid=26574/tid=26576] ppid=26571 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 5293 0 0 0 16 1 0 0 20 0 18 0 35502119 19384713216 16547 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=18930384 memory=16195 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35502121 19384713216 16547 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35502121 19384713216 16547 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66188 KiB

[startup+0.305865 s]*
/proc/loadavg: 4.13 4.14 4.10 7/345 26593
/proc/meminfo: memFree=118435140/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=18996948 memory=74732 CPUtime=0.51 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 8509 0 0 0 49 2 0 0 20 0 19 0 35502117 19452874752 18683 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4749237 18683 5435 1 0 549227 0
[pid=26574/tid=26576] ppid=26571 vsize=18996948 memory=-6000919502737729133 CPUtime=0.25 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 5366 0 0 0 24 1 0 0 20 0 19 0 35502119 19452874752 18683 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35502121 19452874752 18683 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35502121 19452874752 18683 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35502139 19452874752 18683 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74732 KiB

[startup+0.700225 s]
/proc/loadavg: 4.13 4.14 4.10 6/345 26593
/proc/meminfo: memFree=118416428/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=18996948 memory=129744 CPUtime=1.26 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 16249 0 0 0 122 4 0 0 20 0 19 0 35502117 19452874752 32436 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4749237 32436 5435 1 0 553590 0
[pid=26574/tid=26576] ppid=26571 vsize=18996948 memory=17280 CPUtime=0.6 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 5455 0 0 0 58 2 0 0 20 0 19 0 35502119 19452874752 32436 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35502121 19452874752 32436 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35502121 19452874752 32436 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35502139 19452874752 32436 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 129744 KiB

[startup+1.50022 s]
/proc/loadavg: 4.13 4.14 4.10 6/345 26593
/proc/meminfo: memFree=118359792/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=177212 CPUtime=2.85 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 23001 0 0 0 278 7 0 0 20 0 20 0 35502117 19521036288 44303 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 44303 5467 1 0 554219 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=10752 CPUtime=1.39 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 5946 0 0 0 135 4 0 0 20 0 20 0 35502119 19521036288 44303 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 44303 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 44303 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 44303 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177212 KiB

[startup+3.10591 s]
/proc/loadavg: 4.13 4.14 4.10 5/346 26594
/proc/meminfo: memFree=118265720/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=251480 CPUtime=5.01 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 25076 0 0 0 491 10 0 0 20 0 20 0 35502117 19521036288 62870 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 62870 5467 1 0 554236 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=10752 CPUtime=2.95 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 6356 0 0 0 288 7 0 0 20 0 20 0 35502119 19521036288 62870 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=-6000919502737729133 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 62870 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 62870 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 62870 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 251480 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.14 4.10 5/346 26594
/proc/meminfo: memFree=117914608/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=535916 CPUtime=8.28 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 25668 0 0 0 808 20 0 0 20 0 20 0 35502117 19521036288 133979 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 133979 5467 1 0 554237 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=0 CPUtime=6.12 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 6779 0 0 0 595 17 0 0 20 0 20 0 35502119 19521036288 133979 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 133979 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 133979 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=177340 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 133979 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 535916 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.10 5/346 26594
/proc/meminfo: memFree=117154240/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1093108 CPUtime=14.68 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 28201 0 0 0 1431 37 0 0 20 0 20 0 35502117 19521036288 273277 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 273277 5499 1 0 554237 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=177340 CPUtime=12.5 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 8638 0 0 0 1216 34 0 0 20 0 20 0 35502119 19521036288 273277 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 273277 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=943604 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 273277 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 273277 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 14.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1093108 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.10 5/346 26594
/proc/meminfo: memFree=116748700/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1314320 CPUtime=27.47 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 30533 0 0 0 2696 51 0 0 20 0 20 0 35502117 19521036288 328580 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 328580 5499 1 0 554237 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=10752 CPUtime=25.23 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 9108 0 0 0 2476 47 0 0 20 0 20 0 35502119 19521036288 328580 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=943604 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 328580 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 328580 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 328580 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 27.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314320 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.13 4.09 5/346 26595
/proc/meminfo: memFree=116512104/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1318432 CPUtime=52.91 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 33446 0 0 0 5223 68 0 0 20 0 20 0 35502117 19521036288 329608 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 329608 5499 1 0 554237 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=21996 CPUtime=50.6 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 10282 0 0 0 4996 64 0 0 20 0 20 0 35502119 19521036288 329608 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0

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

/proc/meminfo: memFree=113141068/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1417216 CPUtime=522.89 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 54183 0 0 0 52018 271 0 0 20 0 20 0 35502117 19521036288 354304 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 354304 5499 1 0 554237 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=1398740 CPUtime=518.57 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 17714 0 0 0 51601 256 0 0 20 0 20 0 35502119 19521036288 354304 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 354304 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=-6000919502737729133 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 349 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 354304 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=1417216 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 354304 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 522.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1417216 KiB

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

# cumulated CPU time of all completed processes:  user=580.35 s, system=2.87789 s

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

[startup+537.6 s]
/proc/loadavg: 4.38 4.21 4.12 5/344 26630
/proc/meminfo: memFree=113039160/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1429596 CPUtime=538.25 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 54255 0 0 0 53549 276 0 0 20 0 20 0 35502117 19521036288 357399 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 357399 5499 1 0 554237 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=17280 CPUtime=533.72 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 17723 0 0 0 53112 260 0 0 20 0 20 0 35502119 19521036288 357399 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=1417216 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 357399 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=1417216 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 349 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 357399 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=1417216 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 357399 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 538.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1429596 KiB

[startup+563.2 s]
/proc/loadavg: 4.25 4.20 4.12 5/343 26632
/proc/meminfo: memFree=112905348/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1439876 CPUtime=563.81 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 54304 0 0 0 56100 281 0 0 20 0 20 0 35502117 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 359969 5499 1 0 554237 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=1402840 CPUtime=559.14 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 17729 0 0 0 55649 265 0 0 20 0 20 0 35502119 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=1417216 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=1429596 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 361 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=1429596 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 563.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1439876 KiB

[startup+569.6 s]
/proc/loadavg: 4.23 4.19 4.12 5/343 26632
/proc/meminfo: memFree=112850900/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1439876 CPUtime=570.2 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 54306 0 0 0 56738 282 0 0 20 0 20 0 35502117 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 359969 5499 1 0 554237 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=10752 CPUtime=565.53 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 17730 0 0 0 56287 266 0 0 20 0 20 0 35502119 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 361 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 570.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1439876 KiB

[startup+576.01 s]*
/proc/loadavg: 4.27 4.20 4.12 7/343 26632
/proc/meminfo: memFree=112809200/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1439876 CPUtime=576.62 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 55668 0 0 0 57378 284 0 0 20 0 20 0 35502117 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 359969 5499 1 0 554237 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=-6000919502737729133 CPUtime=571.93 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 18764 0 0 0 56925 268 0 0 20 0 20 0 35502119 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=7366555964831473172 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 361 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 359969 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 576.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1439876 KiB

[startup+579.2 s]
/proc/loadavg: 4.27 4.20 4.12 4/321 26709
/proc/meminfo: memFree=117090428/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1448068 CPUtime=580.18 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 59119 0 0 0 57733 285 0 0 20 0 20 0 35502117 19521036288 362017 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 362017 5499 1 0 554639 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=4294967901 CPUtime=575.11 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 18773 0 0 0 57242 269 0 0 20 0 20 0 35502119 19521036288 362017 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 362017 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=17280 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 361 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 362017 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 362017 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 580.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1448068 KiB

[startup+580.8 s]
/proc/loadavg: 4.27 4.20 4.12 8/342 26764
/proc/meminfo: memFree=117054696/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1442336 CPUtime=582.39 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 59631 0 0 0 57953 286 0 0 20 0 20 0 35502117 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 360584 5499 1 0 554953 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=3072 CPUtime=576.7 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 18816 0 0 0 57401 269 0 0 20 0 20 0 35502119 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=6784 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=-6000919502737729133 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 361 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 582.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1442336 KiB

[startup+581.2 s]
/proc/loadavg: 4.48 4.25 4.14 6/344 26766
/proc/meminfo: memFree=116943504/131249996 swapFree=33010684/33010684
[pid=26574] ppid=26571 vsize=19063512 memory=1442336 CPUtime=582.79 cores=4,6
/proc/26574/stat : 26574 (java) S 26571 26574 24970 0 -1 4194304 59631 0 0 0 57993 286 0 0 20 0 20 0 35502117 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
/proc/26574/statm: 4765878 360584 5499 1 0 554953 0
[pid=26574/tid=26576] ppid=26571 vsize=19063512 memory=6896 CPUtime=577.1 cores=4,6
/proc/26574/task/26576/stat : 26576 (java) R 26571 26574 24970 0 -1 4194368 18816 0 0 0 57441 269 0 0 20 0 20 0 35502119 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26585] ppid=26571 vsize=19063512 memory=1448068 CPUtime=0 cores=4,6
/proc/26574/task/26585/stat : 26585 (Finalizer) S 26571 26574 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26592] ppid=26571 vsize=19063512 memory=128 CPUtime=0 cores=4,6
/proc/26574/task/26592/stat : 26592 (Common-Cleaner) S 26571 26574 24970 0 -1 4194368 361 0 0 0 0 0 0 0 20 0 20 0 35502121 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
[pid=26574/tid=26593] ppid=26571 vsize=19063512 memory=1439876 CPUtime=0 cores=4,6
/proc/26574/task/26593/stat : 26593 (Timer-0) S 26571 26574 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35502139 19521036288 360584 18446744073709551615 94114136567808 94114136571504 140728325265680 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94114136579320 94114136580112 94114162794496 140728325273904 140728325274086 140728325274086 140728325279688 0
Current children cumulated CPU time: 582.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1442336 KiB

[startup+581.606 s]*
/proc/loadavg: 4.48 4.25 4.14 6/323 26768
/proc/meminfo: memFree=118344080/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 20

Real time (s): 581.616
CPU time (s): 583.228
CPU user time (s): 580.35
CPU system time (s): 2.87789
CPU usage (%): 100.277
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1449604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 580.35
system time used= 2.87789
maximum resident set size= 1449604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61063
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2420360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20424
involuntary context switches= 2014


# summary of solver processes directly reported to runsolver:
#   pid: 26574
#   total CPU time (s): 583.228
#   total CPU user time (s): 580.35
#   total CPU system time (s): 2.87789

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14987 second user time and 2.82142 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 13:57:24
IDJOB=4510481
IDBENCH=160366
IDSOLVER=3364
FILE ID=nodeC017/4510481-1751198244
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-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510481-1751198244/watcher-4510481-1751198244 -o /tmp/evaluation-result-4510481-1751198244/solver-4510481-1751198244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24981 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510481-1751198244 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510481-1751198244.opb

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

MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=649511331

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.079
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.057
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		: 3600.919
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		: 3700.000
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		: 3550.720
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.046
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		: 3600.106
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		: 3600.073
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:        118466768 kB
MemAvailable:   124695964 kB
Buffers:            3280 kB
Cached:          7031740 kB
SwapCached:            0 kB
Active:          5387972 kB
Inactive:        6777992 kB
Active(anon):    5149096 kB
Inactive(anon):        0 kB
Active(file):     238876 kB
Inactive(file):  6777992 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             74612 kB
Writeback:            84 kB
AnonPages:       5133432 kB
Mapped:           122836 kB
Shmem:             18080 kB
KReclaimable:     102732 kB
Slab:             191760 kB
SReclaimable:     102732 kB
SUnreclaim:        89028 kB
KernelStack:        5312 kB
PageTables:        13732 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7058248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4921344 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:07:05