Trace number 4834444
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/
inequalities/OPB/ineq6/normalized-18array_alg_ineq6.opb |
| MD5SUM | 10a33d0b45cb850c7bf136c4b0667499 |
| 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.016825 |
| 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 | 792 |
| Total number of constraints | 2019 |
| Number of constraints which are clauses | 1998 |
| Number of constraints which are cardinality constraints (but not clauses) | 18 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3 |
| 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.07 c RoundingSat 2
0.00/0.07 c branch pb26-symm
0.00/0.07 c commit 801ab82
0.00/0.09 c
0.00/0.09 c make graph and approximate orbits
0.00/0.09 c [group: #orbits ~= 2] (0.65571ms)
0.00/0.09 c
0.00/0.09 c detect special group actions
0.00/0.09 c probe for Johnson action (limit=64)
0.00/0.09 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.09 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.09 c found row 189x2
0.00/0.09 c (0.185942ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 5278 #edges 13964]
0.00/0.09 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 1*10^0 #gens 188] (0.236271ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.005317ms)
0.00/0.09 c
0.00/0.09 c apply negation fixing (schreier: true, gens: 188)
0.00/0.09 c fixed 0 literals
0.00/0.09 c (0.278878ms)
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 0 #add_vars 0]
0.00/0.09 c
0.00/0.09 c make graph and approximate orbits
0.00/0.09 c [group: #orbits ~= 2] (0.510773ms)
0.00/0.09 c
0.00/0.09 c detect special group actions
0.00/0.09 c probe for Johnson action (limit=64)
0.00/0.09 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.09 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.09 c found row 189x2
0.00/0.09 c (0.11762ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 5278 #edges 13964]
0.00/0.09 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 1*10^0 #gens 0] (0.211688ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 0 #add_vars 0]
0.00/0.10 c UNIT CLEANUP
0.00/0.10 c #variables 792 #constraints 1384
0.00/0.10 c rational objective 18
0.99/1.17 c #Conflicts: 1000 | #Constraints: 2385
1.52/1.76 c #Conflicts: 2000 | #Constraints: 3385
1.52/1.76 c DATABASE CLEANUP
1.52/1.76 c GARBAGE COLLECT
1.52/1.76 c rational objective 21.1111
2.84/3.13 c #Conflicts: 3000 | #Constraints: 3168
3.53/3.97 c #Conflicts: 4000 | #Constraints: 4168
4.91/5.41 c DATABASE CLEANUP
4.91/5.41 c GARBAGE COLLECT
4.91/5.41 c #Conflicts: 5000 | #Constraints: 3580
5.87/6.51 c #Conflicts: 6000 | #Constraints: 4586
6.55/7.30 c DATABASE CLEANUP
6.55/7.30 c GARBAGE COLLECT
6.55/7.30 c rational objective 38
7.40/8.23 c #Conflicts: 7000 | #Constraints: 3586
8.22/9.13 c #Conflicts: 8000 | #Constraints: 4589
9.52/10.53 c #Conflicts: 9000 | #Constraints: 5589
9.80/10.82 c DATABASE CLEANUP
9.80/10.82 c GARBAGE COLLECT
9.80/10.82 c rational objective 38.0001
11.23/12.32 c #Conflicts: 10000 | #Constraints: 4289
12.24/13.44 c #Conflicts: 11000 | #Constraints: 5292
13.77/15.03 c #Conflicts: 12000 | #Constraints: 6292
15.28/16.63 c DATABASE CLEANUP
15.28/16.63 c GARBAGE COLLECT
15.28/16.63 c #Conflicts: 13000 | #Constraints: 4740
16.50/17.98 c #Conflicts: 14000 | #Constraints: 5740
17.56/19.04 c #Conflicts: 15000 | #Constraints: 6740
19.00/20.54 c DATABASE CLEANUP
19.00/20.54 c GARBAGE COLLECT
19.00/20.54 c #Conflicts: 16000 | #Constraints: 4962
20.02/21.63 c #Conflicts: 17000 | #Constraints: 5966
21.15/22.89 c #Conflicts: 18000 | #Constraints: 6967
21.54/23.22 c DATABASE CLEANUP
21.54/23.22 c GARBAGE COLLECT
21.54/23.22 c rational objective 38.0011
23.26/25.10 c #Conflicts: 19000 | #Constraints: 4979
24.38/26.21 c #Conflicts: 20000 | #Constraints: 5979
25.72/27.61 c #Conflicts: 21000 | #Constraints: 6981
27.57/29.58 c DATABASE CLEANUP
27.57/29.58 c GARBAGE COLLECT
27.57/29.58 c #Conflicts: 22000 | #Constraints: 4790
28.71/30.76 c #Conflicts: 23000 | #Constraints: 5790
29.96/32.09 c #Conflicts: 24000 | #Constraints: 6791
31.49/33.69 c #Conflicts: 25000 | #Constraints: 7791
33.41/35.60 c DATABASE CLEANUP
33.41/35.60 c GARBAGE COLLECT
33.41/35.60 c #Conflicts: 26000 | #Constraints: 5390
34.81/37.15 c #Conflicts: 27000 | #Constraints: 6390
36.74/39.15 c #Conflicts: 28000 | #Constraints: 7390
38.45/40.97 c #Conflicts: 29000 | #Constraints: 8390
40.38/42.97 c DATABASE CLEANUP
40.38/42.97 c GARBAGE COLLECT
40.38/42.97 c #Conflicts: 30000 | #Constraints: 5794
41.90/44.59 c #Conflicts: 31000 | #Constraints: 6794
43.36/46.07 c #Conflicts: 32000 | #Constraints: 7798
44.97/47.74 c #Conflicts: 33000 | #Constraints: 8798
46.84/49.64 c DATABASE CLEANUP
46.84/49.64 c GARBAGE COLLECT
46.84/49.64 c #Conflicts: 34000 | #Constraints: 5997
48.09/50.96 c #Conflicts: 35000 | #Constraints: 6997
50.15/53.11 c #Conflicts: 36000 | #Constraints: 7999
52.17/55.28 c #Conflicts: 37000 | #Constraints: 8999
54.13/57.29 c DATABASE CLEANUP
54.13/57.29 c GARBAGE COLLECT
54.13/57.29 c #Conflicts: 38000 | #Constraints: 5997
56.07/59.22 c #Conflicts: 39000 | #Constraints: 7001
58.38/61.65 c #Conflicts: 40000 | #Constraints: 8001
61.26/64.67 c #Conflicts: 41000 | #Constraints: 9001
63.99/67.45 c DATABASE CLEANUP
63.99/67.45 c GARBAGE COLLECT
63.99/67.45 c #Conflicts: 42000 | #Constraints: 5808
65.74/69.25 c #Conflicts: 43000 | #Constraints: 6809
67.59/71.16 c #Conflicts: 44000 | #Constraints: 7810
69.46/73.08 c #Conflicts: 45000 | #Constraints: 8810
71.80/75.42 c #Conflicts: 46000 | #Constraints: 9810
73.77/77.43 c DATABASE CLEANUP
73.77/77.43 c GARBAGE COLLECT
73.77/77.43 c #Conflicts: 47000 | #Constraints: 6409
75.33/79.09 c #Conflicts: 48000 | #Constraints: 7409
77.37/81.12 c #Conflicts: 49000 | #Constraints: 8410
79.61/83.46 c #Conflicts: 50000 | #Constraints: 9411
81.97/85.88 c #Conflicts: 51000 | #Constraints: 10412
84.63/88.58 c DATABASE CLEANUP
84.63/88.58 c GARBAGE COLLECT
84.63/88.58 c #Conflicts: 52000 | #Constraints: 6809
86.88/90.85 c #Conflicts: 53000 | #Constraints: 7811
88.95/92.92 c #Conflicts: 54000 | #Constraints: 8811
91.70/95.70 c #Conflicts: 55000 | #Constraints: 9811
93.47/97.57 c #Conflicts: 56000 | #Constraints: 10812
95.95/100.09 c DATABASE CLEANUP
95.95/100.09 c GARBAGE COLLECT
95.95/100.09 c #Conflicts: 57000 | #Constraints: 7009
98.01/102.18 c #Conflicts: 58000 | #Constraints: 8009
100.56/104.80 c #Conflicts: 59000 | #Constraints: 9009
103.41/107.69 c #Conflicts: 60000 | #Constraints: 10009
106.17/110.40 c #Conflicts: 61000 | #Constraints: 11011
108.63/112.95 c DATABASE CLEANUP
108.63/112.95 c GARBAGE COLLECT
108.63/112.95 c #Conflicts: 62000 | #Constraints: 7008
110.69/115.08 c #Conflicts: 63000 | #Constraints: 8008
112.93/117.31 c #Conflicts: 64000 | #Constraints: 9009
115.59/120.08 c #Conflicts: 65000 | #Constraints: 10009
118.42/122.92 c #Conflicts: 66000 | #Constraints: 11009
121.97/126.53 c DATABASE CLEANUP
121.97/126.53 c GARBAGE COLLECT
121.97/126.53 c #Conflicts: 67000 | #Constraints: 6803
123.91/128.56 c #Conflicts: 68000 | #Constraints: 7804
126.27/130.98 c #Conflicts: 69000 | #Constraints: 8804
128.34/133.03 c #Conflicts: 70000 | #Constraints: 9806
131.06/135.89 c #Conflicts: 71000 | #Constraints: 10810
133.69/138.59 c #Conflicts: 72000 | #Constraints: 11810
136.57/141.51 c DATABASE CLEANUP
136.57/141.51 c GARBAGE COLLECT
136.57/141.51 c #Conflicts: 73000 | #Constraints: 7411
138.69/143.72 c #Conflicts: 74000 | #Constraints: 8412
141.06/146.25 c #Conflicts: 75000 | #Constraints: 9413
143.87/149.18 c #Conflicts: 76000 | #Constraints: 10413
146.67/152.04 c #Conflicts: 77000 | #Constraints: 11414
149.57/155.07 c #Conflicts: 78000 | #Constraints: 12416
152.78/158.45 c DATABASE CLEANUP
152.78/158.45 c GARBAGE COLLECT
152.78/158.45 c #Conflicts: 79000 | #Constraints: 7810
155.30/161.10 c #Conflicts: 80000 | #Constraints: 8813
158.02/163.89 c #Conflicts: 81000 | #Constraints: 9813
160.67/166.53 c #Conflicts: 82000 | #Constraints: 10813
164.11/170.07 c #Conflicts: 83000 | #Constraints: 11813
167.54/173.58 c #Conflicts: 84000 | #Constraints: 12813
170.19/176.22 c DATABASE CLEANUP
170.19/176.22 c GARBAGE COLLECT
170.19/176.22 c #Conflicts: 85000 | #Constraints: 8009
172.15/178.22 c #Conflicts: 86000 | #Constraints: 9010
174.42/180.58 c #Conflicts: 87000 | #Constraints: 10012
177.26/183.47 c #Conflicts: 88000 | #Constraints: 11012
180.01/186.25 c #Conflicts: 89000 | #Constraints: 12015
183.66/189.99 c #Conflicts: 90000 | #Constraints: 13017
186.82/193.14 c DATABASE CLEANUP
186.82/193.14 c GARBAGE COLLECT
186.82/193.14 c #Conflicts: 91000 | #Constraints: 8006
188.29/194.66 c #Conflicts: 92000 | #Constraints: 9006
190.75/197.14 c #Conflicts: 93000 | #Constraints: 10006
193.98/200.40 c #Conflicts: 94000 | #Constraints: 11006
196.83/203.30 c #Conflicts: 95000 | #Constraints: 12007
199.99/206.59 c #Conflicts: 96000 | #Constraints: 13009
202.15/208.79 c DATABASE CLEANUP
202.15/208.79 c GARBAGE COLLECT
202.15/208.79 c #Conflicts: 97000 | #Constraints: 7801
204.01/210.61 c #Conflicts: 98000 | #Constraints: 8802
206.17/212.85 c #Conflicts: 99000 | #Constraints: 9809
208.53/215.29 c #Conflicts: 100000 | #Constraints: 10812
211.09/217.85 c #Conflicts: 101000 | #Constraints: 11813
213.45/220.27 c #Conflicts: 102000 | #Constraints: 12816
218.00/224.83 c #Conflicts: 103000 | #Constraints: 13819
220.95/227.82 c DATABASE CLEANUP
220.95/227.82 c GARBAGE COLLECT
220.95/227.82 c #Conflicts: 104000 | #Constraints: 8408
222.62/229.57 c #Conflicts: 105000 | #Constraints: 9410
224.59/231.58 c #Conflicts: 106000 | #Constraints: 10411
227.64/234.65 c #Conflicts: 107000 | #Constraints: 11411
230.59/237.60 c #Conflicts: 108000 | #Constraints: 12411
233.07/240.19 c #Conflicts: 109000 | #Constraints: 13411
235.71/242.88 c #Conflicts: 110000 | #Constraints: 14411
235.81/242.90 c DATABASE CLEANUP
235.81/242.90 c GARBAGE COLLECT
235.81/242.90 c rational objective 38.0022
238.36/245.55 c #Conflicts: 111000 | #Constraints: 8801
240.53/247.71 c #Conflicts: 112000 | #Constraints: 9802
243.67/250.94 c #Conflicts: 113000 | #Constraints: 10802
246.53/253.83 c #Conflicts: 114000 | #Constraints: 11803
250.68/258.11 c #Conflicts: 115000 | #Constraints: 12803
255.20/262.66 c #Conflicts: 116000 | #Constraints: 13803
259.06/266.57 c #Conflicts: 117000 | #Constraints: 14804
261.92/269.41 c DATABASE CLEANUP
261.92/269.41 c GARBAGE COLLECT
261.92/269.41 c #Conflicts: 118000 | #Constraints: 9004
264.28/271.83 c #Conflicts: 119000 | #Constraints: 10004
266.73/274.36 c #Conflicts: 120000 | #Constraints: 11004
269.09/276.79 c #Conflicts: 121000 | #Constraints: 12010
272.24/279.99 c #Conflicts: 122000 | #Constraints: 13010
276.78/284.51 c #Conflicts: 123000 | #Constraints: 14010
279.93/287.73 c #Conflicts: 124000 | #Constraints: 15010
283.88/291.73 c DATABASE CLEANUP
283.88/291.73 c GARBAGE COLLECT
283.88/291.73 c #Conflicts: 125000 | #Constraints: 9003
286.41/294.32 c #Conflicts: 126000 | #Constraints: 10004
289.28/297.28 c #Conflicts: 127000 | #Constraints: 11006
292.92/300.95 c #Conflicts: 128000 | #Constraints: 12006
296.46/304.58 c #Conflicts: 129000 | #Constraints: 13006
299.71/307.86 c #Conflicts: 130000 | #Constraints: 14006
304.86/313.08 c #Conflicts: 131000 | #Constraints: 15006
308.81/317.08 c DATABASE CLEANUP
308.81/317.08 c GARBAGE COLLECT
308.81/317.08 c #Conflicts: 132000 | #Constraints: 8804
311.76/320.03 c #Conflicts: 133000 | #Constraints: 9805
314.71/323.06 c #Conflicts: 134000 | #Constraints: 10805
318.05/326.40 c #Conflicts: 135000 | #Constraints: 11805
320.51/328.91 c #Conflicts: 136000 | #Constraints: 12805
325.56/334.05 c #Conflicts: 137000 | #Constraints: 13805
329.90/338.42 c #Conflicts: 138000 | #Constraints: 14805
334.14/342.73 c #Conflicts: 139000 | #Constraints: 15805
338.08/346.74 c DATABASE CLEANUP
338.08/346.74 c GARBAGE COLLECT
338.08/346.74 c #Conflicts: 140000 | #Constraints: 9409
342.31/351.02 c #Conflicts: 141000 | #Constraints: 10409
345.15/353.95 c #Conflicts: 142000 | #Constraints: 11409
347.71/356.55 c #Conflicts: 143000 | #Constraints: 12409
350.76/359.63 c #Conflicts: 144000 | #Constraints: 13409
353.72/362.60 c #Conflicts: 145000 | #Constraints: 14409
359.34/368.36 c #Conflicts: 146000 | #Constraints: 15409
364.09/373.15 c #Conflicts: 147000 | #Constraints: 16409
368.11/377.27 c DATABASE CLEANUP
368.11/377.27 c GARBAGE COLLECT
368.11/377.27 c #Conflicts: 148000 | #Constraints: 9818
370.87/380.06 c #Conflicts: 149000 | #Constraints: 10819
374.11/383.35 c #Conflicts: 150000 | #Constraints: 11819
377.77/387.06 c #Conflicts: 151000 | #Constraints: 12819
381.31/390.65 c #Conflicts: 152000 | #Constraints: 13819
385.46/394.87 c #Conflicts: 153000 | #Constraints: 14820
390.78/400.26 c #Conflicts: 154000 | #Constraints: 15820
394.64/404.14 c #Conflicts: 155000 | #Constraints: 16820
398.19/407.74 c DATABASE CLEANUP
398.19/407.74 c GARBAGE COLLECT
398.19/407.74 c #Conflicts: 156000 | #Constraints: 10019
400.64/410.28 c #Conflicts: 157000 | #Constraints: 11019
404.29/413.90 c #Conflicts: 158000 | #Constraints: 12019
407.93/417.68 c #Conflicts: 159000 | #Constraints: 13019
412.39/422.12 c #Conflicts: 160000 | #Constraints: 14020
415.73/425.51 c #Conflicts: 161000 | #Constraints: 15020
420.19/430.03 c #Conflicts: 162000 | #Constraints: 16020
423.05/432.93 c #Conflicts: 163000 | #Constraints: 17020
426.30/436.27 c DATABASE CLEANUP
426.30/436.27 c GARBAGE COLLECT
426.30/436.27 c #Conflicts: 164000 | #Constraints: 10011
430.33/440.32 c #Conflicts: 165000 | #Constraints: 11011
432.50/442.57 c #Conflicts: 166000 | #Constraints: 12012
434.78/444.88 c #Conflicts: 167000 | #Constraints: 13014
438.52/448.60 c #Conflicts: 168000 | #Constraints: 14014
444.14/454.34 c #Conflicts: 169000 | #Constraints: 15015
449.38/459.69 c #Conflicts: 170000 | #Constraints: 16015
454.12/464.42 c #Conflicts: 171000 | #Constraints: 17015
459.16/469.56 c UNIT CLEANUP
459.16/469.56 c DATABASE CLEANUP
459.16/469.56 c GARBAGE COLLECT
459.16/469.56 c #Conflicts: 172000 | #Constraints: 9804
462.80/473.20 c #Conflicts: 173000 | #Constraints: 10808
466.73/477.22 c #Conflicts: 174000 | #Constraints: 11808
470.39/480.93 c #Conflicts: 175000 | #Constraints: 12808
473.93/484.55 c #Conflicts: 176000 | #Constraints: 13808
477.40/488.08 c #Conflicts: 177000 | #Constraints: 14808
482.52/493.26 c #Conflicts: 178000 | #Constraints: 15809
486.87/497.61 c #Conflicts: 179000 | #Constraints: 16809
491.81/502.68 c #Conflicts: 180000 | #Constraints: 17809
494.96/505.87 c DATABASE CLEANUP
494.96/505.87 c GARBAGE COLLECT
494.96/505.87 c #Conflicts: 181000 | #Constraints: 10406
497.91/508.81 c #Conflicts: 182000 | #Constraints: 11406
501.17/512.12 c #Conflicts: 183000 | #Constraints: 12407
505.40/516.47 c #Conflicts: 184000 | #Constraints: 13407
508.75/519.83 c #Conflicts: 185000 | #Constraints: 14407
511.93/523.03 c #Conflicts: 186000 | #Constraints: 15407
515.58/526.77 c #Conflicts: 187000 | #Constraints: 16407
519.62/530.89 c #Conflicts: 188000 | #Constraints: 17407
523.97/535.29 c #Conflicts: 189000 | #Constraints: 18408
527.33/538.68 c DATABASE CLEANUP
527.33/538.68 c GARBAGE COLLECT
527.33/538.68 c #Conflicts: 190000 | #Constraints: 10807
530.39/541.74 c #Conflicts: 191000 | #Constraints: 11808
533.76/545.14 c #Conflicts: 192000 | #Constraints: 12809
538.38/549.84 c #Conflicts: 193000 | #Constraints: 13809
542.42/553.91 c #Conflicts: 194000 | #Constraints: 14809
547.48/559.05 c #Conflicts: 195000 | #Constraints: 15809
552.31/563.96 c #Conflicts: 196000 | #Constraints: 16809
556.96/568.68 c #Conflicts: 197000 | #Constraints: 17812
561.72/573.46 c #Conflicts: 198000 | #Constraints: 18812
564.87/576.68 c DATABASE CLEANUP
564.87/576.68 c GARBAGE COLLECT
564.87/576.68 c #Conflicts: 199000 | #Constraints: 11015
567.83/579.62 c #Conflicts: 200000 | #Constraints: 12016
571.08/582.97 c #Conflicts: 201000 | #Constraints: 13017
574.74/586.65 c #Conflicts: 202000 | #Constraints: 14017
577.89/589.84 c #Conflicts: 203000 | #Constraints: 15023
581.75/593.73 c #Conflicts: 204000 | #Constraints: 16023
585.70/597.76 c #Conflicts: 205000 | #Constraints: 17023
591.74/603.84 c #Conflicts: 206000 | #Constraints: 18023
597.89/610.10 c #Conflicts: 207000 | #Constraints: 19026
601.44/613.64 c DATABASE CLEANUP
601.44/613.64 c GARBAGE COLLECT
601.44/613.64 c #Conflicts: 208000 | #Constraints: 11018
604.49/616.74 c #Conflicts: 209000 | #Constraints: 12019
607.15/619.46 c #Conflicts: 210000 | #Constraints: 13021
610.31/622.64 c #Conflicts: 211000 | #Constraints: 14021
613.28/625.68 c #Conflicts: 212000 | #Constraints: 15021
617.64/630.04 c #Conflicts: 213000 | #Constraints: 16022
622.59/635.03 c #Conflicts: 214000 | #Constraints: 17023
626.83/639.34 c #Conflicts: 215000 | #Constraints: 18023
631.39/643.93 c #Conflicts: 216000 | #Constraints: 19025
635.55/648.16 c DATABASE CLEANUP
635.55/648.16 c GARBAGE COLLECT
635.55/648.16 c #Conflicts: 217000 | #Constraints: 10818
637.43/650.04 c #Conflicts: 218000 | #Constraints: 11818
639.88/652.59 c #Conflicts: 219000 | #Constraints: 12818
642.63/655.37 c #Conflicts: 220000 | #Constraints: 13827
645.79/658.59 c #Conflicts: 221000 | #Constraints: 14842
649.64/662.41 c #Conflicts: 222000 | #Constraints: 15844
653.58/666.45 c #Conflicts: 223000 | #Constraints: 16844
657.34/670.28 c #Conflicts: 224000 | #Constraints: 17847
662.39/675.32 c #Conflicts: 225000 | #Constraints: 18848
668.92/681.93 c #Conflicts: 226000 | #Constraints: 19848
672.78/685.88 c DATABASE CLEANUP
672.78/685.88 c GARBAGE COLLECT
672.78/685.88 c #Conflicts: 227000 | #Constraints: 11425
676.33/689.41 c #Conflicts: 228000 | #Constraints: 12425
679.20/692.37 c #Conflicts: 229000 | #Constraints: 13425
682.36/695.57 c #Conflicts: 230000 | #Constraints: 14425
686.02/699.20 c #Conflicts: 231000 | #Constraints: 15425
691.36/704.69 c #Conflicts: 232000 | #Constraints: 16426
697.89/711.25 c #Conflicts: 233000 | #Constraints: 17426
702.94/716.34 c #Conflicts: 234000 | #Constraints: 18426
708.78/722.24 c #Conflicts: 235000 | #Constraints: 19426
714.13/727.68 c #Conflicts: 236000 | #Constraints: 20426
717.78/731.32 c DATABASE CLEANUP
717.78/731.32 c GARBAGE COLLECT
717.78/731.32 c #Conflicts: 237000 | #Constraints: 11824
721.04/734.61 c #Conflicts: 238000 | #Constraints: 12824
724.70/738.32 c #Conflicts: 239000 | #Constraints: 13824
730.44/744.19 c #Conflicts: 240000 | #Constraints: 14824
734.48/748.27 c #Conflicts: 241000 | #Constraints: 15824
738.43/752.21 c #Conflicts: 242000 | #Constraints: 16824
743.28/757.11 c #Conflicts: 243000 | #Constraints: 17826
748.91/762.86 c #Conflicts: 244000 | #Constraints: 18827
754.75/768.74 c #Conflicts: 245000 | #Constraints: 19827
759.80/773.82 c #Conflicts: 246000 | #Constraints: 20827
763.84/777.96 c DATABASE CLEANUP
763.84/777.96 c GARBAGE COLLECT
763.84/777.96 c #Conflicts: 247000 | #Constraints: 12026
769.47/783.60 c #Conflicts: 248000 | #Constraints: 13026
774.99/789.20 c #Conflicts: 249000 | #Constraints: 14026
782.11/796.47 c #Conflicts: 250000 | #Constraints: 15026
787.14/801.53 c #Conflicts: 251000 | #Constraints: 16026
792.38/806.87 c #Conflicts: 252000 | #Constraints: 17026
797.91/812.40 c #Conflicts: 253000 | #Constraints: 18026
802.07/816.64 c #Conflicts: 254000 | #Constraints: 19026
807.02/821.66 c #Conflicts: 255000 | #Constraints: 20026
813.55/828.28 c #Conflicts: 256000 | #Constraints: 21026
817.59/832.37 c DATABASE CLEANUP
817.59/832.37 c GARBAGE COLLECT
817.59/832.37 c #Conflicts: 257000 | #Constraints: 12029
821.26/836.02 c #Conflicts: 258000 | #Constraints: 13029
825.79/840.62 c #Conflicts: 259000 | #Constraints: 14029
830.02/844.98 c #Conflicts: 260000 | #Constraints: 15029
834.20/849.18 c #Conflicts: 261000 | #Constraints: 16029
838.82/853.84 c #Conflicts: 262000 | #Constraints: 17030
843.77/858.87 c #Conflicts: 263000 | #Constraints: 18030
850.10/865.26 c #Conflicts: 264000 | #Constraints: 19030
855.24/870.49 c #Conflicts: 265000 | #Constraints: 20031
860.69/875.97 c #Conflicts: 266000 | #Constraints: 21031
865.14/880.48 c DATABASE CLEANUP
865.14/880.48 c GARBAGE COLLECT
865.14/880.48 c #Conflicts: 267000 | #Constraints: 11815
868.59/883.98 c #Conflicts: 268000 | #Constraints: 12815
872.64/888.09 c #Conflicts: 269000 | #Constraints: 13815
875.79/891.28 c #Conflicts: 270000 | #Constraints: 14815
879.14/894.67 c #Conflicts: 271000 | #Constraints: 15817
884.28/899.80 c #Conflicts: 272000 | #Constraints: 16818
889.23/904.82 c #Conflicts: 273000 | #Constraints: 17818
893.40/909.04 c #Conflicts: 274000 | #Constraints: 18818
898.13/913.88 c #Conflicts: 275000 | #Constraints: 19818
903.98/919.79 c #Conflicts: 276000 | #Constraints: 20820
908.63/924.45 c #Conflicts: 277000 | #Constraints: 21821
912.59/928.41 c UNIT CLEANUP
912.59/928.41 c DATABASE CLEANUP
912.59/928.41 c GARBAGE COLLECT
912.59/928.41 c #Conflicts: 278000 | #Constraints: 12421
916.33/932.29 c #Conflicts: 279000 | #Constraints: 13421
920.48/936.43 c #Conflicts: 280000 | #Constraints: 14421
924.33/940.35 c #Conflicts: 281000 | #Constraints: 15421
928.58/944.65 c #Conflicts: 282000 | #Constraints: 16421
933.63/949.76 c #Conflicts: 283000 | #Constraints: 17421
939.07/955.24 c #Conflicts: 284000 | #Constraints: 18421
944.72/960.91 c #Conflicts: 285000 | #Constraints: 19422
950.65/966.94 c #Conflicts: 286000 | #Constraints: 20422
956.00/972.33 c #Conflicts: 287000 | #Constraints: 21422
962.84/979.26 c #Conflicts: 288000 | #Constraints: 22422
966.89/983.36 c UNIT CLEANUP
966.89/983.36 c DATABASE CLEANUP
966.89/983.36 c GARBAGE COLLECT
966.89/983.36 c #Conflicts: 289000 | #Constraints: 12810
970.45/986.92 c #Conflicts: 290000 | #Constraints: 13810
973.90/990.48 c #Conflicts: 291000 | #Constraints: 14810
977.37/994.01 c #Conflicts: 292000 | #Constraints: 15813
981.61/998.21 c #Conflicts: 293000 | #Constraints: 16813
985.96/1002.63 c #Conflicts: 294000 | #Constraints: 17815
990.62/1007.34 c #Conflicts: 295000 | #Constraints: 18817
996.95/1013.73 c #Conflicts: 296000 | #Constraints: 19817
1003.31/1020.13 c #Conflicts: 297000 | #Constraints: 20818
1010.62/1027.59 c #Conflicts: 298000 | #Constraints: 21819
1017.96/1035.01 c #Conflicts: 299000 | #Constraints: 22819
1021.91/1038.94 c DATABASE CLEANUP
1021.91/1038.94 c GARBAGE COLLECT
1021.91/1038.94 c #Conflicts: 300000 | #Constraints: 13013
1027.73/1044.86 c #Conflicts: 301000 | #Constraints: 14013
1032.48/1049.66 c #Conflicts: 302000 | #Constraints: 15014
1036.93/1054.12 c #Conflicts: 303000 | #Constraints: 16015
1042.87/1060.18 c #Conflicts: 304000 | #Constraints: 17015
1049.19/1066.50 c #Conflicts: 305000 | #Constraints: 18015
1053.84/1071.21 c #Conflicts: 306000 | #Constraints: 19015
1060.68/1078.15 c #Conflicts: 307000 | #Constraints: 20016
1066.40/1083.93 c #Conflicts: 308000 | #Constraints: 21016
1071.56/1089.17 c #Conflicts: 309000 | #Constraints: 22020
1080.56/1098.22 c #Conflicts: 310000 | #Constraints: 23021
1085.60/1103.37 c DATABASE CLEANUP
1085.60/1103.37 c GARBAGE COLLECT
1085.60/1103.37 c #Conflicts: 311000 | #Constraints: 13015
1091.12/1108.97 c #Conflicts: 312000 | #Constraints: 14016
1095.77/1113.62 c #Conflicts: 313000 | #Constraints: 15016
1100.80/1118.77 c #Conflicts: 314000 | #Constraints: 16017
1106.74/1124.71 c #Conflicts: 315000 | #Constraints: 17018
1111.48/1129.50 c #Conflicts: 316000 | #Constraints: 18018
1115.44/1133.56 c #Conflicts: 317000 | #Constraints: 19018
1119.70/1137.84 c #Conflicts: 318000 | #Constraints: 20018
1124.06/1142.20 c #Conflicts: 319000 | #Constraints: 21020
1129.69/1147.95 c #Conflicts: 320000 | #Constraints: 22020
1139.01/1157.35 c #Conflicts: 321000 | #Constraints: 23020
1145.65/1164.02 c DATABASE CLEANUP
1145.65/1164.02 c GARBAGE COLLECT
1145.65/1164.02 c #Conflicts: 322000 | #Constraints: 12814
1149.29/1167.74 c #Conflicts: 323000 | #Constraints: 13815
1152.75/1171.22 c #Conflicts: 324000 | #Constraints: 14820
1158.38/1176.90 c #Conflicts: 325000 | #Constraints: 15820
1163.23/1181.80 c #Conflicts: 326000 | #Constraints: 16820
1167.40/1186.05 c #Conflicts: 327000 | #Constraints: 17820
1171.54/1190.22 c #Conflicts: 328000 | #Constraints: 18821
1175.70/1194.40 c #Conflicts: 329000 | #Constraints: 19821
1179.65/1198.40 c #Conflicts: 330000 | #Constraints: 20821
1184.79/1203.61 c #Conflicts: 331000 | #Constraints: 21821
1190.26/1209.13 c #Conflicts: 332000 | #Constraints: 22821
1196.59/1215.53 c #Conflicts: 333000 | #Constraints: 23822
1201.83/1220.81 c DATABASE CLEANUP
1201.83/1220.81 c GARBAGE COLLECT
1201.83/1220.81 c #Conflicts: 334000 | #Constraints: 13418
1206.16/1225.26 c #Conflicts: 335000 | #Constraints: 14420
1209.62/1228.74 c #Conflicts: 336000 | #Constraints: 15420
1214.87/1234.08 c #Conflicts: 337000 | #Constraints: 16420
1220.98/1240.21 c #Conflicts: 338000 | #Constraints: 17421
1226.41/1245.75 c #Conflicts: 339000 | #Constraints: 18422
1231.16/1250.53 c #Conflicts: 340000 | #Constraints: 19422
1237.71/1257.18 c #Conflicts: 341000 | #Constraints: 20424
1244.24/1263.73 c #Conflicts: 342000 | #Constraints: 21424
1250.37/1270.00 c #Conflicts: 343000 | #Constraints: 22424
1258.99/1278.67 c #Conflicts: 344000 | #Constraints: 23426
1266.62/1286.34 c #Conflicts: 345000 | #Constraints: 24426
1271.28/1291.06 c DATABASE CLEANUP
1271.28/1291.06 c GARBAGE COLLECT
1271.28/1291.06 c #Conflicts: 346000 | #Constraints: 13820
1277.00/1296.80 c #Conflicts: 347000 | #Constraints: 14820
1283.61/1303.51 c #Conflicts: 348000 | #Constraints: 15820
1288.36/1308.39 c #Conflicts: 349000 | #Constraints: 16820
1293.60/1313.69 c #Conflicts: 350000 | #Constraints: 17821
1297.75/1317.80 c #Conflicts: 351000 | #Constraints: 18822
1302.49/1322.68 c #Conflicts: 352000 | #Constraints: 19822
1309.42/1329.61 c #Conflicts: 353000 | #Constraints: 20822
1315.77/1336.07 c #Conflicts: 354000 | #Constraints: 21822
1322.80/1343.12 c #Conflicts: 355000 | #Constraints: 22822
1329.02/1349.43 c #Conflicts: 356000 | #Constraints: 23822
1336.66/1357.13 c #Conflicts: 357000 | #Constraints: 24826
1341.28/1361.81 c DATABASE CLEANUP
1341.28/1361.81 c GARBAGE COLLECT
1341.28/1361.81 c #Conflicts: 358000 | #Constraints: 14024
1346.22/1366.87 c #Conflicts: 359000 | #Constraints: 15025
1350.88/1371.58 c #Conflicts: 360000 | #Constraints: 16026
1355.82/1376.50 c #Conflicts: 361000 | #Constraints: 17026
1360.38/1381.18 c #Conflicts: 362000 | #Constraints: 18026
1365.62/1386.49 c #Conflicts: 363000 | #Constraints: 19026
1370.77/1391.61 c #Conflicts: 364000 | #Constraints: 20026
1377.61/1398.51 c #Conflicts: 365000 | #Constraints: 21028
1384.33/1405.37 c #Conflicts: 366000 | #Constraints: 22031
1392.85/1413.94 c #Conflicts: 367000 | #Constraints: 23031
1400.58/1421.70 c #Conflicts: 368000 | #Constraints: 24031
1408.21/1429.41 c #Conflicts: 369000 | #Constraints: 25031
1413.36/1434.67 c DATABASE CLEANUP
1413.36/1434.67 c GARBAGE COLLECT
1413.36/1434.67 c #Conflicts: 370000 | #Constraints: 14023
1417.51/1438.81 c #Conflicts: 371000 | #Constraints: 15024
1421.36/1442.70 c #Conflicts: 372000 | #Constraints: 16024
1427.30/1448.79 c #Conflicts: 373000 | #Constraints: 17027
1433.34/1454.87 c #Conflicts: 374000 | #Constraints: 18028
1439.18/1460.73 c #Conflicts: 375000 | #Constraints: 19032
1444.72/1466.34 c #Conflicts: 376000 | #Constraints: 20034
1451.16/1472.89 c #Conflicts: 377000 | #Constraints: 21041
1458.40/1480.16 c #Conflicts: 378000 | #Constraints: 22041
1464.13/1485.98 c #Conflicts: 379000 | #Constraints: 23043
1471.67/1493.52 c #Conflicts: 380000 | #Constraints: 24043
1478.61/1500.59 c #Conflicts: 381000 | #Constraints: 25043
1485.44/1507.45 c DATABASE CLEANUP
1485.44/1507.45 c GARBAGE COLLECT
1485.44/1507.45 c #Conflicts: 382000 | #Constraints: 13838
1489.39/1511.41 c #Conflicts: 383000 | #Constraints: 14839
1494.93/1517.09 c #Conflicts: 384000 | #Constraints: 15840
1501.04/1523.29 c #Conflicts: 385000 | #Constraints: 16840
1506.17/1528.45 c #Conflicts: 386000 | #Constraints: 17840
1511.62/1533.91 c #Conflicts: 387000 | #Constraints: 18840
1518.25/1540.69 c #Conflicts: 388000 | #Constraints: 19840
1524.50/1546.94 c #Conflicts: 389000 | #Constraints: 20842
1530.43/1552.98 c #Conflicts: 390000 | #Constraints: 21842
1536.66/1559.25 c #Conflicts: 391000 | #Constraints: 22842
1545.29/1567.96 c #Conflicts: 392000 | #Constraints: 23842
1554.31/1577.09 c #Conflicts: 393000 | #Constraints: 24842
1562.43/1585.25 c #Conflicts: 394000 | #Constraints: 25842
1567.48/1590.32 c DATABASE CLEANUP
1567.48/1590.32 c GARBAGE COLLECT
1567.48/1590.32 c #Conflicts: 395000 | #Constraints: 14433
1572.14/1595.04 c #Conflicts: 396000 | #Constraints: 15433
1576.37/1599.39 c #Conflicts: 397000 | #Constraints: 16433
1582.80/1605.82 c #Conflicts: 398000 | #Constraints: 17433
1588.63/1611.75 c #Conflicts: 399000 | #Constraints: 18434
1595.46/1618.60 c #Conflicts: 400000 | #Constraints: 19434
1602.69/1625.98 c #Conflicts: 401000 | #Constraints: 20434
1610.82/1634.15 c #Conflicts: 402000 | #Constraints: 21434
1617.45/1640.87 c #Conflicts: 403000 | #Constraints: 22435
1625.68/1649.15 c #Conflicts: 404000 | #Constraints: 23435
1637.15/1660.78 c #Conflicts: 405000 | #Constraints: 24435
1646.47/1670.12 c #Conflicts: 406000 | #Constraints: 25435
1654.58/1678.38 c #Conflicts: 407000 | #Constraints: 26435
1659.92/1683.70 c DATABASE CLEANUP
1659.92/1683.70 c GARBAGE COLLECT
1659.92/1683.70 c #Conflicts: 408000 | #Constraints: 14838
1664.07/1687.98 c #Conflicts: 409000 | #Constraints: 15838
1669.02/1693.01 c #Conflicts: 410000 | #Constraints: 16838
1674.85/1698.82 c #Conflicts: 411000 | #Constraints: 17839
1682.47/1706.56 c #Conflicts: 412000 | #Constraints: 18839
1687.32/1711.43 c #Conflicts: 413000 | #Constraints: 19840
1691.67/1715.82 c #Conflicts: 414000 | #Constraints: 20842
1696.03/1720.29 c #Conflicts: 415000 | #Constraints: 21843
1700.79/1725.03 c #Conflicts: 416000 | #Constraints: 22843
1707.92/1732.27 c #Conflicts: 417000 | #Constraints: 23845
1715.15/1739.59 c #Conflicts: 418000 | #Constraints: 24845
1721.09/1745.59 c #Conflicts: 419000 | #Constraints: 25845
1727.23/1751.76 c #Conflicts: 420000 | #Constraints: 26847
1732.60/1757.12 c DATABASE CLEANUP
1732.60/1757.12 c GARBAGE COLLECT
1732.60/1757.12 c #Conflicts: 421000 | #Constraints: 15033
1737.03/1761.66 c #Conflicts: 422000 | #Constraints: 16033
1742.49/1767.18 c #Conflicts: 423000 | #Constraints: 17033
1748.81/1773.53 c #Conflicts: 424000 | #Constraints: 18033
1753.07/1777.89 c #Conflicts: 425000 | #Constraints: 19033
1758.42/1783.24 c #Conflicts: 426000 | #Constraints: 20034
1763.06/1788.00 c #Conflicts: 427000 | #Constraints: 21035
1769.31/1794.25 c #Conflicts: 428000 | #Constraints: 22036
1776.24/1801.22 c #Conflicts: 429000 | #Constraints: 23036
1781.60/1806.63 c #Conflicts: 430000 | #Constraints: 24036
1787.45/1812.59 c #Conflicts: 431000 | #Constraints: 25037
1793.89/1819.01 c #Conflicts: 432000 | #Constraints: 26037
1800.84/1826.07 c #Conflicts: 433000 | #Constraints: 27037
1805.79/1831.02 c DATABASE CLEANUP
1805.79/1831.02 c GARBAGE COLLECT
1805.79/1831.02 c #Conflicts: 434000 | #Constraints: 15027
1810.03/1835.30 c #Conflicts: 435000 | #Constraints: 16027
1815.08/1840.46 c #Conflicts: 436000 | #Constraints: 17027
1822.89/1848.35 c #Conflicts: 437000 | #Constraints: 18028
1827.94/1853.43 c #Conflicts: 438000 | #Constraints: 19029
1834.68/1860.26 c #Conflicts: 439000 | #Constraints: 20030
1844.09/1869.74 c #Conflicts: 440000 | #Constraints: 21032
1851.71/1877.42 c #Conflicts: 441000 | #Constraints: 22032
1860.63/1886.45 c #Conflicts: 442000 | #Constraints: 23032
1868.86/1894.79 c #Conflicts: 443000 | #Constraints: 24032
1878.19/1904.19 c #Conflicts: 444000 | #Constraints: 25032
1887.79/1913.85 c #Conflicts: 445000 | #Constraints: 26032
1895.51/1921.68 c #Conflicts: 446000 | #Constraints: 27032
1904.53/1930.79 c DATABASE CLEANUP
1904.53/1930.79 c GARBAGE COLLECT
1904.53/1930.79 c #Conflicts: 447000 | #Constraints: 14829
1908.59/1934.88 c #Conflicts: 448000 | #Constraints: 15829
1912.86/1939.11 c #Conflicts: 449000 | #Constraints: 16833
1917.49/1943.83 c #Conflicts: 450000 | #Constraints: 17833
1921.76/1948.16 c #Conflicts: 451000 | #Constraints: 18833
1926.79/1953.29 c #Conflicts: 452000 | #Constraints: 19833
1932.64/1959.15 c #Conflicts: 453000 | #Constraints: 20833
1939.26/1965.85 c #Conflicts: 454000 | #Constraints: 21833
1945.89/1972.50 c #Conflicts: 455000 | #Constraints: 22833
1951.84/1978.53 c #Conflicts: 456000 | #Constraints: 23833
1958.96/1985.74 c #Conflicts: 457000 | #Constraints: 24833
1964.51/1991.32 c #Conflicts: 458000 | #Constraints: 25833
1971.55/1998.44 c #Conflicts: 459000 | #Constraints: 26833
1978.50/2005.48 c #Conflicts: 460000 | #Constraints: 27834
1983.16/2010.16 c DATABASE CLEANUP
1983.16/2010.16 c GARBAGE COLLECT
1983.16/2010.16 c #Conflicts: 461000 | #Constraints: 15435
1987.20/2014.24 c #Conflicts: 462000 | #Constraints: 16436
1991.36/2018.48 c #Conflicts: 463000 | #Constraints: 17438
1996.20/2023.31 c #Conflicts: 464000 | #Constraints: 18438
2003.33/2030.54 c #Conflicts: 465000 | #Constraints: 19438
2008.97/2036.24 c #Conflicts: 466000 | #Constraints: 20438
2014.42/2041.76 c #Conflicts: 467000 | #Constraints: 21439
2020.05/2047.43 c #Conflicts: 468000 | #Constraints: 22440
2026.39/2053.90 c #Conflicts: 469000 | #Constraints: 23441
2032.83/2060.32 c #Conflicts: 470000 | #Constraints: 24441
2040.27/2067.89 c #Conflicts: 471000 | #Constraints: 25443
2046.52/2074.14 c #Conflicts: 472000 | #Constraints: 26443
2055.03/2082.71 c #Conflicts: 473000 | #Constraints: 27443
2064.76/2092.51 c #Conflicts: 474000 | #Constraints: 28443
2069.70/2097.55 c DATABASE CLEANUP
2069.70/2097.55 c GARBAGE COLLECT
2069.70/2097.55 c #Conflicts: 475000 | #Constraints: 15834
2074.45/2102.35 c #Conflicts: 476000 | #Constraints: 16834
2079.88/2107.89 c #Conflicts: 477000 | #Constraints: 17834
2086.32/2114.33 c #Conflicts: 478000 | #Constraints: 18834
2091.86/2120.00 c #Conflicts: 479000 | #Constraints: 19834
2098.30/2126.45 c #Conflicts: 480000 | #Constraints: 20834
2105.53/2133.74 c #Conflicts: 481000 | #Constraints: 21834
2110.97/2139.26 c #Conflicts: 482000 | #Constraints: 22836
2116.92/2145.25 c #Conflicts: 483000 | #Constraints: 23837
2126.33/2154.70 c #Conflicts: 484000 | #Constraints: 24838
2136.65/2165.15 c #Conflicts: 485000 | #Constraints: 25838
2144.36/2172.98 c #Conflicts: 486000 | #Constraints: 26838
2153.68/2182.33 c #Conflicts: 487000 | #Constraints: 27842
2164.40/2193.19 c #Conflicts: 488000 | #Constraints: 28842
2168.75/2197.59 c DATABASE CLEANUP
2168.75/2197.59 c GARBAGE COLLECT
2168.75/2197.59 c #Conflicts: 489000 | #Constraints: 16044
2173.31/2202.15 c #Conflicts: 490000 | #Constraints: 17044
2179.25/2208.14 c #Conflicts: 491000 | #Constraints: 18045
2185.37/2214.35 c #Conflicts: 492000 | #Constraints: 19045
2193.90/2222.93 c #Conflicts: 493000 | #Constraints: 20046
2201.43/2230.50 c #Conflicts: 494000 | #Constraints: 21047
2209.87/2239.05 c #Conflicts: 495000 | #Constraints: 22048
2216.39/2245.68 c #Conflicts: 496000 | #Constraints: 23048
2224.62/2253.96 c #Conflicts: 497000 | #Constraints: 24049
2234.43/2263.85 c #Conflicts: 498000 | #Constraints: 25050
2245.24/2274.71 c #Conflicts: 499000 | #Constraints: 26051
2254.86/2284.48 c #Conflicts: 500000 | #Constraints: 27053
2263.59/2293.20 c #Conflicts: 501000 | #Constraints: 28053
2272.51/2302.20 c #Conflicts: 502000 | #Constraints: 29057
2280.13/2309.96 c DATABASE CLEANUP
2280.13/2309.96 c GARBAGE COLLECT
2280.13/2309.96 c #Conflicts: 503000 | #Constraints: 16033
2285.97/2315.80 c #Conflicts: 504000 | #Constraints: 17033
2292.22/2322.14 c #Conflicts: 505000 | #Constraints: 18039
2297.45/2327.41 c #Conflicts: 506000 | #Constraints: 19041
2303.11/2333.19 c #Conflicts: 507000 | #Constraints: 20041
2310.62/2340.72 c #Conflicts: 508000 | #Constraints: 21041
2318.04/2348.28 c #Conflicts: 509000 | #Constraints: 22042
2326.96/2357.23 c #Conflicts: 510000 | #Constraints: 23042
2335.29/2365.67 c #Conflicts: 511000 | #Constraints: 24043
2342.92/2373.40 c #Conflicts: 512000 | #Constraints: 25043
2351.85/2382.37 c #Conflicts: 513000 | #Constraints: 26044
2362.06/2392.65 c #Conflicts: 514000 | #Constraints: 27044
2369.90/2400.57 c #Conflicts: 515000 | #Constraints: 28048
2378.82/2409.53 c #Conflicts: 516000 | #Constraints: 29048
2387.15/2417.97 c DATABASE CLEANUP
2387.15/2417.97 c GARBAGE COLLECT
2387.15/2417.97 c #Conflicts: 517000 | #Constraints: 15824
2392.49/2423.37 c #Conflicts: 518000 | #Constraints: 16824
2400.99/2431.93 c #Conflicts: 519000 | #Constraints: 17824
2406.43/2437.45 c #Conflicts: 520000 | #Constraints: 18824
2412.19/2443.22 c #Conflicts: 521000 | #Constraints: 19824
2418.53/2449.62 c #Conflicts: 522000 | #Constraints: 20824
2425.67/2456.89 c #Conflicts: 523000 | #Constraints: 21825
2433.01/2464.25 c #Conflicts: 524000 | #Constraints: 22829
2440.94/2472.25 c #Conflicts: 525000 | #Constraints: 23829
2450.17/2481.53 c #Conflicts: 526000 | #Constraints: 24829
2460.28/2491.78 c #Conflicts: 527000 | #Constraints: 25829
2468.71/2500.24 c #Conflicts: 528000 | #Constraints: 26829
2483.89/2515.51 c #Conflicts: 529000 | #Constraints: 27830
2492.63/2524.38 c #Conflicts: 530000 | #Constraints: 28832
2502.95/2534.76 c #Conflicts: 531000 | #Constraints: 29835
2509.98/2541.81 c DATABASE CLEANUP
2509.98/2541.81 c GARBAGE COLLECT
2509.98/2541.81 c #Conflicts: 532000 | #Constraints: 16419
2515.15/2547.01 c #Conflicts: 533000 | #Constraints: 17419
2520.88/2552.82 c #Conflicts: 534000 | #Constraints: 18420
2526.15/2558.17 c #Conflicts: 535000 | #Constraints: 19423
2531.78/2563.84 c #Conflicts: 536000 | #Constraints: 20424
2538.12/2570.25 c #Conflicts: 537000 | #Constraints: 21424
2545.26/2577.47 c #Conflicts: 538000 | #Constraints: 22426
2551.61/2583.82 c #Conflicts: 539000 | #Constraints: 23427
2558.54/2590.86 c #Conflicts: 540000 | #Constraints: 24427
2567.37/2599.70 c #Conflicts: 541000 | #Constraints: 25427
2574.32/2606.73 c #Conflicts: 542000 | #Constraints: 26427
2585.03/2617.59 c #Conflicts: 543000 | #Constraints: 27427
2594.37/2626.99 c #Conflicts: 544000 | #Constraints: 28429
2604.89/2637.56 c #Conflicts: 545000 | #Constraints: 29429
2612.93/2645.60 c #Conflicts: 546000 | #Constraints: 30433
2619.07/2651.81 c UNIT CLEANUP
2619.07/2651.81 c DATABASE CLEANUP
2619.07/2651.81 c GARBAGE COLLECT
2619.07/2651.81 c #Conflicts: 547000 | #Constraints: 16801
2625.23/2658.03 c #Conflicts: 548000 | #Constraints: 17802
2630.65/2663.53 c #Conflicts: 549000 | #Constraints: 18802
2636.22/2669.19 c #Conflicts: 550000 | #Constraints: 19802
2643.16/2676.11 c #Conflicts: 551000 | #Constraints: 20804
2649.88/2682.98 c #Conflicts: 552000 | #Constraints: 21804
2656.43/2689.53 c #Conflicts: 553000 | #Constraints: 22804
2664.26/2697.49 c #Conflicts: 554000 | #Constraints: 23807
2671.60/2704.86 c #Conflicts: 555000 | #Constraints: 24809
2678.54/2711.83 c #Conflicts: 556000 | #Constraints: 25809
2686.58/2719.90 c #Conflicts: 557000 | #Constraints: 26809
2695.73/2729.12 c #Conflicts: 558000 | #Constraints: 27809
2705.74/2739.28 c #Conflicts: 559000 | #Constraints: 28811
2715.47/2749.03 c #Conflicts: 560000 | #Constraints: 29811
2727.76/2761.41 c #Conflicts: 561000 | #Constraints: 30811
2733.51/2767.23 c DATABASE CLEANUP
2733.51/2767.23 c GARBAGE COLLECT
2733.51/2767.23 c #Conflicts: 562000 | #Constraints: 17017
2739.85/2773.69 c #Conflicts: 563000 | #Constraints: 18018
2747.49/2781.37 c #Conflicts: 564000 | #Constraints: 19018
2754.03/2787.92 c #Conflicts: 565000 | #Constraints: 20018
2761.47/2795.44 c #Conflicts: 566000 | #Constraints: 21018
2768.12/2802.17 c #Conflicts: 567000 | #Constraints: 22018
2775.44/2809.50 c #Conflicts: 568000 | #Constraints: 23018
2783.47/2817.61 c #Conflicts: 569000 | #Constraints: 24018
2790.41/2824.67 c #Conflicts: 570000 | #Constraints: 25018
2798.95/2833.28 c #Conflicts: 571000 | #Constraints: 26020
2806.28/2840.67 c #Conflicts: 572000 | #Constraints: 27026
2815.51/2849.92 c #Conflicts: 573000 | #Constraints: 28026
2825.73/2860.23 c #Conflicts: 574000 | #Constraints: 29028
2836.65/2871.20 c #Conflicts: 575000 | #Constraints: 30028
2846.28/2880.99 c #Conflicts: 576000 | #Constraints: 31029
2852.81/2887.56 c UNIT CLEANUP
2852.81/2887.56 c DATABASE CLEANUP
2852.81/2887.56 c GARBAGE COLLECT
2852.81/2887.56 c #Conflicts: 577000 | #Constraints: 17008
2858.96/2893.74 c #Conflicts: 578000 | #Constraints: 18008
2865.70/2900.51 c #Conflicts: 579000 | #Constraints: 19008
2870.65/2905.59 c #Conflicts: 580000 | #Constraints: 20009
2877.69/2912.62 c #Conflicts: 581000 | #Constraints: 21010
2884.73/2919.76 c #Conflicts: 582000 | #Constraints: 22012
2890.99/2926.06 c #Conflicts: 583000 | #Constraints: 23012
2899.81/2934.92 c #Conflicts: 584000 | #Constraints: 24012
2908.34/2943.52 c #Conflicts: 585000 | #Constraints: 25013
2915.79/2951.03 c #Conflicts: 586000 | #Constraints: 26013
2925.72/2961.03 c #Conflicts: 587000 | #Constraints: 27014
2933.94/2969.36 c #Conflicts: 588000 | #Constraints: 28014
2944.37/2979.80 c #Conflicts: 589000 | #Constraints: 29014
2956.49/2992.10 c #Conflicts: 590000 | #Constraints: 30014
2967.70/3003.39 c #Conflicts: 591000 | #Constraints: 31014
2976.13/3011.82 c UNIT CLEANUP
2976.13/3011.82 c DATABASE CLEANUP
2976.13/3011.82 c GARBAGE COLLECT
2976.13/3011.82 c #Conflicts: 592000 | #Constraints: 16817
2981.39/3017.15 c #Conflicts: 593000 | #Constraints: 17817
2985.83/3021.61 c #Conflicts: 594000 | #Constraints: 18819
2991.38/3027.20 c #Conflicts: 595000 | #Constraints: 19819
2997.91/3033.81 c #Conflicts: 596000 | #Constraints: 20821
3004.46/3040.41 c #Conflicts: 597000 | #Constraints: 21821
3011.89/3047.99 c #Conflicts: 598000 | #Constraints: 22821
3021.11/3057.28 c #Conflicts: 599000 | #Constraints: 23821
3029.74/3065.99 c #Conflicts: 600000 | #Constraints: 24822
3037.17/3073.44 c #Conflicts: 601000 | #Constraints: 25822
3045.20/3081.57 c #Conflicts: 602000 | #Constraints: 26822
3051.46/3087.80 c #Conflicts: 603000 | #Constraints: 27822
3058.50/3094.91 c #Conflicts: 604000 | #Constraints: 28822
3069.81/3106.31 c #Conflicts: 605000 | #Constraints: 29822
3080.55/3117.12 c #Conflicts: 606000 | #Constraints: 30822
3090.56/3127.22 c #Conflicts: 607000 | #Constraints: 31823
3098.41/3135.12 c DATABASE CLEANUP
3098.41/3135.12 c GARBAGE COLLECT
3098.41/3135.12 c #Conflicts: 608000 | #Constraints: 17425
3105.12/3141.92 c #Conflicts: 609000 | #Constraints: 18427
3110.57/3147.41 c #Conflicts: 610000 | #Constraints: 19430
3115.62/3152.59 c #Conflicts: 611000 | #Constraints: 20431
3120.86/3157.82 c #Conflicts: 612000 | #Constraints: 21436
3127.30/3164.32 c #Conflicts: 613000 | #Constraints: 22437
3132.96/3170.10 c #Conflicts: 614000 | #Constraints: 23437
3140.77/3177.98 c #Conflicts: 615000 | #Constraints: 24437
3149.50/3186.76 c #Conflicts: 616000 | #Constraints: 25437
3158.52/3195.80 c #Conflicts: 617000 | #Constraints: 26439
3167.35/3204.71 c #Conflicts: 618000 | #Constraints: 27439
3179.66/3217.16 c #Conflicts: 619000 | #Constraints: 28439
3187.69/3225.29 c #Conflicts: 620000 | #Constraints: 29439
3196.12/3233.74 c #Conflicts: 621000 | #Constraints: 30439
3204.86/3242.52 c #Conflicts: 622000 | #Constraints: 31439
3213.00/3250.79 c #Conflicts: 623000 | #Constraints: 32439
3218.75/3256.57 c DATABASE CLEANUP
3218.75/3256.57 c GARBAGE COLLECT
3218.75/3256.57 c #Conflicts: 624000 | #Constraints: 17827
3225.78/3263.68 c #Conflicts: 625000 | #Constraints: 18827
3232.52/3270.41 c #Conflicts: 626000 | #Constraints: 19827
3239.36/3277.36 c #Conflicts: 627000 | #Constraints: 20827
3246.12/3284.17 c #Conflicts: 628000 | #Constraints: 21827
3254.14/3292.22 c #Conflicts: 629000 | #Constraints: 22827
3263.17/3301.38 c #Conflicts: 630000 | #Constraints: 23827
3270.31/3308.54 c #Conflicts: 631000 | #Constraints: 24827
3279.34/3317.64 c #Conflicts: 632000 | #Constraints: 25827
3288.07/3326.40 c #Conflicts: 633000 | #Constraints: 26827
3297.19/3335.65 c #Conflicts: 634000 | #Constraints: 27827
3306.93/3345.48 c #Conflicts: 635000 | #Constraints: 28829
3317.16/3355.76 c #Conflicts: 636000 | #Constraints: 29831
3327.58/3366.20 c #Conflicts: 637000 | #Constraints: 30832
3343.57/3382.35 c #Conflicts: 638000 | #Constraints: 31834
3355.58/3394.42 c #Conflicts: 639000 | #Constraints: 32834
3361.33/3400.22 c DATABASE CLEANUP
3361.33/3400.22 c GARBAGE COLLECT
3361.33/3400.22 c #Conflicts: 640000 | #Constraints: 18023
3369.06/3408.11 c #Conflicts: 641000 | #Constraints: 19024
3377.67/3416.72 c #Conflicts: 642000 | #Constraints: 20024
3383.82/3422.91 c #Conflicts: 643000 | #Constraints: 21024
3391.55/3430.78 c #Conflicts: 644000 | #Constraints: 22024
3400.18/3439.40 c #Conflicts: 645000 | #Constraints: 23024
3406.62/3445.91 c #Conflicts: 646000 | #Constraints: 24024
3415.34/3454.79 c #Conflicts: 647000 | #Constraints: 25029
3423.69/3463.14 c #Conflicts: 648000 | #Constraints: 26030
3430.42/3469.96 c #Conflicts: 649000 | #Constraints: 27030
3437.96/3477.50 c #Conflicts: 650000 | #Constraints: 28031
3447.59/3487.27 c #Conflicts: 651000 | #Constraints: 29034
3461.68/3501.43 c #Conflicts: 652000 | #Constraints: 30035
3470.82/3510.64 c #Conflicts: 653000 | #Constraints: 31036
3479.36/3519.24 c #Conflicts: 654000 | #Constraints: 32037
3489.58/3529.51 c #Conflicts: 655000 | #Constraints: 33037
3496.14/3536.15 c DATABASE CLEANUP
3496.14/3536.15 c GARBAGE COLLECT
3496.14/3536.15 c #Conflicts: 656000 | #Constraints: 18029
3504.54/3544.63 c #Conflicts: 657000 | #Constraints: 19029
3512.98/3553.16 c #Conflicts: 658000 | #Constraints: 20030
3518.42/3558.65 c #Conflicts: 659000 | #Constraints: 21030
3524.77/3565.08 c #Conflicts: 660000 | #Constraints: 22030
3532.50/3572.89 c #Conflicts: 661000 | #Constraints: 23030
3539.44/3579.84 c #Conflicts: 662000 | #Constraints: 24030
3545.79/3586.26 c #Conflicts: 663000 | #Constraints: 25030
3556.20/3596.77 c #Conflicts: 664000 | #Constraints: 26031
3564.46/3605.09 c #Conflicts: 665000 | #Constraints: 27031
3575.07/3615.76 c #Conflicts: 666000 | #Constraints: 28031
3584.20/3624.97 c #Conflicts: 667000 | #Constraints: 29032
3594.13/3635.00 c #Conflicts: 668000 | #Constraints: 30032
3600.09/3640.90 c cpu time 3584.28 s
3600.09/3640.90 c deterministic time 729586088339 7.30e+11
3600.09/3640.90 c optimization time 108.273 s
3600.09/3640.90 c total solve time 3475.99 s
3600.09/3640.90 c core-guided solve time 0 s
3600.09/3640.90 c propagation time 2812.78 s
3600.09/3640.90 c conflict analysis time 693.705 s
3600.09/3640.90 c local search time 37.218 s
3600.09/3640.90 c propagations 94020806
3600.09/3640.90 c resolve steps 44040446
3600.09/3640.90 c resolve steps with general constraints 9259498
3600.09/3640.90 c decisions 854505
3600.09/3640.90 c conflicts 668499
3600.09/3640.90 c overflow fixes 2866108
3600.09/3640.90 c conflicts with overflow fixes 513763
3600.09/3640.90 c restarts 1440
3600.09/3640.90 c inprocessing phases 72
3600.09/3640.90 c garbage collections 72 ,( 100.00 )
3600.09/3640.90 c input clauses 1386 ,( 99.50 )
3600.09/3640.90 c input cardinalities 0 ,( 0.00 )
3600.09/3640.90 c input general constraints 7 ,( 0.50 )
3600.09/3640.90 c input average constraint length 3.36
3600.09/3640.90 c input average constraint degree 3.29e+08
3600.09/3640.90 c input average constraint degree bitlength 0.18
3600.09/3640.90 c learned clauses 102737 ,( 14.27 )
3600.09/3640.90 c learned cardinalities 3 ,( 0.00 )
3600.09/3640.90 c learned general constraints 617180 ,( 85.73 )
3600.09/3640.90 c learned average constraint length 244.20
3600.09/3640.90 c learned average constraint degree 1.09e+09
3600.09/3640.90 c learned average constraint degree bitlength 25.23
3600.09/3640.90 c watched CF 32, 64, 128, Arb: 32404 , 0 , 0 , 0
3600.09/3640.90 c counting CF 32, 64, 128, Arb: 584776 , 7 , 0 , 0
3600.09/3640.90 c watched constraints 32404 ,( 5.25 )
3600.09/3640.90 c counting constraints 584783 ,( 94.75 )
3600.09/3640.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 75922191 , 17966 , 150045027189 ,( 40775083 , 150004252106 )
3600.09/3640.90 c pure literals detected 0
3600.09/3640.90 c unique literal constraints detected 0
3600.09/3640.90 c gcd simplifications 184499
3600.09/3640.90 c detected cardinalities 32712
3600.09/3640.90 c divisions strengthening the constraint 0
3600.09/3640.90 c weakened non-implied lits 65442112
3600.09/3640.90 c weakened non-implying lits 4887732
3600.09/3640.90 c percentage of cover cuts not using all falsified lits 0.000
3600.09/3640.90 c average MIR cut multiplier 0.00e+00
3600.09/3640.90 c average MIR cut multiplier bitlength 0.000
3600.09/3640.90 c original variables 792
3600.09/3640.90 c clausal propagations 63072424
3600.09/3640.90 c cardinality propagations 967
3600.09/3640.90 c watched propagations 15116
3600.09/3640.90 c counting propagations 30262729
3600.09/3640.90 c watch lookups 158125272265
3600.09/3640.90 c watch backjump lookups 0
3600.09/3640.90 c watch checks 826077383
3600.09/3640.90 c propagation checks 568284143658
3600.09/3640.90 c constraint additions 2159439875
3600.09/3640.90 c trail pops 95543193
3600.09/3640.90 c formula constraints 1393
3600.09/3640.90 c learned constraints 719108
3600.09/3640.90 c bound constraints 0
3600.09/3640.90 c core-guided constraints 0
3600.09/3640.90 c encountered formula constraints 37231291
3600.09/3640.90 c encountered learned constraints 6657621
3600.09/3640.90 c encountered bound constraints 0
3600.09/3640.90 c encountered core-guided constraints 0
3600.09/3640.90 c LP total time 28.4892 s
3600.09/3640.90 c LP solve time 27.68 s
3600.09/3640.90 c LP constraints added 1347
3600.09/3640.90 c LP constraints removed 3
3600.09/3640.90 c LP pivots internal 654743
3600.09/3640.90 c LP pivots root 81910
3600.09/3640.90 c LP calls 1469
3600.09/3640.90 c LP optimalities 259
3600.09/3640.90 c LP no pivot count 6
3600.09/3640.90 c LP infeasibilities 526
3600.09/3640.90 c LP valid Farkas constraints 782
3600.09/3640.90 c LP learned Farkas constraints 22
3600.09/3640.90 c LP basis resets 681
3600.09/3640.90 c LP cycling count 278
3600.09/3640.90 c LP singular count 142
3600.09/3640.90 c LP no primal count 0
3600.09/3640.90 c LP no farkas count 0
3600.09/3640.90 c LP other issue count 261
3600.09/3640.90 c LP Gomory cuts 8
3600.09/3640.90 c LP learned cuts 2
3600.09/3640.90 c LP deleted cuts 3
3600.09/3640.90 c LP encountered Gomory constraints 1
3600.09/3640.90 c LP encountered Farkas constraints 769172
3600.09/3640.90 c LP encountered learned Farkas constraints 50850
3600.09/3640.90 c CG auxiliary variables introduced 0
3600.09/3640.90 c CG solutions found 0
3600.09/3640.90 c CG cores constructed 0
3600.09/3640.90 c CG core cardinality constraints returned 0
3600.09/3640.90 c CG unit cores 0
3600.09/3640.90 c CG single cores 0
3600.09/3640.90 c CG blocks removed during cardinality reduction 0
3600.09/3640.90 c CG first core best 0
3600.09/3640.90 c CG decision core best 0
3600.09/3640.90 c CG core reduction tie 0
3600.09/3640.90 c CG core degree average 0.00
3600.09/3640.90 c CG core slack average 0.00
3600.09/3640.90 c CG core upper bound improvements 0
3600.09/3640.90 c STR number of successful calls 0
3600.09/3640.90 c STR number of unsuccessful calls 0
3600.09/3640.90 c STR number of inconclusive calls 0
3600.09/3640.90 c STR number of successful attempts 0
3600.09/3640.90 c STR number of unsuccessful attempts 0
3600.09/3640.90 c STR number of inconclusive attempts 0
3600.09/3640.90 c STR average degree increase per successful call inf
3600.09/3640.90 c STR average degree increase per successful attempt inf
3600.09/3640.90 c STR total number of conflicts for successful attempts 0
3600.09/3640.90 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3640.90 c STR total number of conflicts for inconclusive attempts 0
3600.09/3640.90 c STR average number of conflicts per successful attempt inf
3600.09/3640.90 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3640.90 c STR average number of conflicts per inconclusive attempt inf
3600.09/3640.90 c IHS number of seeded input constraints 0
3600.09/3640.90 c IHS number of seeded weakened input constraints 0
3600.09/3640.90 c IHS number of successful local search calls 0
3600.09/3640.90 c IHS number of timeouts for local search 0
3600.09/3640.90 c IHS number of complete search calls 0
3600.09/3640.90 c IHS number of optimal complete search calls 0
3600.09/3640.90 c IHS number of complete search progress calls 0
3600.09/3640.90 c IHS number of solutions from local search 0
3600.09/3640.90 c IHS number of upper bounds from local search 0
3600.09/3640.90 c IHS number of cores from local search 0
3600.09/3640.90 c IHS number of discarded solutions from local search 0
3600.09/3640.90 c IHS number of solutions from complete search 0
3600.09/3640.90 c IHS number of upper bounds from complete search 0
3600.09/3640.90 c IHS number of cores from complete search 0
3600.09/3640.90 c IHS number of discarded solutions from complete search 0
3600.09/3640.90 c IHS local search time 0 s
3600.09/3640.90 c IHS complete search time 0 s
3600.09/3640.90 c IHS core extraction time 0 s
3600.09/3640.90 c AVG.sumWPerc 92.23
3600.09/3640.90 c bigint constraints 7
3600.09/3640.90 s UNKNOWN
3600.09/3640.90 c Program interrupted by user.
Verifier Data
ERROR: no interpretation found !
Watcher Data
runsolver version 3.4.3 (svn: 5215) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4834444-1783835699/watcher-4834444-1783835699 -o /tmp/evaluation-result-4834444-1783835699/solver-4834444-1783835699 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834444-1783835699/vars-4834444-1783835699 --bin-var /tmp/runsolver-exch-nodeE003-1783835699-1391412 --watchdog 3760 --file-size-limit 100000 ./run-sat.sh --proof-log=/tmp/proofs/proof-4834444-1783835699 HOME/instance-4834444-1783835699.opb
running on 4 cores: 44-47
CPU: AMD EPYC 9355 32-Core Processor
Cores frequency:
2500 MHz: 1,5-7,9-11,17-18,25-28,33
3550 MHz: 0,2-3,20-23,35-36,40-43,56-59
3600 MHz: 4,8,12-16,19,24,29-32,34,37-39,44-55,60-63
WARNING: cores do not run at the same frequency!
Cores frequency (cpufreq):
2500 MHz: 1
3550 MHz: 0,2-3
WARNING: cores do not run at the same frequency!
CPU governors:
performance: 44-47
NUMA information:
number of nodes: 8
node 0: cores 0-7, 128055 MiB (20912 MiB free)
node 1: cores 8-15, 129019 MiB (89170 MiB free)
node 2: cores 16-23, 129019 MiB (116955 MiB free)
node 3: cores 24-31, 129003 MiB (117486 MiB free)
node 4: cores 32-39, 129019 MiB (120129 MiB free)
node 5: cores 40-47, 129019 MiB (126137 MiB free)
node 6: cores 48-55, 128973 MiB (126217 MiB free)
node 7: cores 56-63, 128474 MiB (123440 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=1391586, runsolver pid=1391561
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 5.77 5.52 5.26 12/885 1391621
/proc/meminfo: memFree=860450912/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=57156 memory=15356 CPUtime=0.01 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 1232 0 0 0 1 0 0 0 20 0 1 0 316857893 58527744 3712 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 14289 3839 2878 1755 0 2124 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 61348 KiB
Current children cumulated memory: 18560 KiB
[startup+0.21256 s]*
/proc/loadavg: 5.77 5.52 5.26 17/889 1391628
/proc/meminfo: memFree=859825992/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=57156 memory=15356 CPUtime=0.12 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 1232 0 0 0 12 0 0 0 20 0 1 0 316857893 58527744 3712 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 14289 3839 2878 1755 0 2124 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 61348 KiB
Current children cumulated memory: 18560 KiB
[startup+0.311728 s]*
/proc/loadavg: 5.77 5.52 5.26 17/887 1391628
/proc/meminfo: memFree=859594728/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=57156 memory=15356 CPUtime=0.22 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 1232 0 0 0 22 0 0 0 20 0 1 0 316857893 58527744 3712 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 14289 3839 2878 1755 0 2124 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 61348 KiB
Current children cumulated memory: 18560 KiB
[startup+0.700139 s]
/proc/loadavg: 5.77 5.52 5.26 16/888 1391629
/proc/meminfo: memFree=859379912/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=58388 memory=19064 CPUtime=0.59 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) S 1391586 1391586 1391392 0 -1 4194304 1635 0 0 0 59 0 0 0 20 0 1 0 316857893 59789312 4678 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 1 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 14597 4766 2974 1755 0 2432 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 62580 KiB
Current children cumulated memory: 22268 KiB
[startup+1.50014 s]
/proc/loadavg: 5.77 5.52 5.26 17/894 1391640
/proc/meminfo: memFree=858211792/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=64484 memory=24544 CPUtime=1.35 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 3374 0 0 0 133 2 0 0 20 0 1 0 316857893 66031616 6086 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 16121 6136 2974 1755 0 3956 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 68676 KiB
Current children cumulated memory: 27748 KiB
[startup+3.11244 s]
/proc/loadavg: 5.77 5.52 5.26 21/898 1391651
/proc/meminfo: memFree=856634728/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=67532 memory=30188 CPUtime=2.84 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 4177 0 0 0 279 5 0 0 20 0 1 0 316857893 69152768 7488 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 16883 7547 3080 1755 0 4718 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 71724 KiB
Current children cumulated memory: 33392 KiB
[startup+6.30013 s]
/proc/loadavg: 6.99 5.78 5.35 20/898 1391665
/proc/meminfo: memFree=854840060/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=72168 memory=34588 CPUtime=5.69 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 5395 0 0 0 560 9 0 0 20 0 1 0 316857893 73900032 8512 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 46 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 18042 8647 3080 1755 0 5877 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 76360 KiB
Current children cumulated memory: 37792 KiB
[startup+12.7001 s]
/proc/loadavg: 7.79 5.97 5.41 19/898 1391722
/proc/meminfo: memFree=850442492/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=82296 memory=43224 CPUtime=11.59 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 7792 0 0 0 1140 19 0 0 20 0 1 0 316857893 84271104 10688 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 20574 10806 3080 1755 0 8409 0
Current children cumulated CPU time: 11.59 s
Current children cumulated vsize: 86488 KiB
Current children cumulated memory: 46428 KiB
[startup+25.5001 s]
/proc/loadavg: 10.33 6.62 5.64 18/898 1391728
/proc/meminfo: memFree=844729084/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=87736 memory=49240 CPUtime=23.71 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 9679 0 0 0 2337 34 0 0 20 0 1 0 316857893 89841664 12096 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 21934 12310 3096 1755 0 9769 0
Current children cumulated CPU time: 23.71 s
Current children cumulated vsize: 91928 KiB
Current children cumulated memory: 52444 KiB
[startup+51.1133 s]
/proc/loadavg: 12.86 7.52 5.96 20/899 1391731
/proc/meminfo: memFree=833382076/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=99304 memory=58752 CPUtime=48.28 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 12217 0 0 0 4766 62 0 0 20 0 1 0 316857893 101687296 14518 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 24826 14688 3096 1755 0 12661 0
Current children cumulated CPU time: 48.28 s
Current children cumulated vsize: 103496 KiB
Current children cumulated memory: 61956 KiB
[startup+102.3 s]
/proc/loadavg: 15.07 8.96 6.54 15/896 1391804
/proc/meminfo: memFree=829423400/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=117468 memory=72232 CPUtime=98.19 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 15128 0 0 0 9711 108 0 0 20 0 1 0 316857893 120287232 17800 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 29367 18058 3096 1755 0 17202 0
Current children cumulated CPU time: 98.19 s
Current children cumulated vsize: 121660 KiB
Current children cumulated memory: 75436 KiB
################
# More data... #
################
/proc/1391615/statm: 109296 80506 3096 1755 0 97131 0
Current children cumulated CPU time: 3065.85 s
Current children cumulated vsize: 441376 KiB
Current children cumulated memory: 325228 KiB
[startup+3162.3 s]
/proc/loadavg: 11.18 11.52 12.72 12/875 1392318
/proc/meminfo: memFree=623765604/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322224 CPUtime=3125.32 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61961 0 0 0 311101 1431 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 46 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80556 3096 1755 0 97195 0
Current children cumulated CPU time: 3125.32 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325428 KiB
[startup+3222.3 s]
/proc/loadavg: 10.89 11.40 12.61 11/876 1392320
/proc/meminfo: memFree=621354816/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322224 CPUtime=3184.81 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61961 0 0 0 317032 1449 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80556 3096 1755 0 97195 0
Current children cumulated CPU time: 3184.81 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325428 KiB
[startup+3282.3 s]
/proc/loadavg: 11.09 11.36 12.52 13/875 1392321
/proc/meminfo: memFree=618946940/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322224 CPUtime=3244.32 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61961 0 0 0 322963 1469 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80556 3096 1755 0 97195 0
Current children cumulated CPU time: 3244.32 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325428 KiB
[startup+3342.3 s]
/proc/loadavg: 11.39 11.41 12.46 14/875 1392324
/proc/meminfo: memFree=616618548/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322224 CPUtime=3303.85 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61961 0 0 0 328897 1488 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 45 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80556 3096 1755 0 97195 0
Current children cumulated CPU time: 3303.85 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325428 KiB
[startup+3402.3 s]
/proc/loadavg: 11.24 11.35 12.37 12/875 1392326
/proc/meminfo: memFree=614582872/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322300 CPUtime=3363.41 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61980 0 0 0 334836 1505 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 46 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80575 3096 1755 0 97195 0
Current children cumulated CPU time: 3363.41 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325504 KiB
[startup+3462.3 s]
/proc/loadavg: 11.15 11.30 12.29 12/875 1392327
/proc/meminfo: memFree=612322840/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322300 CPUtime=3422.89 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61980 0 0 0 340763 1526 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 46 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80575 3096 1755 0 97195 0
Current children cumulated CPU time: 3422.89 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325504 KiB
[startup+3522.3 s]
/proc/loadavg: 10.99 11.22 12.19 12/876 1392329
/proc/meminfo: memFree=610237416/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322300 CPUtime=3482.43 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61980 0 0 0 346698 1545 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 46 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80575 3096 1755 0 97195 0
Current children cumulated CPU time: 3482.43 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325504 KiB
[startup+3582.3 s]
/proc/loadavg: 11.12 11.21 12.13 13/876 1392330
/proc/meminfo: memFree=608104968/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322308 CPUtime=3541.92 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61982 0 0 0 352626 1566 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 46 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80577 3096 1755 0 97195 0
Current children cumulated CPU time: 3541.92 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3640.9 s]
/proc/loadavg: 10.83 11.14 12.05 6/831 1392543
/proc/meminfo: memFree=662428836/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322308 CPUtime=3600.09 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61982 0 0 0 358427 1582 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 46 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80577 3096 1755 0 97195 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3640.9 s]
# the end of solver process 1391586 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.006517 s
[startup+3640.91 s]
# the end of solver process 1391615 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.28 s, system=15.84 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3640.9 s]
/proc/loadavg: 10.83 11.14 12.05 6/831 1392543
/proc/meminfo: memFree=662428836/1055320712 swapFree=33240060/33554428
[pid=1391586] ppid=1391561 vsize=4192 memory=3204 CPUtime=0 cores=44-47
/proc/1391586/stat : 1391586 (run-sat.sh) S 1391561 1391586 1391392 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 316857888 4292608 640 18446744073709551615 94018966175744 94018967070277 140729555371472 0 0 0 65536 4 65538 1 0 0 17 46 0 0 0 0 0 94018967309328 94018967357072 94018972823552 140729555380470 140729555380609 140729555380609 140729555386347 0
/proc/1391586/statm: 1048 801 722 219 0 110 0
[pid=1391615] ppid=1391586 vsize=437440 memory=322308 CPUtime=3600.09 cores=44-47
/proc/1391615/stat : 1391615 (roundingsat) R 1391586 1391586 1391392 0 -1 4194304 61982 0 0 0 358427 1582 0 0 20 0 1 0 316857893 447938560 80408 18446744073709551615 4194304 11382409 140723223766496 0 0 0 0 0 8405026 0 0 0 17 46 0 0 0 0 0 12505888 12515512 31670272 140723223771006 140723223771552 140723223771552 140723223777258 0
/proc/1391615/statm: 109360 80577 3096 1755 0 97195 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 441632 KiB
Current children cumulated memory: 325512 KiB
Child status: 2
Real time (s): 3640.91
CPU time (s): 3600.12
CPU user time (s): 3584.28
CPU system time (s): 15.84
CPU usage (%): 98.8795
Max. virtual memory (cumulated for all children) (KiB): 441632
Max. memory (cumulated for all children) (KiB): 325512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.28
system time used= 15.84
maximum resident set size= 321632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62211
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= 1726708
involuntary context switches= 5107
# summary of solver processes directly reported to runsolver:
# pid: 1391586,1391615
# total CPU time (s): 3600.12
# total CPU user time (s): 3584.28
# total CPU system time (s): 15.84
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4322 second user time and 43.0002 second system time
The end
Launcher Data
Begin job on nodeE003 at 2026-07-12 07:55:00
IDJOB=4834444
IDBENCH=163206
IDSOLVER=3669
FILE ID=nodeE003/4834444-1783835699
RUNJOBID= nodeE003-1783835699-1391412
SLURM_JOB_ID= 12744989
Free space on /tmp= 800248 MiB
SOLVER NAME= roundingsat-satsuma-saturation 2026-06-11 (cert)
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq6/normalized-18array_alg_ineq6.opb
COMMAND LINE= ./run-sat.sh --proof-log=CERTNAME BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4834444-1783835699/watcher-4834444-1783835699 -o /tmp/evaluation-result-4834444-1783835699/solver-4834444-1783835699 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834444-1783835699/vars-4834444-1783835699 --bin-var /tmp/runsolver-exch-nodeE003-1783835699-1391412 --watchdog 3760 --file-size-limit 100000 ./run-sat.sh --proof-log=/tmp/proofs/proof-4834444-1783835699 HOME/instance-4834444-1783835699.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 62000 MiB
NBCORE= 3
MD5SUM BENCH= 10a33d0b45cb850c7bf136c4b0667499
RANDOM SEED=564386060
nodeE003 Linux 5.14.0-611.55.1.el9_7.0.3.x86_64 #1 SMP PREEMPT_DYNAMIC Mon May 18 19:21:10 UTC 2026
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 0
cpu cores : 32
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 1
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 1
cpu cores : 32
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 2
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 2
cpu cores : 32
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 3
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 3
cpu cores : 32
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 4
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 64
cpu cores : 32
apicid : 64
initial apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 5
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 65
cpu cores : 32
apicid : 65
initial apicid : 65
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 6
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 66
cpu cores : 32
apicid : 66
initial apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 7
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 67
cpu cores : 32
apicid : 67
initial apicid : 67
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 8
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 32
cpu cores : 32
apicid : 32
initial apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 9
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 33
cpu cores : 32
apicid : 33
initial apicid : 33
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 10
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 34
cpu cores : 32
apicid : 34
initial apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 11
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 35
cpu cores : 32
apicid : 35
initial apicid : 35
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 12
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3588.656
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 96
cpu cores : 32
apicid : 96
initial apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 13
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3588.569
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 97
cpu cores : 32
apicid : 97
initial apicid : 97
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 14
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3587.690
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 : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 99
cpu cores : 32
apicid : 99
initial apicid : 99
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.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 : 3592.442
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 : 3594.893
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 : 2493.659
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 : 3594.181
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 : 3557.672
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 112
cpu cores : 32
apicid : 112
initial apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 21
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3570.186
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 : 3576.710
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 115
cpu cores : 32
apicid : 115
initial apicid : 115
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 24
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 16
cpu cores : 32
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 25
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3584.871
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 : 3593.286
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 : 3589.271
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 : 3589.863
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 : 3590.886
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 : 3570.426
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.764
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 : 3590.854
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 : 3579.118
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 : 3575.419
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 : 3574.168
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 : 3583.652
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 : 3582.989
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 : 3562.552
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 : 3546.845
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 : 3562.041
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 : 3564.534
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 : 3589.118
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 : 3591.565
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 : 3600.902
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 98
cpu cores : 32
apicid : 226
initial apicid : 226
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 47
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 99
cpu cores : 32
apicid : 227
initial apicid : 227
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 48
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3584.086
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 : 3573.599
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 : 3584.343
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 : 3604.738
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 : 3605.641
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 : 3603.818
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 : 3589.974
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 : 3554.211
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 : 3553.672
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 : 3553.779
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 18
cpu cores : 32
apicid : 146
initial apicid : 146
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.91
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 59
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3552.096
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 : 3579.032
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 : 3586.321
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 : 3580.706
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 : 3579.618
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: 860632620 kB
MemAvailable: 1045814512 kB
Buffers: 1376 kB
Cached: 188736436 kB
SwapCached: 328 kB
Active: 9845008 kB
Inactive: 179072384 kB
Active(anon): 581608 kB
Inactive(anon): 228572 kB
Active(file): 9263400 kB
Inactive(file): 178843812 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33554428 kB
SwapFree: 33240060 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 214972 kB
Writeback: 0 kB
AnonPages: 184804 kB
Mapped: 154924 kB
Shmem: 630564 kB
KReclaimable: 3311160 kB
Slab: 3924280 kB
SReclaimable: 3311160 kB
SUnreclaim: 613120 kB
KernelStack: 14560 kB
PageTables: 4728 kB
SecPageTables: 15352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 561214784 kB
Committed_AS: 193589696 kB
VmallocTotal: 13743895347199 kB
VmallocUsed: 478176 kB
VmallocChunk: 0 kB
Percpu: 124928 kB
HardwareCorrupted: 52 kB
AnonHugePages: 34816 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 516548 kB
DirectMap2M: 22874112 kB
DirectMap1G: 1050673152 kB
Free space on /tmp at the end= 800340 MiB
End job on nodeE003 at 2026-07-12 08:55:41