Trace number 4835459
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb |
| MD5SUM | 6c6f54dbad76425fd68d4f6d2aa72935 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.00764 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 701 |
| Total number of constraints | 980 |
| Number of constraints which are clauses | 2 |
| Number of constraints which are cardinality constraints (but not clauses) | 978 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4 |
| 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 numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb26-symm
0.00/0.01 c commit 801ab82
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 211] (0.390109ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.02 c (10.5946ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 3507 #edges 9814]
0.00/0.02 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 8*10^0 #gens 3] (2.01459ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.005718ms)
0.00/0.03 c
0.00/0.03 c apply negation fixing (schreier: true, gens: 3)
0.00/0.03 c fixed 1 literals
0.00/0.03 c (0.313525ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 1 #add_vars 0]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 421] (0.308058ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.03 c (6.49804ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 3505 #edges 9798]
0.00/0.03 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 8*10^0 #gens 3] (1.29089ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.004296ms)
0.00/0.03 c
0.00/0.03 c apply negation fixing (schreier: true, gens: 3)
0.00/0.03 c fixed 1 literals
0.00/0.03 c (0.189848ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 1 #add_vars 0]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 2] (0.308779ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.04 c found row 3x2
0.00/0.04 c (0.048646ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 3505 #edges 9790]
0.00/0.04 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 1*10^0 #gens 2] (0.122366ms)
0.00/0.04 c
0.00/0.04 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.04 c (0.001582ms)
0.00/0.04 c
0.00/0.04 c apply negation fixing (schreier: true, gens: 2)
0.00/0.04 c fixed 0 literals
0.00/0.04 c (0.012206ms)
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 0 #add_vars 0]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 2] (0.297694ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.04 c found row 3x2
0.00/0.04 c (0.040956ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 3505 #edges 9790]
0.00/0.04 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 1*10^0 #gens 0] (0.116989ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 0 #add_vars 0]
0.00/0.04 c UNIT CLEANUP
0.00/0.04 c UNIT CLEANUP
0.00/0.04 c #variables 701 #constraints 994
0.00/0.04 c rational objective 350.5
0.09/0.11 c #Conflicts: 1000 | #Constraints: 2006
0.09/0.15 c #Conflicts: 2000 | #Constraints: 3012
0.09/0.15 c DATABASE CLEANUP
0.09/0.15 c GARBAGE COLLECT
0.09/0.15 c rational objective 350.5
0.09/0.22 c #Conflicts: 3000 | #Constraints: 3028
0.20/0.25 c #Conflicts: 4000 | #Constraints: 4035
0.20/0.26 c DATABASE CLEANUP
0.20/0.26 c GARBAGE COLLECT
0.20/0.26 c rational objective 350.5
0.29/0.33 c #Conflicts: 5000 | #Constraints: 3441
0.29/0.37 c #Conflicts: 6000 | #Constraints: 4442
0.29/0.40 c DATABASE CLEANUP
0.29/0.40 c GARBAGE COLLECT
0.29/0.40 c rational objective 350.5
0.39/0.45 c #Conflicts: 7000 | #Constraints: 3447
0.39/0.49 c #Conflicts: 8000 | #Constraints: 4447
0.49/0.53 c #Conflicts: 9000 | #Constraints: 5447
0.49/0.54 c DATABASE CLEANUP
0.49/0.54 c GARBAGE COLLECT
0.49/0.54 c rational objective 350.5
0.49/0.60 c #Conflicts: 10000 | #Constraints: 4150
0.58/0.64 c #Conflicts: 11000 | #Constraints: 5150
0.58/0.68 c #Conflicts: 12000 | #Constraints: 6150
0.58/0.69 c DATABASE CLEANUP
0.58/0.69 c GARBAGE COLLECT
0.58/0.69 c rational objective 350.5
0.67/0.76 c #Conflicts: 13000 | #Constraints: 4600
0.77/0.80 c #Conflicts: 14000 | #Constraints: 5600
0.77/0.84 c #Conflicts: 15000 | #Constraints: 6600
0.77/0.84 c DATABASE CLEANUP
0.77/0.84 c GARBAGE COLLECT
0.77/0.84 c rational objective 350.5
0.87/0.92 c #Conflicts: 16000 | #Constraints: 4832
0.87/0.96 c #Conflicts: 17000 | #Constraints: 5832
0.87/1.00 c #Conflicts: 18000 | #Constraints: 6832
0.98/1.01 c DATABASE CLEANUP
0.98/1.01 c GARBAGE COLLECT
0.98/1.01 c rational objective 350.5
0.98/1.07 c #Conflicts: 19000 | #Constraints: 4849
1.08/1.12 c #Conflicts: 20000 | #Constraints: 5850
1.08/1.16 c #Conflicts: 21000 | #Constraints: 6851
1.08/1.19 c DATABASE CLEANUP
1.08/1.19 c GARBAGE COLLECT
1.08/1.19 c rational objective 350.5
1.17/1.24 c #Conflicts: 22000 | #Constraints: 4653
1.17/1.28 c #Conflicts: 23000 | #Constraints: 5653
1.27/1.33 c #Conflicts: 24000 | #Constraints: 6653
1.27/1.37 c #Conflicts: 25000 | #Constraints: 7655
1.27/1.39 c DATABASE CLEANUP
1.27/1.39 c GARBAGE COLLECT
1.27/1.39 c rational objective 350.5
1.37/1.46 c #Conflicts: 26000 | #Constraints: 5259
1.46/1.50 c #Conflicts: 27000 | #Constraints: 6259
1.46/1.54 c #Conflicts: 28000 | #Constraints: 7259
1.46/1.58 c #Conflicts: 29000 | #Constraints: 8259
1.46/1.59 c DATABASE CLEANUP
1.46/1.59 c GARBAGE COLLECT
1.46/1.59 c rational objective 350.5
1.57/1.66 c #Conflicts: 30000 | #Constraints: 5661
1.66/1.70 c #Conflicts: 31000 | #Constraints: 6661
1.66/1.74 c #Conflicts: 32000 | #Constraints: 7663
1.66/1.79 c #Conflicts: 33000 | #Constraints: 8663
1.66/1.79 c DATABASE CLEANUP
1.66/1.79 c GARBAGE COLLECT
1.66/1.79 c rational objective 350.5
1.76/1.86 c #Conflicts: 34000 | #Constraints: 5860
1.87/1.90 c #Conflicts: 35000 | #Constraints: 6860
1.87/1.95 c #Conflicts: 36000 | #Constraints: 7860
1.87/1.99 c #Conflicts: 37000 | #Constraints: 8860
1.87/2.00 c DATABASE CLEANUP
1.87/2.00 c GARBAGE COLLECT
1.87/2.00 c rational objective 350.5
1.97/2.07 c #Conflicts: 38000 | #Constraints: 5864
2.08/2.11 c #Conflicts: 39000 | #Constraints: 6864
2.08/2.15 c #Conflicts: 40000 | #Constraints: 7864
2.08/2.19 c #Conflicts: 41000 | #Constraints: 8864
2.16/2.22 c DATABASE CLEANUP
2.16/2.22 c GARBAGE COLLECT
2.16/2.22 c rational objective 350.5
2.16/2.27 c #Conflicts: 42000 | #Constraints: 5661
2.26/2.32 c #Conflicts: 43000 | #Constraints: 6663
2.26/2.37 c #Conflicts: 44000 | #Constraints: 7666
2.36/2.42 c #Conflicts: 45000 | #Constraints: 8667
2.36/2.46 c #Conflicts: 46000 | #Constraints: 9667
2.36/2.48 c DATABASE CLEANUP
2.36/2.48 c GARBAGE COLLECT
2.36/2.48 c rational objective 350.5
2.46/2.55 c #Conflicts: 47000 | #Constraints: 6272
2.46/2.58 c #Conflicts: 48000 | #Constraints: 7272
2.56/2.63 c #Conflicts: 49000 | #Constraints: 8272
2.56/2.67 c #Conflicts: 50000 | #Constraints: 9272
2.65/2.72 c #Conflicts: 51000 | #Constraints: 10272
2.65/2.72 c DATABASE CLEANUP
2.65/2.72 c GARBAGE COLLECT
2.65/2.72 c rational objective 350.5
2.75/2.80 c #Conflicts: 52000 | #Constraints: 6675
2.75/2.84 c #Conflicts: 53000 | #Constraints: 7675
2.75/2.88 c #Conflicts: 54000 | #Constraints: 8675
2.86/2.93 c #Conflicts: 55000 | #Constraints: 9676
2.86/2.97 c #Conflicts: 56000 | #Constraints: 10676
2.86/2.97 c DATABASE CLEANUP
2.86/2.97 c GARBAGE COLLECT
2.86/2.97 c rational objective 350.5
2.96/3.05 c #Conflicts: 57000 | #Constraints: 6870
2.96/3.09 c #Conflicts: 58000 | #Constraints: 7871
3.07/3.14 c #Conflicts: 59000 | #Constraints: 8872
3.07/3.18 c #Conflicts: 60000 | #Constraints: 9873
3.16/3.22 c #Conflicts: 61000 | #Constraints: 10873
3.16/3.23 c DATABASE CLEANUP
3.16/3.23 c GARBAGE COLLECT
3.16/3.23 c rational objective 350.5
3.25/3.30 c #Conflicts: 62000 | #Constraints: 6870
3.25/3.34 c #Conflicts: 63000 | #Constraints: 7870
3.25/3.38 c #Conflicts: 64000 | #Constraints: 8870
3.36/3.42 c #Conflicts: 65000 | #Constraints: 9871
3.36/3.46 c #Conflicts: 66000 | #Constraints: 10871
3.36/3.48 c DATABASE CLEANUP
3.36/3.48 c GARBAGE COLLECT
3.36/3.48 c rational objective 350.5
3.45/3.54 c #Conflicts: 67000 | #Constraints: 6673
3.45/3.58 c #Conflicts: 68000 | #Constraints: 7673
3.55/3.62 c #Conflicts: 69000 | #Constraints: 8673
3.55/3.66 c #Conflicts: 70000 | #Constraints: 9673
3.65/3.70 c #Conflicts: 71000 | #Constraints: 10673
3.65/3.74 c #Conflicts: 72000 | #Constraints: 11673
3.65/3.75 c DATABASE CLEANUP
3.65/3.75 c GARBAGE COLLECT
3.65/3.75 c rational objective 350.5
3.75/3.82 c #Conflicts: 73000 | #Constraints: 7271
3.75/3.85 c #Conflicts: 74000 | #Constraints: 8271
3.75/3.89 c #Conflicts: 75000 | #Constraints: 9271
3.85/3.93 c #Conflicts: 76000 | #Constraints: 10271
3.85/3.98 c #Conflicts: 77000 | #Constraints: 11271
3.96/4.02 c #Conflicts: 78000 | #Constraints: 12272
3.96/4.02 c DATABASE CLEANUP
3.96/4.02 c GARBAGE COLLECT
3.96/4.02 c rational objective 350.5
3.96/4.09 c #Conflicts: 79000 | #Constraints: 7672
4.06/4.13 c #Conflicts: 80000 | #Constraints: 8672
4.06/4.17 c #Conflicts: 81000 | #Constraints: 9672
4.15/4.21 c #Conflicts: 82000 | #Constraints: 10672
4.15/4.25 c #Conflicts: 83000 | #Constraints: 11672
4.24/4.30 c #Conflicts: 84000 | #Constraints: 12673
4.24/4.30 c DATABASE CLEANUP
4.24/4.30 c GARBAGE COLLECT
4.24/4.30 c rational objective 350.5
4.24/4.37 c #Conflicts: 85000 | #Constraints: 7871
4.34/4.42 c #Conflicts: 86000 | #Constraints: 8871
4.34/4.46 c #Conflicts: 87000 | #Constraints: 9871
4.45/4.50 c #Conflicts: 88000 | #Constraints: 10871
4.45/4.55 c #Conflicts: 89000 | #Constraints: 11871
4.54/4.60 c #Conflicts: 90000 | #Constraints: 12871
4.54/4.61 c DATABASE CLEANUP
4.54/4.61 c GARBAGE COLLECT
4.54/4.61 c rational objective 350.5
4.54/4.69 c #Conflicts: 91000 | #Constraints: 7870
4.64/4.73 c #Conflicts: 92000 | #Constraints: 8870
4.64/4.77 c #Conflicts: 93000 | #Constraints: 9870
4.74/4.82 c #Conflicts: 94000 | #Constraints: 10870
4.74/4.87 c #Conflicts: 95000 | #Constraints: 11870
4.84/4.92 c #Conflicts: 96000 | #Constraints: 12871
4.84/4.96 c DATABASE CLEANUP
4.84/4.96 c GARBAGE COLLECT
4.84/4.96 c rational objective 350.5
4.96/5.02 c #Conflicts: 97000 | #Constraints: 7680
4.96/5.06 c #Conflicts: 98000 | #Constraints: 8680
4.96/5.10 c #Conflicts: 99000 | #Constraints: 9680
5.05/5.14 c #Conflicts: 100000 | #Constraints: 10680
5.05/5.18 c #Conflicts: 101000 | #Constraints: 11680
5.14/5.22 c #Conflicts: 102000 | #Constraints: 12680
5.14/5.26 c #Conflicts: 103000 | #Constraints: 13681
5.14/5.27 c DATABASE CLEANUP
5.14/5.27 c GARBAGE COLLECT
5.14/5.27 c rational objective 350.5
5.23/5.34 c #Conflicts: 104000 | #Constraints: 8274
5.23/5.38 c #Conflicts: 105000 | #Constraints: 9275
5.34/5.42 c #Conflicts: 106000 | #Constraints: 10275
5.34/5.46 c #Conflicts: 107000 | #Constraints: 11275
5.44/5.51 c #Conflicts: 108000 | #Constraints: 12276
5.44/5.54 c #Conflicts: 109000 | #Constraints: 13276
5.44/5.59 c #Conflicts: 110000 | #Constraints: 14276
5.44/5.59 c DATABASE CLEANUP
5.44/5.59 c GARBAGE COLLECT
5.44/5.59 c rational objective 350.5
5.53/5.67 c #Conflicts: 111000 | #Constraints: 8681
5.64/5.71 c #Conflicts: 112000 | #Constraints: 9681
5.64/5.74 c #Conflicts: 113000 | #Constraints: 10682
5.64/5.78 c #Conflicts: 114000 | #Constraints: 11682
5.74/5.83 c #Conflicts: 115000 | #Constraints: 12682
5.74/5.86 c #Conflicts: 116000 | #Constraints: 13682
5.84/5.91 c #Conflicts: 117000 | #Constraints: 14682
5.84/5.91 c DATABASE CLEANUP
5.84/5.91 c GARBAGE COLLECT
5.84/5.91 c rational objective 350.5
5.84/5.99 c #Conflicts: 118000 | #Constraints: 8880
5.94/6.03 c #Conflicts: 119000 | #Constraints: 9880
5.94/6.06 c #Conflicts: 120000 | #Constraints: 10880
5.94/6.10 c #Conflicts: 121000 | #Constraints: 11880
6.04/6.14 c #Conflicts: 122000 | #Constraints: 12880
6.04/6.18 c #Conflicts: 123000 | #Constraints: 13880
6.13/6.21 c #Conflicts: 124000 | #Constraints: 14880
6.13/6.23 c DATABASE CLEANUP
6.13/6.23 c GARBAGE COLLECT
6.13/6.23 c rational objective 350.5
6.13/6.29 c #Conflicts: 125000 | #Constraints: 8871
6.23/6.33 c #Conflicts: 126000 | #Constraints: 9871
6.23/6.37 c #Conflicts: 127000 | #Constraints: 10871
6.33/6.40 c #Conflicts: 128000 | #Constraints: 11871
6.33/6.44 c #Conflicts: 129000 | #Constraints: 12871
6.33/6.49 c #Conflicts: 130000 | #Constraints: 13871
6.43/6.53 c #Conflicts: 131000 | #Constraints: 14871
6.43/6.55 c DATABASE CLEANUP
6.43/6.55 c GARBAGE COLLECT
6.43/6.55 c rational objective 350.5
6.53/6.61 c #Conflicts: 132000 | #Constraints: 8670
6.53/6.65 c #Conflicts: 133000 | #Constraints: 9670
6.53/6.68 c #Conflicts: 134000 | #Constraints: 10670
6.63/6.72 c #Conflicts: 135000 | #Constraints: 11670
6.63/6.76 c #Conflicts: 136000 | #Constraints: 12670
6.73/6.80 c #Conflicts: 137000 | #Constraints: 13670
6.73/6.84 c #Conflicts: 138000 | #Constraints: 14670
6.73/6.88 c #Conflicts: 139000 | #Constraints: 15670
6.73/6.89 c DATABASE CLEANUP
6.73/6.89 c GARBAGE COLLECT
6.73/6.89 c rational objective 350.5
6.83/6.97 c #Conflicts: 140000 | #Constraints: 9274
6.83/7.00 c #Conflicts: 141000 | #Constraints: 10274
6.94/7.04 c #Conflicts: 142000 | #Constraints: 11275
6.94/7.08 c #Conflicts: 143000 | #Constraints: 12275
7.04/7.13 c #Conflicts: 144000 | #Constraints: 13275
7.04/7.17 c #Conflicts: 145000 | #Constraints: 14275
7.12/7.21 c #Conflicts: 146000 | #Constraints: 15275
7.12/7.24 c #Conflicts: 147000 | #Constraints: 16275
7.12/7.25 c DATABASE CLEANUP
7.12/7.25 c GARBAGE COLLECT
7.12/7.25 c rational objective 350.5
7.23/7.32 c #Conflicts: 148000 | #Constraints: 9681
7.23/7.36 c #Conflicts: 149000 | #Constraints: 10681
7.32/7.40 c #Conflicts: 150000 | #Constraints: 11681
7.32/7.43 c #Conflicts: 151000 | #Constraints: 12681
7.32/7.47 c #Conflicts: 152000 | #Constraints: 13681
7.42/7.51 c #Conflicts: 153000 | #Constraints: 14681
7.42/7.55 c #Conflicts: 154000 | #Constraints: 15681
7.42/7.59 c #Conflicts: 155000 | #Constraints: 16681
7.42/7.59 c DATABASE CLEANUP
7.42/7.59 c GARBAGE COLLECT
7.42/7.59 c rational objective 350.5
7.52/7.67 c #Conflicts: 156000 | #Constraints: 9878
7.62/7.71 c #Conflicts: 157000 | #Constraints: 10878
7.62/7.74 c #Conflicts: 158000 | #Constraints: 11878
7.62/7.78 c #Conflicts: 159000 | #Constraints: 12878
7.72/7.82 c #Conflicts: 160000 | #Constraints: 13878
7.72/7.85 c #Conflicts: 161000 | #Constraints: 14878
7.72/7.89 c #Conflicts: 162000 | #Constraints: 15878
7.82/7.93 c #Conflicts: 163000 | #Constraints: 16878
7.82/7.94 c DATABASE CLEANUP
7.82/7.94 c GARBAGE COLLECT
7.82/7.94 c rational objective 350.5
7.93/8.01 c #Conflicts: 164000 | #Constraints: 9876
7.93/8.05 c #Conflicts: 165000 | #Constraints: 10876
7.93/8.08 c #Conflicts: 166000 | #Constraints: 11876
8.03/8.12 c #Conflicts: 167000 | #Constraints: 12876
8.03/8.15 c #Conflicts: 168000 | #Constraints: 13876
8.03/8.19 c #Conflicts: 169000 | #Constraints: 14876
8.12/8.23 c #Conflicts: 170000 | #Constraints: 15877
8.12/8.27 c #Conflicts: 171000 | #Constraints: 16877
8.22/8.30 c DATABASE CLEANUP
8.22/8.30 c GARBAGE COLLECT
8.22/8.30 c rational objective 350.5
8.22/8.36 c #Conflicts: 172000 | #Constraints: 9677
8.22/8.39 c #Conflicts: 173000 | #Constraints: 10677
8.32/8.42 c #Conflicts: 174000 | #Constraints: 11677
8.32/8.46 c #Conflicts: 175000 | #Constraints: 12677
8.42/8.50 c #Conflicts: 176000 | #Constraints: 13677
8.42/8.54 c #Conflicts: 177000 | #Constraints: 14677
8.42/8.58 c #Conflicts: 178000 | #Constraints: 15677
8.51/8.61 c #Conflicts: 179000 | #Constraints: 16677
8.51/8.65 c #Conflicts: 180000 | #Constraints: 17677
8.51/8.66 c DATABASE CLEANUP
8.51/8.66 c GARBAGE COLLECT
8.51/8.66 c rational objective 350.5
8.61/8.73 c #Conflicts: 181000 | #Constraints: 10273
8.61/8.77 c #Conflicts: 182000 | #Constraints: 11273
8.71/8.80 c #Conflicts: 183000 | #Constraints: 12273
8.71/8.84 c #Conflicts: 184000 | #Constraints: 13273
8.71/8.89 c #Conflicts: 185000 | #Constraints: 14273
8.82/8.93 c #Conflicts: 186000 | #Constraints: 15273
8.82/8.97 c #Conflicts: 187000 | #Constraints: 16273
8.92/9.01 c #Conflicts: 188000 | #Constraints: 17273
8.92/9.05 c #Conflicts: 189000 | #Constraints: 18273
8.92/9.06 c DATABASE CLEANUP
8.92/9.06 c GARBAGE COLLECT
8.92/9.06 c rational objective 350.5
9.02/9.13 c #Conflicts: 190000 | #Constraints: 10675
9.02/9.17 c #Conflicts: 191000 | #Constraints: 11675
9.11/9.20 c #Conflicts: 192000 | #Constraints: 12675
9.11/9.24 c #Conflicts: 193000 | #Constraints: 13675
9.11/9.28 c #Conflicts: 194000 | #Constraints: 14675
9.21/9.33 c #Conflicts: 195000 | #Constraints: 15675
9.21/9.37 c #Conflicts: 196000 | #Constraints: 16675
9.31/9.42 c #Conflicts: 197000 | #Constraints: 17675
9.31/9.47 c #Conflicts: 198000 | #Constraints: 18675
9.31/9.47 c DATABASE CLEANUP
9.31/9.47 c GARBAGE COLLECT
9.31/9.47 c rational objective 350.5
9.40/9.55 c #Conflicts: 199000 | #Constraints: 10874
9.40/9.59 c #Conflicts: 200000 | #Constraints: 11874
9.51/9.63 c #Conflicts: 201000 | #Constraints: 12874
9.51/9.67 c #Conflicts: 202000 | #Constraints: 13874
9.61/9.71 c #Conflicts: 203000 | #Constraints: 14874
9.61/9.75 c #Conflicts: 204000 | #Constraints: 15874
9.61/9.79 c #Conflicts: 205000 | #Constraints: 16874
9.70/9.83 c #Conflicts: 206000 | #Constraints: 17874
9.70/9.87 c #Conflicts: 207000 | #Constraints: 18874
9.70/9.88 c DATABASE CLEANUP
9.70/9.88 c GARBAGE COLLECT
9.70/9.88 c rational objective 350.5
9.81/9.95 c #Conflicts: 208000 | #Constraints: 10876
9.81/9.99 c #Conflicts: 209000 | #Constraints: 11876
9.91/10.02 c #Conflicts: 210000 | #Constraints: 12876
9.91/10.06 c #Conflicts: 211000 | #Constraints: 13876
9.91/10.10 c #Conflicts: 212000 | #Constraints: 14876
10.01/10.14 c #Conflicts: 213000 | #Constraints: 15876
10.01/10.18 c #Conflicts: 214000 | #Constraints: 16876
10.10/10.22 c #Conflicts: 215000 | #Constraints: 17876
10.10/10.26 c #Conflicts: 216000 | #Constraints: 18876
10.10/10.29 c DATABASE CLEANUP
10.10/10.29 c GARBAGE COLLECT
10.10/10.29 c rational objective 350.5
10.20/10.35 c #Conflicts: 217000 | #Constraints: 10681
10.20/10.39 c #Conflicts: 218000 | #Constraints: 11681
10.30/10.42 c #Conflicts: 219000 | #Constraints: 12681
10.30/10.46 c #Conflicts: 220000 | #Constraints: 13681
10.40/10.50 c #Conflicts: 221000 | #Constraints: 14681
10.40/10.54 c #Conflicts: 222000 | #Constraints: 15681
10.40/10.59 c #Conflicts: 223000 | #Constraints: 16681
10.50/10.63 c #Conflicts: 224000 | #Constraints: 17681
10.50/10.67 c #Conflicts: 225000 | #Constraints: 18681
10.59/10.71 c #Conflicts: 226000 | #Constraints: 19681
10.59/10.72 c DATABASE CLEANUP
10.59/10.72 c GARBAGE COLLECT
10.59/10.72 c rational objective 350.5
10.70/10.80 c #Conflicts: 227000 | #Constraints: 11283
10.70/10.83 c #Conflicts: 228000 | #Constraints: 12283
10.70/10.87 c #Conflicts: 229000 | #Constraints: 13283
10.79/10.91 c #Conflicts: 230000 | #Constraints: 14283
10.79/10.94 c #Conflicts: 231000 | #Constraints: 15283
10.79/10.98 c #Conflicts: 232000 | #Constraints: 16283
10.90/11.01 c #Conflicts: 233000 | #Constraints: 17283
10.90/11.05 c #Conflicts: 234000 | #Constraints: 18283
10.90/11.09 c #Conflicts: 235000 | #Constraints: 19283
11.01/11.12 c #Conflicts: 236000 | #Constraints: 20283
11.01/11.13 c DATABASE CLEANUP
11.01/11.13 c GARBAGE COLLECT
11.01/11.13 c rational objective 350.5
11.09/11.20 c #Conflicts: 237000 | #Constraints: 11681
11.09/11.23 c #Conflicts: 238000 | #Constraints: 12681
11.09/11.27 c #Conflicts: 239000 | #Constraints: 13681
11.19/11.30 c #Conflicts: 240000 | #Constraints: 14681
11.19/11.34 c #Conflicts: 241000 | #Constraints: 15681
11.19/11.37 c #Conflicts: 242000 | #Constraints: 16681
11.29/11.41 c #Conflicts: 243000 | #Constraints: 17681
11.29/11.45 c #Conflicts: 244000 | #Constraints: 18681
11.29/11.49 c #Conflicts: 245000 | #Constraints: 19681
11.39/11.53 c #Conflicts: 246000 | #Constraints: 20681
11.39/11.54 c DATABASE CLEANUP
11.39/11.54 c GARBAGE COLLECT
11.39/11.54 c rational objective 350.5
11.49/11.62 c #Conflicts: 247000 | #Constraints: 11885
11.49/11.65 c #Conflicts: 248000 | #Constraints: 12885
11.49/11.69 c #Conflicts: 249000 | #Constraints: 13885
11.59/11.73 c #Conflicts: 250000 | #Constraints: 14885
11.59/11.76 c #Conflicts: 251000 | #Constraints: 15885
11.69/11.80 c #Conflicts: 252000 | #Constraints: 16885
11.69/11.84 c #Conflicts: 253000 | #Constraints: 17885
11.69/11.88 c #Conflicts: 254000 | #Constraints: 18885
11.79/11.91 c #Conflicts: 255000 | #Constraints: 19885
11.79/11.95 c #Conflicts: 256000 | #Constraints: 20885
11.79/11.96 c DATABASE CLEANUP
11.79/11.96 c GARBAGE COLLECT
11.79/11.96 c rational objective 350.5
11.90/12.03 c #Conflicts: 257000 | #Constraints: 11884
11.90/12.06 c #Conflicts: 258000 | #Constraints: 12884
11.90/12.10 c #Conflicts: 259000 | #Constraints: 13884
12.00/12.13 c #Conflicts: 260000 | #Constraints: 14884
12.00/12.17 c #Conflicts: 261000 | #Constraints: 15884
12.08/12.20 c #Conflicts: 262000 | #Constraints: 16884
12.08/12.24 c #Conflicts: 263000 | #Constraints: 17884
12.08/12.28 c #Conflicts: 264000 | #Constraints: 18884
12.18/12.32 c #Conflicts: 265000 | #Constraints: 19884
12.18/12.36 c #Conflicts: 266000 | #Constraints: 20884
12.18/12.39 c DATABASE CLEANUP
12.18/12.39 c GARBAGE COLLECT
12.18/12.39 c rational objective 350.5
12.29/12.44 c #Conflicts: 267000 | #Constraints: 11683
12.29/12.48 c #Conflicts: 268000 | #Constraints: 12683
12.39/12.51 c #Conflicts: 269000 | #Constraints: 13683
12.39/12.55 c #Conflicts: 270000 | #Constraints: 14683
12.39/12.58 c #Conflicts: 271000 | #Constraints: 15683
12.48/12.62 c #Conflicts: 272000 | #Constraints: 16683
12.48/12.66 c #Conflicts: 273000 | #Constraints: 17683
12.48/12.69 c #Conflicts: 274000 | #Constraints: 18683
12.59/12.74 c #Conflicts: 275000 | #Constraints: 19683
12.59/12.78 c #Conflicts: 276000 | #Constraints: 20683
12.69/12.81 c #Conflicts: 277000 | #Constraints: 21683
12.69/12.83 c DATABASE CLEANUP
12.69/12.83 c GARBAGE COLLECT
12.69/12.83 c rational objective 350.5
12.69/12.89 c #Conflicts: 278000 | #Constraints: 12284
12.78/12.92 c #Conflicts: 279000 | #Constraints: 13284
12.78/12.96 c #Conflicts: 280000 | #Constraints: 14284
12.78/12.99 c #Conflicts: 281000 | #Constraints: 15284
12.89/13.03 c #Conflicts: 282000 | #Constraints: 16284
12.89/13.06 c #Conflicts: 283000 | #Constraints: 17284
12.89/13.10 c #Conflicts: 284000 | #Constraints: 18284
12.99/13.14 c #Conflicts: 285000 | #Constraints: 19284
12.99/13.18 c #Conflicts: 286000 | #Constraints: 20284
13.08/13.21 c #Conflicts: 287000 | #Constraints: 21284
13.08/13.25 c #Conflicts: 288000 | #Constraints: 22284
13.08/13.26 c DATABASE CLEANUP
13.08/13.26 c GARBAGE COLLECT
13.08/13.26 c rational objective 350.5
13.18/13.34 c #Conflicts: 289000 | #Constraints: 12686
13.18/13.38 c #Conflicts: 290000 | #Constraints: 13686
13.28/13.41 c #Conflicts: 291000 | #Constraints: 14686
13.28/13.45 c #Conflicts: 292000 | #Constraints: 15686
13.28/13.49 c #Conflicts: 293000 | #Constraints: 16686
13.38/13.53 c #Conflicts: 294000 | #Constraints: 17686
13.38/13.56 c #Conflicts: 295000 | #Constraints: 18686
13.48/13.60 c #Conflicts: 296000 | #Constraints: 19686
13.48/13.65 c #Conflicts: 297000 | #Constraints: 20686
13.48/13.69 c #Conflicts: 298000 | #Constraints: 21686
13.58/13.73 c #Conflicts: 299000 | #Constraints: 22686
13.58/13.73 c DATABASE CLEANUP
13.58/13.73 c GARBAGE COLLECT
13.58/13.73 c rational objective 350.5
13.68/13.80 c #Conflicts: 300000 | #Constraints: 12880
13.68/13.83 c #Conflicts: 301000 | #Constraints: 13880
13.68/13.87 c #Conflicts: 302000 | #Constraints: 14880
13.77/13.91 c #Conflicts: 303000 | #Constraints: 15880
13.77/13.95 c #Conflicts: 304000 | #Constraints: 16880
13.77/13.98 c #Conflicts: 305000 | #Constraints: 17880
13.89/14.02 c #Conflicts: 306000 | #Constraints: 18880
13.89/14.06 c #Conflicts: 307000 | #Constraints: 19880
13.89/14.09 c #Conflicts: 308000 | #Constraints: 20880
13.99/14.13 c #Conflicts: 309000 | #Constraints: 21880
13.99/14.17 c #Conflicts: 310000 | #Constraints: 22880
13.99/14.19 c DATABASE CLEANUP
13.99/14.19 c GARBAGE COLLECT
13.99/14.19 c rational objective 350.5
14.08/14.26 c #Conflicts: 311000 | #Constraints: 12887
14.08/14.29 c #Conflicts: 312000 | #Constraints: 13887
14.17/14.33 c #Conflicts: 313000 | #Constraints: 14887
14.17/14.36 c #Conflicts: 314000 | #Constraints: 15887
14.27/14.40 c #Conflicts: 315000 | #Constraints: 16887
14.27/14.44 c #Conflicts: 316000 | #Constraints: 17887
14.27/14.48 c #Conflicts: 317000 | #Constraints: 18887
14.37/14.52 c #Conflicts: 318000 | #Constraints: 19887
14.37/14.56 c #Conflicts: 319000 | #Constraints: 20887
14.47/14.60 c #Conflicts: 320000 | #Constraints: 21887
14.47/14.64 c #Conflicts: 321000 | #Constraints: 22887
14.47/14.67 c DATABASE CLEANUP
14.47/14.67 c GARBAGE COLLECT
14.47/14.67 c rational objective 350.5
14.57/14.73 c #Conflicts: 322000 | #Constraints: 12690
14.57/14.76 c #Conflicts: 323000 | #Constraints: 13690
14.57/14.79 c #Conflicts: 324000 | #Constraints: 14690
14.67/14.83 c #Conflicts: 325000 | #Constraints: 15690
14.67/14.86 c #Conflicts: 326000 | #Constraints: 16690
14.77/14.90 c #Conflicts: 327000 | #Constraints: 17690
14.77/14.94 c #Conflicts: 328000 | #Constraints: 18690
14.77/14.98 c #Conflicts: 329000 | #Constraints: 19690
14.88/15.02 c #Conflicts: 330000 | #Constraints: 20690
14.88/15.06 c #Conflicts: 331000 | #Constraints: 21690
14.88/15.10 c #Conflicts: 332000 | #Constraints: 22690
14.98/15.14 c #Conflicts: 333000 | #Constraints: 23690
14.98/15.16 c DATABASE CLEANUP
14.98/15.16 c GARBAGE COLLECT
14.98/15.16 c rational objective 350.5
15.07/15.23 c #Conflicts: 334000 | #Constraints: 13284
15.07/15.26 c #Conflicts: 335000 | #Constraints: 14284
15.16/15.30 c #Conflicts: 336000 | #Constraints: 15284
15.16/15.34 c #Conflicts: 337000 | #Constraints: 16284
15.16/15.37 c #Conflicts: 338000 | #Constraints: 17284
15.27/15.41 c #Conflicts: 339000 | #Constraints: 18284
15.27/15.45 c #Conflicts: 340000 | #Constraints: 19284
15.27/15.49 c #Conflicts: 341000 | #Constraints: 20284
15.36/15.52 c #Conflicts: 342000 | #Constraints: 21284
15.36/15.57 c #Conflicts: 343000 | #Constraints: 22284
15.47/15.61 c #Conflicts: 344000 | #Constraints: 23284
15.47/15.65 c #Conflicts: 345000 | #Constraints: 24284
15.47/15.66 c DATABASE CLEANUP
15.47/15.66 c GARBAGE COLLECT
15.47/15.66 c rational objective 350.5
15.56/15.74 c #Conflicts: 346000 | #Constraints: 13682
15.56/15.77 c #Conflicts: 347000 | #Constraints: 14682
15.67/15.81 c #Conflicts: 348000 | #Constraints: 15682
15.67/15.84 c #Conflicts: 349000 | #Constraints: 16682
15.67/15.87 c #Conflicts: 350000 | #Constraints: 17682
15.76/15.91 c #Conflicts: 351000 | #Constraints: 18682
15.76/15.95 c #Conflicts: 352000 | #Constraints: 19682
15.76/15.99 c #Conflicts: 353000 | #Constraints: 20682
15.87/16.03 c #Conflicts: 354000 | #Constraints: 21682
15.87/16.07 c #Conflicts: 355000 | #Constraints: 22682
15.97/16.11 c #Conflicts: 356000 | #Constraints: 23682
15.97/16.15 c #Conflicts: 357000 | #Constraints: 24682
15.97/16.16 c DATABASE CLEANUP
15.97/16.16 c GARBAGE COLLECT
15.97/16.16 c rational objective 350.5
16.06/16.24 c #Conflicts: 358000 | #Constraints: 13886
16.06/16.27 c #Conflicts: 359000 | #Constraints: 14886
16.16/16.31 c #Conflicts: 360000 | #Constraints: 15886
16.16/16.35 c #Conflicts: 361000 | #Constraints: 16886
16.16/16.39 c #Conflicts: 362000 | #Constraints: 17886
16.25/16.42 c #Conflicts: 363000 | #Constraints: 18886
16.25/16.46 c #Conflicts: 364000 | #Constraints: 19886
16.36/16.50 c #Conflicts: 365000 | #Constraints: 20886
16.36/16.54 c #Conflicts: 366000 | #Constraints: 21886
16.36/16.58 c #Conflicts: 367000 | #Constraints: 22886
16.46/16.62 c #Conflicts: 368000 | #Constraints: 23886
16.46/16.66 c #Conflicts: 369000 | #Constraints: 24886
16.46/16.68 c DATABASE CLEANUP
16.46/16.68 c GARBAGE COLLECT
16.46/16.68 c rational objective 350.5
16.55/16.75 c #Conflicts: 370000 | #Constraints: 13888
16.55/16.78 c #Conflicts: 371000 | #Constraints: 14888
16.65/16.82 c #Conflicts: 372000 | #Constraints: 15888
16.65/16.85 c #Conflicts: 373000 | #Constraints: 16888
16.65/16.89 c #Conflicts: 374000 | #Constraints: 17888
16.76/16.92 c #Conflicts: 375000 | #Constraints: 18888
16.76/16.96 c #Conflicts: 376000 | #Constraints: 19888
16.76/17.00 c #Conflicts: 377000 | #Constraints: 20888
16.86/17.03 c #Conflicts: 378000 | #Constraints: 21888
16.86/17.07 c #Conflicts: 379000 | #Constraints: 22888
16.97/17.11 c #Conflicts: 380000 | #Constraints: 23888
16.97/17.15 c #Conflicts: 381000 | #Constraints: 24888
16.97/17.19 c DATABASE CLEANUP
16.97/17.19 c GARBAGE COLLECT
16.97/17.19 c rational objective 350.5
17.05/17.25 c #Conflicts: 382000 | #Constraints: 13689
17.05/17.28 c #Conflicts: 383000 | #Constraints: 14689
17.15/17.32 c #Conflicts: 384000 | #Constraints: 15689
17.15/17.35 c #Conflicts: 385000 | #Constraints: 16689
17.25/17.40 c #Conflicts: 386000 | #Constraints: 17689
17.25/17.43 c #Conflicts: 387000 | #Constraints: 18689
17.25/17.47 c #Conflicts: 388000 | #Constraints: 19689
17.35/17.51 c #Conflicts: 389000 | #Constraints: 20689
17.35/17.55 c #Conflicts: 390000 | #Constraints: 21689
17.35/17.59 c #Conflicts: 391000 | #Constraints: 22689
17.45/17.63 c #Conflicts: 392000 | #Constraints: 23689
17.45/17.67 c #Conflicts: 393000 | #Constraints: 24689
17.55/17.71 c #Conflicts: 394000 | #Constraints: 25689
17.55/17.73 c DATABASE CLEANUP
17.55/17.73 c GARBAGE COLLECT
17.55/17.73 c rational objective 350.5
17.55/17.79 c #Conflicts: 395000 | #Constraints: 14285
17.65/17.83 c #Conflicts: 396000 | #Constraints: 15285
17.65/17.86 c #Conflicts: 397000 | #Constraints: 16285
17.75/17.90 c #Conflicts: 398000 | #Constraints: 17285
17.75/17.93 c #Conflicts: 399000 | #Constraints: 18285
17.75/17.97 c #Conflicts: 400000 | #Constraints: 19285
17.86/18.01 c #Conflicts: 401000 | #Constraints: 20285
17.86/18.05 c #Conflicts: 402000 | #Constraints: 21285
17.86/18.08 c #Conflicts: 403000 | #Constraints: 22285
17.96/18.12 c #Conflicts: 404000 | #Constraints: 23285
17.96/18.17 c #Conflicts: 405000 | #Constraints: 24285
18.05/18.21 c #Conflicts: 406000 | #Constraints: 25285
18.05/18.26 c #Conflicts: 407000 | #Constraints: 26285
18.05/18.26 c DATABASE CLEANUP
18.05/18.26 c GARBAGE COLLECT
18.05/18.26 c rational objective 350.5
18.14/18.34 c #Conflicts: 408000 | #Constraints: 14685
18.14/18.38 c #Conflicts: 409000 | #Constraints: 15685
18.24/18.42 c #Conflicts: 410000 | #Constraints: 16685
18.24/18.45 c #Conflicts: 411000 | #Constraints: 17685
18.24/18.49 c #Conflicts: 412000 | #Constraints: 18685
18.34/18.53 c #Conflicts: 413000 | #Constraints: 19685
18.34/18.57 c #Conflicts: 414000 | #Constraints: 20685
18.44/18.61 c #Conflicts: 415000 | #Constraints: 21685
18.44/18.65 c #Conflicts: 416000 | #Constraints: 22685
18.44/18.69 c #Conflicts: 417000 | #Constraints: 23685
18.54/18.73 c #Conflicts: 418000 | #Constraints: 24685
18.54/18.78 c #Conflicts: 419000 | #Constraints: 25685
18.64/18.82 c #Conflicts: 420000 | #Constraints: 26685
18.64/18.83 c DATABASE CLEANUP
18.64/18.83 c GARBAGE COLLECT
18.64/18.83 c rational objective 350.5
18.74/18.90 c #Conflicts: 421000 | #Constraints: 14891
18.74/18.94 c #Conflicts: 422000 | #Constraints: 15891
18.74/18.98 c #Conflicts: 423000 | #Constraints: 16891
18.85/19.01 c #Conflicts: 424000 | #Constraints: 17891
18.85/19.05 c #Conflicts: 425000 | #Constraints: 18891
18.85/19.09 c #Conflicts: 426000 | #Constraints: 19891
18.95/19.13 c #Conflicts: 427000 | #Constraints: 20891
18.95/19.17 c #Conflicts: 428000 | #Constraints: 21891
19.03/19.22 c #Conflicts: 429000 | #Constraints: 22891
19.03/19.26 c #Conflicts: 430000 | #Constraints: 23891
19.14/19.30 c #Conflicts: 431000 | #Constraints: 24891
19.14/19.34 c #Conflicts: 432000 | #Constraints: 25891
19.14/19.38 c #Conflicts: 433000 | #Constraints: 26891
19.14/19.39 c DATABASE CLEANUP
19.14/19.39 c GARBAGE COLLECT
19.14/19.39 c rational objective 350.5
19.23/19.47 c #Conflicts: 434000 | #Constraints: 14896
19.34/19.51 c #Conflicts: 435000 | #Constraints: 15896
19.34/19.54 c #Conflicts: 436000 | #Constraints: 16896
19.34/19.58 c #Conflicts: 437000 | #Constraints: 17896
19.43/19.62 c #Conflicts: 438000 | #Constraints: 18896
19.43/19.65 c #Conflicts: 439000 | #Constraints: 19896
19.43/19.69 c #Conflicts: 440000 | #Constraints: 20896
19.54/19.73 c #Conflicts: 441000 | #Constraints: 21896
19.54/19.77 c #Conflicts: 442000 | #Constraints: 22896
19.64/19.81 c #Conflicts: 443000 | #Constraints: 23896
19.64/19.85 c #Conflicts: 444000 | #Constraints: 24896
19.64/19.89 c #Conflicts: 445000 | #Constraints: 25896
19.73/19.93 c #Conflicts: 446000 | #Constraints: 26897
19.73/19.96 c DATABASE CLEANUP
19.73/19.96 c GARBAGE COLLECT
19.73/19.96 c rational objective 350.5
19.84/20.02 c #Conflicts: 447000 | #Constraints: 14698
19.84/20.05 c #Conflicts: 448000 | #Constraints: 15698
19.84/20.08 c #Conflicts: 449000 | #Constraints: 16698
19.95/20.12 c #Conflicts: 450000 | #Constraints: 17698
19.95/20.16 c #Conflicts: 451000 | #Constraints: 18698
20.03/20.21 c #Conflicts: 452000 | #Constraints: 19698
20.03/20.25 c #Conflicts: 453000 | #Constraints: 20698
20.03/20.29 c #Conflicts: 454000 | #Constraints: 21698
20.13/20.33 c #Conflicts: 455000 | #Constraints: 22698
20.13/20.37 c #Conflicts: 456000 | #Constraints: 23698
20.23/20.41 c #Conflicts: 457000 | #Constraints: 24698
20.23/20.45 c #Conflicts: 458000 | #Constraints: 25698
20.23/20.49 c #Conflicts: 459000 | #Constraints: 26698
20.33/20.53 c #Conflicts: 460000 | #Constraints: 27698
20.33/20.55 c DATABASE CLEANUP
20.33/20.55 c GARBAGE COLLECT
20.33/20.55 c rational objective 350.5
20.42/20.63 c #Conflicts: 461000 | #Constraints: 15303
20.42/20.67 c #Conflicts: 462000 | #Constraints: 16303
20.53/20.70 c #Conflicts: 463000 | #Constraints: 17303
20.53/20.74 c #Conflicts: 464000 | #Constraints: 18303
20.53/20.78 c #Conflicts: 465000 | #Constraints: 19303
20.62/20.82 c #Conflicts: 466000 | #Constraints: 20303
20.62/20.86 c #Conflicts: 467000 | #Constraints: 21303
20.73/20.91 c #Conflicts: 468000 | #Constraints: 22303
20.73/20.95 c #Conflicts: 469000 | #Constraints: 23303
20.73/20.99 c #Conflicts: 470000 | #Constraints: 24303
20.83/21.03 c #Conflicts: 471000 | #Constraints: 25303
20.83/21.08 c #Conflicts: 472000 | #Constraints: 26303
20.94/21.12 c #Conflicts: 473000 | #Constraints: 27303
20.94/21.17 c #Conflicts: 474000 | #Constraints: 28303
20.94/21.17 c DATABASE CLEANUP
20.94/21.17 c GARBAGE COLLECT
20.94/21.17 c rational objective 350.5
21.02/21.25 c #Conflicts: 475000 | #Constraints: 15708
21.02/21.29 c #Conflicts: 476000 | #Constraints: 16708
21.12/21.32 c #Conflicts: 477000 | #Constraints: 17708
21.12/21.36 c #Conflicts: 478000 | #Constraints: 18708
21.12/21.39 c #Conflicts: 479000 | #Constraints: 19708
21.22/21.43 c #Conflicts: 480000 | #Constraints: 20708
21.22/21.47 c #Conflicts: 481000 | #Constraints: 21708
21.32/21.51 c #Conflicts: 482000 | #Constraints: 22708
21.32/21.55 c #Conflicts: 483000 | #Constraints: 23708
21.32/21.58 c #Conflicts: 484000 | #Constraints: 24708
21.42/21.62 c #Conflicts: 485000 | #Constraints: 25708
21.42/21.66 c #Conflicts: 486000 | #Constraints: 26708
21.52/21.70 c #Conflicts: 487000 | #Constraints: 27708
21.52/21.74 c #Conflicts: 488000 | #Constraints: 28708
21.52/21.75 c DATABASE CLEANUP
21.52/21.75 c GARBAGE COLLECT
21.52/21.75 c rational objective 350.5
21.61/21.84 c #Conflicts: 489000 | #Constraints: 15910
21.61/21.88 c #Conflicts: 490000 | #Constraints: 16910
21.72/21.92 c #Conflicts: 491000 | #Constraints: 17910
21.72/21.96 c #Conflicts: 492000 | #Constraints: 18910
21.72/22.00 c #Conflicts: 493000 | #Constraints: 19910
21.83/22.04 c #Conflicts: 494000 | #Constraints: 20910
21.83/22.08 c #Conflicts: 495000 | #Constraints: 21910
21.93/22.12 c #Conflicts: 496000 | #Constraints: 22910
21.93/22.16 c #Conflicts: 497000 | #Constraints: 23910
22.02/22.20 c #Conflicts: 498000 | #Constraints: 24910
22.02/22.25 c #Conflicts: 499000 | #Constraints: 25910
22.02/22.29 c #Conflicts: 500000 | #Constraints: 26910
22.11/22.34 c #Conflicts: 501000 | #Constraints: 27910
22.11/22.39 c #Conflicts: 502000 | #Constraints: 28910
22.21/22.40 c DATABASE CLEANUP
22.21/22.40 c GARBAGE COLLECT
22.21/22.40 c rational objective 350.5
22.21/22.47 c #Conflicts: 503000 | #Constraints: 15912
22.31/22.51 c #Conflicts: 504000 | #Constraints: 16912
22.31/22.54 c #Conflicts: 505000 | #Constraints: 17912
22.31/22.58 c #Conflicts: 506000 | #Constraints: 18912
22.41/22.62 c #Conflicts: 507000 | #Constraints: 19912
22.41/22.66 c #Conflicts: 508000 | #Constraints: 20912
22.41/22.69 c #Conflicts: 509000 | #Constraints: 21912
22.52/22.73 c #Conflicts: 510000 | #Constraints: 22912
22.52/22.77 c #Conflicts: 511000 | #Constraints: 23912
22.61/22.81 c #Conflicts: 512000 | #Constraints: 24912
22.61/22.85 c #Conflicts: 513000 | #Constraints: 25912
22.61/22.89 c #Conflicts: 514000 | #Constraints: 26912
22.71/22.94 c #Conflicts: 515000 | #Constraints: 27912
22.71/22.98 c #Conflicts: 516000 | #Constraints: 28912
22.82/23.02 c DATABASE CLEANUP
22.82/23.02 c GARBAGE COLLECT
22.82/23.02 c rational objective 350.5
22.82/23.08 c #Conflicts: 517000 | #Constraints: 15710
22.92/23.12 c #Conflicts: 518000 | #Constraints: 16710
22.92/23.16 c #Conflicts: 519000 | #Constraints: 17710
23.01/23.20 c #Conflicts: 520000 | #Constraints: 18710
23.01/23.24 c #Conflicts: 521000 | #Constraints: 19710
23.01/23.28 c #Conflicts: 522000 | #Constraints: 20710
23.11/23.32 c #Conflicts: 523000 | #Constraints: 21710
23.11/23.36 c #Conflicts: 524000 | #Constraints: 22710
23.21/23.41 c #Conflicts: 525000 | #Constraints: 23710
23.21/23.46 c #Conflicts: 526000 | #Constraints: 24710
23.31/23.50 c #Conflicts: 527000 | #Constraints: 25710
23.31/23.54 c #Conflicts: 528000 | #Constraints: 26710
23.31/23.59 c #Conflicts: 529000 | #Constraints: 27710
23.40/23.64 c #Conflicts: 530000 | #Constraints: 28710
23.40/23.68 c #Conflicts: 531000 | #Constraints: 29710
23.40/23.69 c DATABASE CLEANUP
23.40/23.69 c GARBAGE COLLECT
23.40/23.69 c rational objective 350.5
23.51/23.77 c #Conflicts: 532000 | #Constraints: 16309
23.61/23.80 c #Conflicts: 533000 | #Constraints: 17309
23.61/23.85 c #Conflicts: 534000 | #Constraints: 18309
23.61/23.88 c #Conflicts: 535000 | #Constraints: 19309
23.70/23.92 c #Conflicts: 536000 | #Constraints: 20309
23.70/23.96 c #Conflicts: 537000 | #Constraints: 21309
23.81/24.01 c #Conflicts: 538000 | #Constraints: 22309
23.81/24.05 c #Conflicts: 539000 | #Constraints: 23309
23.81/24.09 c #Conflicts: 540000 | #Constraints: 24309
23.92/24.14 c #Conflicts: 541000 | #Constraints: 25309
23.92/24.19 c #Conflicts: 542000 | #Constraints: 26309
24.00/24.23 c #Conflicts: 543000 | #Constraints: 27309
24.00/24.27 c #Conflicts: 544000 | #Constraints: 28309
24.11/24.33 c #Conflicts: 545000 | #Constraints: 29309
24.11/24.37 c #Conflicts: 546000 | #Constraints: 30309
24.11/24.38 c DATABASE CLEANUP
24.11/24.38 c GARBAGE COLLECT
24.11/24.38 c rational objective 350.5
24.20/24.47 c #Conflicts: 547000 | #Constraints: 16709
24.30/24.51 c #Conflicts: 548000 | #Constraints: 17709
24.30/24.55 c #Conflicts: 549000 | #Constraints: 18709
24.30/24.59 c #Conflicts: 550000 | #Constraints: 19709
24.40/24.63 c #Conflicts: 551000 | #Constraints: 20709
24.40/24.67 c #Conflicts: 552000 | #Constraints: 21709
24.50/24.71 c #Conflicts: 553000 | #Constraints: 22709
24.50/24.76 c #Conflicts: 554000 | #Constraints: 23709
24.60/24.80 c #Conflicts: 555000 | #Constraints: 24709
24.60/24.85 c #Conflicts: 556000 | #Constraints: 25709
24.70/24.91 c #Conflicts: 557000 | #Constraints: 26709
24.70/24.96 c #Conflicts: 558000 | #Constraints: 27709
24.70/25.00 c #Conflicts: 559000 | #Constraints: 28709
24.81/25.05 c #Conflicts: 560000 | #Constraints: 29709
24.81/25.10 c #Conflicts: 561000 | #Constraints: 30709
24.91/25.11 c DATABASE CLEANUP
24.91/25.11 c GARBAGE COLLECT
24.91/25.11 c rational objective 350.5
24.91/25.19 c #Conflicts: 562000 | #Constraints: 16907
24.99/25.23 c #Conflicts: 563000 | #Constraints: 17907
24.99/25.27 c #Conflicts: 564000 | #Constraints: 18907
25.10/25.31 c #Conflicts: 565000 | #Constraints: 19907
25.10/25.35 c #Conflicts: 566000 | #Constraints: 20907
25.10/25.39 c #Conflicts: 567000 | #Constraints: 21907
25.20/25.43 c #Conflicts: 568000 | #Constraints: 22907
25.20/25.48 c #Conflicts: 569000 | #Constraints: 23907
25.29/25.52 c #Conflicts: 570000 | #Constraints: 24907
25.29/25.56 c #Conflicts: 571000 | #Constraints: 25907
25.39/25.60 c #Conflicts: 572000 | #Constraints: 26907
25.39/25.65 c #Conflicts: 573000 | #Constraints: 27907
25.39/25.69 c #Conflicts: 574000 | #Constraints: 28907
25.50/25.73 c #Conflicts: 575000 | #Constraints: 29907
25.50/25.77 c #Conflicts: 576000 | #Constraints: 30907
25.50/25.78 c DATABASE CLEANUP
25.50/25.78 c GARBAGE COLLECT
25.50/25.78 c rational objective 350.5
25.59/25.86 c #Conflicts: 577000 | #Constraints: 16908
25.69/25.90 c #Conflicts: 578000 | #Constraints: 17908
25.69/25.94 c #Conflicts: 579000 | #Constraints: 18908
25.69/25.98 c #Conflicts: 580000 | #Constraints: 19908
25.80/26.02 c #Conflicts: 581000 | #Constraints: 20908
25.80/26.06 c #Conflicts: 582000 | #Constraints: 21908
25.80/26.11 c #Conflicts: 583000 | #Constraints: 22908
25.90/26.14 c #Conflicts: 584000 | #Constraints: 23908
25.90/26.19 c #Conflicts: 585000 | #Constraints: 24908
25.99/26.24 c #Conflicts: 586000 | #Constraints: 25908
25.99/26.29 c #Conflicts: 587000 | #Constraints: 26908
26.09/26.34 c #Conflicts: 588000 | #Constraints: 27908
26.09/26.39 c #Conflicts: 589000 | #Constraints: 28908
26.18/26.44 c #Conflicts: 590000 | #Constraints: 29908
26.18/26.49 c #Conflicts: 591000 | #Constraints: 30908
26.29/26.52 c DATABASE CLEANUP
26.29/26.52 c GARBAGE COLLECT
26.29/26.52 c rational objective 350.5
26.29/26.58 c #Conflicts: 592000 | #Constraints: 16712
26.39/26.61 c #Conflicts: 593000 | #Constraints: 17712
26.39/26.65 c #Conflicts: 594000 | #Constraints: 18712
26.39/26.69 c #Conflicts: 595000 | #Constraints: 19712
26.49/26.74 c #Conflicts: 596000 | #Constraints: 20712
26.49/26.77 c #Conflicts: 597000 | #Constraints: 21712
26.59/26.81 c #Conflicts: 598000 | #Constraints: 22712
26.59/26.84 c #Conflicts: 599000 | #Constraints: 23712
26.59/26.88 c #Conflicts: 600000 | #Constraints: 24712
26.68/26.92 c #Conflicts: 601000 | #Constraints: 25712
26.68/26.95 c #Conflicts: 602000 | #Constraints: 26712
26.68/27.01 c #Conflicts: 603000 | #Constraints: 27712
26.80/27.06 c #Conflicts: 604000 | #Constraints: 28712
26.80/27.10 c #Conflicts: 605000 | #Constraints: 29712
26.90/27.15 c #Conflicts: 606000 | #Constraints: 30712
26.90/27.19 c #Conflicts: 607000 | #Constraints: 31712
26.98/27.21 c DATABASE CLEANUP
26.98/27.21 c GARBAGE COLLECT
26.98/27.21 c rational objective 350.5
26.98/27.29 c #Conflicts: 608000 | #Constraints: 17313
27.08/27.33 c #Conflicts: 609000 | #Constraints: 18313
27.08/27.36 c #Conflicts: 610000 | #Constraints: 19313
27.18/27.40 c #Conflicts: 611000 | #Constraints: 20313
27.18/27.43 c #Conflicts: 612000 | #Constraints: 21313
27.18/27.47 c #Conflicts: 613000 | #Constraints: 22313
27.28/27.50 c #Conflicts: 614000 | #Constraints: 23313
27.28/27.54 c #Conflicts: 615000 | #Constraints: 24313
27.28/27.59 c #Conflicts: 616000 | #Constraints: 25313
27.38/27.63 c #Conflicts: 617000 | #Constraints: 26313
27.38/27.68 c #Conflicts: 618000 | #Constraints: 27313
27.48/27.72 c #Conflicts: 619000 | #Constraints: 28313
27.48/27.77 c #Conflicts: 620000 | #Constraints: 29313
27.58/27.82 c #Conflicts: 621000 | #Constraints: 30313
27.58/27.88 c #Conflicts: 622000 | #Constraints: 31313
27.67/27.91 c cpu time 26.4031 s
27.67/27.91 c deterministic time 832180150 8.32e+08
27.67/27.91 c optimization time 4.5e-05 s
27.67/27.91 c total solve time 26.3769 s
27.67/27.91 c core-guided solve time 0 s
27.67/27.91 c propagation time 9.1735 s
27.67/27.91 c conflict analysis time 2.95776 s
27.67/27.91 c local search time 2.11976 s
27.67/27.91 c propagations 3454678
27.67/27.91 c resolve steps 1925928
27.67/27.91 c resolve steps with general constraints 128366
27.67/27.91 c decisions 1316192
27.67/27.91 c conflicts 622512
27.67/27.91 c overflow fixes 8
27.67/27.91 c conflicts with overflow fixes 0
27.67/27.91 c restarts 1308
27.67/27.91 c inprocessing phases 69
27.67/27.91 c garbage collections 69 ,( 100.00 )
27.67/27.91 c input clauses 10 ,( 1.01 )
27.67/27.91 c input cardinalities 984 ,( 98.99 )
27.67/27.91 c input general constraints 0 ,( 0.00 )
27.67/27.91 c input average constraint length 3.98
27.67/27.91 c input average constraint degree 1.99e+00
27.67/27.91 c input average constraint degree bitlength 0.99
27.67/27.91 c learned clauses 602627 ,( 96.74 )
27.67/27.91 c learned cardinalities 1728 ,( 0.28 )
27.67/27.91 c learned general constraints 18592 ,( 2.98 )
27.67/27.91 c learned average constraint length 16.39
27.67/27.91 c learned average constraint degree 2.89e+04
27.67/27.91 c learned average constraint degree bitlength 0.08
27.67/27.91 c watched CF 32, 64, 128, Arb: 8282 , 0 , 0 , 0
27.67/27.91 c counting CF 32, 64, 128, Arb: 10310 , 0 , 0 , 0
27.67/27.91 c watched constraints 8282 ,( 44.55 )
27.67/27.91 c counting constraints 10310 ,( 55.45 )
27.67/27.91 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 185122742 , 5005654 , 7991597 ,( 6319113 , 1672484 )
27.67/27.91 c pure literals detected 0
27.67/27.91 c unique literal constraints detected 0
27.67/27.91 c gcd simplifications 5155
27.67/27.91 c detected cardinalities 2065
27.67/27.91 c divisions strengthening the constraint 0
27.67/27.91 c weakened non-implied lits 163714
27.67/27.91 c weakened non-implying lits 111
27.67/27.91 c percentage of cover cuts not using all falsified lits 0.000
27.67/27.91 c average MIR cut multiplier 6.91e-01
27.67/27.91 c average MIR cut multiplier bitlength 0.000
27.67/27.91 c original variables 701
27.67/27.91 c clausal propagations 1345657
27.67/27.91 c cardinality propagations 892742
27.67/27.91 c watched propagations 53670
27.67/27.91 c counting propagations 525352
27.67/27.91 c watch lookups 384194457
27.67/27.91 c watch backjump lookups 0
27.67/27.91 c watch checks 379641916
27.67/27.91 c propagation checks 25419537
27.67/27.91 c constraint additions 32515581
27.67/27.91 c trail pops 5393293
27.67/27.91 c formula constraints 992
27.67/27.91 c learned constraints 622443
27.67/27.91 c bound constraints 0
27.67/27.91 c core-guided constraints 0
27.67/27.91 c encountered formula constraints 135087
27.67/27.91 c encountered learned constraints 2412191
27.67/27.91 c encountered bound constraints 0
27.67/27.91 c encountered core-guided constraints 0
27.67/27.91 c LP total time 10.8416 s
27.67/27.91 c LP solve time 9.12 s
27.67/27.91 c LP constraints added 1400
27.67/27.91 c LP constraints removed 415
27.67/27.91 c LP pivots internal 243654
27.67/27.91 c LP pivots root 841
27.67/27.91 c LP calls 37956
27.67/27.91 c LP optimalities 37887
27.67/27.91 c LP no pivot count 4394
27.67/27.91 c LP infeasibilities 68
27.67/27.91 c LP valid Farkas constraints 68
27.67/27.91 c LP learned Farkas constraints 68
27.67/27.91 c LP basis resets 0
27.67/27.91 c LP cycling count 0
27.67/27.91 c LP singular count 0
27.67/27.91 c LP no primal count 0
27.67/27.91 c LP no farkas count 0
27.67/27.91 c LP other issue count 0
27.67/27.91 c LP Gomory cuts 368
27.67/27.91 c LP learned cuts 54
27.67/27.91 c LP deleted cuts 415
27.67/27.91 c LP encountered Gomory constraints 0
27.67/27.91 c LP encountered Farkas constraints 965
27.67/27.91 c LP encountered learned Farkas constraints 129
27.67/27.91 c CG auxiliary variables introduced 0
27.67/27.91 c CG solutions found 0
27.67/27.91 c CG cores constructed 0
27.67/27.91 c CG core cardinality constraints returned 0
27.67/27.91 c CG unit cores 0
27.67/27.91 c CG single cores 0
27.67/27.91 c CG blocks removed during cardinality reduction 0
27.67/27.91 c CG first core best 0
27.67/27.91 c CG decision core best 0
27.67/27.91 c CG core reduction tie 0
27.67/27.91 c CG core degree average 0.00
27.67/27.91 c CG core slack average 0.00
27.67/27.91 c CG core upper bound improvements 0
27.67/27.91 c STR number of successful calls 0
27.67/27.91 c STR number of unsuccessful calls 0
27.67/27.91 c STR number of inconclusive calls 0
27.67/27.91 c STR number of successful attempts 0
27.67/27.91 c STR number of unsuccessful attempts 0
27.67/27.91 c STR number of inconclusive attempts 0
27.67/27.91 c STR average degree increase per successful call inf
27.67/27.91 c STR average degree increase per successful attempt inf
27.67/27.91 c STR total number of conflicts for successful attempts 0
27.67/27.91 c STR total number of conflicts for unsuccessful attempts 0
27.67/27.91 c STR total number of conflicts for inconclusive attempts 0
27.67/27.91 c STR average number of conflicts per successful attempt inf
27.67/27.91 c STR average number of conflicts per unsuccessful attempt inf
27.67/27.91 c STR average number of conflicts per inconclusive attempt inf
27.67/27.91 c IHS number of seeded input constraints 0
27.67/27.91 c IHS number of seeded weakened input constraints 0
27.67/27.91 c IHS number of successful local search calls 0
27.67/27.91 c IHS number of timeouts for local search 0
27.67/27.91 c IHS number of complete search calls 0
27.67/27.91 c IHS number of optimal complete search calls 0
27.67/27.91 c IHS number of complete search progress calls 0
27.67/27.91 c IHS number of solutions from local search 0
27.67/27.91 c IHS number of upper bounds from local search 0
27.67/27.91 c IHS number of cores from local search 0
27.67/27.91 c IHS number of discarded solutions from local search 0
27.67/27.91 c IHS number of solutions from complete search 0
27.67/27.91 c IHS number of upper bounds from complete search 0
27.67/27.91 c IHS number of cores from complete search 0
27.67/27.91 c IHS number of discarded solutions from complete search 0
27.67/27.91 c IHS local search time 0 s
27.67/27.91 c IHS complete search time 0 s
27.67/27.91 c IHS core extraction time 0 s
27.67/27.91 c AVG.sumWPerc 41.39
27.67/27.91 c bigint constraints 0
27.67/27.91 s UNSATISFIABLE
Verifier Data
ERROR: no interpretation found !
Checking of UNSAT/OPT proofs:
VeriPB + CakePB (PB26)
Proof is valid.Proof size: 45551 kiB
Checker CPU time: 5.23665 seconds
Checker wall-clock time: 3.31308 seconds
Checker maximum virtual size: 42028200 kiB
Checker output:
Sat Jul 11 09:13:13 CEST 2026
extraparms=--unchecked-deletion
-- veripb --
VeriPB commit 4545a10e3ae92a3f2c3189f97d4d7d98f3da947b
Running VeriPB version 3.0.2
s VERIFIED UNSATISFIABLE
-- cakepb --
CakePB commit 904eed45e2cbe9ac26000475bbdd2f99bcbdaad8
s VERIFIED UNSATISFIABLE
--summary--
ALL OK
Watcher Data
runsolver version 3.4.3 (svn: 5215) 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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4835459-1783677200/watcher-4835459-1783677200 -o /tmp/evaluation-result-4835459-1783677200/solver-4835459-1783677200 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4835459-1783677200/vars-4835459-1783677200 --bin-var /tmp/runsolver-exch-nodeE002-1783675480-2426597 --watchdog 3760 --file-size-limit 100000 ./run-mir.sh --proof-log=/tmp/proofs/proof-4835459-1783677200 HOME/instance-4835459-1783677200.opb
running on 4 cores: 44-47
CPU: AMD EPYC 9355 32-Core Processor
Cores frequency:
2500 MHz: 9-11,13-14,16-17,19,21-25,29-30,32-33,35,37,39-40,42-43,48,50,52,54-55,57-58
3550 MHz: 8,12,15,18,34,41,47,53,56,59,61
3600 MHz: 0-7,20,26-28,31,36,38,44-46,49,51,60,62-63
WARNING: cores do not run at the same frequency!
Cores frequency (cpufreq):
3600 MHz: 0-3
CPU governors:
performance: 44-47
NUMA information:
number of nodes: 8
node 0: cores 0-7, 128055 MiB (48118 MiB free)
node 1: cores 8-15, 128973 MiB (9799 MiB free)
node 2: cores 16-23, 129019 MiB (26654 MiB free)
node 3: cores 24-31, 129003 MiB (62022 MiB free)
node 4: cores 32-39, 129019 MiB (50986 MiB free)
node 5: cores 40-47, 129019 MiB (120837 MiB free)
node 6: cores 48-55, 129019 MiB (109557 MiB free)
node 7: cores 56-63, 128474 MiB (117943 MiB free)
node distances:
10 12 12 12 32 32 32 32
12 10 12 12 32 32 32 32
12 12 10 12 32 32 32 32
12 12 12 10 32 32 32 32
32 32 32 32 10 12 12 12
32 32 32 32 12 10 12 12
32 32 32 32 12 12 10 12
32 32 32 32 12 12 12 10
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): 63488000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 63539200 KiB
Linux 5.14.0-611.55.1.el9_7.0.3.x86_64
Starting watchdog thread
solver pid=2428863, runsolver pid=2428860
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 14.96 15.38 14.02 18/901 2428865
/proc/meminfo: memFree=559018080/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=56688 memory=17676 CPUtime=0.09 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 1639 0 0 0 9 0 0 0 20 0 1 0 301007880 58048512 4285 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 44 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 14172 4419 2943 1755 0 2007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60880 KiB
Current children cumulated memory: 20888 KiB
[startup+0.213272 s]*
/proc/loadavg: 14.96 15.38 14.02 15/901 2428865
/proc/meminfo: memFree=559010708/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=57128 memory=18100 CPUtime=0.2 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 1745 0 0 0 19 1 0 0 20 0 1 0 301007880 58499072 4285 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 44 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 14282 4525 2943 1755 0 2117 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61320 KiB
Current children cumulated memory: 21312 KiB
[startup+0.311554 s]*
/proc/loadavg: 14.96 15.38 14.02 15/901 2428865
/proc/meminfo: memFree=559009196/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=57460 memory=18416 CPUtime=0.29 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 1824 0 0 0 28 1 0 0 20 0 1 0 301007880 58839040 4413 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 44 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 14365 4604 2943 1755 0 2200 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61652 KiB
Current children cumulated memory: 21628 KiB
[startup+0.700124 s]
/proc/loadavg: 14.96 15.38 14.02 15/901 2428865
/proc/meminfo: memFree=559004408/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=57940 memory=18952 CPUtime=0.67 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 1965 0 0 0 63 4 0 0 20 0 1 0 301007880 59330560 4541 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 44 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 14485 4738 2943 1755 0 2320 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62132 KiB
Current children cumulated memory: 22164 KiB
[startup+1.50012 s]
/proc/loadavg: 14.96 15.38 14.02 19/901 2428865
/proc/meminfo: memFree=558991076/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=58760 memory=19712 CPUtime=1.46 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 2177 0 0 0 138 8 0 0 20 0 1 0 301007880 60170240 4797 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 44 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 14690 4928 2943 1755 0 2525 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 62952 KiB
Current children cumulated memory: 22924 KiB
[startup+3.11269 s]
/proc/loadavg: 14.96 15.38 14.02 17/901 2428865
/proc/meminfo: memFree=558947128/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=60084 memory=20960 CPUtime=3.07 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 2589 0 0 0 289 18 0 0 20 0 1 0 301007880 61526016 5053 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 44 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 15021 5240 2943 1755 0 2856 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64276 KiB
Current children cumulated memory: 24172 KiB
[startup+6.30012 s]
/proc/loadavg: 15.05 15.39 14.03 18/901 2428865
/proc/meminfo: memFree=558880396/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=62020 memory=22904 CPUtime=6.23 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 3466 0 0 0 586 37 0 0 20 0 1 0 301007880 63508480 5565 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 44 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 15505 5726 2943 1755 0 3340 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 66212 KiB
Current children cumulated memory: 26116 KiB
[startup+12.7001 s]
/proc/loadavg: 14.96 15.36 14.03 19/901 2428865
/proc/meminfo: memFree=558753248/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=64528 memory=25104 CPUtime=12.59 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 4960 0 0 0 1193 66 0 0 20 0 1 0 301007880 66076672 6205 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 16132 6276 2943 1755 0 3967 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 68720 KiB
Current children cumulated memory: 28316 KiB
[startup+25.5001 s]
/proc/loadavg: 14.97 15.35 14.05 18/901 2428865
/proc/meminfo: memFree=558392660/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=68220 memory=29260 CPUtime=25.29 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 8214 0 0 0 2408 121 0 0 20 0 1 0 301007880 69857280 7229 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 17055 7315 2943 1755 0 4890 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 72412 KiB
Current children cumulated memory: 32472 KiB
[startup+27.9175 s]
# the end of solver process 2428863 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=26.4031 s, system=1.30244 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6001 s]
/proc/loadavg: 14.97 15.35 14.05 18/901 2428865
/proc/meminfo: memFree=558392660/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=68220 memory=29280 CPUtime=25.39 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 8219 0 0 0 2418 121 0 0 20 0 1 0 301007880 69857280 7229 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 17055 7320 2943 1755 0 4890 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 72412 KiB
Current children cumulated memory: 32492 KiB
[startup+27.2001 s]
/proc/loadavg: 14.97 15.35 14.05 18/901 2428865
/proc/meminfo: memFree=558337536/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=68568 memory=29708 CPUtime=26.98 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 8558 0 0 0 2571 127 0 0 20 0 1 0 301007880 70213632 7357 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 17142 7427 2943 1755 0 4977 0
Current children cumulated CPU time: 26.98 s
Current children cumulated vsize: 72760 KiB
Current children cumulated memory: 32920 KiB
[startup+27.6001 s]
/proc/loadavg: 14.97 15.35 14.05 18/901 2428865
/proc/meminfo: memFree=558337536/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=68644 memory=29812 CPUtime=27.38 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 8696 0 0 0 2610 128 0 0 20 0 1 0 301007880 70291456 7357 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 17161 7453 2943 1755 0 4996 0
Current children cumulated CPU time: 27.38 s
Current children cumulated vsize: 72836 KiB
Current children cumulated memory: 33024 KiB
[startup+27.8001 s]
/proc/loadavg: 14.97 15.35 14.05 18/901 2428865
/proc/meminfo: memFree=558337536/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=68644 memory=29812 CPUtime=27.58 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 8696 0 0 0 2629 129 0 0 20 0 1 0 301007880 70291456 7357 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 17161 7453 2943 1755 0 4996 0
Current children cumulated CPU time: 27.58 s
Current children cumulated vsize: 72836 KiB
Current children cumulated memory: 33024 KiB
[startup+27.9001 s]
/proc/loadavg: 14.97 15.35 14.05 18/901 2428865
/proc/meminfo: memFree=558337536/1055320712 swapFree=32569128/33554428
[pid=2428863] ppid=2428860 vsize=4192 memory=3212 CPUtime=0 cores=44-47
/proc/2428863/stat : 2428863 (run-mir.sh) S 2428860 2428863 2426576 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 301007879 4292608 640 18446744073709551615 93954302681088 93954303575621 140731012121728 0 0 0 65536 4 65538 1 0 0 17 45 0 0 0 0 0 93954303814672 93954303862416 93954314461184 140731012131062 140731012131201 140731012131201 140731012136939 0
/proc/2428863/statm: 1048 803 724 219 0 110 0
[pid=2428865] ppid=2428863 vsize=68792 memory=29832 CPUtime=27.67 cores=44-47
/proc/2428865/stat : 2428865 (roundingsat) R 2428863 2428863 2426576 0 -1 4194304 8701 0 0 0 2638 129 0 0 20 0 1 0 301007880 70443008 7357 18446744073709551615 4194304 11382409 140722145086608 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 33812480 140722145089362 140722145089952 140722145089952 140722145095658 0
/proc/2428865/statm: 17198 7458 2943 1755 0 5033 0
Current children cumulated CPU time: 27.67 s
Current children cumulated vsize: 72984 KiB
Current children cumulated memory: 33044 KiB
Child status: 0
Real time (s): 27.9175
CPU time (s): 27.7055
CPU user time (s): 26.4031
CPU system time (s): 1.30244
CPU usage (%): 99.2407
Max. virtual memory (cumulated for all children) (KiB): 72984
Max. memory (cumulated for all children) (KiB): 33044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.4031
system time used= 1.30244
maximum resident set size= 29428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8937
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5851
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 2428863
# total CPU time (s): 27.7055
# total CPU user time (s): 26.4031
# total CPU system time (s): 1.30244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.112605 second user time and 0.327322 second system time
The end
Launcher Data
Begin job on nodeE002 at 2026-07-10 11:53:20
IDJOB=4835459
IDBENCH=160374
IDSOLVER=3671
FILE ID=nodeE002/4835459-1783677200
RUNJOBID= nodeE002-1783675480-2426597
SLURM_JOB_ID= 12722767
Free space on /tmp= 802636 MiB
SOLVER NAME= roundingsat-satsuma-MIR 2026-06-11 (cert)
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./run-mir.sh --proof-log=CERTNAME BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4835459-1783677200/watcher-4835459-1783677200 -o /tmp/evaluation-result-4835459-1783677200/solver-4835459-1783677200 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4835459-1783677200/vars-4835459-1783677200 --bin-var /tmp/runsolver-exch-nodeE002-1783675480-2426597 --watchdog 3760 --file-size-limit 100000 ./run-mir.sh --proof-log=/tmp/proofs/proof-4835459-1783677200 HOME/instance-4835459-1783677200.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 62000 MiB
NBCORE= 3
MD5SUM BENCH= 6c6f54dbad76425fd68d4f6d2aa72935
RANDOM SEED=676576286
nodeE002 Linux 5.14.0-611.55.1.el9_7.0.3.x86_64 #1 SMP PREEMPT_DYNAMIC Mon May 18 19:21:10 UTC 2026
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3578.571
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 0
cpu cores : 32
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 1
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3578.988
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 1
cpu cores : 32
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 2
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3578.578
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 2
cpu cores : 32
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 3
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3579.487
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 3
cpu cores : 32
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 4
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3594.971
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 64
cpu cores : 32
apicid : 64
initial apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 5
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3590.713
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 65
cpu cores : 32
apicid : 65
initial apicid : 65
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 6
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3583.871
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 66
cpu cores : 32
apicid : 66
initial apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 7
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3593.843
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 67
cpu cores : 32
apicid : 67
initial apicid : 67
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 8
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3566.227
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 32
cpu cores : 32
apicid : 32
initial apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 9
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 33
cpu cores : 32
apicid : 33
initial apicid : 33
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 10
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 34
cpu cores : 32
apicid : 34
initial apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 11
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3566.308
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 35
cpu cores : 32
apicid : 35
initial apicid : 35
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 12
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3563.858
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 96
cpu cores : 32
apicid : 96
initial apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 13
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 97
cpu cores : 32
apicid : 97
initial apicid : 97
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 14
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 98
cpu cores : 32
apicid : 98
initial apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 15
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 99
cpu cores : 32
apicid : 99
initial apicid : 99
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 16
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 48
cpu cores : 32
apicid : 48
initial apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 17
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 49
cpu cores : 32
apicid : 49
initial apicid : 49
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 18
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3571.327
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 50
cpu cores : 32
apicid : 50
initial apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 19
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3563.537
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 51
cpu cores : 32
apicid : 51
initial apicid : 51
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 20
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3574.316
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 112
cpu cores : 32
apicid : 112
initial apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 21
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 113
cpu cores : 32
apicid : 113
initial apicid : 113
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 22
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 114
cpu cores : 32
apicid : 114
initial apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 23
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3556.140
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 115
cpu cores : 32
apicid : 115
initial apicid : 115
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 24
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 16
cpu cores : 32
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 25
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 17
cpu cores : 32
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 26
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3577.891
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 18
cpu cores : 32
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 27
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 19
cpu cores : 32
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 28
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3589.246
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 80
cpu cores : 32
apicid : 80
initial apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 29
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 81
cpu cores : 32
apicid : 81
initial apicid : 81
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 30
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 82
cpu cores : 32
apicid : 82
initial apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 31
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 83
cpu cores : 32
apicid : 83
initial apicid : 83
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 32
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 0
cpu cores : 32
apicid : 128
initial apicid : 128
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 33
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 1
cpu cores : 32
apicid : 129
initial apicid : 129
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 34
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3572.666
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 2
cpu cores : 32
apicid : 130
initial apicid : 130
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 35
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3570.772
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 3
cpu cores : 32
apicid : 131
initial apicid : 131
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 36
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3579.707
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 64
cpu cores : 32
apicid : 192
initial apicid : 192
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 37
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 65
cpu cores : 32
apicid : 193
initial apicid : 193
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 38
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3584.179
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 66
cpu cores : 32
apicid : 194
initial apicid : 194
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 39
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3585.982
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 67
cpu cores : 32
apicid : 195
initial apicid : 195
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 40
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 32
cpu cores : 32
apicid : 160
initial apicid : 160
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 41
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3576.640
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 33
cpu cores : 32
apicid : 161
initial apicid : 161
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 42
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 34
cpu cores : 32
apicid : 162
initial apicid : 162
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 43
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3577.903
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 35
cpu cores : 32
apicid : 163
initial apicid : 163
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 44
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3579.927
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 96
cpu cores : 32
apicid : 224
initial apicid : 224
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 45
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3576.379
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 97
cpu cores : 32
apicid : 225
initial apicid : 225
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 46
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3575.283
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 98
cpu cores : 32
apicid : 226
initial apicid : 226
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 47
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3569.084
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 99
cpu cores : 32
apicid : 227
initial apicid : 227
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 48
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 48
cpu cores : 32
apicid : 176
initial apicid : 176
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 49
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3599.050
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 49
cpu cores : 32
apicid : 177
initial apicid : 177
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 50
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3597.988
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 50
cpu cores : 32
apicid : 178
initial apicid : 178
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 51
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 51
cpu cores : 32
apicid : 179
initial apicid : 179
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 52
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 112
cpu cores : 32
apicid : 240
initial apicid : 240
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 53
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3559.908
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 113
cpu cores : 32
apicid : 241
initial apicid : 241
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 54
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 114
cpu cores : 32
apicid : 242
initial apicid : 242
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 55
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3558.700
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 115
cpu cores : 32
apicid : 243
initial apicid : 243
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 56
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3575.002
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 16
cpu cores : 32
apicid : 144
initial apicid : 144
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 57
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 17
cpu cores : 32
apicid : 145
initial apicid : 145
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 58
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 18
cpu cores : 32
apicid : 146
initial apicid : 146
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 59
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 19
cpu cores : 32
apicid : 147
initial apicid : 147
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 60
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3578.780
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 80
cpu cores : 32
apicid : 208
initial apicid : 208
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 61
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3578.980
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 81
cpu cores : 32
apicid : 209
initial apicid : 209
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 62
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3579.523
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 82
cpu cores : 32
apicid : 210
initial apicid : 210
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 63
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 83
cpu cores : 32
apicid : 211
initial apicid : 211
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
/proc/meminfo:
MemTotal: 1055320712 kB
MemFree: 559020464 kB
MemAvailable: 1041511088 kB
Buffers: 4 kB
Cached: 479197640 kB
SwapCached: 8964 kB
Active: 30306096 kB
Inactive: 455020428 kB
Active(anon): 6172616 kB
Inactive(anon): 21028 kB
Active(file): 24133480 kB
Inactive(file): 454999400 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33554428 kB
SwapFree: 32569128 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 67944 kB
Writeback: 68 kB
AnonPages: 6125676 kB
Mapped: 152076 kB
Shmem: 64164 kB
KReclaimable: 8781916 kB
Slab: 9725908 kB
SReclaimable: 8781916 kB
SUnreclaim: 943992 kB
KernelStack: 15216 kB
PageTables: 19140 kB
SecPageTables: 15460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 561214784 kB
Committed_AS: 136461776 kB
VmallocTotal: 13743895347199 kB
VmallocUsed: 478640 kB
VmallocChunk: 0 kB
Percpu: 127744 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3000320 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: 444868 kB
DirectMap2M: 19800064 kB
DirectMap1G: 1053818880 kB
Free space on /tmp at the end= 802624 MiB
End job on nodeE002 at 2026-07-10 11:53:48