Trace number 4834440
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-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-25diag_spec_greater.opb |
| MD5SUM | f08a68e57632e0f96a2085ca4b934d92 |
| 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.037365 |
| 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 | 2000 |
| Total number of constraints | 2552 |
| Number of constraints which are clauses | 1875 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 677 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 675 |
| 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 | 562949953421312 |
| Number of bits of the biggest number in a constraint | 50 |
| Biggest sum of numbers in a constraint | 2251799813685247 |
| Number of bits of the biggest sum of numbers | 51 |
| 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.07 c RoundingSat 2
0.00/0.07 c branch pb26-symm
0.00/0.07 c commit 801ab82
0.00/0.09 c
0.00/0.09 c make graph and approximate orbits
0.00/0.10 c [group: #orbits ~= 0] (1.74668ms)
0.00/0.10 c
0.00/0.10 c detect special group actions
0.00/0.10 c probe for Johnson action (limit=64)
0.00/0.10 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.10 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.10 c (0.356293ms)
0.00/0.10 c
0.00/0.10 c detect symmetries on remainder
0.00/0.10 c [graph: #vertices 13726 #edges 41144]
0.00/0.10 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.10 c [group: #symmetries 1*10^0 #gens 0] (0.525313ms)
0.00/0.10 c
0.00/0.10 c generation finished
0.00/0.10 c [sbp: #constraints 0 #add_vars 0]
0.00/0.10 c
0.00/0.10 c make graph and approximate orbits
0.00/0.10 c [group: #orbits ~= 0] (1.51858ms)
0.00/0.10 c
0.00/0.10 c detect special group actions
0.00/0.10 c probe for Johnson action (limit=64)
0.00/0.10 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.10 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.10 c (0.208083ms)
0.00/0.10 c
0.00/0.10 c detect symmetries on remainder
0.00/0.10 c [graph: #vertices 13726 #edges 41144]
0.00/0.10 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.10 c [group: #symmetries 1*10^0 #gens 0] (0.393594ms)
0.00/0.10 c
0.00/0.10 c finalize break order and special generators
0.00/0.10 c
0.00/0.10 c generation finished
0.00/0.10 c [sbp: #constraints 0 #add_vars 0]
0.00/0.10 c #variables 2000 #constraints 3228
0.00/0.11 c rational objective 0
2.05/2.29 c #Conflicts: 1000 | #Constraints: 4228
4.86/5.24 c #Conflicts: 2000 | #Constraints: 5228
4.86/5.28 c DATABASE CLEANUP
4.86/5.28 c GARBAGE COLLECT
4.86/5.28 c rational objective -3.55271e-15
5.98/6.46 c #Conflicts: 3000 | #Constraints: 5233
6.85/7.47 c #Conflicts: 4000 | #Constraints: 6233
7.03/7.69 c DATABASE CLEANUP
7.03/7.69 c GARBAGE COLLECT
7.03/7.69 c rational objective -3.55271e-15
8.16/8.83 c #Conflicts: 5000 | #Constraints: 5639
9.09/9.87 c #Conflicts: 6000 | #Constraints: 6639
9.95/10.70 c DATABASE CLEANUP
9.95/10.70 c GARBAGE COLLECT
9.95/10.70 c rational objective -3.55271e-15
10.83/11.62 c #Conflicts: 7000 | #Constraints: 5642
11.87/12.70 c #Conflicts: 8000 | #Constraints: 6642
13.10/14.05 c #Conflicts: 9000 | #Constraints: 7642
13.37/14.30 c DATABASE CLEANUP
13.37/14.30 c GARBAGE COLLECT
13.37/14.30 c rational objective -3.55271e-15
14.63/15.66 c #Conflicts: 10000 | #Constraints: 6339
15.98/17.08 c #Conflicts: 11000 | #Constraints: 7339
17.40/18.58 c #Conflicts: 12000 | #Constraints: 8339
17.50/18.60 c DATABASE CLEANUP
17.50/18.60 c GARBAGE COLLECT
17.50/18.60 c rational objective -3.55271e-15
19.05/20.23 c #Conflicts: 13000 | #Constraints: 6787
20.38/21.61 c #Conflicts: 14000 | #Constraints: 7787
21.93/23.24 c #Conflicts: 15000 | #Constraints: 8787
21.93/23.26 c DATABASE CLEANUP
21.93/23.26 c GARBAGE COLLECT
21.93/23.26 c rational objective -3.55271e-15
23.57/24.97 c #Conflicts: 16000 | #Constraints: 7014
25.02/26.44 c #Conflicts: 17000 | #Constraints: 8014
26.78/28.23 c #Conflicts: 18000 | #Constraints: 9014
27.18/28.65 c DATABASE CLEANUP
27.18/28.65 c GARBAGE COLLECT
27.18/28.65 c rational objective -3.55271e-15
28.74/30.23 c #Conflicts: 19000 | #Constraints: 7027
30.28/31.86 c #Conflicts: 20000 | #Constraints: 8027
31.94/33.59 c #Conflicts: 21000 | #Constraints: 9027
33.12/34.72 c DATABASE CLEANUP
33.12/34.72 c GARBAGE COLLECT
33.12/34.72 c rational objective -3.55271e-15
34.10/35.72 c #Conflicts: 22000 | #Constraints: 6835
35.34/37.08 c #Conflicts: 23000 | #Constraints: 7835
37.17/38.92 c #Conflicts: 24000 | #Constraints: 8835
39.11/41.01 c #Conflicts: 25000 | #Constraints: 9835
39.60/41.42 c DATABASE CLEANUP
39.60/41.42 c GARBAGE COLLECT
39.60/41.42 c rational objective -3.55271e-15
41.06/42.96 c #Conflicts: 26000 | #Constraints: 7437
42.47/44.40 c #Conflicts: 27000 | #Constraints: 8437
44.32/46.38 c #Conflicts: 28000 | #Constraints: 9437
46.87/48.92 c #Conflicts: 29000 | #Constraints: 10437
46.87/48.95 c DATABASE CLEANUP
46.87/48.95 c GARBAGE COLLECT
46.87/48.95 c rational objective -3.55271e-15
48.43/50.58 c #Conflicts: 30000 | #Constraints: 7840
49.86/52.11 c #Conflicts: 31000 | #Constraints: 8840
51.81/54.10 c #Conflicts: 32000 | #Constraints: 9840
54.24/56.52 c #Conflicts: 33000 | #Constraints: 10840
54.24/56.55 c DATABASE CLEANUP
54.24/56.55 c GARBAGE COLLECT
54.24/56.55 c rational objective -3.55271e-15
56.10/58.40 c #Conflicts: 34000 | #Constraints: 8044
57.79/60.12 c #Conflicts: 35000 | #Constraints: 9045
59.40/61.85 c #Conflicts: 36000 | #Constraints: 10045
61.53/64.02 c #Conflicts: 37000 | #Constraints: 11045
61.90/64.46 c DATABASE CLEANUP
61.90/64.46 c GARBAGE COLLECT
61.90/64.46 c rational objective -3.55271e-15
63.60/66.18 c #Conflicts: 38000 | #Constraints: 8045
64.95/67.60 c #Conflicts: 39000 | #Constraints: 9045
66.62/69.26 c #Conflicts: 40000 | #Constraints: 10045
68.38/71.03 c #Conflicts: 41000 | #Constraints: 11045
69.46/72.18 c DATABASE CLEANUP
69.46/72.18 c GARBAGE COLLECT
69.46/72.18 c rational objective -3.55271e-15
70.82/73.51 c #Conflicts: 42000 | #Constraints: 7848
72.50/75.22 c #Conflicts: 43000 | #Constraints: 8848
74.57/77.39 c #Conflicts: 44000 | #Constraints: 9848
77.25/80.03 c #Conflicts: 45000 | #Constraints: 10849
79.89/82.76 c #Conflicts: 46000 | #Constraints: 11849
80.58/83.45 c DATABASE CLEANUP
80.58/83.45 c GARBAGE COLLECT
80.58/83.45 c rational objective -3.55271e-15
82.28/85.20 c #Conflicts: 47000 | #Constraints: 8445
84.03/86.94 c #Conflicts: 48000 | #Constraints: 9445
86.12/89.02 c #Conflicts: 49000 | #Constraints: 10445
88.77/91.77 c #Conflicts: 50000 | #Constraints: 11445
92.73/95.76 c #Conflicts: 51000 | #Constraints: 12445
92.73/95.79 c DATABASE CLEANUP
92.73/95.79 c GARBAGE COLLECT
92.73/95.79 c rational objective -3.55271e-15
95.03/98.10 c #Conflicts: 52000 | #Constraints: 8846
97.10/100.13 c #Conflicts: 53000 | #Constraints: 9846
100.15/103.26 c #Conflicts: 54000 | #Constraints: 10846
103.92/107.02 c #Conflicts: 55000 | #Constraints: 11846
109.23/112.48 c #Conflicts: 56000 | #Constraints: 12846
109.33/112.52 c DATABASE CLEANUP
109.33/112.52 c GARBAGE COLLECT
109.33/112.52 c rational objective -7.10543e-15
111.41/114.67 c #Conflicts: 57000 | #Constraints: 9047
113.27/116.54 c #Conflicts: 58000 | #Constraints: 10047
115.14/118.42 c #Conflicts: 59000 | #Constraints: 11047
117.11/120.45 c #Conflicts: 60000 | #Constraints: 12047
120.78/124.12 c #Conflicts: 61000 | #Constraints: 13047
121.45/124.87 c DATABASE CLEANUP
121.45/124.87 c GARBAGE COLLECT
121.45/124.87 c rational objective -7.10543e-15
123.13/126.51 c #Conflicts: 62000 | #Constraints: 9042
124.61/128.04 c #Conflicts: 63000 | #Constraints: 10042
126.48/129.96 c #Conflicts: 64000 | #Constraints: 11042
128.94/132.45 c #Conflicts: 65000 | #Constraints: 12042
131.90/135.47 c #Conflicts: 66000 | #Constraints: 13042
134.24/137.83 c DATABASE CLEANUP
134.24/137.83 c GARBAGE COLLECT
134.24/137.83 c rational objective -7.10543e-15
135.44/139.04 c #Conflicts: 67000 | #Constraints: 8847
136.96/140.62 c #Conflicts: 68000 | #Constraints: 9847
139.18/142.92 c #Conflicts: 69000 | #Constraints: 10847
141.89/145.78 c #Conflicts: 70000 | #Constraints: 11847
146.00/149.96 c #Conflicts: 71000 | #Constraints: 12847
151.56/155.63 c #Conflicts: 72000 | #Constraints: 13847
152.72/156.87 c DATABASE CLEANUP
152.72/156.87 c GARBAGE COLLECT
152.72/156.87 c rational objective 7.10543e-15
154.43/158.69 c #Conflicts: 73000 | #Constraints: 9447
156.27/160.52 c #Conflicts: 74000 | #Constraints: 10447
158.43/162.73 c #Conflicts: 75000 | #Constraints: 11447
161.08/165.48 c #Conflicts: 76000 | #Constraints: 12447
165.42/169.89 c #Conflicts: 77000 | #Constraints: 13447
169.47/174.00 c #Conflicts: 78000 | #Constraints: 14447
169.58/174.04 c DATABASE CLEANUP
169.58/174.04 c GARBAGE COLLECT
169.58/174.04 c rational objective -2.4869e-14
171.84/176.34 c #Conflicts: 79000 | #Constraints: 9847
173.82/178.31 c #Conflicts: 80000 | #Constraints: 10847
176.09/180.66 c #Conflicts: 81000 | #Constraints: 11847
178.85/183.47 c #Conflicts: 82000 | #Constraints: 12847
181.80/186.45 c #Conflicts: 83000 | #Constraints: 13847
185.47/190.16 c #Conflicts: 84000 | #Constraints: 14847
185.56/190.22 c DATABASE CLEANUP
185.56/190.22 c GARBAGE COLLECT
185.56/190.22 c rational objective -2.4869e-14
187.63/192.38 c #Conflicts: 85000 | #Constraints: 10046
189.49/194.20 c #Conflicts: 86000 | #Constraints: 11046
192.06/196.84 c #Conflicts: 87000 | #Constraints: 12046
194.43/199.25 c #Conflicts: 88000 | #Constraints: 13046
197.09/201.98 c #Conflicts: 89000 | #Constraints: 14046
200.28/205.15 c #Conflicts: 90000 | #Constraints: 15046
201.05/205.93 c DATABASE CLEANUP
201.05/205.93 c GARBAGE COLLECT
201.05/205.93 c rational objective -2.4869e-14
202.93/207.88 c #Conflicts: 91000 | #Constraints: 10043
204.71/209.67 c #Conflicts: 92000 | #Constraints: 11043
206.97/211.91 c #Conflicts: 93000 | #Constraints: 12043
209.64/214.67 c #Conflicts: 94000 | #Constraints: 13043
213.30/218.31 c #Conflicts: 95000 | #Constraints: 14043
217.37/222.42 c #Conflicts: 96000 | #Constraints: 15044
220.24/225.30 c DATABASE CLEANUP
220.24/225.30 c GARBAGE COLLECT
220.24/225.30 c rational objective -2.4869e-14
221.53/226.69 c #Conflicts: 97000 | #Constraints: 9846
224.19/229.39 c #Conflicts: 98000 | #Constraints: 10846
226.67/231.83 c #Conflicts: 99000 | #Constraints: 11846
229.63/234.84 c #Conflicts: 100000 | #Constraints: 12846
232.61/237.81 c #Conflicts: 101000 | #Constraints: 13846
236.47/241.78 c #Conflicts: 102000 | #Constraints: 14847
241.42/246.70 c #Conflicts: 103000 | #Constraints: 15847
242.32/247.68 c DATABASE CLEANUP
242.32/247.68 c GARBAGE COLLECT
242.32/247.68 c rational objective -1.77636e-14
244.19/249.52 c #Conflicts: 104000 | #Constraints: 10445
246.27/251.66 c #Conflicts: 105000 | #Constraints: 11445
249.05/254.48 c #Conflicts: 106000 | #Constraints: 12445
252.31/257.79 c #Conflicts: 107000 | #Constraints: 13445
256.45/262.00 c #Conflicts: 108000 | #Constraints: 14445
260.52/266.08 c #Conflicts: 109000 | #Constraints: 15445
264.97/270.50 c #Conflicts: 110000 | #Constraints: 16445
264.97/270.54 c DATABASE CLEANUP
264.97/270.54 c GARBAGE COLLECT
264.97/270.54 c rational objective -1.77636e-14
267.46/273.04 c #Conflicts: 111000 | #Constraints: 10845
269.80/275.46 c #Conflicts: 112000 | #Constraints: 11845
272.57/278.24 c #Conflicts: 113000 | #Constraints: 12845
276.03/281.79 c #Conflicts: 114000 | #Constraints: 13845
279.59/285.32 c #Conflicts: 115000 | #Constraints: 14845
284.35/290.15 c #Conflicts: 116000 | #Constraints: 15845
289.39/295.22 c #Conflicts: 117000 | #Constraints: 16845
289.39/295.27 c DATABASE CLEANUP
289.39/295.27 c GARBAGE COLLECT
289.39/295.27 c rational objective -1.77636e-14
292.06/297.91 c #Conflicts: 118000 | #Constraints: 11045
294.43/300.38 c #Conflicts: 119000 | #Constraints: 12046
297.39/303.30 c #Conflicts: 120000 | #Constraints: 13046
300.56/306.53 c #Conflicts: 121000 | #Constraints: 14046
304.14/310.19 c #Conflicts: 122000 | #Constraints: 15046
308.48/314.55 c #Conflicts: 123000 | #Constraints: 16046
313.34/319.43 c #Conflicts: 124000 | #Constraints: 17046
314.43/320.54 c DATABASE CLEANUP
314.43/320.54 c GARBAGE COLLECT
314.43/320.54 c rational objective -1.77636e-14
316.41/322.57 c #Conflicts: 125000 | #Constraints: 11043
318.77/324.97 c #Conflicts: 126000 | #Constraints: 12043
321.86/328.08 c #Conflicts: 127000 | #Constraints: 13043
325.82/332.04 c #Conflicts: 128000 | #Constraints: 14043
330.05/336.37 c #Conflicts: 129000 | #Constraints: 15043
335.30/341.60 c #Conflicts: 130000 | #Constraints: 16043
340.85/347.22 c #Conflicts: 131000 | #Constraints: 17043
344.40/350.83 c DATABASE CLEANUP
344.40/350.83 c GARBAGE COLLECT
344.40/350.83 c rational objective -1.77636e-14
345.89/352.34 c #Conflicts: 132000 | #Constraints: 10848
347.87/354.36 c #Conflicts: 133000 | #Constraints: 11848
350.55/357.11 c #Conflicts: 134000 | #Constraints: 12850
354.20/360.71 c #Conflicts: 135000 | #Constraints: 13850
358.86/365.44 c #Conflicts: 136000 | #Constraints: 14850
363.02/369.62 c #Conflicts: 137000 | #Constraints: 15850
367.66/374.31 c #Conflicts: 138000 | #Constraints: 16850
373.51/380.23 c #Conflicts: 139000 | #Constraints: 17850
374.80/381.50 c DATABASE CLEANUP
374.80/381.50 c GARBAGE COLLECT
374.80/381.50 c rational objective -1.77636e-14
376.68/383.48 c #Conflicts: 140000 | #Constraints: 11447
378.85/385.68 c #Conflicts: 141000 | #Constraints: 12447
381.72/388.54 c #Conflicts: 142000 | #Constraints: 13448
385.20/392.06 c #Conflicts: 143000 | #Constraints: 14448
389.34/396.22 c #Conflicts: 144000 | #Constraints: 15448
394.12/401.06 c #Conflicts: 145000 | #Constraints: 16448
399.18/406.14 c #Conflicts: 146000 | #Constraints: 17448
405.32/412.38 c #Conflicts: 147000 | #Constraints: 18448
405.42/412.45 c DATABASE CLEANUP
405.42/412.45 c GARBAGE COLLECT
405.42/412.45 c rational objective -1.77636e-14
408.28/415.35 c #Conflicts: 148000 | #Constraints: 11849
411.15/418.23 c #Conflicts: 149000 | #Constraints: 12849
414.52/421.64 c #Conflicts: 150000 | #Constraints: 13849
418.66/425.82 c #Conflicts: 151000 | #Constraints: 14849
422.43/429.68 c #Conflicts: 152000 | #Constraints: 15849
427.09/434.38 c #Conflicts: 153000 | #Constraints: 16849
432.54/439.80 c #Conflicts: 154000 | #Constraints: 17849
437.90/445.22 c #Conflicts: 155000 | #Constraints: 18849
437.90/445.28 c DATABASE CLEANUP
437.90/445.28 c GARBAGE COLLECT
437.90/445.28 c rational objective -1.77636e-14
440.77/448.15 c #Conflicts: 156000 | #Constraints: 12052
443.53/450.91 c #Conflicts: 157000 | #Constraints: 13052
446.79/454.27 c #Conflicts: 158000 | #Constraints: 14052
450.05/457.54 c #Conflicts: 159000 | #Constraints: 15052
454.21/461.76 c #Conflicts: 160000 | #Constraints: 16052
458.67/466.27 c #Conflicts: 161000 | #Constraints: 17052
465.33/473.01 c #Conflicts: 162000 | #Constraints: 18052
471.08/478.73 c #Conflicts: 163000 | #Constraints: 19052
472.37/480.03 c DATABASE CLEANUP
472.37/480.03 c GARBAGE COLLECT
472.37/480.03 c rational objective -1.77636e-14
474.73/482.47 c #Conflicts: 164000 | #Constraints: 12050
477.01/484.78 c #Conflicts: 165000 | #Constraints: 13050
479.67/487.45 c #Conflicts: 166000 | #Constraints: 14050
483.25/491.10 c #Conflicts: 167000 | #Constraints: 15050
487.59/495.47 c #Conflicts: 168000 | #Constraints: 16050
492.45/500.34 c #Conflicts: 169000 | #Constraints: 17050
497.62/505.51 c #Conflicts: 170000 | #Constraints: 18050
503.76/511.78 c #Conflicts: 171000 | #Constraints: 19050
508.14/516.12 c DATABASE CLEANUP
508.14/516.12 c GARBAGE COLLECT
508.14/516.12 c rational objective -1.06581e-14
509.71/517.72 c #Conflicts: 172000 | #Constraints: 11851
512.09/520.14 c #Conflicts: 173000 | #Constraints: 12851
514.84/522.94 c #Conflicts: 174000 | #Constraints: 13851
518.21/526.35 c #Conflicts: 175000 | #Constraints: 14851
521.58/529.73 c #Conflicts: 176000 | #Constraints: 15851
525.73/534.00 c #Conflicts: 177000 | #Constraints: 16851
531.18/539.42 c #Conflicts: 178000 | #Constraints: 17851
537.63/545.99 c #Conflicts: 179000 | #Constraints: 18851
543.79/552.14 c #Conflicts: 180000 | #Constraints: 19851
544.97/553.33 c DATABASE CLEANUP
544.97/553.33 c GARBAGE COLLECT
544.97/553.33 c rational objective -7.10543e-15
547.35/555.75 c #Conflicts: 181000 | #Constraints: 12447
550.12/558.55 c #Conflicts: 182000 | #Constraints: 13447
553.48/561.98 c #Conflicts: 183000 | #Constraints: 14447
557.84/566.30 c #Conflicts: 184000 | #Constraints: 15447
562.80/571.34 c #Conflicts: 185000 | #Constraints: 16447
567.36/575.99 c #Conflicts: 186000 | #Constraints: 17447
572.01/580.67 c #Conflicts: 187000 | #Constraints: 18447
577.06/585.72 c #Conflicts: 188000 | #Constraints: 19447
582.33/591.08 c #Conflicts: 189000 | #Constraints: 20447
582.43/591.13 c DATABASE CLEANUP
582.43/591.13 c GARBAGE COLLECT
582.43/591.13 c rational objective -7.10543e-15
585.41/594.17 c #Conflicts: 190000 | #Constraints: 12849
588.38/597.17 c #Conflicts: 191000 | #Constraints: 13849
591.84/600.63 c #Conflicts: 192000 | #Constraints: 14849
595.60/604.42 c #Conflicts: 193000 | #Constraints: 15849
599.36/608.26 c #Conflicts: 194000 | #Constraints: 16849
603.63/612.59 c #Conflicts: 195000 | #Constraints: 17849
608.58/617.52 c #Conflicts: 196000 | #Constraints: 18849
614.04/623.08 c #Conflicts: 197000 | #Constraints: 19849
619.59/628.69 c #Conflicts: 198000 | #Constraints: 20849
619.69/628.74 c DATABASE CLEANUP
619.69/628.74 c GARBAGE COLLECT
619.69/628.74 c rational objective -7.10543e-15
623.07/632.15 c #Conflicts: 199000 | #Constraints: 13050
626.04/635.13 c #Conflicts: 200000 | #Constraints: 14050
629.39/638.56 c #Conflicts: 201000 | #Constraints: 15050
633.75/642.91 c #Conflicts: 202000 | #Constraints: 16050
638.32/647.59 c #Conflicts: 203000 | #Constraints: 17050
643.47/652.79 c #Conflicts: 204000 | #Constraints: 18050
649.03/658.32 c #Conflicts: 205000 | #Constraints: 19050
655.18/664.52 c #Conflicts: 206000 | #Constraints: 20050
662.03/671.44 c #Conflicts: 207000 | #Constraints: 21050
663.52/672.90 c DATABASE CLEANUP
663.52/672.90 c GARBAGE COLLECT
663.52/672.90 c rational objective -7.10543e-15
666.29/675.78 c #Conflicts: 208000 | #Constraints: 13052
669.57/679.04 c #Conflicts: 209000 | #Constraints: 14052
672.92/682.42 c #Conflicts: 210000 | #Constraints: 15052
677.30/686.83 c #Conflicts: 211000 | #Constraints: 16052
681.66/691.27 c #Conflicts: 212000 | #Constraints: 17053
687.43/697.02 c #Conflicts: 213000 | #Constraints: 18053
693.48/703.14 c #Conflicts: 214000 | #Constraints: 19053
699.72/709.43 c #Conflicts: 215000 | #Constraints: 20053
706.07/715.87 c #Conflicts: 216000 | #Constraints: 21053
710.35/720.19 c DATABASE CLEANUP
710.35/720.19 c GARBAGE COLLECT
710.35/720.19 c rational objective -7.10543e-15
712.12/721.91 c #Conflicts: 217000 | #Constraints: 12858
714.99/724.81 c #Conflicts: 218000 | #Constraints: 13858
718.46/728.39 c #Conflicts: 219000 | #Constraints: 14858
722.32/732.26 c #Conflicts: 220000 | #Constraints: 15858
726.79/736.74 c #Conflicts: 221000 | #Constraints: 16858
731.84/741.89 c #Conflicts: 222000 | #Constraints: 17858
737.59/747.67 c #Conflicts: 223000 | #Constraints: 18858
743.75/753.82 c #Conflicts: 224000 | #Constraints: 19858
750.02/760.19 c #Conflicts: 225000 | #Constraints: 20858
757.45/767.62 c #Conflicts: 226000 | #Constraints: 21858
758.85/769.10 c DATABASE CLEANUP
758.85/769.10 c GARBAGE COLLECT
758.85/769.10 c rational objective -7.10543e-15
761.71/771.98 c #Conflicts: 227000 | #Constraints: 13460
764.98/775.24 c #Conflicts: 228000 | #Constraints: 14460
768.65/778.98 c #Conflicts: 229000 | #Constraints: 15460
772.72/783.02 c #Conflicts: 230000 | #Constraints: 16460
777.79/788.12 c #Conflicts: 231000 | #Constraints: 17461
782.04/792.44 c #Conflicts: 232000 | #Constraints: 18461
787.60/798.09 c #Conflicts: 233000 | #Constraints: 19461
793.94/804.46 c #Conflicts: 234000 | #Constraints: 20461
800.61/811.13 c #Conflicts: 235000 | #Constraints: 21461
808.03/818.67 c #Conflicts: 236000 | #Constraints: 22461
808.13/818.72 c DATABASE CLEANUP
808.13/818.72 c GARBAGE COLLECT
808.13/818.72 c rational objective -7.10543e-15
811.42/822.06 c #Conflicts: 237000 | #Constraints: 13856
814.18/824.88 c #Conflicts: 238000 | #Constraints: 14856
817.64/828.39 c #Conflicts: 239000 | #Constraints: 15856
821.60/832.38 c #Conflicts: 240000 | #Constraints: 16856
826.45/837.23 c #Conflicts: 241000 | #Constraints: 17856
832.89/843.76 c #Conflicts: 242000 | #Constraints: 18856
840.92/851.81 c #Conflicts: 243000 | #Constraints: 19856
848.84/859.85 c #Conflicts: 244000 | #Constraints: 20856
858.45/869.58 c #Conflicts: 245000 | #Constraints: 21856
867.97/879.12 c #Conflicts: 246000 | #Constraints: 22856
867.97/879.19 c DATABASE CLEANUP
867.97/879.19 c GARBAGE COLLECT
867.97/879.19 c rational objective -2.4869e-14
871.83/883.09 c #Conflicts: 247000 | #Constraints: 14058
874.49/885.78 c #Conflicts: 248000 | #Constraints: 15058
877.87/889.12 c #Conflicts: 249000 | #Constraints: 16058
881.73/893.09 c #Conflicts: 250000 | #Constraints: 17058
887.07/898.43 c #Conflicts: 251000 | #Constraints: 18058
891.74/903.18 c #Conflicts: 252000 | #Constraints: 19058
895.50/906.99 c #Conflicts: 253000 | #Constraints: 20058
900.27/911.77 c #Conflicts: 254000 | #Constraints: 21058
906.31/917.89 c #Conflicts: 255000 | #Constraints: 22058
913.17/924.78 c #Conflicts: 256000 | #Constraints: 23058
914.46/926.07 c DATABASE CLEANUP
914.46/926.07 c GARBAGE COLLECT
914.46/926.07 c rational objective -1.06581e-14
916.83/928.49 c #Conflicts: 257000 | #Constraints: 14061
919.81/931.49 c #Conflicts: 258000 | #Constraints: 15061
923.08/934.78 c #Conflicts: 259000 | #Constraints: 16061
927.45/939.14 c #Conflicts: 260000 | #Constraints: 17061
932.00/943.78 c #Conflicts: 261000 | #Constraints: 18061
937.27/949.04 c #Conflicts: 262000 | #Constraints: 19061
943.11/955.00 c #Conflicts: 263000 | #Constraints: 20061
949.76/961.62 c #Conflicts: 264000 | #Constraints: 21061
957.59/969.51 c #Conflicts: 265000 | #Constraints: 22061
966.04/978.09 c #Conflicts: 266000 | #Constraints: 23061
971.79/983.84 c DATABASE CLEANUP
971.79/983.84 c GARBAGE COLLECT
971.79/983.84 c rational objective -1.06581e-14
973.38/985.45 c #Conflicts: 267000 | #Constraints: 13860
975.96/988.07 c #Conflicts: 268000 | #Constraints: 14861
979.41/991.56 c #Conflicts: 269000 | #Constraints: 15861
983.48/995.65 c #Conflicts: 270000 | #Constraints: 16861
988.44/1000.60 c #Conflicts: 271000 | #Constraints: 17861
993.50/1005.71 c #Conflicts: 272000 | #Constraints: 18861
999.26/1011.54 c #Conflicts: 273000 | #Constraints: 19861
1005.52/1017.89 c #Conflicts: 274000 | #Constraints: 20861
1012.78/1025.18 c #Conflicts: 275000 | #Constraints: 21861
1020.11/1032.57 c #Conflicts: 276000 | #Constraints: 22861
1028.75/1041.20 c #Conflicts: 277000 | #Constraints: 23861
1030.55/1043.07 c DATABASE CLEANUP
1030.55/1043.07 c GARBAGE COLLECT
1030.55/1043.07 c rational objective -1.06581e-14
1034.01/1046.52 c #Conflicts: 278000 | #Constraints: 14459
1038.66/1051.28 c #Conflicts: 279000 | #Constraints: 15459
1044.42/1057.04 c #Conflicts: 280000 | #Constraints: 16459
1052.03/1064.71 c #Conflicts: 281000 | #Constraints: 17459
1056.47/1069.27 c #Conflicts: 282000 | #Constraints: 18459
1063.98/1076.81 c #Conflicts: 283000 | #Constraints: 19459
1070.41/1083.37 c #Conflicts: 284000 | #Constraints: 20459
1080.39/1093.47 c #Conflicts: 285000 | #Constraints: 21459
1090.01/1103.13 c #Conflicts: 286000 | #Constraints: 22459
1100.59/1113.88 c #Conflicts: 287000 | #Constraints: 23459
1109.50/1122.87 c #Conflicts: 288000 | #Constraints: 24459
1109.61/1122.95 c DATABASE CLEANUP
1109.61/1122.95 c GARBAGE COLLECT
1109.61/1122.95 c rational objective 7.10543e-15
1113.47/1126.88 c #Conflicts: 289000 | #Constraints: 14851
1118.03/1131.47 c #Conflicts: 290000 | #Constraints: 15851
1122.69/1136.11 c #Conflicts: 291000 | #Constraints: 16851
1127.54/1141.02 c #Conflicts: 292000 | #Constraints: 17851
1133.60/1147.12 c #Conflicts: 293000 | #Constraints: 18851
1139.83/1153.46 c #Conflicts: 294000 | #Constraints: 19851
1147.17/1160.82 c #Conflicts: 295000 | #Constraints: 20851
1155.91/1169.65 c #Conflicts: 296000 | #Constraints: 21851
1163.36/1177.16 c #Conflicts: 297000 | #Constraints: 22851
1169.22/1183.02 c #Conflicts: 298000 | #Constraints: 23851
1178.04/1191.90 c #Conflicts: 299000 | #Constraints: 24851
1178.04/1191.97 c DATABASE CLEANUP
1178.04/1191.97 c GARBAGE COLLECT
1178.04/1191.97 c rational objective -7.10543e-15
1181.90/1195.86 c #Conflicts: 300000 | #Constraints: 15056
1185.47/1199.41 c #Conflicts: 301000 | #Constraints: 16056
1189.72/1203.72 c #Conflicts: 302000 | #Constraints: 17056
1194.68/1208.72 c #Conflicts: 303000 | #Constraints: 18056
1200.05/1214.19 c #Conflicts: 304000 | #Constraints: 19056
1206.48/1220.64 c #Conflicts: 305000 | #Constraints: 20056
1214.11/1228.35 c #Conflicts: 306000 | #Constraints: 21056
1221.94/1236.28 c #Conflicts: 307000 | #Constraints: 22056
1229.48/1243.86 c #Conflicts: 308000 | #Constraints: 23056
1238.32/1252.73 c #Conflicts: 309000 | #Constraints: 24056
1245.77/1260.27 c #Conflicts: 310000 | #Constraints: 25056
1247.26/1261.74 c DATABASE CLEANUP
1247.26/1261.74 c GARBAGE COLLECT
1247.26/1261.74 c rational objective -7.10543e-15
1250.03/1264.58 c #Conflicts: 311000 | #Constraints: 15057
1253.70/1268.26 c #Conflicts: 312000 | #Constraints: 16057
1258.07/1272.67 c #Conflicts: 313000 | #Constraints: 17057
1263.13/1277.71 c #Conflicts: 314000 | #Constraints: 18057
1267.59/1282.23 c #Conflicts: 315000 | #Constraints: 19057
1272.24/1286.96 c #Conflicts: 316000 | #Constraints: 20057
1277.69/1292.48 c #Conflicts: 317000 | #Constraints: 21057
1283.85/1298.65 c #Conflicts: 318000 | #Constraints: 22057
1290.32/1305.19 c #Conflicts: 319000 | #Constraints: 23057
1297.56/1312.43 c #Conflicts: 320000 | #Constraints: 24057
1306.11/1321.08 c #Conflicts: 321000 | #Constraints: 25057
1311.75/1326.79 c DATABASE CLEANUP
1311.75/1326.79 c GARBAGE COLLECT
1311.75/1326.79 c rational objective -7.10543e-15
1313.44/1328.49 c #Conflicts: 322000 | #Constraints: 14860
1316.21/1331.20 c #Conflicts: 323000 | #Constraints: 15860
1319.29/1334.34 c #Conflicts: 324000 | #Constraints: 16860
1323.35/1338.48 c #Conflicts: 325000 | #Constraints: 17860
1327.93/1343.06 c #Conflicts: 326000 | #Constraints: 18860
1332.89/1348.08 c #Conflicts: 327000 | #Constraints: 19860
1338.53/1353.79 c #Conflicts: 328000 | #Constraints: 20860
1344.29/1359.59 c #Conflicts: 329000 | #Constraints: 21860
1350.64/1365.91 c #Conflicts: 330000 | #Constraints: 22860
1358.10/1373.42 c #Conflicts: 331000 | #Constraints: 23860
1365.96/1381.37 c #Conflicts: 332000 | #Constraints: 24860
1374.40/1389.86 c #Conflicts: 333000 | #Constraints: 25860
1376.20/1391.69 c DATABASE CLEANUP
1376.20/1391.69 c GARBAGE COLLECT
1376.20/1391.69 c rational objective -7.10543e-15
1379.68/1395.15 c #Conflicts: 334000 | #Constraints: 15459
1383.64/1399.13 c #Conflicts: 335000 | #Constraints: 16459
1388.50/1404.01 c #Conflicts: 336000 | #Constraints: 17459
1393.64/1409.22 c #Conflicts: 337000 | #Constraints: 18459
1399.09/1414.79 c #Conflicts: 338000 | #Constraints: 19459
1405.15/1420.84 c #Conflicts: 339000 | #Constraints: 20459
1411.10/1426.82 c #Conflicts: 340000 | #Constraints: 21459
1417.15/1432.95 c #Conflicts: 341000 | #Constraints: 22459
1424.60/1440.44 c #Conflicts: 342000 | #Constraints: 23459
1433.15/1449.08 c #Conflicts: 343000 | #Constraints: 24459
1441.38/1457.36 c #Conflicts: 344000 | #Constraints: 25459
1451.41/1467.46 c #Conflicts: 345000 | #Constraints: 26459
1451.50/1467.54 c DATABASE CLEANUP
1451.50/1467.54 c GARBAGE COLLECT
1451.50/1467.54 c rational objective -1.06581e-14
1455.57/1471.60 c #Conflicts: 346000 | #Constraints: 15852
1458.95/1475.10 c #Conflicts: 347000 | #Constraints: 16852
1463.10/1479.24 c #Conflicts: 348000 | #Constraints: 17852
1467.56/1483.76 c #Conflicts: 349000 | #Constraints: 18852
1472.83/1489.02 c #Conflicts: 350000 | #Constraints: 19852
1478.58/1494.89 c #Conflicts: 351000 | #Constraints: 20852
1485.52/1501.86 c #Conflicts: 352000 | #Constraints: 21852
1493.17/1509.59 c #Conflicts: 353000 | #Constraints: 22852
1500.92/1517.38 c #Conflicts: 354000 | #Constraints: 23852
1509.95/1526.47 c #Conflicts: 355000 | #Constraints: 24852
1520.89/1537.47 c #Conflicts: 356000 | #Constraints: 25852
1530.62/1547.29 c #Conflicts: 357000 | #Constraints: 26852
1530.72/1547.38 c DATABASE CLEANUP
1530.72/1547.38 c GARBAGE COLLECT
1530.72/1547.38 c rational objective -1.06581e-14
1534.97/1551.63 c #Conflicts: 358000 | #Constraints: 16049
1538.94/1555.67 c #Conflicts: 359000 | #Constraints: 17049
1543.42/1560.19 c #Conflicts: 360000 | #Constraints: 18049
1548.86/1565.60 c #Conflicts: 361000 | #Constraints: 19049
1555.23/1572.08 c #Conflicts: 362000 | #Constraints: 20049
1562.95/1579.81 c #Conflicts: 363000 | #Constraints: 21049
1570.29/1587.23 c #Conflicts: 364000 | #Constraints: 22049
1579.72/1596.70 c #Conflicts: 365000 | #Constraints: 23049
1588.26/1605.37 c #Conflicts: 366000 | #Constraints: 24049
1597.29/1614.46 c #Conflicts: 367000 | #Constraints: 25049
1606.52/1623.78 c #Conflicts: 368000 | #Constraints: 26049
1616.54/1633.80 c #Conflicts: 369000 | #Constraints: 27049
1618.23/1635.53 c DATABASE CLEANUP
1618.23/1635.53 c GARBAGE COLLECT
1618.23/1635.53 c rational objective -1.06581e-14
1622.00/1639.37 c #Conflicts: 370000 | #Constraints: 16058
1625.97/1643.34 c #Conflicts: 371000 | #Constraints: 17058
1630.83/1648.24 c #Conflicts: 372000 | #Constraints: 18058
1635.99/1653.42 c #Conflicts: 373000 | #Constraints: 19058
1641.95/1659.44 c #Conflicts: 374000 | #Constraints: 20058
1648.40/1665.94 c #Conflicts: 375000 | #Constraints: 21058
1654.85/1672.40 c #Conflicts: 376000 | #Constraints: 22058
1662.90/1680.55 c #Conflicts: 377000 | #Constraints: 23058
1670.75/1688.49 c #Conflicts: 378000 | #Constraints: 24058
1679.30/1697.07 c #Conflicts: 379000 | #Constraints: 25058
1688.03/1705.89 c #Conflicts: 380000 | #Constraints: 26058
1696.48/1714.38 c #Conflicts: 381000 | #Constraints: 27058
1702.43/1720.32 c DATABASE CLEANUP
1702.43/1720.32 c GARBAGE COLLECT
1702.43/1720.32 c rational objective -1.06581e-14
1704.72/1722.61 c #Conflicts: 382000 | #Constraints: 15863
1708.28/1726.22 c #Conflicts: 383000 | #Constraints: 16863
1712.94/1730.93 c #Conflicts: 384000 | #Constraints: 17863
1718.39/1736.43 c #Conflicts: 385000 | #Constraints: 18863
1724.44/1742.57 c #Conflicts: 386000 | #Constraints: 19863
1731.19/1749.37 c #Conflicts: 387000 | #Constraints: 20864
1738.04/1756.23 c #Conflicts: 388000 | #Constraints: 21864
1745.38/1763.68 c #Conflicts: 389000 | #Constraints: 22864
1753.33/1771.65 c #Conflicts: 390000 | #Constraints: 23864
1761.78/1780.16 c #Conflicts: 391000 | #Constraints: 24864
1770.51/1788.93 c #Conflicts: 392000 | #Constraints: 25864
1781.15/1799.61 c #Conflicts: 393000 | #Constraints: 26864
1791.97/1810.57 c #Conflicts: 394000 | #Constraints: 27864
1793.57/1812.18 c DATABASE CLEANUP
1793.57/1812.18 c GARBAGE COLLECT
1793.57/1812.18 c rational objective -1.06581e-14
1797.72/1816.30 c #Conflicts: 395000 | #Constraints: 16458
1801.89/1820.51 c #Conflicts: 396000 | #Constraints: 17458
1806.65/1825.39 c #Conflicts: 397000 | #Constraints: 18458
1811.91/1830.66 c #Conflicts: 398000 | #Constraints: 19458
1817.57/1836.32 c #Conflicts: 399000 | #Constraints: 20458
1824.23/1843.02 c #Conflicts: 400000 | #Constraints: 21458
1832.86/1851.78 c #Conflicts: 401000 | #Constraints: 22458
1843.07/1862.02 c #Conflicts: 402000 | #Constraints: 23458
1854.27/1873.39 c #Conflicts: 403000 | #Constraints: 24458
1864.77/1883.90 c #Conflicts: 404000 | #Constraints: 25458
1873.90/1893.12 c #Conflicts: 405000 | #Constraints: 26458
1886.29/1905.62 c #Conflicts: 406000 | #Constraints: 27458
1900.39/1919.81 c #Conflicts: 407000 | #Constraints: 28458
1900.49/1919.93 c DATABASE CLEANUP
1900.49/1919.93 c GARBAGE COLLECT
1900.49/1919.93 c rational objective -1.77636e-14
1904.85/1924.31 c #Conflicts: 408000 | #Constraints: 16857
1908.53/1928.10 c #Conflicts: 409000 | #Constraints: 17857
1912.50/1932.04 c #Conflicts: 410000 | #Constraints: 18857
1917.14/1936.73 c #Conflicts: 411000 | #Constraints: 19857
1922.30/1941.93 c #Conflicts: 412000 | #Constraints: 20857
1928.85/1948.54 c #Conflicts: 413000 | #Constraints: 21857
1935.70/1955.41 c #Conflicts: 414000 | #Constraints: 22857
1943.05/1962.87 c #Conflicts: 415000 | #Constraints: 23857
1950.69/1970.55 c #Conflicts: 416000 | #Constraints: 24857
1959.24/1979.14 c #Conflicts: 417000 | #Constraints: 25857
1967.88/1987.89 c #Conflicts: 418000 | #Constraints: 26857
1976.91/1996.95 c #Conflicts: 419000 | #Constraints: 27857
1987.55/2007.64 c #Conflicts: 420000 | #Constraints: 28857
1987.65/2007.76 c DATABASE CLEANUP
1987.65/2007.76 c GARBAGE COLLECT
1987.65/2007.76 c rational objective -1.77636e-14
1992.21/2012.31 c #Conflicts: 421000 | #Constraints: 17059
1996.37/2016.51 c #Conflicts: 422000 | #Constraints: 18059
2001.14/2021.33 c #Conflicts: 423000 | #Constraints: 19059
2005.30/2025.59 c #Conflicts: 424000 | #Constraints: 20059
2010.45/2030.72 c #Conflicts: 425000 | #Constraints: 21059
2016.10/2036.49 c #Conflicts: 426000 | #Constraints: 22059
2022.16/2042.52 c #Conflicts: 427000 | #Constraints: 23059
2028.50/2048.99 c #Conflicts: 428000 | #Constraints: 24059
2035.35/2055.85 c #Conflicts: 429000 | #Constraints: 25059
2042.70/2063.22 c #Conflicts: 430000 | #Constraints: 26059
2050.84/2071.40 c #Conflicts: 431000 | #Constraints: 27059
2058.79/2079.49 c #Conflicts: 432000 | #Constraints: 28059
2067.13/2087.82 c #Conflicts: 433000 | #Constraints: 29059
2068.61/2089.39 c DATABASE CLEANUP
2068.61/2089.39 c GARBAGE COLLECT
2068.61/2089.39 c rational objective -1.77636e-14
2072.68/2093.47 c #Conflicts: 434000 | #Constraints: 17063
2077.25/2098.06 c #Conflicts: 435000 | #Constraints: 18063
2081.81/2102.67 c #Conflicts: 436000 | #Constraints: 19063
2086.77/2107.63 c #Conflicts: 437000 | #Constraints: 20063
2092.41/2113.30 c #Conflicts: 438000 | #Constraints: 21063
2098.97/2119.92 c #Conflicts: 439000 | #Constraints: 22063
2105.61/2126.60 c #Conflicts: 440000 | #Constraints: 23063
2113.44/2134.54 c #Conflicts: 441000 | #Constraints: 24063
2121.19/2142.34 c #Conflicts: 442000 | #Constraints: 25063
2129.33/2150.50 c #Conflicts: 443000 | #Constraints: 26063
2138.26/2159.53 c #Conflicts: 444000 | #Constraints: 27063
2147.30/2168.63 c #Conflicts: 445000 | #Constraints: 28063
2157.13/2178.56 c #Conflicts: 446000 | #Constraints: 29063
2163.09/2184.52 c DATABASE CLEANUP
2163.09/2184.52 c GARBAGE COLLECT
2163.09/2184.52 c rational objective -1.77636e-14
2165.38/2186.86 c #Conflicts: 447000 | #Constraints: 16858
2169.74/2191.21 c #Conflicts: 448000 | #Constraints: 17859
2175.89/2197.41 c #Conflicts: 449000 | #Constraints: 18859
2180.26/2201.80 c #Conflicts: 450000 | #Constraints: 19859
2184.02/2205.65 c #Conflicts: 451000 | #Constraints: 20859
2190.39/2212.07 c #Conflicts: 452000 | #Constraints: 21859
2197.64/2219.30 c #Conflicts: 453000 | #Constraints: 22859
2205.68/2227.49 c #Conflicts: 454000 | #Constraints: 23859
2214.34/2236.19 c #Conflicts: 455000 | #Constraints: 24859
2224.18/2246.06 c #Conflicts: 456000 | #Constraints: 25859
2232.02/2254.01 c #Conflicts: 457000 | #Constraints: 26859
2239.46/2261.40 c #Conflicts: 458000 | #Constraints: 27859
2247.02/2269.10 c #Conflicts: 459000 | #Constraints: 28859
2254.85/2276.95 c #Conflicts: 460000 | #Constraints: 29859
2256.54/2278.61 c DATABASE CLEANUP
2256.54/2278.61 c GARBAGE COLLECT
2256.54/2278.61 c rational objective -1.77636e-14
2260.31/2282.43 c #Conflicts: 461000 | #Constraints: 17472
2265.47/2287.64 c #Conflicts: 462000 | #Constraints: 18472
2270.84/2293.06 c #Conflicts: 463000 | #Constraints: 19472
2276.00/2298.21 c #Conflicts: 464000 | #Constraints: 20472
2282.36/2304.64 c #Conflicts: 465000 | #Constraints: 21472
2288.82/2311.13 c #Conflicts: 466000 | #Constraints: 22472
2296.56/2318.92 c #Conflicts: 467000 | #Constraints: 23472
2304.91/2327.39 c #Conflicts: 468000 | #Constraints: 24472
2313.86/2336.38 c #Conflicts: 469000 | #Constraints: 25472
2322.11/2344.60 c #Conflicts: 470000 | #Constraints: 26472
2332.25/2354.89 c #Conflicts: 471000 | #Constraints: 27472
2343.30/2365.96 c #Conflicts: 472000 | #Constraints: 28472
2353.46/2376.12 c #Conflicts: 473000 | #Constraints: 29472
2364.30/2387.01 c #Conflicts: 474000 | #Constraints: 30472
2364.30/2387.09 c DATABASE CLEANUP
2364.30/2387.09 c GARBAGE COLLECT
2364.30/2387.09 c rational objective -1.77636e-14
2370.45/2393.26 c #Conflicts: 475000 | #Constraints: 17873
2374.61/2397.47 c #Conflicts: 476000 | #Constraints: 18874
2378.88/2401.75 c #Conflicts: 477000 | #Constraints: 19874
2383.84/2406.77 c #Conflicts: 478000 | #Constraints: 20874
2388.80/2411.73 c #Conflicts: 479000 | #Constraints: 21874
2394.26/2417.22 c #Conflicts: 480000 | #Constraints: 22874
2400.03/2423.04 c #Conflicts: 481000 | #Constraints: 23874
2406.25/2429.32 c #Conflicts: 482000 | #Constraints: 24874
2413.91/2437.05 c #Conflicts: 483000 | #Constraints: 25875
2422.26/2445.46 c #Conflicts: 484000 | #Constraints: 26876
2430.01/2453.29 c #Conflicts: 485000 | #Constraints: 27876
2437.96/2461.28 c #Conflicts: 486000 | #Constraints: 28877
2447.60/2470.94 c #Conflicts: 487000 | #Constraints: 29878
2456.96/2480.33 c #Conflicts: 488000 | #Constraints: 30878
2457.06/2480.44 c DATABASE CLEANUP
2457.06/2480.44 c GARBAGE COLLECT
2457.06/2480.44 c rational objective -1.77636e-14
2461.12/2484.51 c #Conflicts: 489000 | #Constraints: 18065
2464.70/2488.18 c #Conflicts: 490000 | #Constraints: 19065
2468.25/2491.78 c #Conflicts: 491000 | #Constraints: 20065
2473.12/2496.67 c #Conflicts: 492000 | #Constraints: 21065
2478.28/2501.80 c #Conflicts: 493000 | #Constraints: 22065
2483.34/2506.96 c #Conflicts: 494000 | #Constraints: 23065
2489.30/2512.92 c #Conflicts: 495000 | #Constraints: 24065
2495.56/2519.20 c #Conflicts: 496000 | #Constraints: 25065
2502.32/2526.02 c #Conflicts: 497000 | #Constraints: 26065
2509.06/2532.83 c #Conflicts: 498000 | #Constraints: 27065
2516.23/2540.01 c #Conflicts: 499000 | #Constraints: 28065
2523.77/2547.61 c #Conflicts: 500000 | #Constraints: 29065
2531.73/2555.69 c #Conflicts: 501000 | #Constraints: 30065
2539.47/2563.43 c #Conflicts: 502000 | #Constraints: 31065
2541.26/2565.25 c DATABASE CLEANUP
2541.26/2565.25 c GARBAGE COLLECT
2541.26/2565.25 c rational objective -1.06581e-14
2545.16/2569.13 c #Conflicts: 503000 | #Constraints: 18061
2549.13/2573.14 c #Conflicts: 504000 | #Constraints: 19061
2554.09/2578.19 c #Conflicts: 505000 | #Constraints: 20062
2559.53/2583.67 c #Conflicts: 506000 | #Constraints: 21062
2566.01/2590.11 c #Conflicts: 507000 | #Constraints: 22062
2572.55/2596.71 c #Conflicts: 508000 | #Constraints: 23063
2580.01/2604.26 c #Conflicts: 509000 | #Constraints: 24064
2587.77/2612.10 c #Conflicts: 510000 | #Constraints: 25065
2596.31/2620.67 c #Conflicts: 511000 | #Constraints: 26065
2605.56/2629.93 c #Conflicts: 512000 | #Constraints: 27065
2615.61/2640.06 c #Conflicts: 513000 | #Constraints: 28065
2625.93/2650.46 c #Conflicts: 514000 | #Constraints: 29065
2635.97/2660.58 c #Conflicts: 515000 | #Constraints: 30065
2647.21/2671.82 c #Conflicts: 516000 | #Constraints: 31066
2653.77/2678.48 c DATABASE CLEANUP
2653.77/2678.48 c GARBAGE COLLECT
2653.77/2678.48 c rational objective -1.06581e-14
2656.25/2680.98 c #Conflicts: 517000 | #Constraints: 17861
2660.11/2684.84 c #Conflicts: 518000 | #Constraints: 18861
2665.29/2690.06 c #Conflicts: 519000 | #Constraints: 19861
2671.52/2696.30 c #Conflicts: 520000 | #Constraints: 20861
2677.87/2702.73 c #Conflicts: 521000 | #Constraints: 21861
2686.61/2711.52 c #Conflicts: 522000 | #Constraints: 22861
2695.64/2720.64 c #Conflicts: 523000 | #Constraints: 23861
2704.77/2729.80 c #Conflicts: 524000 | #Constraints: 24861
2714.92/2740.09 c #Conflicts: 525000 | #Constraints: 25861
2725.33/2750.53 c #Conflicts: 526000 | #Constraints: 26861
2739.12/2764.48 c #Conflicts: 527000 | #Constraints: 27861
2754.72/2780.13 c #Conflicts: 528000 | #Constraints: 28861
2770.89/2796.45 c #Conflicts: 529000 | #Constraints: 29861
2787.65/2813.31 c #Conflicts: 530000 | #Constraints: 30861
2805.01/2830.84 c #Conflicts: 531000 | #Constraints: 31861
2808.59/2834.43 c DATABASE CLEANUP
2808.59/2834.43 c GARBAGE COLLECT
2808.59/2834.43 c rational objective -2.4869e-14
2811.96/2837.81 c #Conflicts: 532000 | #Constraints: 18467
2815.63/2841.55 c #Conflicts: 533000 | #Constraints: 19467
2820.11/2846.09 c #Conflicts: 534000 | #Constraints: 20467
2825.45/2851.42 c #Conflicts: 535000 | #Constraints: 21467
2831.30/2857.30 c #Conflicts: 536000 | #Constraints: 22467
2839.74/2865.89 c #Conflicts: 537000 | #Constraints: 23467
2850.26/2876.40 c #Conflicts: 538000 | #Constraints: 24467
2862.06/2888.39 c #Conflicts: 539000 | #Constraints: 25467
2873.17/2899.56 c #Conflicts: 540000 | #Constraints: 26467
2885.77/2912.26 c #Conflicts: 541000 | #Constraints: 27467
2899.66/2926.25 c #Conflicts: 542000 | #Constraints: 28467
2913.16/2939.84 c #Conflicts: 543000 | #Constraints: 29467
2927.06/2953.89 c #Conflicts: 544000 | #Constraints: 30467
2940.06/2967.00 c #Conflicts: 545000 | #Constraints: 31467
2954.57/2981.53 c #Conflicts: 546000 | #Constraints: 32467
2954.66/2981.62 c DATABASE CLEANUP
2954.66/2981.62 c GARBAGE COLLECT
2954.66/2981.62 c rational objective -1.77636e-14
2959.13/2986.14 c #Conflicts: 547000 | #Constraints: 18861
2963.29/2990.35 c #Conflicts: 548000 | #Constraints: 19861
2967.76/2994.85 c #Conflicts: 549000 | #Constraints: 20861
2973.03/3000.17 c #Conflicts: 550000 | #Constraints: 21861
2978.89/3006.04 c #Conflicts: 551000 | #Constraints: 22861
2983.25/3010.44 c #Conflicts: 552000 | #Constraints: 23861
2989.82/3017.11 c #Conflicts: 553000 | #Constraints: 24861
2996.55/3023.85 c #Conflicts: 554000 | #Constraints: 25861
3002.60/3029.94 c #Conflicts: 555000 | #Constraints: 26861
3010.55/3037.99 c #Conflicts: 556000 | #Constraints: 27861
3018.89/3046.31 c #Conflicts: 557000 | #Constraints: 28861
3028.33/3055.83 c #Conflicts: 558000 | #Constraints: 29861
3038.97/3066.58 c #Conflicts: 559000 | #Constraints: 30861
3051.10/3078.75 c #Conflicts: 560000 | #Constraints: 31861
3064.72/3092.49 c #Conflicts: 561000 | #Constraints: 32861
3064.92/3092.60 c DATABASE CLEANUP
3064.92/3092.60 c GARBAGE COLLECT
3064.92/3092.60 c rational objective -1.77636e-14
3069.77/3097.55 c #Conflicts: 562000 | #Constraints: 19058
3074.54/3102.38 c #Conflicts: 563000 | #Constraints: 20058
3080.59/3108.42 c #Conflicts: 564000 | #Constraints: 21058
3085.86/3113.73 c #Conflicts: 565000 | #Constraints: 22058
3091.41/3119.35 c #Conflicts: 566000 | #Constraints: 23058
3098.37/3126.32 c #Conflicts: 567000 | #Constraints: 24058
3105.13/3133.14 c #Conflicts: 568000 | #Constraints: 25058
3111.98/3140.01 c #Conflicts: 569000 | #Constraints: 26058
3121.21/3149.37 c #Conflicts: 570000 | #Constraints: 27058
3130.85/3159.07 c #Conflicts: 571000 | #Constraints: 28058
3144.76/3173.09 c #Conflicts: 572000 | #Constraints: 29058
3157.57/3185.93 c #Conflicts: 573000 | #Constraints: 30058
3173.47/3201.95 c #Conflicts: 574000 | #Constraints: 31058
3194.30/3223.00 c #Conflicts: 575000 | #Constraints: 32058
3212.47/3241.24 c #Conflicts: 576000 | #Constraints: 33058
3216.14/3244.94 c DATABASE CLEANUP
3216.14/3244.94 c GARBAGE COLLECT
3216.14/3244.94 c rational objective -1.77636e-14
3220.52/3249.38 c #Conflicts: 577000 | #Constraints: 19065
3225.07/3253.91 c #Conflicts: 578000 | #Constraints: 20065
3231.71/3260.63 c #Conflicts: 579000 | #Constraints: 21065
3241.33/3270.38 c #Conflicts: 580000 | #Constraints: 22065
3250.25/3279.37 c #Conflicts: 581000 | #Constraints: 23065
3259.27/3288.43 c #Conflicts: 582000 | #Constraints: 24065
3269.19/3298.47 c #Conflicts: 583000 | #Constraints: 25065
3277.22/3306.50 c #Conflicts: 584000 | #Constraints: 26065
3285.77/3315.18 c #Conflicts: 585000 | #Constraints: 27065
3295.97/3325.45 c #Conflicts: 586000 | #Constraints: 28065
3308.47/3338.02 c #Conflicts: 587000 | #Constraints: 29065
3320.94/3350.68 c #Conflicts: 588000 | #Constraints: 30065
3330.66/3360.43 c #Conflicts: 589000 | #Constraints: 31065
3342.96/3372.81 c #Conflicts: 590000 | #Constraints: 32065
3352.40/3382.36 c #Conflicts: 591000 | #Constraints: 33065
3358.36/3388.39 c DATABASE CLEANUP
3358.36/3388.39 c GARBAGE COLLECT
3358.36/3388.39 c rational objective 7.10543e-15
3360.06/3390.04 c #Conflicts: 592000 | #Constraints: 18866
3363.03/3393.09 c #Conflicts: 593000 | #Constraints: 19866
3367.68/3397.72 c #Conflicts: 594000 | #Constraints: 20866
3373.06/3403.15 c #Conflicts: 595000 | #Constraints: 21866
3378.70/3408.89 c #Conflicts: 596000 | #Constraints: 22866
3385.06/3415.25 c #Conflicts: 597000 | #Constraints: 23866
3391.32/3421.59 c #Conflicts: 598000 | #Constraints: 24866
3397.88/3428.13 c #Conflicts: 599000 | #Constraints: 25866
3404.92/3435.29 c #Conflicts: 600000 | #Constraints: 26866
3412.47/3442.86 c #Conflicts: 601000 | #Constraints: 27866
3420.63/3451.08 c #Conflicts: 602000 | #Constraints: 28866
3429.95/3460.46 c #Conflicts: 603000 | #Constraints: 29866
3439.89/3470.46 c #Conflicts: 604000 | #Constraints: 30866
3450.14/3480.79 c #Conflicts: 605000 | #Constraints: 31866
3461.77/3492.48 c #Conflicts: 606000 | #Constraints: 32866
3470.61/3501.33 c #Conflicts: 607000 | #Constraints: 33867
3472.99/3503.74 c DATABASE CLEANUP
3472.99/3503.74 c GARBAGE COLLECT
3472.99/3503.74 c rational objective 7.10543e-15
3476.47/3507.28 c #Conflicts: 608000 | #Constraints: 19464
3479.83/3510.68 c #Conflicts: 609000 | #Constraints: 20464
3484.11/3514.95 c #Conflicts: 610000 | #Constraints: 21464
3488.97/3519.83 c #Conflicts: 611000 | #Constraints: 22464
3493.93/3524.80 c #Conflicts: 612000 | #Constraints: 23464
3499.88/3530.84 c #Conflicts: 613000 | #Constraints: 24464
3506.05/3537.02 c #Conflicts: 614000 | #Constraints: 25464
3512.79/3543.85 c #Conflicts: 615000 | #Constraints: 26464
3520.44/3551.56 c #Conflicts: 616000 | #Constraints: 27464
3528.90/3560.10 c #Conflicts: 617000 | #Constraints: 28464
3537.33/3568.56 c #Conflicts: 618000 | #Constraints: 29464
3546.78/3578.06 c #Conflicts: 619000 | #Constraints: 30465
3557.12/3588.45 c #Conflicts: 620000 | #Constraints: 31465
3567.86/3599.21 c #Conflicts: 621000 | #Constraints: 32465
3578.62/3610.04 c #Conflicts: 622000 | #Constraints: 33465
3588.85/3620.39 c #Conflicts: 623000 | #Constraints: 34465
3588.95/3620.49 c DATABASE CLEANUP
3588.95/3620.49 c GARBAGE COLLECT
3588.95/3620.49 c rational objective 7.10543e-15
3594.02/3625.54 c #Conflicts: 624000 | #Constraints: 19861
3598.68/3630.29 c #Conflicts: 625000 | #Constraints: 20862
3600.07/3631.60 c cpu time 3588.31 s
3600.07/3631.60 c deterministic time 1678325121908 1.68e+12
3600.07/3631.60 c optimization time 10.7328 s
3600.07/3631.60 c total solve time 3577.56 s
3600.07/3631.60 c core-guided solve time 0 s
3600.07/3631.60 c propagation time 3080.29 s
3600.07/3631.60 c conflict analysis time 420.746 s
3600.07/3631.60 c local search time 36.8844 s
3600.07/3631.60 c propagations 61111909
3600.07/3631.60 c resolve steps 33560506
3600.07/3631.60 c resolve steps with general constraints 23527125
3600.07/3631.60 c decisions 929264
3600.07/3631.60 c conflicts 625240
3600.07/3631.60 c overflow fixes 957002
3600.07/3631.60 c conflicts with overflow fixes 260519
3600.07/3631.60 c restarts 1322
3600.07/3631.60 c inprocessing phases 70
3600.07/3631.60 c garbage collections 70 ,( 100.00 )
3600.07/3631.60 c input clauses 2025 ,( 62.73 )
3600.07/3631.60 c input cardinalities 0 ,( 0.00 )
3600.07/3631.60 c input general constraints 1203 ,( 37.27 )
3600.07/3631.60 c input average constraint length 3.74
3600.07/3631.60 c input average constraint degree 1.05e+12
3600.07/3631.60 c input average constraint degree bitlength 0.42
3600.07/3631.60 c learned clauses 22632 ,( 3.62 )
3600.07/3631.60 c learned cardinalities 0 ,( 0.00 )
3600.07/3631.60 c learned general constraints 602649 ,( 96.38 )
3600.07/3631.60 c learned average constraint length 581.22
3600.07/3631.60 c learned average constraint degree 1.02e+09
3600.07/3631.60 c learned average constraint degree bitlength 27.90
3600.07/3631.60 c watched CF 32, 64, 128, Arb: 3227 , 0 , 0 , 0
3600.07/3631.60 c counting CF 32, 64, 128, Arb: 600622 , 3 , 0 , 0
3600.07/3631.60 c watched constraints 3227 ,( 0.53 )
3600.07/3631.60 c counting constraints 600625 ,( 99.47 )
3600.07/3631.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 19923745 , 0 , 55301658322 ,( 19562251 , 55282096071 )
3600.07/3631.60 c pure literals detected 0
3600.07/3631.60 c unique literal constraints detected 0
3600.07/3631.60 c gcd simplifications 41768
3600.07/3631.60 c detected cardinalities 3289
3600.07/3631.60 c divisions strengthening the constraint 0
3600.07/3631.60 c weakened non-implied lits 13306512
3600.07/3631.60 c weakened non-implying lits 3675772
3600.07/3631.60 c percentage of cover cuts not using all falsified lits 0.000
3600.07/3631.60 c average MIR cut multiplier 0.00e+00
3600.07/3631.60 c average MIR cut multiplier bitlength 0.000
3600.07/3631.60 c original variables 2000
3600.07/3631.60 c clausal propagations 15867028
3600.07/3631.60 c cardinality propagations 0
3600.07/3631.60 c watched propagations 616
3600.07/3631.60 c counting propagations 44675351
3600.07/3631.60 c watch lookups 56781791013
3600.07/3631.60 c watch backjump lookups 0
3600.07/3631.60 c watch checks 456707888
3600.07/3631.60 c propagation checks 1619159310965
3600.07/3631.60 c constraint additions 1802098959
3600.07/3631.60 c trail pops 62664688
3600.07/3631.60 c formula constraints 3228
3600.07/3631.60 c learned constraints 625197
3600.07/3631.60 c bound constraints 0
3600.07/3631.60 c core-guided constraints 0
3600.07/3631.60 c encountered formula constraints 33134195
3600.07/3631.60 c encountered learned constraints 868597
3600.07/3631.60 c encountered bound constraints 0
3600.07/3631.60 c encountered core-guided constraints 0
3600.07/3631.60 c LP total time 31.8213 s
3600.07/3631.60 c LP solve time 17.4 s
3600.07/3631.60 c LP constraints added 3228
3600.07/3631.60 c LP constraints removed 0
3600.07/3631.60 c LP pivots internal 475469
3600.07/3631.60 c LP pivots root 31752
3600.07/3631.60 c LP calls 15052
3600.07/3631.60 c LP optimalities 15008
3600.07/3631.60 c LP no pivot count 2647
3600.07/3631.60 c LP infeasibilities 42
3600.07/3631.60 c LP valid Farkas constraints 42
3600.07/3631.60 c LP learned Farkas constraints 42
3600.07/3631.60 c LP basis resets 1
3600.07/3631.60 c LP cycling count 0
3600.07/3631.60 c LP singular count 1
3600.07/3631.60 c LP no primal count 0
3600.07/3631.60 c LP no farkas count 0
3600.07/3631.60 c LP other issue count 0
3600.07/3631.60 c LP Gomory cuts 0
3600.07/3631.60 c LP learned cuts 0
3600.07/3631.60 c LP deleted cuts 0
3600.07/3631.60 c LP encountered Gomory constraints 0
3600.07/3631.60 c LP encountered Farkas constraints 179946
3600.07/3631.60 c LP encountered learned Farkas constraints 2966
3600.07/3631.60 c CG auxiliary variables introduced 0
3600.07/3631.60 c CG solutions found 0
3600.07/3631.60 c CG cores constructed 0
3600.07/3631.60 c CG core cardinality constraints returned 0
3600.07/3631.60 c CG unit cores 0
3600.07/3631.60 c CG single cores 0
3600.07/3631.60 c CG blocks removed during cardinality reduction 0
3600.07/3631.60 c CG first core best 0
3600.07/3631.60 c CG decision core best 0
3600.07/3631.60 c CG core reduction tie 0
3600.07/3631.60 c CG core degree average 0.00
3600.07/3631.60 c CG core slack average 0.00
3600.07/3631.60 c CG core upper bound improvements 0
3600.07/3631.60 c STR number of successful calls 0
3600.07/3631.60 c STR number of unsuccessful calls 0
3600.07/3631.60 c STR number of inconclusive calls 0
3600.07/3631.60 c STR number of successful attempts 0
3600.07/3631.60 c STR number of unsuccessful attempts 0
3600.07/3631.60 c STR number of inconclusive attempts 0
3600.07/3631.60 c STR average degree increase per successful call inf
3600.07/3631.60 c STR average degree increase per successful attempt inf
3600.07/3631.60 c STR total number of conflicts for successful attempts 0
3600.07/3631.60 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3631.60 c STR total number of conflicts for inconclusive attempts 0
3600.07/3631.60 c STR average number of conflicts per successful attempt inf
3600.07/3631.60 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3631.60 c STR average number of conflicts per inconclusive attempt inf
3600.07/3631.60 c IHS number of seeded input constraints 0
3600.07/3631.60 c IHS number of seeded weakened input constraints 0
3600.07/3631.60 c IHS number of successful local search calls 0
3600.07/3631.60 c IHS number of timeouts for local search 0
3600.07/3631.60 c IHS number of complete search calls 0
3600.07/3631.60 c IHS number of optimal complete search calls 0
3600.07/3631.60 c IHS number of complete search progress calls 0
3600.07/3631.60 c IHS number of solutions from local search 0
3600.07/3631.60 c IHS number of upper bounds from local search 0
3600.07/3631.60 c IHS number of cores from local search 0
3600.07/3631.60 c IHS number of discarded solutions from local search 0
3600.07/3631.60 c IHS number of solutions from complete search 0
3600.07/3631.60 c IHS number of upper bounds from complete search 0
3600.07/3631.60 c IHS number of cores from complete search 0
3600.07/3631.60 c IHS number of discarded solutions from complete search 0
3600.07/3631.60 c IHS local search time 0 s
3600.07/3631.60 c IHS complete search time 0 s
3600.07/3631.60 c IHS core extraction time 0 s
3600.07/3631.60 c AVG.sumWPerc 98.95
3600.07/3631.60 c bigint constraints 3
3600.07/3631.60 s UNKNOWN
3600.07/3631.60 c Program interrupted by user.
Verifier Data
ERROR: no interpretation found !
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-4834440-1783835699/watcher-4834440-1783835699 -o /tmp/evaluation-result-4834440-1783835699/solver-4834440-1783835699 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834440-1783835699/vars-4834440-1783835699 --bin-var /tmp/runsolver-exch-nodeE003-1783835699-1391413 --watchdog 3760 --file-size-limit 100000 ./run-sat.sh --proof-log=/tmp/proofs/proof-4834440-1783835699 HOME/instance-4834440-1783835699.opb
running on 4 cores: 48-51
CPU: AMD EPYC 9355 32-Core Processor
Cores frequency:
2500 MHz: 0-1,4-11,13-14,16-18,26,31
3550 MHz: 2-3,20-23,34,40-43,56-59
3600 MHz: 12,15,19,24-25,27-30,32-33,35-39,44-55,60-63
WARNING: cores do not run at the same frequency!
Cores frequency (cpufreq):
2500 MHz: 0-1
3550 MHz: 2-3
WARNING: cores do not run at the same frequency!
CPU governors:
performance: 48-51
NUMA information:
number of nodes: 8
node 0: cores 0-7, 128055 MiB (20916 MiB free)
node 1: cores 8-15, 129019 MiB (89169 MiB free)
node 2: cores 16-23, 129019 MiB (116959 MiB free)
node 3: cores 24-31, 129003 MiB (117486 MiB free)
node 4: cores 32-39, 129019 MiB (120129 MiB free)
node 5: cores 40-47, 129019 MiB (126126 MiB free)
node 6: cores 48-55, 128973 MiB (126217 MiB free)
node 7: cores 56-63, 128474 MiB (123438 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=1391570, runsolver pid=1391554
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 5.77 5.52 5.26 9/883 1391617
/proc/meminfo: memFree=860594048/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=60000 memory=17992 CPUtime=0.02 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 4325 0 0 0 1 1 0 0 20 0 1 0 316857887 61440000 4444 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 15000 4498 2818 1755 0 2835 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 64192 KiB
Current children cumulated memory: 21172 KiB
[startup+0.21275 s]*
/proc/loadavg: 5.77 5.52 5.26 17/888 1391627
/proc/meminfo: memFree=860175660/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=60000 memory=17996 CPUtime=0.13 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 4326 0 0 0 12 1 0 0 20 0 1 0 316857887 61440000 4444 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 15000 4499 2818 1755 0 2835 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 64192 KiB
Current children cumulated memory: 21176 KiB
[startup+0.312359 s]*
/proc/loadavg: 5.77 5.52 5.26 16/889 1391628
/proc/meminfo: memFree=859651360/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=60000 memory=17996 CPUtime=0.23 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 4326 0 0 0 22 1 0 0 20 0 1 0 316857887 61440000 4444 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 15000 4499 2818 1755 0 2835 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 64192 KiB
Current children cumulated memory: 21176 KiB
[startup+0.700142 s]
/proc/loadavg: 5.77 5.52 5.26 17/887 1391628
/proc/meminfo: memFree=859420460/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=61860 memory=20144 CPUtime=0.59 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 4745 0 0 0 58 1 0 0 20 0 1 0 316857887 63344640 4956 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 15465 5036 2945 1755 0 3300 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 66052 KiB
Current children cumulated memory: 23324 KiB
[startup+1.50013 s]
/proc/loadavg: 5.77 5.52 5.26 16/894 1391640
/proc/meminfo: memFree=858270316/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=66720 memory=26840 CPUtime=1.37 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 6405 0 0 0 135 2 0 0 20 0 1 0 316857887 68321280 6620 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 16680 6710 2961 1755 0 4515 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 70912 KiB
Current children cumulated memory: 30020 KiB
[startup+3.11273 s]
/proc/loadavg: 5.77 5.52 5.26 18/898 1391651
/proc/meminfo: memFree=856676488/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=71352 memory=33708 CPUtime=2.91 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 7612 0 0 0 288 3 0 0 20 0 1 0 316857887 73064448 8332 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 17838 8427 2961 1755 0 5673 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 75544 KiB
Current children cumulated memory: 36888 KiB
[startup+6.30014 s]
/proc/loadavg: 6.99 5.78 5.35 18/898 1391665
/proc/meminfo: memFree=854874136/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=85076 memory=46668 CPUtime=5.89 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) S 1391570 1391570 1391392 0 -1 4194304 10852 0 0 0 584 5 0 0 20 0 1 0 316857887 87117824 11532 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 1 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 21269 11667 2961 1755 0 9104 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 89268 KiB
Current children cumulated memory: 49848 KiB
[startup+12.7001 s]
/proc/loadavg: 7.79 5.97 5.41 19/898 1391722
/proc/meminfo: memFree=850460904/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=123012 memory=83204 CPUtime=11.87 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) S 1391570 1391570 1391392 0 -1 4194304 17943 0 0 0 1175 12 0 0 20 0 1 0 316857887 125964288 20678 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 1 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 30753 20801 2961 1755 0 18588 0
Current children cumulated CPU time: 11.87 s
Current children cumulated vsize: 127204 KiB
Current children cumulated memory: 86384 KiB
[startup+25.5002 s]
/proc/loadavg: 10.33 6.62 5.64 19/898 1391728
/proc/meminfo: memFree=844746644/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=171720 memory=117124 CPUtime=24.15 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 25403 0 0 0 2390 25 0 0 20 0 1 0 316857887 175841280 29145 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 42930 29281 2961 1755 0 30765 0
Current children cumulated CPU time: 24.15 s
Current children cumulated vsize: 175912 KiB
Current children cumulated memory: 120304 KiB
[startup+51.1143 s]
/proc/loadavg: 12.86 7.52 5.96 18/899 1391731
/proc/meminfo: memFree=833398576/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=196616 memory=136884 CPUtime=49.02 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 28810 0 0 0 4860 42 0 0 20 0 1 0 316857887 201334784 34141 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 49154 34221 2961 1755 0 36989 0
Current children cumulated CPU time: 49.02 s
Current children cumulated vsize: 200808 KiB
Current children cumulated memory: 140064 KiB
[startup+102.3 s]
/proc/loadavg: 15.07 8.96 6.54 17/896 1391804
/proc/meminfo: memFree=829430044/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=246928 memory=179516 CPUtime=99.26 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 37428 0 0 0 9850 76 0 0 20 0 1 0 316857887 252854272 44672 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 48 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 61732 44879 2961 1755 0 49567 0
Current children cumulated CPU time: 99.26 s
Current children cumulated vsize: 251120 KiB
Current children cumulated memory: 182696 KiB
################
# More data... #
################
/proc/1391579/statm: 170207 136132 3050 1755 0 158042 0
Current children cumulated CPU time: 3014.91 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 547708 KiB
[startup+3102.3 s]
/proc/loadavg: 11.02 11.57 12.82 13/876 1392317
/proc/meminfo: memFree=626303012/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=546704 CPUtime=3074.54 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110365 0 0 0 306422 1032 0 0 20 0 1 0 316857887 697167872 136559 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 48 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 136676 3050 1755 0 158042 0
Current children cumulated CPU time: 3074.54 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 549884 KiB
[startup+3162.3 s]
/proc/loadavg: 11.18 11.52 12.72 14/875 1392318
/proc/meminfo: memFree=623766084/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=546704 CPUtime=3134.12 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110365 0 0 0 312364 1048 0 0 20 0 1 0 316857887 697167872 136559 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 48 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 136676 3050 1755 0 158042 0
Current children cumulated CPU time: 3134.12 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 549884 KiB
[startup+3222.3 s]
/proc/loadavg: 10.89 11.40 12.61 14/876 1392320
/proc/meminfo: memFree=621357536/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=546704 CPUtime=3193.71 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110365 0 0 0 318311 1060 0 0 20 0 1 0 316857887 697167872 136559 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 48 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 136676 3050 1755 0 158042 0
Current children cumulated CPU time: 3193.71 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 549884 KiB
[startup+3282.3 s]
/proc/loadavg: 11.09 11.36 12.52 14/875 1392321
/proc/meminfo: memFree=618950468/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=546712 CPUtime=3253.23 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110367 0 0 0 324242 1081 0 0 20 0 1 0 316857887 697167872 136559 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 48 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 136678 3050 1755 0 158042 0
Current children cumulated CPU time: 3253.23 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 549892 KiB
[startup+3342.3 s]
/proc/loadavg: 11.39 11.41 12.46 12/875 1392324
/proc/meminfo: memFree=616620448/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=546716 CPUtime=3312.72 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110368 0 0 0 330171 1101 0 0 20 0 1 0 316857887 697167872 136559 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 48 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 136679 3050 1755 0 158042 0
Current children cumulated CPU time: 3312.72 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 549896 KiB
[startup+3402.3 s]
/proc/loadavg: 11.24 11.35 12.37 16/875 1392326
/proc/meminfo: memFree=614583824/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=546716 CPUtime=3372.25 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110368 0 0 0 336106 1119 0 0 20 0 1 0 316857887 697167872 136559 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 48 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 136679 3050 1755 0 158042 0
Current children cumulated CPU time: 3372.25 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 549896 KiB
[startup+3462.3 s]
/proc/loadavg: 11.15 11.30 12.29 13/875 1392327
/proc/meminfo: memFree=612324644/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=546716 CPUtime=3431.85 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110368 0 0 0 342051 1134 0 0 20 0 1 0 316857887 697167872 136559 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 136679 3050 1755 0 158042 0
Current children cumulated CPU time: 3431.85 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 549896 KiB
[startup+3522.3 s]
/proc/loadavg: 10.99 11.22 12.19 12/876 1392329
/proc/meminfo: memFree=610239168/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=549128 CPUtime=3491.45 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110460 0 0 0 347996 1149 0 0 20 0 1 0 316857887 697167872 137127 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 137282 3050 1755 0 158042 0
Current children cumulated CPU time: 3491.45 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 552308 KiB
[startup+3582.3 s]
/proc/loadavg: 11.12 11.21 12.13 12/876 1392330
/proc/meminfo: memFree=608106864/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=549148 CPUtime=3551.05 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110465 0 0 0 353939 1166 0 0 20 0 1 0 316857887 697167872 137127 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 137287 3050 1755 0 158042 0
Current children cumulated CPU time: 3551.05 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 552328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3631.6 s]
/proc/loadavg: 11.08 11.19 12.07 11/864 1392377
/proc/meminfo: memFree=611465944/1055320712 swapFree=33240060/33554428
[pid=1391570] ppid=1391554 vsize=4192 memory=3180 CPUtime=0 cores=48-51
/proc/1391570/stat : 1391570 (run-sat.sh) S 1391554 1391570 1391392 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 316857884 4292608 640 18446744073709551615 93856471060480 93856471955013 140722821703168 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 93856472194064 93856472241808 93856504377344 140722821712118 140722821712257 140722821712257 140722821717995 0
/proc/1391570/statm: 1048 795 716 219 0 110 0
[pid=1391579] ppid=1391570 vsize=680828 memory=550144 CPUtime=3600.07 cores=48-51
/proc/1391579/stat : 1391579 (roundingsat) R 1391570 1391570 1391392 0 -1 4194304 110714 0 0 0 358830 1177 0 0 20 0 1 0 316857887 697167872 137383 18446744073709551615 4194304 11382409 140735186638848 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 22343680 140735186646910 140735186647456 140735186647456 140735186653162 0
/proc/1391579/statm: 170207 137536 3050 1755 0 158042 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 685020 KiB
Current children cumulated memory: 553324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3631.6 s]
# the end of solver process 1391570 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.004026 s
[startup+3631.63 s]
# the end of solver process 1391579 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.31 s, system=11.7966 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3631.63
CPU time (s): 3600.11
CPU user time (s): 3588.31
CPU system time (s): 11.7966
CPU usage (%): 99.1322
Max. virtual memory (cumulated for all children) (KiB): 685020
Max. memory (cumulated for all children) (KiB): 553324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.31
system time used= 11.7966
maximum resident set size= 550044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110946
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= 1065680
involuntary context switches= 4978
# summary of solver processes directly reported to runsolver:
# pid: 1391570,1391579
# total CPU time (s): 3600.11
# total CPU user time (s): 3588.31
# total CPU system time (s): 11.7966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6579 second user time and 42.4465 second system time
The end
Launcher Data
Begin job on nodeE003 at 2026-07-12 07:55:00
IDJOB=4834440
IDBENCH=163700
IDSOLVER=3669
FILE ID=nodeE003/4834440-1783835699
RUNJOBID= nodeE003-1783835699-1391413
SLURM_JOB_ID= 12744989
Free space on /tmp= 800252 MiB
SOLVER NAME= roundingsat-satsuma-saturation 2026-06-11 (cert)
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-25diag_spec_greater.opb
COMMAND LINE= ./run-sat.sh --proof-log=CERTNAME BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4834440-1783835699/watcher-4834440-1783835699 -o /tmp/evaluation-result-4834440-1783835699/solver-4834440-1783835699 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834440-1783835699/vars-4834440-1783835699 --bin-var /tmp/runsolver-exch-nodeE003-1783835699-1391413 --watchdog 3760 --file-size-limit 100000 ./run-sat.sh --proof-log=/tmp/proofs/proof-4834440-1783835699 HOME/instance-4834440-1783835699.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 62000 MiB
NBCORE= 3
MD5SUM BENCH= f08a68e57632e0f96a2085ca4b934d92
RANDOM SEED=564386060
nodeE003 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 : 2493.659
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.91
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 : 2493.659
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.91
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 : 2493.659
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.91
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 : 2493.659
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.91
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 : 2493.659
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.91
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 : 2493.659
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.91
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 : 2493.659
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.91
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 : 2493.659
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.91
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 : 2493.659
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.91
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.91
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.91
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 : 2493.659
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.91
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 : 3583.171
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.91
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 : 3588.496
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.91
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 : 3587.536
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.91
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 : 3585.388
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.91
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.91
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.91
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 : 3592.580
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.91
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 : 3593.655
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.91
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 : 3569.850
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.91
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 : 3570.760
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.91
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.91
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 : 3558.290
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.91
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.91
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 : 3584.759
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.91
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 : 2493.659
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.91
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.91
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 : 3595.350
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.91
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 : 3593.654
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.91
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 : 3595.251
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.91
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 : 3587.071
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.91
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 : 3579.998
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.91
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.91
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.317
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.91
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 : 3581.060
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.91
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 : 3580.550
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.91
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 : 3578.451
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.91
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 : 2493.659
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.91
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 : 3586.922
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.91
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 : 3564.538
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.91
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 : 3560.969
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.91
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 : 3556.773
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.91
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 : 3566.553
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.91
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 : 3594.001
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.91
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 : 3588.638
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.91
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 : 3590.005
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.91
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 : 2493.659
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.91
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 : 3585.923
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.91
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 : 3575.740
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.91
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 : 3581.236
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.91
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 : 3575.204
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.91
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.91
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 : 3601.910
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.91
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 : 3601.553
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.91
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 : 2493.659
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.91
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 : 3553.498
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.91
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 : 3554.997
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.91
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 : 3552.987
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.91
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 : 3552.528
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.91
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 : 3583.908
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.91
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 : 3577.987
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.91
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 : 3584.341
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.91
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 : 3583.105
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.91
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: 860663996 kB
MemAvailable: 1045797264 kB
Buffers: 1376 kB
Cached: 188687788 kB
SwapCached: 328 kB
Active: 9844988 kB
Inactive: 179023760 kB
Active(anon): 581588 kB
Inactive(anon): 228572 kB
Active(file): 9263400 kB
Inactive(file): 178795188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33554428 kB
SwapFree: 33240060 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 166368 kB
Writeback: 0 kB
AnonPages: 183884 kB
Mapped: 155084 kB
Shmem: 630564 kB
KReclaimable: 3311160 kB
Slab: 3923348 kB
SReclaimable: 3311160 kB
SUnreclaim: 612188 kB
KernelStack: 14592 kB
PageTables: 4808 kB
SecPageTables: 15352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 561214784 kB
Committed_AS: 193588368 kB
VmallocTotal: 13743895347199 kB
VmallocUsed: 478160 kB
VmallocChunk: 0 kB
Percpu: 124928 kB
HardwareCorrupted: 52 kB
AnonHugePages: 34816 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: 516548 kB
DirectMap2M: 22874112 kB
DirectMap1G: 1050673152 kB
Free space on /tmp at the end= 800288 MiB
End job on nodeE003 at 2026-07-12 08:55:32