Trace number 4834441
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/wallace_spec/normalized-18wallace_spec_greater_tvars.opb |
| MD5SUM | fc79bbaf241dd13239697afcba12b12e |
| 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.024634 |
| 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 | 1548 |
| Total number of constraints | 812 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 776 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 360 |
| 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 | 34359738368 |
| Number of bits of the biggest number in a constraint | 36 |
| Biggest sum of numbers in a constraint | 137438953471 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb26-symm
0.00/0.01 c commit 801ab82
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 434] (1.1103ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.03 c found row 43x2
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c found row 3x4
0.00/0.03 c (1.00323ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 9163 #edges 24006]
0.00/0.03 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 5.60394*10^55 #gens 246] (1.83203ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c ran it=0, +gens=4
0.00/0.04 c con best_support=4, best_gens=42, +gens=218
0.00/0.04 c (8.01632ms)
0.00/0.04 c
0.00/0.04 c apply negation fixing (schreier: true, gens: 468)
0.00/0.04 c fixed 0 literals
0.00/0.04 c (0.792726ms)
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 0 #add_vars 0]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 434] (0.91421ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.05 c found row 43x2
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c found row 3x4
0.00/0.05 c (0.913169ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 9163 #edges 24006]
0.00/0.05 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 5.60394*10^55 #gens 146] (1.73877ms)
0.00/0.05 c
0.00/0.05 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.05 c ran it=0, +gens=2
0.00/0.06 c con best_support=8, best_gens=146, +gens=153
0.00/0.06 c (8.5383ms)
0.00/0.06 c
0.00/0.06 c finalize break order and special generators
0.00/0.06 c
0.00/0.06 c add generic predicates (break_depth=20)
0.00/0.06 c added predicates for 301 generators (0.034256ms)
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 1210 #add_vars 303]
0.00/0.06 c UNIT CLEANUP
0.00/0.06 c #variables 1548 #constraints 2811
0.00/0.06 c rational objective 2.91038e-11
0.28/0.41 c #Conflicts: 1000 | #Constraints: 3811
0.74/0.80 c #Conflicts: 2000 | #Constraints: 4811
0.74/0.81 c DATABASE CLEANUP
0.74/0.81 c GARBAGE COLLECT
0.74/0.81 c rational objective 9
1.23/1.33 c #Conflicts: 3000 | #Constraints: 4763
1.93/2.01 c #Conflicts: 4000 | #Constraints: 5763
2.03/2.18 c DATABASE CLEANUP
2.03/2.18 c GARBAGE COLLECT
2.03/2.18 c rational objective 9
2.60/2.77 c #Conflicts: 5000 | #Constraints: 5169
3.49/3.68 c #Conflicts: 6000 | #Constraints: 6169
4.18/4.34 c DATABASE CLEANUP
4.18/4.34 c GARBAGE COLLECT
4.18/4.34 c rational objective 9
4.58/4.71 c #Conflicts: 7000 | #Constraints: 5171
5.37/5.53 c #Conflicts: 8000 | #Constraints: 6171
6.45/6.61 c #Conflicts: 9000 | #Constraints: 7171
6.74/6.92 c DATABASE CLEANUP
6.74/6.92 c GARBAGE COLLECT
6.74/6.92 c rational objective 9
7.44/7.69 c #Conflicts: 10000 | #Constraints: 5871
8.22/8.49 c #Conflicts: 11000 | #Constraints: 6871
9.41/9.63 c #Conflicts: 12000 | #Constraints: 7871
9.41/9.65 c DATABASE CLEANUP
9.41/9.65 c GARBAGE COLLECT
9.41/9.65 c rational objective 9
10.39/10.69 c #Conflicts: 13000 | #Constraints: 6320
11.38/11.67 c #Conflicts: 14000 | #Constraints: 7320
12.65/12.97 c #Conflicts: 15000 | #Constraints: 8320
12.65/12.99 c DATABASE CLEANUP
12.65/12.99 c GARBAGE COLLECT
12.65/12.99 c rational objective 9
13.74/14.07 c #Conflicts: 16000 | #Constraints: 6547
14.83/15.12 c #Conflicts: 17000 | #Constraints: 7547
16.09/16.45 c #Conflicts: 18000 | #Constraints: 8547
16.39/16.75 c DATABASE CLEANUP
16.39/16.75 c GARBAGE COLLECT
16.39/16.75 c rational objective 9
17.28/17.63 c #Conflicts: 19000 | #Constraints: 6560
18.36/18.74 c #Conflicts: 20000 | #Constraints: 7560
19.65/20.09 c #Conflicts: 21000 | #Constraints: 8560
20.44/20.84 c DATABASE CLEANUP
20.44/20.84 c GARBAGE COLLECT
20.44/20.84 c rational objective 9
21.02/21.41 c #Conflicts: 22000 | #Constraints: 6365
22.11/22.59 c #Conflicts: 23000 | #Constraints: 7365
23.39/23.84 c #Conflicts: 24000 | #Constraints: 8366
24.87/25.34 c #Conflicts: 25000 | #Constraints: 9366
26.05/26.50 c DATABASE CLEANUP
26.05/26.50 c GARBAGE COLLECT
26.05/26.50 c #Conflicts: 26000 | #Constraints: 6973
27.13/27.61 c #Conflicts: 27000 | #Constraints: 7973
28.53/29.07 c #Conflicts: 28000 | #Constraints: 8973
30.20/30.71 c #Conflicts: 29000 | #Constraints: 9973
30.20/30.73 c DATABASE CLEANUP
30.20/30.73 c GARBAGE COLLECT
30.20/30.73 c rational objective 9
31.25/31.88 c #Conflicts: 30000 | #Constraints: 7375
32.52/33.15 c #Conflicts: 31000 | #Constraints: 8375
34.06/34.71 c #Conflicts: 32000 | #Constraints: 9375
35.62/36.37 c #Conflicts: 33000 | #Constraints: 10375
35.62/36.39 c DATABASE CLEANUP
35.62/36.39 c GARBAGE COLLECT
35.62/36.39 c rational objective 9
36.85/37.67 c #Conflicts: 34000 | #Constraints: 7581
38.22/39.01 c #Conflicts: 35000 | #Constraints: 8581
39.76/40.67 c #Conflicts: 36000 | #Constraints: 9581
41.59/42.59 c #Conflicts: 37000 | #Constraints: 10581
41.97/43.01 c DATABASE CLEANUP
41.97/43.01 c GARBAGE COLLECT
41.97/43.01 c rational objective 9
43.06/44.05 c #Conflicts: 38000 | #Constraints: 7580
44.42/45.42 c #Conflicts: 39000 | #Constraints: 8580
46.00/47.02 c #Conflicts: 40000 | #Constraints: 9580
47.72/48.83 c #Conflicts: 41000 | #Constraints: 10580
48.90/50.08 c DATABASE CLEANUP
48.90/50.08 c GARBAGE COLLECT
48.90/50.08 c rational objective 9
49.55/50.71 c #Conflicts: 42000 | #Constraints: 7386
50.82/52.09 c #Conflicts: 43000 | #Constraints: 8386
52.43/53.70 c #Conflicts: 44000 | #Constraints: 9386
54.32/55.73 c #Conflicts: 45000 | #Constraints: 10386
56.39/57.87 c #Conflicts: 46000 | #Constraints: 11386
56.99/58.40 c DATABASE CLEANUP
56.99/58.40 c GARBAGE COLLECT
56.99/58.40 c rational objective 9
58.17/59.61 c #Conflicts: 47000 | #Constraints: 7988
59.35/60.80 c #Conflicts: 48000 | #Constraints: 8988
60.92/62.40 c #Conflicts: 49000 | #Constraints: 9988
62.69/64.21 c #Conflicts: 50000 | #Constraints: 10988
64.76/66.34 c #Conflicts: 51000 | #Constraints: 11988
64.76/66.36 c DATABASE CLEANUP
64.76/66.36 c GARBAGE COLLECT
64.76/66.36 c rational objective 9
66.04/67.66 c #Conflicts: 52000 | #Constraints: 8383
67.44/69.04 c #Conflicts: 53000 | #Constraints: 9383
69.01/70.63 c #Conflicts: 54000 | #Constraints: 10383
70.98/72.60 c #Conflicts: 55000 | #Constraints: 11383
73.17/74.82 c #Conflicts: 56000 | #Constraints: 12383
73.17/74.85 c DATABASE CLEANUP
73.17/74.85 c GARBAGE COLLECT
73.17/74.85 c rational objective 9
74.55/76.27 c #Conflicts: 57000 | #Constraints: 8583
76.13/77.80 c #Conflicts: 58000 | #Constraints: 9583
77.81/79.52 c #Conflicts: 59000 | #Constraints: 10583
79.79/81.51 c #Conflicts: 60000 | #Constraints: 11583
81.87/83.67 c #Conflicts: 61000 | #Constraints: 12583
82.38/84.17 c DATABASE CLEANUP
82.38/84.17 c GARBAGE COLLECT
82.38/84.17 c rational objective 9
83.55/85.39 c #Conflicts: 62000 | #Constraints: 8582
85.24/87.01 c #Conflicts: 63000 | #Constraints: 9582
87.01/88.84 c #Conflicts: 64000 | #Constraints: 10582
89.10/90.91 c #Conflicts: 65000 | #Constraints: 11582
91.37/93.29 c #Conflicts: 66000 | #Constraints: 12582
92.86/94.79 c DATABASE CLEANUP
92.86/94.79 c GARBAGE COLLECT
92.86/94.79 c rational objective 9
93.65/95.56 c #Conflicts: 67000 | #Constraints: 8385
95.24/97.12 c #Conflicts: 68000 | #Constraints: 9385
96.80/98.71 c #Conflicts: 69000 | #Constraints: 10385
98.50/100.48 c #Conflicts: 70000 | #Constraints: 11385
100.56/102.55 c #Conflicts: 71000 | #Constraints: 12385
102.74/104.76 c #Conflicts: 72000 | #Constraints: 13385
103.34/105.35 c DATABASE CLEANUP
103.34/105.35 c GARBAGE COLLECT
103.34/105.35 c rational objective 9
104.61/106.68 c #Conflicts: 73000 | #Constraints: 8982
106.19/108.29 c #Conflicts: 74000 | #Constraints: 9982
108.17/110.27 c #Conflicts: 75000 | #Constraints: 10982
110.34/112.41 c #Conflicts: 76000 | #Constraints: 11982
112.72/114.87 c #Conflicts: 77000 | #Constraints: 12982
115.39/117.55 c #Conflicts: 78000 | #Constraints: 13982
115.39/117.57 c DATABASE CLEANUP
115.39/117.57 c GARBAGE COLLECT
115.39/117.57 c rational objective 9
117.07/119.25 c #Conflicts: 79000 | #Constraints: 9382
118.76/120.96 c #Conflicts: 80000 | #Constraints: 10382
120.73/122.98 c #Conflicts: 81000 | #Constraints: 11382
123.01/125.26 c #Conflicts: 82000 | #Constraints: 12382
125.68/127.98 c #Conflicts: 83000 | #Constraints: 13382
128.76/131.04 c #Conflicts: 84000 | #Constraints: 14382
128.76/131.07 c DATABASE CLEANUP
128.76/131.07 c GARBAGE COLLECT
128.76/131.07 c rational objective 9
130.44/132.76 c #Conflicts: 85000 | #Constraints: 9585
132.12/134.49 c #Conflicts: 86000 | #Constraints: 10585
134.20/136.52 c #Conflicts: 87000 | #Constraints: 11585
136.56/138.92 c #Conflicts: 88000 | #Constraints: 12585
139.23/141.69 c #Conflicts: 89000 | #Constraints: 13585
142.50/144.97 c #Conflicts: 90000 | #Constraints: 14585
143.19/145.64 c DATABASE CLEANUP
143.19/145.64 c GARBAGE COLLECT
143.19/145.64 c rational objective 9
144.59/147.05 c #Conflicts: 91000 | #Constraints: 9586
146.16/148.63 c #Conflicts: 92000 | #Constraints: 10586
148.04/150.59 c #Conflicts: 93000 | #Constraints: 11586
150.31/152.89 c #Conflicts: 94000 | #Constraints: 12586
152.78/155.37 c #Conflicts: 95000 | #Constraints: 13586
155.65/158.26 c #Conflicts: 96000 | #Constraints: 14586
157.63/160.26 c DATABASE CLEANUP
157.63/160.26 c GARBAGE COLLECT
157.63/160.26 c rational objective 9
158.43/161.06 c #Conflicts: 97000 | #Constraints: 9390
160.00/162.67 c #Conflicts: 98000 | #Constraints: 10390
161.98/164.62 c #Conflicts: 99000 | #Constraints: 11390
164.16/166.87 c #Conflicts: 100000 | #Constraints: 12390
166.64/169.38 c #Conflicts: 101000 | #Constraints: 13390
169.59/172.33 c #Conflicts: 102000 | #Constraints: 14390
173.06/175.86 c #Conflicts: 103000 | #Constraints: 15390
173.85/176.67 c DATABASE CLEANUP
173.85/176.67 c GARBAGE COLLECT
173.85/176.67 c rational objective 9
175.43/178.20 c #Conflicts: 104000 | #Constraints: 9988
177.12/180.00 c #Conflicts: 105000 | #Constraints: 10988
179.31/182.13 c #Conflicts: 106000 | #Constraints: 11988
181.67/184.56 c #Conflicts: 107000 | #Constraints: 12988
184.54/187.40 c #Conflicts: 108000 | #Constraints: 13988
187.01/189.95 c #Conflicts: 109000 | #Constraints: 14988
190.10/193.06 c #Conflicts: 110000 | #Constraints: 15988
190.10/193.08 c DATABASE CLEANUP
190.10/193.08 c GARBAGE COLLECT
190.10/193.08 c rational objective 9
192.18/195.12 c #Conflicts: 111000 | #Constraints: 10386
194.06/197.08 c #Conflicts: 112000 | #Constraints: 11386
196.13/199.17 c #Conflicts: 113000 | #Constraints: 12386
198.60/201.64 c #Conflicts: 114000 | #Constraints: 13386
201.37/204.47 c #Conflicts: 115000 | #Constraints: 14386
204.25/207.33 c #Conflicts: 116000 | #Constraints: 15386
207.93/211.10 c #Conflicts: 117000 | #Constraints: 16386
208.03/211.13 c DATABASE CLEANUP
208.03/211.13 c GARBAGE COLLECT
208.03/211.13 c rational objective 9
210.29/213.42 c #Conflicts: 118000 | #Constraints: 10582
212.47/215.62 c #Conflicts: 119000 | #Constraints: 11582
214.86/218.01 c #Conflicts: 120000 | #Constraints: 12582
217.43/220.69 c #Conflicts: 121000 | #Constraints: 13582
220.50/223.79 c #Conflicts: 122000 | #Constraints: 14582
223.47/226.75 c #Conflicts: 123000 | #Constraints: 15582
226.94/230.29 c #Conflicts: 124000 | #Constraints: 16582
227.75/231.05 c DATABASE CLEANUP
227.75/231.05 c GARBAGE COLLECT
227.75/231.05 c rational objective 9
229.43/232.72 c #Conflicts: 125000 | #Constraints: 10583
231.50/234.82 c #Conflicts: 126000 | #Constraints: 11583
233.80/237.13 c #Conflicts: 127000 | #Constraints: 12583
236.46/239.87 c #Conflicts: 128000 | #Constraints: 13583
239.13/242.53 c #Conflicts: 129000 | #Constraints: 14583
242.61/246.04 c #Conflicts: 130000 | #Constraints: 15583
246.17/249.61 c #Conflicts: 131000 | #Constraints: 16583
248.66/252.19 c DATABASE CLEANUP
248.66/252.19 c GARBAGE COLLECT
248.66/252.19 c rational objective 9
249.66/253.12 c #Conflicts: 132000 | #Constraints: 10387
251.64/255.14 c #Conflicts: 133000 | #Constraints: 11387
253.70/257.20 c #Conflicts: 134000 | #Constraints: 12387
256.08/259.69 c #Conflicts: 135000 | #Constraints: 13387
258.85/262.43 c #Conflicts: 136000 | #Constraints: 14387
262.03/265.69 c #Conflicts: 137000 | #Constraints: 15387
265.90/269.53 c #Conflicts: 138000 | #Constraints: 16387
269.76/273.47 c #Conflicts: 139000 | #Constraints: 17387
270.76/274.47 c DATABASE CLEANUP
270.76/274.47 c GARBAGE COLLECT
270.76/274.47 c rational objective 9
272.35/276.04 c #Conflicts: 140000 | #Constraints: 10988
274.33/278.06 c #Conflicts: 141000 | #Constraints: 11988
276.50/280.24 c #Conflicts: 142000 | #Constraints: 12988
278.98/282.74 c #Conflicts: 143000 | #Constraints: 13988
281.85/285.69 c #Conflicts: 144000 | #Constraints: 14988
285.23/289.06 c #Conflicts: 145000 | #Constraints: 15988
289.10/293.00 c #Conflicts: 146000 | #Constraints: 16988
293.46/297.33 c #Conflicts: 147000 | #Constraints: 17988
293.46/297.37 c DATABASE CLEANUP
293.46/297.37 c GARBAGE COLLECT
293.46/297.37 c rational objective 9
295.82/299.70 c #Conflicts: 148000 | #Constraints: 11388
297.80/301.77 c #Conflicts: 149000 | #Constraints: 12388
300.28/304.22 c #Conflicts: 150000 | #Constraints: 13388
302.76/306.79 c #Conflicts: 151000 | #Constraints: 14388
305.92/309.91 c #Conflicts: 152000 | #Constraints: 15388
309.50/313.50 c #Conflicts: 153000 | #Constraints: 16388
313.37/317.47 c #Conflicts: 154000 | #Constraints: 17388
317.73/321.89 c #Conflicts: 155000 | #Constraints: 18388
317.83/321.93 c DATABASE CLEANUP
317.83/321.93 c GARBAGE COLLECT
317.83/321.93 c rational objective 9
320.02/324.11 c #Conflicts: 156000 | #Constraints: 11592
321.90/326.11 c #Conflicts: 157000 | #Constraints: 12592
324.67/328.84 c #Conflicts: 158000 | #Constraints: 13592
327.54/331.71 c #Conflicts: 159000 | #Constraints: 14592
330.72/334.97 c #Conflicts: 160000 | #Constraints: 15592
334.38/338.65 c #Conflicts: 161000 | #Constraints: 16592
338.25/342.56 c #Conflicts: 162000 | #Constraints: 17592
342.52/346.89 c #Conflicts: 163000 | #Constraints: 18592
343.51/347.80 c DATABASE CLEANUP
343.51/347.80 c GARBAGE COLLECT
343.51/347.80 c rational objective 9
345.09/349.45 c #Conflicts: 164000 | #Constraints: 11597
347.07/351.44 c #Conflicts: 165000 | #Constraints: 12597
349.35/353.72 c #Conflicts: 166000 | #Constraints: 13597
351.92/356.34 c #Conflicts: 167000 | #Constraints: 14597
355.50/359.94 c #Conflicts: 168000 | #Constraints: 15597
359.26/363.70 c #Conflicts: 169000 | #Constraints: 16597
363.54/368.06 c #Conflicts: 170000 | #Constraints: 17597
368.10/372.62 c #Conflicts: 171000 | #Constraints: 18597
371.17/375.76 c DATABASE CLEANUP
371.17/375.76 c GARBAGE COLLECT
371.17/375.76 c rational objective 9
372.16/376.73 c #Conflicts: 172000 | #Constraints: 11392
373.95/378.54 c #Conflicts: 173000 | #Constraints: 12392
376.44/381.09 c #Conflicts: 174000 | #Constraints: 13392
379.29/383.98 c #Conflicts: 175000 | #Constraints: 14392
382.38/387.07 c #Conflicts: 176000 | #Constraints: 15392
385.74/390.47 c #Conflicts: 177000 | #Constraints: 16395
390.32/395.07 c #Conflicts: 178000 | #Constraints: 17395
394.07/398.86 c #Conflicts: 179000 | #Constraints: 18397
399.14/403.98 c #Conflicts: 180000 | #Constraints: 19397
400.13/404.99 c DATABASE CLEANUP
400.13/404.99 c GARBAGE COLLECT
400.13/404.99 c rational objective 9
402.41/407.23 c #Conflicts: 181000 | #Constraints: 11991
404.58/409.46 c #Conflicts: 182000 | #Constraints: 12991
406.97/411.86 c #Conflicts: 183000 | #Constraints: 13991
409.26/414.17 c #Conflicts: 184000 | #Constraints: 14991
411.82/416.79 c #Conflicts: 185000 | #Constraints: 15991
414.99/419.92 c #Conflicts: 186000 | #Constraints: 16991
419.26/424.29 c #Conflicts: 187000 | #Constraints: 17991
423.92/428.92 c #Conflicts: 188000 | #Constraints: 18991
429.00/434.11 c #Conflicts: 189000 | #Constraints: 19991
429.10/434.15 c DATABASE CLEANUP
429.10/434.15 c GARBAGE COLLECT
429.10/434.15 c rational objective 9
431.16/436.20 c #Conflicts: 190000 | #Constraints: 12391
433.24/438.36 c #Conflicts: 191000 | #Constraints: 13391
435.62/440.75 c #Conflicts: 192000 | #Constraints: 14391
438.69/443.88 c #Conflicts: 193000 | #Constraints: 15391
442.36/447.50 c #Conflicts: 194000 | #Constraints: 16391
445.95/451.11 c #Conflicts: 195000 | #Constraints: 17391
450.20/455.40 c #Conflicts: 196000 | #Constraints: 18391
454.57/459.81 c #Conflicts: 197000 | #Constraints: 19391
459.54/464.82 c #Conflicts: 198000 | #Constraints: 20391
459.54/464.87 c DATABASE CLEANUP
459.54/464.87 c GARBAGE COLLECT
459.54/464.87 c rational objective 9
462.50/467.80 c #Conflicts: 199000 | #Constraints: 12590
465.38/470.80 c #Conflicts: 200000 | #Constraints: 13590
468.85/474.26 c #Conflicts: 201000 | #Constraints: 14590
472.52/477.94 c #Conflicts: 202000 | #Constraints: 15590
476.38/481.89 c #Conflicts: 203000 | #Constraints: 16590
480.25/485.77 c #Conflicts: 204000 | #Constraints: 17590
484.42/489.92 c #Conflicts: 205000 | #Constraints: 18590
489.08/494.61 c #Conflicts: 206000 | #Constraints: 19590
494.15/499.79 c #Conflicts: 207000 | #Constraints: 20590
495.33/500.91 c DATABASE CLEANUP
495.33/500.91 c GARBAGE COLLECT
495.33/500.91 c rational objective 9
497.02/502.62 c #Conflicts: 208000 | #Constraints: 12593
499.20/504.86 c #Conflicts: 209000 | #Constraints: 13593
502.06/507.71 c #Conflicts: 210000 | #Constraints: 14593
505.04/510.79 c #Conflicts: 211000 | #Constraints: 15593
508.20/513.94 c #Conflicts: 212000 | #Constraints: 16593
512.38/518.11 c #Conflicts: 213000 | #Constraints: 17593
516.93/522.78 c #Conflicts: 214000 | #Constraints: 18593
521.88/527.75 c #Conflicts: 215000 | #Constraints: 19593
526.95/532.81 c #Conflicts: 216000 | #Constraints: 20593
529.93/535.87 c DATABASE CLEANUP
529.93/535.87 c GARBAGE COLLECT
529.93/535.87 c rational objective 9
531.01/536.93 c #Conflicts: 217000 | #Constraints: 12395
533.29/539.30 c #Conflicts: 218000 | #Constraints: 13395
536.08/542.07 c #Conflicts: 219000 | #Constraints: 14395
539.24/545.28 c #Conflicts: 220000 | #Constraints: 15395
542.81/548.81 c #Conflicts: 221000 | #Constraints: 16395
547.00/553.09 c #Conflicts: 222000 | #Constraints: 17395
551.55/557.60 c #Conflicts: 223000 | #Constraints: 18395
556.31/562.41 c #Conflicts: 224000 | #Constraints: 19395
561.88/568.09 c #Conflicts: 225000 | #Constraints: 20395
567.73/573.99 c #Conflicts: 226000 | #Constraints: 21395
568.93/575.17 c DATABASE CLEANUP
568.93/575.17 c GARBAGE COLLECT
568.93/575.17 c rational objective 9
570.71/577.01 c #Conflicts: 227000 | #Constraints: 13000
573.18/579.46 c #Conflicts: 228000 | #Constraints: 14000
576.15/582.40 c #Conflicts: 229000 | #Constraints: 15000
579.12/585.49 c #Conflicts: 230000 | #Constraints: 16000
582.99/589.33 c #Conflicts: 231000 | #Constraints: 17000
586.95/593.34 c #Conflicts: 232000 | #Constraints: 18000
591.52/597.97 c #Conflicts: 233000 | #Constraints: 19000
596.38/602.83 c #Conflicts: 234000 | #Constraints: 20000
601.93/608.41 c #Conflicts: 235000 | #Constraints: 21000
607.98/614.53 c #Conflicts: 236000 | #Constraints: 22000
607.98/614.58 c DATABASE CLEANUP
607.98/614.58 c GARBAGE COLLECT
607.98/614.58 c rational objective 9
610.57/617.14 c #Conflicts: 237000 | #Constraints: 13394
613.13/619.72 c #Conflicts: 238000 | #Constraints: 14394
616.11/622.71 c #Conflicts: 239000 | #Constraints: 15394
619.86/626.52 c #Conflicts: 240000 | #Constraints: 16394
623.93/630.64 c #Conflicts: 241000 | #Constraints: 17394
628.09/634.86 c #Conflicts: 242000 | #Constraints: 18394
632.46/639.23 c #Conflicts: 243000 | #Constraints: 19394
637.23/644.06 c #Conflicts: 244000 | #Constraints: 20394
641.79/648.63 c #Conflicts: 245000 | #Constraints: 21394
647.44/654.36 c #Conflicts: 246000 | #Constraints: 22394
647.54/654.48 c DATABASE CLEANUP
647.54/654.48 c GARBAGE COLLECT
647.54/654.48 c rational objective 9
650.01/656.97 c #Conflicts: 247000 | #Constraints: 13589
652.58/659.56 c #Conflicts: 248000 | #Constraints: 14589
655.46/662.43 c #Conflicts: 249000 | #Constraints: 15589
658.93/665.98 c #Conflicts: 250000 | #Constraints: 16589
663.11/670.11 c #Conflicts: 251000 | #Constraints: 17589
667.25/674.39 c #Conflicts: 252000 | #Constraints: 18589
672.03/679.13 c #Conflicts: 253000 | #Constraints: 19589
677.17/684.36 c #Conflicts: 254000 | #Constraints: 20589
682.84/690.01 c #Conflicts: 255000 | #Constraints: 21589
688.67/695.95 c #Conflicts: 256000 | #Constraints: 22589
690.07/697.30 c DATABASE CLEANUP
690.07/697.30 c GARBAGE COLLECT
690.07/697.30 c rational objective 9
691.95/699.21 c #Conflicts: 257000 | #Constraints: 13592
694.13/701.46 c #Conflicts: 258000 | #Constraints: 14592
697.29/704.65 c #Conflicts: 259000 | #Constraints: 15592
700.96/708.30 c #Conflicts: 260000 | #Constraints: 16592
704.65/712.08 c #Conflicts: 261000 | #Constraints: 17592
709.20/716.63 c #Conflicts: 262000 | #Constraints: 18592
713.76/721.28 c #Conflicts: 263000 | #Constraints: 19592
718.72/726.21 c #Conflicts: 264000 | #Constraints: 20592
723.88/731.48 c #Conflicts: 265000 | #Constraints: 21592
729.73/737.30 c #Conflicts: 266000 | #Constraints: 22592
733.20/740.80 c DATABASE CLEANUP
733.20/740.80 c GARBAGE COLLECT
733.20/740.80 c rational objective 9
734.41/742.02 c #Conflicts: 267000 | #Constraints: 13393
737.07/744.72 c #Conflicts: 268000 | #Constraints: 14393
740.14/747.80 c #Conflicts: 269000 | #Constraints: 15393
743.61/751.35 c #Conflicts: 270000 | #Constraints: 16393
747.28/755.08 c #Conflicts: 271000 | #Constraints: 17393
751.84/759.65 c #Conflicts: 272000 | #Constraints: 18393
756.69/764.57 c #Conflicts: 273000 | #Constraints: 19393
762.16/770.09 c #Conflicts: 274000 | #Constraints: 20393
768.12/776.06 c #Conflicts: 275000 | #Constraints: 21393
774.36/782.31 c #Conflicts: 276000 | #Constraints: 22394
780.41/788.49 c #Conflicts: 277000 | #Constraints: 23394
781.80/789.85 c DATABASE CLEANUP
781.80/789.85 c GARBAGE COLLECT
781.80/789.85 c rational objective 9
784.09/792.14 c #Conflicts: 278000 | #Constraints: 13993
787.35/795.40 c #Conflicts: 279000 | #Constraints: 14993
790.22/798.34 c #Conflicts: 280000 | #Constraints: 15993
793.70/801.90 c #Conflicts: 281000 | #Constraints: 16993
797.56/805.77 c #Conflicts: 282000 | #Constraints: 17993
801.73/809.97 c #Conflicts: 283000 | #Constraints: 18993
806.39/814.66 c #Conflicts: 284000 | #Constraints: 19993
811.35/819.60 c #Conflicts: 285000 | #Constraints: 20993
816.91/825.23 c #Conflicts: 286000 | #Constraints: 21993
822.57/830.92 c #Conflicts: 287000 | #Constraints: 22993
829.11/837.51 c #Conflicts: 288000 | #Constraints: 23993
829.11/837.55 c DATABASE CLEANUP
829.11/837.55 c GARBAGE COLLECT
829.11/837.55 c rational objective 9
831.99/840.43 c #Conflicts: 289000 | #Constraints: 14394
834.46/842.95 c #Conflicts: 290000 | #Constraints: 15394
837.94/846.49 c #Conflicts: 291000 | #Constraints: 16394
842.00/850.56 c #Conflicts: 292000 | #Constraints: 17394
846.26/854.86 c #Conflicts: 293000 | #Constraints: 18394
850.83/859.48 c #Conflicts: 294000 | #Constraints: 19394
856.18/864.87 c #Conflicts: 295000 | #Constraints: 20394
861.84/870.50 c #Conflicts: 296000 | #Constraints: 21394
867.79/876.52 c #Conflicts: 297000 | #Constraints: 22394
874.36/883.12 c #Conflicts: 298000 | #Constraints: 23394
881.00/889.88 c #Conflicts: 299000 | #Constraints: 24394
881.10/889.92 c DATABASE CLEANUP
881.10/889.92 c GARBAGE COLLECT
881.10/889.92 c rational objective 9
884.18/893.08 c #Conflicts: 300000 | #Constraints: 14593
887.25/896.13 c #Conflicts: 301000 | #Constraints: 15593
890.61/899.52 c #Conflicts: 302000 | #Constraints: 16593
894.47/903.43 c #Conflicts: 303000 | #Constraints: 17593
899.14/908.12 c #Conflicts: 304000 | #Constraints: 18593
904.00/913.04 c #Conflicts: 305000 | #Constraints: 19593
909.15/918.23 c #Conflicts: 306000 | #Constraints: 20593
915.11/924.23 c #Conflicts: 307000 | #Constraints: 21593
921.06/930.25 c #Conflicts: 308000 | #Constraints: 22593
927.02/936.23 c #Conflicts: 309000 | #Constraints: 23593
933.66/942.98 c #Conflicts: 310000 | #Constraints: 24593
935.25/944.55 c DATABASE CLEANUP
935.25/944.55 c GARBAGE COLLECT
935.25/944.55 c rational objective 9
937.23/946.59 c #Conflicts: 311000 | #Constraints: 14595
939.21/948.53 c #Conflicts: 312000 | #Constraints: 15675
941.80/951.15 c #Conflicts: 313000 | #Constraints: 16710
945.15/954.56 c #Conflicts: 314000 | #Constraints: 17710
949.02/958.41 c #Conflicts: 315000 | #Constraints: 18710
953.19/962.64 c #Conflicts: 316000 | #Constraints: 19710
957.66/967.19 c #Conflicts: 317000 | #Constraints: 20710
962.71/972.24 c #Conflicts: 318000 | #Constraints: 21710
967.97/977.59 c #Conflicts: 319000 | #Constraints: 22710
973.44/983.10 c #Conflicts: 320000 | #Constraints: 23710
979.50/989.17 c #Conflicts: 321000 | #Constraints: 24710
983.37/993.10 c DATABASE CLEANUP
983.37/993.10 c GARBAGE COLLECT
983.37/993.10 c rational objective 9
984.54/994.26 c #Conflicts: 322000 | #Constraints: 14449
987.02/996.75 c #Conflicts: 323000 | #Constraints: 15449
989.70/999.41 c #Conflicts: 324000 | #Constraints: 16449
992.96/1002.74 c #Conflicts: 325000 | #Constraints: 17449
996.83/1006.61 c #Conflicts: 326000 | #Constraints: 18449
1001.20/1011.05 c #Conflicts: 327000 | #Constraints: 19449
1005.75/1015.62 c #Conflicts: 328000 | #Constraints: 20449
1010.72/1020.65 c #Conflicts: 329000 | #Constraints: 21449
1015.97/1025.93 c #Conflicts: 330000 | #Constraints: 22449
1021.54/1031.56 c #Conflicts: 331000 | #Constraints: 23449
1027.79/1037.88 c #Conflicts: 332000 | #Constraints: 24449
1034.34/1044.48 c #Conflicts: 333000 | #Constraints: 25449
1038.11/1048.20 c DATABASE CLEANUP
1038.11/1048.20 c GARBAGE COLLECT
1038.11/1048.20 c #Conflicts: 334000 | #Constraints: 15019
1040.90/1051.08 c #Conflicts: 335000 | #Constraints: 16019
1044.25/1054.47 c #Conflicts: 336000 | #Constraints: 17019
1047.94/1058.13 c #Conflicts: 337000 | #Constraints: 18019
1052.19/1062.48 c #Conflicts: 338000 | #Constraints: 19019
1056.94/1067.21 c #Conflicts: 339000 | #Constraints: 20019
1061.72/1072.03 c #Conflicts: 340000 | #Constraints: 21019
1066.69/1077.06 c #Conflicts: 341000 | #Constraints: 22019
1072.74/1083.13 c #Conflicts: 342000 | #Constraints: 23019
1079.48/1089.93 c #Conflicts: 343000 | #Constraints: 24019
1085.84/1096.31 c #Conflicts: 344000 | #Constraints: 25019
1093.09/1103.66 c #Conflicts: 345000 | #Constraints: 26019
1093.19/1103.74 c DATABASE CLEANUP
1093.19/1103.74 c GARBAGE COLLECT
1093.19/1103.74 c rational objective 9
1096.08/1106.64 c #Conflicts: 346000 | #Constraints: 15407
1098.85/1109.49 c #Conflicts: 347000 | #Constraints: 16407
1102.43/1113.05 c #Conflicts: 348000 | #Constraints: 17407
1106.50/1117.11 c #Conflicts: 349000 | #Constraints: 18407
1110.85/1121.59 c #Conflicts: 350000 | #Constraints: 19407
1116.42/1127.11 c #Conflicts: 351000 | #Constraints: 20408
1122.66/1133.42 c #Conflicts: 352000 | #Constraints: 21419
1128.51/1139.31 c #Conflicts: 353000 | #Constraints: 22436
1133.58/1144.48 c #Conflicts: 354000 | #Constraints: 23436
1139.16/1150.07 c #Conflicts: 355000 | #Constraints: 24436
1145.50/1156.49 c #Conflicts: 356000 | #Constraints: 25436
1151.95/1162.94 c #Conflicts: 357000 | #Constraints: 26447
1152.07/1163.02 c DATABASE CLEANUP
1152.07/1163.02 c GARBAGE COLLECT
1152.07/1163.02 c rational objective 9
1154.83/1165.88 c #Conflicts: 358000 | #Constraints: 15625
1157.90/1168.90 c #Conflicts: 359000 | #Constraints: 16625
1161.37/1172.41 c #Conflicts: 360000 | #Constraints: 17629
1165.45/1176.52 c #Conflicts: 361000 | #Constraints: 18675
1169.81/1180.95 c #Conflicts: 362000 | #Constraints: 19675
1174.57/1185.78 c #Conflicts: 363000 | #Constraints: 20675
1179.43/1190.60 c #Conflicts: 364000 | #Constraints: 21675
1184.60/1195.81 c #Conflicts: 365000 | #Constraints: 22675
1190.26/1201.54 c #Conflicts: 366000 | #Constraints: 23675
1196.22/1207.58 c #Conflicts: 367000 | #Constraints: 24675
1202.47/1213.80 c #Conflicts: 368000 | #Constraints: 25737
1210.63/1222.06 c #Conflicts: 369000 | #Constraints: 26795
1212.50/1223.94 c DATABASE CLEANUP
1212.50/1223.94 c GARBAGE COLLECT
1212.50/1223.94 c rational objective 9
1215.08/1226.50 c #Conflicts: 370000 | #Constraints: 15749
1218.06/1229.57 c #Conflicts: 371000 | #Constraints: 16828
1221.72/1233.22 c #Conflicts: 372000 | #Constraints: 17902
1225.68/1237.29 c #Conflicts: 373000 | #Constraints: 18983
1230.15/1241.77 c #Conflicts: 374000 | #Constraints: 20055
1235.21/1246.88 c #Conflicts: 375000 | #Constraints: 21111
1240.68/1252.36 c #Conflicts: 376000 | #Constraints: 22186
1246.34/1258.03 c #Conflicts: 377000 | #Constraints: 23264
1252.30/1264.10 c #Conflicts: 378000 | #Constraints: 24332
1259.05/1270.85 c #Conflicts: 379000 | #Constraints: 25391
1266.10/1277.97 c #Conflicts: 380000 | #Constraints: 26448
1272.76/1284.63 c #Conflicts: 381000 | #Constraints: 27449
1277.33/1289.29 c DATABASE CLEANUP
1277.33/1289.29 c GARBAGE COLLECT
1277.33/1289.29 c rational objective 9
1278.71/1290.63 c #Conflicts: 382000 | #Constraints: 15820
1281.69/1293.67 c #Conflicts: 383000 | #Constraints: 16820
1285.08/1297.07 c #Conflicts: 384000 | #Constraints: 17820
1288.84/1300.80 c #Conflicts: 385000 | #Constraints: 18848
1294.10/1306.13 c #Conflicts: 386000 | #Constraints: 19848
1299.35/1311.46 c #Conflicts: 387000 | #Constraints: 20848
1304.71/1316.82 c #Conflicts: 388000 | #Constraints: 21848
1310.07/1322.22 c #Conflicts: 389000 | #Constraints: 22848
1315.94/1328.17 c #Conflicts: 390000 | #Constraints: 23849
1322.09/1334.30 c #Conflicts: 391000 | #Constraints: 24896
1328.24/1340.57 c #Conflicts: 392000 | #Constraints: 25978
1335.50/1347.88 c #Conflicts: 393000 | #Constraints: 27048
1343.76/1356.17 c #Conflicts: 394000 | #Constraints: 28142
1345.64/1358.06 c DATABASE CLEANUP
1345.64/1358.06 c GARBAGE COLLECT
1345.64/1358.06 c rational objective 9
1348.40/1360.84 c #Conflicts: 395000 | #Constraints: 16419
1351.87/1364.40 c #Conflicts: 396000 | #Constraints: 17455
1355.55/1368.03 c #Conflicts: 397000 | #Constraints: 18455
1359.71/1372.23 c #Conflicts: 398000 | #Constraints: 19455
1364.36/1376.98 c #Conflicts: 399000 | #Constraints: 20456
1369.33/1381.91 c #Conflicts: 400000 | #Constraints: 21456
1374.79/1387.45 c #Conflicts: 401000 | #Constraints: 22456
1380.85/1393.57 c #Conflicts: 402000 | #Constraints: 23456
1387.01/1399.71 c #Conflicts: 403000 | #Constraints: 24456
1394.16/1406.95 c #Conflicts: 404000 | #Constraints: 25456
1401.32/1414.16 c #Conflicts: 405000 | #Constraints: 26457
1408.66/1421.53 c #Conflicts: 406000 | #Constraints: 27466
1416.01/1428.94 c #Conflicts: 407000 | #Constraints: 28520
1416.12/1429.07 c DATABASE CLEANUP
1416.12/1429.07 c GARBAGE COLLECT
1416.12/1429.07 c rational objective 9
1419.78/1432.75 c #Conflicts: 408000 | #Constraints: 16673
1422.85/1435.83 c #Conflicts: 409000 | #Constraints: 17676
1426.32/1439.32 c #Conflicts: 410000 | #Constraints: 18680
1430.49/1443.53 c #Conflicts: 411000 | #Constraints: 19683
1435.06/1448.16 c #Conflicts: 412000 | #Constraints: 20699
1441.02/1454.17 c #Conflicts: 413000 | #Constraints: 21705
1446.98/1460.16 c #Conflicts: 414000 | #Constraints: 22708
1452.94/1466.15 c #Conflicts: 415000 | #Constraints: 23719
1459.58/1472.89 c #Conflicts: 416000 | #Constraints: 24723
1466.33/1479.67 c #Conflicts: 417000 | #Constraints: 25726
1473.09/1486.45 c #Conflicts: 418000 | #Constraints: 26726
1480.34/1493.73 c #Conflicts: 419000 | #Constraints: 27726
1488.28/1501.77 c #Conflicts: 420000 | #Constraints: 28726
1491.46/1504.93 c DATABASE CLEANUP
1491.46/1504.93 c GARBAGE COLLECT
1491.46/1504.93 c #Conflicts: 421000 | #Constraints: 16782
1494.82/1508.31 c #Conflicts: 422000 | #Constraints: 17791
1498.69/1512.28 c #Conflicts: 423000 | #Constraints: 18810
1503.36/1516.91 c #Conflicts: 424000 | #Constraints: 19826
1508.32/1521.95 c #Conflicts: 425000 | #Constraints: 20829
1512.99/1526.64 c #Conflicts: 426000 | #Constraints: 21829
1518.15/1531.85 c #Conflicts: 427000 | #Constraints: 22829
1523.62/1537.38 c #Conflicts: 428000 | #Constraints: 23829
1529.17/1543.00 c #Conflicts: 429000 | #Constraints: 24829
1535.53/1549.37 c #Conflicts: 430000 | #Constraints: 25829
1542.48/1556.34 c #Conflicts: 431000 | #Constraints: 26829
1549.15/1563.08 c #Conflicts: 432000 | #Constraints: 27829
1555.70/1569.62 c #Conflicts: 433000 | #Constraints: 28829
1557.28/1571.23 c UNIT CLEANUP
1557.28/1571.23 c DATABASE CLEANUP
1557.28/1571.23 c GARBAGE COLLECT
1557.28/1571.23 c cpu time 1551.51 s
1557.28/1571.23 c deterministic time 1130236870418 1.13e+12
1557.28/1571.23 c optimization time 6.7e-05 s
1557.28/1571.23 c total solve time 1551.48 s
1557.28/1571.23 c core-guided solve time 0 s
1557.28/1571.23 c propagation time 1420.72 s
1557.28/1571.23 c conflict analysis time 97.8638 s
1557.28/1571.23 c local search time 3.62381 s
1557.28/1571.23 c propagations 17840939
1557.28/1571.23 c resolve steps 7575660
1557.28/1571.23 c resolve steps with general constraints 4735008
1557.28/1571.23 c decisions 629722
1557.28/1571.23 c conflicts 433208
1557.28/1571.23 c overflow fixes 426474
1557.28/1571.23 c conflicts with overflow fixes 3841
1557.28/1571.23 c restarts 1020
1557.28/1571.23 c inprocessing phases 57
1557.28/1571.23 c garbage collections 57 ,( 100.00 )
1557.28/1571.23 c input clauses 2059 ,( 73.14 )
1557.28/1571.23 c input cardinalities 4 ,( 0.14 )
1557.28/1571.23 c input general constraints 752 ,( 26.71 )
1557.28/1571.23 c input average constraint length 3.11
1557.28/1571.23 c input average constraint degree 7.32e+07
1557.28/1571.23 c input average constraint degree bitlength 0.31
1557.28/1571.23 c learned clauses 3844 ,( 0.88 )
1557.28/1571.23 c learned cardinalities 3 ,( 0.00 )
1557.28/1571.23 c learned general constraints 431075 ,( 99.12 )
1557.28/1571.23 c learned average constraint length 362.06
1557.28/1571.23 c learned average constraint degree 1.08e+09
1557.28/1571.23 c learned average constraint degree bitlength 28.76
1557.28/1571.23 c watched CF 32, 64, 128, Arb: 1218 , 0 , 0 , 0
1557.28/1571.23 c counting CF 32, 64, 128, Arb: 430606 , 3 , 0 , 0
1557.28/1571.23 c watched constraints 1218 ,( 0.28 )
1557.28/1571.23 c counting constraints 430609 ,( 99.72 )
1557.28/1571.23 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7683211 , 610 , 15124370695 ,( 3808177 , 15120562518 )
1557.28/1571.23 c pure literals detected 0
1557.28/1571.23 c unique literal constraints detected 0
1557.28/1571.23 c gcd simplifications 103069
1557.28/1571.23 c detected cardinalities 659
1557.28/1571.23 c divisions strengthening the constraint 0
1557.28/1571.23 c weakened non-implied lits 3742627
1557.28/1571.23 c weakened non-implying lits 138958
1557.28/1571.23 c percentage of cover cuts not using all falsified lits 0.000
1557.28/1571.23 c average MIR cut multiplier 0.00e+00
1557.28/1571.23 c average MIR cut multiplier bitlength 0.000
1557.28/1571.23 c original variables 1548
1557.28/1571.23 c clausal propagations 6671290
1557.28/1571.23 c cardinality propagations 89
1557.28/1571.23 c watched propagations 2913
1557.28/1571.23 c counting propagations 10752836
1557.28/1571.23 c watch lookups 15476568761
1557.28/1571.23 c watch backjump lookups 0
1557.28/1571.23 c watch checks 89496516
1557.28/1571.23 c propagation checks 1113906638975
1557.28/1571.23 c constraint additions 726472707
1557.28/1571.23 c trail pops 18903812
1557.28/1571.23 c formula constraints 1605
1557.28/1571.23 c learned constraints 433213
1557.28/1571.23 c bound constraints 0
1557.28/1571.23 c core-guided constraints 0
1557.28/1571.23 c encountered formula constraints 6948520
1557.28/1571.23 c encountered learned constraints 962596
1557.28/1571.23 c encountered bound constraints 0
1557.28/1571.23 c encountered core-guided constraints 0
1557.28/1571.23 c LP total time 20.6823 s
1557.28/1571.23 c LP solve time 12.8 s
1557.28/1571.23 c LP constraints added 1597
1557.28/1571.23 c LP constraints removed 4
1557.28/1571.23 c LP pivots internal 272839
1557.28/1571.23 c LP pivots root 46146
1557.28/1571.23 c LP calls 16102
1557.28/1571.23 c LP optimalities 13775
1557.28/1571.23 c LP no pivot count 1427
1557.28/1571.23 c LP infeasibilities 1691
1557.28/1571.23 c LP valid Farkas constraints 1692
1557.28/1571.23 c LP learned Farkas constraints 7
1557.28/1571.23 c LP basis resets 634
1557.28/1571.23 c LP cycling count 18
1557.28/1571.23 c LP singular count 1
1557.28/1571.23 c LP no primal count 0
1557.28/1571.23 c LP no farkas count 0
1557.28/1571.23 c LP other issue count 615
1557.28/1571.23 c LP Gomory cuts 10
1557.28/1571.23 c LP learned cuts 0
1557.28/1571.23 c LP deleted cuts 4
1557.28/1571.23 c LP encountered Gomory constraints 15
1557.28/1571.23 c LP encountered Farkas constraints 71882
1557.28/1571.23 c LP encountered learned Farkas constraints 202
1557.28/1571.23 c CG auxiliary variables introduced 303
1557.28/1571.23 c CG solutions found 0
1557.28/1571.23 c CG cores constructed 0
1557.28/1571.23 c CG core cardinality constraints returned 0
1557.28/1571.23 c CG unit cores 0
1557.28/1571.23 c CG single cores 0
1557.28/1571.23 c CG blocks removed during cardinality reduction 0
1557.28/1571.23 c CG first core best 0
1557.28/1571.23 c CG decision core best 0
1557.28/1571.23 c CG core reduction tie 0
1557.28/1571.23 c CG core degree average 0.00
1557.28/1571.23 c CG core slack average 0.00
1557.28/1571.23 c CG core upper bound improvements 0
1557.28/1571.23 c STR number of successful calls 0
1557.28/1571.23 c STR number of unsuccessful calls 0
1557.28/1571.23 c STR number of inconclusive calls 0
1557.28/1571.23 c STR number of successful attempts 0
1557.28/1571.23 c STR number of unsuccessful attempts 0
1557.28/1571.23 c STR number of inconclusive attempts 0
1557.28/1571.23 c STR average degree increase per successful call inf
1557.28/1571.23 c STR average degree increase per successful attempt inf
1557.28/1571.23 c STR total number of conflicts for successful attempts 0
1557.28/1571.23 c STR total number of conflicts for unsuccessful attempts 0
1557.28/1571.23 c STR total number of conflicts for inconclusive attempts 0
1557.28/1571.23 c STR average number of conflicts per successful attempt inf
1557.28/1571.23 c STR average number of conflicts per unsuccessful attempt inf
1557.28/1571.23 c STR average number of conflicts per inconclusive attempt inf
1557.28/1571.23 c IHS number of seeded input constraints 0
1557.28/1571.24 c IHS number of seeded weakened input constraints 0
1557.28/1571.24 c IHS number of successful local search calls 0
1557.28/1571.24 c IHS number of timeouts for local search 0
1557.28/1571.24 c IHS number of complete search calls 0
1557.28/1571.24 c IHS number of optimal complete search calls 0
1557.28/1571.24 c IHS number of complete search progress calls 0
1557.28/1571.24 c IHS number of solutions from local search 0
1557.28/1571.24 c IHS number of upper bounds from local search 0
1557.28/1571.24 c IHS number of cores from local search 0
1557.28/1571.24 c IHS number of discarded solutions from local search 0
1557.28/1571.24 c IHS number of solutions from complete search 0
1557.28/1571.24 c IHS number of upper bounds from complete search 0
1557.28/1571.24 c IHS number of cores from complete search 0
1557.28/1571.24 c IHS number of discarded solutions from complete search 0
1557.28/1571.24 c IHS local search time 0 s
1557.28/1571.24 c IHS complete search time 0 s
1557.28/1571.24 c IHS core extraction time 0 s
1557.28/1571.24 c AVG.sumWPerc 99.16
1557.28/1571.24 c bigint constraints 3
1557.28/1571.24 s UNSATISFIABLE
Verifier Data
ERROR: no interpretation found !
Checking of UNSAT/OPT proofs:
VeriPB + CakePB (PB26)
Proof is valid.Proof size: 3014254 kiB
Checker CPU time: 354.663 seconds
Checker wall-clock time: 263.607 seconds
Checker maximum virtual size: 42028200 kiB
Checker output:
Sun Jul 12 15:35:56 CEST 2026
extraparms=--unchecked-deletion
-- veripb --
VeriPB commit 4545a10e3ae92a3f2c3189f97d4d7d98f3da947b
Running VeriPB version 3.0.2
s VERIFIED UNSATISFIABLE
-- cakepb --
CakePB commit 904eed45e2cbe9ac26000475bbdd2f99bcbdaad8
s VERIFIED UNSATISFIABLE
--summary--
ALL OK
Watcher Data
runsolver version 3.4.3 (svn: 5215) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4834441-1783835803/watcher-4834441-1783835803 -o /tmp/evaluation-result-4834441-1783835803/solver-4834441-1783835803 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834441-1783835803/vars-4834441-1783835803 --bin-var /tmp/runsolver-exch-nodeE003-1783835699-1391405 --watchdog 3760 --file-size-limit 100000 ./run-sat.sh --proof-log=/tmp/proofs/proof-4834441-1783835803 HOME/instance-4834441-1783835803.opb
running on 4 cores: 16-19
CPU: AMD EPYC 9355 32-Core Processor
Cores frequency:
2500 MHz: 13-15,20,22-23,25-29,32,35,37-40,42,44,46-47,49-51,53-56,60,62
3550 MHz: 0-3,21,41,48,57-59
3600 MHz: 4-12,16-19,24,30-31,33-34,36,43,45,52,61,63
WARNING: cores do not run at the same frequency!
Cores frequency (cpufreq):
3550 MHz: 0-3
CPU governors:
performance: 16-19
NUMA information:
number of nodes: 8
node 0: cores 0-7, 128055 MiB (20036 MiB free)
node 1: cores 8-15, 129019 MiB (85288 MiB free)
node 2: cores 16-23, 129019 MiB (112865 MiB free)
node 3: cores 24-31, 129003 MiB (115776 MiB free)
node 4: cores 32-39, 129019 MiB (118901 MiB free)
node 5: cores 40-47, 129019 MiB (124504 MiB free)
node 6: cores 48-55, 128973 MiB (124615 MiB free)
node 7: cores 56-63, 128474 MiB (122348 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=1391831, runsolver pid=1391828
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 15.07 8.96 6.54 14/899 1391833
/proc/meminfo: memFree=844113892/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=58044 memory=16352 CPUtime=0.07 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 2665 0 0 0 7 0 0 0 20 0 1 0 316868259 59437056 3999 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 14511 4088 2878 1755 0 2346 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62236 KiB
Current children cumulated memory: 19472 KiB
[startup+0.211592 s]*
/proc/loadavg: 15.07 8.96 6.54 20/899 1391833
/proc/meminfo: memFree=844109104/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=60300 memory=20972 CPUtime=0.18 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) S 1391831 1391831 1391392 0 -1 4194304 3219 0 0 0 18 0 0 0 20 0 1 0 316868259 61747200 5088 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 1 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 15075 5243 2974 1755 0 2910 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64492 KiB
Current children cumulated memory: 24092 KiB
[startup+0.311136 s]*
/proc/loadavg: 15.07 8.96 6.54 20/899 1391833
/proc/meminfo: memFree=844102120/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=62896 memory=23448 CPUtime=0.28 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 3838 0 0 0 27 1 0 0 20 0 1 0 316868259 64405504 5728 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 15724 5862 2974 1755 0 3559 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 67088 KiB
Current children cumulated memory: 26568 KiB
[startup+0.70014 s]
/proc/loadavg: 15.07 8.96 6.54 17/899 1391833
/proc/meminfo: memFree=844091596/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=70236 memory=32324 CPUtime=0.65 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 5546 0 0 0 63 2 0 0 20 0 1 0 316868259 71921664 7975 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 17559 8081 2974 1755 0 5394 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 74428 KiB
Current children cumulated memory: 35444 KiB
[startup+1.50014 s]
/proc/loadavg: 15.07 8.96 6.54 19/899 1391833
/proc/meminfo: memFree=844055520/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=85012 memory=43488 CPUtime=1.43 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 8337 0 0 0 139 4 0 0 20 0 1 0 316868259 87052288 10791 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 21253 10872 2974 1755 0 9088 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 89204 KiB
Current children cumulated memory: 46608 KiB
[startup+3.11294 s]
/proc/loadavg: 14.98 9.05 6.58 19/899 1391833
/proc/meminfo: memFree=843884848/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=93216 memory=51364 CPUtime=3.01 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 9796 0 0 0 296 5 0 0 20 0 1 0 316868259 95453184 12804 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 23304 12841 2974 1755 0 11139 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 97408 KiB
Current children cumulated memory: 54484 KiB
[startup+6.30014 s]
/proc/loadavg: 14.98 9.05 6.58 19/899 1391833
/proc/meminfo: memFree=843717620/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=102364 memory=60220 CPUtime=6.15 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 12011 0 0 0 606 9 0 0 20 0 1 0 316868259 104820736 14980 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 25591 15055 2974 1755 0 13426 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 106556 KiB
Current children cumulated memory: 63340 KiB
[startup+12.7001 s]
/proc/loadavg: 14.91 9.23 6.66 16/899 1391833
/proc/meminfo: memFree=843052844/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=125484 memory=77172 CPUtime=12.46 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 15228 0 0 0 1232 14 0 0 20 0 1 0 316868259 128495616 19241 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 31371 19293 2974 1755 0 19206 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 129676 KiB
Current children cumulated memory: 80292 KiB
[startup+25.5002 s]
/proc/loadavg: 15.30 9.50 6.78 16/899 1391833
/proc/meminfo: memFree=838100996/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=129388 memory=86096 CPUtime=25.06 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 16849 0 0 0 2483 23 0 0 20 0 1 0 316868259 132493312 21393 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 32347 21524 3080 1755 0 20182 0
Current children cumulated CPU time: 25.06 s
Current children cumulated vsize: 133580 KiB
Current children cumulated memory: 89216 KiB
[startup+51.1136 s]
/proc/loadavg: 16.14 10.15 7.07 18/902 1391966
/proc/meminfo: memFree=833775492/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=164012 memory=109388 CPUtime=49.95 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 21650 0 0 0 4959 36 0 0 20 0 1 0 316868259 167948288 27090 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 16 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 41003 27347 3080 1755 0 28838 0
Current children cumulated CPU time: 49.95 s
Current children cumulated vsize: 168204 KiB
Current children cumulated memory: 112508 KiB
[startup+102.3 s]
/proc/loadavg: 16.98 11.39 7.67 18/903 1392042
/proc/meminfo: memFree=832036772/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=176944 memory=127852 CPUtime=100.36 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 24740 0 0 0 9977 59 0 0 20 0 1 0 316868259 181190656 31896 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 44236 31963 3080 1755 0 32071 0
Current children cumulated CPU time: 100.36 s
Current children cumulated vsize: 181136 KiB
Current children cumulated memory: 130972 KiB
[startup+162.3 s]
################
# More data... #
################
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 50687 0 0 0 128542 490 0 0 20 0 1 0 316868259 341831680 66418 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 83455 66540 3080 1755 0 71290 0
Current children cumulated CPU time: 1290.32 s
Current children cumulated vsize: 338012 KiB
Current children cumulated memory: 269280 KiB
[startup+1362.3 s]
/proc/loadavg: 15.50 16.03 14.26 15/899 1392138
/proc/meminfo: memFree=654689184/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=334336 memory=266624 CPUtime=1349.89 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 50803 0 0 0 134479 510 0 0 20 0 1 0 316868259 342360064 66546 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 83584 66656 3080 1755 0 71419 0
Current children cumulated CPU time: 1349.89 s
Current children cumulated vsize: 338528 KiB
Current children cumulated memory: 269744 KiB
[startup+1422.3 s]
/proc/loadavg: 15.80 16.04 14.38 16/895 1392139
/proc/meminfo: memFree=645708304/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=340944 memory=276128 CPUtime=1409.45 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 52157 0 0 0 140417 528 0 0 20 0 1 0 316868259 349126656 68881 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 85236 69032 3080 1755 0 73071 0
Current children cumulated CPU time: 1409.45 s
Current children cumulated vsize: 345136 KiB
Current children cumulated memory: 279248 KiB
[startup+1482.3 s]
/proc/loadavg: 15.44 15.90 14.44 17/894 1392140
/proc/meminfo: memFree=636873292/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=345944 memory=282968 CPUtime=1469.01 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 53356 0 0 0 146351 550 0 0 20 0 1 0 316868259 354246656 70676 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 86486 70742 3080 1755 0 74321 0
Current children cumulated CPU time: 1469.01 s
Current children cumulated vsize: 350136 KiB
Current children cumulated memory: 286088 KiB
[startup+1542.3 s]
/proc/loadavg: 15.70 15.90 14.54 16/892 1392141
/proc/meminfo: memFree=628280304/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=357580 memory=291384 CPUtime=1528.58 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 55460 0 0 0 152286 572 0 0 20 0 1 0 316868259 366161920 72724 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 89395 72846 3080 1755 0 77230 0
Current children cumulated CPU time: 1528.58 s
Current children cumulated vsize: 361772 KiB
Current children cumulated memory: 294504 KiB
[startup+1571.25 s]
# the end of solver process 1391831 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1551.51 s, system=5.82716 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1548.8 s]
/proc/loadavg: 15.64 15.88 14.54 16/892 1392141
/proc/meminfo: memFree=627273508/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=357580 memory=291476 CPUtime=1535.04 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 55483 0 0 0 152930 574 0 0 20 0 1 0 316868259 366161920 72724 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 89395 72869 3080 1755 0 77230 0
Current children cumulated CPU time: 1535.04 s
Current children cumulated vsize: 361772 KiB
Current children cumulated memory: 294596 KiB
[startup+1561.6 s]
/proc/loadavg: 15.62 15.87 14.55 17/892 1392141
/proc/meminfo: memFree=625535584/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=383996 memory=306264 CPUtime=1547.75 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 59180 0 0 0 154196 579 0 0 20 0 1 0 316868259 393211904 76436 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 95999 76566 3080 1755 0 83834 0
Current children cumulated CPU time: 1547.75 s
Current children cumulated vsize: 388188 KiB
Current children cumulated memory: 309384 KiB
[startup+1568 s]*
/proc/loadavg: 15.68 15.87 14.56 16/892 1392141
/proc/meminfo: memFree=624562744/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=383996 memory=308540 CPUtime=1554.12 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 59749 0 0 0 154831 581 0 0 20 0 1 0 316868259 393211904 77076 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 95999 77135 3080 1755 0 83834 0
Current children cumulated CPU time: 1554.12 s
Current children cumulated vsize: 388188 KiB
Current children cumulated memory: 311660 KiB
[startup+1569.6 s]
/proc/loadavg: 15.68 15.87 14.56 17/892 1392141
/proc/meminfo: memFree=624365808/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=383996 memory=309256 CPUtime=1555.7 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 59928 0 0 0 154989 581 0 0 20 0 1 0 316868259 393211904 77204 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 95999 77314 3080 1755 0 83834 0
Current children cumulated CPU time: 1555.7 s
Current children cumulated vsize: 388188 KiB
Current children cumulated memory: 312376 KiB
[startup+1570.4 s]
/proc/loadavg: 15.68 15.87 14.56 16/892 1392141
/proc/meminfo: memFree=624225608/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=383996 memory=309356 CPUtime=1556.49 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 59953 0 0 0 155068 581 0 0 20 0 1 0 316868259 393211904 77204 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 95999 77339 3080 1755 0 83834 0
Current children cumulated CPU time: 1556.49 s
Current children cumulated vsize: 388188 KiB
Current children cumulated memory: 312476 KiB
[startup+1570.8 s]
/proc/loadavg: 15.68 15.87 14.56 16/892 1392141
/proc/meminfo: memFree=624225608/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=383996 memory=309400 CPUtime=1556.89 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 59964 0 0 0 155108 581 0 0 20 0 1 0 316868259 393211904 77204 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 95999 77350 3080 1755 0 83834 0
Current children cumulated CPU time: 1556.89 s
Current children cumulated vsize: 388188 KiB
Current children cumulated memory: 312520 KiB
[startup+1571.2 s]
/proc/loadavg: 15.68 15.87 14.56 16/892 1392141
/proc/meminfo: memFree=623952960/1055320712 swapFree=33240060/33554428
[pid=1391831] ppid=1391828 vsize=4192 memory=3120 CPUtime=0 cores=16-19
/proc/1391831/stat : 1391831 (run-sat.sh) S 1391828 1391831 1391392 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 316868258 4292608 640 18446744073709551615 93855824146432 93855825040965 140726593425264 0 0 0 65536 4 65538 1 0 0 17 17 0 0 0 0 0 93855825280016 93855825327760 93855836893184 140726593427702 140726593427841 140726593427841 140726593433579 0
/proc/1391831/statm: 1048 780 702 219 0 110 0
[pid=1391833] ppid=1391831 vsize=383996 memory=309444 CPUtime=1557.28 cores=16-19
/proc/1391833/stat : 1391833 (roundingsat) R 1391831 1391831 1391392 0 -1 4194304 59975 0 0 0 155147 581 0 0 20 0 1 0 316868259 393211904 77204 18446744073709551615 4194304 11382409 140721377135616 0 0 0 0 0 8405026 0 0 0 17 17 0 0 0 0 0 12505888 12515512 40140800 140721377138558 140721377139104 140721377139104 140721377144810 0
/proc/1391833/statm: 95999 77361 3080 1755 0 83834 0
Current children cumulated CPU time: 1557.28 s
Current children cumulated vsize: 388188 KiB
Current children cumulated memory: 312564 KiB
Child status: 0
Real time (s): 1571.25
CPU time (s): 1557.34
CPU user time (s): 1551.51
CPU system time (s): 5.82716
CPU usage (%): 99.1151
Max. virtual memory (cumulated for all children) (KiB): 388188
Max. memory (cumulated for all children) (KiB): 312564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1551.51
system time used= 5.82716
maximum resident set size= 308816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60211
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= 376936
involuntary context switches= 2111
# summary of solver processes directly reported to runsolver:
# pid: 1391831
# total CPU time (s): 1557.34
# total CPU user time (s): 1551.51
# total CPU system time (s): 5.82716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43949 second user time and 17.5316 second system time
The end
Launcher Data
Begin job on nodeE003 at 2026-07-12 07:56:43
IDJOB=4834441
IDBENCH=163752
IDSOLVER=3669
FILE ID=nodeE003/4834441-1783835803
RUNJOBID= nodeE003-1783835699-1391405
SLURM_JOB_ID= 12744989
Free space on /tmp= 800204 MiB
SOLVER NAME= roundingsat-satsuma-saturation 2026-06-11 (cert)
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallace_spec/normalized-18wallace_spec_greater_tvars.opb
COMMAND LINE= ./run-sat.sh --proof-log=CERTNAME BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4834441-1783835803/watcher-4834441-1783835803 -o /tmp/evaluation-result-4834441-1783835803/solver-4834441-1783835803 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834441-1783835803/vars-4834441-1783835803 --bin-var /tmp/runsolver-exch-nodeE003-1783835699-1391405 --watchdog 3760 --file-size-limit 100000 ./run-sat.sh --proof-log=/tmp/proofs/proof-4834441-1783835803 HOME/instance-4834441-1783835803.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 62000 MiB
NBCORE= 3
MD5SUM BENCH= fc79bbaf241dd13239697afcba12b12e
RANDOM SEED=454317332
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 : 3567.628
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 : 3565.057
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 : 3567.389
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 : 3567.196
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 : 3580.949
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 : 3582.591
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 : 3582.004
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 : 3582.614
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 : 3597.396
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 : 3596.638
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 : 3593.821
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 : 3596.877
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 : 3587.382
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 : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 97
cpu cores : 32
apicid : 97
initial apicid : 97
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 3585.970
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 : 3591.594
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 : 3595.634
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 : 3602.279
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 : 3602.585
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 : 3607.974
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 : 2493.659
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 : 3567.599
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 : 2493.659
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 : 3582.829
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 : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 17
cpu cores : 32
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 2493.659
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 : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 81
cpu cores : 32
apicid : 81
initial apicid : 81
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 3584.255
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 : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 83
cpu cores : 32
apicid : 83
initial apicid : 83
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 0
cpu cores : 32
apicid : 128
initial apicid : 128
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 3579.404
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 : 3574.971
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 : 2493.659
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.505
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 : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 65
cpu cores : 32
apicid : 193
initial apicid : 193
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 3579.621
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 : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 32
cpu cores : 32
apicid : 160
initial apicid : 160
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 3568.606
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 : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 34
cpu cores : 32
apicid : 162
initial apicid : 162
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 2493.659
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 : 2493.659
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 : 3589.772
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 : 2493.659
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 : 3587.471
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 : 3573.300
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 : 2493.659
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 : 2493.659
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 : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 51
cpu cores : 32
apicid : 179
initial apicid : 179
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 3599.130
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 : 2493.659
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 : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 114
cpu cores : 32
apicid : 242
initial apicid : 242
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 3601.078
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 : 2493.659
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 : 3549.435
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 : 3568.196
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 : 3573.552
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 : 2493.659
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 : 3592.633
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 : 2493.659
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 : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 83
cpu cores : 32
apicid : 211
initial apicid : 211
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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: 844123860 kB
MemAvailable: 1039873728 kB
Buffers: 1376 kB
Cached: 199297588 kB
SwapCached: 328 kB
Active: 14277764 kB
Inactive: 189632916 kB
Active(anon): 5014280 kB
Inactive(anon): 228572 kB
Active(file): 9263484 kB
Inactive(file): 189404344 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33554428 kB
SwapFree: 33240060 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 111456 kB
Writeback: 4 kB
AnonPages: 4613732 kB
Mapped: 226836 kB
Shmem: 630564 kB
KReclaimable: 3325880 kB
Slab: 3942084 kB
SReclaimable: 3325880 kB
SUnreclaim: 616204 kB
KernelStack: 15328 kB
PageTables: 15680 kB
SecPageTables: 15352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 561214784 kB
Committed_AS: 198782828 kB
VmallocTotal: 13743895347199 kB
VmallocUsed: 478528 kB
VmallocChunk: 0 kB
Percpu: 124928 kB
HardwareCorrupted: 52 kB
AnonHugePages: 2398208 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= 800248 MiB
End job on nodeE003 at 2026-07-12 08:22:55