Trace number 4834388
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/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_11_076.opb |
| MD5SUM | a691ad33975d87b8cef651fb67f36d11 |
| 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.611766 |
| 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 | 836 |
| Total number of constraints | 837 |
| Number of constraints which are clauses | 836 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 836 |
| 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 | 209 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 1045 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.05 c RoundingSat 2
0.00/0.05 c branch pb26-symm
0.00/0.05 c commit 801ab82
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2] (0.314156ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.06 c (0.269476ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 4183 #edges 15048]
0.00/0.06 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 8.36*10^2 #gens 2] (1.2177ms)
0.00/0.06 c
0.00/0.06 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06 c (0.003414ms)
0.00/0.06 c
0.00/0.06 c apply negation fixing (schreier: true, gens: 2)
0.00/0.06 c fixed 0 literals
0.00/0.06 c (0.037571ms)
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 0 #add_vars 0]
0.00/0.07 c
0.00/0.07 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 2] (0.293437ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.7772M)
0.00/0.07 c (0.254525ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 4183 #edges 15048]
0.00/0.07 c dejavu (support_limit=48MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 8.36*10^2 #gens 2] (1.18426ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07 c (0.001362ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c add generic predicates (break_depth=20)
0.00/0.07 c added predicates for 2 generators (0.007751ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 116 #add_vars 38]
0.00/0.08 c #variables 836 #constraints 955
0.63/0.74 c #Conflicts: 1000 | #Constraints: 1954
0.73/0.86 c #Conflicts: 2000 | #Constraints: 2954
1.52/1.69 c DATABASE CLEANUP
1.52/1.69 c GARBAGE COLLECT
1.52/1.69 c #Conflicts: 3000 | #Constraints: 3004
1.80/1.96 c #Conflicts: 4000 | #Constraints: 4021
2.49/2.63 c DATABASE CLEANUP
2.49/2.63 c GARBAGE COLLECT
2.49/2.63 c #Conflicts: 5000 | #Constraints: 3447
2.75/2.94 c #Conflicts: 6000 | #Constraints: 4456
3.23/3.41 c DATABASE CLEANUP
3.23/3.41 c GARBAGE COLLECT
3.23/3.41 c rational objective 209
3.99/4.20 c #Conflicts: 7000 | #Constraints: 3462
4.16/4.47 c #Conflicts: 8000 | #Constraints: 4476
4.53/4.80 c #Conflicts: 9000 | #Constraints: 5491
5.19/5.52 c DATABASE CLEANUP
5.19/5.52 c GARBAGE COLLECT
5.19/5.52 c #Conflicts: 10000 | #Constraints: 4168
5.47/5.81 c #Conflicts: 11000 | #Constraints: 5176
5.68/6.07 c #Conflicts: 12000 | #Constraints: 6185
6.05/6.47 c DATABASE CLEANUP
6.05/6.47 c GARBAGE COLLECT
6.05/6.47 c rational objective 209
7.03/7.44 c #Conflicts: 13000 | #Constraints: 4622
7.31/7.71 c #Conflicts: 14000 | #Constraints: 5632
7.60/8.10 c #Conflicts: 15000 | #Constraints: 6644
8.43/8.97 c DATABASE CLEANUP
8.43/8.97 c GARBAGE COLLECT
8.43/8.97 c #Conflicts: 16000 | #Constraints: 4839
8.80/9.31 c #Conflicts: 17000 | #Constraints: 5853
9.27/9.83 c #Conflicts: 18000 | #Constraints: 6867
10.04/10.61 c DATABASE CLEANUP
10.04/10.61 c GARBAGE COLLECT
10.04/10.61 c #Conflicts: 19000 | #Constraints: 4861
10.32/10.97 c #Conflicts: 20000 | #Constraints: 5869
10.70/11.33 c #Conflicts: 21000 | #Constraints: 6880
11.18/11.86 c DATABASE CLEANUP
11.18/11.86 c GARBAGE COLLECT
11.18/11.86 c rational objective 209
11.97/12.66 c #Conflicts: 22000 | #Constraints: 4659
12.25/12.93 c #Conflicts: 23000 | #Constraints: 5676
12.54/13.20 c #Conflicts: 24000 | #Constraints: 6684
12.83/13.53 c #Conflicts: 25000 | #Constraints: 7689
13.22/13.91 c DATABASE CLEANUP
13.22/13.91 c GARBAGE COLLECT
13.22/13.91 c rational objective 209
14.17/14.91 c #Conflicts: 26000 | #Constraints: 5270
14.36/15.19 c #Conflicts: 27000 | #Constraints: 6280
14.72/15.50 c #Conflicts: 28000 | #Constraints: 7288
15.00/15.82 c #Conflicts: 29000 | #Constraints: 8296
15.69/16.51 c DATABASE CLEANUP
15.69/16.51 c GARBAGE COLLECT
15.69/16.51 c #Conflicts: 30000 | #Constraints: 5673
15.97/16.85 c #Conflicts: 31000 | #Constraints: 6684
16.33/17.24 c #Conflicts: 32000 | #Constraints: 7693
16.62/17.56 c #Conflicts: 33000 | #Constraints: 8700
17.01/17.90 c DATABASE CLEANUP
17.01/17.90 c GARBAGE COLLECT
17.01/17.90 c rational objective 209
17.88/18.88 c #Conflicts: 34000 | #Constraints: 5891
18.18/19.19 c #Conflicts: 35000 | #Constraints: 6906
18.44/19.49 c #Conflicts: 36000 | #Constraints: 7914
18.83/19.80 c #Conflicts: 37000 | #Constraints: 8921
19.13/20.13 c DATABASE CLEANUP
19.13/20.13 c GARBAGE COLLECT
19.13/20.13 c rational objective 209
20.01/21.03 c #Conflicts: 38000 | #Constraints: 5905
20.30/21.33 c #Conflicts: 39000 | #Constraints: 6917
20.68/21.71 c #Conflicts: 40000 | #Constraints: 7928
20.97/22.09 c #Conflicts: 41000 | #Constraints: 8936
21.54/22.67 c DATABASE CLEANUP
21.54/22.67 c GARBAGE COLLECT
21.54/22.67 c rational objective 209
22.33/23.47 c #Conflicts: 42000 | #Constraints: 5710
22.71/23.88 c #Conflicts: 43000 | #Constraints: 6728
23.17/24.35 c #Conflicts: 44000 | #Constraints: 7734
23.55/24.79 c #Conflicts: 45000 | #Constraints: 8739
23.95/25.15 c #Conflicts: 46000 | #Constraints: 9743
24.62/25.86 c DATABASE CLEANUP
24.62/25.86 c GARBAGE COLLECT
24.62/25.86 c #Conflicts: 47000 | #Constraints: 6292
24.92/26.12 c #Conflicts: 48000 | #Constraints: 7301
25.10/26.39 c #Conflicts: 49000 | #Constraints: 8312
25.48/26.75 c #Conflicts: 50000 | #Constraints: 9320
25.87/27.15 c #Conflicts: 51000 | #Constraints: 10327
26.15/27.49 c DATABASE CLEANUP
26.15/27.49 c GARBAGE COLLECT
26.15/27.49 c rational objective 209
27.13/28.47 c #Conflicts: 52000 | #Constraints: 6710
27.42/28.77 c #Conflicts: 53000 | #Constraints: 7722
27.72/29.09 c #Conflicts: 54000 | #Constraints: 8732
28.09/29.47 c #Conflicts: 55000 | #Constraints: 9742
28.47/29.88 c #Conflicts: 56000 | #Constraints: 10750
28.87/30.21 c DATABASE CLEANUP
28.87/30.21 c GARBAGE COLLECT
28.87/30.21 c rational objective 209
29.83/31.21 c #Conflicts: 57000 | #Constraints: 6918
30.11/31.55 c #Conflicts: 58000 | #Constraints: 7926
30.38/31.84 c #Conflicts: 59000 | #Constraints: 8932
30.73/32.20 c #Conflicts: 60000 | #Constraints: 9938
31.08/32.61 c #Conflicts: 61000 | #Constraints: 10944
31.38/32.95 c DATABASE CLEANUP
31.38/32.95 c GARBAGE COLLECT
31.38/32.95 c rational objective 209
32.25/33.88 c #Conflicts: 62000 | #Constraints: 6903
32.62/34.22 c #Conflicts: 63000 | #Constraints: 7914
32.89/34.58 c #Conflicts: 64000 | #Constraints: 8919
33.36/35.02 c #Conflicts: 65000 | #Constraints: 9924
33.72/35.47 c #Conflicts: 66000 | #Constraints: 10928
34.30/36.10 c DATABASE CLEANUP
34.30/36.10 c GARBAGE COLLECT
34.30/36.10 c rational objective 209
35.15/36.91 c #Conflicts: 67000 | #Constraints: 6678
35.43/37.26 c #Conflicts: 68000 | #Constraints: 7692
35.70/37.59 c #Conflicts: 69000 | #Constraints: 8702
36.16/38.08 c #Conflicts: 70000 | #Constraints: 9710
36.61/38.52 c #Conflicts: 71000 | #Constraints: 10719
36.98/38.91 c #Conflicts: 72000 | #Constraints: 11727
37.37/39.31 c DATABASE CLEANUP
37.37/39.31 c GARBAGE COLLECT
37.37/39.31 c rational objective 209
38.23/40.27 c #Conflicts: 73000 | #Constraints: 7297
38.57/40.65 c #Conflicts: 74000 | #Constraints: 8310
38.85/40.97 c #Conflicts: 75000 | #Constraints: 9316
39.24/41.32 c #Conflicts: 76000 | #Constraints: 10324
39.60/41.76 c #Conflicts: 77000 | #Constraints: 11329
39.99/42.16 c #Conflicts: 78000 | #Constraints: 12334
40.27/42.46 c DATABASE CLEANUP
40.27/42.46 c GARBAGE COLLECT
40.27/42.46 c rational objective 209
41.23/43.45 c #Conflicts: 79000 | #Constraints: 7710
41.59/43.81 c #Conflicts: 80000 | #Constraints: 8731
41.88/44.15 c #Conflicts: 81000 | #Constraints: 9745
42.26/44.52 c #Conflicts: 82000 | #Constraints: 10756
42.55/44.86 c #Conflicts: 83000 | #Constraints: 11763
42.93/45.23 c #Conflicts: 84000 | #Constraints: 12776
43.24/45.54 c DATABASE CLEANUP
43.24/45.54 c GARBAGE COLLECT
43.24/45.54 c rational objective 209
44.21/46.59 c #Conflicts: 85000 | #Constraints: 7937
44.58/46.97 c #Conflicts: 86000 | #Constraints: 8950
44.97/47.37 c #Conflicts: 87000 | #Constraints: 9961
45.35/47.70 c #Conflicts: 88000 | #Constraints: 10967
45.64/48.09 c #Conflicts: 89000 | #Constraints: 11977
46.12/48.54 c #Conflicts: 90000 | #Constraints: 12991
46.51/48.91 c DATABASE CLEANUP
46.51/48.91 c GARBAGE COLLECT
46.51/48.91 c rational objective 209
47.38/49.84 c #Conflicts: 91000 | #Constraints: 7928
47.77/50.22 c #Conflicts: 92000 | #Constraints: 8937
48.15/50.63 c #Conflicts: 93000 | #Constraints: 9943
48.54/51.06 c #Conflicts: 94000 | #Constraints: 10949
48.91/51.44 c #Conflicts: 95000 | #Constraints: 11959
49.29/51.89 c #Conflicts: 96000 | #Constraints: 12968
50.67/53.22 c DATABASE CLEANUP
50.67/53.22 c GARBAGE COLLECT
50.67/53.22 c #Conflicts: 97000 | #Constraints: 7717
51.04/53.60 c #Conflicts: 98000 | #Constraints: 8727
51.31/53.95 c #Conflicts: 99000 | #Constraints: 9738
51.70/54.33 c #Conflicts: 100000 | #Constraints: 10745
51.99/54.68 c #Conflicts: 101000 | #Constraints: 11753
52.38/55.02 c #Conflicts: 102000 | #Constraints: 12759
52.75/55.46 c #Conflicts: 103000 | #Constraints: 13769
53.25/55.90 c DATABASE CLEANUP
53.25/55.90 c GARBAGE COLLECT
53.25/55.90 c rational objective 209
54.13/56.83 c #Conflicts: 104000 | #Constraints: 8324
54.43/57.15 c #Conflicts: 105000 | #Constraints: 9340
54.71/57.43 c #Conflicts: 106000 | #Constraints: 10352
54.99/57.79 c #Conflicts: 107000 | #Constraints: 11364
55.39/58.14 c #Conflicts: 108000 | #Constraints: 12374
55.67/58.46 c #Conflicts: 109000 | #Constraints: 13383
56.15/58.93 c #Conflicts: 110000 | #Constraints: 14388
56.55/59.33 c DATABASE CLEANUP
56.55/59.33 c GARBAGE COLLECT
56.55/59.33 c rational objective 209
57.52/60.34 c #Conflicts: 111000 | #Constraints: 8707
57.81/60.67 c #Conflicts: 112000 | #Constraints: 9720
58.10/60.95 c #Conflicts: 113000 | #Constraints: 10731
58.39/61.26 c #Conflicts: 114000 | #Constraints: 11744
58.68/61.57 c #Conflicts: 115000 | #Constraints: 12755
59.07/61.93 c #Conflicts: 116000 | #Constraints: 13767
59.45/62.35 c #Conflicts: 117000 | #Constraints: 14776
59.75/62.62 c DATABASE CLEANUP
59.75/62.62 c GARBAGE COLLECT
59.75/62.62 c rational objective 209
60.72/63.60 c #Conflicts: 118000 | #Constraints: 8946
60.92/63.89 c #Conflicts: 119000 | #Constraints: 9964
61.22/64.18 c #Conflicts: 120000 | #Constraints: 10976
61.70/64.65 c #Conflicts: 121000 | #Constraints: 11983
62.09/65.09 c #Conflicts: 122000 | #Constraints: 12990
62.56/65.50 c #Conflicts: 123000 | #Constraints: 14000
62.85/65.89 c #Conflicts: 124000 | #Constraints: 15010
63.25/66.25 c DATABASE CLEANUP
63.25/66.25 c GARBAGE COLLECT
63.25/66.25 c rational objective 209
64.15/67.16 c #Conflicts: 125000 | #Constraints: 8936
64.52/67.50 c #Conflicts: 126000 | #Constraints: 9954
64.80/67.87 c #Conflicts: 127000 | #Constraints: 10968
65.19/68.29 c #Conflicts: 128000 | #Constraints: 11979
65.57/68.65 c #Conflicts: 129000 | #Constraints: 12989
66.07/69.11 c #Conflicts: 130000 | #Constraints: 13995
66.45/69.50 c #Conflicts: 131000 | #Constraints: 15004
66.95/70.08 c DATABASE CLEANUP
66.95/70.08 c GARBAGE COLLECT
66.95/70.08 c rational objective 209
67.72/70.89 c #Conflicts: 132000 | #Constraints: 8739
68.02/71.18 c #Conflicts: 133000 | #Constraints: 9754
68.40/71.51 c #Conflicts: 134000 | #Constraints: 10759
68.69/71.88 c #Conflicts: 135000 | #Constraints: 11769
69.17/72.34 c #Conflicts: 136000 | #Constraints: 12778
69.56/72.73 c #Conflicts: 137000 | #Constraints: 13784
69.96/73.16 c #Conflicts: 138000 | #Constraints: 14793
70.43/73.63 c #Conflicts: 139000 | #Constraints: 15803
70.83/74.09 c DATABASE CLEANUP
70.83/74.09 c GARBAGE COLLECT
70.83/74.09 c rational objective 209
71.82/75.04 c #Conflicts: 140000 | #Constraints: 9358
72.10/75.34 c #Conflicts: 141000 | #Constraints: 10376
72.39/75.66 c #Conflicts: 142000 | #Constraints: 11386
72.79/76.08 c #Conflicts: 143000 | #Constraints: 12394
73.26/76.53 c #Conflicts: 144000 | #Constraints: 13405
73.54/76.88 c #Conflicts: 145000 | #Constraints: 14411
74.02/77.31 c #Conflicts: 146000 | #Constraints: 15417
74.40/77.79 c #Conflicts: 147000 | #Constraints: 16426
74.72/78.07 c DATABASE CLEANUP
74.72/78.07 c GARBAGE COLLECT
74.72/78.07 c rational objective 209
75.79/79.11 c #Conflicts: 148000 | #Constraints: 9763
76.07/79.48 c #Conflicts: 149000 | #Constraints: 10772
76.46/79.86 c #Conflicts: 150000 | #Constraints: 11779
76.84/80.25 c #Conflicts: 151000 | #Constraints: 12787
77.23/80.65 c #Conflicts: 152000 | #Constraints: 13796
77.72/81.14 c #Conflicts: 153000 | #Constraints: 14800
78.19/81.60 c #Conflicts: 154000 | #Constraints: 15807
78.60/82.09 c #Conflicts: 155000 | #Constraints: 16811
79.08/82.59 c DATABASE CLEANUP
79.08/82.59 c GARBAGE COLLECT
79.08/82.59 c rational objective 209
80.16/83.63 c #Conflicts: 156000 | #Constraints: 9928
80.45/83.95 c #Conflicts: 157000 | #Constraints: 10943
80.83/84.34 c #Conflicts: 158000 | #Constraints: 11958
81.22/84.79 c #Conflicts: 159000 | #Constraints: 12974
81.70/85.21 c #Conflicts: 160000 | #Constraints: 13987
82.08/85.61 c #Conflicts: 161000 | #Constraints: 14997
82.49/86.05 c #Conflicts: 162000 | #Constraints: 16005
82.77/86.36 c #Conflicts: 163000 | #Constraints: 17013
83.16/86.72 c DATABASE CLEANUP
83.16/86.72 c GARBAGE COLLECT
83.16/86.72 c rational objective 209
84.05/87.69 c #Conflicts: 164000 | #Constraints: 9951
84.44/88.06 c #Conflicts: 165000 | #Constraints: 10958
84.82/88.40 c #Conflicts: 166000 | #Constraints: 11965
85.21/88.81 c #Conflicts: 167000 | #Constraints: 12973
85.59/89.23 c #Conflicts: 168000 | #Constraints: 13982
86.08/89.71 c #Conflicts: 169000 | #Constraints: 14992
86.48/90.18 c #Conflicts: 170000 | #Constraints: 16000
86.95/90.65 c #Conflicts: 171000 | #Constraints: 17012
87.74/91.41 c DATABASE CLEANUP
87.74/91.41 c GARBAGE COLLECT
87.74/91.41 c rational objective 209
88.53/92.26 c #Conflicts: 172000 | #Constraints: 9755
88.91/92.60 c #Conflicts: 173000 | #Constraints: 10772
89.21/92.96 c #Conflicts: 174000 | #Constraints: 11780
89.59/93.36 c #Conflicts: 175000 | #Constraints: 12791
89.98/93.77 c #Conflicts: 176000 | #Constraints: 13800
90.46/94.21 c #Conflicts: 177000 | #Constraints: 14805
90.85/94.60 c #Conflicts: 178000 | #Constraints: 15812
91.25/95.01 c #Conflicts: 179000 | #Constraints: 16818
91.62/95.47 c #Conflicts: 180000 | #Constraints: 17824
92.02/95.88 c DATABASE CLEANUP
92.02/95.88 c GARBAGE COLLECT
92.02/95.88 c rational objective 209
93.00/96.87 c #Conflicts: 181000 | #Constraints: 10351
93.30/97.18 c #Conflicts: 182000 | #Constraints: 11363
93.67/97.58 c #Conflicts: 183000 | #Constraints: 12369
94.06/97.95 c #Conflicts: 184000 | #Constraints: 13380
94.54/98.43 c #Conflicts: 185000 | #Constraints: 14386
94.93/98.89 c #Conflicts: 186000 | #Constraints: 15394
95.51/99.40 c #Conflicts: 187000 | #Constraints: 16402
95.89/99.81 c #Conflicts: 188000 | #Constraints: 17408
96.28/100.28 c #Conflicts: 189000 | #Constraints: 18417
96.68/100.65 c DATABASE CLEANUP
96.68/100.65 c GARBAGE COLLECT
96.68/100.65 c rational objective 209
97.66/101.67 c #Conflicts: 190000 | #Constraints: 10757
98.05/102.03 c #Conflicts: 191000 | #Constraints: 11770
98.43/102.43 c #Conflicts: 192000 | #Constraints: 12784
98.82/102.82 c #Conflicts: 193000 | #Constraints: 13791
99.20/103.26 c #Conflicts: 194000 | #Constraints: 14797
99.68/103.75 c #Conflicts: 195000 | #Constraints: 15807
100.17/104.29 c #Conflicts: 196000 | #Constraints: 16817
100.74/104.81 c #Conflicts: 197000 | #Constraints: 17824
101.22/105.32 c #Conflicts: 198000 | #Constraints: 18833
101.62/105.73 c DATABASE CLEANUP
101.62/105.73 c GARBAGE COLLECT
101.62/105.73 c rational objective 209
102.70/106.82 c #Conflicts: 199000 | #Constraints: 10973
103.08/107.25 c #Conflicts: 200000 | #Constraints: 11985
103.45/107.69 c #Conflicts: 201000 | #Constraints: 12991
103.85/108.09 c #Conflicts: 202000 | #Constraints: 13995
104.32/108.56 c #Conflicts: 203000 | #Constraints: 15005
104.81/109.07 c #Conflicts: 204000 | #Constraints: 16012
105.37/109.60 c #Conflicts: 205000 | #Constraints: 17023
105.78/110.05 c #Conflicts: 206000 | #Constraints: 18033
106.25/110.50 c #Conflicts: 207000 | #Constraints: 19043
106.55/110.89 c DATABASE CLEANUP
106.55/110.89 c GARBAGE COLLECT
106.55/110.89 c rational objective 209
107.62/111.96 c #Conflicts: 208000 | #Constraints: 10927
108.00/112.38 c #Conflicts: 209000 | #Constraints: 11939
108.48/112.84 c #Conflicts: 210000 | #Constraints: 12954
109.14/113.51 c #Conflicts: 211000 | #Constraints: 13959
109.53/113.96 c #Conflicts: 212000 | #Constraints: 14966
110.02/114.45 c #Conflicts: 213000 | #Constraints: 15978
110.59/115.06 c #Conflicts: 214000 | #Constraints: 16993
110.96/115.49 c #Conflicts: 215000 | #Constraints: 18000
111.44/115.97 c #Conflicts: 216000 | #Constraints: 19007
112.03/116.56 c DATABASE CLEANUP
112.03/116.56 c GARBAGE COLLECT
112.03/116.56 c rational objective 209
112.81/117.39 c #Conflicts: 217000 | #Constraints: 10755
113.20/117.74 c #Conflicts: 218000 | #Constraints: 11767
113.59/118.13 c #Conflicts: 219000 | #Constraints: 12773
113.95/118.52 c #Conflicts: 220000 | #Constraints: 13780
114.33/118.92 c #Conflicts: 221000 | #Constraints: 14786
114.71/119.34 c #Conflicts: 222000 | #Constraints: 15796
115.17/119.81 c #Conflicts: 223000 | #Constraints: 16804
115.62/120.36 c #Conflicts: 224000 | #Constraints: 17811
116.17/120.93 c #Conflicts: 225000 | #Constraints: 18819
116.74/121.50 c #Conflicts: 226000 | #Constraints: 19823
117.03/121.89 c DATABASE CLEANUP
117.03/121.89 c GARBAGE COLLECT
117.03/121.89 c rational objective 209
118.01/122.83 c #Conflicts: 227000 | #Constraints: 11369
118.31/123.18 c #Conflicts: 228000 | #Constraints: 12374
118.77/123.66 c #Conflicts: 229000 | #Constraints: 13380
119.15/124.06 c #Conflicts: 230000 | #Constraints: 14388
119.62/124.54 c #Conflicts: 231000 | #Constraints: 15397
120.21/125.13 c #Conflicts: 232000 | #Constraints: 16407
120.68/125.66 c #Conflicts: 233000 | #Constraints: 17414
121.26/126.24 c #Conflicts: 234000 | #Constraints: 18420
121.84/126.82 c #Conflicts: 235000 | #Constraints: 19426
122.32/127.37 c #Conflicts: 236000 | #Constraints: 20430
122.61/127.69 c DATABASE CLEANUP
122.61/127.69 c GARBAGE COLLECT
122.61/127.69 c rational objective 209
123.68/128.78 c #Conflicts: 237000 | #Constraints: 11753
124.08/129.19 c #Conflicts: 238000 | #Constraints: 12766
124.45/129.55 c #Conflicts: 239000 | #Constraints: 13777
124.83/129.95 c #Conflicts: 240000 | #Constraints: 14789
125.22/130.32 c #Conflicts: 241000 | #Constraints: 15802
125.70/130.80 c #Conflicts: 242000 | #Constraints: 16816
126.17/131.30 c #Conflicts: 243000 | #Constraints: 17829
126.57/131.79 c #Conflicts: 244000 | #Constraints: 18835
127.05/132.24 c #Conflicts: 245000 | #Constraints: 19843
127.71/132.92 c #Conflicts: 246000 | #Constraints: 20850
128.11/133.31 c DATABASE CLEANUP
128.11/133.31 c GARBAGE COLLECT
128.11/133.31 c rational objective 209
129.18/134.46 c #Conflicts: 247000 | #Constraints: 11949
129.65/134.90 c #Conflicts: 248000 | #Constraints: 12959
130.04/135.33 c #Conflicts: 249000 | #Constraints: 13966
130.61/135.97 c #Conflicts: 250000 | #Constraints: 14974
131.09/136.41 c #Conflicts: 251000 | #Constraints: 15990
131.47/136.86 c #Conflicts: 252000 | #Constraints: 16999
131.96/137.34 c #Conflicts: 253000 | #Constraints: 18006
132.44/137.80 c #Conflicts: 254000 | #Constraints: 19014
132.83/138.25 c #Conflicts: 255000 | #Constraints: 20022
133.31/138.75 c #Conflicts: 256000 | #Constraints: 21028
133.72/139.15 c DATABASE CLEANUP
133.72/139.15 c GARBAGE COLLECT
133.72/139.15 c rational objective 209
134.70/140.11 c #Conflicts: 257000 | #Constraints: 11950
134.97/140.40 c #Conflicts: 258000 | #Constraints: 12959
135.35/140.84 c #Conflicts: 259000 | #Constraints: 13973
135.73/141.22 c #Conflicts: 260000 | #Constraints: 14980
136.10/141.64 c #Conflicts: 261000 | #Constraints: 15989
136.49/142.07 c #Conflicts: 262000 | #Constraints: 16997
136.96/142.53 c #Conflicts: 263000 | #Constraints: 18004
137.44/143.01 c #Conflicts: 264000 | #Constraints: 19014
137.81/143.49 c #Conflicts: 265000 | #Constraints: 20020
138.40/144.03 c #Conflicts: 266000 | #Constraints: 21029
138.98/144.68 c DATABASE CLEANUP
138.98/144.68 c GARBAGE COLLECT
138.98/144.68 c rational objective 209
139.85/145.54 c #Conflicts: 267000 | #Constraints: 11753
140.23/145.91 c #Conflicts: 268000 | #Constraints: 12763
140.52/146.29 c #Conflicts: 269000 | #Constraints: 13768
140.90/146.69 c #Conflicts: 270000 | #Constraints: 14776
141.46/147.22 c #Conflicts: 271000 | #Constraints: 15783
141.92/147.72 c #Conflicts: 272000 | #Constraints: 16792
142.40/148.23 c #Conflicts: 273000 | #Constraints: 17799
142.78/148.67 c #Conflicts: 274000 | #Constraints: 18811
143.35/149.24 c #Conflicts: 275000 | #Constraints: 19817
143.83/149.75 c #Conflicts: 276000 | #Constraints: 20825
144.30/150.25 c #Conflicts: 277000 | #Constraints: 21831
144.69/150.60 c DATABASE CLEANUP
144.69/150.60 c GARBAGE COLLECT
144.69/150.60 c rational objective 209
145.67/151.61 c #Conflicts: 278000 | #Constraints: 12359
146.05/152.02 c #Conflicts: 279000 | #Constraints: 13370
146.42/152.44 c #Conflicts: 280000 | #Constraints: 14377
146.80/152.82 c #Conflicts: 281000 | #Constraints: 15385
147.17/153.25 c #Conflicts: 282000 | #Constraints: 16393
147.65/153.70 c #Conflicts: 283000 | #Constraints: 17400
148.05/154.14 c #Conflicts: 284000 | #Constraints: 18412
148.42/154.54 c #Conflicts: 285000 | #Constraints: 19420
148.91/155.02 c #Conflicts: 286000 | #Constraints: 20425
149.28/155.45 c #Conflicts: 287000 | #Constraints: 21433
149.76/155.97 c #Conflicts: 288000 | #Constraints: 22437
150.16/156.31 c DATABASE CLEANUP
150.16/156.31 c GARBAGE COLLECT
150.16/156.31 c rational objective 209
151.13/157.36 c #Conflicts: 289000 | #Constraints: 12764
151.42/157.70 c #Conflicts: 290000 | #Constraints: 13775
151.81/158.08 c #Conflicts: 291000 | #Constraints: 14788
152.27/158.52 c #Conflicts: 292000 | #Constraints: 15794
152.66/158.91 c #Conflicts: 293000 | #Constraints: 16800
153.03/159.33 c #Conflicts: 294000 | #Constraints: 17805
153.41/159.77 c #Conflicts: 295000 | #Constraints: 18815
153.88/160.21 c #Conflicts: 296000 | #Constraints: 19820
154.35/160.71 c #Conflicts: 297000 | #Constraints: 20831
154.76/161.14 c #Conflicts: 298000 | #Constraints: 21839
155.22/161.62 c #Conflicts: 299000 | #Constraints: 22851
155.81/162.29 c DATABASE CLEANUP
155.81/162.29 c GARBAGE COLLECT
155.81/162.29 c rational objective 209
156.88/163.39 c #Conflicts: 300000 | #Constraints: 12976
157.26/163.72 c #Conflicts: 301000 | #Constraints: 13987
157.55/164.10 c #Conflicts: 302000 | #Constraints: 14998
158.01/164.56 c #Conflicts: 303000 | #Constraints: 16013
158.39/164.94 c #Conflicts: 304000 | #Constraints: 17026
158.76/165.39 c #Conflicts: 305000 | #Constraints: 18035
159.24/165.83 c #Conflicts: 306000 | #Constraints: 19042
159.61/166.29 c #Conflicts: 307000 | #Constraints: 20049
160.08/166.75 c #Conflicts: 308000 | #Constraints: 21063
160.55/167.22 c #Conflicts: 309000 | #Constraints: 22074
161.03/167.73 c #Conflicts: 310000 | #Constraints: 23083
161.44/168.14 c DATABASE CLEANUP
161.44/168.14 c GARBAGE COLLECT
161.44/168.14 c rational objective 209
162.40/169.14 c #Conflicts: 311000 | #Constraints: 13000
162.76/169.55 c #Conflicts: 312000 | #Constraints: 14011
163.13/169.96 c #Conflicts: 313000 | #Constraints: 15025
163.78/170.64 c #Conflicts: 314000 | #Constraints: 16035
164.25/171.16 c #Conflicts: 315000 | #Constraints: 17052
164.71/171.63 c #Conflicts: 316000 | #Constraints: 18059
165.19/172.13 c #Conflicts: 317000 | #Constraints: 19069
165.65/172.62 c #Conflicts: 318000 | #Constraints: 20076
166.14/173.16 c #Conflicts: 319000 | #Constraints: 21086
166.68/173.77 c #Conflicts: 320000 | #Constraints: 22099
167.23/174.36 c #Conflicts: 321000 | #Constraints: 23107
167.92/175.01 c DATABASE CLEANUP
167.92/175.01 c GARBAGE COLLECT
167.92/175.01 c rational objective 209
168.68/175.84 c #Conflicts: 322000 | #Constraints: 12797
168.98/176.19 c #Conflicts: 323000 | #Constraints: 13814
169.35/176.57 c #Conflicts: 324000 | #Constraints: 14827
169.73/176.97 c #Conflicts: 325000 | #Constraints: 15835
170.10/177.39 c #Conflicts: 326000 | #Constraints: 16846
170.67/177.94 c #Conflicts: 327000 | #Constraints: 17852
171.13/178.47 c #Conflicts: 328000 | #Constraints: 18857
171.71/179.04 c #Conflicts: 329000 | #Constraints: 19863
172.26/179.65 c #Conflicts: 330000 | #Constraints: 20869
172.83/180.28 c #Conflicts: 331000 | #Constraints: 21879
173.40/180.84 c #Conflicts: 332000 | #Constraints: 22886
173.97/181.46 c #Conflicts: 333000 | #Constraints: 23895
174.36/181.88 c DATABASE CLEANUP
174.36/181.88 c GARBAGE COLLECT
174.36/181.88 c rational objective 209
175.43/182.93 c #Conflicts: 334000 | #Constraints: 13393
175.81/183.31 c #Conflicts: 335000 | #Constraints: 14403
176.10/183.67 c #Conflicts: 336000 | #Constraints: 15410
176.49/184.03 c #Conflicts: 337000 | #Constraints: 16418
176.86/184.43 c #Conflicts: 338000 | #Constraints: 17430
177.24/184.88 c #Conflicts: 339000 | #Constraints: 18441
177.78/185.43 c #Conflicts: 340000 | #Constraints: 19447
178.46/186.15 c #Conflicts: 341000 | #Constraints: 20462
179.02/186.74 c #Conflicts: 342000 | #Constraints: 21477
179.49/187.26 c #Conflicts: 343000 | #Constraints: 22493
180.05/187.89 c #Conflicts: 344000 | #Constraints: 23499
180.71/188.51 c #Conflicts: 345000 | #Constraints: 24512
181.40/189.22 c DATABASE CLEANUP
181.40/189.22 c GARBAGE COLLECT
181.40/189.22 c rational objective 209
182.47/190.35 c #Conflicts: 346000 | #Constraints: 13800
182.85/190.78 c #Conflicts: 347000 | #Constraints: 14811
183.25/191.13 c #Conflicts: 348000 | #Constraints: 15826
183.62/191.54 c #Conflicts: 349000 | #Constraints: 16836
184.00/191.91 c #Conflicts: 350000 | #Constraints: 17844
184.38/192.32 c #Conflicts: 351000 | #Constraints: 18851
184.77/192.72 c #Conflicts: 352000 | #Constraints: 19857
185.24/193.23 c #Conflicts: 353000 | #Constraints: 20863
185.62/193.68 c #Conflicts: 354000 | #Constraints: 21872
186.11/194.12 c #Conflicts: 355000 | #Constraints: 22881
186.57/194.63 c #Conflicts: 356000 | #Constraints: 23890
187.06/195.17 c #Conflicts: 357000 | #Constraints: 24899
187.34/195.44 c DATABASE CLEANUP
187.34/195.44 c GARBAGE COLLECT
187.34/195.44 c rational objective 209
188.41/196.54 c #Conflicts: 358000 | #Constraints: 13994
188.68/196.87 c #Conflicts: 359000 | #Constraints: 15004
189.05/197.26 c #Conflicts: 360000 | #Constraints: 16019
189.43/197.66 c #Conflicts: 361000 | #Constraints: 17028
189.81/198.03 c #Conflicts: 362000 | #Constraints: 18037
190.17/198.45 c #Conflicts: 363000 | #Constraints: 19045
190.55/198.87 c #Conflicts: 364000 | #Constraints: 20051
191.00/199.32 c #Conflicts: 365000 | #Constraints: 21058
191.37/199.77 c #Conflicts: 366000 | #Constraints: 22067
191.84/200.25 c #Conflicts: 367000 | #Constraints: 23076
192.31/200.74 c #Conflicts: 368000 | #Constraints: 24081
192.77/201.20 c #Conflicts: 369000 | #Constraints: 25090
193.16/201.61 c DATABASE CLEANUP
193.16/201.61 c GARBAGE COLLECT
193.16/201.61 c rational objective 209
194.03/202.59 c #Conflicts: 370000 | #Constraints: 14008
194.41/202.94 c #Conflicts: 371000 | #Constraints: 15014
194.78/203.33 c #Conflicts: 372000 | #Constraints: 16016
195.15/203.71 c #Conflicts: 373000 | #Constraints: 17026
195.54/204.12 c #Conflicts: 374000 | #Constraints: 18036
195.98/204.64 c #Conflicts: 375000 | #Constraints: 19043
196.36/205.10 c #Conflicts: 376000 | #Constraints: 20050
196.93/205.62 c #Conflicts: 377000 | #Constraints: 21056
197.33/206.09 c #Conflicts: 378000 | #Constraints: 22061
197.79/206.53 c #Conflicts: 379000 | #Constraints: 23069
198.18/206.92 c #Conflicts: 380000 | #Constraints: 24072
198.54/207.37 c #Conflicts: 381000 | #Constraints: 25079
199.23/208.02 c DATABASE CLEANUP
199.23/208.02 c GARBAGE COLLECT
199.23/208.02 c rational objective 209
200.01/208.88 c #Conflicts: 382000 | #Constraints: 13792
200.39/209.24 c #Conflicts: 383000 | #Constraints: 14801
200.77/209.61 c #Conflicts: 384000 | #Constraints: 15808
201.05/209.97 c #Conflicts: 385000 | #Constraints: 16818
201.44/210.34 c #Conflicts: 386000 | #Constraints: 17828
201.81/210.74 c #Conflicts: 387000 | #Constraints: 18842
202.20/211.17 c #Conflicts: 388000 | #Constraints: 19854
202.67/211.60 c #Conflicts: 389000 | #Constraints: 20868
203.07/212.04 c #Conflicts: 390000 | #Constraints: 21881
203.44/212.46 c #Conflicts: 391000 | #Constraints: 22892
203.83/212.86 c #Conflicts: 392000 | #Constraints: 23898
204.30/213.34 c #Conflicts: 393000 | #Constraints: 24906
204.78/213.80 c #Conflicts: 394000 | #Constraints: 25917
205.18/214.20 c DATABASE CLEANUP
205.18/214.20 c GARBAGE COLLECT
205.18/214.20 c rational objective 209
206.13/215.20 c #Conflicts: 395000 | #Constraints: 14431
206.42/215.52 c #Conflicts: 396000 | #Constraints: 15440
206.71/215.89 c #Conflicts: 397000 | #Constraints: 16443
207.09/216.27 c #Conflicts: 398000 | #Constraints: 17448
207.47/216.63 c #Conflicts: 399000 | #Constraints: 18452
207.85/217.04 c #Conflicts: 400000 | #Constraints: 19455
208.21/217.47 c #Conflicts: 401000 | #Constraints: 20462
208.59/217.87 c #Conflicts: 402000 | #Constraints: 21469
208.97/218.29 c #Conflicts: 403000 | #Constraints: 22473
209.34/218.69 c #Conflicts: 404000 | #Constraints: 23475
209.80/219.12 c #Conflicts: 405000 | #Constraints: 24481
210.16/219.55 c #Conflicts: 406000 | #Constraints: 25484
210.54/219.99 c #Conflicts: 407000 | #Constraints: 26489
211.03/220.43 c DATABASE CLEANUP
211.03/220.43 c GARBAGE COLLECT
211.03/220.43 c rational objective 209
212.06/221.51 c #Conflicts: 408000 | #Constraints: 14799
212.33/221.89 c #Conflicts: 409000 | #Constraints: 15808
212.71/222.25 c #Conflicts: 410000 | #Constraints: 16814
213.08/222.61 c #Conflicts: 411000 | #Constraints: 17820
213.48/223.01 c #Conflicts: 412000 | #Constraints: 18830
213.74/223.37 c #Conflicts: 413000 | #Constraints: 19843
214.13/223.72 c #Conflicts: 414000 | #Constraints: 20851
214.51/224.13 c #Conflicts: 415000 | #Constraints: 21866
214.94/224.61 c #Conflicts: 416000 | #Constraints: 22880
215.32/225.10 c #Conflicts: 417000 | #Constraints: 23893
215.77/225.56 c #Conflicts: 418000 | #Constraints: 24901
216.25/226.05 c #Conflicts: 419000 | #Constraints: 25912
216.79/226.66 c #Conflicts: 420000 | #Constraints: 26922
217.09/226.95 c DATABASE CLEANUP
217.09/226.95 c GARBAGE COLLECT
217.09/226.95 c rational objective 209
218.22/228.11 c #Conflicts: 421000 | #Constraints: 15022
218.45/228.49 c #Conflicts: 422000 | #Constraints: 16022
218.90/228.95 c #Conflicts: 423000 | #Constraints: 17023
219.27/229.35 c #Conflicts: 424000 | #Constraints: 18023
219.74/229.87 c #Conflicts: 425000 | #Constraints: 19028
220.21/230.38 c #Conflicts: 426000 | #Constraints: 20034
220.67/230.84 c #Conflicts: 427000 | #Constraints: 21040
221.15/231.35 c #Conflicts: 428000 | #Constraints: 22045
221.63/231.89 c #Conflicts: 429000 | #Constraints: 23054
222.29/232.59 c #Conflicts: 430000 | #Constraints: 24064
223.04/233.36 c #Conflicts: 431000 | #Constraints: 25068
223.70/234.05 c #Conflicts: 432000 | #Constraints: 26072
224.35/234.71 c #Conflicts: 433000 | #Constraints: 27082
224.84/235.25 c DATABASE CLEANUP
224.84/235.25 c GARBAGE COLLECT
224.84/235.25 c rational objective 209
225.81/236.23 c #Conflicts: 434000 | #Constraints: 15007
226.10/236.56 c #Conflicts: 435000 | #Constraints: 16009
226.48/236.91 c #Conflicts: 436000 | #Constraints: 17013
226.87/237.30 c #Conflicts: 437000 | #Constraints: 18019
227.16/237.65 c #Conflicts: 438000 | #Constraints: 19025
227.55/238.03 c #Conflicts: 439000 | #Constraints: 20034
227.91/238.48 c #Conflicts: 440000 | #Constraints: 21037
228.37/238.92 c #Conflicts: 441000 | #Constraints: 22047
228.84/239.42 c #Conflicts: 442000 | #Constraints: 23055
229.32/239.94 c #Conflicts: 443000 | #Constraints: 24060
229.79/240.42 c #Conflicts: 444000 | #Constraints: 25066
230.27/240.91 c #Conflicts: 445000 | #Constraints: 26073
230.81/241.50 c #Conflicts: 446000 | #Constraints: 27080
231.48/242.23 c DATABASE CLEANUP
231.48/242.23 c GARBAGE COLLECT
231.48/242.23 c rational objective 209
232.28/243.05 c #Conflicts: 447000 | #Constraints: 14803
232.56/243.35 c #Conflicts: 448000 | #Constraints: 15807
232.85/243.69 c #Conflicts: 449000 | #Constraints: 16810
233.24/244.09 c #Conflicts: 450000 | #Constraints: 17813
233.61/244.47 c #Conflicts: 451000 | #Constraints: 18821
234.00/244.88 c #Conflicts: 452000 | #Constraints: 19825
234.39/245.25 c #Conflicts: 453000 | #Constraints: 20828
234.77/245.66 c #Conflicts: 454000 | #Constraints: 21833
235.17/246.09 c #Conflicts: 455000 | #Constraints: 22836
235.55/246.47 c #Conflicts: 456000 | #Constraints: 23839
236.03/246.92 c #Conflicts: 457000 | #Constraints: 24846
236.42/247.38 c #Conflicts: 458000 | #Constraints: 25848
236.90/247.88 c #Conflicts: 459000 | #Constraints: 26853
237.38/248.37 c #Conflicts: 460000 | #Constraints: 27857
237.77/248.74 c DATABASE CLEANUP
237.77/248.74 c GARBAGE COLLECT
237.77/248.74 c rational objective 209
238.66/249.62 c #Conflicts: 461000 | #Constraints: 15392
238.95/249.93 c #Conflicts: 462000 | #Constraints: 16395
239.24/250.24 c #Conflicts: 463000 | #Constraints: 17400
239.52/250.58 c #Conflicts: 464000 | #Constraints: 18410
239.90/250.93 c #Conflicts: 465000 | #Constraints: 19419
240.29/251.34 c #Conflicts: 466000 | #Constraints: 20425
240.66/251.74 c #Conflicts: 467000 | #Constraints: 21428
241.04/252.16 c #Conflicts: 468000 | #Constraints: 22434
241.41/252.56 c #Conflicts: 469000 | #Constraints: 23436
241.79/253.00 c #Conflicts: 470000 | #Constraints: 24444
242.26/253.42 c #Conflicts: 471000 | #Constraints: 25446
242.65/253.89 c #Conflicts: 472000 | #Constraints: 26447
243.12/254.35 c #Conflicts: 473000 | #Constraints: 27450
243.60/254.83 c #Conflicts: 474000 | #Constraints: 28454
243.91/255.12 c DATABASE CLEANUP
243.91/255.12 c GARBAGE COLLECT
243.91/255.12 c rational objective 209
244.89/256.14 c #Conflicts: 475000 | #Constraints: 15783
245.16/256.47 c #Conflicts: 476000 | #Constraints: 16789
245.55/256.83 c #Conflicts: 477000 | #Constraints: 17799
245.84/257.19 c #Conflicts: 478000 | #Constraints: 18804
246.21/257.53 c #Conflicts: 479000 | #Constraints: 19806
246.58/257.94 c #Conflicts: 480000 | #Constraints: 20812
246.96/258.36 c #Conflicts: 481000 | #Constraints: 21817
247.36/258.77 c #Conflicts: 482000 | #Constraints: 22820
247.74/259.18 c #Conflicts: 483000 | #Constraints: 23824
248.19/259.63 c #Conflicts: 484000 | #Constraints: 24828
248.58/260.10 c #Conflicts: 485000 | #Constraints: 25834
249.05/260.59 c #Conflicts: 486000 | #Constraints: 26838
249.64/261.14 c #Conflicts: 487000 | #Constraints: 27842
250.01/261.52 c #Conflicts: 488000 | #Constraints: 28842
250.30/261.82 c DATABASE CLEANUP
250.30/261.82 c GARBAGE COLLECT
250.30/261.82 c rational objective 209
251.25/262.84 c #Conflicts: 489000 | #Constraints: 15989
251.62/263.20 c #Conflicts: 490000 | #Constraints: 16994
251.91/263.58 c #Conflicts: 491000 | #Constraints: 18002
252.30/263.98 c #Conflicts: 492000 | #Constraints: 19005
252.58/264.29 c #Conflicts: 493000 | #Constraints: 20010
252.97/264.65 c #Conflicts: 494000 | #Constraints: 21015
253.37/265.02 c #Conflicts: 495000 | #Constraints: 22017
253.65/265.38 c #Conflicts: 496000 | #Constraints: 23021
254.03/265.78 c #Conflicts: 497000 | #Constraints: 24028
254.43/266.16 c #Conflicts: 498000 | #Constraints: 25031
254.79/266.54 c #Conflicts: 499000 | #Constraints: 26038
255.19/266.92 c #Conflicts: 500000 | #Constraints: 27048
255.66/267.40 c #Conflicts: 501000 | #Constraints: 28054
255.95/267.75 c #Conflicts: 502000 | #Constraints: 29054
256.25/268.08 c DATABASE CLEANUP
256.25/268.08 c GARBAGE COLLECT
256.25/268.08 c rational objective 209
257.23/269.01 c #Conflicts: 503000 | #Constraints: 16003
257.50/269.37 c #Conflicts: 504000 | #Constraints: 17008
257.97/269.81 c #Conflicts: 505000 | #Constraints: 18013
258.35/270.23 c #Conflicts: 506000 | #Constraints: 19021
258.73/270.65 c #Conflicts: 507000 | #Constraints: 20023
259.13/271.02 c #Conflicts: 508000 | #Constraints: 21027
259.51/271.49 c #Conflicts: 509000 | #Constraints: 22035
259.89/271.82 c #Conflicts: 510000 | #Constraints: 23035
260.28/272.23 c #Conflicts: 511000 | #Constraints: 24040
260.75/272.71 c #Conflicts: 512000 | #Constraints: 25046
261.14/273.13 c #Conflicts: 513000 | #Constraints: 26055
261.51/273.55 c #Conflicts: 514000 | #Constraints: 27065
261.88/274.00 c #Conflicts: 515000 | #Constraints: 28071
262.36/274.40 c #Conflicts: 516000 | #Constraints: 29077
263.05/275.17 c DATABASE CLEANUP
263.05/275.17 c GARBAGE COLLECT
263.05/275.17 c rational objective 209
263.82/275.98 c #Conflicts: 517000 | #Constraints: 15814
264.21/276.32 c #Conflicts: 518000 | #Constraints: 16818
264.50/276.65 c #Conflicts: 519000 | #Constraints: 17820
264.90/277.01 c #Conflicts: 520000 | #Constraints: 18825
265.27/277.40 c #Conflicts: 521000 | #Constraints: 19828
265.56/277.71 c #Conflicts: 522000 | #Constraints: 20829
265.86/278.08 c #Conflicts: 523000 | #Constraints: 21834
266.23/278.42 c #Conflicts: 524000 | #Constraints: 22837
266.52/278.78 c #Conflicts: 525000 | #Constraints: 23843
266.91/279.15 c #Conflicts: 526000 | #Constraints: 24848
267.29/279.53 c #Conflicts: 527000 | #Constraints: 25853
267.67/279.90 c #Conflicts: 528000 | #Constraints: 26857
267.96/280.26 c #Conflicts: 529000 | #Constraints: 27862
268.35/280.66 c #Conflicts: 530000 | #Constraints: 28863
268.75/281.08 c #Conflicts: 531000 | #Constraints: 29868
269.12/281.46 c DATABASE CLEANUP
269.12/281.46 c GARBAGE COLLECT
269.12/281.46 c rational objective 209
270.09/282.47 c #Conflicts: 532000 | #Constraints: 16403
270.46/282.81 c #Conflicts: 533000 | #Constraints: 17410
270.82/283.21 c #Conflicts: 534000 | #Constraints: 18415
271.10/283.56 c #Conflicts: 535000 | #Constraints: 19416
271.45/284.00 c #Conflicts: 536000 | #Constraints: 20420
271.82/284.38 c #Conflicts: 537000 | #Constraints: 21425
272.27/284.80 c #Conflicts: 538000 | #Constraints: 22427
272.62/285.23 c #Conflicts: 539000 | #Constraints: 23431
272.95/285.68 c #Conflicts: 540000 | #Constraints: 24439
273.32/286.08 c #Conflicts: 541000 | #Constraints: 25444
273.68/286.48 c #Conflicts: 542000 | #Constraints: 26451
274.06/286.87 c #Conflicts: 543000 | #Constraints: 27458
274.54/287.30 c #Conflicts: 544000 | #Constraints: 28463
274.82/287.67 c #Conflicts: 545000 | #Constraints: 29464
275.22/288.10 c #Conflicts: 546000 | #Constraints: 30466
275.49/288.36 c DATABASE CLEANUP
275.49/288.36 c GARBAGE COLLECT
275.49/288.36 c rational objective 209
276.56/289.47 c #Conflicts: 547000 | #Constraints: 16804
276.94/289.82 c #Conflicts: 548000 | #Constraints: 17805
277.32/290.22 c #Conflicts: 549000 | #Constraints: 18814
277.69/290.63 c #Conflicts: 550000 | #Constraints: 19821
277.98/291.01 c #Conflicts: 551000 | #Constraints: 20836
278.37/291.38 c #Conflicts: 552000 | #Constraints: 21844
278.75/291.75 c #Conflicts: 553000 | #Constraints: 22847
279.15/292.13 c #Conflicts: 554000 | #Constraints: 23851
279.52/292.54 c #Conflicts: 555000 | #Constraints: 24857
279.91/292.96 c #Conflicts: 556000 | #Constraints: 25860
280.39/293.40 c #Conflicts: 557000 | #Constraints: 26863
280.77/293.85 c #Conflicts: 558000 | #Constraints: 27868
281.16/294.25 c #Conflicts: 559000 | #Constraints: 28876
281.54/294.65 c #Conflicts: 560000 | #Constraints: 29885
282.02/295.19 c #Conflicts: 561000 | #Constraints: 30889
282.40/295.51 c DATABASE CLEANUP
282.40/295.51 c GARBAGE COLLECT
282.40/295.51 c rational objective 209
283.38/296.58 c #Conflicts: 562000 | #Constraints: 17017
283.76/296.98 c #Conflicts: 563000 | #Constraints: 18019
284.14/297.32 c #Conflicts: 564000 | #Constraints: 19019
284.52/297.70 c #Conflicts: 565000 | #Constraints: 20024
284.82/298.10 c #Conflicts: 566000 | #Constraints: 21032
285.17/298.49 c #Conflicts: 567000 | #Constraints: 22039
285.56/298.85 c #Conflicts: 568000 | #Constraints: 23041
285.94/299.24 c #Conflicts: 569000 | #Constraints: 24046
286.42/299.74 c #Conflicts: 570000 | #Constraints: 25052
286.71/300.08 c #Conflicts: 571000 | #Constraints: 26052
287.08/300.45 c #Conflicts: 572000 | #Constraints: 27053
287.55/300.90 c #Conflicts: 573000 | #Constraints: 28058
287.93/301.35 c #Conflicts: 574000 | #Constraints: 29062
288.31/301.75 c #Conflicts: 575000 | #Constraints: 30063
288.72/302.15 c #Conflicts: 576000 | #Constraints: 31067
289.10/302.56 c DATABASE CLEANUP
289.10/302.56 c GARBAGE COLLECT
289.10/302.56 c rational objective 209
290.07/303.55 c #Conflicts: 577000 | #Constraints: 17002
290.46/303.95 c #Conflicts: 578000 | #Constraints: 18004
290.84/304.37 c #Conflicts: 579000 | #Constraints: 19007
291.22/304.78 c #Conflicts: 580000 | #Constraints: 20008
291.60/305.17 c #Conflicts: 581000 | #Constraints: 21010
291.97/305.53 c #Conflicts: 582000 | #Constraints: 22015
292.36/305.92 c #Conflicts: 583000 | #Constraints: 23017
292.75/306.35 c #Conflicts: 584000 | #Constraints: 24018
293.13/306.74 c #Conflicts: 585000 | #Constraints: 25020
293.61/307.23 c #Conflicts: 586000 | #Constraints: 26022
293.99/307.60 c #Conflicts: 587000 | #Constraints: 27023
294.28/308.01 c #Conflicts: 588000 | #Constraints: 28030
294.77/308.46 c #Conflicts: 589000 | #Constraints: 29036
295.15/308.86 c #Conflicts: 590000 | #Constraints: 30037
295.54/309.30 c #Conflicts: 591000 | #Constraints: 31038
296.23/309.92 c DATABASE CLEANUP
296.23/309.92 c GARBAGE COLLECT
296.23/309.92 c rational objective 209
297.02/310.72 c #Conflicts: 592000 | #Constraints: 16804
297.31/311.08 c #Conflicts: 593000 | #Constraints: 17809
297.69/311.42 c #Conflicts: 594000 | #Constraints: 18811
297.98/311.79 c #Conflicts: 595000 | #Constraints: 19815
298.37/312.15 c #Conflicts: 596000 | #Constraints: 20816
298.73/312.53 c #Conflicts: 597000 | #Constraints: 21817
299.08/312.93 c #Conflicts: 598000 | #Constraints: 22820
299.46/313.33 c #Conflicts: 599000 | #Constraints: 23824
299.95/313.88 c #Conflicts: 600000 | #Constraints: 24828
300.33/314.22 c #Conflicts: 601000 | #Constraints: 25828
300.61/314.56 c #Conflicts: 602000 | #Constraints: 26828
301.10/315.04 c #Conflicts: 603000 | #Constraints: 27831
301.46/315.46 c #Conflicts: 604000 | #Constraints: 28831
301.84/315.87 c #Conflicts: 605000 | #Constraints: 29831
302.33/316.31 c #Conflicts: 606000 | #Constraints: 30834
302.72/316.78 c #Conflicts: 607000 | #Constraints: 31837
303.32/317.33 c DATABASE CLEANUP
303.32/317.33 c GARBAGE COLLECT
303.32/317.33 c rational objective 209
304.19/318.28 c #Conflicts: 608000 | #Constraints: 17393
304.59/318.62 c #Conflicts: 609000 | #Constraints: 18396
304.88/318.91 c #Conflicts: 610000 | #Constraints: 19397
305.17/319.25 c #Conflicts: 611000 | #Constraints: 20399
305.56/319.64 c #Conflicts: 612000 | #Constraints: 21401
305.85/319.92 c #Conflicts: 613000 | #Constraints: 22401
306.14/320.26 c #Conflicts: 614000 | #Constraints: 23403
306.53/320.65 c #Conflicts: 615000 | #Constraints: 24404
306.81/320.96 c #Conflicts: 616000 | #Constraints: 25404
307.20/321.30 c #Conflicts: 617000 | #Constraints: 26407
307.49/321.69 c #Conflicts: 618000 | #Constraints: 27409
307.89/322.05 c #Conflicts: 619000 | #Constraints: 28411
308.35/322.53 c #Conflicts: 620000 | #Constraints: 29413
308.73/322.98 c #Conflicts: 621000 | #Constraints: 30413
309.28/323.50 c #Conflicts: 622000 | #Constraints: 31416
309.76/324.01 c #Conflicts: 623000 | #Constraints: 32419
310.05/324.35 c DATABASE CLEANUP
310.05/324.35 c GARBAGE COLLECT
310.05/324.35 c rational objective 209
311.12/325.45 c #Conflicts: 624000 | #Constraints: 17817
311.40/325.71 c #Conflicts: 625000 | #Constraints: 18817
311.70/326.06 c #Conflicts: 626000 | #Constraints: 19818
311.97/326.35 c #Conflicts: 627000 | #Constraints: 20818
312.36/326.76 c #Conflicts: 628000 | #Constraints: 21819
312.65/327.03 c #Conflicts: 629000 | #Constraints: 22819
312.93/327.32 c #Conflicts: 630000 | #Constraints: 23819
313.42/327.81 c #Conflicts: 631000 | #Constraints: 24821
313.72/328.11 c #Conflicts: 632000 | #Constraints: 25821
314.00/328.41 c #Conflicts: 633000 | #Constraints: 26821
314.29/328.74 c #Conflicts: 634000 | #Constraints: 27822
314.69/329.15 c #Conflicts: 635000 | #Constraints: 28825
315.06/329.51 c #Conflicts: 636000 | #Constraints: 29828
315.34/329.87 c #Conflicts: 637000 | #Constraints: 30829
315.73/330.27 c #Conflicts: 638000 | #Constraints: 31831
316.22/330.76 c #Conflicts: 639000 | #Constraints: 32833
316.42/330.97 c DATABASE CLEANUP
316.42/330.97 c GARBAGE COLLECT
316.42/330.97 c rational objective 209
317.40/331.92 c #Conflicts: 640000 | #Constraints: 17997
317.78/332.31 c #Conflicts: 641000 | #Constraints: 18997
318.06/332.63 c #Conflicts: 642000 | #Constraints: 20000
318.48/333.04 c #Conflicts: 643000 | #Constraints: 21002
318.75/333.31 c #Conflicts: 644000 | #Constraints: 22002
319.12/333.75 c #Conflicts: 645000 | #Constraints: 23002
319.69/334.30 c #Conflicts: 646000 | #Constraints: 24003
320.26/334.93 c #Conflicts: 647000 | #Constraints: 25010
320.73/335.49 c #Conflicts: 648000 | #Constraints: 26013
321.32/336.03 c #Conflicts: 649000 | #Constraints: 27020
321.78/336.53 c #Conflicts: 650000 | #Constraints: 28030
322.27/337.09 c #Conflicts: 651000 | #Constraints: 29037
322.92/337.70 c #Conflicts: 652000 | #Constraints: 30037
323.40/338.27 c #Conflicts: 653000 | #Constraints: 31040
323.97/338.86 c #Conflicts: 654000 | #Constraints: 32044
324.64/339.50 c #Conflicts: 655000 | #Constraints: 33049
325.03/339.94 c DATABASE CLEANUP
325.03/339.94 c GARBAGE COLLECT
325.03/339.94 c rational objective 209
326.02/340.97 c #Conflicts: 656000 | #Constraints: 18026
326.31/341.26 c #Conflicts: 657000 | #Constraints: 19026
326.69/341.60 c #Conflicts: 658000 | #Constraints: 20027
327.07/342.06 c #Conflicts: 659000 | #Constraints: 21032
327.53/342.53 c #Conflicts: 660000 | #Constraints: 22045
328.02/343.04 c #Conflicts: 661000 | #Constraints: 23049
328.49/343.56 c #Conflicts: 662000 | #Constraints: 24052
328.98/344.07 c #Conflicts: 663000 | #Constraints: 25053
329.53/344.65 c #Conflicts: 664000 | #Constraints: 26058
330.03/345.13 c #Conflicts: 665000 | #Constraints: 27061
330.41/345.50 c #Conflicts: 666000 | #Constraints: 28061
330.80/345.99 c #Conflicts: 667000 | #Constraints: 29064
331.20/346.36 c #Conflicts: 668000 | #Constraints: 30064
331.59/346.79 c #Conflicts: 669000 | #Constraints: 31065
332.07/347.25 c #Conflicts: 670000 | #Constraints: 32068
332.66/347.81 c #Conflicts: 671000 | #Constraints: 33069
333.15/348.32 c DATABASE CLEANUP
333.15/348.32 c GARBAGE COLLECT
333.15/348.32 c rational objective 209
333.95/349.11 c #Conflicts: 672000 | #Constraints: 17839
334.13/349.34 c #Conflicts: 673000 | #Constraints: 18839
334.52/349.73 c #Conflicts: 674000 | #Constraints: 19841
334.72/349.98 c #Conflicts: 675000 | #Constraints: 20841
335.00/350.27 c #Conflicts: 676000 | #Constraints: 21841
335.47/350.70 c #Conflicts: 677000 | #Constraints: 22846
335.94/351.21 c #Conflicts: 678000 | #Constraints: 23850
336.43/351.75 c #Conflicts: 679000 | #Constraints: 24851
336.90/352.28 c #Conflicts: 680000 | #Constraints: 25853
337.29/352.61 c #Conflicts: 681000 | #Constraints: 26853
337.69/353.07 c #Conflicts: 682000 | #Constraints: 27857
338.25/353.63 c #Conflicts: 683000 | #Constraints: 28858
338.75/354.16 c #Conflicts: 684000 | #Constraints: 29864
339.22/354.69 c #Conflicts: 685000 | #Constraints: 30867
339.78/355.25 c #Conflicts: 686000 | #Constraints: 31871
340.27/355.75 c #Conflicts: 687000 | #Constraints: 32877
340.84/356.36 c #Conflicts: 688000 | #Constraints: 33882
341.32/356.81 c DATABASE CLEANUP
341.32/356.81 c GARBAGE COLLECT
341.32/356.81 c rational objective 209
342.31/357.82 c #Conflicts: 689000 | #Constraints: 18434
342.68/358.27 c #Conflicts: 690000 | #Constraints: 19436
343.14/358.76 c #Conflicts: 691000 | #Constraints: 20439
343.71/359.33 c #Conflicts: 692000 | #Constraints: 21441
344.26/359.90 c #Conflicts: 693000 | #Constraints: 22441
344.82/360.52 c #Conflicts: 694000 | #Constraints: 23448
345.46/361.26 c #Conflicts: 695000 | #Constraints: 24460
346.12/361.93 c #Conflicts: 696000 | #Constraints: 25464
346.76/362.68 c #Conflicts: 697000 | #Constraints: 26468
347.33/363.22 c #Conflicts: 698000 | #Constraints: 27469
347.91/363.80 c #Conflicts: 699000 | #Constraints: 28471
348.27/364.24 c #Conflicts: 700000 | #Constraints: 29471
348.80/364.80 c #Conflicts: 701000 | #Constraints: 30471
349.25/365.36 c #Conflicts: 702000 | #Constraints: 31473
349.79/365.97 c #Conflicts: 703000 | #Constraints: 32476
350.42/366.60 c #Conflicts: 704000 | #Constraints: 33482
350.88/367.16 c #Conflicts: 705000 | #Constraints: 34484
351.16/367.42 c DATABASE CLEANUP
351.16/367.42 c GARBAGE COLLECT
351.16/367.42 c rational objective 209
352.10/368.47 c #Conflicts: 706000 | #Constraints: 18862
352.45/368.88 c #Conflicts: 707000 | #Constraints: 19864
352.90/369.38 c #Conflicts: 708000 | #Constraints: 20872
353.44/369.93 c #Conflicts: 709000 | #Constraints: 21875
354.06/370.61 c #Conflicts: 710000 | #Constraints: 22877
354.62/371.21 c #Conflicts: 711000 | #Constraints: 23882
355.10/371.74 c #Conflicts: 712000 | #Constraints: 24884
355.56/372.20 c #Conflicts: 713000 | #Constraints: 25884
355.84/372.54 c #Conflicts: 714000 | #Constraints: 26884
356.33/373.01 c #Conflicts: 715000 | #Constraints: 27885
356.61/373.39 c #Conflicts: 716000 | #Constraints: 28885
357.07/373.82 c #Conflicts: 717000 | #Constraints: 29885
357.53/374.34 c #Conflicts: 718000 | #Constraints: 30887
357.98/374.88 c #Conflicts: 719000 | #Constraints: 31895
358.54/375.48 c #Conflicts: 720000 | #Constraints: 32899
359.09/376.04 c #Conflicts: 721000 | #Constraints: 33906
359.55/376.54 c #Conflicts: 722000 | #Constraints: 34908
359.84/376.82 c DATABASE CLEANUP
359.84/376.82 c GARBAGE COLLECT
359.84/376.82 c rational objective 209
360.80/377.80 c #Conflicts: 723000 | #Constraints: 19053
361.09/378.12 c #Conflicts: 724000 | #Constraints: 20055
361.45/378.55 c #Conflicts: 725000 | #Constraints: 21057
361.91/379.03 c #Conflicts: 726000 | #Constraints: 22060
362.36/379.51 c #Conflicts: 727000 | #Constraints: 23065
362.91/380.13 c #Conflicts: 728000 | #Constraints: 24076
363.45/380.79 c #Conflicts: 729000 | #Constraints: 25083
364.09/381.42 c #Conflicts: 730000 | #Constraints: 26086
364.65/382.07 c #Conflicts: 731000 | #Constraints: 27104
365.36/382.80 c #Conflicts: 732000 | #Constraints: 28111
365.83/383.31 c #Conflicts: 733000 | #Constraints: 29111
366.32/383.89 c #Conflicts: 734000 | #Constraints: 30112
366.79/384.31 c #Conflicts: 735000 | #Constraints: 31112
367.26/384.88 c #Conflicts: 736000 | #Constraints: 32113
367.82/385.45 c #Conflicts: 737000 | #Constraints: 33117
368.38/386.07 c #Conflicts: 738000 | #Constraints: 34122
369.03/386.78 c #Conflicts: 739000 | #Constraints: 35127
369.43/387.13 c DATABASE CLEANUP
369.43/387.13 c GARBAGE COLLECT
369.43/387.13 c rational objective 209
370.29/388.06 c #Conflicts: 740000 | #Constraints: 19073
370.66/388.41 c #Conflicts: 741000 | #Constraints: 20074
370.94/388.76 c #Conflicts: 742000 | #Constraints: 21074
371.41/389.26 c #Conflicts: 743000 | #Constraints: 22077
371.86/389.76 c #Conflicts: 744000 | #Constraints: 23080
372.30/390.28 c #Conflicts: 745000 | #Constraints: 24084
372.85/390.81 c #Conflicts: 746000 | #Constraints: 25089
373.32/391.37 c #Conflicts: 747000 | #Constraints: 26090
373.69/391.72 c #Conflicts: 748000 | #Constraints: 27090
373.78/391.80 c cpu time 363.846 s
373.78/391.80 c deterministic time 19265881013 1.93e+10
373.78/391.80 c optimization time 7.4e-05 s
373.78/391.80 c total solve time 363.818 s
373.78/391.80 c core-guided solve time 0 s
373.78/391.80 c propagation time 123.07 s
373.78/391.80 c conflict analysis time 130.181 s
373.78/391.80 c local search time 31.3696 s
373.78/391.80 c propagations 64865737
373.78/391.80 c resolve steps 6134080
373.78/391.80 c resolve steps with general constraints 3951285
373.78/391.80 c decisions 1720485
373.78/391.80 c conflicts 748279
373.78/391.80 c overflow fixes 1886463
373.78/391.80 c conflicts with overflow fixes 491871
373.78/391.80 c restarts 1558
373.78/391.80 c inprocessing phases 77
373.78/391.80 c garbage collections 77 ,( 100.00 )
373.78/391.80 c input clauses 952 ,( 99.69 )
373.78/391.80 c input cardinalities 3 ,( 0.31 )
373.78/391.80 c input general constraints 0 ,( 0.00 )
373.78/391.80 c input average constraint length 6.49
373.78/391.80 c input average constraint degree 2.09e+00
373.78/391.80 c input average constraint degree bitlength 0.02
373.78/391.80 c learned clauses 322565 ,( 42.80 )
373.78/391.80 c learned cardinalities 993 ,( 0.13 )
373.78/391.80 c learned general constraints 430031 ,( 57.06 )
373.78/391.80 c learned average constraint length 88.26
373.78/391.80 c learned average constraint degree 4.23e+09
373.78/391.80 c learned average constraint degree bitlength 17.87
373.78/391.80 c watched CF 32, 64, 128, Arb: 91429 , 0 , 0 , 0
373.78/391.80 c counting CF 32, 64, 128, Arb: 338602 , 0 , 0 , 0
373.78/391.80 c watched constraints 91429 ,( 21.26 )
373.78/391.80 c counting constraints 338602 ,( 78.74 )
373.78/391.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 44952425 , 26499046 , 313328406 ,( 11435001 , 301893405 )
373.78/391.80 c pure literals detected 0
373.78/391.80 c unique literal constraints detected 2
373.78/391.80 c gcd simplifications 436273
373.78/391.80 c detected cardinalities 5808
373.78/391.80 c divisions strengthening the constraint 0
373.78/391.80 c weakened non-implied lits 97819913
373.78/391.80 c weakened non-implying lits 1107694
373.78/391.80 c percentage of cover cuts not using all falsified lits 0.000
373.78/391.80 c average MIR cut multiplier 0.00e+00
373.78/391.80 c average MIR cut multiplier bitlength 0.000
373.78/391.80 c original variables 836
373.78/391.80 c clausal propagations 6346229
373.78/391.80 c cardinality propagations 2310356
373.78/391.80 c watched propagations 84234
373.78/391.80 c counting propagations 52830240
373.78/391.80 c watch lookups 15524502130
373.78/391.80 c watch backjump lookups 0
373.78/391.80 c watch checks 410677050
373.78/391.80 c propagation checks 2664399967
373.78/391.80 c constraint additions 531251338
373.78/391.80 c trail pops 67329205
373.78/391.80 c formula constraints 837
373.78/391.80 c learned constraints 743060
373.78/391.80 c bound constraints 0
373.78/391.80 c core-guided constraints 0
373.78/391.80 c encountered formula constraints 1625263
373.78/391.80 c encountered learned constraints 3209730
373.78/391.80 c encountered bound constraints 0
373.78/391.80 c encountered core-guided constraints 0
373.78/391.80 c LP total time 74.3128 s
373.78/391.80 c LP solve time 54.3 s
373.78/391.80 c LP constraints added 909
373.78/391.80 c LP constraints removed 70
373.78/391.80 c LP pivots internal 697045
373.78/391.80 c LP pivots root 438055
373.78/391.80 c LP calls 5316
373.78/391.80 c LP optimalities 69
373.78/391.80 c LP no pivot count 0
373.78/391.80 c LP infeasibilities 5243
373.78/391.80 c LP valid Farkas constraints 5242
373.78/391.80 c LP learned Farkas constraints 5218
373.78/391.80 c LP basis resets 1
373.78/391.80 c LP cycling count 0
373.78/391.80 c LP singular count 0
373.78/391.80 c LP no primal count 0
373.78/391.80 c LP no farkas count 1
373.78/391.80 c LP other issue count 0
373.78/391.80 c LP Gomory cuts 69
373.78/391.80 c LP learned cuts 3
373.78/391.80 c LP deleted cuts 70
373.78/391.80 c LP encountered Gomory constraints 0
373.78/391.80 c LP encountered Farkas constraints 1729022
373.78/391.80 c LP encountered learned Farkas constraints 302676
373.78/391.80 c CG auxiliary variables introduced 38
373.78/391.80 c CG solutions found 0
373.78/391.80 c CG cores constructed 0
373.78/391.80 c CG core cardinality constraints returned 0
373.78/391.80 c CG unit cores 0
373.78/391.80 c CG single cores 0
373.78/391.80 c CG blocks removed during cardinality reduction 0
373.78/391.80 c CG first core best 0
373.78/391.80 c CG decision core best 0
373.78/391.80 c CG core reduction tie 0
373.78/391.80 c CG core degree average 0.00
373.78/391.80 c CG core slack average 0.00
373.78/391.80 c CG core upper bound improvements 0
373.78/391.80 c STR number of successful calls 0
373.78/391.80 c STR number of unsuccessful calls 0
373.78/391.80 c STR number of inconclusive calls 0
373.78/391.80 c STR number of successful attempts 0
373.78/391.80 c STR number of unsuccessful attempts 0
373.78/391.80 c STR number of inconclusive attempts 0
373.78/391.80 c STR average degree increase per successful call inf
373.78/391.80 c STR average degree increase per successful attempt inf
373.78/391.80 c STR total number of conflicts for successful attempts 0
373.78/391.80 c STR total number of conflicts for unsuccessful attempts 0
373.78/391.80 c STR total number of conflicts for inconclusive attempts 0
373.78/391.80 c STR average number of conflicts per successful attempt inf
373.78/391.80 c STR average number of conflicts per unsuccessful attempt inf
373.78/391.80 c STR average number of conflicts per inconclusive attempt inf
373.78/391.80 c IHS number of seeded input constraints 0
373.78/391.80 c IHS number of seeded weakened input constraints 0
373.78/391.81 c IHS number of successful local search calls 0
373.78/391.81 c IHS number of timeouts for local search 0
373.78/391.81 c IHS number of complete search calls 0
373.78/391.81 c IHS number of optimal complete search calls 0
373.78/391.81 c IHS number of complete search progress calls 0
373.78/391.81 c IHS number of solutions from local search 0
373.78/391.81 c IHS number of upper bounds from local search 0
373.78/391.81 c IHS number of cores from local search 0
373.78/391.81 c IHS number of discarded solutions from local search 0
373.78/391.81 c IHS number of solutions from complete search 0
373.78/391.81 c IHS number of upper bounds from complete search 0
373.78/391.81 c IHS number of cores from complete search 0
373.78/391.81 c IHS number of discarded solutions from complete search 0
373.78/391.81 c IHS local search time 0 s
373.78/391.81 c IHS complete search time 0 s
373.78/391.81 c IHS core extraction time 0 s
373.78/391.81 c AVG.sumWPerc 57.11
373.78/391.81 c bigint constraints 0
373.78/391.81 s UNSATISFIABLE
Verifier Data
ERROR: no interpretation found !
Checking of UNSAT/OPT proofs:
VeriPB + CakePB (PB26)
Proof is valid.Proof size: 9213054 kiB
Checker CPU time: 686.494 seconds
Checker wall-clock time: 477.745 seconds
Checker maximum virtual size: 42028200 kiB
Checker output:
Sat Jul 11 09:56:20 CEST 2026
extraparms=--unchecked-deletion
-- veripb --
VeriPB commit 4545a10e3ae92a3f2c3189f97d4d7d98f3da947b
Running VeriPB version 3.0.2
s VERIFIED UNSATISFIABLE
-- cakepb --
CakePB commit 904eed45e2cbe9ac26000475bbdd2f99bcbdaad8
s VERIFIED UNSATISFIABLE
--summary--
ALL OK
Watcher Data
runsolver version 3.4.3 (svn: 5215) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4834388-1783694218/watcher-4834388-1783694218 -o /tmp/evaluation-result-4834388-1783694218/solver-4834388-1783694218 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834388-1783694218/vars-4834388-1783694218 --bin-var /tmp/runsolver-exch-nodeE001-1783693805-2330819 --watchdog 3760 --file-size-limit 100000 ./run-sat.sh --proof-log=/tmp/proofs/proof-4834388-1783694218 HOME/instance-4834388-1783694218.opb
running on 4 cores: 48-51
CPU: AMD EPYC 9355 32-Core Processor
Cores frequency:
2500 MHz: 2,12,14,20-21,23-25,29-31,34,36,38-41,43-45,52-53,55,57,59-63
3550 MHz: 0-1,3,16,37,48-51,56,58
3600 MHz: 4-11,13,15,17-19,22,26-28,32-33,35,42,46-47,54
WARNING: cores do not run at the same frequency!
Cores frequency (cpufreq):
2500 MHz: 2
3550 MHz: 0-1,3
WARNING: cores do not run at the same frequency!
CPU governors:
performance: 48-51
NUMA information:
number of nodes: 8
node 0: cores 0-7, 128055 MiB (757 MiB free)
node 1: cores 8-15, 129019 MiB (6675 MiB free)
node 2: cores 16-23, 129019 MiB (46484 MiB free)
node 3: cores 24-31, 129003 MiB (80622 MiB free)
node 4: cores 32-39, 129019 MiB (107204 MiB free)
node 5: cores 40-47, 129019 MiB (121780 MiB free)
node 6: cores 48-55, 129019 MiB (118432 MiB free)
node 7: cores 56-63, 128429 MiB (125193 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=2333649, runsolver pid=2333640
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 17.45 14.47 11.60 15/880 2333659
/proc/meminfo: memFree=621731628/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=56812 memory=14840 CPUtime=0.05 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 1929 0 0 0 5 0 0 0 20 0 1 0 302709918 58175488 3514 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 14203 3710 2797 1755 0 2038 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 61004 KiB
Current children cumulated memory: 18016 KiB
[startup+0.210933 s]*
/proc/loadavg: 17.45 14.47 11.60 17/882 2333670
/proc/meminfo: memFree=621720700/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=56812 memory=14840 CPUtime=0.16 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 1929 0 0 0 16 0 0 0 20 0 1 0 302709918 58175488 3514 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 14203 3710 2797 1755 0 2038 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 61004 KiB
Current children cumulated memory: 18016 KiB
[startup+0.311525 s]*
/proc/loadavg: 17.45 14.47 11.60 16/887 2333684
/proc/meminfo: memFree=621727172/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=56812 memory=14840 CPUtime=0.26 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 1929 0 0 0 26 0 0 0 20 0 1 0 302709918 58175488 3514 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 14203 3710 2797 1755 0 2038 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 61004 KiB
Current children cumulated memory: 18016 KiB
[startup+0.70014 s]
/proc/loadavg: 17.45 14.47 11.60 14/889 2333689
/proc/meminfo: memFree=621717476/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=64304 memory=24368 CPUtime=0.63 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 3710 0 0 0 63 0 0 0 20 0 1 0 302709918 65847296 5907 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 16076 6092 2893 1755 0 3911 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 68496 KiB
Current children cumulated memory: 27544 KiB
[startup+1.50013 s]
/proc/loadavg: 17.45 14.47 11.60 14/882 2333705
/proc/meminfo: memFree=621683632/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=74572 memory=33336 CPUtime=1.43 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 5426 0 0 0 141 2 0 0 20 0 1 0 302709918 76361728 8153 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 18643 8334 2909 1755 0 6478 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 36512 KiB
[startup+3.11199 s]
/proc/loadavg: 17.25 14.48 11.62 14/882 2333705
/proc/meminfo: memFree=621350548/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=79664 memory=38076 CPUtime=2.95 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 6596 0 0 0 288 7 0 0 20 0 1 0 302709918 81575936 9305 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 19916 9519 2925 1755 0 7751 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 83856 KiB
Current children cumulated memory: 41252 KiB
[startup+6.30013 s]
/proc/loadavg: 17.25 14.48 11.62 16/882 2333803
/proc/meminfo: memFree=620657388/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=90660 memory=48988 CPUtime=5.96 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 9324 0 0 0 581 15 0 0 20 0 1 0 302709918 92835840 12121 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 22665 12247 2925 1755 0 10500 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 94852 KiB
Current children cumulated memory: 52164 KiB
[startup+12.7001 s]
/proc/loadavg: 17.36 14.59 11.69 16/882 2333901
/proc/meminfo: memFree=619402956/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=96672 memory=55796 CPUtime=12.06 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 12193 0 0 0 1174 32 0 0 20 0 1 0 302709918 98992128 13785 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 24168 13949 3023 1755 0 12003 0
Current children cumulated CPU time: 12.06 s
Current children cumulated vsize: 100864 KiB
Current children cumulated memory: 58972 KiB
[startup+25.5001 s]
/proc/loadavg: 17.08 14.62 11.73 15/888 2334090
/proc/meminfo: memFree=617798872/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=116288 memory=73028 CPUtime=24.32 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 16503 0 0 0 2369 63 0 0 20 0 1 0 302709918 119078912 18009 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 29072 18257 3023 1755 0 16907 0
Current children cumulated CPU time: 24.32 s
Current children cumulated vsize: 120480 KiB
Current children cumulated memory: 76204 KiB
[startup+51.1127 s]
/proc/loadavg: 17.10 14.83 11.88 17/892 2334229
/proc/meminfo: memFree=612444080/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=132024 memory=90088 CPUtime=48.64 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 20560 0 0 0 4744 120 0 0 20 0 1 0 302709918 135192576 22321 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 33006 22522 3023 1755 0 20841 0
Current children cumulated CPU time: 48.64 s
Current children cumulated vsize: 136216 KiB
Current children cumulated memory: 93264 KiB
[startup+102.3 s]
/proc/loadavg: 18.77 15.67 12.34 14/891 2334327
/proc/meminfo: memFree=602790920/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=164828 memory=114916 CPUtime=98.33 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 26942 0 0 0 9580 253 0 0 20 0 1 0 302709918 168783872 28593 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 41207 28729 3023 1755 0 29042 0
Current children cumulated CPU time: 98.33 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 118092 KiB
################
# More data... #
################
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 33165 0 0 0 15192 399 0 0 20 0 1 0 302709918 194318336 35157 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 47441 35356 3023 1755 0 35276 0
Current children cumulated CPU time: 155.91 s
Current children cumulated vsize: 193956 KiB
Current children cumulated memory: 144600 KiB
[startup+222.3 s]
/proc/loadavg: 17.27 16.07 12.89 19/889 2335361
/proc/meminfo: memFree=584737764/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=195888 memory=147360 CPUtime=212.81 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 34940 0 0 0 20726 555 0 0 20 0 1 0 302709918 200589312 36676 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 48972 36840 3023 1755 0 36807 0
Current children cumulated CPU time: 212.81 s
Current children cumulated vsize: 200080 KiB
Current children cumulated memory: 150536 KiB
[startup+282.3 s]
/proc/loadavg: 18.26 16.58 13.27 17/887 2335460
/proc/meminfo: memFree=577899956/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=200120 memory=150160 CPUtime=270 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36181 0 0 0 26287 713 0 0 20 0 1 0 302709918 204922880 37276 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 49 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50030 37540 3023 1755 0 37865 0
Current children cumulated CPU time: 270 s
Current children cumulated vsize: 204312 KiB
Current children cumulated memory: 153336 KiB
[startup+342.3 s]
/proc/loadavg: 18.91 17.05 13.64 19/887 2335462
/proc/meminfo: memFree=559608184/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=201528 memory=151264 CPUtime=327.35 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36460 0 0 0 31865 870 0 0 20 0 1 0 302709918 206364672 37660 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50382 37816 3023 1755 0 38217 0
Current children cumulated CPU time: 327.35 s
Current children cumulated vsize: 205720 KiB
Current children cumulated memory: 154440 KiB
[startup+391.817 s]
# the end of solver process 2333649 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=363.85 s, system=9.96175 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 19.00 17.17 13.73 18/887 2335462
/proc/meminfo: memFree=556908508/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=201528 memory=151372 CPUtime=342.86 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36487 0 0 0 33377 909 0 0 20 0 1 0 302709918 206364672 37660 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50382 37843 3023 1755 0 38217 0
Current children cumulated CPU time: 342.86 s
Current children cumulated vsize: 205720 KiB
Current children cumulated memory: 154548 KiB
[startup+371.2 s]
/proc/loadavg: 18.99 17.23 13.79 17/887 2335462
/proc/meminfo: memFree=553221772/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=201796 memory=151932 CPUtime=354.62 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36627 0 0 0 34518 944 0 0 20 0 1 0 302709918 206639104 37788 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50449 37983 3023 1755 0 38284 0
Current children cumulated CPU time: 354.62 s
Current children cumulated vsize: 205988 KiB
Current children cumulated memory: 155108 KiB
[startup+384 s]*
/proc/loadavg: 18.40 17.18 13.83 20/887 2335462
/proc/meminfo: memFree=550862476/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=201796 memory=151932 CPUtime=366.52 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36627 0 0 0 35675 977 0 0 20 0 1 0 302709918 206639104 37788 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50449 37983 3023 1755 0 38284 0
Current children cumulated CPU time: 366.52 s
Current children cumulated vsize: 205988 KiB
Current children cumulated memory: 155108 KiB
[startup+387.2 s]
/proc/loadavg: 18.21 17.16 13.84 17/887 2335462
/proc/meminfo: memFree=550287136/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=201796 memory=151948 CPUtime=369.52 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36631 0 0 0 35967 985 0 0 20 0 1 0 302709918 206639104 37788 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50449 37987 3023 1755 0 38284 0
Current children cumulated CPU time: 369.52 s
Current children cumulated vsize: 205988 KiB
Current children cumulated memory: 155124 KiB
[startup+390.4 s]
/proc/loadavg: 18.21 17.16 13.84 18/887 2335463
/proc/meminfo: memFree=549760732/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=201796 memory=151948 CPUtime=372.48 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36631 0 0 0 36256 992 0 0 20 0 1 0 302709918 206639104 37788 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50449 37987 3023 1755 0 38284 0
Current children cumulated CPU time: 372.48 s
Current children cumulated vsize: 205988 KiB
Current children cumulated memory: 155124 KiB
[startup+391.2 s]
/proc/loadavg: 18.21 17.16 13.84 19/887 2335463
/proc/meminfo: memFree=549427380/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=201796 memory=151948 CPUtime=373.23 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36631 0 0 0 36329 994 0 0 20 0 1 0 302709918 206639104 37788 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50449 37987 3023 1755 0 38284 0
Current children cumulated CPU time: 373.23 s
Current children cumulated vsize: 205988 KiB
Current children cumulated memory: 155124 KiB
[startup+391.6 s]
/proc/loadavg: 18.21 17.16 13.84 19/887 2335463
/proc/meminfo: memFree=549427380/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=201796 memory=151948 CPUtime=373.59 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36631 0 0 0 36365 994 0 0 20 0 1 0 302709918 206639104 37788 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50449 37987 3023 1755 0 38284 0
Current children cumulated CPU time: 373.59 s
Current children cumulated vsize: 205988 KiB
Current children cumulated memory: 155124 KiB
[startup+391.8 s]
/proc/loadavg: 18.21 17.16 13.84 19/887 2335463
/proc/meminfo: memFree=549427380/1055320720 swapFree=33543932/33554428
[pid=2333649] ppid=2333640 vsize=4192 memory=3176 CPUtime=0 cores=48-51
/proc/2333649/stat : 2333649 (run-sat.sh) S 2333640 2333649 2327462 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 302709917 4292608 640 18446744073709551615 94441998663680 94441999558213 140721667277968 0 0 0 65536 4 65538 1 0 0 17 48 0 0 0 0 0 94441999797264 94441999845008 94442000416768 140721667283190 140721667283329 140721667283329 140721667289067 0
/proc/2333649/statm: 1048 794 715 219 0 110 0
[pid=2333651] ppid=2333649 vsize=201796 memory=151948 CPUtime=373.78 cores=48-51
/proc/2333651/stat : 2333651 (roundingsat) R 2333649 2333649 2327462 0 -1 4194304 36631 0 0 0 36383 995 0 0 20 0 1 0 302709918 206639104 37788 18446744073709551615 4194304 11382409 140729669326368 0 0 0 0 0 8405026 0 0 0 17 50 0 0 0 0 0 12505888 12515512 36986880 140729669334910 140729669335456 140729669335456 140729669341162 0
/proc/2333651/statm: 50449 37987 3023 1755 0 38284 0
Current children cumulated CPU time: 373.78 s
Current children cumulated vsize: 205988 KiB
Current children cumulated memory: 155124 KiB
Child status: 0
Real time (s): 391.817
CPU time (s): 373.811
CPU user time (s): 363.85
CPU system time (s): 9.96175
CPU usage (%): 95.4047
Max. virtual memory (cumulated for all children) (KiB): 205988
Max. memory (cumulated for all children) (KiB): 155124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.85
system time used= 9.96175
maximum resident set size= 151152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36867
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= 1151930
involuntary context switches= 532
# summary of solver processes directly reported to runsolver:
# pid: 2333649
# total CPU time (s): 373.811
# total CPU user time (s): 363.85
# total CPU system time (s): 9.96175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32888 second user time and 3.88995 second system time
The end
Launcher Data
Begin job on nodeE001 at 2026-07-10 16:36:58
IDJOB=4834388
IDBENCH=173574
IDSOLVER=3669
FILE ID=nodeE001/4834388-1783694218
RUNJOBID= nodeE001-1783693805-2330819
SLURM_JOB_ID= 12734897
Free space on /tmp= 799992 MiB
SOLVER NAME= roundingsat-satsuma-saturation 2026-06-11 (cert)
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset_large/normalized-domset-hexgrid_11_076.opb
COMMAND LINE= ./run-sat.sh --proof-log=CERTNAME BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4834388-1783694218/watcher-4834388-1783694218 -o /tmp/evaluation-result-4834388-1783694218/solver-4834388-1783694218 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834388-1783694218/vars-4834388-1783694218 --bin-var /tmp/runsolver-exch-nodeE001-1783693805-2330819 --watchdog 3760 --file-size-limit 100000 ./run-sat.sh --proof-log=/tmp/proofs/proof-4834388-1783694218 HOME/instance-4834388-1783694218.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 62000 MiB
NBCORE= 3
MD5SUM BENCH= a691ad33975d87b8cef651fb67f36d11
RANDOM SEED=1796720447
nodeE001 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 : 3562.035
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 0
cpu cores : 32
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 1
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3561.436
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 1
cpu cores : 32
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 2
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3564.816
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 2
cpu cores : 32
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 3
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3566.016
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 3
cpu cores : 32
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 4
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3591.287
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 64
cpu cores : 32
apicid : 64
initial apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 5
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3591.280
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 65
cpu cores : 32
apicid : 65
initial apicid : 65
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 6
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3590.127
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 66
cpu cores : 32
apicid : 66
initial apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 7
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3590.593
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 67
cpu cores : 32
apicid : 67
initial apicid : 67
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 8
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3577.015
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 32
cpu cores : 32
apicid : 32
initial apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 9
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3579.171
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 33
cpu cores : 32
apicid : 33
initial apicid : 33
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 10
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3586.359
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 34
cpu cores : 32
apicid : 34
initial apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 11
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3592.570
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 35
cpu cores : 32
apicid : 35
initial apicid : 35
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 12
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 96
cpu cores : 32
apicid : 96
initial apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 13
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3584.903
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 97
cpu cores : 32
apicid : 97
initial apicid : 97
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 14
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 98
cpu cores : 32
apicid : 98
initial apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 15
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 99
cpu cores : 32
apicid : 99
initial apicid : 99
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 16
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3586.512
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 48
cpu cores : 32
apicid : 48
initial apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 17
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3590.344
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 49
cpu cores : 32
apicid : 49
initial apicid : 49
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 18
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3582.970
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 50
cpu cores : 32
apicid : 50
initial apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 19
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3585.850
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 51
cpu cores : 32
apicid : 51
initial apicid : 51
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 20
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 112
cpu cores : 32
apicid : 112
initial apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 21
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 113
cpu cores : 32
apicid : 113
initial apicid : 113
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 22
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3607.605
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 114
cpu cores : 32
apicid : 114
initial apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 23
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 115
cpu cores : 32
apicid : 115
initial apicid : 115
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 24
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 16
cpu cores : 32
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 25
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 17
cpu cores : 32
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 26
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3582.824
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 18
cpu cores : 32
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 27
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3598.212
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 19
cpu cores : 32
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 28
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3592.892
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 80
cpu cores : 32
apicid : 80
initial apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 29
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 81
cpu cores : 32
apicid : 81
initial apicid : 81
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 30
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 82
cpu cores : 32
apicid : 82
initial apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 31
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3595.535
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 83
cpu cores : 32
apicid : 83
initial apicid : 83
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 32
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3579.442
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 0
cpu cores : 32
apicid : 128
initial apicid : 128
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 33
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3581.399
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 1
cpu cores : 32
apicid : 129
initial apicid : 129
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 34
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 2
cpu cores : 32
apicid : 130
initial apicid : 130
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 35
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3583.105
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 3
cpu cores : 32
apicid : 131
initial apicid : 131
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 36
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 64
cpu cores : 32
apicid : 192
initial apicid : 192
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 37
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3566.724
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 65
cpu cores : 32
apicid : 193
initial apicid : 193
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 38
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 66
cpu cores : 32
apicid : 194
initial apicid : 194
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 39
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 67
cpu cores : 32
apicid : 195
initial apicid : 195
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 40
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 32
cpu cores : 32
apicid : 160
initial apicid : 160
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 41
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 33
cpu cores : 32
apicid : 161
initial apicid : 161
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 42
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3592.477
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 34
cpu cores : 32
apicid : 162
initial apicid : 162
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 43
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 35
cpu cores : 32
apicid : 163
initial apicid : 163
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 44
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 96
cpu cores : 32
apicid : 224
initial apicid : 224
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 45
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 97
cpu cores : 32
apicid : 225
initial apicid : 225
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 46
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3595.148
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 98
cpu cores : 32
apicid : 226
initial apicid : 226
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 47
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3602.275
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 99
cpu cores : 32
apicid : 227
initial apicid : 227
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 48
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3561.000
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 48
cpu cores : 32
apicid : 176
initial apicid : 176
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 49
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3554.589
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 49
cpu cores : 32
apicid : 177
initial apicid : 177
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 50
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3570.606
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 50
cpu cores : 32
apicid : 178
initial apicid : 178
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 51
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 51
cpu cores : 32
apicid : 179
initial apicid : 179
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 52
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 112
cpu cores : 32
apicid : 240
initial apicid : 240
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 53
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 113
cpu cores : 32
apicid : 241
initial apicid : 241
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 54
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3586.332
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 114
cpu cores : 32
apicid : 242
initial apicid : 242
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 55
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 115
cpu cores : 32
apicid : 243
initial apicid : 243
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 56
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3557.504
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 16
cpu cores : 32
apicid : 144
initial apicid : 144
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 57
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 17
cpu cores : 32
apicid : 145
initial apicid : 145
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 58
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3557.221
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 18
cpu cores : 32
apicid : 146
initial apicid : 146
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 59
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 19
cpu cores : 32
apicid : 147
initial apicid : 147
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 60
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3583.433
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 80
cpu cores : 32
apicid : 208
initial apicid : 208
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 61
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 81
cpu cores : 32
apicid : 209
initial apicid : 209
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 62
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 82
cpu cores : 32
apicid : 210
initial apicid : 210
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 63
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 83
cpu cores : 32
apicid : 211
initial apicid : 211
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.23
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
/proc/meminfo:
MemTotal: 1055320720 kB
MemFree: 621721944 kB
MemAvailable: 1012471344 kB
Buffers: 1056 kB
Cached: 388395232 kB
SwapCached: 1284 kB
Active: 54258388 kB
Inactive: 365231892 kB
Active(anon): 31714724 kB
Inactive(anon): 279664 kB
Active(file): 22543664 kB
Inactive(file): 364952228 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33554428 kB
SwapFree: 33543932 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 338656 kB
Writeback: 0 kB
AnonPages: 31090572 kB
Mapped: 218996 kB
Shmem: 900028 kB
KReclaimable: 9251124 kB
Slab: 10213364 kB
SReclaimable: 9251124 kB
SUnreclaim: 962240 kB
KernelStack: 15136 kB
PageTables: 70248 kB
SecPageTables: 15368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 561214788 kB
Committed_AS: 154401748 kB
VmallocTotal: 13743895347199 kB
VmallocUsed: 479076 kB
VmallocChunk: 0 kB
Percpu: 120320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 13344768 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 444868 kB
DirectMap2M: 19800064 kB
DirectMap1G: 1053818880 kB
Free space on /tmp at the end= 800028 MiB
End job on nodeE001 at 2026-07-10 16:43:30