Trace number 4834587
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-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb |
| MD5SUM | ab585d5a9f1265a4903b33e81faedd32 |
| 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 | 10.4243 |
| 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 | 77106 |
| Total number of constraints | 218779 |
| Number of constraints which are clauses | 205559 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13220 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 15 |
| 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 | 129 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 510 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb26-symm
0.00/0.01 c commit 801ab82
0.51/0.56 c
0.51/0.56 c make graph and approximate orbits
0.60/0.63 c [group: #orbits ~= 4980] (69.91ms)
0.60/0.63 c
0.60/0.63 c detect special group actions
0.60/0.63 c probe for Johnson action (limit=64)
0.60/0.63 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.60/0.64 c probe for row symmetry (limit=64, splits=16.7772M)
0.60/0.65 c found row 2620x2
0.60/0.65 c (20.5427ms)
0.60/0.65 c
0.60/0.65 c detect symmetries on remainder
0.60/0.66 c [graph: #vertices 532948 #edges 1773186]
0.60/0.67 c dejavu (support_limit=76.1149MB, budget_limit=1)
0.67/0.73 c [group: #symmetries 1.28*10^2 #gens 2626] (86.5607ms)
0.67/0.73 c
0.67/0.73 c optimize generators (opt_passes=64, conjugate_limit=256)
0.67/0.73 c (0.224154ms)
0.67/0.74 c
0.67/0.74 c apply negation fixing (schreier: false, gens: 2626)
0.67/0.74 c fixed 4 literals
0.67/0.74 c (1.57427ms)
0.67/0.74 c
0.67/0.74 c generation finished
0.67/0.74 c [sbp: #constraints 4 #add_vars 0]
0.78/0.85 c
0.78/0.85 c make graph and approximate orbits
0.87/0.91 c [group: #orbits ~= 8] (65.3935ms)
0.87/0.91 c
0.87/0.91 c detect special group actions
0.87/0.91 c probe for Johnson action (limit=64)
0.87/0.91 c probe for row-column symmetry (limit=64, splits=16.7772M)
0.87/0.92 c probe for row symmetry (limit=64, splits=16.7772M)
0.87/0.92 c found row 2624x2
0.87/0.92 c (7.83458ms)
0.87/0.92 c
0.87/0.92 c detect symmetries on remainder
0.87/0.94 c [graph: #vertices 533014 #edges 1772542]
0.87/0.94 c dejavu (support_limit=76.1149MB, budget_limit=1)
0.87/0.98 c [group: #symmetries 8*10^0 #gens 2626] (61.451ms)
0.87/0.98 c
0.87/0.98 c optimize generators (opt_passes=64, conjugate_limit=256)
0.87/0.98 c (0.087709ms)
0.87/0.98 c
0.87/0.98 c apply negation fixing (schreier: false, gens: 2626)
0.87/0.98 c fixed 0 literals
0.87/0.98 c (1.08961ms)
0.87/0.98 c
0.87/0.98 c generation finished
0.87/0.98 c [sbp: #constraints 0 #add_vars 0]
0.99/1.09 c
0.99/1.09 c make graph and approximate orbits
1.09/1.15 c [group: #orbits ~= 8] (61.7289ms)
1.09/1.15 c
1.09/1.15 c detect special group actions
1.09/1.15 c probe for Johnson action (limit=64)
1.09/1.15 c probe for row-column symmetry (limit=64, splits=16.7772M)
1.09/1.16 c probe for row symmetry (limit=64, splits=16.7772M)
1.09/1.16 c found row 2624x2
1.09/1.16 c (7.58973ms)
1.09/1.16 c
1.09/1.16 c detect symmetries on remainder
1.09/1.18 c [graph: #vertices 533014 #edges 1772542]
1.09/1.18 c dejavu (support_limit=76.1149MB, budget_limit=1)
1.17/1.22 c [group: #symmetries 8*10^0 #gens 3] (60.7696ms)
1.17/1.22 c
1.17/1.22 c optimize generators (opt_passes=64, conjugate_limit=256)
1.17/1.22 c (0.086568ms)
1.17/1.22 c
1.17/1.22 c finalize break order and special generators
1.17/1.22 c
1.17/1.22 c add generic predicates (break_depth=20)
1.17/1.22 c added predicates for 3 generators (0.004807ms)
1.17/1.22 c
1.17/1.22 c generation finished
1.17/1.22 c [sbp: #constraints 3 #add_vars 0]
1.37/1.46 c UNIT CLEANUP
1.37/1.46 c UNIT CLEANUP
1.37/1.46 c #variables 77106 #constraints 219554
3.76/3.86 c #Conflicts: 1000 | #Constraints: 220553
3.98/4.02 c #Conflicts: 2000 | #Constraints: 221553
8.34/8.48 c UNIT CLEANUP
8.34/8.48 c DATABASE CLEANUP
8.34/8.48 c #Conflicts: 3000 | #Constraints: 213310
8.53/8.67 c #Conflicts: 4000 | #Constraints: 214310
10.63/10.78 c UNIT CLEANUP
10.63/10.78 c DATABASE CLEANUP
10.63/10.78 c #Conflicts: 5000 | #Constraints: 213725
10.83/10.92 c #Conflicts: 6000 | #Constraints: 214725
23.68/23.84 c DATABASE CLEANUP
23.68/23.84 c rational objective 4141.73
26.37/26.50 c #Conflicts: 7000 | #Constraints: 213747
26.37/26.57 c #Conflicts: 8000 | #Constraints: 214747
26.47/26.67 c #Conflicts: 9000 | #Constraints: 215747
28.46/28.69 c DATABASE CLEANUP
28.46/28.69 c #Conflicts: 10000 | #Constraints: 214461
28.96/29.15 c #Conflicts: 11000 | #Constraints: 215462
29.14/29.34 c #Conflicts: 12000 | #Constraints: 216462
47.47/47.75 c DATABASE CLEANUP
47.47/47.75 c #Conflicts: 13000 | #Constraints: 214931
47.65/47.92 c #Conflicts: 14000 | #Constraints: 215931
47.76/48.04 c #Conflicts: 15000 | #Constraints: 216931
49.75/50.03 c DATABASE CLEANUP
49.75/50.03 c #Conflicts: 16000 | #Constraints: 215169
49.83/50.12 c #Conflicts: 17000 | #Constraints: 216169
49.91/50.22 c #Conflicts: 18000 | #Constraints: 217169
51.80/52.18 c DATABASE CLEANUP
51.80/52.18 c GARBAGE COLLECT
51.80/52.18 c #Conflicts: 19000 | #Constraints: 215208
51.96/52.36 c #Conflicts: 20000 | #Constraints: 216208
52.15/52.59 c #Conflicts: 21000 | #Constraints: 217208
97.95/98.54 c DATABASE CLEANUP
97.95/98.54 c rational objective 4149.87
100.56/101.18 c #Conflicts: 22000 | #Constraints: 215029
100.74/101.32 c #Conflicts: 23000 | #Constraints: 216029
100.83/101.48 c #Conflicts: 24000 | #Constraints: 217029
101.03/101.64 c #Conflicts: 25000 | #Constraints: 218029
103.02/103.68 c DATABASE CLEANUP
103.02/103.68 c #Conflicts: 26000 | #Constraints: 215636
103.22/103.80 c #Conflicts: 27000 | #Constraints: 216636
103.43/104.02 c #Conflicts: 28000 | #Constraints: 217636
107.00/107.66 c #Conflicts: 29000 | #Constraints: 218636
107.20/107.86 c #Conflicts: 30000 | #Constraints: 219636
107.41/108.01 c #Conflicts: 31000 | #Constraints: 220636
107.51/108.14 c #Conflicts: 32000 | #Constraints: 221636
107.59/108.29 c #Conflicts: 33000 | #Constraints: 222636
107.69/108.36 c #Conflicts: 34000 | #Constraints: 223636
107.79/108.49 c #Conflicts: 35000 | #Constraints: 224636
107.88/108.57 c #Conflicts: 36000 | #Constraints: 225636
107.98/108.64 c #Conflicts: 37000 | #Constraints: 226636
108.08/108.74 c #Conflicts: 38000 | #Constraints: 227636
124.71/125.40 c UNIT CLEANUP
124.71/125.40 c DATABASE CLEANUP
124.71/125.40 c GARBAGE COLLECT
124.71/125.40 c #Conflicts: 39000 | #Constraints: 220574
124.81/125.55 c #Conflicts: 40000 | #Constraints: 221574
125.00/125.72 c #Conflicts: 41000 | #Constraints: 222574
125.21/125.92 c #Conflicts: 42000 | #Constraints: 223574
188.78/189.72 c UNIT CLEANUP
188.78/189.72 c DATABASE CLEANUP
188.78/189.72 c rational objective 4158.2
191.37/192.38 c #Conflicts: 43000 | #Constraints: 218073
191.57/192.50 c #Conflicts: 44000 | #Constraints: 219073
191.66/192.65 c #Conflicts: 45000 | #Constraints: 220073
191.76/192.79 c #Conflicts: 46000 | #Constraints: 221073
191.96/192.95 c #Conflicts: 47000 | #Constraints: 222073
192.07/193.06 c #Conflicts: 48000 | #Constraints: 223073
194.16/195.12 c DATABASE CLEANUP
194.16/195.12 c #Conflicts: 49000 | #Constraints: 218285
194.34/195.32 c #Conflicts: 50000 | #Constraints: 219285
194.44/195.48 c #Conflicts: 51000 | #Constraints: 220285
194.53/195.58 c #Conflicts: 52000 | #Constraints: 221285
194.64/195.69 c #Conflicts: 53000 | #Constraints: 222285
194.83/195.83 c #Conflicts: 54000 | #Constraints: 223285
195.04/196.03 c #Conflicts: 55000 | #Constraints: 224285
195.14/196.13 c #Conflicts: 56000 | #Constraints: 225285
195.22/196.25 c #Conflicts: 57000 | #Constraints: 226285
200.29/201.34 c #Conflicts: 58000 | #Constraints: 227285
200.40/201.45 c #Conflicts: 59000 | #Constraints: 228285
200.59/201.64 c #Conflicts: 60000 | #Constraints: 229285
200.79/201.81 c #Conflicts: 61000 | #Constraints: 230285
200.89/201.95 c #Conflicts: 62000 | #Constraints: 231285
200.89/202.01 c #Conflicts: 63000 | #Constraints: 232285
201.09/202.17 c #Conflicts: 64000 | #Constraints: 233285
201.27/202.34 c #Conflicts: 65000 | #Constraints: 234285
203.37/204.45 c UNIT CLEANUP
203.37/204.45 c DATABASE CLEANUP
203.37/204.45 c GARBAGE COLLECT
203.37/204.45 c #Conflicts: 66000 | #Constraints: 223902
203.46/204.57 c #Conflicts: 67000 | #Constraints: 224902
203.56/204.69 c #Conflicts: 68000 | #Constraints: 225902
219.70/220.86 c #Conflicts: 69000 | #Constraints: 226902
219.79/221.00 c #Conflicts: 70000 | #Constraints: 227902
220.00/221.17 c #Conflicts: 71000 | #Constraints: 228902
302.48/303.93 c DATABASE CLEANUP
302.48/303.93 c #Conflicts: 72000 | #Constraints: 221043
302.59/304.10 c #Conflicts: 73000 | #Constraints: 222043
302.77/304.23 c #Conflicts: 74000 | #Constraints: 223043
302.88/304.34 c #Conflicts: 75000 | #Constraints: 224043
303.07/304.50 c #Conflicts: 76000 | #Constraints: 225043
303.26/304.70 c #Conflicts: 77000 | #Constraints: 226043
303.35/304.80 c #Conflicts: 78000 | #Constraints: 227043
305.25/306.78 c UNIT CLEANUP
305.25/306.78 c DATABASE CLEANUP
305.25/306.78 c GARBAGE COLLECT
305.25/306.78 c #Conflicts: 79000 | #Constraints: 220280
305.34/306.89 c #Conflicts: 80000 | #Constraints: 221280
305.43/306.97 c #Conflicts: 81000 | #Constraints: 222280
305.53/307.05 c #Conflicts: 82000 | #Constraints: 223280
305.72/307.21 c #Conflicts: 83000 | #Constraints: 224280
305.81/307.31 c #Conflicts: 84000 | #Constraints: 225280
307.80/309.32 c #Conflicts: 85000 | #Constraints: 226280
307.89/309.42 c #Conflicts: 86000 | #Constraints: 227280
307.99/309.52 c #Conflicts: 87000 | #Constraints: 228280
308.09/309.60 c #Conflicts: 88000 | #Constraints: 229280
308.18/309.74 c #Conflicts: 89000 | #Constraints: 230280
308.38/309.91 c #Conflicts: 90000 | #Constraints: 231280
308.58/310.14 c #Conflicts: 91000 | #Constraints: 232280
308.76/310.38 c #Conflicts: 92000 | #Constraints: 233280
383.38/385.20 c #Conflicts: 93000 | #Constraints: 234280
383.58/385.47 c #Conflicts: 94000 | #Constraints: 235280
383.88/385.74 c #Conflicts: 95000 | #Constraints: 236280
384.07/385.99 c #Conflicts: 96000 | #Constraints: 237280
384.37/386.27 c #Conflicts: 97000 | #Constraints: 238280
384.67/386.52 c #Conflicts: 98000 | #Constraints: 239280
384.86/386.77 c #Conflicts: 99000 | #Constraints: 240280
386.95/388.87 c DATABASE CLEANUP
386.95/388.87 c GARBAGE COLLECT
386.95/388.87 c #Conflicts: 100000 | #Constraints: 226829
387.05/388.97 c #Conflicts: 101000 | #Constraints: 227829
387.16/389.04 c #Conflicts: 102000 | #Constraints: 228829
387.26/389.15 c #Conflicts: 103000 | #Constraints: 229829
387.44/389.34 c #Conflicts: 104000 | #Constraints: 230829
387.64/389.56 c #Conflicts: 105000 | #Constraints: 231829
387.73/389.69 c #Conflicts: 106000 | #Constraints: 232829
387.83/389.79 c #Conflicts: 107000 | #Constraints: 233829
463.23/465.50 c DATABASE CLEANUP
463.23/465.50 c rational objective 4163.21
466.02/468.29 c #Conflicts: 108000 | #Constraints: 223632
466.21/468.41 c #Conflicts: 109000 | #Constraints: 224632
466.31/468.57 c #Conflicts: 110000 | #Constraints: 225632
466.50/468.72 c #Conflicts: 111000 | #Constraints: 226632
466.60/468.88 c #Conflicts: 112000 | #Constraints: 227632
466.82/469.05 c #Conflicts: 113000 | #Constraints: 228632
466.99/469.21 c #Conflicts: 114000 | #Constraints: 229632
467.18/469.41 c #Conflicts: 115000 | #Constraints: 230632
469.18/471.44 c UNIT CLEANUP
469.18/471.44 c DATABASE CLEANUP
469.18/471.44 c GARBAGE COLLECT
469.18/471.44 c #Conflicts: 116000 | #Constraints: 221952
469.27/471.58 c #Conflicts: 117000 | #Constraints: 222952
469.46/471.77 c #Conflicts: 118000 | #Constraints: 223952
469.65/471.95 c #Conflicts: 119000 | #Constraints: 224952
469.76/472.09 c #Conflicts: 120000 | #Constraints: 225952
469.85/472.15 c #Conflicts: 121000 | #Constraints: 226952
470.03/472.32 c #Conflicts: 122000 | #Constraints: 227952
470.13/472.46 c #Conflicts: 123000 | #Constraints: 228952
471.61/473.99 c #Conflicts: 124000 | #Constraints: 229952
471.82/474.13 c #Conflicts: 125000 | #Constraints: 230952
472.00/474.35 c #Conflicts: 126000 | #Constraints: 231952
472.21/474.54 c #Conflicts: 127000 | #Constraints: 232952
472.40/474.70 c #Conflicts: 128000 | #Constraints: 233952
472.49/474.81 c #Conflicts: 129000 | #Constraints: 234952
472.59/474.94 c #Conflicts: 130000 | #Constraints: 235952
472.70/475.11 c #Conflicts: 131000 | #Constraints: 236952
472.89/475.27 c #Conflicts: 132000 | #Constraints: 237952
472.99/475.38 c #Conflicts: 133000 | #Constraints: 238952
473.17/475.58 c #Conflicts: 134000 | #Constraints: 239952
474.87/477.26 c #Conflicts: 135000 | #Constraints: 240953
475.06/477.45 c #Conflicts: 136000 | #Constraints: 241953
475.15/477.59 c #Conflicts: 137000 | #Constraints: 242953
475.35/477.79 c #Conflicts: 138000 | #Constraints: 243953
475.44/477.89 c #Conflicts: 139000 | #Constraints: 244953
475.54/478.00 c #Conflicts: 140000 | #Constraints: 245953
572.86/575.61 c UNIT CLEANUP
572.86/575.61 c DATABASE CLEANUP
572.86/575.61 c GARBAGE COLLECT
572.86/575.61 c rational objective 4173.79
575.45/578.26 c #Conflicts: 141000 | #Constraints: 228847
575.64/578.45 c #Conflicts: 142000 | #Constraints: 229847
578.24/581.05 c #Conflicts: 143000 | #Constraints: 230847
578.41/581.23 c #Conflicts: 144000 | #Constraints: 231847
578.71/581.53 c #Conflicts: 145000 | #Constraints: 232847
579.01/581.83 c #Conflicts: 146000 | #Constraints: 233847
579.21/582.10 c #Conflicts: 147000 | #Constraints: 234847
579.40/582.27 c #Conflicts: 148000 | #Constraints: 235847
579.59/582.40 c #Conflicts: 149000 | #Constraints: 236847
579.69/582.58 c #Conflicts: 150000 | #Constraints: 237847
581.88/584.74 c UNIT CLEANUP
581.88/584.74 c DATABASE CLEANUP
581.88/584.74 c GARBAGE COLLECT
581.88/584.74 c #Conflicts: 151000 | #Constraints: 225284
582.07/584.92 c #Conflicts: 152000 | #Constraints: 226284
582.18/585.07 c #Conflicts: 153000 | #Constraints: 227284
582.37/585.25 c #Conflicts: 154000 | #Constraints: 228284
582.57/585.40 c #Conflicts: 155000 | #Constraints: 229284
582.66/585.58 c #Conflicts: 156000 | #Constraints: 230284
584.95/587.87 c #Conflicts: 157000 | #Constraints: 231284
585.16/588.10 c #Conflicts: 158000 | #Constraints: 232284
585.43/588.31 c #Conflicts: 159000 | #Constraints: 233284
587.52/590.41 c UNIT CLEANUP
587.52/590.41 c DATABASE CLEANUP
587.52/590.41 c GARBAGE COLLECT
587.52/590.41 c #Conflicts: 160000 | #Constraints: 222766
587.72/590.62 c #Conflicts: 161000 | #Constraints: 223766
587.81/590.77 c #Conflicts: 162000 | #Constraints: 224766
587.90/590.88 c #Conflicts: 163000 | #Constraints: 225766
588.01/591.00 c #Conflicts: 164000 | #Constraints: 226766
588.21/591.15 c #Conflicts: 165000 | #Constraints: 227766
588.39/591.31 c #Conflicts: 166000 | #Constraints: 228766
588.59/591.50 c #Conflicts: 167000 | #Constraints: 229766
594.26/597.25 c #Conflicts: 168000 | #Constraints: 230766
594.36/597.39 c #Conflicts: 169000 | #Constraints: 231766
594.65/597.63 c #Conflicts: 170000 | #Constraints: 232766
594.76/597.79 c #Conflicts: 171000 | #Constraints: 233766
594.94/598.01 c #Conflicts: 172000 | #Constraints: 234766
595.23/598.21 c #Conflicts: 173000 | #Constraints: 235766
595.33/598.36 c #Conflicts: 174000 | #Constraints: 236766
595.53/598.50 c #Conflicts: 175000 | #Constraints: 237766
595.72/598.76 c #Conflicts: 176000 | #Constraints: 238766
595.93/598.96 c #Conflicts: 177000 | #Constraints: 239766
596.13/599.19 c #Conflicts: 178000 | #Constraints: 240766
596.41/599.43 c #Conflicts: 179000 | #Constraints: 241766
596.62/599.66 c #Conflicts: 180000 | #Constraints: 242766
596.71/599.79 c #Conflicts: 181000 | #Constraints: 243766
641.74/644.93 c #Conflicts: 182000 | #Constraints: 244766
641.85/645.07 c #Conflicts: 183000 | #Constraints: 245766
642.03/645.21 c #Conflicts: 184000 | #Constraints: 246766
642.12/645.38 c #Conflicts: 185000 | #Constraints: 247766
642.33/645.55 c #Conflicts: 186000 | #Constraints: 248766
642.42/645.69 c #Conflicts: 187000 | #Constraints: 249766
642.62/645.83 c #Conflicts: 188000 | #Constraints: 250766
642.72/645.95 c #Conflicts: 189000 | #Constraints: 251766
713.14/716.63 c UNIT CLEANUP
713.14/716.63 c DATABASE CLEANUP
713.14/716.63 c GARBAGE COLLECT
713.14/716.63 c rational objective 4178.41
716.03/719.57 c #Conflicts: 190000 | #Constraints: 231878
716.22/719.72 c #Conflicts: 191000 | #Constraints: 232878
716.32/719.86 c #Conflicts: 192000 | #Constraints: 233878
716.41/720.00 c #Conflicts: 193000 | #Constraints: 234878
716.62/720.18 c #Conflicts: 194000 | #Constraints: 235878
717.00/720.57 c #Conflicts: 195000 | #Constraints: 236878
717.39/721.01 c #Conflicts: 196000 | #Constraints: 237878
717.79/721.38 c #Conflicts: 197000 | #Constraints: 238878
717.89/721.47 c #Conflicts: 198000 | #Constraints: 239878
718.08/721.61 c #Conflicts: 199000 | #Constraints: 240878
718.28/721.82 c #Conflicts: 200000 | #Constraints: 241878
720.48/724.03 c UNIT CLEANUP
720.48/724.03 c DATABASE CLEANUP
720.48/724.03 c GARBAGE COLLECT
720.48/724.03 c #Conflicts: 201000 | #Constraints: 227173
720.66/724.26 c #Conflicts: 202000 | #Constraints: 228173
720.76/724.37 c #Conflicts: 203000 | #Constraints: 229173
721.35/724.93 c #Conflicts: 204000 | #Constraints: 230174
722.25/725.89 c #Conflicts: 205000 | #Constraints: 231233
723.13/726.73 c #Conflicts: 206000 | #Constraints: 232239
727.91/731.54 c #Conflicts: 207000 | #Constraints: 233239
728.11/731.73 c #Conflicts: 208000 | #Constraints: 234239
728.31/731.94 c #Conflicts: 209000 | #Constraints: 235239
728.52/732.16 c #Conflicts: 210000 | #Constraints: 236239
728.71/732.38 c #Conflicts: 211000 | #Constraints: 237239
816.76/820.73 c DATABASE CLEANUP
816.76/820.73 c GARBAGE COLLECT
816.76/820.73 c rational objective 4185.75
819.44/823.44 c #Conflicts: 212000 | #Constraints: 224814
819.54/823.58 c #Conflicts: 213000 | #Constraints: 225814
819.73/823.71 c #Conflicts: 214000 | #Constraints: 226814
819.83/823.84 c #Conflicts: 215000 | #Constraints: 227814
819.92/823.97 c #Conflicts: 216000 | #Constraints: 228814
820.03/824.11 c #Conflicts: 217000 | #Constraints: 229814
820.21/824.24 c #Conflicts: 218000 | #Constraints: 230814
820.40/824.40 c #Conflicts: 219000 | #Constraints: 231814
834.54/838.60 c #Conflicts: 220000 | #Constraints: 232814
834.64/838.78 c #Conflicts: 221000 | #Constraints: 233814
834.84/838.95 c #Conflicts: 222000 | #Constraints: 234814
835.05/839.17 c #Conflicts: 223000 | #Constraints: 235814
835.33/839.40 c #Conflicts: 224000 | #Constraints: 236814
835.53/839.62 c #Conflicts: 225000 | #Constraints: 237814
835.62/839.78 c #Conflicts: 226000 | #Constraints: 238814
835.81/839.99 c #Conflicts: 227000 | #Constraints: 239814
836.09/840.20 c #Conflicts: 228000 | #Constraints: 240814
836.19/840.38 c #Conflicts: 229000 | #Constraints: 241814
836.37/840.54 c #Conflicts: 230000 | #Constraints: 242814
836.56/840.79 c #Conflicts: 231000 | #Constraints: 243814
836.75/841.01 c #Conflicts: 232000 | #Constraints: 244814
836.95/841.19 c #Conflicts: 233000 | #Constraints: 245814
837.12/841.37 c #Conflicts: 234000 | #Constraints: 246814
837.41/841.62 c #Conflicts: 235000 | #Constraints: 247814
837.70/841.90 c #Conflicts: 236000 | #Constraints: 248814
837.99/842.21 c #Conflicts: 237000 | #Constraints: 249814
838.09/842.34 c #Conflicts: 238000 | #Constraints: 250814
838.28/842.54 c #Conflicts: 239000 | #Constraints: 251814
838.47/842.75 c #Conflicts: 240000 | #Constraints: 252814
838.67/842.91 c #Conflicts: 241000 | #Constraints: 253814
838.78/843.05 c #Conflicts: 242000 | #Constraints: 254814
838.96/843.28 c #Conflicts: 243000 | #Constraints: 255814
839.15/843.45 c #Conflicts: 244000 | #Constraints: 256814
839.34/843.66 c #Conflicts: 245000 | #Constraints: 257814
899.21/903.73 c UNIT CLEANUP
899.21/903.73 c DATABASE CLEANUP
899.21/903.73 c GARBAGE COLLECT
899.21/903.73 c rational objective 4188.78
902.00/906.58 c #Conflicts: 246000 | #Constraints: 235167
902.19/906.79 c #Conflicts: 247000 | #Constraints: 236167
902.51/907.03 c #Conflicts: 248000 | #Constraints: 237167
902.69/907.28 c #Conflicts: 249000 | #Constraints: 238167
902.98/907.52 c #Conflicts: 250000 | #Constraints: 239167
903.19/907.72 c #Conflicts: 251000 | #Constraints: 240167
903.39/907.97 c #Conflicts: 252000 | #Constraints: 241167
903.68/908.23 c #Conflicts: 253000 | #Constraints: 242167
903.88/908.48 c #Conflicts: 254000 | #Constraints: 243167
904.18/908.72 c #Conflicts: 255000 | #Constraints: 244167
904.37/908.91 c #Conflicts: 256000 | #Constraints: 245167
904.48/909.04 c #Conflicts: 257000 | #Constraints: 246167
916.72/921.35 c UNIT CLEANUP
916.72/921.35 c DATABASE CLEANUP
916.72/921.35 c GARBAGE COLLECT
916.72/921.35 c #Conflicts: 258000 | #Constraints: 229164
916.92/921.54 c #Conflicts: 259000 | #Constraints: 230164
917.11/921.75 c #Conflicts: 260000 | #Constraints: 231164
917.31/921.96 c #Conflicts: 261000 | #Constraints: 232164
917.52/922.14 c #Conflicts: 262000 | #Constraints: 233164
917.70/922.35 c #Conflicts: 263000 | #Constraints: 234164
917.90/922.50 c #Conflicts: 264000 | #Constraints: 235164
917.99/922.66 c #Conflicts: 265000 | #Constraints: 236164
918.10/922.79 c #Conflicts: 266000 | #Constraints: 237164
918.40/923.10 c #Conflicts: 267000 | #Constraints: 238164
918.59/923.26 c #Conflicts: 268000 | #Constraints: 239164
918.78/923.49 c #Conflicts: 269000 | #Constraints: 240164
919.18/923.81 c #Conflicts: 270000 | #Constraints: 241164
921.17/925.89 c DATABASE CLEANUP
921.17/925.89 c GARBAGE COLLECT
921.17/925.89 c #Conflicts: 271000 | #Constraints: 226851
921.38/926.09 c #Conflicts: 272000 | #Constraints: 227851
921.57/926.29 c #Conflicts: 273000 | #Constraints: 228851
921.86/926.50 c #Conflicts: 274000 | #Constraints: 229851
922.06/926.70 c #Conflicts: 275000 | #Constraints: 230851
922.15/926.86 c #Conflicts: 276000 | #Constraints: 231851
922.36/927.11 c #Conflicts: 277000 | #Constraints: 232851
922.65/927.36 c #Conflicts: 278000 | #Constraints: 233851
922.75/927.48 c #Conflicts: 279000 | #Constraints: 234851
923.05/927.70 c #Conflicts: 280000 | #Constraints: 235851
923.25/927.92 c #Conflicts: 281000 | #Constraints: 236851
923.35/928.08 c #Conflicts: 282000 | #Constraints: 237851
923.73/928.50 c #Conflicts: 283000 | #Constraints: 238851
924.04/928.75 c #Conflicts: 284000 | #Constraints: 239851
924.35/929.02 c #Conflicts: 285000 | #Constraints: 240851
924.63/929.32 c #Conflicts: 286000 | #Constraints: 241851
924.72/929.47 c #Conflicts: 287000 | #Constraints: 242851
924.93/929.65 c #Conflicts: 288000 | #Constraints: 243851
925.12/929.84 c #Conflicts: 289000 | #Constraints: 244851
925.21/930.01 c #Conflicts: 290000 | #Constraints: 245851
938.86/943.65 c #Conflicts: 291000 | #Constraints: 246852
939.16/943.90 c #Conflicts: 292000 | #Constraints: 247852
939.27/944.08 c #Conflicts: 293000 | #Constraints: 248852
939.55/944.30 c #Conflicts: 294000 | #Constraints: 249852
939.75/944.57 c #Conflicts: 295000 | #Constraints: 250852
940.05/944.84 c #Conflicts: 296000 | #Constraints: 251852
940.26/945.02 c #Conflicts: 297000 | #Constraints: 252852
940.45/945.21 c #Conflicts: 298000 | #Constraints: 253852
940.64/945.49 c #Conflicts: 299000 | #Constraints: 254852
940.84/945.68 c #Conflicts: 300000 | #Constraints: 255852
941.04/945.85 c #Conflicts: 301000 | #Constraints: 256852
941.35/946.13 c #Conflicts: 302000 | #Constraints: 257852
941.63/946.43 c #Conflicts: 303000 | #Constraints: 258852
941.83/946.63 c #Conflicts: 304000 | #Constraints: 259852
942.03/946.83 c #Conflicts: 305000 | #Constraints: 260852
942.12/947.00 c #Conflicts: 306000 | #Constraints: 261852
942.42/947.25 c #Conflicts: 307000 | #Constraints: 262852
942.62/947.43 c #Conflicts: 308000 | #Constraints: 263852
947.09/951.98 c UNIT CLEANUP
947.09/951.98 c DATABASE CLEANUP
947.09/951.98 c GARBAGE COLLECT
947.09/951.98 c #Conflicts: 309000 | #Constraints: 235468
947.30/952.12 c #Conflicts: 310000 | #Constraints: 236468
947.38/952.29 c #Conflicts: 311000 | #Constraints: 237468
947.48/952.39 c #Conflicts: 312000 | #Constraints: 238468
947.68/952.56 c #Conflicts: 313000 | #Constraints: 239468
947.88/952.75 c #Conflicts: 314000 | #Constraints: 240468
948.08/952.99 c #Conflicts: 315000 | #Constraints: 241468
948.47/953.31 c #Conflicts: 316000 | #Constraints: 242468
948.77/953.60 c #Conflicts: 317000 | #Constraints: 243468
949.06/953.93 c #Conflicts: 318000 | #Constraints: 244468
949.36/954.23 c #Conflicts: 319000 | #Constraints: 245468
949.66/954.52 c #Conflicts: 320000 | #Constraints: 246468
949.85/954.70 c #Conflicts: 321000 | #Constraints: 247468
956.73/961.65 c DATABASE CLEANUP
956.73/961.65 c GARBAGE COLLECT
956.73/961.65 c rational objective 4214.98
959.32/964.27 c #Conflicts: 322000 | #Constraints: 228353
959.51/964.42 c #Conflicts: 323000 | #Constraints: 229353
959.61/964.56 c #Conflicts: 324000 | #Constraints: 230353
959.71/964.68 c #Conflicts: 325000 | #Constraints: 231353
959.91/964.83 c #Conflicts: 326000 | #Constraints: 232353
971.76/976.72 c #Conflicts: 327000 | #Constraints: 233353
971.86/976.88 c #Conflicts: 328000 | #Constraints: 234353
972.17/977.13 c #Conflicts: 329000 | #Constraints: 235353
972.45/977.45 c #Conflicts: 330000 | #Constraints: 236353
972.74/977.76 c #Conflicts: 331000 | #Constraints: 237353
973.05/978.02 c #Conflicts: 332000 | #Constraints: 238353
973.24/978.30 c #Conflicts: 333000 | #Constraints: 239353
973.53/978.52 c #Conflicts: 334000 | #Constraints: 240353
973.73/978.71 c #Conflicts: 335000 | #Constraints: 241353
973.92/978.97 c #Conflicts: 336000 | #Constraints: 242353
1073.46/1078.88 c DATABASE CLEANUP
1073.46/1078.88 c GARBAGE COLLECT
1073.46/1078.88 c #Conflicts: 337000 | #Constraints: 226234
1073.68/1079.02 c #Conflicts: 338000 | #Constraints: 227234
1073.86/1079.21 c #Conflicts: 339000 | #Constraints: 228234
1074.05/1079.47 c #Conflicts: 340000 | #Constraints: 229234
1074.25/1079.61 c #Conflicts: 341000 | #Constraints: 230234
1074.44/1079.83 c #Conflicts: 342000 | #Constraints: 231234
1074.66/1080.02 c #Conflicts: 343000 | #Constraints: 232234
1074.76/1080.17 c #Conflicts: 344000 | #Constraints: 233234
1074.94/1080.38 c #Conflicts: 345000 | #Constraints: 234234
1075.24/1080.62 c #Conflicts: 346000 | #Constraints: 235234
1075.33/1080.79 c #Conflicts: 347000 | #Constraints: 236234
1075.53/1080.96 c #Conflicts: 348000 | #Constraints: 237234
1075.75/1081.19 c #Conflicts: 349000 | #Constraints: 238234
1075.93/1081.37 c #Conflicts: 350000 | #Constraints: 239234
1076.13/1081.53 c #Conflicts: 351000 | #Constraints: 240234
1076.22/1081.68 c #Conflicts: 352000 | #Constraints: 241234
1076.52/1081.93 c #Conflicts: 353000 | #Constraints: 242234
1076.73/1082.19 c #Conflicts: 354000 | #Constraints: 243234
1076.91/1082.39 c #Conflicts: 355000 | #Constraints: 244234
1077.21/1082.65 c #Conflicts: 356000 | #Constraints: 245234
1077.41/1082.81 c #Conflicts: 357000 | #Constraints: 246234
1077.62/1083.09 c #Conflicts: 358000 | #Constraints: 247234
1077.72/1083.18 c #Conflicts: 359000 | #Constraints: 248234
1077.90/1083.32 c #Conflicts: 360000 | #Constraints: 249234
1078.10/1083.51 c #Conflicts: 361000 | #Constraints: 250234
1090.25/1095.75 c #Conflicts: 362000 | #Constraints: 251235
1090.45/1095.93 c #Conflicts: 363000 | #Constraints: 252235
1090.65/1096.12 c #Conflicts: 364000 | #Constraints: 253235
1090.73/1096.29 c #Conflicts: 365000 | #Constraints: 254235
1090.94/1096.48 c #Conflicts: 366000 | #Constraints: 255235
1091.24/1096.71 c #Conflicts: 367000 | #Constraints: 256235
1091.43/1096.91 c #Conflicts: 368000 | #Constraints: 257235
1091.64/1097.16 c #Conflicts: 369000 | #Constraints: 258235
1091.82/1097.36 c #Conflicts: 370000 | #Constraints: 259235
1092.02/1097.53 c #Conflicts: 371000 | #Constraints: 260235
1092.22/1097.72 c #Conflicts: 372000 | #Constraints: 261235
1092.42/1097.96 c #Conflicts: 373000 | #Constraints: 262235
1092.71/1098.24 c #Conflicts: 374000 | #Constraints: 263235
1093.01/1098.53 c #Conflicts: 375000 | #Constraints: 264235
1093.30/1098.82 c #Conflicts: 376000 | #Constraints: 265235
1093.62/1099.12 c #Conflicts: 377000 | #Constraints: 266235
1093.89/1099.44 c #Conflicts: 378000 | #Constraints: 267235
1098.58/1104.12 c UNIT CLEANUP
1098.58/1104.12 c DATABASE CLEANUP
1098.58/1104.12 c GARBAGE COLLECT
1098.58/1104.12 c #Conflicts: 379000 | #Constraints: 238497
1098.76/1104.35 c #Conflicts: 380000 | #Constraints: 239497
1098.97/1104.55 c #Conflicts: 381000 | #Constraints: 240497
1099.16/1104.74 c #Conflicts: 382000 | #Constraints: 241497
1099.36/1104.94 c #Conflicts: 383000 | #Constraints: 242497
1099.66/1105.21 c #Conflicts: 384000 | #Constraints: 243497
1099.86/1105.42 c #Conflicts: 385000 | #Constraints: 244497
1099.95/1105.57 c #Conflicts: 386000 | #Constraints: 245497
1100.25/1105.82 c #Conflicts: 387000 | #Constraints: 246497
1100.46/1106.09 c #Conflicts: 388000 | #Constraints: 247497
1100.75/1106.32 c #Conflicts: 389000 | #Constraints: 248497
1100.94/1106.58 c #Conflicts: 390000 | #Constraints: 249497
1101.24/1106.88 c #Conflicts: 391000 | #Constraints: 250497
1101.55/1107.12 c #Conflicts: 392000 | #Constraints: 251497
1101.73/1107.38 c #Conflicts: 393000 | #Constraints: 252497
1110.51/1116.17 c UNIT CLEANUP
1110.51/1116.17 c DATABASE CLEANUP
1110.51/1116.17 c GARBAGE COLLECT
1110.51/1116.17 c #Conflicts: 394000 | #Constraints: 230560
1110.69/1116.33 c #Conflicts: 395000 | #Constraints: 231560
1110.98/1116.69 c #Conflicts: 396000 | #Constraints: 232560
1111.29/1116.93 c #Conflicts: 397000 | #Constraints: 233560
1111.50/1117.13 c #Conflicts: 398000 | #Constraints: 234560
1120.15/1125.89 c #Conflicts: 399000 | #Constraints: 235561
1120.36/1126.10 c #Conflicts: 400000 | #Constraints: 236561
1120.64/1126.33 c #Conflicts: 401000 | #Constraints: 237561
1120.84/1126.50 c #Conflicts: 402000 | #Constraints: 238561
1121.04/1126.74 c #Conflicts: 403000 | #Constraints: 239561
1121.23/1126.91 c #Conflicts: 404000 | #Constraints: 240561
1121.34/1127.02 c #Conflicts: 405000 | #Constraints: 241561
1121.44/1127.16 c #Conflicts: 406000 | #Constraints: 242561
1121.62/1127.36 c #Conflicts: 407000 | #Constraints: 243561
1121.82/1127.57 c #Conflicts: 408000 | #Constraints: 244561
1122.02/1127.76 c #Conflicts: 409000 | #Constraints: 245561
1127.99/1133.71 c UNIT CLEANUP
1127.99/1133.71 c DATABASE CLEANUP
1127.99/1133.71 c GARBAGE COLLECT
1127.99/1133.71 c #Conflicts: 410000 | #Constraints: 226299
1128.09/1133.87 c #Conflicts: 411000 | #Constraints: 227299
1128.29/1134.07 c #Conflicts: 412000 | #Constraints: 228299
1128.40/1134.19 c #Conflicts: 413000 | #Constraints: 229299
1128.58/1134.33 c #Conflicts: 414000 | #Constraints: 230299
1128.78/1134.54 c #Conflicts: 415000 | #Constraints: 231299
1128.98/1134.79 c #Conflicts: 416000 | #Constraints: 232299
1129.28/1135.02 c #Conflicts: 417000 | #Constraints: 233299
1129.47/1135.24 c #Conflicts: 418000 | #Constraints: 234299
1129.56/1135.36 c #Conflicts: 419000 | #Constraints: 235299
1129.77/1135.57 c #Conflicts: 420000 | #Constraints: 236299
1130.06/1135.80 c #Conflicts: 421000 | #Constraints: 237299
1130.27/1136.02 c #Conflicts: 422000 | #Constraints: 238299
1130.46/1136.27 c #Conflicts: 423000 | #Constraints: 239299
1130.65/1136.43 c #Conflicts: 424000 | #Constraints: 240299
1130.75/1136.55 c #Conflicts: 425000 | #Constraints: 241299
1130.85/1136.68 c #Conflicts: 426000 | #Constraints: 242299
1131.05/1136.85 c #Conflicts: 427000 | #Constraints: 243299
1131.14/1137.00 c #Conflicts: 428000 | #Constraints: 244299
1131.35/1137.16 c #Conflicts: 429000 | #Constraints: 245299
1141.10/1146.96 c #Conflicts: 430000 | #Constraints: 246299
1141.40/1147.21 c #Conflicts: 431000 | #Constraints: 247299
1141.59/1147.49 c #Conflicts: 432000 | #Constraints: 248299
1141.89/1147.75 c #Conflicts: 433000 | #Constraints: 249299
1142.08/1148.00 c #Conflicts: 434000 | #Constraints: 250299
1142.39/1148.27 c #Conflicts: 435000 | #Constraints: 251299
1142.68/1148.52 c #Conflicts: 436000 | #Constraints: 252299
1142.88/1148.77 c #Conflicts: 437000 | #Constraints: 253299
1143.07/1148.99 c #Conflicts: 438000 | #Constraints: 254299
1143.37/1149.28 c #Conflicts: 439000 | #Constraints: 255299
1143.67/1149.58 c #Conflicts: 440000 | #Constraints: 256299
1144.06/1149.92 c #Conflicts: 441000 | #Constraints: 257299
1144.27/1150.15 c #Conflicts: 442000 | #Constraints: 258299
1144.55/1150.41 c #Conflicts: 443000 | #Constraints: 259299
1144.75/1150.64 c #Conflicts: 444000 | #Constraints: 260299
1144.85/1150.74 c #Conflicts: 445000 | #Constraints: 261299
1144.95/1150.85 c #Conflicts: 446000 | #Constraints: 262299
1145.05/1150.95 c #Conflicts: 447000 | #Constraints: 263299
1145.16/1151.09 c #Conflicts: 448000 | #Constraints: 264299
1145.34/1151.24 c #Conflicts: 449000 | #Constraints: 265299
1145.44/1151.39 c #Conflicts: 450000 | #Constraints: 266299
1145.64/1151.52 c #Conflicts: 451000 | #Constraints: 267299
1145.83/1151.71 c #Conflicts: 452000 | #Constraints: 268299
1146.03/1151.92 c #Conflicts: 453000 | #Constraints: 269299
1146.24/1152.14 c #Conflicts: 454000 | #Constraints: 270299
1146.53/1152.41 c #Conflicts: 455000 | #Constraints: 271299
1154.58/1160.58 c UNIT CLEANUP
1154.58/1160.58 c DATABASE CLEANUP
1154.58/1160.58 c GARBAGE COLLECT
1154.58/1160.58 c rational objective 4333.43
1157.38/1163.38 c #Conflicts: 456000 | #Constraints: 230960
1157.67/1163.60 c #Conflicts: 457000 | #Constraints: 231960
1157.87/1163.87 c #Conflicts: 458000 | #Constraints: 232960
1158.18/1164.14 c #Conflicts: 459000 | #Constraints: 233960
1158.46/1164.41 c #Conflicts: 460000 | #Constraints: 234960
1158.66/1164.69 c #Conflicts: 461000 | #Constraints: 235960
1158.95/1164.98 c #Conflicts: 462000 | #Constraints: 236960
1166.82/1172.84 c #Conflicts: 463000 | #Constraints: 237961
1167.03/1173.03 c #Conflicts: 464000 | #Constraints: 238961
1167.20/1173.21 c #Conflicts: 465000 | #Constraints: 239961
1167.40/1173.42 c #Conflicts: 466000 | #Constraints: 240961
1167.59/1173.67 c #Conflicts: 467000 | #Constraints: 241961
1167.89/1173.92 c #Conflicts: 468000 | #Constraints: 242961
1168.10/1174.16 c #Conflicts: 469000 | #Constraints: 243961
1168.37/1174.41 c #Conflicts: 470000 | #Constraints: 244961
1168.56/1174.66 c #Conflicts: 471000 | #Constraints: 245961
1168.76/1174.89 c #Conflicts: 472000 | #Constraints: 246961
1182.04/1188.20 c UNIT CLEANUP
1182.04/1188.20 c DATABASE CLEANUP
1182.04/1188.20 c GARBAGE COLLECT
1182.04/1188.20 c #Conflicts: 473000 | #Constraints: 190719
1182.22/1188.40 c #Conflicts: 474000 | #Constraints: 191719
1182.41/1188.60 c #Conflicts: 475000 | #Constraints: 192719
1182.60/1188.83 c #Conflicts: 476000 | #Constraints: 193719
1182.80/1189.03 c #Conflicts: 477000 | #Constraints: 194719
1182.99/1189.25 c #Conflicts: 478000 | #Constraints: 195719
1183.17/1189.48 c #Conflicts: 479000 | #Constraints: 196719
1183.37/1189.68 c #Conflicts: 480000 | #Constraints: 197719
1183.56/1189.90 c #Conflicts: 481000 | #Constraints: 198719
1183.77/1190.11 c #Conflicts: 482000 | #Constraints: 199719
1184.05/1190.31 c #Conflicts: 483000 | #Constraints: 200719
1184.24/1190.56 c #Conflicts: 484000 | #Constraints: 201719
1184.44/1190.75 c #Conflicts: 485000 | #Constraints: 202719
1184.53/1190.89 c #Conflicts: 486000 | #Constraints: 203719
1184.64/1190.93 c cpu time 1180.77 s
1184.64/1190.93 c deterministic time 4550330200 4.55e+09
1184.64/1190.93 c optimization time 0.000152 s
1184.64/1190.93 c total solve time 1179.48 s
1184.64/1190.93 c core-guided solve time 0 s
1184.64/1190.93 c propagation time 45.2935 s
1184.64/1190.93 c conflict analysis time 40.8632 s
1184.64/1190.93 c local search time 65.9119 s
1184.64/1190.93 c propagations 661770620
1184.64/1190.93 c resolve steps 17978725
1184.64/1190.93 c resolve steps with general constraints 2648449
1184.64/1190.93 c decisions 1461097
1184.64/1190.93 c conflicts 486397
1184.64/1190.93 c overflow fixes 72
1184.64/1190.93 c conflicts with overflow fixes 0
1184.64/1190.93 c restarts 1022
1184.64/1190.93 c inprocessing phases 35
1184.64/1190.93 c garbage collections 23 ,( 65.71 )
1184.64/1190.93 c input clauses 207316 ,( 93.84 )
1184.64/1190.93 c input cardinalities 0 ,( 0.00 )
1184.64/1190.93 c input general constraints 13613 ,( 6.16 )
1184.64/1190.93 c input average constraint length 3.02
1184.64/1190.93 c input average constraint degree 6.51e+00
1184.64/1190.93 c input average constraint degree bitlength 0.36
1184.64/1190.93 c learned clauses 551654 ,( 97.29 )
1184.64/1190.93 c learned cardinalities 10 ,( 0.00 )
1184.64/1190.93 c learned general constraints 15372 ,( 2.71 )
1184.64/1190.93 c learned average constraint length 136.63
1184.64/1190.93 c learned average constraint degree 1.56e+05
1184.64/1190.93 c learned average constraint degree bitlength 0.13
1184.64/1190.93 c watched CF 32, 64, 128, Arb: 2161 , 0 , 0 , 0
1184.64/1190.93 c counting CF 32, 64, 128, Arb: 26824 , 0 , 0 , 0
1184.64/1190.93 c watched constraints 2161 ,( 7.46 )
1184.64/1190.93 c counting constraints 26824 ,( 92.54 )
1184.64/1190.93 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 810167916 , 581 , 59678244 ,( 772673 , 58905571 )
1184.64/1190.93 c pure literals detected 0
1184.64/1190.93 c unique literal constraints detected 0
1184.64/1190.93 c gcd simplifications 13363
1184.64/1190.93 c detected cardinalities 14500
1184.64/1190.93 c divisions strengthening the constraint 0
1184.64/1190.93 c weakened non-implied lits 172616
1184.64/1190.93 c weakened non-implying lits 15940
1184.64/1190.93 c percentage of cover cuts not using all falsified lits 53.293
1184.64/1190.93 c average MIR cut multiplier 0.00e+00
1184.64/1190.93 c average MIR cut multiplier bitlength 0.000
1184.64/1190.93 c original variables 77106
1184.64/1190.93 c clausal propagations 649780755
1184.64/1190.93 c cardinality propagations 14
1184.64/1190.93 c watched propagations 5036
1184.64/1190.93 c counting propagations 11498310
1184.64/1190.93 c watch lookups 1462193858
1184.64/1190.93 c watch backjump lookups 0
1184.64/1190.93 c watch checks 759184162
1184.64/1190.93 c propagation checks 787378241
1184.64/1190.93 c constraint additions 213725912
1184.64/1190.93 c trail pops 663687426
1184.64/1190.93 c formula constraints 220922
1184.64/1190.93 c learned constraints 566921
1184.64/1190.93 c bound constraints 0
1184.64/1190.93 c core-guided constraints 0
1184.64/1190.93 c encountered formula constraints 15507964
1184.64/1190.93 c encountered learned constraints 2957141
1184.64/1190.93 c encountered bound constraints 0
1184.64/1190.93 c encountered core-guided constraints 0
1184.64/1190.93 c LP total time 1022.08 s
1184.64/1190.93 c LP solve time 1013.61 s
1184.64/1190.93 c LP constraints added 211551
1184.64/1190.93 c LP constraints removed 118
1184.64/1190.93 c LP pivots internal 488832
1184.64/1190.93 c LP pivots root 440051
1184.64/1190.93 c LP calls 111
1184.64/1190.93 c LP optimalities 25
1184.64/1190.93 c LP no pivot count 0
1184.64/1190.93 c LP infeasibilities 73
1184.64/1190.93 c LP valid Farkas constraints 73
1184.64/1190.93 c LP learned Farkas constraints 2
1184.64/1190.93 c LP basis resets 7
1184.64/1190.93 c LP cycling count 3
1184.64/1190.93 c LP singular count 1
1184.64/1190.93 c LP no primal count 0
1184.64/1190.93 c LP no farkas count 0
1184.64/1190.93 c LP other issue count 3
1184.64/1190.93 c LP Gomory cuts 40
1184.64/1190.93 c LP learned cuts 208
1184.64/1190.93 c LP deleted cuts 118
1184.64/1190.93 c LP encountered Gomory constraints 12
1184.64/1190.93 c LP encountered Farkas constraints 1
1184.64/1190.93 c LP encountered learned Farkas constraints 2
1184.64/1190.93 c CG auxiliary variables introduced 0
1184.64/1190.93 c CG solutions found 0
1184.64/1190.93 c CG cores constructed 0
1184.64/1190.93 c CG core cardinality constraints returned 0
1184.64/1190.93 c CG unit cores 0
1184.64/1190.93 c CG single cores 0
1184.64/1190.93 c CG blocks removed during cardinality reduction 0
1184.64/1190.93 c CG first core best 0
1184.64/1190.93 c CG decision core best 0
1184.64/1190.93 c CG core reduction tie 0
1184.64/1190.93 c CG core degree average 0.00
1184.64/1190.93 c CG core slack average 0.00
1184.64/1190.93 c CG core upper bound improvements 0
1184.64/1190.93 c STR number of successful calls 0
1184.64/1190.93 c STR number of unsuccessful calls 0
1184.64/1190.93 c STR number of inconclusive calls 0
1184.64/1190.93 c STR number of successful attempts 0
1184.64/1190.93 c STR number of unsuccessful attempts 0
1184.64/1190.93 c STR number of inconclusive attempts 0
1184.64/1190.93 c STR average degree increase per successful call inf
1184.64/1190.93 c STR average degree increase per successful attempt inf
1184.64/1190.93 c STR total number of conflicts for successful attempts 0
1184.64/1190.93 c STR total number of conflicts for unsuccessful attempts 0
1184.64/1190.93 c STR total number of conflicts for inconclusive attempts 0
1184.64/1190.93 c STR average number of conflicts per successful attempt inf
1184.64/1190.93 c STR average number of conflicts per unsuccessful attempt inf
1184.64/1190.93 c STR average number of conflicts per inconclusive attempt inf
1184.64/1190.93 c IHS number of seeded input constraints 0
1184.64/1190.93 c IHS number of seeded weakened input constraints 0
1184.64/1190.93 c IHS number of successful local search calls 0
1184.74/1191.02 c IHS number of timeouts for local search 0
1184.74/1191.02 c IHS number of complete search calls 0
1184.74/1191.02 c IHS number of optimal complete search calls 0
1184.74/1191.02 c IHS number of complete search progress calls 0
1184.74/1191.02 c IHS number of solutions from local search 0
1184.74/1191.02 c IHS number of upper bounds from local search 0
1184.74/1191.02 c IHS number of cores from local search 0
1184.74/1191.02 c IHS number of discarded solutions from local search 0
1184.74/1191.02 c IHS number of solutions from complete search 0
1184.74/1191.02 c IHS number of upper bounds from complete search 0
1184.74/1191.02 c IHS number of cores from complete search 0
1184.74/1191.02 c IHS number of discarded solutions from complete search 0
1184.74/1191.02 c IHS local search time 0 s
1184.74/1191.02 c IHS complete search time 0 s
1184.74/1191.02 c IHS core extraction time 0 s
1184.74/1191.02 c AVG.sumWPerc 78.83
1184.74/1191.02 c bigint constraints 0
1184.74/1191.02 s UNSATISFIABLE
Verifier Data
ERROR: no interpretation found !
Checking of UNSAT/OPT proofs:
VeriPB + CakePB (PB26)
Proof is valid.Proof size: 951151 kiB
Checker CPU time: 109.258 seconds
Checker wall-clock time: 71.0966 seconds
Checker maximum virtual size: 44125608 kiB
Checker output:
Fri Jul 10 09:08:55 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-4834587-1783662593/watcher-4834587-1783662593 -o /tmp/evaluation-result-4834587-1783662593/solver-4834587-1783662593 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834587-1783662593/vars-4834587-1783662593 --bin-var /tmp/runsolver-exch-nodeE010-1783662593-1149610 --watchdog 3760 --file-size-limit 100000 ./run-lcc.sh --proof-log=/tmp/proofs/proof-4834587-1783662593 HOME/instance-4834587-1783662593.opb
running on 4 cores: 20-23
CPU: AMD EPYC 9355 32-Core Processor
Cores frequency:
2500 MHz: 1-2,4,6,8,10-11,15,17,32,35-36,38-39,45,47,60,62
3550 MHz: 5,16,18-19,28-31,33-34,40,43,48-51,53,56-59
3600 MHz: 0,3,7,9,12-14,20-27,37,41-42,44,46,52,54-55,61,63
WARNING: cores do not run at the same frequency!
Cores frequency (cpufreq):
2500 MHz: 1-2
3600 MHz: 0,3
WARNING: cores do not run at the same frequency!
CPU governors:
performance: 20-23
NUMA information:
number of nodes: 8
node 0: cores 0-7, 128055 MiB (17421 MiB free)
node 1: cores 8-15, 128973 MiB (12177 MiB free)
node 2: cores 16-23, 129019 MiB (124460 MiB free)
node 3: cores 24-31, 129003 MiB (98022 MiB free)
node 4: cores 32-39, 129019 MiB (107537 MiB free)
node 5: cores 40-47, 129019 MiB (118892 MiB free)
node 6: cores 48-55, 129019 MiB (125691 MiB free)
node 7: cores 56-63, 128474 MiB (106954 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=1149842, runsolver pid=1149818
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.92 1.05 2.31 17/888 1149846
/proc/meminfo: memFree=727827448/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=97440 memory=53320 CPUtime=0.09 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 11083 0 0 0 7 2 0 0 20 0 1 0 299547040 99778560 13173 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 24360 13330 2121 1755 0 12195 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 101632 KiB
Current children cumulated memory: 56552 KiB
[startup+0.214535 s]*
/proc/loadavg: 0.92 1.05 2.31 18/888 1149846
/proc/meminfo: memFree=727517644/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=124564 memory=80284 CPUtime=0.21 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 18191 0 0 0 16 5 0 0 20 0 1 0 299547040 127553536 19895 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 31141 20071 2121 1755 0 18976 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128756 KiB
Current children cumulated memory: 83516 KiB
[startup+0.315104 s]*
/proc/loadavg: 0.92 1.05 2.31 17/888 1149846
/proc/meminfo: memFree=727416436/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=150316 memory=102612 CPUtime=0.31 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 24587 0 0 0 24 7 0 0 20 0 1 0 299547040 153923584 25500 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 37579 25653 2121 1755 0 25414 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 154508 KiB
Current children cumulated memory: 105844 KiB
[startup+0.700232 s]
/proc/loadavg: 0.92 1.05 2.31 16/885 1149846
/proc/meminfo: memFree=727008500/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=358396 memory=285056 CPUtime=0.67 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 56645 0 0 0 56 11 0 0 20 0 1 0 299547040 366997504 71134 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 89599 71262 2309 1755 0 77434 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 362588 KiB
Current children cumulated memory: 288288 KiB
[startup+1.50023 s]
/proc/loadavg: 0.92 1.05 2.31 15/874 1149871
/proc/meminfo: memFree=726173796/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=442824 memory=374772 CPUtime=1.47 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 112691 0 0 0 131 16 0 0 20 0 1 0 299547040 453451776 93612 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 110706 93693 2760 1755 0 98541 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 447016 KiB
Current children cumulated memory: 378004 KiB
[startup+3.11445 s]
/proc/loadavg: 0.92 1.05 2.31 14/869 1149879
/proc/meminfo: memFree=724973284/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=442824 memory=375004 CPUtime=3.08 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 112708 0 0 0 291 17 0 0 20 0 1 0 299547040 453451776 93612 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 110706 93751 2808 1755 0 98541 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 447016 KiB
Current children cumulated memory: 378236 KiB
[startup+6.30019 s]
/proc/loadavg: 2.21 1.32 2.39 13/872 1150079
/proc/meminfo: memFree=724815232/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=467572 memory=394092 CPUtime=6.25 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 116935 0 0 0 606 19 0 0 20 0 1 0 299547040 478793728 98386 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 116893 98523 2903 1755 0 104728 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 471764 KiB
Current children cumulated memory: 397324 KiB
[startup+12.7002 s]
/proc/loadavg: 3.23 1.55 2.46 13/872 1150327
/proc/meminfo: memFree=724333472/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=470296 memory=400884 CPUtime=12.62 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 118685 0 0 0 1240 22 0 0 20 0 1 0 299547040 481583104 100050 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 117574 100221 2903 1755 0 105409 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 474488 KiB
Current children cumulated memory: 404116 KiB
[startup+25.5002 s]
/proc/loadavg: 6.14 2.27 2.68 13/865 1151071
/proc/meminfo: memFree=724458280/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=478396 memory=408896 CPUtime=25.37 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 120659 0 0 0 2513 24 0 0 20 0 1 0 299547040 489877504 102098 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 119599 102224 2935 1755 0 107434 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 482588 KiB
Current children cumulated memory: 412128 KiB
[startup+51.1146 s]
/proc/loadavg: 9.98 3.48 3.07 19/888 1152225
/proc/meminfo: memFree=718509664/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=535512 memory=454832 CPUtime=50.8 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 125023 0 0 0 5046 34 0 0 20 0 1 0 299547040 548364288 113589 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 133878 113708 2935 1755 0 121713 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 539704 KiB
Current children cumulated memory: 458064 KiB
[startup+102.3 s]
/proc/loadavg: 14.29 5.65 3.83 18/899 1153093
/proc/meminfo: memFree=709358612/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=543916 memory=465712 CPUtime=101.73 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 127782 0 0 0 10130 43 0 0 20 0 1 0 299547040 556969984 116277 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 135979 116428 2935 1755 0 123814 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 548108 KiB
################
# More data... #
################
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 137148 0 0 0 87551 239 0 0 20 0 1 0 299547040 655974400 138165 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 160150 138285 2935 1755 0 147985 0
Current children cumulated CPU time: 877.9 s
Current children cumulated vsize: 644792 KiB
Current children cumulated memory: 556372 KiB
[startup+942.3 s]
/proc/loadavg: 17.11 16.88 12.03 19/898 1155488
/proc/meminfo: memFree=647125776/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=640600 memory=553140 CPUtime=937.56 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 137180 0 0 0 93489 267 0 0 20 0 1 0 299547040 655974400 138165 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 160150 138285 2935 1755 0 147985 0
Current children cumulated CPU time: 937.56 s
Current children cumulated vsize: 644792 KiB
Current children cumulated memory: 556372 KiB
[startup+1002.3 s]
/proc/loadavg: 16.63 16.77 12.30 18/899 1155594
/proc/meminfo: memFree=643847092/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=647164 memory=565872 CPUtime=997.23 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138321 0 0 0 99427 296 0 0 20 0 1 0 299547040 662695936 141306 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 161791 141468 2935 1755 0 149626 0
Current children cumulated CPU time: 997.23 s
Current children cumulated vsize: 651356 KiB
Current children cumulated memory: 569104 KiB
[startup+1062.3 s]
/proc/loadavg: 17.07 16.86 12.61 17/898 1155595
/proc/meminfo: memFree=639520232/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=647164 memory=566328 CPUtime=1057.02 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138329 0 0 0 105398 304 0 0 20 0 1 0 299547040 662695936 141434 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 161791 141582 3049 1755 0 149626 0
Current children cumulated CPU time: 1057.02 s
Current children cumulated vsize: 651356 KiB
Current children cumulated memory: 569560 KiB
[startup+1122.3 s]
/proc/loadavg: 17.25 16.96 12.92 18/897 1155596
/proc/meminfo: memFree=635304012/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=647164 memory=572472 CPUtime=1116.66 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138332 0 0 0 111325 341 0 0 20 0 1 0 299547040 662695936 143013 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 161791 143118 3049 1755 0 149626 0
Current children cumulated CPU time: 1116.66 s
Current children cumulated vsize: 651356 KiB
Current children cumulated memory: 575704 KiB
[startup+1182.3 s]
/proc/loadavg: 16.91 16.91 13.15 17/897 1155597
/proc/meminfo: memFree=631605792/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=678412 memory=590452 CPUtime=1176.17 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138727 0 0 0 117233 384 0 0 20 0 1 0 299547040 694693888 147466 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 169603 147613 3065 1755 0 157438 0
Current children cumulated CPU time: 1176.17 s
Current children cumulated vsize: 682604 KiB
Current children cumulated memory: 593684 KiB
[startup+1191.03 s]
# the end of solver process 1149842 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1180.84 s, system=3.92964 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1184 s]*
/proc/loadavg: 16.76 16.88 13.16 18/897 1155597
/proc/meminfo: memFree=631463972/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=678412 memory=590452 CPUtime=1177.89 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138727 0 0 0 117404 385 0 0 20 0 1 0 299547040 694693888 147466 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 169603 147613 3065 1755 0 157438 0
Current children cumulated CPU time: 1177.89 s
Current children cumulated vsize: 682604 KiB
Current children cumulated memory: 593684 KiB
[startup+1187.2 s]
/proc/loadavg: 16.76 16.88 13.16 18/897 1155597
/proc/meminfo: memFree=631263460/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=678412 memory=590452 CPUtime=1181.06 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138727 0 0 0 117721 385 0 0 20 0 1 0 299547040 694693888 147466 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 169603 147613 3065 1755 0 157438 0
Current children cumulated CPU time: 1181.06 s
Current children cumulated vsize: 682604 KiB
Current children cumulated memory: 593684 KiB
[startup+1188.8 s]
/proc/loadavg: 16.76 16.88 13.16 19/897 1155597
/proc/meminfo: memFree=631181820/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=678412 memory=590452 CPUtime=1182.6 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138727 0 0 0 117874 386 0 0 20 0 1 0 299547040 694693888 147466 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 169603 147613 3065 1755 0 157438 0
Current children cumulated CPU time: 1182.6 s
Current children cumulated vsize: 682604 KiB
Current children cumulated memory: 593684 KiB
[startup+1190.4 s]
/proc/loadavg: 16.69 16.86 13.18 20/897 1155598
/proc/meminfo: memFree=630944272/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=678412 memory=590452 CPUtime=1184.15 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138727 0 0 0 118025 390 0 0 20 0 1 0 299547040 694693888 147466 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 169603 147613 3065 1755 0 157438 0
Current children cumulated CPU time: 1184.15 s
Current children cumulated vsize: 682604 KiB
Current children cumulated memory: 593684 KiB
[startup+1190.8 s]
/proc/loadavg: 16.69 16.86 13.18 20/897 1155598
/proc/meminfo: memFree=630944272/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=678412 memory=590452 CPUtime=1184.53 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138727 0 0 0 118063 390 0 0 20 0 1 0 299547040 694693888 147466 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 169603 147613 3065 1755 0 157438 0
Current children cumulated CPU time: 1184.53 s
Current children cumulated vsize: 682604 KiB
Current children cumulated memory: 593684 KiB
[startup+1191 s]*
/proc/loadavg: 16.69 16.86 13.18 18/897 1155598
/proc/meminfo: memFree=631047260/1055320708 swapFree=32662696/33554428
[pid=1149842] ppid=1149818 vsize=4192 memory=3232 CPUtime=0 cores=20-23
/proc/1149842/stat : 1149842 (run-lcc.sh) S 1149818 1149842 1149595 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 299547040 4292608 640 18446744073709551615 94107325157376 94107326051909 140730058872304 0 0 0 65536 4 65538 1 0 0 17 20 0 0 0 0 0 94107326290960 94107326338704 94107355197440 140730058877174 140730058877313 140730058877313 140730058883051 0
/proc/1149842/statm: 1048 808 729 219 0 110 0
[pid=1149845] ppid=1149842 vsize=370536 memory=325484 CPUtime=1184.74 cores=20-23
/proc/1149845/stat : 1149845 (roundingsat) R 1149842 1149842 1149595 0 -1 4194304 138728 0 0 0 118083 391 0 0 20 0 1 0 299547040 379428864 81362 18446744073709551615 4194304 11382409 140725610412656 0 0 0 0 0 8405026 0 0 0 17 22 0 0 0 0 0 12505888 12515512 41730048 140725610420101 140725610420640 140725610420640 140725610426346 0
/proc/1149845/statm: 92634 81371 3081 1755 0 80469 0
Current children cumulated CPU time: 1184.74 s
Current children cumulated vsize: 374728 KiB
Current children cumulated memory: 328716 KiB
Child status: 0
Real time (s): 1191.03
CPU time (s): 1184.77
CPU user time (s): 1180.84
CPU system time (s): 3.92964
CPU usage (%): 99.4745
Max. virtual memory (cumulated for all children) (KiB): 682604
Max. memory (cumulated for all children) (KiB): 593684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1180.84
system time used= 3.92964
maximum resident set size= 589864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138961
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= 119064
involuntary context switches= 899
# summary of solver processes directly reported to runsolver:
# pid: 1149842
# total CPU time (s): 1184.77
# total CPU user time (s): 1180.84
# total CPU system time (s): 3.92964
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.08302 second user time and 14.0782 second system time
The end
Launcher Data
Begin job on nodeE010 at 2026-07-10 07:49:53
IDJOB=4834587
IDBENCH=147714
IDSOLVER=3670
FILE ID=nodeE010/4834587-1783662593
RUNJOBID= nodeE010-1783662593-1149610
SLURM_JOB_ID= 12722754
Free space on /tmp= 789844 MiB
SOLVER NAME= roundingsat-satsuma-liftedcover 2026-06-11 (cert)
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
COMMAND LINE= ./run-lcc.sh --proof-log=CERTNAME BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4834587-1783662593/watcher-4834587-1783662593 -o /tmp/evaluation-result-4834587-1783662593/solver-4834587-1783662593 -C 3600 -W 3700 -M 62000 --var /tmp/evaluation-result-4834587-1783662593/vars-4834587-1783662593 --bin-var /tmp/runsolver-exch-nodeE010-1783662593-1149610 --watchdog 3760 --file-size-limit 100000 ./run-lcc.sh --proof-log=/tmp/proofs/proof-4834587-1783662593 HOME/instance-4834587-1783662593.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 62000 MiB
NBCORE= 3
MD5SUM BENCH= ab585d5a9f1265a4903b33e81faedd32
RANDOM SEED=1254770320
nodeE010 Linux 5.14.0-611.55.1.el9_7.0.3.x86_64 #1 SMP PREEMPT_DYNAMIC Mon May 18 19:21:10 UTC 2026
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 0
cpu cores : 32
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 1
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 1
cpu cores : 32
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 2
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 2
cpu cores : 32
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 3
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 3
cpu cores : 32
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 4
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 64
cpu cores : 32
apicid : 64
initial apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 5
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 65
cpu cores : 32
apicid : 65
initial apicid : 65
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 6
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 66
cpu cores : 32
apicid : 66
initial apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 7
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 67
cpu cores : 32
apicid : 67
initial apicid : 67
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 8
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 0
siblings : 32
core id : 32
cpu cores : 32
apicid : 32
initial apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 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 : 3589.622
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.34
TLB size : 192 4K pages
clflush size : 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 : 3592.413
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.34
TLB size : 192 4K pages
clflush size : 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.126
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.34
TLB size : 192 4K pages
clflush size : 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 : 3611.519
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.34
TLB size : 192 4K pages
clflush size : 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 : 3611.119
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.34
TLB size : 192 4K pages
clflush size : 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 : 3616.138
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.34
TLB size : 192 4K pages
clflush size : 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.34
TLB size : 192 4K pages
clflush size : 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 : 3558.550
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.34
TLB size : 192 4K pages
clflush size : 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 : 3563.036
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.34
TLB size : 192 4K pages
clflush size : 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 : 3560.379
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.34
TLB size : 192 4K pages
clflush size : 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 : 2493.659
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.34
TLB size : 192 4K pages
clflush size : 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 : 3586.185
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.34
TLB size : 192 4K pages
clflush size : 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 : 3587.581
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.34
TLB size : 192 4K pages
clflush size : 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 : 3584.513
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.34
TLB size : 192 4K pages
clflush size : 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.34
TLB size : 192 4K pages
clflush size : 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 : 3593.614
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.34
TLB size : 192 4K pages
clflush size : 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 : 3585.186
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.34
TLB size : 192 4K pages
clflush size : 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 : 3579.594
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.34
TLB size : 192 4K pages
clflush size : 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 : 3595.354
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.34
TLB size : 192 4K pages
clflush size : 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 : 3573.832
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.34
TLB size : 192 4K pages
clflush size : 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 : 3568.652
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.34
TLB size : 192 4K pages
clflush size : 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 : 3571.555
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.34
TLB size : 192 4K pages
clflush size : 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 : 3570.569
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.34
TLB size : 192 4K pages
clflush size : 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 : 3574.131
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.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 33
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 1
cpu cores : 32
apicid : 129
initial apicid : 129
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 34
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3574.746
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.34
TLB size : 192 4K pages
clflush size : 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 : 3569.750
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.34
TLB size : 192 4K pages
clflush size : 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 : 3574.125
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.34
TLB size : 192 4K pages
clflush size : 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 : 3579.555
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.34
TLB size : 192 4K pages
clflush size : 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 : 3580.429
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.34
TLB size : 192 4K pages
clflush size : 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 : 3581.136
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.34
TLB size : 192 4K pages
clflush size : 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 : 3574.545
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.34
TLB size : 192 4K pages
clflush size : 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 : 3575.764
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.34
TLB size : 192 4K pages
clflush size : 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 : 3571.383
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.34
TLB size : 192 4K pages
clflush size : 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.34
TLB size : 192 4K pages
clflush size : 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 : 3584.758
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.34
TLB size : 192 4K pages
clflush size : 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 : 3586.200
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.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 46
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 2493.659
cache size : 1024 KB
physical id : 1
siblings : 32
core id : 98
cpu cores : 32
apicid : 226
initial apicid : 226
fpu : yes
fpu_exception : yes
cpuid level : 16
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good amd_lbr_v2 nopl xtopology nonstop_tsc cpuid extd_apicid aperfmperf rapl pni pclmulqdq monitor ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs skinit wdt tce topoext perfctr_core perfctr_nb bpext perfctr_llc mwaitx cat_l3 cdp_l3 hw_pstate ssbd mba perfmon_v2 ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid cqm rdt_a avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local user_shstk avx_vnni avx512_bf16 clzero irperf xsaveerptr rdpru wbnoinvd amd_ppin cppc arat npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold avic v_vmsave_vmload vgif x2avic v_spec_ctrl vnmi avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid bus_lock_detect movdiri movdir64b overflow_recov succor smca avx512_vp2intersect flush_l1d debug_swap amd_lbr_pmc_freeze
bugs : sysret_ss_attrs spectre_v1 spectre_v2 spec_store_bypass srso spectre_v2_user vmscape
bogomips : 7090.34
TLB size : 192 4K pages
clflush size : 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 : 3585.283
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.34
TLB size : 192 4K pages
clflush size : 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 : 3562.258
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.34
TLB size : 192 4K pages
clflush size : 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 : 3576.333
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.34
TLB size : 192 4K pages
clflush size : 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 : 3556.237
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.34
TLB size : 192 4K pages
clflush size : 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 : 3568.143
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.34
TLB size : 192 4K pages
clflush size : 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 : 3569.772
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.34
TLB size : 192 4K pages
clflush size : 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 : 3578.755
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.34
TLB size : 192 4K pages
clflush size : 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 : 3573.013
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.34
TLB size : 192 4K pages
clflush size : 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.34
TLB size : 192 4K pages
clflush size : 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 : 3570.800
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.34
TLB size : 192 4K pages
clflush size : 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 : 3568.264
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.34
TLB size : 192 4K pages
clflush size : 64
cache_alignment : 64
address sizes : 52 bits physical, 57 bits virtual
power management: ts ttp tm hwpstate eff_freq_ro [13] [14]
processor : 58
vendor_id : AuthenticAMD
cpu family : 26
model : 2
model name : AMD EPYC 9355 32-Core Processor
stepping : 1
microcode : 0xb00215a
cpu MHz : 3568.098
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.34
TLB size : 192 4K pages
clflush size : 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 : 3570.189
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.34
TLB size : 192 4K pages
clflush size : 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 : 3585.624
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.34
TLB size : 192 4K pages
clflush size : 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 : 3590.690
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.34
TLB size : 192 4K pages
clflush size : 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 : 3600.909
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.34
TLB size : 192 4K pages
clflush size : 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 : 3589.053
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.34
TLB size : 192 4K pages
clflush 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: 1055320708 kB
MemFree: 728283796 kB
MemAvailable: 1046649552 kB
Buffers: 32 kB
Cached: 321913704 kB
SwapCached: 7284 kB
Active: 9379812 kB
Inactive: 312628240 kB
Active(anon): 157600 kB
Inactive(anon): 20876 kB
Active(file): 9222212 kB
Inactive(file): 312607364 kB
Unevictable: 9000 kB
Mlocked: 0 kB
SwapTotal: 33554428 kB
SwapFree: 32662696 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 184804 kB
Writeback: 0 kB
AnonPages: 101116 kB
Mapped: 89276 kB
Shmem: 84160 kB
KReclaimable: 2697400 kB
Slab: 3266788 kB
SReclaimable: 2697400 kB
SUnreclaim: 569388 kB
KernelStack: 13968 kB
PageTables: 4996 kB
SecPageTables: 15564 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 561214780 kB
Committed_AS: 129479404 kB
VmallocTotal: 13743895347199 kB
VmallocUsed: 477952 kB
VmallocChunk: 0 kB
Percpu: 117504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 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: 385476 kB
DirectMap2M: 20908032 kB
DirectMap1G: 1052770304 kB
Free space on /tmp at the end= 789768 MiB
End job on nodeE010 at 2026-07-10 08:09:45